CATALOGO DEI PRODOTTI DELLA RICERCA

MASINI, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.935
EU - Europa 1.900
AS - Asia 1.064
SA - Sud America 172
AF - Africa 14
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.096
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.909
RU - Federazione Russa 699
GB - Regno Unito 451
SG - Singapore 400
CN - Cina 367
IT - Italia 178
BR - Brasile 143
FR - Francia 129
HK - Hong Kong 115
DE - Germania 106
IE - Irlanda 88
FI - Finlandia 84
SE - Svezia 78
VN - Vietnam 63
KR - Corea 38
UA - Ucraina 24
TR - Turchia 19
JP - Giappone 14
BE - Belgio 12
CA - Canada 12
ES - Italia 12
MX - Messico 12
AR - Argentina 11
AU - Australia 10
BD - Bangladesh 9
GR - Grecia 8
IN - India 8
PL - Polonia 7
NL - Olanda 6
EC - Ecuador 5
ID - Indonesia 5
MA - Marocco 5
AE - Emirati Arabi Uniti 4
PY - Paraguay 4
VE - Venezuela 4
IQ - Iraq 3
IR - Iran 3
PT - Portogallo 3
RO - Romania 3
ZA - Sudafrica 3
HU - Ungheria 2
JO - Giordania 2
KW - Kuwait 2
NO - Norvegia 2
PK - Pakistan 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AT - Austria 1
BB - Barbados 1
BG - Bulgaria 1
BJ - Benin 1
BN - Brunei Darussalam 1
BY - Bielorussia 1
CG - Congo 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
DK - Danimarca 1
EG - Egitto 1
IL - Israele 1
JM - Giamaica 1
KE - Kenya 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MD - Moldavia 1
MK - Macedonia 1
MN - Mongolia 1
NP - Nepal 1
PE - Perù 1
PH - Filippine 1
SA - Arabia Saudita 1
TG - Togo 1
TJ - Tagikistan 1
TN - Tunisia 1
UZ - Uzbekistan 1
Totale 5.096
Salva come PNG Salva come JPEG
Città #
Southend 388
Chandler 300
Jacksonville 254
Dallas 245
Moscow 215
Singapore 189
Ann Arbor 174
Hong Kong 114
Woodbridge 111
Houston 99
Ashburn 96
Dublin 88
Beijing 54
Wilmington 49
Lawrence 38
Princeton 38
Verona 38
The Dalles 30
Nanjing 29
Columbus 22
Jinan 21
Shenyang 21
Milan 19
New York 18
Buffalo 17
Los Angeles 17
Santa Clara 17
Munich 16
Sindelfingen 15
São Paulo 15
Hanoi 14
Hebei 14
Zhengzhou 14
Nanchang 13
Seoul 13
Bologna 12
Brussels 12
Redondo Beach 12
Tianjin 12
Ho Chi Minh City 11
Pratovecchio 11
Boardman 10
Frankfurt am Main 10
Helsinki 9
Norwalk 9
Changsha 8
Hangzhou 8
Rome 8
Cento 7
Dong Ket 7
London 7
Mexico City 7
Sydney 7
Taiyuan 7
Taizhou 7
Turku 7
Auburn Hills 6
Guangzhou 6
Jiaxing 6
Lancaster 6
Lanzhou 6
Leipzig 6
Ningbo 6
Rio de Janeiro 6
Warsaw 6
Athens 5
Belo Horizonte 5
Brasília 5
Fairfield 5
Haikou 5
Jakarta 5
Toronto 5
Udine 5
Atlanta 4
Boston 4
Brooklyn 4
Council Bluffs 4
Haiphong 4
Istanbul 4
Pistoia 4
San Diego 4
San Francisco 4
Seattle 4
Stockholm 4
Amsterdam 3
Ankara 3
Bochum 3
Chicago 3
Clearwater 3
Dhaka 3
Dmitrov 3
Itu 3
Lisbon 3
Phoenix 3
Quận Một 3
Rehlingen-Siersburg 3
Santo André 3
Sapporo 3
Sassari 3
Tokyo 3
Totale 3.189
Salva come PNG Salva come JPEG
Nome #
A Logical Framework for XML Reference Specification 187
A History of Until 172
A hybrid logic for XML reference constraints 167
2-sequent calculus: intuitionism and natural deduction 159
A Qualitative Modal Representation of Quantum Register Transformations 158
2-sequent calculus: a proof theory of modalities 145
A temporal logic approach to specify and to prove properties of finite state concurrent systems 145
A Labeled Natural Deduction System for a Fragment of CTL∗ 142
A modal view of linear logic 142
A Proof-theoretic Investigation of a Logic of Positions 141
A note on unbounded metric temporal logic over dense time domains 141
A Logic for Quantum Register Measurements 139
TTL: a formalism to describe local and global properties of distributed systems 137
An analysis of (linear) exponentials based on extended sequents 130
A way of making intensional quantification explicit 129
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 129
A two-dimensional metric temporal logic 126
Back from the future 126
Confluence results for a quantum lambda calculus with measurements 124
An approach to infinitary temporal proof theory 119
A computational interpretation of modal proofs 119
An infinitary variant of Metric Temporal Logic over dense time domains 117
Proof nets, garbage, and computations 117
On a Measurement-Free Quantum Lambda Calculus with Classical Control 116
Labelled natural deduction for a bundled branching temporal logic 116
Coherence for sharing proof-nets 114
Modal Deduction Systems for Quantum State Transformations 111
Natural deduction calculi for classical and intuitionistic S5 109
On the fine structure of the exponential rule 109
Coherence for sharing proof nets 107
Cut Elimination for Extended Sequent Calculi 107
Proofs, tests and continuation passing style 105
Quantum Implicit computational complexity 104
A natural deduction system for bundled branching time logic 104
Experiments in Linear Natural Deduction 103
Towards A Theory Of Quantum Computability 97
Proof nets, garbage, and computations 96
Parsing MELL proof nets 95
Modal Logic, Linear Logic, Optimal Lambda-reduction 93
A natural deduction calculus for S4.2 91
Quantum Turing Machines: Computations and Measurements 79
Proof Nets for Classical Logic 70
Totale 5.137
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.123
article - articoli 12.372
book - libri 0
conference - conferenze 2.450
curatela - curatele 0
other - altro 322
patent - brevetti 0
selected - selezionate 0
volume - volumi 979
Totale 32.246
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021202 0 0 0 0 33 27 4 32 29 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/20261.480 166 190 251 360 513 0 0 0 0 0 0 0
Totale 5.137