DELZANNO, GIORGIO
DELZANNO, GIORGIO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
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 compositional semantics for CHR
2005-01-01 Delzanno, Giorgio; M., Gabbrielli; M. C., Meo
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 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
An abstract machine for asynchronous programs with closures and priority queues
2017-01-01 Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Leotta, Maurizio; Prampolini, Enrico; Ribaudo, Marina; Ricca, Filippo
An Acceptance Testing Approach for Internet of Things Systems
2018-01-01 Leotta, Maurizio; Clerissi, Diego; Olianas, Dario; Ricca, Filippo; Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Ribaudo, Marina
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
Algorithmic Verification of Invalidation-Based Protocols
2002-01-01 M., Bozzano; Delzanno, Giorgio
An Assertional Language for the Verification of Systems Parametric in Several Dimensions
2001-01-01 Delzanno, Giorgio
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
2001-01-01 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
An effective fixpoint semantics for linear logic programs
2002-01-01 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio
An embedding of calculi for negation as failure into linear logic
2001-01-01 Delzanno, Giorgio; Martelli, Maurizio
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems
2002-01-01 Delzanno, Giorgio
APCSE'20 Workshop Chairs' Welcome
2020-01-01 Delzanno, G.; Guerrini, G.; Traversaro, D.