DELZANNO, GIORGIO

DELZANNO, GIORGIO  

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

Mostra records
Risultati 1 - 20 di 135 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
"Internet of Thing” vision of the Flood Monitoring Problem 1-gen-2015 Ancona, Massimo; Dellacasa, A; Delzanno, Giorgio; La Camera, A; Rellini, Ivano
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 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 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
Algorithmic Verification of Invalidation-Based Protocols 1-gen-2002 M., Bozzano; Delzanno, Giorgio
An abstract machine for asynchronous programs with closures and priority queues 1-gen-2017 Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Leotta, Maurizio; Prampolini, Enrico; Ribaudo, Marina; Ricca, Filippo
An Acceptance Testing Approach for Internet of Things Systems 1-gen-2018 Leotta, Maurizio; Clerissi, Diego; Olianas, Dario; Ricca, Filippo; Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Ribaudo, Marina
An Assertional Language for the Verification of Systems Parametric in Several Dimensions 1-gen-2001 Delzanno, Giorgio