IRIS  Catalogo Istituzionale della Ricerca dell'Università degli Studi del Molise

PARLATO, Gennaro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.501
EU - Europa 1.393
AS - Asia 166
Continente sconosciuto - Info sul continente non disponibili 4
SA - Sud America 2
AF - Africa 1
Totale 3.067
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.484
IE - Irlanda 590
IT - Italia 230
UA - Ucraina 158
SE - Svezia 143
DE - Germania 121
FI - Finlandia 102
CN - Cina 91
SG - Singapore 23
CA - Canada 17
JP - Giappone 17
GB - Regno Unito 16
FR - Francia 13
IR - Iran 11
BE - Belgio 9
IN - India 9
TR - Turchia 8
NL - Olanda 5
EU - Europa 3
AE - Emirati Arabi Uniti 2
BR - Brasile 2
CZ - Repubblica Ceca 2
HK - Hong Kong 2
PK - Pakistan 2
A1 - Anonimo 1
CH - Svizzera 1
CI - Costa d'Avorio 1
DK - Danimarca 1
KR - Corea 1
MD - Moldavia 1
RO - Romania 1
Totale 3.067
Salva come PNG Salva come JPEG
Città #
Dublin 590
Chandler 487
Jacksonville 294
Baranello 113
Helsinki 100
Dearborn 80
San Mateo 64
Princeton 58
Wilmington 50
Ann Arbor 16
Beijing 16
Campobasso 14
Hanover 14
Ottawa 14
Mountain View 12
Tokyo 12
Houston 11
Woodbridge 10
Brussels 9
Hefei 9
Singapore 9
Kocaeli 8
Monmouth Junction 8
Ardabil 7
Kunming 7
Leawood 7
Nanjing 7
Augusta 6
Marrùbiu 6
Nanchang 6
Redwood City 6
Shenyang 6
Borås 5
Falkenstein 5
Guangzhou 5
Isernia 5
Jinan 5
Molise 5
Norwalk 5
Rome 5
Ashburn 4
Bolton 4
Haikou 4
Livorno 4
Mumbai 4
Trento 4
Woodford Green 4
Andover 3
Hebei 3
Karlsruhe 3
Pianella 3
Southampton 3
Bellante 2
Brdo 2
Fairfield 2
Falls Church 2
Frankfurt am Main 2
Lappeenranta 2
Los Angeles 2
Morgan Hill 2
Munich 2
Naples 2
Ningbo 2
Portland 2
Rockville 2
Salerno 2
San Giovanni Rotondo 2
Tsukuba 2
Aabybro 1
Abidjan 1
Bangalore 1
Baotou 1
Bayreuth 1
Belo Horizonte 1
Benevento 1
Bollebygd 1
Bracciano 1
Changchun 1
Chengdu 1
Chisinau 1
Chiyoda-ku 1
Chongqing 1
Easley 1
Ercolano 1
Fisciano 1
Frattamaggiore 1
Fuzhou 1
Groningen 1
Hangzhou 1
Harbin 1
Huzhou 1
Jiaxing 1
Karachi 1
Krimpen Aan Den Ijssel 1
Lahore 1
Leipzig 1
Madison 1
Nanning 1
New Delhi 1
Ottaviano 1
Totale 2.203
Salva come PNG Salva come JPEG
Nome #
Automated Planning Through Program Verification 89
null 87
Analyzing Recursive Programs using Fixed-point Calculus 76
On the Complexity of Ltl Model-Checking of Recursive State Machines 73
null 73
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 72
CSeq: A Sequentialization Tool for C 70
Hierarchical and Recursive State Machines with Context-Dependent Properties 68
The Language Theory of Bounded Context-Switching 66
Preventing unauthorized data flows 64
Security Analysis of Role-Based Access Control through Program Verification 62
An Infinite Automaton Characterization of Double Exponential Time 62
Analyzing temporal role based access control models 61
On the model-checking of branching-time temporal logic with BDI modalities 61
Reachability of scope-bounded multistack pushdown systems 61
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 60
Reasoning about Data Trees using CHCs 59
Model checking BDI logics over finite-state worlds 59
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 58
On Sequentializing Concurrent Programs 58
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 57
Analyzing temporal role based access control models 57
Lazy-CSeq: A Lazy Sequentialization Tool for C 57
Fast payment schemes for truthful mechanisms with verification 56
CSeq: A concurrency pre-processor for sequential C verification tools 55
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 55
Security analysis for temporal role based access control 54
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem 54
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 54
Getting Rid of Store-Buffers in TSO Analysis 53
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 52
Context-Bounded Analysis of Concurrent Queue Systems 52
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds 51
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs 50
Decidable logics combining heap structures and data 49
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 48
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 48
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 48
A Robust Class of Context-Sensitive Languages 48
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width 47
Context-Bounded Analysis of TSO Systems 47
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 44
VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq 44
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 44
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds 43
Minimum Weighted Feedback Vertex Set on Diamonds 42
Verifying Concurrent Programs by Memory Unwinding 42
Reachability Games Modulo Theories with a Bounded Safety Player 42
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 41
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 41
Scope-Bounded Pushdown Languages. 40
Security Analysis of Role-Based Access Control through Program Verification 40
On the path-width of integer linear programming 40
MU-CSeq 0.4: Individual Memory Location Unwindings 40
Parallel bug-finding in concurrent programs via reduced interleaving instances 39
Unifying Approach for Multistack Pushdown Automata 37
The Tree Width of Auxiliary Storage 31
On the Path-Width of Integer Linear Programming 31
Scope-Bounded Pushdown Languages 29
Vac - Verifier of administrative role-based access control policies 9
Policy analysis for self-administrated role-based access control 5
Totale 3.155
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.779
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 16.779
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020453 0 2 58 16 61 48 110 28 60 11 5 54
2020/2021434 1 51 1 77 57 20 56 7 48 8 106 2
2021/2022405 1 55 45 42 32 31 12 33 73 27 14 40
2022/20231.515 183 70 71 138 53 120 6 77 703 54 17 23
2023/2024290 87 19 14 4 14 4 5 13 2 4 114 10
2024/202517 17 0 0 0 0 0 0 0 0 0 0 0
Totale 3.155