VOLPE, Marco
 Distribuzione geografica
Continente #
NA - Nord America 477
EU - Europa 335
AS - Asia 218
OC - Oceania 2
Totale 1.032
Nazione #
US - Stati Uniti d'America 475
CN - Cina 155
GB - Regno Unito 113
RU - Federazione Russa 53
SG - Singapore 44
IE - Irlanda 37
FI - Finlandia 26
FR - Francia 23
SE - Svezia 23
IT - Italia 21
DE - Germania 16
KR - Corea 11
BE - Belgio 9
UA - Ucraina 6
VN - Vietnam 4
CA - Canada 2
NO - Norvegia 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
AU - Australia 1
BD - Bangladesh 1
CH - Svizzera 1
HU - Ungheria 1
ID - Indonesia 1
IL - Israele 1
LU - Lussemburgo 1
LV - Lettonia 1
NZ - Nuova Zelanda 1
PL - Polonia 1
Totale 1.032
Città #
Southend 94
Chandler 87
Ann Arbor 85
Woodbridge 73
Jacksonville 67
Dublin 37
Singapore 34
Ashburn 18
Jinan 17
Beijing 14
Lawrence 11
Princeton 11
Seoul 11
Changsha 10
Houston 10
Nanjing 10
Ningbo 10
Wilmington 10
Brussels 9
Shenyang 9
Tianjin 8
Taizhou 7
Cambridge 6
Hebei 6
Nanchang 6
Zhengzhou 6
Helsinki 5
Lanzhou 5
Santa Clara 5
Cagliari 4
Dong Ket 4
Guangzhou 4
Haikou 3
Pratovecchio 3
San Francisco 3
Boardman 2
Dallas 2
Hangzhou 2
Jiaxing 2
Los Angeles 2
Norwalk 2
Oslo 2
Pistoia 2
Seattle 2
Taiyuan 2
Verona 2
Yicheng 2
Aarau 1
Andover 1
Auburn Hills 1
Auckland 1
Changle 1
Dhaka 1
Dubai 1
Edinburgh 1
Fairfield 1
Jakarta 1
Kiev 1
La Canada Flintridge 1
Lancaster 1
Luoyang 1
Luxembourg 1
Mehlingen 1
Melbourne 1
Milan 1
Mozzecane 1
Ottawa 1
Redwood City 1
San Diego 1
Sindelfingen 1
Skillinge 1
Sopron 1
Toronto 1
Trento 1
Warsaw 1
Washington 1
Totale 755
Nome #
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators 132
Quantum State Transformations and Branching Distributed Temporal Logic 126
A History of Until 111
A labeled deduction system for the logic UB 106
Using interpolation for the verification of security protocols 101
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 93
Labeled natural deduction for temporal logics 83
A Labeled Natural Deduction System for a Fragment of CTL∗ 82
Back from the future 77
Labelled natural deduction for a bundled branching temporal logic 71
Labeled natural deduction systems for a family of tense logics 62
Totale 1.044
Categoria #
all - tutte 3.485
article - articoli 1.642
book - libri 0
conference - conferenze 1.591
curatela - curatele 0
other - altro 252
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.970


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202061 0 0 0 0 0 8 16 6 3 14 5 9
2020/2021162 44 27 11 22 13 10 1 9 8 1 9 7
2021/202294 5 32 2 2 5 2 2 5 5 3 6 25
2022/2023211 12 28 20 27 24 51 0 14 25 3 7 0
2023/2024104 1 14 12 11 11 12 5 8 1 13 11 5
2024/2025120 15 30 8 52 10 5 0 0 0 0 0 0
Totale 1.044