PARLATO, GENNARO
 Distribuzione geografica
Continente #
NA - Nord America 2.457
EU - Europa 552
AS - Asia 374
SA - Sud America 61
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.448
Nazione #
US - Stati Uniti d'America 2.450
SG - Singapore 138
IT - Italia 133
UA - Ucraina 130
CN - Cina 123
RU - Federazione Russa 87
DE - Germania 62
BR - Brasile 57
IE - Irlanda 52
TR - Turchia 41
SE - Svezia 37
FI - Finlandia 30
VN - Vietnam 30
KR - Corea 19
GB - Regno Unito 9
HK - Hong Kong 6
FR - Francia 5
BD - Bangladesh 4
PK - Pakistan 4
RO - Romania 4
EC - Ecuador 3
IN - India 3
CA - Canada 2
DO - Repubblica Dominicana 2
EU - Europa 2
MX - Messico 2
SA - Arabia Saudita 2
AZ - Azerbaigian 1
BB - Barbados 1
CZ - Repubblica Ceca 1
IQ - Iraq 1
NL - Olanda 1
PL - Polonia 1
PS - Palestinian Territory 1
SN - Senegal 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 3.448
Città #
Ann Arbor 759
Wilmington 445
Woodbridge 207
Houston 180
Chandler 175
Jacksonville 170
Princeton 148
Singapore 70
Dublin 52
Nanjing 39
Izmir 37
Andover 34
Boardman 25
Düsseldorf 25
Mestre 25
Pellezzano 24
Ashburn 23
Dong Ket 18
Moscow 16
Hebei 15
Salerno 14
Fairfield 11
Nanchang 11
Beijing 10
Changsha 9
Council Bluffs 9
The Dalles 9
Columbus 8
Shenyang 8
Tianjin 8
Chicago 7
Dallas 7
Lappeenranta 7
Hanoi 6
Hong Kong 6
Jiaxing 6
Spinea 6
Brooklyn 5
Los Angeles 5
New York 5
Avellino 4
Horia 4
Munich 4
Redwood City 4
Trento 4
Belo Horizonte 3
Guangzhou 3
Napoli 3
Norwalk 3
San Diego 3
San Francisco 3
Santa Clara 3
Somma 3
Ankara 2
Basingstoke 2
Bursa 2
Cambridge 2
Catania 2
Chennai 2
Dhaka 2
Dormagen 2
Helsinki 2
Ho Chi Minh City 2
Jinan 2
Lahore 2
London 2
Mauá 2
Menlo Park 2
Milan 2
Naples 2
Nuremberg 2
Ottawa 2
Praia Grande 2
Quito 2
Rome 2
Santa Maria 2
Seattle 2
Sorrento 2
Stockholm 2
São Paulo 2
West Jordan 2
Zhengzhou 2
Acerra 1
Aversa 1
Baghdad 1
Barrinha 1
Betim 1
Birmingham 1
Boston 1
Brasília 1
Bridgetown 1
Brno 1
Buíque 1
Camden 1
Campina Grande 1
Campinas 1
Campo Novo do Parecis 1
Cape Town 1
Carney 1
Cataguases 1
Totale 2.764
Nome #
The Tree Width of Automata with Auxiliary Storage. 179
Sequentializing Parameterized Programs 156
Sequentializing Parameterized Programs 146
Lazy sequentialization for the safety verification of unbounded concurrent programs 140
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 130
Sequentializing Parameterized Programs 127
Verification of Scope-dependent Hierarchical State Machines 122
Model-checking parameterized concurrent programs using linear interfaces. 113
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 112
Context-Bounded Analysis of Concurrent Queue Systems 111
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 105
Model-checking parameterized concurrent programs using linear interfaces. 104
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 99
Context-Bounded Analysis of Concurrent Queue Systems 96
Sequentializing Parameterized Programs 95
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 94
A Robust Class of Context-Sensitive Languages 93
Scope-Bounded Pushdown Languages 93
MU-CSeq 0.4: Individual memory location unwindings 92
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 90
On the Complexity of Ltl Model-Checking of Recursive State Machines 87
An Infinite Automaton Characterization of Double Exponential Time 83
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 83
A Robust Class of Context-Sensitive Languages 81
Verifying Concurrent Programs by Memory Unwinding 78
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 77
The Language Theory of Bounded Context-Switching 76
Scope-Bounded Pushdown Languages 76
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 73
Fast payment schemes for truthful mechanisms with verification 71
Parallel bug-finding in concurrent programs via reduced interleaving instances 68
A Unifying Approach for Multistack Pushdown Automata 67
Model-checking parameterized concurrent programs using linear interfaces. 65
Using shared memory abstractions to design eager sequentializations for weak memory models 60
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 48
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 40
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities 29
Reachability of scope-bounded multistack pushdown systems 29
Model Checking BDI Logics over Finite-state Worlds 29
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 26
Static Data Race Detection via Lazy Sequentialization 13
Totale 3.556
Categoria #
all - tutte 11.492
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 11.492


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2025380 22 11 33 26 15 48 56 32 33 19 55 30
2025/202683 68 15 0 0 0 0 0 0 0 0 0 0
Totale 3.556