UniSa - IRIS Institutional Research Information System

PARLATO, GENNARO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.860
AS - Asia 943
EU - Europa 843
SA - Sud America 148
AF - Africa 31
Continente sconosciuto - Info sul continente non disponibili 3
Totale 4.828
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.843
SG - Singapore 418
IT - Italia 343
CN - Cina 200
UA - Ucraina 132
BR - Brasile 117
VN - Vietnam 108
RU - Federazione Russa 92
DE - Germania 74
HK - Hong Kong 58
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
IQ - Iraq 9
CO - Colombia 8
MX - Messico 8
EC - Ecuador 7
PK - Pakistan 6
SA - Arabia Saudita 6
ID - Indonesia 5
UZ - Uzbekistan 5
CA - Canada 4
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
DO - Repubblica Dominicana 2
EU - Europa 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
CH - Svizzera 1
CL - Cile 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
LY - Libia 1
NL - Olanda 1
PE - Perù 1
PS - Palestinian Territory 1
SN - Senegal 1
SV - El Salvador 1
TH - Thailandia 1
TJ - Tagikistan 1
ZM - Zambia 1
ZW - Zimbabwe 1
Totale 4.828
Salva come PNG Salva come JPEG
Città #
Ann Arbor 759
Wilmington 446
Singapore 244
Woodbridge 207
Houston 182
Chandler 175
Jacksonville 170
Milan 148
Princeton 148
San Jose 135
Dallas 83
Ashburn 63
Hong Kong 56
Council Bluffs 55
Dublin 53
Lauterbourg 39
Nanjing 39
The Dalles 38
Izmir 37
Andover 34
Beijing 27
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
Hebei 15
Salerno 14
Chicago 11
Fairfield 11
Nanchang 11
Los Angeles 10
Santa Clara 10
Changsha 9
Columbus 8
Frankfurt am Main 8
Lappeenranta 8
Shenyang 8
Tianjin 8
New York 7
São Paulo 7
Baghdad 6
Brooklyn 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
Napoli 3
Norwalk 3
Nuremberg 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
Guarujá 2
Hyderabad 2
Totale 3.681
Salva come PNG Salva come JPEG
Nome #
The Tree Width of Automata with Auxiliary Storage. 200
Sequentializing Parameterized Programs 174
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 174
Sequentializing Parameterized Programs 170
Lazy sequentialization for the safety verification of unbounded concurrent programs 170
Verification of Scope-dependent Hierarchical State Machines 149
Context-Bounded Analysis of Concurrent Queue Systems 147
Sequentializing Parameterized Programs 145
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 144
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 142
Model-checking parameterized concurrent programs using linear interfaces. 138
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 138
Model-checking parameterized concurrent programs using linear interfaces. 137
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 134
A Robust Class of Context-Sensitive Languages 129
Context-Bounded Analysis of Concurrent Queue Systems 129
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 129
A Robust Class of Context-Sensitive Languages 122
Sequentializing Parameterized Programs 121
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 121
Scope-Bounded Pushdown Languages 119
MU-CSeq 0.4: Individual memory location unwindings 119
Parallel bug-finding in concurrent programs via reduced interleaving instances 116
An Infinite Automaton Characterization of Double Exponential Time 113
Using shared memory abstractions to design eager sequentializations for weak memory models 110
A Unifying Approach for Multistack Pushdown Automata 109
On the Complexity of Ltl Model-Checking of Recursive State Machines 108
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 108
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 107
Verifying Concurrent Programs by Memory Unwinding 107
The Language Theory of Bounded Context-Switching 105
Fast payment schemes for truthful mechanisms with verification 102
Model-checking parameterized concurrent programs using linear interfaces. 95
Scope-Bounded Pushdown Languages 92
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 84
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 82
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 81
Reachability of scope-bounded multistack pushdown systems 78
Model Checking BDI Logics over Finite-state Worlds 72
null 63
Static Data Race Detection via Lazy Sequentialization 54
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities 1
Totale 4.938
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.400
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 15.400
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202129 0 0 0 0 0 0 0 0 0 0 0 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/20261.465 68 76 121 37 186 99 279 70 84 183 41 221
Totale 4.938