ANCONA, DAVIDE
ANCONA, DAVIDE
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A big step from finite to infinite computations
2020-01-01 Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E.
A calculus for dynamic reconfiguration with low priority linking
2005-01-01 Ancona, Davide; Fagorzi, S.; Zucca, Elena
A calculus of module systems
2002-01-01 Ancona, Davide; Zucca, Elena
A parametric calculus for mobile open code
2008-01-01 Ancona, Davide; Fagorzi, S; Zucca, Elena
A Provenly Correct Translation of Fickle into Java
2007-01-01 Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P; Zucca, Elena
A Theoretical Perspective of Coinductive Logic Programming
2015-01-01 Ancona, Davide; Dovier, Agostino
A theory of mixin modules: algebraic laws and reduction semantics
2002-01-01 Ancona, Davide; Zucca, Elena
A theory of mixin modules: Basic and derived operators
1998-01-01 Ancona, Davide; Zucca, Elena
A type preserving translation of Fickle into Java
2001-01-01 Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P.; Zucca, Elena
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
Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems
2013-01-01 Mascardi, Viviana; Ancona, Davide
Behavioral Types in Programming Languages
2016-01-01 Yoshida, Nobuko; Vasconcelos, Vasco T.; Padovani, Luca; Bono, Nicholas Ng; Neykova, Rumyana; Montesi, Fabrizio; Mascardi, Viviana; Martins, Francisco; Johnsen, Einar Broch; Hu, Raymond; Giachino, Elena; Gesbert, Nils; Gay, Simon J.; Deniélou, Pierre Malo; Castagna, Giuseppe; Campos, Joana; Bravetti, Mario; Bono, Viviana; Ancona, Davide
Checked corecursive streams: Expressivity and completeness
2023-01-01 Ancona, D.; Barbieri, P.; Zucca, E.
Checking equivalence of corecursive streams: An inductive procedure
2024-01-01 Ancona, Davide; Barbieri, Pietro; Zucca, Elena
co-LP: Back to the Roots
2013-01-01 Ancona, Davide; A., Dovier
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas
2010-01-01 Ancona, Davide; Lagorio, Giovanni
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services
2014-01-01 Mascardi, Viviana; Ancona, Davide; Barbieri, Matteo; Rafael H., Bordini; Alessandro, Ricci
Extending coinductive logic programming with co-facts
2017-01-01 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Flexible coinductive logic programming
2020-01-01 Dagnino, F.; Ancona, D.; Zucca, E.
Guest Editorial of the special issue on OOPS Track at SAC 2004
2004-01-01 Ancona, Davide; M., Viroli
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A big step from finite to infinite computations | 1-gen-2020 | Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E. | |
| A calculus for dynamic reconfiguration with low priority linking | 1-gen-2005 | Ancona, Davide; Fagorzi, S.; Zucca, Elena | |
| A calculus of module systems | 1-gen-2002 | Ancona, Davide; Zucca, Elena | |
| A parametric calculus for mobile open code | 1-gen-2008 | Ancona, Davide; Fagorzi, S; Zucca, Elena | |
| A Provenly Correct Translation of Fickle into Java | 1-gen-2007 | Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P; Zucca, Elena | |
| A Theoretical Perspective of Coinductive Logic Programming | 1-gen-2015 | Ancona, Davide; Dovier, Agostino | |
| A theory of mixin modules: algebraic laws and reduction semantics | 1-gen-2002 | Ancona, Davide; Zucca, Elena | |
| A theory of mixin modules: Basic and derived operators | 1-gen-1998 | Ancona, Davide; Zucca, Elena | |
| A type preserving translation of Fickle into Java | 1-gen-2001 | Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P.; Zucca, Elena | |
| 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 | |
| Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems | 1-gen-2013 | Mascardi, Viviana; Ancona, Davide | |
| Behavioral Types in Programming Languages | 1-gen-2016 | Yoshida, Nobuko; Vasconcelos, Vasco T.; Padovani, Luca; Bono, Nicholas Ng; Neykova, Rumyana; Montesi, Fabrizio; Mascardi, Viviana; Martins, Francisco; Johnsen, Einar Broch; Hu, Raymond; Giachino, Elena; Gesbert, Nils; Gay, Simon J.; Deniélou, Pierre Malo; Castagna, Giuseppe; Campos, Joana; Bravetti, Mario; Bono, Viviana; Ancona, Davide | |
| Checked corecursive streams: Expressivity and completeness | 1-gen-2023 | Ancona, D.; Barbieri, P.; Zucca, E. | |
| Checking equivalence of corecursive streams: An inductive procedure | 1-gen-2024 | Ancona, Davide; Barbieri, Pietro; Zucca, Elena | |
| co-LP: Back to the Roots | 1-gen-2013 | Ancona, Davide; A., Dovier | |
| Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas | 1-gen-2010 | Ancona, Davide; Lagorio, Giovanni | |
| CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services | 1-gen-2014 | Mascardi, Viviana; Ancona, Davide; Barbieri, Matteo; Rafael H., Bordini; Alessandro, Ricci | |
| Extending coinductive logic programming with co-facts | 1-gen-2017 | Ancona, Davide; Dagnino, Francesco; Zucca, Elena | |
| Flexible coinductive logic programming | 1-gen-2020 | Dagnino, F.; Ancona, D.; Zucca, E. | |
| Guest Editorial of the special issue on OOPS Track at SAC 2004 | 1-gen-2004 | Ancona, Davide; M., Viroli |