BRESOLIN, Davide
 Distribuzione geografica
Continente #
NA - Nord America 373
AS - Asia 81
EU - Europa 74
SA - Sud America 3
AF - Africa 1
Totale 532
Nazione #
US - Stati Uniti d'America 371
SG - Singapore 46
UA - Ucraina 23
CN - Cina 17
IT - Italia 13
RU - Federazione Russa 11
HK - Hong Kong 10
DE - Germania 9
FI - Finlandia 8
SE - Svezia 4
BR - Brasile 3
KR - Corea 3
BD - Bangladesh 2
BE - Belgio 2
IE - Irlanda 2
CA - Canada 1
DK - Danimarca 1
FR - Francia 1
IN - India 1
JP - Giappone 1
MX - Messico 1
SN - Senegal 1
TR - Turchia 1
Totale 532
Città #
Fairfield 52
Ann Arbor 42
Houston 42
Woodbridge 40
Singapore 26
Ashburn 25
Wilmington 24
Seattle 19
Jacksonville 18
Cambridge 13
Chandler 13
Beijing 11
Hong Kong 10
Dearborn 7
Boardman 6
Varese 5
Princeton 4
San Diego 4
Seoul 3
Brussels 2
Dublin 2
Fuzhou 2
New York 2
Serra Riccò 2
Udine 2
Abre Campo 1
Charlotte 1
Como 1
Dakar 1
Des Moines 1
Dhaka 1
Grafing 1
Hefei 1
Izmir 1
Jackson 1
Los Angeles 1
Mexico City 1
Nanchang 1
Nanjing 1
Norwalk 1
Ottawa 1
Porto Alegre 1
Santa Isabel do Pará 1
Shenyang 1
Tokyo 1
Verona 1
Totale 397
Nome #
Time Granularities and Ultimately Periodic Automata 148
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic 133
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic 127
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 109
Reachability computation for hybrid systems with Ariadne 26
Totale 543
Categoria #
all - tutte 1.815
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.815


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20207 0 0 0 0 0 0 0 0 0 0 0 7
2020/202165 4 6 4 7 3 6 2 7 9 8 6 3
2021/202238 3 4 2 1 0 4 3 0 2 8 7 4
2022/202325 4 0 1 1 7 5 0 3 4 0 0 0
2023/202416 2 3 0 2 3 0 0 0 1 0 0 5
2024/2025103 4 7 3 6 3 6 8 7 9 3 18 29
Totale 543