UniSa - IRIS Institutional Research Information System

PARLATO, GENNARO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.801
AS - Asia 933
EU - Europa 633
SA - Sud America 145
AF - Africa 31
Continente sconosciuto - Info sul continente non disponibili 3
Totale 4.546
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.784
SG - Singapore 416
CN - Cina 195
IT - Italia 133
UA - Ucraina 132
BR - Brasile 115
VN - Vietnam 108
RU - Federazione Russa 92
DE - Germania 74
HK - Hong Kong 56
IE - Irlanda 53
FR - Francia 52
TR - Turchia 48
SE - Svezia 37
FI - Finlandia 32
BD - Bangladesh 22
KR - Corea 21
IN - India 14
GB - Regno Unito 13
ZA - Sudafrica 11
IQ - Iraq 9
AR - Argentina 8
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.546
Salva come PNG Salva come JPEG
Città #
Ann Arbor 759
Wilmington 445
Singapore 243
Woodbridge 207
Houston 180
Chandler 175
Jacksonville 170
Princeton 148
San Jose 107
Dallas 83
Ashburn 62
Hong Kong 54
Council Bluffs 53
Dublin 53
Lauterbourg 39
Nanjing 39
The Dalles 38
Izmir 37
Andover 34
Ho Chi Minh City 27
Beijing 26
Boardman 25
Düsseldorf 25
Mestre 25
Pellezzano 24
Hanoi 20
Dong Ket 18
Moscow 17
Hebei 15
Salerno 14
Fairfield 11
Nanchang 11
Chicago 10
Changsha 9
Los Angeles 9
Columbus 8
Frankfurt am Main 8
Lappeenranta 8
Santa Clara 8
Shenyang 8
Tianjin 8
Baghdad 6
Brooklyn 6
Jiaxing 6
New York 6
San Francisco 6
Spinea 6
São Paulo 6
Da Nang 5
Dhaka 5
Tashkent 5
Avellino 4
Horia 4
Jeddah 4
Munich 4
Quito 4
Redwood City 4
Trento 4
Belo Horizonte 3
Campo Grande 3
Cape Town 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
Catania 2
Central de Minas 2
Charlotte 2
Chennai 2
Dormagen 2
Guarujá 2
Hyderabad 2
Hải Dương 2
Jaguariaíva 2
Jinan 2
Mauá 2
Medellín 2
Menlo Park 2
Mexico City 2
Totale 3.445
Salva come PNG Salva come JPEG
Nome #
The Tree Width of Automata with Auxiliary Storage. 195
Sequentializing Parameterized Programs 166
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 166
Sequentializing Parameterized Programs 161
Lazy sequentialization for the safety verification of unbounded concurrent programs 160
Verification of Scope-dependent Hierarchical State Machines 143
Sequentializing Parameterized Programs 142
Context-Bounded Analysis of Concurrent Queue Systems 138
Model-checking parameterized concurrent programs using linear interfaces. 136
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 135
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 132
Model-checking parameterized concurrent programs using linear interfaces. 129
Context-Bounded Analysis of Concurrent Queue Systems 127
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 125
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 123
A Robust Class of Context-Sensitive Languages 121
Sequentializing Parameterized Programs 119
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 117
Scope-Bounded Pushdown Languages 114
A Robust Class of Context-Sensitive Languages 113
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 113
MU-CSeq 0.4: Individual memory location unwindings 111
On the Complexity of Ltl Model-Checking of Recursive State Machines 106
An Infinite Automaton Characterization of Double Exponential Time 105
Using shared memory abstractions to design eager sequentializations for weak memory models 104
Verifying Concurrent Programs by Memory Unwinding 101
Parallel bug-finding in concurrent programs via reduced interleaving instances 101
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 100
A Unifying Approach for Multistack Pushdown Automata 100
Fast payment schemes for truthful mechanisms with verification 97
The Language Theory of Bounded Context-Switching 97
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 96
Scope-Bounded Pushdown Languages 91
Model-checking parameterized concurrent programs using linear interfaces. 87
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 81
Reachability of scope-bounded multistack pushdown systems 78
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 76
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 75
Model Checking BDI Logics over Finite-state Worlds 70
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities 60
Static Data Race Detection via Lazy Sequentialization 43
Totale 4.654
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.597
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 14.597
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202178 0 0 0 0 0 0 0 0 0 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/20261.181 68 76 121 37 186 99 279 70 84 161 0 0
Totale 4.654