IRIS

DELZANNO, GIORGIO

DELZANNO, GIORGIO  

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

Mostra records
Risultati 1 - 20 di 46 (tempo di esecuzione: 0.034 secondi).
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 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 compositional semantics for CHR 1-gen-2005 Delzanno, Giorgio; M., Gabbrielli; M. C., Meo
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
Adaptation and Personalization in Computer Science Education: APCSE '20 1-gen-2020 Delzanno, G.; Guerrini, G.; Traversaro, D.
An "Internet of Thing” vision of the Flood Monitoring Problem 1-gen-2015 Ancona, Massimo; Dellacasa, A; Delzanno, Giorgio; La Camera, A; Rellini, Ivano
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 embedding of calculi for negation as failure into linear logic 1-gen-2001 Delzanno, Giorgio; Martelli, Maurizio
An IoT-enabled Framework for Context-aware Role-based Access Control 1-gen-2018 Delzanno, Giorgio; Guerrini, Giovanna
Automata-based Static Analysis of XML Document Adaptations 1-gen-2012 Solimando, Alessandro; Delzanno, Giorgio; Guerrini, Giovanna
BDI^ATL: An Alternating-time BDI Logic for Multiagent Systems 1-gen-2005 Montagna, R.; Delzanno, Giorgio; Martelli, Maurizio; Mascardi, Viviana
Behind the Scenes of the 2022 Edition of the Italian Coding League: Experience-based Learning for Computer Science Students 1-gen-2022 Delzanno, Giorgio; Gelati, Luca; Guerrini, Giovanna; Sugliano, ANGELA MARIA; Traversaro, Daniele
Coding Maps: A Planetary Journey into Computational Thinking and Digital Skills 1-gen-2022 Delzanno, Giorgio; Guerrini, Giovanna; Pusceddu, Matteo; Zanone, Giovanni; Ferrando, Angelo
Codinji: Welcome to the Coding Jungle! 1-gen-2020 Delzanno, G.; Guerrini, G.; Perotto, S.; Traverso, F.; Mammoliti, S.; Stagliano, S.
Computational thinking for beginners: A successful experience using Prolog 1-gen-2015 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
Computational thinking for beginners: {A} successful experience using Prolog 1-gen-2015 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
Data tracking in parameterized systems 1-gen-2016 Delzanno, Giorgio
Declarative parameterized verification of topology-sensitive distributed protocols 1-gen-2019 Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo