DELZANNO, GIORGIO
DELZANNO, GIORGIO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A 3D Visual Programming Language for Tangible Coding in Extended Reality
2024-01-01 Gerini, L.; Chessa, M.; Delzanno, G.; Guerrini, G.; Solari, F.
A Biologically Inspired Model with Fusion and Clonation of Membranes
2008-01-01 Delzanno, Giorgio; L., Van Begin
A Bottom-Up Characterization of Finite Success
1993-01-01 Delzanno, Giorgio; Martelli, Maurizio
A bottom-up semantics for linear logic programs
2000-01-01 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
A classification of the expressive power of well-structured transition systems.
2011-01-01 Abdulla, P; Delzanno, Giorgio; VAN BEGIN, L.
A compositional semantics for CHR
2005-01-01 Delzanno, Giorgio; M., Gabbrielli; M. C., Meo
A Flexible IoT Stream Processing Architecture Based on Microservices
2020-01-01 Bixio, Luca; Delzanno, Giorgio; Rebora, Stefano; Rulli, Matteo
A Gamified Interactive Platform for LLM-Based Problem Decomposition
2025-01-01 Ponzini, D.; Adorni, G.; Delzanno, G.; Guerrini, G.
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations
2009-01-01 Abdulla, P; Delzanno, Giorgio; VAN BEGIN, L.
A lightweight regular model checking approach for parameterized systems
2012-01-01 Delzanno, Giorgio; A., Rezine
A Linear Logic Calculus Objects
1996-01-01 M., Bugliesi; Delzanno, Giorgio; L., Liquori; Martelli, Maurizio
A Logic-based approach to verify distributed protocols
2016-01-01 Delzanno, Giorgio
A methodological approach for applications of generative AI to support students and teachers
2025-01-01 Ponzini, D.; Adorni, G.; D'Agostino, D.; Delzanno, G.; Guerrini, G.
A Specification Logic for Concurrent Object-Oriented Programming
1999-01-01 Delzanno, Giorgio; Galmiche, D.; Martelli, Maurizio
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus
2004-01-01 Delzanno, Giorgio
A unified view of parameterized verification of abstract models of broadcast communication
2016-01-01 Delzanno, Giorgio
Adaptation and Personalization in Computer Science Education: APCSE '20
2020-01-01 Delzanno, G.; Guerrini, G.; Traversaro, D.
Adding Data Registers to Parameterized Networks with Broadcast
2016-01-01 Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo
AI Technologies for Inclusive Smart Cities: Safeguarding Elderly and Disabled Citizens
2026-01-01 Di Gregorio, V.; Dameri, P.; Bruzzone, M.; Turci, M.; Vipiana, P.; Olianas, D.; Puppo, E.; Ambrosino, D.; Mangano, S.; Pirlone, F.; Spadaro, I.; Paoli, F.; Gausa, M.; Canessa, N.; Centanaro, C.; Peri, A.; Musio-Sale, M.; Nicolini, D.; Notaristefano, M.; Spagnoletti, P.; Fresia, M.; Robbiano, T.; Bracco, S.; Delzanno, G.; Guerrini, G.; Roccotiello, E.; Botto, G.; Sugliano, A.; Zanone, G.; Parodi, L.
Algorithmic Verification of Invalidation-Based Protocols
2002-01-01 M., Bozzano; Delzanno, Giorgio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A 3D Visual Programming Language for Tangible Coding in Extended Reality | 1-gen-2024 | Gerini, L.; Chessa, M.; Delzanno, G.; Guerrini, G.; Solari, F. | |
| A Biologically Inspired Model with Fusion and Clonation of Membranes | 1-gen-2008 | Delzanno, Giorgio; L., Van Begin | |
| A Bottom-Up Characterization of Finite Success | 1-gen-1993 | Delzanno, Giorgio; Martelli, Maurizio | |
| A bottom-up semantics for linear logic programs | 1-gen-2000 | M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio | |
| A classification of the expressive power of well-structured transition systems. | 1-gen-2011 | Abdulla, P; Delzanno, Giorgio; VAN BEGIN, L. | |
| A compositional semantics for CHR | 1-gen-2005 | Delzanno, Giorgio; M., Gabbrielli; M. C., Meo | |
| A Flexible IoT Stream Processing Architecture Based on Microservices | 1-gen-2020 | Bixio, Luca; Delzanno, Giorgio; Rebora, Stefano; Rulli, Matteo | |
| A Gamified Interactive Platform for LLM-Based Problem Decomposition | 1-gen-2025 | Ponzini, D.; Adorni, G.; Delzanno, G.; Guerrini, G. | |
| A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations | 1-gen-2009 | Abdulla, P; Delzanno, Giorgio; VAN BEGIN, L. | |
| A lightweight regular model checking approach for parameterized systems | 1-gen-2012 | Delzanno, Giorgio; A., Rezine | |
| A Linear Logic Calculus Objects | 1-gen-1996 | M., Bugliesi; Delzanno, Giorgio; L., Liquori; Martelli, Maurizio | |
| A Logic-based approach to verify distributed protocols | 1-gen-2016 | Delzanno, Giorgio | |
| A methodological approach for applications of generative AI to support students and teachers | 1-gen-2025 | Ponzini, D.; Adorni, G.; D'Agostino, D.; Delzanno, G.; Guerrini, G. | |
| A Specification Logic for Concurrent Object-Oriented Programming | 1-gen-1999 | Delzanno, Giorgio; Galmiche, D.; Martelli, Maurizio | |
| A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus | 1-gen-2004 | Delzanno, Giorgio | |
| A unified view of parameterized verification of abstract models of broadcast communication | 1-gen-2016 | Delzanno, Giorgio | |
| Adaptation and Personalization in Computer Science Education: APCSE '20 | 1-gen-2020 | Delzanno, G.; Guerrini, G.; Traversaro, D. | |
| Adding Data Registers to Parameterized Networks with Broadcast | 1-gen-2016 | Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo | |
| AI Technologies for Inclusive Smart Cities: Safeguarding Elderly and Disabled Citizens | 1-gen-2026 | Di Gregorio, V.; Dameri, P.; Bruzzone, M.; Turci, M.; Vipiana, P.; Olianas, D.; Puppo, E.; Ambrosino, D.; Mangano, S.; Pirlone, F.; Spadaro, I.; Paoli, F.; Gausa, M.; Canessa, N.; Centanaro, C.; Peri, A.; Musio-Sale, M.; Nicolini, D.; Notaristefano, M.; Spagnoletti, P.; Fresia, M.; Robbiano, T.; Bracco, S.; Delzanno, G.; Guerrini, G.; Roccotiello, E.; Botto, G.; Sugliano, A.; Zanone, G.; Parodi, L. | |
| Algorithmic Verification of Invalidation-Based Protocols | 1-gen-2002 | M., Bozzano; Delzanno, Giorgio |