IRIS
DI STEFANO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 497
AS - Asia 320
NA - Nord America 289
SA - Sud America 45
AF - Africa 11
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.167
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 277
RU - Federazione Russa 243
SG - Singapore 97
CN - Cina 80
IT - Italia 73
FR - Francia 47
HK - Hong Kong 41
BR - Brasile 38
DE - Germania 32
GB - Regno Unito 32
TR - Turchia 21
JP - Giappone 18
SE - Svezia 17
KR - Corea 16
VN - Vietnam 14
AT - Austria 11
ES - Italia 8
PL - Polonia 8
BD - Bangladesh 7
IN - India 7
CA - Canada 5
FI - Finlandia 4
MX - Messico 4
NP - Nepal 4
TN - Tunisia 4
UA - Ucraina 4
AU - Australia 3
CH - Svizzera 3
CY - Cipro 3
RO - Romania 3
TW - Taiwan 3
ZA - Sudafrica 3
AR - Argentina 2
CL - Cile 2
JO - Giordania 2
MT - Malta 2
NL - Olanda 2
VE - Venezuela 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
GR - Grecia 1
ID - Indonesia 1
IE - Irlanda 1
IL - Israele 1
IQ - Iraq 1
IR - Iran 1
KE - Kenya 1
LT - Lituania 1
MA - Marocco 1
MO - Macao, regione amministrativa speciale della Cina 1
PK - Pakistan 1
PT - Portogallo 1
RW - Ruanda 1
SA - Arabia Saudita 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 1.167
Salva come PNG Salva come JPEG
Città #
Moscow 71
Ashburn 51
Singapore 47
Hong Kong 37
The Dalles 17
Beijing 16
Frankfurt am Main 15
Seoul 15
Chandler 14
Istanbul 13
Boardman 12
Santa Clara 12
Hefei 11
Los Angeles 11
New York 10
Seattle 10
Dallas 8
Vienna 8
Munich 7
Shanghai 7
São Paulo 7
Warsaw 7
Ankara 6
Grenoble 6
Ho Chi Minh City 6
Mountain View 6
Nizhniy Novgorod 6
Brooklyn 5
Farnham 5
Gothenburg 5
Atlanta 4
Cagliari 4
Chicago 4
Columbus 4
Kathmandu 4
London 4
Nerima 4
Rome 4
Saint-dézéry 4
San Mateo 4
Tokyo 4
Bay Shore 3
Chennai 3
Council Bluffs 3
Denver 3
Helsinki 3
Lancaster 3
Limassol 3
Manchester 3
Mexico City 3
Montreal 3
San Francisco 3
Shenzhen 3
Valencia 3
Amman 2
Athens 2
Augusta 2
Barcelona 2
Bari 2
Bern 2
Boston 2
Giulianova 2
Hanoi 2
Johannesburg 2
Kitzingen 2
Milan 2
Msida 2
Ogden 2
Phoenix 2
Poplar 2
Rio de Janeiro 2
Solna 2
Vasto 2
Alcobendas 1
Amsterdam 1
Andalusia 1
Ann Arbor 1
Aracati 1
Araras 1
Betim 1
Bexley 1
Blacksburg 1
Bolzano 1
Botovo 1
Brasília 1
Bristol 1
Buenos Aires 1
Calgary 1
Campinas 1
Campo Grande 1
Cape Town 1
Cedro 1
Central 1
Cesano Boscone 1
Charlotte 1
Chiswick 1
Château-thierry 1
Colchester 1
Copenhagen 1
Coromandel 1
Totale 599
Salva come PNG Salva come JPEG
Nome #
Modelling and Verification of Multi-Agent Systems via Sequential Emulation 438
Verification of Distributed Systems via Sequential Emulation 111
Compositional verification of priority systems using sharp bisimulation 77
Modelling flocks of birds and colonies of ants from the bottom up 76
Compositional Verification of Stigmergic Collective Systems 72
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification 70
Process Algebras and Flocks of Birds 70
Automated replication of tuple spaces via static analysis 70
Language support for verifying reconfigurable interacting systems 68
Modelling Flocks of Birds from the Bottom Up 65
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 64
Totale 1.181
Salva come PNG Salva come JPEG
Categoria #
all - tutte 4.965
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 4.965
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202127 0 0 0 0 0 7 0 2 4 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/2026593 85 46 29 126 90 217 0 0 0 0 0 0
Totale 1.181