Delzanno, Giorgio
 Distribuzione geografica
Continente #
NA - Nord America 119
EU - Europa 49
AS - Asia 31
Continente sconosciuto - Info sul continente non disponibili 1
Totale 200
Nazione #
US - Stati Uniti d'America 117
DE - Germania 16
UA - Ucraina 13
FI - Finlandia 8
SG - Singapore 8
HK - Hong Kong 6
CN - Cina 5
VN - Vietnam 4
GB - Regno Unito 3
IE - Irlanda 3
IN - India 3
SE - Svezia 3
CA - Canada 2
IL - Israele 2
IR - Iran 2
EU - Europa 1
FR - Francia 1
IT - Italia 1
KR - Corea 1
LT - Lituania 1
Totale 200
Città #
Chandler 26
Jacksonville 23
Boardman 11
Ashburn 10
New York 8
Singapore 7
Hong Kong 6
Dearborn 4
Dong Ket 4
Helsinki 4
Dublin 3
Kronberg 3
Shanghai 3
Wilmington 3
Beijing 2
Brooklyn 2
Mumbai 2
Ottawa 2
Ardabil 1
Bangalore 1
Des Moines 1
Espoo 1
Hanover 1
London 1
Nuremberg 1
Trento 1
Totale 131
Nome #
Beyond parameterized verification 77
Algorithmic Verification of Invalidation-Based Protocols 72
An effective fixpoint semantics for linear logic programs 67
Totale 216
Categoria #
all - tutte 1.289
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.289


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202011 0 0 0 0 0 0 3 0 4 0 4 0
2020/202132 3 0 3 0 3 4 6 1 0 3 5 4
2021/202211 0 0 0 3 0 0 0 2 0 0 3 3
2022/202345 2 6 0 8 4 6 1 1 9 2 6 0
2023/202456 10 0 8 5 1 14 0 3 2 6 0 7
2024/202517 2 2 4 4 2 3 0 0 0 0 0 0
Totale 216