CRIS Current Research Information System

MARTINI, SIMONE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.080
NA - Nord America 2.585
AS - Asia 2.447
SA - Sud America 134
AF - Africa 130
OC - Oceania 13
Totale 9.389
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.528
IT - Italia 1.879
GB - Regno Unito 849
CN - Cina 829
SG - Singapore 796
DE - Germania 250
FR - Francia 219
HK - Hong Kong 173
UA - Ucraina 154
SE - Svezia 152
VN - Vietnam 152
IN - India 151
NL - Olanda 121
KR - Corea 116
RU - Federazione Russa 105
BR - Brasile 100
IE - Irlanda 83
TR - Turchia 59
JP - Giappone 57
JO - Giordania 49
FI - Finlandia 45
CA - Canada 39
CI - Costa d'Avorio 35
SC - Seychelles 34
CH - Svizzera 32
EE - Estonia 32
ZA - Sudafrica 32
ID - Indonesia 27
HR - Croazia 22
ES - Italia 20
PT - Portogallo 18
MX - Messico 17
RO - Romania 17
AR - Argentina 15
TG - Togo 15
PL - Polonia 14
AU - Australia 13
BE - Belgio 13
BG - Bulgaria 11
PH - Filippine 11
NO - Norvegia 9
LT - Lituania 7
MY - Malesia 7
AT - Austria 6
CO - Colombia 6
CL - Cile 5
CZ - Repubblica Ceca 5
MA - Marocco 5
GR - Grecia 4
BD - Bangladesh 3
EC - Ecuador 3
NP - Nepal 3
SI - Slovenia 3
VE - Venezuela 3
DK - Danimarca 2
DZ - Algeria 2
HU - Ungheria 2
IR - Iran 2
LB - Libano 2
LU - Lussemburgo 2
LV - Lettonia 2
NG - Nigeria 2
TH - Thailandia 2
DM - Dominica 1
GE - Georgia 1
GH - Ghana 1
GY - Guiana 1
IL - Israele 1
IQ - Iraq 1
KE - Kenya 1
LK - Sri Lanka 1
PK - Pakistan 1
PS - Palestinian Territory 1
PY - Paraguay 1
RS - Serbia 1
SA - Arabia Saudita 1
SD - Sudan 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TN - Tunisia 1
TW - Taiwan 1
Totale 9.389
Salva come PNG Salva come JPEG
Città #
Southend 758
Singapore 505
Hefei 265
Bologna 245
Ashburn 202
Santa Clara 200
Fairfield 182
Milan 169
Hong Kong 162
Dallas 136
Chandler 133
Wilmington 110
Seoul 107
Jacksonville 106
Rome 100
Princeton 99
Ann Arbor 97
Woodbridge 89
Beijing 82
Dublin 81
Cambridge 67
Boardman 66
Houston 66
Seattle 64
Bari 54
Amman 49
Padova 46
Istanbul 45
Tokyo 45
Turin 44
New York 41
Ho Chi Minh City 39
Abidjan 35
Los Angeles 35
Nanjing 35
Westminster 35
Dong Ket 32
Medford 32
Helsinki 31
Berlin 30
Ferrara 30
Hanoi 28
Parma 26
Paris 25
Bengaluru 24
Jinan 24
Buffalo 23
Frankfurt am Main 21
Redondo Beach 20
Council Bluffs 19
Florence 18
Hebei 18
Modena 18
Mülheim 18
Naples 18
Napoli 18
Saint Petersburg 18
Verona 17
Casalecchio di Reno 16
Hyderabad 16
Reggio Emilia 16
Catania 15
Lomé 15
Lucca 15
San Diego 15
Tongling 15
Montreal 14
Redmond 14
Zhengzhou 14
Amsterdam 13
Dalmine 13
Des Moines 13
Genoa 13
Guangzhou 13
Rimini 13
Brussels 12
Cagliari 12
Hackensack 12
Nanchang 12
Palermo 12
Shanghai 12
São Paulo 12
Warsaw 12
Bern 11
Changsha 11
Jakarta 11
Lanciano 11
Lisbon 11
Toronto 11
Falkenstein 10
Sofia 10
Brooklyn 9
Forlì 9
Fremont 9
Mahé 9
Pisa 9
Shenyang 9
Trento 9
Boston 8
Hangzhou 8
Totale 5.606
Salva come PNG Salva come JPEG
Nome #
Linguaggi di programmazione: principi e paradigmi. Seconda Edizione 498
Computational Thinking, Between Papert and Wing 326
Apprendimento della programmazione guidato dalla necessità: il Necessity Learning Design 321
Informatica senza e con computer nella Scuola Primaria 285
Linguaggi di programmazione 244
Cryptography in Grade 10: Core Ideas with Snap! and Unplugged 220
Programmare per imparare la crittografia al Liceo Matematico 218
Problem Solving Olympics: An Inclusive Education Model for Learning Informatics 204
Programming Languages: Principles and Paradigms 198
A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming 196
Programming Languages: Principles and Paradigms, 2nd edition 187
An invariant cost model for the lambda calculus 187
CSL 2008 special issue 182
(Non) parliamo di pensiero computazionale 182
Coding, pensiero computazionale e informatica: quale evoluzione possibile? 172
Phase Semantics and Decidability of Elementary Affine Logic 164
Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation 163
A Natural Deduction Calculus for S4.2 162
Abbiamo davvero bisogno del pensiero computazionale? 162
Teaching Programming in the Age of Generative AI 161
null 160
The Good, The Bad, and The Ugly of a Synchronous Online CS1 159
The weak lambda-calculus as a reasonable machine 158
Generazione Automatica di Learning Objects Accessibili a Partire da Documenti: il Sistema di Produzione di A3 156
(Optimal) duplication is not elementary recursive. 154
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 152
Big Ideas of Cryptography in Primary School 149
Light logics and higher-order processes 145
Fondamenti di Informatica, 2 voll. 141
Internet, il www e i loro servizi 138
An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics 137
Computer Science Logic 2008, LNCS 5213 137
Editorial, Computer Science Logic 2008 special issue 137
Crittografia a blocchi al Liceo Matematico 136
Optimizing optimal reduction. A type inference algorithm for elementary affine logic 136
Types in Programming Languages, Between Modelling, Abstraction, and Correctness 135
Quantum Turing Machines: Computations and Measurements 135
Higher order linear ramified recurrence 133
Derivational Complexity is an Invariant Cost Model 128
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation 125
General Ramified Recurrence is Sound for Polynomial Time 124
Light Logics and Higher-Order Processes 124
Several types of types in programming languages 119
Proofs as efficient programs 117
Correction to: Computational Thinking, Between Papert and Wing (Science & Education, (2021), 30, 4, (883-908), 10.1007/s11191-021-00202-5) 117
Provando e riprovando 114
Le grandi idee della crittografia alla scuola primaria 113
Internet, il WWW e i loro servizi 109
On Constructor Rewrite Systems and the Lambda-Calculus 107
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 107
Elogio di Babele 106
Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di conto 106
Istituto internazionale per la matematica applicabile e le scienze dell’informazione 104
Cut Elimination for Extended Sequent Calculi 103
Fondazioni di linguaggi funzionali e con controllo delle risorse (FOLLIA) 96
Fondamenti dell'informatica 95
Lingua Universalis 94
null 81
Informatica: Elogio di Babele 66
Preface 59
Le Notional machine per l'apprendimento della programmazione, anche nell'era dell'AI generativa 49
Bounded quantifiers have Interval Models 44
On constructor rewrite systems and the lambda-calculus 37
A computational interpretation of modal proofs 34
AN INTERVAL MODEL FOR 2ND ORDER LAMBDA-CALCULUS 24
Algoritmi, programmi e linguaggi 22
Totale 9.554
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.969
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 24.969
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021667 0 0 0 0 0 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/20252.234 101 225 177 218 319 87 185 81 104 165 216 356
2025/20262.156 317 409 517 370 353 190 0 0 0 0 0 0
Totale 9.554