BELLETTINI, CARLO NICOLA MARIA
BELLETTINI, CARLO NICOLA MARIA
Dipartimento di Informatica Giovanni Degli Antoni
To Be Or Not To Be... An Algorithm: The Notion According to Students and Teachers
2024 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo
All Green: How Different Age Groups Solved the Same Bebras Task
2023 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo
DaVinci Goes to Bebras: A Study on the Problem Solving Ability of GPT-3
2023 C. Bellettini, M. Lodi, V. Lonati, M. Monga, A. Morpurgo
Replication Data for: How is two better than one? An observational study on the impact of working in pairs when solving Bebras tasks
2022 C.N.M. Bellettini, V. Lonati, M. Monga, A.C.G. Morpurgo
How is Two Better Than One? An Observational Study on the Impact of Working in Pairs When Solving Bebras Tasks
2022 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo
Algomotricità: manipolare i fondamenti dell’informatica
2020 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo
Behind the Shoulders of Bebras Teams: Analyzing How They Interact with the Platform to Solve Tasks
2020 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo
Situated Learning with Bebras Tasklets
2019 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo, M. Palazzolo
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems
2019 M. Camilli, L. Capra, C. Bellettini
An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI
2019 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo
How Pupils Solve Online Problems: An Analytical View
2019 C.N.M. Bellettini, V. Lonati, M. Monga, A.C.G. Morpurgo
Informatica e pensiero computazionale : una proposta costruttivista per gli insegnanti
2018 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo
Design-Time to Run-Time Verification of Microservices Based Applications
2018 M. Camilli, C. Bellettini, L. Capra
Online Model-Based Testing under Uncertainty
2018 M. Camilli, C. Bellettini, A. Gargantini, P. Scandurra
Informatics and Computational Thinking: A Teacher Professional Development Proposal Based on Social-Constructivism
2018 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo
A high-level petri net-based formal model of distributed self-adaptive systems
2018 M. Camilli, C.N.M. Bellettini, L. Capra
A Formal Framework for Specifying and Verifying Microservices Based Process Flows
2018 M. Camilli, C. Bellettini, L. Capra, M. Monga
A Platform for the Italian Bebras
2018 A. Morpurgo, M. Monga, D. Malchiodi, R. Macoratti, V. Lonati, F. Carimati, C. Bellettini
Towards Inverse Uncertainty Quantification in Software Development (Short Paper)
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini