Giorgio Delzanno
Università degli Studi di Genova
H-index: 30
Europe-Italy
Top articles of Giorgio Delzanno
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Exploring Student Misconceptions about Concurrency Using the Domain-Specific Programing Language" Sonic Pi" | Giorgio Delzanno Giovanna Guerrini Daniele Traversaro | 2024/3/14 | |
“Hear” and “Play” Students Misconceptions on Concurrent Programming using Sonic Pi | Informatics in Education | Daniele Traversaro Giorgio Delzanno Giovanna Guerrini | 2024/4/24 |
Automatic Passenger Counting on the Edge via Unsupervised Clustering | Sensors | Giorgio Delzanno Luca Caputo Daniele D’Agostino Daniele Grosso Abdul Hannan Mustajab | 2023/5/30 |
XR Blocks: A 3D Block Language for Combining Immersive and Tangible Coding | BOOKOF | Manuela Chessa Giorgio Delzanno Lorenzo Gerini Giovanna Guerrini Fabio Solari | 2023 |
Gamified Virtual Reality for Computational Thinking | Lorenzo Gerini Giorgio Delzanno Giovanna Guerrini Fabio Solari Manuela Chessa | 2023/12/4 | |
From Botany to Big Data: A Citizen Science Distance Education Initiative | BOOKOF | Giorgio Delzanno Daniele Grosso Giovanna Guerrini Federico Lebole Enrica Roccotiello | 2023 |
HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification | Angelo Ferrando Giorgio Delzanno | 2023/10/5 | |
Work-in-Progress—iCoding: Immersive Coding in Unity | Immersive Learning Research-Academic | Manuela Chessa Giorgio Delzanno Davide Giovannetti Giovanna Guerrini Filippo Manini | 2023/6/17 |
Incrementally predictive runtime verification | Journal of Logic and Computation | Angelo Ferrando Giorgio Delzanno | 2023/6 |
Behind the Scenes of the 2022 Edition of the Italian Coding League: Experience-based Learning for Computer Science Students | Book of Abstracts | G Delzanno L Gelati G Guerrini A Sugliano D Traversaro | 2022/9/21 |
Coding Maps: A Planetary Journey into Computational Thinking and Digital Skills | Book of Abstracts | Giorgio Delzanno Giovanna Guerrini Matteo Pusceddu Giovanni Zanone Angelo Ferrando | 2022/9/21 |
An adaptive algorithm for multipath mitigation in GNSS positioning with Android smartphones | Sensors | Lorenzo Benvenuto Tiziano Cosso Giorgio Delzanno | 2022/8/3 |
Smart rogaining for computer science orientation | Frontiers in Education | Manuela Chessa Giorgio Delzanno Angelo Ferrando Luca Gelati Giovanna Guerrini | 2022/9/27 |
Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic | Giorgio Delzanno Angelo Ferrando Giovanna Guerrini Matteo Pusceddu Giovanni Zanone | 2022/9/21 | |
Experience-Based Training in Computer Science Education via Online Multiplayer Games on Computational Thinking | Giorgio Delzanno Luca Gelati Giovanna Guerrini Angela Sugliano Daniele Traversaro | 2022/9/21 | |
On the Parameterized Verification of Abstract Models of Contact Tracing Protocols. | Sylvain Conchon Giorgio Delzanno Arnaud Sangnier | 2021 | |
Declarative parameterized verification of distributed protocols via the cubicle model checker | Fundamenta Informaticae | Sylvain Conchon Giorgio Delzanno Angelo Ferrando | 2021/1/1 |
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. | Sylvain Conchon Giorgio Delzanno Arnaud Sangnier | 2021 | |
Codinji: welcome to the coding jungle! | Giorgio Delzanno Giovanna Guerrini Simone Perotto Flavio Traverso Sofia Mammoliti | 2020/7/14 | |
Adaptive Real Time IoT Stream Processing in Microservices Architecture | Luca Bixio Giorgio Delzanno Stefano Rebora Matteo Rulli | 2020 |
Co-Authors
