Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

21 résultats
Page :
triés par
Image document

The Good, The Bad, and The Ugly of a Synchronous Online CS1

 Marco Sbaraglia , Michael Lodi , Stefano Pio Zingaro , Simone Martini
ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, Jun 2021, Virtual Event, Germany. ACM, 2, pp.660-660, 26th ACM Conference on Innovation and Technology in Computer Science Education V. 2 (ITiCSE 2021). ⟨10.1145/3456565.3460075⟩
Poster de conférence hal-03338864v1
Image document

Computational Thinking, Between Papert and Wing

 Michael Lodi , Simone Martini
Science and Education, 2021, 30 (4), pp.883-908. ⟨10.1007/s11191-021-00202-5⟩
Article dans une revue hal-03338884v1

On Constructor Rewrite Systems and the Lambda Calculus

 Ugo Dal Lago , Simone Martini
Logical Methods in Computer Science, 2012, 8 (3)
Article dans une revue hal-00909372v1
Image document

Abbiamo davvero bisogno del pensiero computazionale?

 Michael Lodi , Simone Martini , Enrico Nardelli
Mondo Digitale, 2017, 72, pp.1-15
Article dans une revue hal-01656340v1
Image document

The Online Course Was Great: I Would Attend It Face-to-Face

 Michael Lodi , Marco Sbaraglia , Stefano Pio Zingaro , Simone Martini
GoodIT '21: Conference on Information Technology for Social Good, Sep 2021, Roma, Italy. pp.242-247, ⟨10.1145/3462203.3475902⟩
Communication dans un congrès hal-03338808v1

Lingua Universalis

 Simone Martini
Annali della Pubblica Istruzione, 2012, 4-5, pp.65--70
Article dans une revue hal-00909609v1
Image document

Informatica senza e con computer nella Scuola Primaria

 Michael Lodi , Renzo Davoli , Rebecca Montanari , Simone Martini
Enrico Nardelli. Coding e oltre: l'Informatica nella scuola, , 2020
Chapitre d'ouvrage hal-02379212v1
Image document

Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di conto

 Simone Martini
IL NODO, SCUOLA IN RETE, 2017, 47, pp.18-28
Article dans une revue hal-01643699v1
Image document

Light Logics and Higher-Order Processes

 Ugo Dal Lago , Simone Martini , Davide Sangiorgi
Mathematical Structures in Computer Science, 2016, 26 (06), pp.969 - 992. ⟨10.1017/S0960129514000310⟩
Article dans une revue hal-01400903v1
Image document

(Non) parliamo di pensiero computazionale

 Michael Lodi , Simone Martini , Marco Sbaraglia , Stefano Pio Zingaro
XXXIV Convegno Nazionale “Incontri con la Matematica”, Nov 2020, Castel San Pietro Terme / Online, Italy
Communication dans un congrès hal-02981770v1
Image document

Problem Solving Olympics: an inclusive education model for learning Informatics

 Roberto Borchia , Antonella Carbonaro , Giorgio Casadei , Luca Forlizzi , Michael Lodi , et al.
Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, Oct 2018, St. Petersburg, Russia. pp.319--335, ⟨10.1007/978-3-030-02750-6_25⟩
Communication dans un congrès hal-01913064v1
Image document

Biosignature Analysis of Mars Soil Analogs from the Atacama Desert: Challenges and Implications for Future Missions to Mars

 Joost W Aerts , Andreas Riedo , Daniel J Melton , Simone Martini , Jessica Flahaut , et al.
Astrobiology, In press, ⟨10.1089/ast.2019.2063⟩
Article dans une revue hal-02526134v1
Image document

The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation

 Simone Martini
Recent Developments in the Design and Implementation of Programming Languages, Nov 2020, Bologna, Italy. ⟨10.4230/OASIcs.Gabbrielli.8⟩
Communication dans un congrès hal-03028634v1
Image document

A necessity-driven ride on the abstraction rollercoaster of CS1 programming

 Marco Sbaraglia , Michael Lodi , Simone Martini
Informatics in Education, 2021, 20 (4), pp.641-682. ⟨10.15388/infedu.2021.28⟩
Article dans une revue hal-03466065v2
Image document

Types in Programming Languages, between Modelling, Abstraction, and Correctness

 Simone Martini
Computability in Europe, CiE 2016: Pursuit of the Universal, Jun 2016, Paris, France
Communication dans un congrès hal-01335657v1

An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics

 Evmorfia-Iro Bartzia , Michael Lodi , Marco Sbaraglia , Simon Modeste , Viviane Durand-Guerrier , et al.
Informatics in Education, 2023, ⟨10.15388/infedu.2024.06⟩
Article dans une revue hal-04184262v1

Quantum Turing Machines: Computations and Measurements

 Stefano Guerrini , Simone Martini , Andrea Masini
Applied Sciences, 2020, 10 (16), ⟨10.3390/app10165551⟩
Article dans une revue hal-02915924v1
Image document

From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics

 Simone Martini , Andrea Masini , Margherita Zorzi
ACM Transactions on Computational Logic, 2021, 22 (3), pp.1-29. ⟨10.1145/3461661⟩
Article dans une revue hal-03342394v1
Image document

Several Types of Types in Programming Languages

 Simone Martini
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.216-227, ⟨10.1007/978-3-319-47286-7_15⟩
Communication dans un congrès hal-01399694v1
Image document

Cryptography in Grade 10: Core Ideas with Snap! and Unplugged

 Michael Lodi , Marco Sbaraglia , Simone Martini
ITiCSE 2022 - Innovation and Technology in Computer Science Education, ACM, Jul 2022, Dublin, Ireland. pp.456-462, ⟨10.1145/3502718.3524767⟩
Communication dans un congrès hal-03916819v1
Image document

Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation

 Simon Modeste , Evmorfia-Iro Bartzia , Michael Lodi , Marco Sbaraglia , Viviane Durand-Guerrier , et al.
Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Alfréd Rényi Institute of Mathematics; Eötvös Loránd University of Budapest, Jul 2023, Budapest, Hungary
Communication dans un congrès hal-04420550v1
Page :