UniSa - IRIS Institutional Research Information System

PARLATO, GENNARO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.359
EU - Europa 442
AS - Asia 161
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.964
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.357
UA - Ucraina 130
IT - Italia 122
CN - Cina 106
DE - Germania 56
IE - Irlanda 52
TR - Turchia 37
SE - Svezia 36
FI - Finlandia 28
VN - Vietnam 18
FR - Francia 4
GB - Regno Unito 4
RO - Romania 4
RU - Federazione Russa 4
CA - Canada 2
EU - Europa 2
CZ - Repubblica Ceca 1
NL - Olanda 1
Totale 2.964
Salva come PNG Salva come JPEG
Città #
Ann Arbor 759
Wilmington 445
Woodbridge 207
Houston 179
Chandler 175
Jacksonville 170
Princeton 148
Dublin 52
Nanjing 39
Izmir 37
Andover 34
Boardman 25
Düsseldorf 25
Mestre 25
Pellezzano 24
Dong Ket 18
Ashburn 17
Hebei 15
Salerno 14
Fairfield 11
Nanchang 11
Changsha 9
Shenyang 8
Tianjin 8
Lappeenranta 7
Spinea 6
Beijing 5
Jiaxing 5
Avellino 4
Horia 4
Moscow 4
Redwood City 4
Napoli 3
New York 3
Norwalk 3
San Diego 3
Somma 3
Basingstoke 2
Cambridge 2
Catania 2
Dormagen 2
Jinan 2
Menlo Park 2
Ottawa 2
Rome 2
Seattle 2
Sorrento 2
Brno 1
Chicago 1
Fisciano 1
Francolise 1
Gallio 1
Groningen 1
Guangzhou 1
Indiana 1
Kilburn 1
Los Angeles 1
Munich 1
Naples 1
Nürnberg 1
Palermo 1
Romano Di Lombardia 1
Simi Valley 1
Southampton 1
Stockholm 1
Taizhou 1
Tappahannock 1
Torino 1
Venezia 1
Venice 1
Washington 1
Zhengzhou 1
Totale 2.554
Salva come PNG Salva come JPEG
Nome #
The Tree Width of Automata with Auxiliary Storage. 169
Sequentializing Parameterized Programs 148
Sequentializing Parameterized Programs 139
Sequentializing Parameterized Programs 120
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 112
Verification of Scope-dependent Hierarchical State Machines 109
Model-checking parameterized concurrent programs using linear interfaces. 103
Lazy sequentialization for the safety verification of unbounded concurrent programs 100
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 99
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 98
Context-Bounded Analysis of Concurrent Queue Systems 98
Model-checking parameterized concurrent programs using linear interfaces. 96
Sequentializing Parameterized Programs 87
A Robust Class of Context-Sensitive Languages 84
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 84
On the Complexity of Ltl Model-Checking of Recursive State Machines 84
Scope-Bounded Pushdown Languages 82
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 82
Context-Bounded Analysis of Concurrent Queue Systems 80
MU-CSeq 0.4: Individual memory location unwindings 78
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 76
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 76
An Infinite Automaton Characterization of Double Exponential Time 74
The Language Theory of Bounded Context-Switching 74
Scope-Bounded Pushdown Languages 73
Verifying Concurrent Programs by Memory Unwinding 69
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 68
A Robust Class of Context-Sensitive Languages 64
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 62
Fast payment schemes for truthful mechanisms with verification 60
Model-checking parameterized concurrent programs using linear interfaces. 55
Parallel bug-finding in concurrent programs via reduced interleaving instances 54
Using shared memory abstractions to design eager sequentializations for weak memory models 50
A Unifying Approach for Multistack Pushdown Automata 47
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 26
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 22
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 20
Model Checking BDI Logics over Finite-state Worlds 18
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities 15
Reachability of scope-bounded multistack pushdown systems 14
Totale 3.069
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.042
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 7.042
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201957 0 0 0 0 0 0 0 0 0 0 56 1
2019/2020267 89 1 34 1 20 2 27 2 27 11 46 7
2020/2021251 0 27 30 5 33 10 33 4 31 11 38 29
2021/2022251 0 0 2 8 3 6 0 11 39 32 38 112
2022/2023392 41 36 4 43 57 89 0 32 66 1 16 7
2023/202473 16 18 3 7 1 4 6 7 0 4 7 0
Totale 3.069