CATALOGO DEI PRODOTTI DELLA RICERCA

MASINI, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.855
EU - Europa 1.286
AS - Asia 899
SA - Sud America 125
OC - Oceania 10
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.184
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.834
GB - Regno Unito 448
SG - Singapore 352
CN - Cina 309
IT - Italia 168
FR - Francia 129
BR - Brasile 110
DE - Germania 106
HK - Hong Kong 102
RU - Federazione Russa 102
IE - Irlanda 88
FI - Finlandia 84
SE - Svezia 78
KR - Corea 35
VN - Vietnam 28
UA - Ucraina 24
TR - Turchia 19
JP - Giappone 14
BE - Belgio 12
CA - Canada 12
ES - Italia 11
AU - Australia 10
GR - Grecia 7
MX - Messico 7
BD - Bangladesh 6
IN - India 6
PL - Polonia 6
ID - Indonesia 5
NL - Olanda 5
AE - Emirati Arabi Uniti 4
VE - Venezuela 4
AR - Argentina 3
IQ - Iraq 3
IR - Iran 3
MA - Marocco 3
PT - Portogallo 3
RO - Romania 3
EC - Ecuador 2
HU - Ungheria 2
JO - Giordania 2
KW - Kuwait 2
NO - Norvegia 2
PK - Pakistan 2
PY - Paraguay 2
UY - Uruguay 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AT - Austria 1
BB - Barbados 1
BG - Bulgaria 1
BY - Bielorussia 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
KZ - Kazakistan 1
LU - Lussemburgo 1
MD - Moldavia 1
MK - Macedonia 1
NP - Nepal 1
PH - Filippine 1
SA - Arabia Saudita 1
TG - Togo 1
TJ - Tagikistan 1
UZ - Uzbekistan 1
Totale 4.184
Salva come PNG Salva come JPEG
Città #
Southend 388
Chandler 300
Jacksonville 254
Dallas 225
Singapore 187
Ann Arbor 174
Woodbridge 111
Hong Kong 101
Houston 99
Dublin 88
Ashburn 78
Wilmington 49
Beijing 39
Lawrence 38
Princeton 38
Verona 38
The Dalles 30
Nanjing 29
Columbus 22
Jinan 21
Shenyang 21
Milan 16
Munich 16
Santa Clara 16
New York 15
Sindelfingen 15
Hebei 14
Zhengzhou 14
Los Angeles 13
Nanchang 13
Seoul 13
Brussels 12
São Paulo 12
Buffalo 11
Pratovecchio 11
Boardman 10
Frankfurt am Main 10
Redondo Beach 10
Bologna 9
Helsinki 9
Norwalk 9
Tianjin 9
Changsha 8
Hangzhou 8
Moscow 8
Rome 8
Cento 7
Dong Ket 7
Sydney 7
Taiyuan 7
Taizhou 7
Turku 7
Auburn Hills 6
Guangzhou 6
Jiaxing 6
Lancaster 6
Lanzhou 6
Leipzig 6
London 6
Ningbo 6
Athens 5
Belo Horizonte 5
Brasília 5
Fairfield 5
Haikou 5
Jakarta 5
Mexico City 5
Rio de Janeiro 5
Toronto 5
Udine 5
Warsaw 5
Boston 4
Council Bluffs 4
Hanoi 4
Istanbul 4
Pistoia 4
San Diego 4
San Francisco 4
Seattle 4
Stockholm 4
Ankara 3
Atlanta 3
Bochum 3
Chicago 3
Clearwater 3
Dmitrov 3
Haiphong 3
Ho Chi Minh City 3
Itu 3
Lisbon 3
Rehlingen-Siersburg 3
Sapporo 3
Sassari 3
Tokyo 3
Al Jabiriyah 2
Amman 2
Amsterdam 2
Ardea 2
Astrakhan 2
Bexley 2
Totale 2.854
Salva come PNG Salva come JPEG
Nome #
A Logical Framework for XML Reference Specification 149
A History of Until 137
2-sequent calculus: intuitionism and natural deduction 132
A hybrid logic for XML reference constraints 132
A Qualitative Modal Representation of Quantum Register Transformations 128
2-sequent calculus: a proof theory of modalities 123
TTL: a formalism to describe local and global properties of distributed systems 122
A temporal logic approach to specify and to prove properties of finite state concurrent systems 121
A note on unbounded metric temporal logic over dense time domains 117
A modal view of linear logic 115
A Logic for Quantum Register Measurements 111
A Labeled Natural Deduction System for a Fragment of CTL∗ 109
Proof nets, garbage, and computations 107
Coherence for sharing proof-nets 105
An analysis of (linear) exponentials based on extended sequents 104
A way of making intensional quantification explicit 103
A Proof-theoretic Investigation of a Logic of Positions 102
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 102
Confluence results for a quantum lambda calculus with measurements 100
Back from the future 100
Modal Deduction Systems for Quantum State Transformations 100
A two-dimensional metric temporal logic 97
Coherence for sharing proof nets 95
On the fine structure of the exponential rule 95
Natural deduction calculi for classical and intuitionistic S5 93
An infinitary variant of Metric Temporal Logic over dense time domains 93
Labelled natural deduction for a bundled branching temporal logic 93
A computational interpretation of modal proofs 93
Experiments in Linear Natural Deduction 92
On a Measurement-Free Quantum Lambda Calculus with Classical Control 92
An approach to infinitary temporal proof theory 91
Towards A Theory Of Quantum Computability 90
Proof nets, garbage, and computations 89
Parsing MELL proof nets 87
Modal Logic, Linear Logic, Optimal Lambda-reduction 86
Proofs, tests and continuation passing style 83
A natural deduction system for bundled branching time logic 81
Cut Elimination for Extended Sequent Calculi 81
Quantum Implicit computational complexity 79
Quantum Turing Machines: Computations and Measurements 70
A natural deduction calculus for S4.2 67
Proof Nets for Classical Logic 59
Totale 4.225
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.428
article - articoli 11.039
book - libri 0
conference - conferenze 2.206
curatela - curatele 0
other - altro 292
patent - brevetti 0
selected - selezionate 0
volume - volumi 891
Totale 28.856
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021252 0 0 8 42 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/2026568 166 190 212 0 0 0 0 0 0 0 0 0
Totale 4.225