IRIS
DI STEFANO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 884
AS - Asia 439
NA - Nord America 410
SA - Sud America 51
AF - Africa 17
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 1.808
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 562
US - Stati Uniti d'America 391
SG - Singapore 141
CN - Cina 98
IT - Italia 97
FR - Francia 67
VN - Vietnam 49
HK - Hong Kong 44
BR - Brasile 42
GB - Regno Unito 37
DE - Germania 35
TR - Turchia 22
JP - Giappone 20
SE - Svezia 20
KR - Corea 16
AT - Austria 13
PL - Polonia 12
BD - Bangladesh 10
CA - Canada 9
IN - India 9
ES - Italia 8
MX - Messico 7
NL - Olanda 6
TN - Tunisia 6
UA - Ucraina 5
AU - Australia 4
FI - Finlandia 4
JO - Giordania 4
NP - Nepal 4
ZA - Sudafrica 4
AR - Argentina 3
CH - Svizzera 3
CY - Cipro 3
KE - Kenya 3
PK - Pakistan 3
RO - Romania 3
TW - Taiwan 3
CL - Cile 2
ID - Indonesia 2
IL - Israele 2
IQ - Iraq 2
MA - Marocco 2
MT - Malta 2
MY - Malesia 2
VE - Venezuela 2
XK - ???statistics.table.value.countryCode.XK??? 2
BE - Belgio 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DM - Dominica 1
EE - Estonia 1
EG - Egitto 1
EU - Europa 1
GE - Georgia 1
GR - Grecia 1
IE - Irlanda 1
IR - Iran 1
KZ - Kazakistan 1
LT - Lituania 1
LU - Lussemburgo 1
MO - Macao, regione amministrativa speciale della Cina 1
PE - Perù 1
PT - Portogallo 1
RW - Ruanda 1
SA - Arabia Saudita 1
SI - Slovenia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 1.808
Salva come PNG Salva come JPEG
Città #
Moscow 154
Singapore 83
Ashburn 70
San Jose 49
Hong Kong 40
Rome 27
The Dalles 18
Beijing 17
Chicago 16
Frankfurt am Main 16
Seoul 15
Chandler 14
Los Angeles 14
Boardman 13
Hanoi 13
Ho Chi Minh City 13
Istanbul 13
New York 13
Santa Clara 13
Hefei 11
Lauterbourg 11
Warsaw 11
Seattle 10
Vienna 10
Shanghai 9
Dallas 8
São Paulo 8
Ankara 7
Munich 7
Grenoble 6
Montreal 6
Mountain View 6
Nizhniy Novgorod 6
Tokyo 6
Brooklyn 5
Council Bluffs 5
Farnham 5
Gothenburg 5
London 5
Amman 4
Atlanta 4
Cagliari 4
Columbus 4
Da Nang 4
Denver 4
Kathmandu 4
Nerima 4
Saint-dézéry 4
San Mateo 4
Amsterdam 3
Bay Shore 3
Chennai 3
Helsinki 3
Hillsboro 3
Johannesburg 3
Lancaster 3
Limassol 3
Manchester 3
Mexico City 3
Nairobi 3
Paris 3
San Francisco 3
Shenzhen 3
Valencia 3
Athens 2
Augusta 2
Barcelona 2
Bari 2
Bern 2
Boston 2
Dhaka 2
Giulianova 2
Haiphong 2
Jakarta 2
Kitzingen 2
Milan 2
Msida 2
Nabeul 2
New Delhi 2
Ogden 2
Orem 2
Perth 2
Phoenix 2
Poplar 2
Rio de Janeiro 2
Solna 2
Stockholm 2
Sungai Buloh 2
Vasto 2
Alcobendas 1
Almaty 1
Andalusia 1
Ann Arbor 1
Aracati 1
Araras 1
Basingstoke 1
Betim 1
Bexley 1
Bhuj 1
Blacksburg 1
Totale 904
Salva come PNG Salva come JPEG
Nome #
Modelling and Verification of Multi-Agent Systems via Sequential Emulation 546
Verification of Distributed Systems via Sequential Emulation 170
Modelling flocks of birds and colonies of ants from the bottom up 129
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification 128
Compositional verification of priority systems using sharp bisimulation 127
Compositional Verification of Stigmergic Collective Systems 123
Modelling Flocks of Birds from the Bottom Up 121
Automated replication of tuple spaces via static analysis 121
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 120
Process Algebras and Flocks of Birds 120
Language support for verifying reconfigurable interacting systems 117
Totale 1.822
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.909
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 5.909
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202114 0 0 0 0 0 0 0 0 0 8 1 5
2021/202281 2 6 6 15 13 3 6 5 9 2 12 2
2022/202358 2 7 0 8 3 9 0 3 3 3 17 3
2023/202455 3 7 4 0 7 6 2 7 3 4 7 5
2024/2025302 21 12 19 7 11 38 36 20 15 27 65 31
2025/20261.234 85 46 29 126 90 588 104 46 71 49 0 0
Totale 1.822