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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202024 3 3 0 0 3 4 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
Totale 199