VOLPE, Marco
 Distribuzione geografica
Continente #
NA - Nord America 462
EU - Europa 288
AS - Asia 167
OC - Oceania 2
Totale 919
Nazione #
US - Stati Uniti d'America 460
CN - Cina 136
GB - Regno Unito 113
IE - Irlanda 36
FI - Finlandia 26
FR - Francia 23
SE - Svezia 23
IT - Italia 21
DE - Germania 16
SG - Singapore 14
KR - Corea 11
BE - Belgio 9
RU - Federazione Russa 7
UA - Ucraina 6
VN - Vietnam 4
CA - Canada 2
NO - Norvegia 2
AT - Austria 1
AU - Australia 1
BD - Bangladesh 1
CH - Svizzera 1
HU - Ungheria 1
IL - Israele 1
LU - Lussemburgo 1
LV - Lettonia 1
NZ - Nuova Zelanda 1
PL - Polonia 1
Totale 919
Città #
Southend 94
Chandler 87
Ann Arbor 85
Woodbridge 73
Jacksonville 67
Dublin 36
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
Singapore 6
Zhengzhou 6
Helsinki 5
Lanzhou 5
Cagliari 4
Dong Ket 4
Guangzhou 3
Haikou 3
Pratovecchio 3
San Francisco 3
Boardman 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
Edinburgh 1
Fairfield 1
Kiev 1
La Canada Flintridge 1
Lancaster 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 715
Nome #
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators 115
Quantum State Transformations and Branching Distributed Temporal Logic 106
A History of Until 105
Using interpolation for the verification of security protocols 94
A labeled deduction system for the logic UB 89
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 84
Labeled natural deduction for temporal logics 76
A Labeled Natural Deduction System for a Fragment of CTL∗ 75
Back from the future 70
Labelled natural deduction for a bundled branching temporal logic 63
Labeled natural deduction systems for a family of tense logics 54
Totale 931
Categoria #
all - tutte 2.819
article - articoli 1.304
book - libri 0
conference - conferenze 1.310
curatela - curatele 0
other - altro 205
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 5.638


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202087 13 1 1 9 2 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/20257 7 0 0 0 0 0 0 0 0 0 0 0
Totale 931