PADOAN, TOMMASO
 Distribuzione geografica
Continente #
NA - Nord America 190
EU - Europa 77
AS - Asia 7
SA - Sud America 4
AF - Africa 3
Totale 281
Nazione #
US - Stati Uniti d'America 189
IT - Italia 41
FR - Francia 17
GB - Regno Unito 6
CL - Cile 4
DE - Germania 4
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
IE - Irlanda 2
IN - India 2
SG - Singapore 2
UA - Ucraina 2
AT - Austria 1
CA - Canada 1
FI - Finlandia 1
KR - Corea 1
NL - Olanda 1
RO - Romania 1
RU - Federazione Russa 1
Totale 281
Città #
Fairfield 32
Ashburn 16
Buffalo 15
Padova 14
Seattle 13
Ann Arbor 12
Santa Cruz 12
Woodbridge 9
Columbus 8
Cambridge 7
Wilmington 7
Trieste 6
Houston 5
Los Angeles 5
Civitella di Romagna 4
Des Moines 4
Reading 4
Muizenberg 3
San Diego 3
Boardman 2
Bologna 2
Dublin 2
Mejaniga 2
Milan 2
Singapore 2
Amsterdam 1
Büdelsdorf 1
Caldogno 1
Carmignano di Brenta 1
Casoria 1
Cedar Knolls 1
Chicago 1
Clearwater 1
Denver 1
Edinburgh 1
Este 1
Grisignano di Zocco 1
Helsinki 1
Lake Forest 1
Las Vegas 1
Lucknow 1
Monselice 1
Phoenix 1
Providence 1
Provo 1
Saint Petersburg 1
San Jose 1
Seoul 1
Southampton 1
Sunnyvale 1
Toronto 1
Valdobbiadene 1
Vienna 1
Totale 219
Nome #
Fixpoint games on continuous lattices, file e14fb26b-f403-3de1-e053-1705fe0ac030 113
Automata for true concurrency properties, file e14fb26b-06ff-3de1-e053-1705fe0ac030 97
Tableaux, automata and games for true concurrency properties, file e14fb26f-f764-3de1-e053-1705fe0ac030 27
Fixpoint games on continuous lattices, file e14fb26e-dcb6-3de1-e053-1705fe0ac030 24
Fixpoint theory – upside down, file e14fb26e-f9ce-3de1-e053-1705fe0ac030 14
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations, file e14fb26d-2063-3de1-e053-1705fe0ac030 9
(Un)Decidability for History Preserving True Concurrent Logics, file e14fb26e-d231-3de1-e053-1705fe0ac030 5
Behavioural logics for configuration structures, file aab0683e-ff8d-4a8b-9f5c-ef8e4f0cbef9 2
Characterising Spectra of Equivalences for Event Structures, Logically, file 1e649b83-ec12-47ad-8dfd-89c27eb7eeb4 1
Local model checking in a logic for true concurrency, file e14fb269-ac06-3de1-e053-1705fe0ac030 1
Totale 293
Categoria #
all - tutte 868
article - articoli 297
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.165


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20193 0 0 0 0 0 0 0 0 0 0 2 1
2019/202036 1 1 2 2 4 1 4 3 3 6 6 3
2020/202156 5 4 1 7 1 0 3 4 8 12 11 0
2021/202273 1 10 8 4 10 1 4 5 3 6 17 4
2022/202360 5 2 11 9 4 7 1 4 7 5 5 0
2023/202456 1 3 3 7 3 10 1 1 13 5 9 0
Totale 293