Davide Ancona - RankMe

167 papers A* 3A 17B 4C 6Misc 12Journal 41Unranked 78

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. DSN-S Davide Ancona, Stefano Avola, Angelo Ferrando, Pierpaolo Baglietto, Maurice H. ter Beek, Andrea Parodi, Giancarlo Camera, Matteo Pinasco
2025	—	`conf`	On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle. ICTCS Davide Ancona, Angelo Ferrando
2025	J	`jnl`	On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle. CoRR Davide Ancona, Angelo Ferrando
2025	—	`conf`	Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems. DSN-S Hisham Unniyankal, Davide Ancona, Angelo Ferrando, Fabio Parodi, Alessandro Alessi, Federico Bottino
2024	J	`jnl`	Checking equivalence of corecursive streams: An inductive procedure. Theor. Comput. Sci. Davide Ancona, Pietro Barbieri, Elena Zucca
2024	J	`jnl`	Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers. J. Object Technol. Davide Ancona, Adrian Francalanza
2024	—	`ed.`	Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2024, Vienna, Austria, 19 September 2024 VORTEX@ISSTA Davide Ancona, Giorgio Audrito
2023	J	`jnl`	Checked corecursive streams: Expressivity and completeness. Theor. Comput. Sci. Davide Ancona, Pietro Barbieri, Elena Zucca
2023	—	`ch.`	Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. Prolog: The Next 50 Years Davide Ancona, Angelo Ferrando, Viviana Mascardi
2023	—	`ed.`	Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023 VORTEX@ISSTA Davide Ancona, Giorgio Audrito
2023	J	`jnl`	RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
2023	—	`conf`	Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP Davide Ancona, Angelo Ferrando, Viviana Mascardi
2022	Misc	`conf`	Enhancing Expressivity of Checked Corecursive Streams. FLOPS Davide Ancona, Pietro Barbieri, Elena Zucca
2022	J	`jnl`	Enhancing expressivity of checked corecursive streams (extended version). CoRR Davide Ancona, Pietro Barbieri, Elena Zucca
2022	—	`conf`	Equality of Corecursive Streams Defined by Finitary Equational Systems. ICTCS Davide Ancona, Pietro Barbieri, Elena Zucca
2022	—	`conf`	Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. CILC Davide Ancona, Angelo Ferrando, Viviana Mascardi
2022	C	`conf`	Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. EUMAS Davide Ancona, Angelo Ferrando, Viviana Mascardi
2022	J	`jnl`	Preface to the JOT special issue on ECOOP 2021: selected workshop papers. J. Object Technol. Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe
2022	—	`conf`	RV4JaCa - Runtime Verification for Multi-Agent Systems. AREA@IJCAI-ECAI Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
2021	—	`conf`	Enhanced Regular Corecursion for Data Streams. ICTCS Davide Ancona, Pietro Barbieri, Elena Zucca
2021	J	`jnl`	Enhanced Regular Corecursion for Data Streams. CoRR Davide Ancona, Pietro Barbieri, Elena Zucca
2021	J	`jnl`	RML: Theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
2021	J	`jnl`	Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
2021	—	`ed.`	VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021. VORTEX@ISSTA Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza
2020	A	`conf`	A Big Step from Finite to Infinite Computations (SCICO Journal-first). ECOOP Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
2020	J	`jnl`	A big step from finite to infinite computations. Sci. Comput. Program. Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
2020	—	`conf`	Can determinism and compositionality coexist in RML? EXPRESS/SOS Davide Ancona, Angelo Ferrando, Viviana Mascardi
2020	J	`jnl`	Can determinism and compositionality coexist in RML? (extended version). CoRR Davide Ancona, Angelo Ferrando, Viviana Mascardi
2020	—	`conf`	Engineering Reliable Interactions in the Reality-Artificiality Continuum. AREA@ECAI Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari
2020	J	`jnl`	Flexible coinductive logic programming. CoRR Francesco Dagnino, Davide Ancona, Elena Zucca
2020	J	`jnl`	Flexible coinductive logic programming. Theory Pract. Log. Program. Francesco Dagnino, Davide Ancona, Elena Zucca
2020	—	`conf`	Flow Programming: A Flexible way to bring the Internet of Things into the Lab. UMAP (Adjunct Publication) Davide Ancona, Lorenzo Benvenuto, Giorgio Delzanno, Gianluca Gambari
2020	—	`conf`	ROSMonitoring: A Runtime Verification Framework for ROS. TAROS Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
2020	—	`conf`	Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. UMAP (Adjunct Publication) Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Luca Gelati, Vincenzo Petito, Francesca Vitali, Angelo Ferrando, Davide Ancona, Manuela Chessa, Nicoletta Noceti, Francesca Odone
2020	A	`conf`	Sound Regular Corecursion in coFJ. ECOOP Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
2020	J	`jnl`	Sound Regular Corecursion in coFJ. CoRR Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
2019	—	`conf`	A Deterministic Event Calculus for Effective Runtime Verification. ICTCS Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
2019	B	`conf`	Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. ENASE Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo
2019	—	`conf`	Corecursive Featherweight Java Revisited. ICTCS Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona
2019	J	`jnl`	Preface: Special Issue on Verification of Objects at Runtime Execution. Sci. Comput. Program. Davide Ancona
2019	—	`ed.`	Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018. VORTEX@ECOOP/ISSTA Davide Ancona, Gordon Pace
2019	—	`conf`	Timed Trace Expressions. CILC Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi
2018	—	`conf`	A formalism for specification of Java API interfaces. ISSTA/ECOOP Workshops Davide Ancona, Francesco Dagnino, Luca Franceschini
2018	—	`conf`	Agents Interoperability via Conformance Modulo Mapping. WOA Davide Ancona, Angelo Ferrando, Viviana Mascardi
2018	J	`jnl`	An acceptance testing approach for Internet of Things systems. IET Softw. Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Davide Ancona, Giorgio Delzanno, Luca Franceschini, Marina Ribaudo
2018	Misc	`conf`	Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
2018	J	`jnl`	Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. Int. J. Agent Oriented Softw. Eng. Davide Ancona, Angelo Ferrando, Viviana Mascardi
2018	Misc	`conf`	Managing Bad AIPs with RIVERtools. PAAMS Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
2018	A	`conf`	Modeling Infinite Behaviour by Corules. ECOOP Davide Ancona, Francesco Dagnino, Elena Zucca
2018	J	`jnl`	Preface. Fundam. Informaticae Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi
2018	A	`conf`	Recognising Assumption Violations in Autonomous Systems Verification. AAMAS Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
2018	—	`conf`	Semantic Subtyping for Non-Strict Languages. TYPES Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
2018	J	`jnl`	Semantic subtyping for non-strict languages. CoRR Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
2018	—	`conf`	Towards a Runtime Verification Approach for Internet of Things Systems. ICWE Workshops Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca
2018	B	`conf`	Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
2017	—	`conf`	An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. RP Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca
2017	A	`conf`	Decentralizing MAS Monitoring with DecAMon. AAMAS Angelo Ferrando, Davide Ancona, Viviana Mascardi
2017	A	`conf`	Generalizing Inference Systems by Coaxioms. ESOP Davide Ancona, Francesco Dagnino, Elena Zucca
2017	J	`jnl`	Hackmytown: an Educational Experience on Smart Cities. IxD&A Vincenzo Del Fatto, Gabriella Dodero, Armin Bernhard, Angelo Ferrando, Davide Ancona, Viviana Mascardi, Robert Laurini, Giuseppe Roccasalva
2017	A	`conf`	Parametric Runtime Verification of Multiagent Systems. AAMAS Davide Ancona, Angelo Ferrando, Viviana Mascardi
2017	—	`conf`	Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
2017	J	`jnl`	Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015). Sci. Comput. Program. Davide Ancona
2017	C	`ed.`	Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017 DLS Davide Ancona
2017	J	`jnl`	Reasoning on divergent computations with coaxioms. Proc. ACM Program. Lang. Davide Ancona, Francesco Dagnino, Elena Zucca
2017	—	`conf`	Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. ALP4IoT@iFM Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca
2017	—	`conf`	Towards an Acceptance Testing Approach for Internet of Things Systems. ICWE Workshops Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini
2017	J	`jnl`	Type safe incremental rebinding. Math. Struct. Comput. Sci. Davide Ancona, Paola Giannini, Elena Zucca
2016	—	`conf`	A formal account of SSA in Java-like languages. FTfJP@ECOOP Davide Ancona, Andrea Corradi
2016	J	`jnl`	Behavioral Types in Programming Languages. Found. Trends Program. Lang. Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
2016	—	`conf`	Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods Davide Ancona, Angelo Ferrando, Viviana Mascardi
2016	—	`conf`	Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty Davide Ancona, Francesco Dagnino, Elena Zucca
2016	—	`conf`	FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. PAAMS (Workshops) Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi
2016	—	`conf`	MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. WOA Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
2016	—	`conf`	Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. EMAS@AAMAS Angelo Ferrando, Davide Ancona, Viviana Mascardi
2016	A	`conf`	Semantic subtyping for imperative object-oriented languages. OOPSLA Davide Ancona, Andrea Corradi
2016	—	`conf`	Structural Resolution for Abstract Compilation of Object-Oriented Languages. CoALP-Ty Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya
2016	—	`conf`	Towards a model of corecursion with default. FTfJP@ECOOP Davide Ancona, Francesco Dagnino, Elena Zucca
2015	J	`jnl`	A Theoretical Perspective of Coinductive Logic Programming. Fundam. Informaticae Davide Ancona, Agostino Dovier
2015	—	`conf`	A three-valued type system for true positives detection in Java-like languages. FTfJP@ECOOP Davide Ancona, Federico Frassetto
2015	—	`conf`	Constrained Polymorphic Types for a Calculus with Name Variables. TYPES Davide Ancona, Paola Giannini, Elena Zucca
2015	A	`conf`	Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
2015	—	`conf`	Incremental Rebinding with Name Polymorphism. ICTCS Davide Ancona, Paola Giannini, Elena Zucca
2015	J	`jnl`	Preface to the special section on Object-Oriented Programming and Systems (OOPS 2010). Sci. Comput. Program. Davide Ancona
2015	—	`ed.`	Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CILC Davide Ancona, Marco Maratea, Viviana Mascardi
2015	—	`conf`	Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. WOA Davide Ancona, Daniela Briola, Viviana Mascardi
2015	J	`jnl`	Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
2014	—	`conf`	A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten
2014	J	`jnl`	CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. Web Intell. Agent Syst. Viviana Mascardi, Davide Ancona, Matteo Barbieri, Rafael H. Bordini, Alessandro Ricci
2014	Misc	`conf`	Distributed Runtime Verification of JADE Multiagent Systems. IDC Daniela Briola, Viviana Mascardi, Davide Ancona
2014	—	`conf`	Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. CILC Daniela Briola, Viviana Mascardi, Davide Ancona
2014	—	`conf`	Efficient Verification of MASs with Projections. EMAS@AAMAS Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert
2014	—	`conf`	Exploiting Prolog for Projecting Agent Interaction Protocols. CILC Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert
2014	—	`conf`	How to prove type soundness of Java-like languages without forgoing big-step semantics. FTfJP@ECOOP Davide Ancona
2014	A	`conf`	Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. ECOOP Davide Ancona, Andrea Corradi
2013	J	`jnl`	Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems. Theory Pract. Log. Program. Viviana Mascardi, Davide Ancona
2013	Misc	`conf`	Constrained global types for dynamic checking of protocol conformance in multi-agent systems. SAC Davide Ancona, Matteo Barbieri, Viviana Mascardi
2013	—	`conf`	On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. AI*IA Viviana Mascardi, Daniela Briola, Davide Ancona
2013	J	`jnl`	Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing. Sci. Comput. Program. Davide Ancona
2013	J	`jnl`	Regular corecursion in Prolog. Comput. Lang. Syst. Struct. Davide Ancona
2013	—	`conf`	Safe corecursion in coFJ. FTfJP@ECOOP Davide Ancona, Elena Zucca
2013	J	`jnl`	co-LP: Back to the Roots. Theory Pract. Log. Program. Davide Ancona, Agostino Dovier
2012	—	`conf`	Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT Davide Ancona, Sophia Drossopoulou, Viviana Mascardi
2012	—	`conf`	Corecursive Featherweight Java. FTfJP@ECOOP Davide Ancona, Elena Zucca
2012	Misc	`conf`	Ontology-based documentation extraction for semi-automatic migration of Java code. SAC Davide Ancona, Viviana Mascardi, Ombretta Pavarino
2012	—	`conf`	Reconciling positional and nominal binding. ITRS Davide Ancona, Paola Giannini, Elena Zucca
2012	Misc	`conf`	Regular corecursion in Prolog. SAC Davide Ancona
2012	A	`conf`	Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. ECOOP Davide Ancona
2012	—	`conf`	Static Single Information Form for Abstract Compilation. IFIP TCS Davide Ancona, Giovanni Lagorio
2011	—	`conf`	1000 Years of Coo-BDI. DALT Viviana Mascardi, Davide Ancona
2011	—	`conf`	Coinductive big-step operational semantics for type soundness of Java-like languages. FTfJP@ECOOP Davide Ancona
2011	—	`conf`	CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. IAT Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci
2011	J	`jnl`	Idealized coinductive type systems for imperative object-oriented programs. RAIRO Theor. Informatics Appl. Davide Ancona, Giovanni Lagorio
2010	—	`conf`	Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? FoVeOOS Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani
2010	—	`conf`	Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas GANDALF Davide Ancona, Giovanni Lagorio
2010	—	`conf`	Complete coinductive subtyping for abstract compilation of object-oriented languages. FTfJP@ECOOP Davide Ancona, Giovanni Lagorio
2010	J	`jnl`	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. Sci. Comput. Program. Davide Ancona, Alex Buckley
2009	—	`conf`	An idealized coinductive type system for imperative object-oriented programs. ICTCS Davide Ancona, Giovanni Lagorio
2009	A	`conf`	Coinductive Type Systems for Object-Oriented Languages. ECOOP Davide Ancona, Giovanni Lagorio
2009	—	`conf`	Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs. MALLOW Viviana Mascardi, Davide Ancona
2009	—	`conf`	Faster than C#: efficient implementation of dynamic languages on .NET. ICOOOLPS@ECOOP Antonio Cuni, Davide Ancona, Armin Rigo
2008	Misc	`conf`	Special track on Object-Oriented Languages and Systems: editorial message. SAC Davide Ancona, Alex Buckley
2008	—	`conf`	Type Inference by Coinductive Logic Programming. TYPES Davide Ancona, Giovanni Lagorio, Elena Zucca
2007	—	`conf`	A Parametric Calculus for Mobile Open Code. DCM@ICALP Davide Ancona, Sonia Fagorzi, Elena Zucca
2007	—	`conf`	A formal framework for compositional compilation. ICTCS Davide Ancona, Elena Zucca
2007	J	`jnl`	A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2007	C	`conf`	RPython: a step towards reconciling dynamically and statically typed OO languages. DLS Davide Ancona, Massimo Ancona, Antonio Cuni, Nicholas D. Matsakis
2007	—	`conf`	Type inference for polymorphic methods in Java-like languages. ICTCS Davide Ancona, Giovanni Lagorio, Elena Zucca
2006	Misc	`conf`	Editorial message: special track on object oriented programming languages and systems. SAC Davide Ancona, Mirko Viroli
2006	—	`conf`	Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC Davide Ancona, Giovanni Lagorio, Elena Zucca
2006	—	`conf`	Formal Techniques for Java-Like Programs. ECOOP Workshops Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca
2005	C	`conf`	COOWS: Adaptive BDI Agents meet Service-Oriented Computing. EUMAS Luigi Bozzo, Viviana Mascardi, Davide Ancona, Paolo Busetta
2005	Misc	`conf`	Editorial message: special track on object oriented programming languages and systems. SAC Davide Ancona, Rajeev R. Raje, Mirko Viroli
2005	—	`conf`	Languages for Programming BDI-style Agents: an Overview. WOA Viviana Mascardi, Daniela Demergasso, Davide Ancona
2005	—	`conf`	Mixin Modules for Dynamic Rebinding. TGC Davide Ancona, Sonia Fagorzi, Elena Zucca
2005	A*	`conf`	Polymorphic bytecode: compositional compilation for Java-like languages. POPL Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
2004	—	`conf`	A Calculus for Dynamic Reconfiguration with Low Priority Linking. WOOD Davide Ancona, Sonia Fagorzi, Elena Zucca
2004	—	`conf`	A Calculus with Lazy Module Operators. IFIP TCS Davide Ancona, Sonia Fagorzi, Elena Zucca
2004	B	`conf`	A Fresh Calculus for Name Management. GPCE Davide Ancona, Eugenio Moggi
2004	A	`conf`	Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini
2004	Misc	`conf`	Editorial message: special track on object oriented programming language and systems. SAC Davide Ancona, Rajeev R. Raje, Mirko Viroli
2004	Misc	`conf`	Modeling multiple class loaders by a calculus for dynamic linking. SAC Sonia Fagorzi, Elena Zucca, Davide Ancona
2004	A*	`conf`	Principal typings for Java-like languages. POPL Davide Ancona, Elena Zucca
2004	—	`conf`	Program Generation and Components. FMCO Davide Ancona, Eugenio Moggi
2004	J	`jnl`	Stronger Typings for Separate Compilation of Java-like Languages . J. Object Technol. Davide Ancona, Giovanni Lagorio
2003	—	`conf`	A Calculus for Dynamic Linking. ICTCS Davide Ancona, Sonia Fagorzi, Elena Zucca
2003	—	`conf`	Coo-BDI: Extending the BDI Model with Cooperativity. DALT Davide Ancona, Viviana Mascardi
2003	J	`jnl`	Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. Davide Ancona, Giovanni Lagorio, Elena Zucca
2003	A*	`conf`	Mixin Modules and Computational Effects. ICALP Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca
2002	A	`conf`	A Formal Framework for Java Separate Compilation. ECOOP Davide Ancona, Giovanni Lagorio, Elena Zucca
2002	J	`jnl`	A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. Math. Struct. Comput. Sci. Davide Ancona, Elena Zucca
2002	J	`jnl`	A calculus of module systems. J. Funct. Program. Davide Ancona, Elena Zucca
2002	C	`conf`	True separate compilation of Java classes. PPDP Davide Ancona, Giovanni Lagorio, Elena Zucca
2001	A	`conf`	A Core Calculus for Java Exceptions. OOPSLA Davide Ancona, Giovanni Lagorio, Elena Zucca
2001	—	`conf`	A type preserving translation of Fickle into Java. TOSCA Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2001	—	`conf`	An Effective Translation of Fickle into Java. ICTCS Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2001	A	`conf`	True Modules for Java-like Languages. ECOOP Davide Ancona, Elena Zucca
2000	A	`conf`	Jam - A Smooth Extension of Java with Mixins. ECOOP Davide Ancona, Giovanni Lagorio, Elena Zucca
2000	—	`conf`	MIX(FL): A Kernel Language of Mixin Modules. AMAST Davide Ancona
1999	B	`conf`	A Formal Framework with Late Binding. FASE Davide Ancona, Maura Cerioli, Elena Zucca
1999	C	`conf`	A Primitive Calculus for Module Systems. PPDP Davide Ancona, Elena Zucca
1999	—	`conf`	Extending Casl by Late Binding. WADT Davide Ancona, Maura Cerioli, Elena Zucca
1998	J	`jnl`	A Theory of Mixin Modules: Basic and Derived Operators. Math. Struct. Comput. Sci. Davide Ancona, Elena Zucca
1998	—	`conf`	An Algebraic Framework for Separate Type-Checking. WADT Davide Ancona
1997	—	`conf`	An algebra of mixin modules. WADT Davide Ancona, Elena Zucca
1997	—	`conf`	Overriding Operators in a Mixin-Based Framework. PLILP Davide Ancona, Elena Zucca
1996	—	`conf`	A Formal Framework for Modules with State. AMAST Davide Ancona, Elena Zucca
1996	—	`conf`	An Algebraic Approach to Mixins and Modularity. ALP Davide Ancona, Elena Zucca