MARTINI, SIMONE
 Distribuzione geografica
Continente #
EU - Europa 2.812
NA - Nord America 1.678
AS - Asia 469
AF - Africa 78
SA - Sud America 9
OC - Oceania 6
Totale 5.052
Nazione #
US - Stati Uniti d'America 1.659
IT - Italia 1.069
GB - Regno Unito 817
DE - Germania 196
CN - Cina 185
UA - Ucraina 153
SE - Svezia 147
FR - Francia 130
IN - India 96
IE - Irlanda 73
RU - Federazione Russa 56
JO - Giordania 49
VN - Vietnam 48
TR - Turchia 45
EE - Estonia 32
CI - Costa d'Avorio 28
ZA - Sudafrica 26
CH - Svizzera 23
HR - Croazia 22
NL - Olanda 19
CA - Canada 17
RO - Romania 17
FI - Finlandia 15
TG - Togo 15
BE - Belgio 11
HK - Hong Kong 10
SG - Singapore 10
BG - Bulgaria 9
SC - Seychelles 9
JP - Giappone 7
AU - Australia 6
BR - Brasile 6
PH - Filippine 6
PL - Polonia 6
ID - Indonesia 5
NO - Norvegia 4
LT - Lituania 3
AT - Austria 2
CL - Cile 2
HU - Ungheria 2
IR - Iran 2
KR - Corea 2
LB - Libano 2
LU - Lussemburgo 2
MX - Messico 2
SI - Slovenia 2
BD - Bangladesh 1
CO - Colombia 1
CZ - Repubblica Ceca 1
RS - Serbia 1
TH - Thailandia 1
Totale 5.052
Città #
Southend 758
Fairfield 182
Chandler 133
Bologna 131
Wilmington 110
Ashburn 108
Jacksonville 106
Princeton 99
Ann Arbor 97
Woodbridge 89
Dublin 73
Cambridge 67
Houston 62
Seattle 58
Milan 55
Amman 49
Rome 48
Istanbul 44
Padova 38
Westminster 35
Nanjing 34
Dong Ket 32
Medford 32
Bari 29
Berlin 29
Abidjan 28
Ferrara 21
Jinan 20
New York 19
Hebei 18
Mülheim 18
Napoli 18
Saint Petersburg 18
Turin 18
Lomé 15
Paris 15
San Diego 15
Redmond 14
Helsinki 13
Beijing 12
Des Moines 12
Hackensack 12
Nanchang 12
Bern 11
Brussels 11
Lanciano 11
Changsha 10
Verona 10
Catania 9
Forlì 9
Fremont 9
Mahé 9
Naples 9
Palermo 9
Shenyang 9
Sofia 9
Amsterdam 8
Cagliari 8
Council Bluffs 8
Dallas 8
Florence 8
Parma 8
Redwood City 8
Rolo 8
Taiyuan 8
Carmiano 7
Massa 7
Pavia 7
Settimo Torinese 7
Zeme 7
Central 6
Modena 6
Ningbo 6
Norwalk 6
Pisa 6
Rimini 6
San Venanzo 6
Shanghai 6
Trento 6
Vignola 6
Zhengzhou 6
Ancona 5
Casalecchio di Reno 5
Castelnuovo Rangone 5
Cesena 5
Dearborn 5
Desenzano del Garda 5
Lanzhou 5
Olalla 5
Ottawa 5
Piacenza 5
Pune 5
San Ferdinando di Puglia 5
Tokyo 5
Zurich 5
Bergamo 4
Chiusi 4
Falls Church 4
Imola 4
Islington 4
Totale 3.184
Nome #
Linguaggi di programmazione: principi e paradigmi. Seconda Edizione 310
Informatica senza e con computer nella Scuola Primaria 198
null 160
Linguaggi di programmazione 159
Programming Languages: Principles and Paradigms 155
Problem Solving Olympics: An Inclusive Education Model for Learning Informatics 148
An invariant cost model for the lambda calculus 142
CSL 2008 special issue 140
Phase Semantics and Decidability of Elementary Affine Logic 132
(Optimal) duplication is not elementary recursive. 122
The weak lambda-calculus as a reasonable machine 119
Editorial, Computer Science Logic 2008 special issue 116
Computational Thinking, Between Papert and Wing 115
Light logics and higher-order processes 114
Types in Programming Languages, Between Modelling, Abstraction, and Correctness 111
Computer Science Logic 2008, LNCS 5213 110
Higher order linear ramified recurrence 110
(Non) parliamo di pensiero computazionale 109
Generazione Automatica di Learning Objects Accessibili a Partire da Documenti: il Sistema di Produzione di A3 104
Fondamenti di Informatica, 2 voll. 103
Derivational Complexity is an Invariant Cost Model 100
General Ramified Recurrence is Sound for Polynomial Time 98
Quantum Turing Machines: Computations and Measurements 96
A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming 94
Optimizing optimal reduction. A type inference algorithm for elementary affine logic 92
Internet, il www e i loro servizi 92
Several types of types in programming languages 92
The online course was great: I would attend it face-to-face: The good, the bad, and the ugly of IT in emergency remote teaching of CS1 89
The Good, The Bad, and The Ugly of a Synchronous Online CS1 86
Provando e riprovando 84
Proofs as efficient programs 84
On Constructor Rewrite Systems and the Lambda-Calculus 81
null 81
Elogio di Babele 80
Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di conto 76
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation 76
Fondamenti dell'informatica 75
Fondazioni di linguaggi funzionali e con controllo delle risorse (FOLLIA) 74
Light Logics and Higher-Order Processes 73
Crittografia a blocchi al Liceo Matematico 69
Internet, il WWW e i loro servizi 66
Correction to: Computational Thinking, Between Papert and Wing (Science & Education, (2021), 30, 4, (883-908), 10.1007/s11191-021-00202-5) 65
Abbiamo davvero bisogno del pensiero computazionale? 64
Lingua Universalis 63
Cryptography in Grade 10: Core Ideas with Snap! and Unplugged 59
Istituto internazionale per la matematica applicabile e le scienze dell’informazione 59
Programmare per imparare la crittografia al Liceo Matematico 58
Apprendimento della programmazione guidato dalla necessità: il Necessity Learning Design 53
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 48
Informatica: Elogio di Babele 42
Preface 36
Programming Languages: Principles and Paradigms, 2nd edition 29
Cut Elimination for Extended Sequent Calculi 23
Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation 17
Bounded quantifiers have Interval Models 16
An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics 11
On constructor rewrite systems and the lambda-calculus 7
Teaching Programming in the Age of Generative AI 6
A Natural Deduction Calculus for S4.2 2
AN INTERVAL MODEL FOR 2ND ORDER LAMBDA-CALCULUS 2
A computational interpretation of modal proofs 1
Totale 5.196
Categoria #
all - tutte 12.888
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 12.888


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020846 145 28 27 58 66 67 90 108 106 52 35 64
2020/2021995 142 49 56 55 26 51 47 103 178 79 87 122
2021/20221.150 92 52 82 98 106 79 37 104 68 53 238 141
2022/20231.019 85 136 70 96 54 121 33 55 219 35 65 50
2023/2024702 34 56 34 92 29 48 87 66 39 71 74 72
2024/202532 32 0 0 0 0 0 0 0 0 0 0 0
Totale 5.196