CATALOGO DEI PRODOTTI DELLA RICERCA

MASINI, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.602
EU - Europa 2.135
AS - Asia 1.438
SA - Sud America 204
Continente sconosciuto - Info sul continente non disponibili 42
AF - Africa 28
OC - Oceania 11
Totale 6.460
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.559
RU - Federazione Russa 765
SG - Singapore 608
GB - Regno Unito 471
CN - Cina 393
IT - Italia 278
BR - Brasile 164
FR - Francia 135
VN - Vietnam 125
HK - Hong Kong 122
DE - Germania 117
IE - Irlanda 88
FI - Finlandia 86
SE - Svezia 78
KR - Corea 56
BD - Bangladesh 29
UA - Ucraina 25
TR - Turchia 21
CA - Canada 20
JP - Giappone 19
ES - Italia 17
IN - India 17
BE - Belgio 16
MX - Messico 15
AR - Argentina 14
AU - Australia 11
GR - Grecia 10
NL - Olanda 9
PL - Polonia 8
DK - Danimarca 6
EC - Ecuador 6
ZA - Sudafrica 6
CO - Colombia 5
ID - Indonesia 5
IQ - Iraq 5
MA - Marocco 5
NG - Nigeria 5
PH - Filippine 5
PY - Paraguay 5
AE - Emirati Arabi Uniti 4
VE - Venezuela 4
CL - Cile 3
IR - Iran 3
PK - Pakistan 3
PT - Portogallo 3
RO - Romania 3
UZ - Uzbekistan 3
BB - Barbados 2
BG - Bulgaria 2
CH - Svizzera 2
CR - Costa Rica 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
BJ - Benin 1
BN - Brunei Darussalam 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
EE - Estonia 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.419
Salva come PNG Salva come JPEG
Città #
Southend 388
Singapore 342
Chandler 300
Dallas 270
Jacksonville 254
Moscow 235
San Jose 211
Ashburn 201
Ann Arbor 174
Hong Kong 120
Woodbridge 111
Houston 99
Dublin 88
Verona 87
The Dalles 78
Council Bluffs 61
Beijing 60
Wilmington 49
Ho Chi Minh City 44
Lawrence 38
Princeton 38
Nanjing 29
Santa Clara 26
Hanoi 24
Milan 24
New York 24
Columbus 22
Jinan 21
Shenyang 21
Buffalo 20
Los Angeles 20
São Paulo 18
Staranzano 17
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
Orem 9
Changsha 8
Da Nang 8
Hangzhou 8
Sydney 8
Cento 7
Dong Ket 7
Guangzhou 7
Mexico City 7
Taiyuan 7
Taizhou 7
Tokyo 7
Toronto 7
Turku 7
Warsaw 7
Athens 6
Atlanta 6
Auburn Hills 6
Brasília 6
Brooklyn 6
Chicago 6
Denver 6
Haiphong 6
Jiaxing 6
Lancaster 6
Lanzhou 6
Leipzig 6
Ningbo 6
Rio de Janeiro 6
San Diego 6
Amsterdam 5
Belo Horizonte 5
Fairfield 5
Haikou 5
Istanbul 5
Jakarta 5
Montreal 5
Phoenix 5
Seattle 5
Udine 5
Abuja 4
Ankara 4
Boston 4
Brescia 4
Chennai 4
City of London 4
Des Moines 4
Dhaka 4
Johannesburg 4
Madrid 4
Totale 4.022
Salva come PNG Salva come JPEG
Nome #
A Logical Framework for XML Reference Specification 220
A hybrid logic for XML reference constraints 216
A History of Until 209
2-sequent calculus: intuitionism and natural deduction 207
A Qualitative Modal Representation of Quantum Register Transformations 198
A Logic for Quantum Register Measurements 185
A Labeled Natural Deduction System for a Fragment of CTL∗ 184
2-sequent calculus: a proof theory of modalities 179
TTL: a formalism to describe local and global properties of distributed systems 177
A temporal logic approach to specify and to prove properties of finite state concurrent systems 176
A note on unbounded metric temporal logic over dense time domains 170
A modal view of linear logic 168
A two-dimensional metric temporal logic 166
A Proof-theoretic Investigation of a Logic of Positions 165
A computational interpretation of modal proofs 165
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 162
Back from the future 161
A natural deduction calculus for S4.2 158
An analysis of (linear) exponentials based on extended sequents 156
Confluence results for a quantum lambda calculus with measurements 156
A way of making intensional quantification explicit 154
Coherence for sharing proof nets 152
Natural deduction calculi for classical and intuitionistic S5 151
Labelled natural deduction for a bundled branching temporal logic 147
An approach to infinitary temporal proof theory 144
Cut Elimination for Extended Sequent Calculi 142
Proof nets, garbage, and computations 141
A natural deduction system for bundled branching time logic 141
An infinitary variant of Metric Temporal Logic over dense time domains 140
On the fine structure of the exponential rule 138
Modal Deduction Systems for Quantum State Transformations 138
On a Measurement-Free Quantum Lambda Calculus with Classical Control 133
Quantum Implicit computational complexity 133
Coherence for sharing proof-nets 131
Experiments in Linear Natural Deduction 122
Quantum Turing Machines: Computations and Measurements 121
Proofs, tests and continuation passing style 119
Modal Logic, Linear Logic, Optimal Lambda-reduction 115
Towards A Theory Of Quantum Computability 115
Proof nets, garbage, and computations 109
Parsing MELL proof nets 108
Proof Nets for Classical Logic 88
Totale 6.460
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.406
article - articoli 15.626
book - libri 0
conference - conferenze 3.112
curatela - curatele 0
other - altro 399
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.269
Totale 40.812
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022172 0 0 0 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/2027271 32 49 115 75 0 0 0 0 0 0 0 0
Totale 6.460