A Bottom-Up Characterization of Finite Success. - Giorgio Delzanno; Maurizio Martelli (ILPS, 1993)

Forum Objects. - Giorgio Delzanno; Maurizio Martelli (GULP-PRODE, 1995)

Objects in Forum. - Giorgio Delzanno; Maurizio Martelli (ILPS, 1995)

A Linear Logic Calculus Objects. - Michele Bugliesi; Giorgio Delzanno; Luigi Liquori; Maurizio Martelli (JICSLP, 1996)

A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (APPIA-GULP-PRODE, 1997)

Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli; Viviana Mascardi; Floriano Zini (The Logic Programming Paradigm, 1999)

Constraint-Based Analysis of Broadcast Protocols. - Giorgio Delzanno; Javier Esparza; Andreas Podelski (CSL, 1999)

Verification of Infinite-State Systems in Constraint Logic Programming. - Giorgio Delzanno; Andreas Podelski (JFPLC, 1999)

Multi-agent Systems Development as a Software Engineering Enterprise. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli; Viviana Mascardi; Floriano Zini (PADL, 1999)

Model Checking in CLP. - Giorgio Delzanno; Andreas Podelski (TACAS, 1999)

A specification logic for concurrent object-oriented programming. - Giorgio Delzanno; Didier Galmiche; Maurizio Martelli (Math. Struct. Comput. Sci., 1999)

Automatic Verification of Parameterized Cache Coherence Protocols. - Giorgio Delzanno (CAV, 2000)

Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. - Giorgio Delzanno (FORTE, 2000)

A bottom-up semantics for linear logic programs. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (PPDP, 2000)

Symbolic Representation of Upward-Closed Sets. - Giorgio Delzanno; Jean-François Raskin (TACAS, 2000)

Object calculi in linear logic. - Michele Bugliesi; Giorgio Delzanno; Luigi Liquori; Maurizio Martelli (J. Log. Comput., 2000)

An embedding of calculi for negation as failure into linear logic. - Giorgio Delzanno; Maurizio Martelli (APPIA-GULP-PRODE, 2001)

Attacking Symbolic State Explosion. - Giorgio Delzanno; Jean-François Raskin; Laurent Van Begin (CAV, 2001)

Constraint-Based Verification of Client-Server Protocols. - Giorgio Delzanno; Tevfik Bultan (CP, 2001)

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (FLOPS, 2001)

Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and lambda Prolog - A Case-study. - Giorgio Delzanno (FLOPS, 2001)

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. - Giorgio Delzanno; Sandro Etalle (LOPSTR, 2001)

Model Checking Communication Protocols. - Pablo Argón; Giorgio Delzanno; Supratik Mukhopadhyay; Andreas Podelski (SOFSEM, 2001)

Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. - Rubén Carvajal-Schiaffino; Giorgio Delzanno; Giovanni Chiola (TACAS, 2001)

On the Relations between Disjunctive and Linear Logic Programming. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (APPIA-GULP-PRODE, 2001)

An Assertional Language for the Verification of Systems Parametric in Several Dimensions. - Giorgio Delzanno (VEPAS, 2001)

Constraint-based deductive model checking. - Giorgio Delzanno; Andreas Podelski (Int. J. Softw. Tools Technol. Transf., 2001)

Proofs as computations in linear logic. - Giorgio Delzanno; Maurizio Martelli (Theor. Comput. Sci., 2001)

Algorithmic Verification of Invalidation-Based Protocols. - Marco Bozzano; Giorgio Delzanno (CAV, 2002)

Constraint-Based Model Checking for Parameterized Synchronous Systems. - Giorgio Delzanno (FroCoS, 2002)

Automated protocol verification in linear logic. - Marco Bozzano; Giorgio Delzanno (PPDP, 2002)

Beyond Parameterized Verification. - Marco Bozzano; Giorgio Delzanno (TACAS, 2002)

Towards the Automated Verification of Multithreaded Java Programs. - Giorgio Delzanno; Jean-François Raskin; Laurent Van Begin (TACAS, 2002)

An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. - Giorgio Delzanno (WFLP, 2002)

An effective fixpoint semantics for linear logic programs. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (Theory Pract. Log. Program., 2002)

Compositional Verification of Infinite State Systems. - Giorgio Delzanno; Maurizio Gabbrielli; Maria Chiara Meo (ICLP, 2003)

A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract. - Giorgio Delzanno (INFINITY, 2003)

Constraint-Based Verification of Parameterized Cache Coherence Protocols. - Giorgio Delzanno (Formal Methods Syst. Des., 2003)

SAT-Based Analysis of Cellular Automata. - Massimo D'Antonio; Giorgio Delzanno (ACRI, 2004)

Automatic Verification of Time Sensitive Cryptographic Protocols. - Giorgio Delzanno; Pierre Ganty (TACAS, 2004)

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. - Marco Bozzano; Giorgio Delzanno (J. Symb. Comput., 2004)

Covering sharing trees: a compact data structure for parameterized verification. - Giorgio Delzanno; Jean-François Raskin; Laurent Van Begin (Int. J. Softw. Tools Technol. Transf., 2004)

Model Checking Linear Logic Specifications. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (Theory Pract. Log. Program., 2004)

BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. - Roberto Montagna; Giorgio Delzanno; Maurizio Martelli; Viviana Mascardi (EUMAS, 2005)

Compositional Verification of Asynchronous Processes via Constraint Solving. - Giorgio Delzanno; Maurizio Gabbrielli (ICALP, 2005)

A compositional semantics for CHR. - Giorgio Delzanno; Maurizio Gabbrielli; Maria Chiara Meo (PPDP, 2005)

Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. - Giorgio Delzanno; Javier Esparza; Jirí Srba (ATVA, 2006)

Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. - Giorgio Delzanno; Roberto Montagna (ICTAC, 2006)

Constraint-based verification of abstract models of multitreaded programs - Giorgio Delzanno (CoRR, 2006)

On Reachability and Spatial Reachability in Fragments of BioAmbients. - Giorgio Delzanno; Roberto Montagna (MeCBIC@ICALP, 2006)

Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. - Giorgio Delzanno; Sandro Etalle; Maurizio Gabbrielli (Theory Pract. Log. Program., 2006)

Parameterized Verification of Infinite-State Processes with Global Conditions. - Parosh Aziz Abdulla; Giorgio Delzanno; Ahmed Rezine (CAV, 2007)

Comparing the Expressive Power of Well-Structured Transition Systems. - Parosh Aziz Abdulla; Giorgio Delzanno; Laurent Van Begin (CSL, 2007)

On the Dynamics of PB Systems with Volatile Membranes. - Giorgio Delzanno; Laurent Van Begin (Workshop on Membrane Computing, 2007)

Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). - Parosh Aziz Abdulla; Giorgio Delzanno; Noomene Ben Henda; Ahmed Rezine (TACAS, 2007)

Constraint-based automatic verification of abstract models of multithreaded programs. - Giorgio Delzanno (Theory Pract. Log. Program., 2007)

Computational Logic in Genova. - Viviana Mascardi; Giorgio Delzanno; Maurizio Martelli (Il Milione, 2008)

Parameterized Tree Systems. - Parosh Aziz Abdulla; Noomene Ben Henda; Giorgio Delzanno; Frédéric Haziza; Ahmed Rezine (FORTE, 2008)

Monotonic Abstraction in Action. - Parosh Aziz Abdulla; Giorgio Delzanno; Ahmed Rezine (ICTAC, 2008)

On the Qualitative Analysis of Conformon P Systems. - Parosh Aziz Abdulla; Giorgio Delzanno; Laurent Van Begin (Workshop on Membrane Computing, 2008)

A Biologically Inspired Model with Fusion and Clonation of Membranes. - Giorgio Delzanno; Laurent Van Begin (UC, 2008)

Handling Parameterized Systems with Non-atomic Global Conditions. - Parosh Aziz Abdulla; Noomene Ben Henda; Giorgio Delzanno; Ahmed Rezine (VMCAI, 2008)

Monotonic Abstraction in Parameterized Verification. - Parosh Aziz Abdulla; Giorgio Delzanno; Ahmed Rezine (RP, 2008)

Reachability analysis of fragments of mobile ambients in AC term rewriting. - Giorgio Delzanno; Roberto Montagna (Formal Aspects Comput., 2008)

The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. - Giorgio Delzanno; Cinzia Di Giusto; Maurizio Gabbrielli; Cosimo Laneve; Gianluigi Zavattaro (CMSB, 2009)

Approximated Context-Sensitive Analysis for Parameterized Verification. - Parosh Aziz Abdulla; Giorgio Delzanno; Ahmed Rezine (FMOODS/FORTE, 2009)

A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. - Parosh Aziz Abdulla; Giorgio Delzanno; Laurent Van Begin (LATA, 2009)

Automatic Verification of Directory-Based Consistency Protocols. - Parosh Aziz Abdulla; Giorgio Delzanno; Ahmed Rezine (RP, 2009)

Deciding Reachability in Mobile Ambients with Name Restriction. - Giorgio Delzanno; Roberto Montagna (INFINITY, 2009)

Approximated parameterized verification of infinite-state processes with global conditions. - Parosh Aziz Abdulla; Giorgio Delzanno; Ahmed Rezine (Formal Methods Syst. Des., 2009)

Monotonic Abstraction: on Efficient Verification of Parameterized Systems. - Parosh Aziz Abdulla; Giorgio Delzanno; Noomene Ben Henda; Ahmed Rezine (Int. J. Found. Comput. Sci., 2009)

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. - Giorgio Delzanno; Roberto Giacobazzi; Francesco Ranzato (25 Years GULP, 2010)

Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. - Parosh Aziz Abdulla; Yu-Fang Chen 001; Giorgio Delzanno; Frédéric Haziza; Chih-Duo Hong; Ahmed Rezine (CONCUR, 2010)

Parameterized Verification of Ad Hoc Networks. - Giorgio Delzanno; Arnaud Sangnier; Gianluigi Zavattaro (CONCUR, 2010)

Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. - Fernando Rosa-Velardo; Giorgio Delzanno (LATA, 2010)

On the verification of membrane systems with dynamic structure. - Giorgio Delzanno; Laurent Van Begin (Nat. Comput., 2010)

On the Verification of Timed Ad Hoc Networks. - Parosh Aziz Abdulla; Giorgio Delzanno; Othmane Rezine; Arnaud Sangnier; Riccardo Traverso (FORMATS, 2011)

On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. - Giorgio Delzanno; Arnaud Sangnier; Gianluigi Zavattaro (FoSSaCS, 2011)

Parameterized Verification of Safety Properties in Ad Hoc Network Protocols - Giorgio Delzanno; Arnaud Sangnier; Gianluigi Zavattaro (PACO, 2011)

Some applications of Computational Logic to the development of intelligent systems and verification methods. - Viviana Mascardi; Giorgio Delzanno; Maurizio Martelli (Intelligenza Artificiale, 2011)

A classification of the expressive power of well-structured transition systems. - Parosh Aziz Abdulla; Giorgio Delzanno; Laurent Van Begin (Inf. Comput., 2011)

Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints. - Parosh Aziz Abdulla; Giorgio Delzanno; Ahmed Rezine (Int. J. Found. Comput. Sci., 2011)

Static Analysis of XML Document Adaptations. - Alessandro Solimando; Giorgio Delzanno; Giovanna Guerrini (ER Workshops, 2012)

Verification of Ad Hoc Networks with Node and Communication Failures. - Giorgio Delzanno; Arnaud Sangnier; Gianluigi Zavattaro (FMOODS/FORTE, 2012)

On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. - Giorgio Delzanno; Arnaud Sangnier; Riccardo Traverso; Gianluigi Zavattaro (FSTTCS, 2012)

On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. - Nathalie Bertrand 001; Giorgio Delzanno; Barbara König 001; Arnaud Sangnier; Jan Stückrath (RTA, 2012)

The Cost of Parameterized Reachability in Mobile Ad Hoc Networks - Giorgio Delzanno; Arnaud Sangnier; Riccardo Traverso; Gianluigi Zavattaro (CoRR, 2012)

Automata-based Static Analysis of XML Document Adaptation - Alessandro Solimando; Giorgio Delzanno; Giovanna Guerrini (GandALF, 2012)

A lightweight regular model checking approach for parameterized systems. - Giorgio Delzanno; Ahmed Rezine (Int. J. Softw. Tools Technol. Transf., 2012)

Reachability problems in BioAmbients. - Giorgio Delzanno; Gianluigi Zavattaro (Theor. Comput. Sci., 2012)

Push-Down Automata with Gap-Order Constraints. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Giorgio Delzanno; Andreas Podelski (FSEN, 2013)

Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. - Giorgio Delzanno; Riccardo Traverso (LATA, 2013)

Parameterized Verification of Broadcast Networks of Register Automata. - Giorgio Delzanno; Arnaud Sangnier; Riccardo Traverso (RP, 2013)

Specification and Validation of Link Reversal Routing via Graph Transformations. - Giorgio Delzanno; Riccardo Traverso (SPIN, 2013)

Preface. - Giorgio Delzanno; Igor Potapov (Int. J. Found. Comput. Sci., 2013)

On the coverability and reachability languages of monotonic extensions of Petri nets. - Giorgio Delzanno; Fernando Rosa-Velardo (Theor. Comput. Sci., 2013)

On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. - Massimo Ancona; N. Corradi; A. Dellacasa; Giorgio Delzanno; Jean-Luc Dugelay; Bianca Federici; Philippe Gourbesville; Giovanna Guerrini; Andrea La Camera; Paolo Rosso; J. Stephens; Armando Tacchella; et al. (ANT/SEIT, 2014)

Parameterized Verification and Model Checking for Distributed Broadcast Protocols. - Giorgio Delzanno (ICGT, 2014)

Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. - Giorgio Delzanno; Jan Stückrath (RP, 2014)

Verification of Relational Multiagent Systems with Data Types (Extended Version). - Diego Calvanese; Giorgio Delzanno; Marco Montali (CoRR, 2014)

Graph- versus Vector-Based Analysis of a Consensus Protocol. - Giorgio Delzanno; Arend Rensink; Riccardo Traverso (GRAPHITE, 2014)

Model Checking Paxos in Spin. - Giorgio Delzanno; Michele Tatarek; Riccardo Traverso (GandALF, 2014)

Validating XML document adaptations via Hedge Automata transformations. - Alessandro Solimando; Giorgio Delzanno; Giovanna Guerrini (Theor. Comput. Sci., 2014)

Verification of Relational Multiagent Systems with Data Types. - Diego Calvanese; Giorgio Delzanno; Marco Montali (AAAI, 2015)

Computational thinking for beginners: A successful experience using Prolog. - Silvio Beux; Daniela Briola; Andrea Corradi; Giorgio Delzanno; Angelo Ferrando 001; Federico Frassetto; Giovanna Guerrini; Viviana Mascardi; Marco Oreggia; Francesca Pozzi; Alessandro Solimando; Armando Tacchella (CILC, 2015)

Data Tracking in Parameterized Systems. - Giorgio Delzanno (TGC, 2015)

Well Structured Transition Systems with History. - Parosh Aziz Abdulla; Giorgio Delzanno; Marco Montali (GandALF, 2015)

A Logic-based Approach to Verify Distributed Protocols. - Giorgio Delzanno (CILC, 2016)

Reachability Predicates for Graph Assertions. - Giorgio Delzanno (RP, 2016)

Adding Data Registers to Parameterized Networks with Broadcast. - Giorgio Delzanno; Arnaud Sangnier; Riccardo Traverso (Fundam. Informaticae, 2016)

Parameterized verification. - Parosh Aziz Abdulla; Giorgio Delzanno (Int. J. Softw. Tools Technol. Transf., 2016)

A unified view of parameterized verification of abstract models of broadcast communication. - Giorgio Delzanno (Int. J. Softw. Tools Technol. Transf., 2016)

Parameterized verification of time-sensitive models of ad hoc network protocols. - Parosh Aziz Abdulla; Giorgio Delzanno; Othmane Rezine; Arnaud Sangnier; Riccardo Traverso (Theor. Comput. Sci., 2016)

Towards an Acceptance Testing Approach for Internet of Things Systems. - Maurizio Leotta; Filippo Ricca; Diego Clerissi; Davide Ancona; Giorgio Delzanno; Marina Ribaudo; Luca Franceschini (ICWE Workshops, 2017)

An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. - Davide Ancona; Giorgio Delzanno; Luca Franceschini; Maurizio Leotta; Enrico Prampolini; Marina Ribaudo; Filippo Ricca (RP, 2017)

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. - Davide Ancona; Luca Franceschini; Giorgio Delzanno; Maurizio Leotta; Marina Ribaudo; Filippo Ricca (ALP4IoT@iFM, 2017)

Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking. - Giorgio Delzanno (CILC, 2018)

Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols. - Sylvain Conchon; Giorgio Delzanno; Angelo Ferrando 001 (NETYS, 2018)

An IoT-enabled Framework for Context-aware Role-based Access Control. - Giorgio Delzanno; Giovanna Guerrini (SEBD, 2018)

Physical Web for Smart Campus Management. - Giorgio Delzanno; Giovanna Guerrini; Maurizio Leotta; Marina Ribaudo (WEBIST, 2018)

Logic-based Verification of the Distributed Dining Philosophers Protocol. - Giorgio Delzanno (Fundam. Informaticae, 2018)

Games, automata, logics and formal verification (GandALF 2016). - Domenico Cantone; Giorgio Delzanno (Inf. Comput., 2018)

An acceptance testing approach for Internet of Things systems. - Maurizio Leotta; Diego Clerissi; Dario Olianas; Filippo Ricca; Davide Ancona; Giorgio Delzanno; Luca Franceschini; Marina Ribaudo (IET Softw., 2018)

Towards the Automated Verification of Publish/Subscribe Networks. - Giorgio Delzanno (OVERLAY@AI*IA, 2019)

Smart RogAgent: Where Agents and Humans Team Up. - Chiara Capone; Rafael H. Bordini; Viviana Mascardi; Giorgio Delzanno; Angelo Ferrando 001; Luca Gelati; Giovanna Guerrini (PRIMA, 2019)

Orchestrated crowdsourced testing of a mobile web application: a case study. - Maurizio Leotta; Vincenzo Petito; Luca Gelati; Giorgio Delzanno; Giovanna Guerrini; Viviana Mascardi (Programming, 2019)

Parameterised Verification of Publish/Subscribe Networks with Exception Handling. - Giorgio Delzanno (RP, 2019)

Adaptive Real Time IoT Stream Processing in Microservices Architecture. - Luca Bixio; Giorgio Delzanno; Stefano Rebora; Matteo Rulli (Gabbrielli's Festschrift, 2020)

On the Formalization of Decentralized Contact Tracing Protocols. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Giorgio Delzanno; Marco Montali; Arnaud Sangnier (OVERLAY, 2020)

Flow Programming: A Flexible way to bring the Internet of Things into the Lab. - Davide Ancona; Lorenzo Benvenuto; Giorgio Delzanno; Gianluca Gambari (UMAP (Adjunct Publication), 2020)

Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. - Giorgio Delzanno; Giovanna Guerrini; Viviana Mascardi; Luca Gelati; Vincenzo Petito; Francesca Vitali; Angelo Ferrando 001; Davide Ancona; Manuela Chessa; Nicoletta Noceti; Francesca Odone (UMAP (Adjunct Publication), 2020)

PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library. - Giorgio Delzanno; Giovanna Guerrini; Viviana Mascardi; Daniele Traversaro (UMAP (Adjunct Publication), 2020)

Codinji: Welcome to the Coding Jungle! - Giorgio Delzanno; Giovanna Guerrini; Simone Perotto; Flavio Traverso; Sofia Mammoliti; Susanna Staglianò (UMAP (Adjunct Publication), 2020)

APCSE'20 Workshop Chairs' Welcome. - Giorgio Delzanno; Giovanna Guerrini; Daniele Traversaro (UMAP (Adjunct Publication), 2020)

Adaptation and Personalization in Computer Science Education: APCSE '20. - Giorgio Delzanno; Giovanna Guerrini; Daniele Traversaro (UMAP, 2020)

Sonic Pi for TBL Teaching Units in an Introductory Programming Course. - Daniele Traversaro; Giovanna Guerrini; Giorgio Delzanno (UMAP (Adjunct Publication), 2020)

A Flexible IoT Stream Processing Architecture Based on Microservices. - Luca Bixio; Giorgio Delzanno; Stefano Rebora; Matteo Rulli (Inf., 2020)

Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. - Sylvain Conchon; Giorgio Delzanno; Arnaud Sangnier (CILC, 2021)

On the Parameterized Verification of Abstract Models of Contact Tracing Protocols. - Sylvain Conchon; Giorgio Delzanno; Arnaud Sangnier (OVERLAY@GandALF, 2021)

Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. - Sylvain Conchon; Giorgio Delzanno; Angelo Ferrando 001 (Fundam. Informaticae, 2021)

Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic. - Giorgio Delzanno; Angelo Ferrando 001; Giovanna Guerrini; Matteo Pusceddu; Giovanni Zanone (HELMeTO, 2022)

Experience-Based Training in Computer Science Education via Online Multiplayer Games on Computational Thinking. - Giorgio Delzanno; Luca Gelati; Giovanna Guerrini; Angela Sugliano; Daniele Traversaro (HELMeTO, 2022)

An Adaptive Algorithm for Multipath Mitigation in GNSS Positioning with Android Smartphones. - Lorenzo Benvenuto; Tiziano Cosso; Giorgio Delzanno (Sensors, 2022)

Gamified Virtual Reality for Computational Thinking. - Lorenzo Gerini; Giorgio Delzanno; Giovanna Guerrini; Fabio Solari; Manuela Chessa (Gamify@SIGSOFT FSE, 2023)

BotBid - From Botany to Big Data: Combining Citizen Science and Innovative Teaching Methodologies. - Giorgio Delzanno; Daniele Grosso; Giovanna Guerrini; Federico Lebole; Silvia Priarone; Enrica Roccotiello; Angela Sugliano; Giovanni Zanone; Giovanni Adorni (HELMeTO, 2023)

A 3D Visual Programming Language for Tangible Coding in Extended Reality. - Lorenzo Gerini; Manuela Chessa; Giorgio Delzanno; Giovanna Guerrini; Fabio Solari (HELMeTO, 2023)

HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification. - Angelo Ferrando 001; Giorgio Delzanno (RP, 2023)

Automatic Passenger Counting on the Edge via Unsupervised Clustering. - Giorgio Delzanno; Luca Caputo; Daniele D'Agostino; Daniele Grosso; Abdul Hannan Mustajab; Luca Bixio; Matteo Rulli (Sensors, 2023)

Incrementally predictive runtime verification. - Angelo Ferrando 001; Giorgio Delzanno (J. Log. Comput., 2023)

Loosely-Coupled GNSS/INS Integration for Foot Trajectory Reconstruction in Outdoor Environments. - Georgii Kurshakov; Andrea Maffia; Tiziano Cosso; Renzo Chiostri; Vittorio Sanguineti; Giorgio Delzanno (BioRob, 2024)

Toward the use of Generative AI to develop Computational Thinking by supporting Problem Decomposition. - Davide Ponzini; Giovanni Adorni; Giorgio Delzanno; Giovanna Guerrini (Ital-IA, 2024)

Exploring Student Misconceptions about Concurrency Using the Domain-Specific Programing Language "Sonic Pi". - Giorgio Delzanno; Giovanna Guerrini; Daniele Traversaro (SIGCSE (2), 2024)

"Hear" and "Play" Students Misconceptions on Concurrent Programming using Sonic Pi. - Daniele Traversaro; Giorgio Delzanno; Giovanna Guerrini (Informatics Educ., 2024)

Decidability Problems for Micro-Stipula. - Giorgio Delzanno; Cosimo Laneve; Arnaud Sangnier; Gianluigi Zavattaro (COORDINATION, 2025)

Exploring Student Misconceptions about Concurrency Using Sonic Pi. - Giorgio Delzanno; Giovanna Guerrini; Daniele Traversaro (PDP, 2025)

XRCoding: introducing computational thinking and coding in a gamified eXtended reality. - Lorenzo Gerini; Giorgio Delzanno; Giovanna Guerrini; Fabio Solari; Manuela Chessa (Softw. Qual. J., 2025)