PARLATO, GENNARO
 Distribuzione geografica
Continente #
NA - Nord America 2.381
EU - Europa 541
AS - Asia 326
SA - Sud America 31
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.281
Nazione #
US - Stati Uniti d'America 2.376
IT - Italia 133
UA - Ucraina 130
SG - Singapore 125
CN - Cina 119
RU - Federazione Russa 85
DE - Germania 61
IE - Irlanda 52
TR - Turchia 38
SE - Svezia 36
BR - Brasile 30
FI - Finlandia 30
VN - Vietnam 23
KR - Corea 16
FR - Francia 4
GB - Regno Unito 4
RO - Romania 4
CA - Canada 2
EU - Europa 2
MX - Messico 2
AZ - Azerbaigian 1
BD - Bangladesh 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
HK - Hong Kong 1
NL - Olanda 1
PK - Pakistan 1
PS - Palestinian Territory 1
Totale 3.281
Città #
Ann Arbor 759
Wilmington 445
Woodbridge 207
Houston 179
Chandler 175
Jacksonville 170
Princeton 148
Singapore 60
Dublin 52
Nanjing 39
Izmir 37
Andover 34
Boardman 25
Düsseldorf 25
Mestre 25
Pellezzano 24
Ashburn 18
Dong Ket 18
Moscow 16
Hebei 15
Salerno 14
Fairfield 11
Nanchang 11
Changsha 9
Shenyang 8
Tianjin 8
Council Bluffs 7
Lappeenranta 7
Beijing 6
Jiaxing 6
Spinea 6
Avellino 4
Dallas 4
Hanoi 4
Horia 4
Munich 4
Redwood City 4
The Dalles 4
Trento 4
Belo Horizonte 3
Guangzhou 3
Napoli 3
New York 3
Norwalk 3
San Diego 3
Somma 3
Basingstoke 2
Cambridge 2
Catania 2
Dormagen 2
Helsinki 2
Jinan 2
Menlo Park 2
Milan 2
Naples 2
Ottawa 2
Praia Grande 2
Rome 2
Santa Clara 2
Seattle 2
Sorrento 2
São Paulo 2
Zhengzhou 2
Acerra 1
Aversa 1
Betim 1
Brasília 1
Brno 1
Bursa 1
Buíque 1
Campina Grande 1
Campo Novo do Parecis 1
Centro 1
Chengdu 1
Chicago 1
Fisciano 1
Formosa 1
Francolise 1
Gallio 1
General Villamil 1
Groningen 1
Ho Chi Minh City 1
Hong Kong 1
Indaiatuba 1
Indiana 1
Itamaraju 1
Ixtlán de los Hervores 1
Karachi 1
Khulna 1
Kilburn 1
Lima Duarte 1
Los Angeles 1
L’Aquila 1
Maceió 1
Mexico City 1
Monte Carmelo 1
Nova Hartz 1
Nuremberg 1
Nürnberg 1
Palermo 1
Totale 2.688
Nome #
The Tree Width of Automata with Auxiliary Storage. 176
Sequentializing Parameterized Programs 155
Sequentializing Parameterized Programs 146
Lazy sequentialization for the safety verification of unbounded concurrent programs 133
Sequentializing Parameterized Programs 125
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 122
Verification of Scope-dependent Hierarchical State Machines 120
Model-checking parameterized concurrent programs using linear interfaces. 109
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 108
Context-Bounded Analysis of Concurrent Queue Systems 106
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 105
Model-checking parameterized concurrent programs using linear interfaces. 100
Sequentializing Parameterized Programs 91
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 91
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 90
A Robust Class of Context-Sensitive Languages 89
Scope-Bounded Pushdown Languages 88
On the Complexity of Ltl Model-Checking of Recursive State Machines 87
MU-CSeq 0.4: Individual memory location unwindings 86
Context-Bounded Analysis of Concurrent Queue Systems 85
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 84
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 81
A Robust Class of Context-Sensitive Languages 79
An Infinite Automaton Characterization of Double Exponential Time 78
The Language Theory of Bounded Context-Switching 76
Scope-Bounded Pushdown Languages 76
Verifying Concurrent Programs by Memory Unwinding 75
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 74
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 69
Parallel bug-finding in concurrent programs via reduced interleaving instances 66
Fast payment schemes for truthful mechanisms with verification 64
Model-checking parameterized concurrent programs using linear interfaces. 62
A Unifying Approach for Multistack Pushdown Automata 61
Using shared memory abstractions to design eager sequentializations for weak memory models 58
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 35
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 31
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities 26
Model Checking BDI Logics over Finite-state Worlds 26
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 24
Reachability of scope-bounded multistack pushdown systems 21
Static Data Race Detection via Lazy Sequentialization 11
Totale 3.389
Categoria #
all - tutte 10.170
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 10.170


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202053 0 0 0 0 0 0 0 0 0 0 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/202497 16 18 3 7 1 4 6 7 0 4 8 23
2024/2025296 22 11 33 26 15 48 56 32 33 19 1 0
Totale 3.389