PEZZUTI, DAVIDE
 Distribuzione geografica
Continente #
NA - Nord America 199
AS - Asia 106
EU - Europa 91
SA - Sud America 12
Continente sconosciuto - Info sul continente non disponibili 6
AF - Africa 1
Totale 415
Nazione #
US - Stati Uniti d'America 197
SG - Singapore 45
IE - Irlanda 30
CN - Cina 29
RU - Federazione Russa 22
TR - Turchia 14
BR - Brasile 12
HK - Hong Kong 10
DE - Germania 8
GB - Regno Unito 8
UA - Ucraina 8
IT - Italia 7
FI - Finlandia 4
FR - Francia 3
VN - Vietnam 3
AZ - Azerbaigian 1
CA - Canada 1
IQ - Iraq 1
JP - Giappone 1
MA - Marocco 1
MY - Malesia 1
PL - Polonia 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
Totale 409
Città #
Jacksonville 33
Dublin 30
San Jose 28
Singapore 22
Chandler 16
Boardman 11
Ashburn 10
Hong Kong 10
Santa Clara 10
New York 9
Dallas 7
Hangzhou 7
Moscow 6
San Mateo 6
Council Bluffs 5
Nanjing 5
Izmir 4
Lawrence 4
Princeton 4
Wilmington 4
Woodbridge 4
Denver 3
Lauterbourg 3
Los Angeles 3
Milan 3
Shenyang 3
Tianjin 3
Hefei 2
Nanchang 2
São Paulo 2
The Dalles 2
Ankara 1
Ann Arbor 1
Baku 1
Bauru 1
Boston 1
Brainerd 1
Brooklyn 1
Buffalo 1
Campos dos Goytacazes 1
Casablanca 1
Changsha 1
Charlotte 1
Guangzhou 1
Guarulhos 1
Helsinki 1
Hillah 1
Ho Chi Minh City 1
Houston 1
Ipubi 1
Jaguaruna 1
Jiaxing 1
L'aquila 1
Mountain View 1
Orem 1
Passa Quatro 1
Phitsanulok 1
Phoenix 1
Port of Spain 1
Quận Mười 1
Rio de Janeiro 1
Rome 1
San Francisco 1
Santarém 1
Seattle 1
Seremban 1
Smithville 1
Spring 1
São José dos Pinhais 1
São Pedro da Aldeia 1
Tappahannock 1
Tokyo 1
Ufa 1
Warsaw 1
Điện Bàn 1
Totale 305
Nome #
Design of decentralized critical observers for networks of finite state machines: A formal method approach 118
A Critical Bisimulation Approach to Safety Criticality Analysis of Large–Scale Air Traffic Management Systems 104
Critical Observability of Networks of Finite State Machines 99
Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach 94
Totale 415
Categoria #
all - tutte 1.816
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 1.816


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202211 0 2 0 0 0 0 0 3 1 0 1 4
2022/202365 4 0 0 5 6 8 0 2 36 1 1 2
2023/202417 2 0 1 3 1 9 0 0 0 0 0 1
2024/202564 4 0 8 0 10 4 8 6 14 3 7 0
2025/2026123 9 14 2 15 6 7 23 3 11 19 13 1
2026/20275 2 3 0 0 0 0 0 0 0 0 0 0
Totale 415