CRIS Current Research Information System

MARTINI, SIMONE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.523
AS - Asia 3.121
NA - Nord America 3.070
SA - Sud America 183
AF - Africa 140
OC - Oceania 17
Totale 11.054
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.991
IT - Italia 2.153
CN - Cina 935
SG - Singapore 875
GB - Regno Unito 861
VN - Vietnam 465
FR - Francia 287
DE - Germania 266
HK - Hong Kong 185
IN - India 172
UA - Ucraina 156
SE - Svezia 153
NL - Olanda 140
BR - Brasile 126
KR - Corea 124
RU - Federazione Russa 106
JP - Giappone 89
IE - Irlanda 84
TR - Turchia 66
JO - Giordania 50
CA - Canada 48
FI - Finlandia 47
CH - Svizzera 35
CI - Costa d'Avorio 35
ZA - Sudafrica 35
ID - Indonesia 34
SC - Seychelles 34
EE - Estonia 32
PH - Filippine 29
RO - Romania 28
HR - Croazia 22
ES - Italia 21
MX - Messico 20
PL - Polonia 20
PT - Portogallo 19
BE - Belgio 18
AR - Argentina 17
AU - Australia 17
CO - Colombia 16
TG - Togo 15
BD - Bangladesh 12
BG - Bulgaria 12
SA - Arabia Saudita 12
IQ - Iraq 11
NO - Norvegia 10
TH - Thailandia 10
MY - Malesia 9
TW - Taiwan 9
CZ - Repubblica Ceca 8
GR - Grecia 8
LT - Lituania 8
PK - Pakistan 7
AT - Austria 6
CL - Cile 6
EC - Ecuador 6
MA - Marocco 6
SI - Slovenia 5
VE - Venezuela 5
DK - Danimarca 4
IL - Israele 4
JM - Giamaica 4
PY - Paraguay 4
SK - Slovacchia (Repubblica Slovacca) 4
UZ - Uzbekistan 4
DZ - Algeria 3
HU - Ungheria 3
MN - Mongolia 3
NP - Nepal 3
BB - Barbados 2
EG - Egitto 2
GH - Ghana 2
GY - Guiana 2
IR - Iran 2
KE - Kenya 2
LB - Libano 2
LK - Sri Lanka 2
LU - Lussemburgo 2
LV - Lettonia 2
NG - Nigeria 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
BH - Bahrain 1
CR - Costa Rica 1
DM - Dominica 1
ET - Etiopia 1
GE - Georgia 1
GT - Guatemala 1
KW - Kuwait 1
KZ - Kazakistan 1
MD - Moldavia 1
OM - Oman 1
PE - Perù 1
PS - Palestinian Territory 1
RS - Serbia 1
SD - Sudan 1
SN - Senegal 1
SV - El Salvador 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 11.054
Salva come PNG Salva come JPEG
Città #
Southend 758
Singapore 582
Bologna 276
Hefei 265
San Jose 240
Ashburn 231
Santa Clara 204
Milan 187
Fairfield 182
Hong Kong 168
Dallas 140
Chandler 133
Ho Chi Minh City 110
Wilmington 110
Seoul 108
Rome 107
Hanoi 106
Jacksonville 106
Princeton 99
Ann Arbor 97
Woodbridge 89
Beijing 87
Dublin 82
Houston 69
Tokyo 68
Boardman 67
Cambridge 67
Turin 66
Seattle 65
New York 62
Lauterbourg 60
Bari 57
Amman 50
Los Angeles 47
Padova 46
Istanbul 45
Parma 36
Abidjan 35
Nanjing 35
Westminster 35
Council Bluffs 33
Helsinki 33
Dong Ket 32
Medford 32
Berlin 31
Ferrara 30
Frankfurt am Main 28
Verona 28
Guangzhou 26
Paris 26
Buffalo 25
Bengaluru 24
Florence 24
Jinan 24
Naples 24
Haiphong 22
São Paulo 21
Modena 20
Redondo Beach 20
Montreal 19
Hebei 18
Mülheim 18
Napoli 18
Saint Petersburg 18
Shanghai 18
Warsaw 18
Amsterdam 17
Brussels 17
Reggio Emilia 17
Rimini 17
Zhengzhou 17
Casalecchio di Reno 16
Hyderabad 16
Orem 16
Catania 15
Lomé 15
Lucca 15
San Diego 15
Tongling 15
Venice 15
Da Nang 14
Des Moines 14
Redmond 14
The Dalles 14
Dalmine 13
Genoa 13
Jakarta 13
Palermo 13
Toronto 13
Cagliari 12
Hackensack 12
Nanchang 12
Bern 11
Brooklyn 11
Changsha 11
Lanciano 11
Lisbon 11
Phoenix 11
Sofia 11
Zurich 11
Totale 6.475
Salva come PNG Salva come JPEG
Nome #
Linguaggi di programmazione: principi e paradigmi. Seconda Edizione 589
Computational Thinking, Between Papert and Wing 385
Apprendimento della programmazione guidato dalla necessità: il Necessity Learning Design 371
Informatica senza e con computer nella Scuola Primaria 322
Linguaggi di programmazione 267
Cryptography in Grade 10: Core Ideas with Snap! and Unplugged 254
Programming Languages: Principles and Paradigms, 2nd edition 254
Programmare per imparare la crittografia al Liceo Matematico 246
Problem Solving Olympics: An Inclusive Education Model for Learning Informatics 233
A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming 224
Coding, pensiero computazionale e informatica: quale evoluzione possibile? 212
Programming Languages: Principles and Paradigms 212
(Non) parliamo di pensiero computazionale 202
CSL 2008 special issue 201
An invariant cost model for the lambda calculus 200
Abbiamo davvero bisogno del pensiero computazionale? 196
A Natural Deduction Calculus for S4.2 195
The Good, The Bad, and The Ugly of a Synchronous Online CS1 195
Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation 192
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 187
Phase Semantics and Decidability of Elementary Affine Logic 184
An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics 183
Teaching Programming in the Age of Generative AI 182
The weak lambda-calculus as a reasonable machine 176
Big Ideas of Cryptography in Primary School 174
(Optimal) duplication is not elementary recursive. 172
Generazione Automatica di Learning Objects Accessibili a Partire da Documenti: il Sistema di Produzione di A3 170
Fondamenti di Informatica, 2 voll. 163
Light logics and higher-order processes 161
null 160
Computer Science Logic 2008, LNCS 5213 159
Internet, il www e i loro servizi 157
Crittografia a blocchi al Liceo Matematico 150
Quantum Turing Machines: Computations and Measurements 150
Correction to: Computational Thinking, Between Papert and Wing (Science & Education, (2021), 30, 4, (883-908), 10.1007/s11191-021-00202-5) 150
Le grandi idee della crittografia alla scuola primaria 149
Editorial, Computer Science Logic 2008 special issue 149
Cut Elimination for Extended Sequent Calculi 148
Higher order linear ramified recurrence 146
Types in Programming Languages, Between Modelling, Abstraction, and Correctness 146
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation 146
Optimizing optimal reduction. A type inference algorithm for elementary affine logic 145
General Ramified Recurrence is Sound for Polynomial Time 145
Derivational Complexity is an Invariant Cost Model 142
Provando e riprovando 135
Several types of types in programming languages 135
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 133
Light Logics and Higher-Order Processes 131
Proofs as efficient programs 130
Lingua Universalis 126
Internet, il WWW e i loro servizi 125
Istituto internazionale per la matematica applicabile e le scienze dell’informazione 121
On Constructor Rewrite Systems and the Lambda-Calculus 120
Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di conto 120
Elogio di Babele 117
Le Notional machine per l'apprendimento della programmazione, anche nell'era dell'AI generativa 116
Fondazioni di linguaggi funzionali e con controllo delle risorse (FOLLIA) 105
Fondamenti dell'informatica 104
Algoritmi, programmi e linguaggi 83
null 81
Informatica: Elogio di Babele 76
Preface 73
Bounded quantifiers have Interval Models 64
A computational interpretation of modal proofs 57
Informatica nelle Indicazioni di Matematica: un’opportunità interdisciplinare 54
On constructor rewrite systems and the lambda-calculus 47
AN INTERVAL MODEL FOR 2ND ORDER LAMBDA-CALCULUS 39
Totale 11.236
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.038
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 28.038
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021209 0 0 0 0 0 0 0 0 0 0 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/20263.838 317 409 517 370 353 222 409 201 609 349 82 0
Totale 11.236