UniSa - IRIS Institutional Research Information System

PARLATO, GENNARO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.110
AS - Asia 972
EU - Europa 884
SA - Sud America 153
Continente sconosciuto - Info sul continente non disponibili 113
AF - Africa 31
Totale 5.263
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.074
SG - Singapore 430
IT - Italia 379
CN - Cina 209
UA - Ucraina 132
BR - Brasile 121
VN - Vietnam 108
RU - Federazione Russa 92
DE - Germania 74
HK - Hong Kong 66
IE - Irlanda 53
FR - Francia 52
TR - Turchia 48
SE - Svezia 37
FI - Finlandia 32
BD - Bangladesh 23
KR - Corea 21
CA - Canada 15
GB - Regno Unito 15
IN - India 14
ZA - Sudafrica 11
AR - Argentina 9
CO - Colombia 9
IQ - Iraq 9
MX - Messico 9
EC - Ecuador 7
PK - Pakistan 6
SA - Arabia Saudita 6
ID - Indonesia 5
UZ - Uzbekistan 5
MA - Marocco 4
RO - Romania 4
EG - Egitto 3
ES - Italia 3
JP - Giappone 3
KE - Kenya 3
MY - Malesia 3
NP - Nepal 3
PL - Polonia 3
PY - Paraguay 3
SV - El Salvador 3
CH - Svizzera 2
DO - Repubblica Dominicana 2
EU - Europa 2
GT - Guatemala 2
JM - Giamaica 2
JO - Giordania 2
LB - Libano 2
PH - Filippine 2
TN - Tunisia 2
VE - Venezuela 2
AO - Angola 1
AT - Austria 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BE - Belgio 1
CL - Cile 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
ET - Etiopia 1
GA - Gabon 1
HN - Honduras 1
IL - Israele 1
KG - Kirghizistan 1
KH - Cambogia 1
LV - Lettonia 1
LY - Libia 1
NL - Olanda 1
PE - Perù 1
PS - Palestinian Territory 1
SN - Senegal 1
TH - Thailandia 1
TJ - Tagikistan 1
ZM - Zambia 1
ZW - Zimbabwe 1
Totale 5.153
Salva come PNG Salva come JPEG
Città #
Ann Arbor 759
Wilmington 446
Singapore 253
Woodbridge 207
Houston 182
Chandler 175
Jacksonville 170
San Jose 158
Milan 150
Princeton 148
Council Bluffs 94
Dallas 84
Ashburn 70
Hong Kong 64
Dublin 53
Lauterbourg 39
Nanjing 39
The Dalles 38
Izmir 37
Beijing 35
Andover 34
Ho Chi Minh City 27
Staranzano 27
Boardman 25
Düsseldorf 25
Mestre 25
Pellezzano 24
Rome 21
Figino 20
Hanoi 20
Santa Clara 19
Dong Ket 18
Moscow 17
Hebei 15
Salerno 14
Los Angeles 13
Chicago 12
Fairfield 11
Nanchang 11
Changsha 9
Brooklyn 8
Columbus 8
Frankfurt am Main 8
Lappeenranta 8
New York 8
San Francisco 8
Shenyang 8
Tianjin 8
São Paulo 7
Baghdad 6
Jiaxing 6
Spinea 6
Da Nang 5
Dhaka 5
Naples 5
St Louis 5
Tashkent 5
Turin 5
Avellino 4
Bari 4
Horia 4
Jeddah 4
Memphis 4
Munich 4
Quito 4
Redwood City 4
San Diego 4
Trento 4
Belo Horizonte 3
Campo Grande 3
Cape Town 3
Catania 3
Charlotte 3
Guangzhou 3
Haiphong 3
Helsinki 3
Johannesburg 3
Lahore 3
Las Vegas 3
London 3
Mexico City 3
Napoli 3
Norwalk 3
Nuremberg 3
Oakland 3
Philadelphia 3
Phoenix 3
Rio de Janeiro 3
San Salvador 3
Somma 3
The Bronx 3
Toronto 3
Vũng Tàu 3
Warsaw 3
Agadir 2
Ankara 2
Asunción 2
Atlanta 2
Basingstoke 2
Bengaluru 2
Totale 3.837
Salva come PNG Salva come JPEG
Nome #
The Tree Width of Automata with Auxiliary Storage. 205
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 185
Lazy sequentialization for the safety verification of unbounded concurrent programs 181
Sequentializing Parameterized Programs 180
Sequentializing Parameterized Programs 174
Verification of Scope-dependent Hierarchical State Machines 156
Context-Bounded Analysis of Concurrent Queue Systems 152
Sequentializing Parameterized Programs 150
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 149
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 148
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 147
Model-checking parameterized concurrent programs using linear interfaces. 144
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 144
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 142
Model-checking parameterized concurrent programs using linear interfaces. 140
Context-Bounded Analysis of Concurrent Queue Systems 137
MU-CSeq 0.4: Individual memory location unwindings 134
A Robust Class of Context-Sensitive Languages 133
A Robust Class of Context-Sensitive Languages 131
Scope-Bounded Pushdown Languages 130
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 129
Sequentializing Parameterized Programs 128
Parallel bug-finding in concurrent programs via reduced interleaving instances 126
An Infinite Automaton Characterization of Double Exponential Time 125
Using shared memory abstractions to design eager sequentializations for weak memory models 124
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 119
A Unifying Approach for Multistack Pushdown Automata 119
On the Complexity of Ltl Model-Checking of Recursive State Machines 114
The Language Theory of Bounded Context-Switching 114
Verifying Concurrent Programs by Memory Unwinding 114
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 113
Fast payment schemes for truthful mechanisms with verification 107
Model-checking parameterized concurrent programs using linear interfaces. 100
Scope-Bounded Pushdown Languages 100
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 92
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 89
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 89
Reachability of scope-bounded multistack pushdown systems 87
Model Checking BDI Logics over Finite-state Worlds 81
null 63
Static Data Race Detection via Lazy Sequentialization 60
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities 8
Totale 5.263
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.054
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 17.054
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022249 0 0 0 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/20261.470 68 76 121 37 186 99 279 70 84 183 41 226
2026/2027320 56 41 113 110 0 0 0 0 0 0 0 0
Totale 5.263