UniSa - IRIS Institutional Research Information System

PARLATO, GENNARO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.551
EU - Europa 560
AS - Asia 552
SA - Sud America 100
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 3
Totale 3.776
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.543
SG - Singapore 207
CN - Cina 168
IT - Italia 133
UA - Ucraina 131
RU - Federazione Russa 89
BR - Brasile 88
DE - Germania 64
IE - Irlanda 52
VN - Vietnam 51
HK - Hong Kong 42
TR - Turchia 41
SE - Svezia 37
FI - Finlandia 30
KR - Corea 20
GB - Regno Unito 9
FR - Francia 6
ZA - Sudafrica 6
BD - Bangladesh 5
AR - Argentina 4
EC - Ecuador 4
PK - Pakistan 4
RO - Romania 4
IN - India 3
MX - Messico 3
CA - Canada 2
CO - Colombia 2
DO - Repubblica Dominicana 2
EU - Europa 2
IQ - Iraq 2
PL - Polonia 2
SA - Arabia Saudita 2
AZ - Azerbaigian 1
BB - Barbados 1
CH - Svizzera 1
CW - ???statistics.table.value.countryCode.CW??? 1
CZ - Repubblica Ceca 1
EG - Egitto 1
ID - Indonesia 1
JO - Giordania 1
JP - Giappone 1
KE - Kenya 1
KH - Cambogia 1
NL - Olanda 1
PS - Palestinian Territory 1
PY - Paraguay 1
SN - Senegal 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZW - Zimbabwe 1
Totale 3.776
Salva come PNG Salva come JPEG
Città #
Ann Arbor 759
Wilmington 445
Woodbridge 207
Houston 180
Chandler 175
Jacksonville 170
Princeton 148
Singapore 88
Dallas 82
Dublin 52
Hong Kong 41
Nanjing 39
Izmir 37
Andover 34
Ashburn 30
Boardman 25
Düsseldorf 25
Mestre 25
Pellezzano 24
Beijing 20
Dong Ket 18
Moscow 17
Hebei 15
Salerno 14
Ho Chi Minh City 12
Fairfield 11
Nanchang 11
Hanoi 10
Changsha 9
Council Bluffs 9
Los Angeles 9
The Dalles 9
Columbus 8
Shenyang 8
Tianjin 8
Chicago 7
Lappeenranta 7
Brooklyn 6
Jiaxing 6
New York 6
Spinea 6
São Paulo 5
Avellino 4
Horia 4
Munich 4
Redwood City 4
San Francisco 4
Trento 4
Belo Horizonte 3
Guangzhou 3
Napoli 3
Norwalk 3
San Diego 3
Santa Clara 3
Somma 3
Ankara 2
Basingstoke 2
Bursa 2
Cambridge 2
Cape Town 2
Catania 2
Central de Minas 2
Charlotte 2
Chennai 2
Dhaka 2
Dormagen 2
Frankfurt am Main 2
Helsinki 2
Jinan 2
Lahore 2
London 2
Mauá 2
Menlo Park 2
Milan 2
Naples 2
Nuremberg 2
Ottawa 2
Paris 2
Praia Grande 2
Quito 2
Rio de Janeiro 2
Rome 2
Santa Maria 2
Seattle 2
Sorrento 2
Stockholm 2
Warsaw 2
West Jordan 2
Zhengzhou 2
Acerra 1
Altamira 1
Alto Taquari 1
Antônio Gonçalves 1
Asunción 1
Atlanta 1
Aversa 1
Baghdad 1
Barrinha 1
Betim 1
Birmingham 1
Totale 2.941
Salva come PNG Salva come JPEG
Nome #
The Tree Width of Automata with Auxiliary Storage. 185
Sequentializing Parameterized Programs 158
Sequentializing Parameterized Programs 148
Lazy sequentialization for the safety verification of unbounded concurrent programs 145
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 143
Sequentializing Parameterized Programs 131
Verification of Scope-dependent Hierarchical State Machines 129
Context-Bounded Analysis of Concurrent Queue Systems 120
Model-checking parameterized concurrent programs using linear interfaces. 119
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 117
Model-checking parameterized concurrent programs using linear interfaces. 113
Context-Bounded Analysis of Concurrent Queue Systems 112
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 111
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 107
A Robust Class of Context-Sensitive Languages 100
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 100
Sequentializing Parameterized Programs 100
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 98
Scope-Bounded Pushdown Languages 97
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 95
MU-CSeq 0.4: Individual memory location unwindings 95
A Robust Class of Context-Sensitive Languages 90
On the Complexity of Ltl Model-Checking of Recursive State Machines 89
Using shared memory abstractions to design eager sequentializations for weak memory models 89
An Infinite Automaton Characterization of Double Exponential Time 88
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 84
Verifying Concurrent Programs by Memory Unwinding 84
Fast payment schemes for truthful mechanisms with verification 79
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 79
The Language Theory of Bounded Context-Switching 79
Scope-Bounded Pushdown Languages 77
A Unifying Approach for Multistack Pushdown Automata 77
Parallel bug-finding in concurrent programs via reduced interleaving instances 74
Model-checking parameterized concurrent programs using linear interfaces. 71
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 62
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 62
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 50
Model Checking BDI Logics over Finite-state Worlds 36
Reachability of scope-bounded multistack pushdown systems 35
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities 34
Static Data Race Detection via Lazy Sequentialization 22
Totale 3.884
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.354
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 13.354
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021189 0 0 0 0 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/2026411 68 76 121 37 109 0 0 0 0 0 0 0
Totale 3.884