VOLPE, Marco
 Distribuzione geografica
Continente #
NA - Nord America 462
EU - Europa 282
AS - Asia 153
OC - Oceania 2
Totale 899
Nazione #
US - Stati Uniti d'America 460
CN - Cina 135
GB - Regno Unito 113
IE - Irlanda 36
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
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
RU - Federazione Russa 1
SG - Singapore 1
Totale 899
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
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 709
Nome #
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators 113
A History of Until 103
Quantum State Transformations and Branching Distributed Temporal Logic 103
Using interpolation for the verification of security protocols 91
A labeled deduction system for the logic UB 89
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 82
A Labeled Natural Deduction System for a Fragment of CTL∗ 74
Labeled natural deduction for temporal logics 74
Back from the future 68
Labelled natural deduction for a bundled branching temporal logic 61
Labeled natural deduction systems for a family of tense logics 53
Totale 911
Categoria #
all - tutte 2.625
article - articoli 1.210
book - libri 0
conference - conferenze 1.221
curatela - curatele 0
other - altro 194
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 5.250


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201910 0 0 0 0 0 0 0 0 0 0 1 9
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/202491 1 14 12 11 11 12 5 8 1 13 3 0
Totale 911