CATALOGO DEI PRODOTTI DELLA RICERCA

MASINI, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.415
EU - Europa 2.103
AS - Asia 1.431
SA - Sud America 201
Continente sconosciuto - Info sul continente non disponibili 42
AF - Africa 27
OC - Oceania 11
Totale 6.230
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.376
RU - Federazione Russa 765
SG - Singapore 606
GB - Regno Unito 467
CN - Cina 393
IT - Italia 255
BR - Brasile 162
FR - Francia 134
VN - Vietnam 125
HK - Hong Kong 121
DE - Germania 116
IE - Irlanda 88
FI - Finlandia 86
SE - Svezia 78
KR - Corea 56
BD - Bangladesh 28
UA - Ucraina 25
TR - Turchia 21
CA - Canada 18
ES - Italia 17
IN - India 17
BE - Belgio 16
JP - Giappone 16
MX - Messico 15
AR - Argentina 14
AU - Australia 11
GR - Grecia 10
NL - Olanda 9
PL - Polonia 8
EC - Ecuador 6
ZA - Sudafrica 6
ID - Indonesia 5
IQ - Iraq 5
MA - Marocco 5
PH - Filippine 5
PY - Paraguay 5
AE - Emirati Arabi Uniti 4
CO - Colombia 4
DK - Danimarca 4
NG - Nigeria 4
VE - Venezuela 4
CL - Cile 3
IR - Iran 3
PK - Pakistan 3
PT - Portogallo 3
RO - Romania 3
UZ - Uzbekistan 3
BG - Bulgaria 2
CH - Svizzera 2
ET - Etiopia 2
HU - Ungheria 2
JO - Giordania 2
KE - Kenya 2
KW - Kuwait 2
LT - Lituania 2
MN - Mongolia 2
MY - Malesia 2
NO - Norvegia 2
NP - Nepal 2
SA - Arabia Saudita 2
TN - Tunisia 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AT - Austria 1
BB - Barbados 1
BJ - Benin 1
BN - Brunei Darussalam 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
EG - Egitto 1
GT - Guatemala 1
HN - Honduras 1
IL - Israele 1
JM - Giamaica 1
KG - Kirghizistan 1
KH - Cambogia 1
KZ - Kazakistan 1
LB - Libano 1
LU - Lussemburgo 1
LV - Lettonia 1
LY - Libia 1
MD - Moldavia 1
MK - Macedonia 1
OM - Oman 1
PE - Perù 1
RS - Serbia 1
SI - Slovenia 1
TG - Togo 1
TJ - Tagikistan 1
TT - Trinidad e Tobago 1
Totale 6.189
Salva come PNG Salva come JPEG
Città #
Southend 388
Singapore 341
Chandler 300
Jacksonville 254
Dallas 248
Moscow 235
San Jose 198
Ashburn 176
Ann Arbor 174
Hong Kong 120
Woodbridge 111
Houston 99
Dublin 88
Verona 86
The Dalles 78
Beijing 60
Wilmington 49
Ho Chi Minh City 44
Lawrence 38
Princeton 38
Nanjing 29
Council Bluffs 26
Santa Clara 25
Hanoi 24
New York 24
Milan 23
Columbus 22
Jinan 21
Shenyang 21
Buffalo 19
Los Angeles 19
São Paulo 18
Munich 16
Brussels 15
Rome 15
Sindelfingen 15
Frankfurt am Main 14
Hebei 14
Seoul 14
Zhengzhou 14
Bologna 13
Nanchang 13
Redondo Beach 12
Tianjin 12
Pratovecchio 11
Boardman 10
Helsinki 10
London 10
Norwalk 9
Changsha 8
Da Nang 8
Hangzhou 8
Orem 8
Sydney 8
Cento 7
Dong Ket 7
Guangzhou 7
Mexico City 7
Taiyuan 7
Taizhou 7
Turku 7
Warsaw 7
Athens 6
Auburn Hills 6
Brasília 6
Brooklyn 6
Haiphong 6
Jiaxing 6
Lancaster 6
Lanzhou 6
Leipzig 6
Ningbo 6
Rio de Janeiro 6
Toronto 6
Amsterdam 5
Atlanta 5
Belo Horizonte 5
Fairfield 5
Haikou 5
Istanbul 5
Jakarta 5
Montreal 5
Seattle 5
Udine 5
Abuja 4
Ankara 4
Boston 4
Brescia 4
Chennai 4
Chicago 4
City of London 4
Denver 4
Des Moines 4
Dhaka 4
Johannesburg 4
Madrid 4
Manchester 4
Pistoia 4
San Diego 4
San Francisco 4
Totale 3.895
Salva come PNG Salva come JPEG
Nome #
A Logical Framework for XML Reference Specification 217
A hybrid logic for XML reference constraints 210
A History of Until 203
2-sequent calculus: intuitionism and natural deduction 200
A Qualitative Modal Representation of Quantum Register Transformations 193
A Logic for Quantum Register Measurements 176
A Labeled Natural Deduction System for a Fragment of CTL∗ 175
A temporal logic approach to specify and to prove properties of finite state concurrent systems 173
2-sequent calculus: a proof theory of modalities 172
TTL: a formalism to describe local and global properties of distributed systems 168
A note on unbounded metric temporal logic over dense time domains 165
A modal view of linear logic 164
A Proof-theoretic Investigation of a Logic of Positions 162
A computational interpretation of modal proofs 159
A two-dimensional metric temporal logic 156
Back from the future 155
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 154
Coherence for sharing proof nets 150
An analysis of (linear) exponentials based on extended sequents 149
Confluence results for a quantum lambda calculus with measurements 149
A way of making intensional quantification explicit 148
A natural deduction calculus for S4.2 146
Labelled natural deduction for a bundled branching temporal logic 141
An approach to infinitary temporal proof theory 140
Natural deduction calculi for classical and intuitionistic S5 138
Proof nets, garbage, and computations 138
Cut Elimination for Extended Sequent Calculi 137
An infinitary variant of Metric Temporal Logic over dense time domains 136
On the fine structure of the exponential rule 135
A natural deduction system for bundled branching time logic 134
Modal Deduction Systems for Quantum State Transformations 131
Quantum Implicit computational complexity 130
On a Measurement-Free Quantum Lambda Calculus with Classical Control 129
Coherence for sharing proof-nets 128
Experiments in Linear Natural Deduction 120
Quantum Turing Machines: Computations and Measurements 115
Proofs, tests and continuation passing style 114
Modal Logic, Linear Logic, Optimal Lambda-reduction 113
Towards A Theory Of Quantum Computability 112
Proof nets, garbage, and computations 106
Parsing MELL proof nets 105
Proof Nets for Classical Logic 84
Totale 6.230
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.466
article - articoli 14.893
book - libri 0
conference - conferenze 2.981
curatela - curatele 0
other - altro 378
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.214
Totale 38.932
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022247 0 68 7 1 15 4 4 16 15 12 21 84
2022/2023747 54 84 51 141 63 150 3 61 79 8 42 11
2023/2024344 45 35 34 34 36 43 19 19 6 27 21 25
2024/2025794 44 74 9 135 62 29 59 48 77 53 62 142
2025/20262.532 166 190 251 360 586 181 215 118 209 170 19 67
2026/202741 32 9 0 0 0 0 0 0 0 0 0 0
Totale 6.230