CATALOGO DEI PRODOTTI DELLA RICERCA

MASINI, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.399
EU - Europa 1.067
AS - Asia 300
OC - Oceania 10
SA - Sud America 8
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.785
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.392
GB - Regno Unito 436
CN - Cina 245
IT - Italia 128
FR - Francia 118
IE - Irlanda 87
DE - Germania 77
FI - Finlandia 76
SE - Svezia 75
UA - Ucraina 22
KR - Corea 13
BE - Belgio 12
VN - Vietnam 12
AU - Australia 10
JP - Giappone 10
TR - Turchia 10
ES - Italia 7
RU - Federazione Russa 7
CA - Canada 6
GR - Grecia 6
BR - Brasile 5
IR - Iran 3
PL - Polonia 3
IN - India 2
NL - Olanda 2
NO - Norvegia 2
RO - Romania 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BG - Bulgaria 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
DK - Danimarca 1
HK - Hong Kong 1
HU - Ungheria 1
ID - Indonesia 1
IL - Israele 1
LU - Lussemburgo 1
MK - Macedonia 1
MX - Messico 1
PH - Filippine 1
PT - Portogallo 1
SG - Singapore 1
VE - Venezuela 1
Totale 2.785
Salva come PNG Salva come JPEG
Città #
Southend 388
Chandler 300
Jacksonville 254
Ann Arbor 174
Woodbridge 111
Houston 99
Dublin 87
Ashburn 66
Wilmington 49
Lawrence 38
Princeton 38
Beijing 34
Verona 32
Nanjing 29
Jinan 21
Shenyang 21
Sindelfingen 15
Hebei 14
Zhengzhou 14
Nanchang 13
New York 13
Seoul 13
Brussels 12
Pratovecchio 11
Milan 10
Boardman 9
Helsinki 9
Norwalk 9
Tianjin 9
Bologna 8
Changsha 8
Cento 7
Dong Ket 7
Sydney 7
Taiyuan 7
Taizhou 7
Auburn Hills 6
Hangzhou 6
Jiaxing 6
Lancaster 6
Lanzhou 6
Leipzig 6
Ningbo 6
Fairfield 5
Guangzhou 5
Haikou 5
Udine 5
Athens 4
Pistoia 4
Rome 4
San Diego 4
Bochum 3
Brasília 3
Clearwater 3
Dmitrov 3
Rehlingen-Siersburg 3
San Francisco 3
Sapporo 3
Sassari 3
Seattle 3
Toronto 3
Ardea 2
Boston 2
Canberra 2
Chions 2
Eskisehir 2
Frankfurt am Main 2
High Wycombe 2
Kuradani 2
Mazeres 2
Paris 2
Redwood City 2
Santa Coloma de Gramenet 2
Sarno 2
St. Lorenzen 2
São Paulo 2
Thessaloníki 2
Vancouver 2
Warsaw 2
Washington 2
Wembley 2
Aarau 1
Avellino 1
Barcelona 1
Berlin 1
Brescia 1
Budapest 1
Caracas 1
Cavallino-Treporti 1
Central 1
Centreville 1
Chaoyang 1
Dongguan 1
Fuzhou 1
Gdansk 1
Groningen 1
Hanoi 1
Hollywood 1
Irvine 1
Jakarta 1
Totale 2.110
Salva come PNG Salva come JPEG
Nome #
A Logical Framework for XML Reference Specification 105
A History of Until 103
2-sequent calculus: intuitionism and natural deduction 95
TTL: a formalism to describe local and global properties of distributed systems 94
2-sequent calculus: a proof theory of modalities 90
A note on unbounded metric temporal logic over dense time domains 85
A Qualitative Modal Representation of Quantum Register Transformations 82
A temporal logic approach to specify and to prove properties of finite state concurrent systems 80
Modal Deduction Systems for Quantum State Transformations 79
A modal view of linear logic 77
Coherence for sharing proof nets 75
Coherence for sharing proof-nets 74
A way of making intensional quantification explicit 73
An analysis of (linear) exponentials based on extended sequents 72
A Proof-theoretic Investigation of a Logic of Positions 72
A Labeled Natural Deduction System for a Fragment of CTL∗ 72
Confluence results for a quantum lambda calculus with measurements 72
Towards A Theory Of Quantum Computability 72
Experiments in Linear Natural Deduction 71
Proof nets, garbage, and computations 70
An infinitary variant of Metric Temporal Logic over dense time domains 69
A hybrid logic for XML reference constraints 69
Back from the future 68
On the fine structure of the exponential rule 68
A Logic for Quantum Register Measurements 67
Parsing MELL proof nets 65
An approach to infinitary temporal proof theory 64
Modal Logic, Linear Logic, Optimal Lambda-reduction 64
A two-dimensional metric temporal logic 63
On a Measurement-Free Quantum Lambda Calculus with Classical Control 63
Labelled natural deduction for a bundled branching temporal logic 61
Proof nets, garbage, and computations 59
Proofs, tests and continuation passing style 58
A computational interpretation of modal proofs 58
A natural deduction system for bundled branching time logic 56
Quantum Implicit computational complexity 53
Cut Elimination for Extended Sequent Calculi 42
Natural deduction calculi for classical and intuitionistic S5 39
Proof Nets for Classical Logic 39
Quantum Turing Machines: Computations and Measurements 38
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 37
A natural deduction calculus for S4.2 5
Totale 2.818
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.882
article - articoli 5.920
book - libri 0
conference - conferenze 1.263
curatela - curatele 0
other - altro 177
patent - brevetti 0
selected - selezionate 0
volume - volumi 522
Totale 15.764
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201959 0 0 0 0 0 0 0 0 0 0 24 35
2019/2020261 42 3 2 38 11 29 27 29 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/2024299 45 35 34 34 36 43 19 19 6 27 1 0
Totale 2.818