default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavide Ancona
Person information
- affiliation: University of Genoa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j34]Davide Ancona, Adrian Francalanza:
Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers. J. Object Technol. 23(2): 1 (2024)- [j33]Davide Ancona
, Pietro Barbieri, Elena Zucca:
Checking equivalence of corecursive streams: An inductive procedure. Theor. Comput. Sci. 1009: 114680 (2024) - [e6]Davide Ancona, Giorgio Audrito:
Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2024, Vienna, Austria, 19 September 2024. ACM 2024, ISBN 979-8-4007-1119-0 [contents] - 2023
- [j32]Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi:
RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics 12(2): 49 (2023) - [j31]Davide Ancona, Pietro Barbieri, Elena Zucca:
Checked corecursive streams: Expressivity and completeness. Theor. Comput. Sci. 974: 114081 (2023) - [c116]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP 2023: 25-31 - [p1]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. Prolog: The Next 50 Years 2023: 300-317 - [e5]Davide Ancona, Giorgio Audrito:
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023. ACM 2023 [contents] - 2022
- [j30]Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe:
Preface to the JOT special issue on ECOOP 2021: selected workshop papers. J. Object Technol. 21(2) (2022) - [c115]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. CILC 2022: 154-170 - [c114]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. EUMAS 2022: 22-40 - [c113]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhancing Expressivity of Checked Corecursive Streams. FLOPS 2022: 1-18 - [c112]Davide Ancona, Pietro Barbieri, Elena Zucca:
Equality of Corecursive Streams Defined by Finitary Equational Systems. ICTCS 2022: 86-98 - [c111]Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi:
RV4JaCa - Runtime Verification for Multi-Agent Systems. AREA@IJCAI-ECAI 2022: 23-36 - [i6]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhancing expressivity of checked corecursive streams (extended version). CoRR abs/2202.06868 (2022) - 2021
- [j29]Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
RML: Theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. 205: 102610 (2021) - [j28]Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi:
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. 30(4): 43:1-43:43 (2021) - [c110]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhanced Regular Corecursion for Data Streams. ICTCS 2021: 266-280 - [e4]Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza:
VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021. ACM 2021, ISBN 978-1-4503-8546-6 [contents] - [i5]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhanced Regular Corecursion for Data Streams. CoRR abs/2108.00281 (2021) - 2020
- [j27]Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
A big step from finite to infinite computations. Sci. Comput. Program. 197: 102492 (2020) - [j26]Francesco Dagnino, Davide Ancona, Elena Zucca:
Flexible coinductive logic programming. Theory Pract. Log. Program. 20(6): 818-833 (2020) - [c109]Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca:
Sound Regular Corecursion in coFJ. ECOOP 2020: 1:1-1:28 - [c108]Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
A Big Step from Finite to Infinite Computations (SCICO Journal-first). ECOOP 2020: 32:1-32:2 - [c107]Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi:
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS 2020: 387-399 - [c106]Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Luca Gelati, Vincenzo Petito, Francesca Vitali, Angelo Ferrando, Davide Ancona, Manuela Chessa, Nicoletta Noceti, Francesca Odone:
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. UMAP (Adjunct Publication) 2020: 119-126 - [c105]Davide Ancona, Lorenzo Benvenuto, Giorgio Delzanno, Gianluca Gambari:
Flow Programming: A Flexible way to bring the Internet of Things into the Lab. UMAP (Adjunct Publication) 2020: 155-158 - [c104]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? EXPRESS/SOS 2020: 13-32 - [c103]Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari:
Engineering Reliable Interactions in the Reality-Artificiality Continuum. AREA@ECAI 2020: 69-80 - [i4]Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca:
Sound Regular Corecursion in coFJ. CoRR abs/2005.14085 (2020) - [i3]Francesco Dagnino, Davide Ancona, Elena Zucca:
Flexible coinductive logic programming. CoRR abs/2008.02140 (2020) - [i2]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? (extended version). CoRR abs/2008.06453 (2020)
2010 – 2019
- 2019
- [j25]Davide Ancona:
Preface: Special Issue on Verification of Objects at Runtime Execution. Sci. Comput. Program. 182: 88-89 (2019) - [c102]Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Timed Trace Expressions. CILC 2019: 229-241 - [c101]Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo:
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. ENASE 2019: 434-441 - [c100]Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona:
Corecursive Featherweight Java Revisited. ICTCS 2019: 158-170 - [c99]Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
A Deterministic Event Calculus for Effective Runtime Verification. ICTCS 2019: 248-260 - [e3]Davide Ancona, Gordon Pace:
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018. EPTCS 302, 2019 [contents] - 2018
- [j24]Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi:
Preface. Fundam. Informaticae 159(1-2): v-vi (2018) - [j23]Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Davide Ancona, Giorgio Delzanno, Luca Franceschini, Marina Ribaudo:
An acceptance testing approach for Internet of Things systems. IET Softw. 12(5): 430-436 (2018) - [j22]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. Int. J. Agent Oriented Softw. Eng. 6(3/4): 402-442 (2018) - [c98]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS 2018: 1933-1935 - [c97]Davide Ancona, Francesco Dagnino, Elena Zucca:
Modeling Infinite Behaviour by Corules. ECOOP 2018: 21:1-21:31 - [c96]Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca:
Towards a Runtime Verification Approach for Internet of Things Systems. ICWE Workshops 2018: 83-96 - [c95]Davide Ancona, Francesco Dagnino, Luca Franceschini:
A formalism for specification of Java API interfaces. ISSTA/ECOOP Workshops 2018: 24-26 - [c94]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS 2018: 59-71 - [c93]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Managing Bad AIPs with RIVERtools. PAAMS 2018: 296-300 - [c92]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV 2018: 263-281 - [c91]Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca:
Semantic Subtyping for Non-Strict Languages. TYPES 2018: 4:1-4:24 - [c90]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Agents Interoperability via Conformance Modulo Mapping. WOA 2018: 109-115 - [i1]Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca:
Semantic subtyping for non-strict languages. CoRR abs/1810.05555 (2018) - 2017
- [j21]Vincenzo Del Fatto, Gabriella Dodero, Armin Bernhard, Angelo Ferrando, Davide Ancona, Viviana Mascardi, Robert Laurini, Giuseppe Roccasalva:
Hackmytown: an Educational Experience on Smart Cities. IxD&A 32: 153-164 (2017) - [j20]Davide Ancona, Paola Giannini, Elena Zucca:
Type safe incremental rebinding. Math. Struct. Comput. Sci. 27(2): 94-122 (2017) - [j19]Davide Ancona, Francesco Dagnino, Elena Zucca:
Reasoning on divergent computations with coaxioms. Proc. ACM Program. Lang. 1(OOPSLA): 81:1-81:26 (2017) - [j18]Davide Ancona:
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015). Sci. Comput. Program. 140: 1 (2017) - [c89]Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Decentralizing MAS Monitoring with DecAMon. AAMAS 2017: 239-248 - [c88]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Parametric Runtime Verification of Multiagent Systems. AAMAS 2017: 1457-1459 - [c87]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP 2017: 10:1-10:6 - [c86]Davide Ancona, Francesco Dagnino, Elena Zucca:
Generalizing Inference Systems by Coaxioms. ESOP 2017: 29-55 - [c85]Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini:
Towards an Acceptance Testing Approach for Internet of Things Systems. ICWE Workshops 2017: 125-138 - [c84]Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca:
An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. RP 2017: 59-74 - [c83]Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca:
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. ALP4IoT@iFM 2017: 27-42 - [e2]Davide Ancona:
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. ACM 2017, ISBN 978-1-4503-5526-1 [contents] - 2016
- [j17]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:
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016) - [c82]Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. EMAS@AAMAS 2016: 39-58 - [c81]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods 2016: 47-64 - [c80]Davide Ancona, Andrea Corradi:
A formal account of SSA in Java-like languages. FTfJP@ECOOP 2016: 2 - [c79]Davide Ancona, Francesco Dagnino, Elena Zucca:
Towards a model of corecursion with default. FTfJP@ECOOP 2016: 9 - [c78]Davide Ancona, Andrea Corradi:
Semantic subtyping for imperative object-oriented languages. OOPSLA 2016: 568-587 - [c77]Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi:
FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. PAAMS (Workshops) 2016: 15-26 - [c76]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. WOA 2016: 35-43 - [c75]Davide Ancona, Francesco Dagnino, Elena Zucca:
Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty 2016: 1-18 - [c74]Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya:
Structural Resolution for Abstract Compilation of Object-Oriented Languages. CoALP-Ty 2016: 19-35 - 2015
- [j16]Davide Ancona, Agostino Dovier:
A Theoretical Perspective of Coinductive Logic Programming. Fundam. Informaticae 140(3-4): 221-246 (2015) - [j15]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale 9(2): 131-148 (2015) - [j14]Davide Ancona:
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2010). Sci. Comput. Program. 97: 281 (2015) - [c73]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS 2015: 1019-1029 - [c72]Davide Ancona, Federico Frassetto:
A three-valued type system for true positives detection in Java-like languages. FTfJP@ECOOP 2015: 1:1-1:7 - [c71]Davide Ancona, Paola Giannini, Elena Zucca:
Constrained Polymorphic Types for a Calculus with Name Variables. TYPES 2015: 4:1-4:29 - [c70]Davide Ancona, Daniela Briola, Viviana Mascardi:
Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. WOA 2015: 65-75 - [c69]Davide Ancona, Paola Giannini, Elena Zucca:
Incremental Rebinding with Name Polymorphism. ICTCS 2015: 19-34 - [e1]Davide Ancona, Marco Maratea, Viviana Mascardi:
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CEUR Workshop Proceedings 1459, CEUR-WS.org 2015 [contents] - 2014
- [j13]Viviana Mascardi, Davide Ancona, Matteo Barbieri, Rafael H. Bordini, Alessandro Ricci:
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. Web Intell. Agent Syst. 12(1): 83-107 (2014) - [c68]Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert:
Exploiting Prolog for Projecting Agent Interaction Protocols. CILC 2014: 30-45 - [c67]Daniela Briola, Viviana Mascardi, Davide Ancona:
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. CILC 2014: 319-323 - [c66]Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert:
Efficient Verification of MASs with Projections. EMAS@AAMAS 2014: 246-270 - [c65]Davide Ancona:
How to prove type soundness of Java-like languages without forgoing big-step semantics. FTfJP@ECOOP 2014: 1:1-1:6 - [c64]Davide Ancona, Andrea Corradi:
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. ECOOP 2014: 282-307 - [c63]Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten:
A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) 2014: 62-73 - [c62]Daniela Briola, Viviana Mascardi, Davide Ancona:
Distributed Runtime Verification of JADE Multiagent Systems. IDC 2014: 81-91 - 2013
- [j12]Davide Ancona:
Regular corecursion in Prolog. Comput. Lang. Syst. Struct. 39(4): 142-162 (2013) - [j11]Davide Ancona:
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. 78(7): 906 (2013) - [j10]Davide Ancona, Agostino Dovier:
co-LP: Back to the Roots. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [j9]Viviana Mascardi, Davide Ancona:
Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c61]Viviana Mascardi, Daniela Briola, Davide Ancona:
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. AI*IA 2013: 300-311 - [c60]Davide Ancona, Elena Zucca:
Safe corecursion in coFJ. FTfJP@ECOOP 2013: 2:1-2:7 - [c59]Davide Ancona, Matteo Barbieri, Viviana Mascardi:
Constrained global types for dynamic checking of protocol conformance in multi-agent systems. SAC 2013: 1377-1379 - 2012
- [c58]Davide Ancona, Sophia Drossopoulou, Viviana Mascardi:
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT 2012: 76-95 - [c57]Davide Ancona, Elena Zucca:
Corecursive Featherweight Java. FTfJP@ECOOP 2012: 3-10 - [c56]Davide Ancona:
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. ECOOP 2012: 459-483 - [c55]Davide Ancona, Giovanni Lagorio:
Static Single Information Form for Abstract Compilation. IFIP TCS 2012: 10-27 - [c54]Davide Ancona, Viviana Mascardi, Ombretta Pavarino:
Ontology-based documentation extraction for semi-automatic migration of Java code. SAC 2012: 1137-1143 - [c53]Davide Ancona:
Regular corecursion in Prolog. SAC 2012: 1897-1902 - [c52]Davide Ancona, Paola Giannini, Elena Zucca:
Reconciling positional and nominal binding. ITRS 2012: 81-93 - 2011
- [j8]Davide Ancona, Giovanni Lagorio:
Idealized coinductive type systems for imperative object-oriented programs. RAIRO Theor. Informatics Appl. 45(1): 3-33 (2011) - [c51]Viviana Mascardi, Davide Ancona:
1000 Years of Coo-BDI. DALT 2011: 95-101 - [c50]Davide Ancona:
Coinductive big-step operational semantics for type soundness of Java-like languages. FTfJP@ECOOP 2011: 5:1-5:6 - [c49]Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci:
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. IAT 2011: 109-116 - 2010
- [j7]Davide Ancona, Alex Buckley:
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. 75(9): 761 (2010) - [c48]Davide Ancona, Giovanni Lagorio:
Complete coinductive subtyping for abstract compilation of object-oriented languages. FTfJP@ECOOP 2010: 1:1-1:7 - [c47]Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani:
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? FoVeOOS 2010: 31-45 - [c46]Davide Ancona, Giovanni Lagorio:
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas. GANDALF 2010: 214-230
2000 – 2009
- 2009
- [c45]Davide Ancona, Giovanni Lagorio:
Coinductive Type Systems for Object-Oriented Languages. ECOOP 2009: 2-26 - [c44]Antonio Cuni, Davide Ancona, Armin Rigo:
Faster than C#: efficient implementation of dynamic languages on .NET. ICOOOLPS@ECOOP 2009: 26-33 - [c43]Davide Ancona, Giovanni Lagorio:
An idealized coinductive type system for imperative object-oriented programs. ICTCS 2009: 19-25 - [c42]Viviana Mascardi, Davide Ancona:
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs. MALLOW 2009 - 2008
- [c41]Davide Ancona, Alex Buckley:
Special track on Object-Oriented Languages and Systems: editorial message. SAC 2008: 158-159 - [c40]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Type Inference by Coinductive Logic Programming. TYPES 2008: 1-18 - 2007
- [j6]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): 13 (2007) - [c39]Davide Ancona, Massimo Ancona, Antonio Cuni, Nicholas D. Matsakis:
RPython: a step towards reconciling dynamically and statically typed OO languages. DLS 2007: 53-64 - [c38]Davide Ancona, Elena Zucca:
A formal framework for compositional compilation. ICTCS 2007: 106-117 - [c37]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Type inference for polymorphic methods in Java-like languages. ICTCS 2007: 118-129 - [c36]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Parametric Calculus for Mobile Open Code. DCM@ICALP 2007: 3-22 - 2006
- [c35]Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58 - [c34]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC 2006: 136-154 - [c33]Davide Ancona, Mirko Viroli:
Editorial message: special track on object oriented programming languages and systems. SAC 2006: 1402-1403 - 2005
- [c32]Luigi Bozzo, Viviana Mascardi, Davide Ancona, Paolo Busetta:
COOWS: Adaptive BDI Agents meet Service-Oriented Computing. EUMAS 2005: 473 - [c31]Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37 - [c30]Davide Ancona, Rajeev R. Raje, Mirko Viroli:
Editorial message: special track on object oriented programming languages and systems. SAC 2005: 1256-1257 - [c29]Davide Ancona, Sonia Fagorzi, Elena Zucca:
Mixin Modules for Dynamic Rebinding. TGC 2005: 279-298 - [c28]Viviana Mascardi, Daniela Demergasso, Davide Ancona:
Languages for Programming BDI-style Agents: an Overview. WOA 2005: 9-15 - 2004
- [j5]Davide Ancona, Giovanni Lagorio:
Stronger Typings for Separate Compilation of Java-like Languages . J. Object Technol. 3(6): 5-25 (2004) - [c27]Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini:
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS 2004: 696-705 - [c26]Davide Ancona, Eugenio Moggi:
Program Generation and Components. FMCO 2004: 222-250 - [c25]Davide Ancona, Eugenio Moggi:
A Fresh Calculus for Name Management. GPCE 2004: 206-224 - [c24]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus with Lazy Module Operators. IFIP TCS 2004: 423-436 - [c23]Davide Ancona, Elena Zucca:
Principal typings for Java-like languages. POPL 2004: 306-317 - [c22]Davide Ancona, Rajeev R. Raje, Mirko Viroli:
Editorial message: special track on object oriented programming language and systems. SAC 2004: 1265-1266 - [c21]Sonia Fagorzi, Elena Zucca, Davide Ancona:
Modeling multiple class loaders by a calculus for dynamic linking. SAC 2004: 1281-1288 - [c20]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus for Dynamic Reconfiguration with Low Priority Linking. WOOD 2004: 3-35 - 2003
- [j4]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003) - [c19]Davide Ancona, Viviana Mascardi:
Coo-BDI: Extending the BDI Model with Cooperativity. DALT 2003: 109-134 - [c18]Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca:
Mixin Modules and Computational Effects. ICALP 2003: 224-238 - [c17]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus for Dynamic Linking. ICTCS 2003: 284-301 - 2002
- [j3]Davide Ancona, Elena Zucca:
A calculus of module systems. J. Funct. Program. 12(2): 91-132 (2002) - [j2]Davide Ancona, Elena Zucca:
A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. Math. Struct. Comput. Sci. 12(6): 701-737 (2002) - [c16]Davide Ancona, Giovanni Lagorio, Elena Zucca:
A Formal Framework for Java Separate Compilation. ECOOP 2002: 609-636 - [c15]Davide Ancona, Giovanni Lagorio, Elena Zucca:
True separate compilation of Java classes. PPDP 2002: 189-200 - 2001
- [c14]Davide Ancona, Elena Zucca:
True Modules for Java-like Languages. ECOOP 2001: 354-380 - [c13]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
An Effective Translation of Fickle into Java. ICTCS 2001: 215-234 - [c12]Davide Ancona, Giovanni Lagorio, Elena Zucca:
A Core Calculus for Java Exceptions. OOPSLA 2001: 16-30 - [c11]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A type preserving translation of Fickle into Java. TOSCA 2001: 69-82 - 2000
- [c10]Davide Ancona:
MIX(FL): A Kernel Language of Mixin Modules. AMAST 2000: 454-468 - [c9]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Jam - A Smooth Extension of Java with Mixins. ECOOP 2000: 154-178
1990 – 1999
- 1999
- [c8]Davide Ancona, Maura Cerioli, Elena Zucca:
A Formal Framework with Late Binding. FASE 1999: 30-44 - [c7]Davide Ancona, Elena Zucca:
A Primitive Calculus for Module Systems. PPDP 1999: 62-79 - [c6]Davide Ancona, Maura Cerioli, Elena Zucca:
Extending Casl by Late Binding. WADT 1999: 53-72 - 1998
- [j1]Davide Ancona, Elena Zucca:
A Theory of Mixin Modules: Basic and Derived Operators. Math. Struct. Comput. Sci. 8(4): 401-446 (1998) - [c5]Davide Ancona:
An Algebraic Framework for Separate Type-Checking. WADT 1998: 1-15 - 1997
- [c4]Davide Ancona, Elena Zucca:
Overriding Operators in a Mixin-Based Framework. PLILP 1997: 47-61 - [c3]Davide Ancona, Elena Zucca:
An algebra of mixin modules. WADT 1997: 92-106 - 1996
- [c2]Davide Ancona, Elena Zucca:
An Algebraic Approach to Mixins and Modularity. ALP 1996: 179-193 - [c1]Davide Ancona, Elena Zucca:
A Formal Framework for Modules with State. AMAST 1996: 148-162
Coauthor Index
[j32] [c116] [p1] [c115] [c114] [c111] [j29] [j28] [c107] [c106] [c104] [c103] [i2] [c102] [c99] [j24] [j22] [c98] [c94] [c93] [c92] [c90] [j21] [c89] [c88] [c87] [j17] [c82] [c81] [c77] [c76] [j15] [c73] [c70] [e1] [j13] [c68] [c67] [c66] [c62] [j9] [c61] [c59] [c58] [c54] [c51] [c49] [c42] [c32] [c28] [c27] [c19]
[j33] [j31] [c113] [c112] [i6] [c110] [i5] [j27] [j26] [c109] [c108] [i4] [i3] [c100] [c97] [c91] [i1] [j20] [j19] [c86] [c79] [c75] [c71] [c69] [c60] [c57] [c52] [c40] [j6] [c38] [c37] [c36] [c35] [c34] [c31] [c29] [c24] [c23] [c21] [c20] [j4] [c18] [c17] [j3] [j2] [c16] [c15] [c14] [c13] [c12] [c11] [c9] [c8] [c7] [c6] [j1] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
