CRIS Current Research Information System

MARTINI, SIMONE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.141
NA - Nord America 2.035
AS - Asia 858
AF - Africa 81
SA - Sud America 14
OC - Oceania 7
Totale 6.136
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.012
IT - Italia 1.300
GB - Regno Unito 818
CN - Cina 298
SG - Singapore 255
DE - Germania 207
UA - Ucraina 153
SE - Svezia 149
FR - Francia 148
IN - India 111
IE - Irlanda 77
RU - Federazione Russa 62
JO - Giordania 49
VN - Vietnam 48
TR - Turchia 47
EE - Estonia 32
NL - Olanda 31
CH - Svizzera 28
CI - Costa d'Avorio 28
FI - Finlandia 28
ZA - Sudafrica 26
HR - Croazia 22
PT - Portogallo 18
CA - Canada 17
RO - Romania 17
TG - Togo 15
ID - Indonesia 14
BE - Belgio 11
HK - Hong Kong 10
BG - Bulgaria 9
JP - Giappone 9
SC - Seychelles 9
BR - Brasile 8
AU - Australia 7
MX - Messico 6
PH - Filippine 6
PL - Polonia 6
AT - Austria 4
ES - Italia 4
LT - Lituania 4
NO - Norvegia 4
CO - Colombia 3
SI - Slovenia 3
CL - Cile 2
DZ - Algeria 2
HU - Ungheria 2
IR - Iran 2
KR - Corea 2
LB - Libano 2
LU - Lussemburgo 2
TH - Thailandia 2
BD - Bangladesh 1
CZ - Repubblica Ceca 1
IL - Israele 1
NG - Nigeria 1
RS - Serbia 1
SA - Arabia Saudita 1
VE - Venezuela 1
Totale 6.136
Salva come PNG Salva come JPEG
Città #
Southend 758
Singapore 216
Santa Clara 196
Fairfield 182
Bologna 165
Chandler 133
Ashburn 116
Wilmington 110
Jacksonville 106
Princeton 99
Ann Arbor 97
Milan 91
Woodbridge 89
Dublin 77
Cambridge 67
Boardman 64
Rome 63
Houston 62
Seattle 58
Amman 49
Istanbul 44
Bari 39
Padova 39
Nanjing 35
Westminster 35
Dong Ket 32
Medford 32
Berlin 30
Abidjan 28
Ferrara 24
Helsinki 24
Turin 24
Jinan 20
New York 19
Hebei 18
Mülheim 18
Napoli 18
Saint Petersburg 18
Paris 16
Beijing 15
Hyderabad 15
Lomé 15
San Diego 15
Redmond 14
Des Moines 12
Guangzhou 12
Hackensack 12
Nanchang 12
Bern 11
Brussels 11
Jakarta 11
Lanciano 11
Lisbon 11
Naples 11
Palermo 11
Shanghai 11
Amsterdam 10
Changsha 10
Florence 10
Verona 10
Zhengzhou 10
Cagliari 9
Catania 9
Council Bluffs 9
Forlì 9
Fremont 9
Mahé 9
Reggio Emilia 9
Shenyang 9
Sofia 9
Casalecchio di Reno 8
Dallas 8
Parma 8
Redwood City 8
Rolo 8
Taiyuan 8
Ancona 7
Carmiano 7
Massa 7
Pavia 7
Settimo Torinese 7
Tokyo 7
Trento 7
Zeme 7
Central 6
Lanzhou 6
Modena 6
Ningbo 6
Norwalk 6
Pisa 6
Rimini 6
San Venanzo 6
Vignola 6
Zurich 6
Bovisio-Masciago 5
Castelnuovo Rangone 5
Cesena 5
Chengdu 5
Dearborn 5
Desenzano del Garda 5
Totale 3.846
Salva come PNG Salva come JPEG
Nome #
Linguaggi di programmazione: principi e paradigmi. Seconda Edizione 366
Informatica senza e con computer nella Scuola Primaria 239
Computational Thinking, Between Papert and Wing 184
Linguaggi di programmazione 173
Programming Languages: Principles and Paradigms 168
Problem Solving Olympics: An Inclusive Education Model for Learning Informatics 165
null 160
CSL 2008 special issue 157
An invariant cost model for the lambda calculus 148
Phase Semantics and Decidability of Elementary Affine Logic 146
(Optimal) duplication is not elementary recursive. 136
The weak lambda-calculus as a reasonable machine 129
Light logics and higher-order processes 128
(Non) parliamo di pensiero computazionale 126
Editorial, Computer Science Logic 2008 special issue 122
A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming 121
Types in Programming Languages, Between Modelling, Abstraction, and Correctness 120
Computer Science Logic 2008, LNCS 5213 118
Higher order linear ramified recurrence 117
Generazione Automatica di Learning Objects Accessibili a Partire da Documenti: il Sistema di Produzione di A3 115
Fondamenti di Informatica, 2 voll. 113
Quantum Turing Machines: Computations and Measurements 110
Derivational Complexity is an Invariant Cost Model 107
General Ramified Recurrence is Sound for Polynomial Time 106
Internet, il www e i loro servizi 105
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 104
Optimizing optimal reduction. A type inference algorithm for elementary affine logic 103
The Good, The Bad, and The Ugly of a Synchronous Online CS1 103
Abbiamo davvero bisogno del pensiero computazionale? 101
Several types of types in programming languages 101
Proofs as efficient programs 97
Apprendimento della programmazione guidato dalla necessità: il Necessity Learning Design 96
Light Logics and Higher-Order Processes 93
Crittografia a blocchi al Liceo Matematico 92
Provando e riprovando 92
Programmare per imparare la crittografia al Liceo Matematico 90
On Constructor Rewrite Systems and the Lambda-Calculus 90
Cryptography in Grade 10: Core Ideas with Snap! and Unplugged 89
Internet, il WWW e i loro servizi 89
Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di conto 88
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation 88
Elogio di Babele 87
Fondazioni di linguaggi funzionali e con controllo delle risorse (FOLLIA) 84
Fondamenti dell'informatica 81
null 81
Istituto internazionale per la matematica applicabile e le scienze dell’informazione 76
Correction to: Computational Thinking, Between Papert and Wing (Science & Education, (2021), 30, 4, (883-908), 10.1007/s11191-021-00202-5) 76
Lingua Universalis 71
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 71
Programming Languages: Principles and Paradigms, 2nd edition 60
Informatica: Elogio di Babele 56
Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation 55
Teaching Programming in the Age of Generative AI 44
Preface 43
Cut Elimination for Extended Sequent Calculi 39
An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics 35
Big Ideas of Cryptography in Primary School 27
A Natural Deduction Calculus for S4.2 24
Bounded quantifiers have Interval Models 24
On constructor rewrite systems and the lambda-calculus 17
Coding, pensiero computazionale e informatica: quale evoluzione possibile? 12
Le grandi idee della crittografia alla scuola primaria 10
A computational interpretation of modal proofs 10
AN INTERVAL MODEL FOR 2ND ORDER LAMBDA-CALCULUS 9
Totale 6.287
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.362
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 16.362
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020522 0 0 0 0 0 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/20251.123 101 225 177 218 319 83 0 0 0 0 0 0
Totale 6.287