CATALOGO DEI PRODOTTI DELLA RICERCA

MASINI, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.337
EU - Europa 2.087
AS - Asia 1.405
SA - Sud America 194
AF - Africa 27
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.061
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.300
RU - Federazione Russa 765
SG - Singapore 601
GB - Regno Unito 467
CN - Cina 386
IT - Italia 245
BR - Brasile 158
FR - Francia 133
VN - Vietnam 125
HK - Hong Kong 121
DE - Germania 114
IE - Irlanda 88
FI - Finlandia 86
SE - Svezia 78
KR - Corea 56
UA - Ucraina 25
TR - Turchia 21
CA - Canada 18
ES - Italia 17
IN - India 17
BD - Bangladesh 15
BE - Belgio 15
JP - Giappone 15
MX - Messico 15
AR - Argentina 14
AU - Australia 10
GR - Grecia 10
NL - Olanda 8
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
NG - Nigeria 4
VE - Venezuela 4
DK - Danimarca 3
IR - Iran 3
PK - Pakistan 3
PT - Portogallo 3
RO - Romania 3
UZ - Uzbekistan 3
BG - Bulgaria 2
CH - Svizzera 2
CL - Cile 2
CO - Colombia 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
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
Totale 6.061
Salva come PNG Salva come JPEG
Città #
Southend 388
Singapore 340
Chandler 300
Jacksonville 254
Dallas 246
Moscow 235
San Jose 191
Ann Arbor 174
Ashburn 167
Hong Kong 120
Woodbridge 111
Houston 99
Dublin 88
Verona 86
The Dalles 78
Beijing 55
Wilmington 49
Ho Chi Minh City 44
Lawrence 38
Princeton 38
Nanjing 29
Hanoi 24
New York 23
Columbus 22
Milan 22
Jinan 21
Santa Clara 21
Shenyang 21
Los Angeles 19
Buffalo 18
São Paulo 18
Munich 16
Brussels 15
Sindelfingen 15
Frankfurt am Main 14
Hebei 14
Rome 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
Cento 7
Dong Ket 7
Guangzhou 7
Mexico City 7
Sydney 7
Taiyuan 7
Taizhou 7
Turku 7
Warsaw 7
Athens 6
Auburn Hills 6
Brasília 6
Council Bluffs 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
Brooklyn 5
Fairfield 5
Haikou 5
Istanbul 5
Jakarta 5
Montreal 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
Seattle 4
Totale 3.840
Salva come PNG Salva come JPEG
Nome #
A Logical Framework for XML Reference Specification 214
A hybrid logic for XML reference constraints 206
A History of Until 201
2-sequent calculus: intuitionism and natural deduction 193
A Qualitative Modal Representation of Quantum Register Transformations 188
A Logic for Quantum Register Measurements 174
A temporal logic approach to specify and to prove properties of finite state concurrent systems 171
2-sequent calculus: a proof theory of modalities 169
A Labeled Natural Deduction System for a Fragment of CTL∗ 168
TTL: a formalism to describe local and global properties of distributed systems 163
A modal view of linear logic 163
A note on unbounded metric temporal logic over dense time domains 162
A Proof-theoretic Investigation of a Logic of Positions 160
Back from the future 154
A computational interpretation of modal proofs 154
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 153
A two-dimensional metric temporal logic 152
An analysis of (linear) exponentials based on extended sequents 149
A way of making intensional quantification explicit 147
Confluence results for a quantum lambda calculus with measurements 145
A natural deduction calculus for S4.2 143
Labelled natural deduction for a bundled branching temporal logic 140
Natural deduction calculi for classical and intuitionistic S5 138
An infinitary variant of Metric Temporal Logic over dense time domains 136
An approach to infinitary temporal proof theory 136
Proof nets, garbage, and computations 135
Cut Elimination for Extended Sequent Calculi 134
A natural deduction system for bundled branching time logic 133
On the fine structure of the exponential rule 130
Modal Deduction Systems for Quantum State Transformations 129
Coherence for sharing proof-nets 128
On a Measurement-Free Quantum Lambda Calculus with Classical Control 127
Quantum Implicit computational complexity 127
Coherence for sharing proof nets 124
Experiments in Linear Natural Deduction 120
Modal Logic, Linear Logic, Optimal Lambda-reduction 112
Proofs, tests and continuation passing style 112
Towards A Theory Of Quantum Computability 111
Quantum Turing Machines: Computations and Measurements 107
Parsing MELL proof nets 105
Proof nets, garbage, and computations 105
Proof Nets for Classical Logic 84
Totale 6.102
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.897
article - articoli 13.706
book - libri 0
conference - conferenze 2.725
curatela - curatele 0
other - altro 352
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.114
Totale 35.794
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202177 0 0 0 0 0 0 0 0 0 3 49 25
2021/2022259 12 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.445 166 190 251 360 586 181 215 118 209 169 0 0
Totale 6.102