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/2019 | 3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 1 |
2019/2020 | 36 | 1 | 1 | 2 | 2 | 4 | 1 | 4 | 3 | 3 | 6 | 6 | 3 |
2020/2021 | 56 | 5 | 4 | 1 | 7 | 1 | 0 | 3 | 4 | 8 | 12 | 11 | 0 |
2021/2022 | 73 | 1 | 10 | 8 | 4 | 10 | 1 | 4 | 5 | 3 | 6 | 17 | 4 |
2022/2023 | 60 | 5 | 2 | 11 | 9 | 4 | 7 | 1 | 4 | 7 | 5 | 5 | 0 |
2023/2024 | 56 | 1 | 3 | 3 | 7 | 3 | 10 | 1 | 1 | 13 | 5 | 9 | 0 |
Totale | 293 |