CARIONI, ALESSANDRO
 Distribuzione geografica
Continente #
EU - Europa 42
NA - Nord America 37
AS - Asia 27
SA - Sud America 1
Totale 107
Nazione #
US - Stati Uniti d'America 34
GB - Regno Unito 21
CN - Cina 8
SG - Singapore 8
RU - Federazione Russa 5
IN - India 4
DE - Germania 3
IT - Italia 3
SE - Svezia 3
TR - Turchia 3
EU - Europa 2
HK - Hong Kong 2
IE - Irlanda 2
NL - Olanda 2
CO - Colombia 1
ES - Italia 1
FI - Finlandia 1
FR - Francia 1
GD - Grenada 1
JM - Giamaica 1
JP - Giappone 1
KR - Corea 1
MX - Messico 1
Totale 109
Città #
Southend 20
Chandler 3
Dearborn 3
Princeton 3
Redmond 3
Wilmington 3
Ann Arbor 2
Beijing 2
Chennai 2
Dublin 2
Hong Kong 2
Santa Clara 2
Singapore 2
Somerville 2
Amsterdam 1
Andover 1
Antequera 1
Berlin 1
Bogotá 1
Cangzhou 1
Council Bluffs 1
Elk Grove Village 1
Frankfurt am Main 1
Kunming 1
Lauterbourg 1
Los Angeles 1
Mandeville 1
Medford 1
Nanchang 1
Nanjing 1
Phoenix 1
Ridgewood 1
Saint George's 1
Sakarya 1
San Jose 1
Seattle 1
Serra 1
Shenyang 1
Tláhuac 1
Totale 76
Nome #
Automated termination in model checking modulo theories 116
Totale 116
Categoria #
all - tutte 388
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 388


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211 0 0 0 0 0 0 0 0 0 0 0 1
2021/20229 0 0 0 0 3 0 2 1 0 0 1 2
2022/202314 3 0 1 1 1 4 0 0 2 0 2 0
2023/20245 0 0 0 0 1 0 0 0 0 2 1 1
2024/202517 1 1 0 1 2 0 0 1 1 1 1 8
2025/202615 1 0 1 2 1 1 2 1 2 3 1 0
Totale 116