CATALOGO DEI PRODOTTI DELLA RICERCA

MASINI, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.462
EU - Europa 1.215
AS - Asia 551
SA - Sud America 53
OC - Oceania 10
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.295
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.454
GB - Regno Unito 439
CN - Cina 282
SG - Singapore 188
IT - Italia 163
FR - Francia 118
RU - Federazione Russa 102
IE - Irlanda 88
DE - Germania 82
FI - Finlandia 77
SE - Svezia 75
BR - Brasile 44
UA - Ucraina 22
KR - Corea 14
HK - Hong Kong 13
TR - Turchia 13
BE - Belgio 12
VN - Vietnam 12
AU - Australia 10
JP - Giappone 10
CA - Canada 7
ES - Italia 7
GR - Grecia 7
ID - Indonesia 5
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
IR - Iran 3
NL - Olanda 3
PL - Polonia 3
PT - Portogallo 3
RO - Romania 3
HU - Ungheria 2
IN - India 2
KW - Kuwait 2
NO - Norvegia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
AT - Austria 1
BG - Bulgaria 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
DK - Danimarca 1
EC - Ecuador 1
IL - Israele 1
IQ - Iraq 1
JO - Giordania 1
LU - Lussemburgo 1
MA - Marocco 1
MD - Moldavia 1
MK - Macedonia 1
MX - Messico 1
PH - Filippine 1
TG - Togo 1
UY - Uruguay 1
ZA - Sudafrica 1
Totale 3.295
Salva come PNG Salva come JPEG
Città #
Southend 388
Chandler 300
Jacksonville 254
Ann Arbor 174
Singapore 134
Woodbridge 111
Houston 99
Dublin 88
Ashburn 69
Wilmington 49
Lawrence 38
Princeton 38
Verona 38
Beijing 34
Nanjing 29
Jinan 21
Shenyang 21
Milan 16
Sindelfingen 15
Hebei 14
Santa Clara 14
Zhengzhou 14
Nanchang 13
New York 13
Seoul 13
Brussels 12
Hong Kong 12
Pratovecchio 11
Boardman 10
Helsinki 9
Norwalk 9
Tianjin 9
Bologna 8
Changsha 8
Moscow 8
Rome 8
Cento 7
Dong Ket 7
Sydney 7
Taiyuan 7
Taizhou 7
Auburn Hills 6
Guangzhou 6
Hangzhou 6
Jiaxing 6
Lancaster 6
Lanzhou 6
Leipzig 6
Ningbo 6
Athens 5
Fairfield 5
Haikou 5
Jakarta 5
Udine 5
Belo Horizonte 4
Brasília 4
Council Bluffs 4
Pistoia 4
San Diego 4
São Paulo 4
Toronto 4
Bochum 3
Clearwater 3
Dmitrov 3
Itu 3
Lisbon 3
Rehlingen-Siersburg 3
Rio de Janeiro 3
San Francisco 3
Sapporo 3
Sassari 3
Seattle 3
Al Jabiriyah 2
Ankara 2
Ardea 2
Astrakhan 2
Boston 2
Canberra 2
Caracas 2
Chions 2
Dallas 2
Eskisehir 2
Forest City 2
Frankfurt am Main 2
High Wycombe 2
Kuradani 2
Lappeenranta 2
London 2
Mazeres 2
Naples 2
Paris 2
Phoenix 2
Redwood City 2
Santa Coloma de Gramenet 2
Sarno 2
Siziano 2
St. Lorenzen 2
Thessaloníki 2
Vancouver 2
Warsaw 2
Totale 2.326
Salva come PNG Salva come JPEG
Nome #
A Logical Framework for XML Reference Specification 115
A History of Until 112
2-sequent calculus: intuitionism and natural deduction 108
TTL: a formalism to describe local and global properties of distributed systems 106
A Qualitative Modal Representation of Quantum Register Transformations 100
2-sequent calculus: a proof theory of modalities 100
A note on unbounded metric temporal logic over dense time domains 93
A modal view of linear logic 93
A temporal logic approach to specify and to prove properties of finite state concurrent systems 93
Modal Deduction Systems for Quantum State Transformations 88
Proof nets, garbage, and computations 84
A hybrid logic for XML reference constraints 84
A way of making intensional quantification explicit 83
A Labeled Natural Deduction System for a Fragment of CTL∗ 83
Confluence results for a quantum lambda calculus with measurements 83
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 83
Coherence for sharing proof-nets 82
Coherence for sharing proof nets 82
An analysis of (linear) exponentials based on extended sequents 81
A Proof-theoretic Investigation of a Logic of Positions 81
Experiments in Linear Natural Deduction 80
Towards A Theory Of Quantum Computability 80
Back from the future 79
On the fine structure of the exponential rule 78
A Logic for Quantum Register Measurements 78
An infinitary variant of Metric Temporal Logic over dense time domains 76
A two-dimensional metric temporal logic 75
Parsing MELL proof nets 74
Proof nets, garbage, and computations 73
Natural deduction calculi for classical and intuitionistic S5 72
Labelled natural deduction for a bundled branching temporal logic 72
An approach to infinitary temporal proof theory 71
Modal Logic, Linear Logic, Optimal Lambda-reduction 71
On a Measurement-Free Quantum Lambda Calculus with Classical Control 69
Proofs, tests and continuation passing style 68
A computational interpretation of modal proofs 67
A natural deduction system for bundled branching time logic 65
Quantum Implicit computational complexity 59
Cut Elimination for Extended Sequent Calculi 56
Quantum Turing Machines: Computations and Measurements 51
Proof Nets for Classical Logic 48
A natural deduction calculus for S4.2 40
Totale 3.336
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.527
article - articoli 8.769
book - libri 0
conference - conferenze 1.808
curatela - curatele 0
other - altro 233
patent - brevetti 0
selected - selezionate 0
volume - volumi 717
Totale 23.054
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202080 0 0 0 0 0 0 0 0 10 37 6 27
2020/2021367 41 74 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/2025473 44 74 9 135 62 29 59 48 13 0 0 0
Totale 3.336