CATALOGO DEI PRODOTTI DELLA RICERCA

VOLPE, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 868
EU - Europa 651
AS - Asia 568
SA - Sud America 60
Continente sconosciuto - Info sul continente non disponibili 12
AF - Africa 10
OC - Oceania 3
Totale 2.172
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 846
RU - Federazione Russa 293
SG - Singapore 198
CN - Cina 193
GB - Regno Unito 127
VN - Vietnam 63
HK - Hong Kong 52
BR - Brasile 49
IT - Italia 47
IE - Irlanda 37
FR - Francia 31
DE - Germania 30
FI - Finlandia 26
KR - Corea 25
SE - Svezia 24
CA - Canada 13
BE - Belgio 9
IN - India 9
AR - Argentina 8
UA - Ucraina 8
BD - Bangladesh 7
MX - Messico 5
ID - Indonesia 4
JP - Giappone 4
PL - Polonia 4
ES - Italia 3
NG - Nigeria 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
CR - Costa Rica 2
EG - Egitto 2
ET - Etiopia 2
IL - Israele 2
JO - Giordania 2
MY - Malesia 2
NL - Olanda 2
NO - Norvegia 2
RS - Serbia 2
AT - Austria 1
CH - Svizzera 1
HN - Honduras 1
HU - Ungheria 1
JM - Giamaica 1
KE - Kenya 1
LB - Libano 1
LT - Lituania 1
LU - Lussemburgo 1
LV - Lettonia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PE - Perù 1
PK - Pakistan 1
PY - Paraguay 1
SA - Arabia Saudita 1
SC - Seychelles 1
SN - Senegal 1
TR - Turchia 1
UY - Uruguay 1
Totale 2.160
Salva come PNG Salva come JPEG
Città #
Singapore 106
Southend 94
Moscow 90
Chandler 87
Ann Arbor 85
San Jose 74
Woodbridge 73
Jacksonville 67
Ashburn 66
Dallas 59
Hong Kong 52
Dublin 37
The Dalles 31
Ho Chi Minh City 24
Council Bluffs 23
Beijing 20
Jinan 17
Verona 17
Los Angeles 14
Seoul 14
Houston 11
Lawrence 11
Princeton 11
Changsha 10
Nanjing 10
Ningbo 10
Wilmington 10
Brussels 9
Columbus 9
Frankfurt am Main 9
Hanoi 9
Shenyang 9
Santa Clara 8
Tianjin 8
Cambridge 7
London 7
Taizhou 7
Hebei 6
Nanchang 6
Zhengzhou 6
Buffalo 5
Helsinki 5
Lanzhou 5
Montreal 5
Cagliari 4
Da Nang 4
Dong Ket 4
Guangzhou 4
Memphis 4
New York 4
São Paulo 4
Tokyo 4
Toronto 4
Warsaw 4
Washington 4
Abuja 3
Biên Hòa 3
Brasília 3
Brooklyn 3
Chennai 3
Dhaka 3
Haikou 3
Hangzhou 3
Itaquaquecetuba 3
Munich 3
Orem 3
Pratovecchio 3
Redondo Beach 3
San Francisco 3
Addis Ababa 2
Amman 2
Atlanta 2
Belgrade 2
Belo Horizonte 2
Boardman 2
Denver 2
Fortaleza 2
Hải Dương 2
Jakarta 2
Jiaxing 2
Mexico City 2
Milwaukee 2
Ninh Bình 2
Norwalk 2
Oslo 2
Palermo 2
Pistoia 2
Porto Alegre 2
Rio de Janeiro 2
Rome 2
San Diego 2
San José 2
Seattle 2
Shanghai 2
Strasbourg 2
Taiyuan 2
Yicheng 2
Aarau 1
Addison 1
Akron 1
Totale 1.388
Salva come PNG Salva come JPEG
Nome #
Quantum State Transformations and Branching Distributed Temporal Logic 287
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators 259
A labeled deduction system for the logic UB 250
A History of Until 211
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 188
A Labeled Natural Deduction System for a Fragment of CTL∗ 185
Using interpolation for the verification of security protocols 181
Labeled natural deduction for temporal logics 173
Back from the future 161
Labelled natural deduction for a bundled branching temporal logic 148
Labeled natural deduction systems for a family of tense logics 129
Totale 2.172
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.776
article - articoli 3.129
book - libri 0
conference - conferenze 3.163
curatela - curatele 0
other - altro 484
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 13.552
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202255 0 0 0 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/2025274 15 30 8 52 10 5 10 4 44 24 23 49
2025/2026865 68 55 62 121 202 59 99 48 62 57 16 16
2026/2027109 7 17 30 55 0 0 0 0 0 0 0 0
Totale 2.172