Delzanno, Giorgio
 Distribuzione geografica
Continente #
NA - Nord America 169
EU - Europa 100
AS - Asia 54
SA - Sud America 22
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 347
Nazione #
US - Stati Uniti d'America 165
RU - Federazione Russa 31
DE - Germania 21
BR - Brasile 16
SG - Singapore 14
UA - Ucraina 13
CN - Cina 11
FI - Finlandia 10
HK - Hong Kong 9
GB - Regno Unito 8
IN - India 6
VN - Vietnam 6
CA - Canada 4
AR - Argentina 3
ES - Italia 3
IE - Irlanda 3
NL - Olanda 3
SE - Svezia 3
BD - Bangladesh 2
FR - Francia 2
IL - Israele 2
IR - Iran 2
PE - Perù 2
CO - Colombia 1
EU - Europa 1
IT - Italia 1
JP - Giappone 1
KR - Corea 1
LT - Lituania 1
PL - Polonia 1
ZA - Sudafrica 1
Totale 347
Città #
Chandler 26
Ashburn 23
Jacksonville 23
Boardman 11
New York 11
Singapore 10
Hong Kong 9
Moscow 9
Dallas 8
Beijing 5
Los Angeles 5
Dearborn 4
Dong Ket 4
Helsinki 4
Chennai 3
Dublin 3
Hefei 3
Kronberg 3
London 3
Shanghai 3
The Dalles 3
Wilmington 3
Brooklyn 2
Frankfurt am Main 2
Montreal 2
Mumbai 2
Munich 2
Ottawa 2
Poplar 2
Turku 2
Araçatuba 1
Ardabil 1
Atlanta 1
Bangalore 1
Belo Horizonte 1
Bismarck 1
Bocaiúva 1
Buenos Aires 1
Cachoeirinha 1
Cajamarca 1
Capão da Canoa 1
Chapecó 1
Des Moines 1
Espoo 1
Falkenstein 1
Haiphong 1
Hanover 1
Hải Dương 1
Johannesburg 1
Lima 1
Manchester 1
Miguel Pereira 1
Morro Agudo 1
Nova Prata 1
Nuremberg 1
Ourinhos 1
Paris 1
Pasto 1
Ponta Grossa 1
Rafael Castillo 1
Ribeirão Preto 1
Rio de Janeiro 1
Roanoke Rapids 1
Rosario 1
Seattle 1
Sete Lagoas 1
São José do Rio Preto 1
São Vicente 1
Tokyo 1
Trento 1
Valley Stream 1
Warsaw 1
Totale 234
Nome #
Beyond parameterized verification 126
Algorithmic Verification of Invalidation-Based Protocols 120
An effective fixpoint semantics for linear logic programs 117
Totale 363
Categoria #
all - tutte 1.901
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.901


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202123 0 0 0 0 0 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/202585 2 2 4 4 2 3 0 5 31 7 18 7
2025/202679 7 8 20 22 17 5 0 0 0 0 0 0
Totale 363