PEZZUTI, DAVIDE
 Distribuzione geografica
Continente #
NA - Nord America 220
EU - Europa 115
AS - Asia 106
SA - Sud America 13
Continente sconosciuto - Info sul continente non disponibili 6
AF - Africa 1
Totale 461
Nazione #
US - Stati Uniti d'America 216
SG - Singapore 45
IE - Irlanda 30
CN - Cina 29
IT - Italia 29
RU - Federazione Russa 22
TR - Turchia 14
BR - Brasile 13
GB - Regno Unito 10
HK - Hong Kong 10
DE - Germania 8
UA - Ucraina 8
FI - Finlandia 4
FR - Francia 3
VN - Vietnam 3
CA - Canada 2
AZ - Azerbaigian 1
IQ - Iraq 1
JP - Giappone 1
MA - Marocco 1
MX - Messico 1
MY - Malesia 1
PL - Polonia 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
Totale 455
Città #
Jacksonville 33
San Jose 31
Dublin 30
Singapore 22
Chandler 16
Ashburn 14
Boardman 11
Hong Kong 10
Santa Clara 10
Council Bluffs 9
New York 9
Dallas 7
Hangzhou 7
Milan 6
Moscow 6
San Mateo 6
Nanjing 5
Denver 4
Izmir 4
Lawrence 4
Princeton 4
Wilmington 4
Woodbridge 4
Lauterbourg 3
Los Angeles 3
Rome 3
Shenyang 3
São Paulo 3
Tianjin 3
Hefei 2
Nanchang 2
Palermo 2
The Dalles 2
Ankara 1
Ann Arbor 1
Atripalda 1
Baku 1
Bari 1
Basaluzzo 1
Bauru 1
Bologna 1
Boston 1
Brainerd 1
Brooklyn 1
Buffalo 1
Campos dos Goytacazes 1
Casablanca 1
Castelli Calepio 1
Changsha 1
Charlotte 1
Cuautitlán Izcalli 1
Formignana 1
Grand Rapids 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
Miano 1
Mountain View 1
Orem 1
Paolisi 1
Passa Quatro 1
Phitsanulok 1
Phoenix 1
Port of Spain 1
Quận Mười 1
Ravarino 1
Richardson 1
Rio de Janeiro 1
Riverdale Park 1
San Francisco 1
Santarém 1
Seattle 1
Seremban 1
Smithville 1
Sora 1
Spring 1
São José dos Pinhais 1
São Pedro da Aldeia 1
Tappahannock 1
Tokyo 1
Toronto 1
Ufa 1
Vittorio Veneto 1
Warsaw 1
Điện Bàn 1
Totale 341
Nome #
Design of decentralized critical observers for networks of finite state machines: A formal method approach 130
A Critical Bisimulation Approach to Safety Criticality Analysis of Large–Scale Air Traffic Management Systems 124
Critical Observability of Networks of Finite State Machines 107
Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach 100
Totale 461
Categoria #
all - tutte 1.921
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.921


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20229 0 0 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/202751 2 5 19 25 0 0 0 0 0 0 0 0
Totale 461