IRIS

DELZANNO, GIORGIO

DELZANNO, GIORGIO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 60 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
A Biologically Inspired Model with Fusion and Clonation of Membranes 1-gen-2008 Delzanno, Giorgio; L., Van Begin
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.
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
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs 1-gen-2001 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
APCSE'20 Workshop Chairs' Welcome 1-gen-2020 Delzanno, G.; Guerrini, G.; Traversaro, D.
Approximated Context-Sensitive Analysis for Parameterized Verification. 1-gen-2009 Abdulla, P; Delzanno, Giorgio; Rezine, A.
Attacking Symbolic State Explosion 1-gen-2001 Delzanno, Giorgio; J. F., Raskin; L., Van Begin
Automatic Verification of Directory-Based Consistency Protocols 1-gen-2009 Abdulla, P; Delzanno, Giorgio; Rezine, A.
Automatic Verification of Parameterized Cache Coherence Protocols 1-gen-2000 Delzanno, Giorgio
Automatic Verification of Time Sensitive Cryptographic Protocols 1-gen-2004 Delzanno, Giorgio; P., Ganty
Beyond Parameterized Verification 1-gen-2002 M., Bozzano; Delzanno, Giorgio
BotBid - From Botany to Big Data: Combining Citizen Science and Innovative Teaching Methodologies 1-gen-2024 Delzanno, Giorgio; Grosso, Daniele; Guerrini, Giovanna; Lebole, Federico; Priarone, Silvia; Roccotiello, Enrica; Sugliano, Angela; Zanone, Giovanni; Adorni, Giovanni
BotBid 2025: Bridging Technology, Participatory Science, and Science Outreach 1-gen-2026 Delzanno, Giorgio; Guerrini, Giovanna; Roccotiello, Enrica; Sugliano, Angela; Zanone, Giovanni
Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic 1-gen-2023 Delzanno, G.; Ferrando, A.; Guerrini, G.; Pusceddu, M.; Zanone, G.
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets 1-gen-2001 Carvajal Schiaffino, R.; Delzanno, Giorgio; Chiola, G.
Comparing the Expressive Power of Well-Structured Transition Systems 1-gen-2007 Abdulla, P. A.; Delzanno, Giorgio; VAN BEGIN, L.
Compositional Verification of Asynchronous Processes via Constraint Solving 1-gen-2005 Delzanno, Giorgio; Gabbrielli, M.
Computational Logic in Genova 1-gen-2008 Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification 1-gen-2010 Abdulla, P; Chen, Y. F.; Delzanno, Giorgio; Haziza, F; Hong, C. D.; Rezine, A.