UniSa - IRIS Institutional Research Information System

PARLATO, GENNARO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.944
AS - Asia 969
EU - Europa 849
SA - Sud America 152
Continente sconosciuto - Info sul continente non disponibili 113
AF - Africa 31
Totale 5.058
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.917
SG - Singapore 427
IT - Italia 346
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
IN - India 14
GB - Regno Unito 13
ZA - Sudafrica 11
AR - Argentina 9
CA - Canada 9
IQ - Iraq 9
MX - Messico 9
CO - Colombia 8
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
CH - Svizzera 2
DO - Repubblica Dominicana 2
EU - Europa 2
JM - Giamaica 2
JO - Giordania 2
LB - Libano 2
PH - Filippine 2
SV - El Salvador 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
GT - Guatemala 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 4.948
Salva come PNG Salva come JPEG
Città #
Ann Arbor 759
Wilmington 446
Singapore 250
Woodbridge 207
Houston 182
Chandler 175
Jacksonville 170
Milan 149
Princeton 148
San Jose 135
Council Bluffs 93
Dallas 83
Ashburn 67
Hong Kong 64
Dublin 53
Lauterbourg 39
Nanjing 39
The Dalles 38
Izmir 37
Beijing 35
Andover 34
Ho Chi Minh City 27
Boardman 25
Düsseldorf 25
Mestre 25
Pellezzano 24
Rome 21
Figino 20
Hanoi 20
Dong Ket 18
Moscow 17
Santa Clara 17
Hebei 15
Salerno 14
Chicago 11
Fairfield 11
Nanchang 11
Los Angeles 10
Changsha 9
Columbus 8
Frankfurt am Main 8
Lappeenranta 8
Shenyang 8
Tianjin 8
Brooklyn 7
New York 7
São Paulo 7
Baghdad 6
Jiaxing 6
San Francisco 6
Spinea 6
Da Nang 5
Dhaka 5
Tashkent 5
Turin 5
Avellino 4
Horia 4
Jeddah 4
Memphis 4
Munich 4
Naples 4
Quito 4
Redwood City 4
Trento 4
Bari 3
Belo Horizonte 3
Campo Grande 3
Cape Town 3
Catania 3
Guangzhou 3
Haiphong 3
Helsinki 3
Johannesburg 3
Lahore 3
London 3
Mexico City 3
Napoli 3
Norwalk 3
Nuremberg 3
Rio de Janeiro 3
San Diego 3
Somma 3
Vũng Tàu 3
Warsaw 3
Agadir 2
Ankara 2
Asunción 2
Atlanta 2
Basingstoke 2
Bengaluru 2
Biên Hòa 2
Bursa 2
Cambridge 2
Campina Grande 2
Campinas 2
Casablanca 2
Central de Minas 2
Charlotte 2
Chennai 2
Dormagen 2
Totale 3.756
Salva come PNG Salva come JPEG
Nome #
The Tree Width of Automata with Auxiliary Storage. 202
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 178
Sequentializing Parameterized Programs 176
Lazy sequentialization for the safety verification of unbounded concurrent programs 175
Sequentializing Parameterized Programs 171
Verification of Scope-dependent Hierarchical State Machines 151
Context-Bounded Analysis of Concurrent Queue Systems 148
Sequentializing Parameterized Programs 147
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 146
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 145
Model-checking parameterized concurrent programs using linear interfaces. 142
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 142
Model-checking parameterized concurrent programs using linear interfaces. 139
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 138
Context-Bounded Analysis of Concurrent Queue Systems 134
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 134
A Robust Class of Context-Sensitive Languages 130
A Robust Class of Context-Sensitive Languages 126
Scope-Bounded Pushdown Languages 124
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 123
Sequentializing Parameterized Programs 122
MU-CSeq 0.4: Individual memory location unwindings 122
Parallel bug-finding in concurrent programs via reduced interleaving instances 119
An Infinite Automaton Characterization of Double Exponential Time 115
Using shared memory abstractions to design eager sequentializations for weak memory models 114
A Unifying Approach for Multistack Pushdown Automata 113
On the Complexity of Ltl Model-Checking of Recursive State Machines 112
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 112
The Language Theory of Bounded Context-Switching 110
Verifying Concurrent Programs by Memory Unwinding 110
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 109
Fast payment schemes for truthful mechanisms with verification 103
Model-checking parameterized concurrent programs using linear interfaces. 98
Scope-Bounded Pushdown Languages 95
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 85
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 85
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 84
Reachability of scope-bounded multistack pushdown systems 81
Model Checking BDI Logics over Finite-state Worlds 75
null 63
Static Data Race Detection via Lazy Sequentialization 57
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities 3
Totale 5.058
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.234
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.234
Salva come PNG Salva come JPEG


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