Davide Ancona

Davide Ancona, Viviana Mascardi, Rafael H. Bordini, 2011, 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology.

Modular Formal Frameworks for Module Systems

Davide Ancona, D. Ancona, 1998 .

Ontology-based documentation extraction for semi-automatic migration of Java code

Davide Ancona, Viviana Mascardi, Ombretta Pavarino, 2012, SAC '12.

Reconciling positional and nominal binding

Davide Ancona, Elena Zucca, Paola Giannini, 2012, ITRS.

Constrained global types for dynamic checking of protocol conformance in multi-agent systems

Davide Ancona, Viviana Mascardi, Matteo Barbieri, 2013, SAC '13.

A Theoretical Perspective of Coinductive Logic Programming

Davide Ancona, Agostino Dovier, D. Ancona, 2015, Fundam. Informaticae.

An Abstract Machine for Asynchronous Programs with Closures and Priority Queues

Davide Ancona, Giorgio Delzanno, Filippo Ricca, 2017, RP.

co-LP: Back to the Roots

Davide Ancona, Agostino Dovier, D. Ancona, 2013, Theory Pract. Log. Program..

Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog

Davide Ancona, Viviana Mascardi, Daniela Briola, 2014, CILC.

Modeling Infinite Behaviour by Corules

Davide Ancona, Elena Zucca, Francesco Dagnino, 2018, ECOOP.

A Formal Framework with Late Binding

Davide Ancona, Elena Zucca, Maura Cerioli, 1999, FASE.

An Algebraic Approach to Mixins and Modularity

Davide Ancona, Elena Zucca, E. Zucca, 1996, ALP.

Special track on Object-Oriented Languages and Systems: editorial message

Davide Ancona, Alex Buckley, 2008, SAC '08.

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution

Davide Ancona, Gordon Pace, 2019 .

An algebra of mixin modules

Davide Ancona, Elena Zucca, E. Zucca, 1997, WADT.

A Formal Framework for Java Separate Compilation

Davide Ancona, Elena Zucca, Giovanni Lagorio, 2002, ECOOP.

Preface to the special section on Object-Oriented Programming and Systems (OOPS 2010)

Davide Ancona, 2015, Sci. Comput. Program..

A Calculus for Dynamic Reconfiguration with Low Priority Linking

Davide Ancona, Sonia Fagorzi, Elena Zucca, 2005, Electron. Notes Theor. Comput. Sci..

Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing

Davide Ancona, 2013, Sci. Comput. Program..

Towards an Acceptance Testing Approach for Internet of Things Systems

Davide Ancona, Giorgio Delzanno, Filippo Ricca, 2017, ICWE Workshops.

1000 Years of Coo-BDI

Davide Ancona, Viviana Mascardi, D. Ancona, 2011, DALT.

Formal Techniques for Java-Like Programs Report on the WS FTfJP at ECOOP'06

Davide Ancona, Elena Zucca, Sophia Drossopoulou, 2007 .

Hackmytown: an Educational Experience on Smart Cities

Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2017, IxD&A.

Principal typings for Java-like languages

Davide Ancona, Elena Zucca, 2004, POPL '04.

Jam - A Smooth Extension of Java with Mixins

Davide Ancona, Elena Zucca, Giovanni Lagorio, 2000, ECOOP.

How to prove type soundness of Java-like languages without forgoing big-step semantics

Davide Ancona, 2014, FTfJP@ECOOP.

Preface to the Special Issue on Object-Oriented Programming Languages and Systems (OOPS 2008), A Special Track at the 23rd ACM Symposium on Applied Computing

Davide Ancona, Alex Buckley, 2010, Sci. Comput. Program..

A formal framework for compositional compilation

Davide Ancona, Elena Zucca, 2007, ICTCS.

FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain

Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2016, PAAMS.

Towards a model of corecursion with default

Davide Ancona, Elena Zucca, Francesco Dagnino, 2016, FTfJP@ECOOP.

A Fresh Calculus for Name Management

Davide Ancona, Eugenio Moggi, 2004, GPCE.

Exploiting Prolog for Projecting Agent Interaction Protocols

Davide Ancona, Viviana Mascardi, Amal El Fallah Seghrouchni, 2014, CILC.

Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages

Davide Ancona, Andrea Corradi, D. Ancona, 2014, ECOOP.

Overriding Operators in a Mixin-Based Framework

Davide Ancona, Elena Zucca, 1997, PLILP.

Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs

Davide Ancona, Viviana Mascardi, D. Ancona, 2009, MALLOW.

Verifying and Validating Autonomous Systems: Towards an Integrated Approach

Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2018, RV.

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types: Abstract Compilation for Type Analysis of Object-Oriented Languages (Extended Abstract)

Davide Ancona, 2017 .

Coinductive big-step operational semantics for type soundness of Java-like languages

Davide Ancona, 2011, FTfJP@ECOOP.

Idealized coinductive type systems for imperative object-oriented programs

Davide Ancona, Giovanni Lagorio, 2011, RAIRO Theor. Informatics Appl..

Coo-AgentSpeak: cooperation in AgentSpeak through plan exchange

Davide Ancona, Viviana Mascardi, Rafael H. Bordini, 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

A theory of mixin modules: basic and derived operators

Davide Ancona, Elena Zucca, E. Zucca, 1998, Mathematical Structures in Computer Science.

Coo-BDI: Extending the BDI Model with Cooperativity

Davide Ancona, Viviana Mascardi, D. Ancona, 2003, DALT.

Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages

Davide Ancona, D. Ancona, 2017, SPLASH 2017.

Enhanced Regular Corecursion for Data Streams pdf

Davide Ancona, Elena Zucca, Pietro Barbieri, 2021, ICTCS.

RML: Theory and practice of a domain specific language for runtime verification

Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2021, Sci. Comput. Program..

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems

Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2021, ACM Trans. Softw. Eng. Methodol..