Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems.

Davide Ancona University of Genoa, Italy http://www.disi.unige.it/person/AnconaD/ https://dl.acm.org/profile/81100231663 https://orcid.org/0000-0002-6297-2011 Hisham Unniyankal Davide Ancona Angelo Ferrando 0001 Fabio Parodi Alessandro Alessi Federico Bottino Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems. 112-118 2025 DSN-S https://doi.org/10.1109/DSN-S65789.2025.00050 conf/dsn/2025s db/conf/dsn/dsn2025s.html#UnniyankalA0PAB25 Davide Ancona Stefano Avola Angelo Ferrando 0001 Pierpaolo Baglietto Maurice H. ter Beek Andrea Parodi Giancarlo Camera Matteo Pinasco Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. 153-159 2025 DSN-S https://doi.org/10.1109/DSN-S65789.2025.00056 conf/dsn/2025s db/conf/dsn/dsn2025s.html#AnconaAFBBPCP25 Davide Ancona Angelo Ferrando 0001 On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle. 211-223 2025 ICTCS https://ceur-ws.org/Vol-4039/paper22.pdf conf/ictcs/2025 db/conf/ictcs/ictcs2025.html#Ancona025

Davide Ancona Angelo Ferrando 0001 On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle. 2025 August abs/2508.17451 CoRR https://doi.org/10.48550/arXiv.2508.17451 db/journals/corr/corr2508.html#abs-2508-17451 streams/journals/corr

Davide Ancona Adrian Francalanza Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers. 1 2024 23 J. Object Technol. 2 https://doi.org/10.5381/jot.2024.23.2.e1 db/journals/jot/jot23.html#AnconaF24

Davide Ancona Pietro Barbieri Elena Zucca Checking equivalence of corecursive streams: An inductive procedure. 114680 2024 1009 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2024.114680 db/journals/tcs/tcs1009.html#AnconaBZ24

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 VORTEX@ISSTA ACM 2024 979-8-4007-1119-0 https://doi.org/10.1145/3679008 db/conf/vortex/vortex2024.html

Débora C. Engelmann Angelo Ferrando 0001 Alison R. Panisson Davide Ancona Rafael H. Bordini Viviana Mascardi RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. 49 2023 April 12 Robotics 2 https://doi.org/10.3390/robotics12020049 db/journals/robotics/robotics12.html#EngelmannFPABM23

Davide Ancona Pietro Barbieri Elena Zucca Checked corecursive streams: Expressivity and completeness. 114081 2023 September 974 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2023.114081 db/journals/tcs/tcs974.html#AnconaBZ23

Davide Ancona Angelo Ferrando 0001 Viviana Mascardi Runtime Verification of Hash Code in Mutable Classes. 25-31 2023 FTfJP@ECOOP https://doi.org/10.1145/3605156.3606452 https://www.wikidata.org/entity/Q131124137 conf/ftfjp/2023 db/conf/ftfjp/ftfjp2023.html#Ancona0M23 Davide Ancona Angelo Ferrando 0001 Viviana Mascardi Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. 300-317 2023 Prolog: The Next 50 Years https://doi.org/10.1007/978-3-031-35254-6_25 series/lncs/13900 db/series/lncs/lncs13900.html#Ancona0M23 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 VORTEX@ISSTA ACM 2023 https://doi.org/10.1145/3605159 db/conf/vortex/vortex2023.html

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. 2022 21 J. Object Technol. 2 https://doi.org/10.5381/jot.2022.21.2.e1 db/journals/jot/jot21.html#AnconaFFHILMSW22

Davide Ancona Angelo Ferrando 0001 Viviana Mascardi Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. 154-170 2022 CILC https://ceur-ws.org/Vol-3204/paper_17.pdf conf/cilc/2022 db/conf/cilc/cilc2022.html#AnconaFM22 Davide Ancona Angelo Ferrando 0001 Viviana Mascardi Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. 22-40 2022 EUMAS https://doi.org/10.1007/978-3-031-20614-6_2 conf/eumas/2022 db/conf/eumas/eumas2022.html#AnconaFM22 Davide Ancona Pietro Barbieri Elena Zucca Enhancing Expressivity of Checked Corecursive Streams. 1-18 2022 FLOPS https://doi.org/10.1007/978-3-030-99461-7_1 conf/flops/2022 db/conf/flops/flops2022.html#AnconaBZ22 Davide Ancona Pietro Barbieri Elena Zucca Equality of Corecursive Streams Defined by Finitary Equational Systems. 86-98 2022 ICTCS https://ceur-ws.org/Vol-3284/4069.pdf conf/ictcs/2022 db/conf/ictcs/ictcs2022.html#AnconaBZ22 Débora C. Engelmann Angelo Ferrando 0001 Alison R. Panisson Davide Ancona Rafael H. Bordini Viviana Mascardi RV4JaCa - Runtime Verification for Multi-Agent Systems. AREA@IJCAI-ECAI 2022 23-36 journals/corr/abs-2207-09058 https://doi.org/10.4204/EPTCS.362.5 https://doi.org/10.48550/arXiv.2207.09708 db/series/eptcs/eptcs362.html#abs-2207-09708

Davide Ancona Pietro Barbieri Elena Zucca Enhancing expressivity of checked corecursive streams (extended version). 2022 abs/2202.06868 CoRR https://arxiv.org/abs/2202.06868 db/journals/corr/corr2202.html#abs-2202-06868

Davide Ancona Luca Franceschini Angelo Ferrando 0001 Viviana Mascardi RML: Theory and practice of a domain specific language for runtime verification. 102610 2021 205 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2021.102610 db/journals/scp/scp205.html#AnconaFFM21

Angelo Ferrando 0001 Louise A. Dennis Rafael C. Cardoso 0001 Michael Fisher 0001 Davide Ancona Viviana Mascardi Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. 43:1-43:43 2021 30 ACM Trans. Softw. Eng. Methodol. 4 https://doi.org/10.1145/3447246 db/journals/tosem/tosem30.html#FerrandoDCFAM21

Davide Ancona Pietro Barbieri Elena Zucca Enhanced Regular Corecursion for Data Streams. 266-280 2021 ICTCS https://ceur-ws.org/Vol-3072/paper22.pdf conf/ictcs/2021 db/conf/ictcs/ictcs2021.html#AnconaBZ21 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 VORTEX@ISSTA 2021 978-1-4503-8546-6 https://doi.org/10.1145/3464974 db/conf/issta/vortex2021.html

Davide Ancona Pietro Barbieri Elena Zucca Enhanced Regular Corecursion for Data Streams. 2021 abs/2108.00281 CoRR https://arxiv.org/abs/2108.00281 db/journals/corr/corr2108.html#abs-2108-00281

Davide Ancona Francesco Dagnino Jurriaan Rot Elena Zucca A big step from finite to infinite computations. 102492 2020 197 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2020.102492 db/journals/scp/scp197.html#AnconaDRZ20

Francesco Dagnino Davide Ancona Elena Zucca Flexible coinductive logic programming. 818-833 2020 20 Theory Pract. Log. Program. 6 https://doi.org/10.1017/S147106842000023X db/journals/tplp/tplp20.html#DagninoAZ20

Davide Ancona Pietro Barbieri Francesco Dagnino Elena Zucca Sound Regular Corecursion in coFJ. 1:1-1:28 2020 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2020.1 conf/ecoop/2020 db/conf/ecoop/ecoop2020.html#AnconaBDZ19 Davide Ancona Francesco Dagnino Jurriaan Rot Elena Zucca A Big Step from Finite to Infinite Computations (SCICO Journal-first). 32:1-32:2 2020 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2020.32 conf/ecoop/2020 db/conf/ecoop/ecoop2020.html#AnconaDRZ19 Angelo Ferrando 0001 Rafael C. Cardoso 0001 Michael Fisher 0001 Davide Ancona Luca Franceschini Viviana Mascardi ROSMonitoring: A Runtime Verification Framework for ROS. 387-399 2020 TAROS https://doi.org/10.1007/978-3-030-63486-5_40 conf/taros/2020 db/conf/taros/taros2020.html#FerrandoC0AFM20 Giorgio Delzanno Giovanna Guerrini Viviana Mascardi Luca Gelati Vincenzo Petito Francesca Vitali Angelo Ferrando 0001 Davide Ancona Manuela Chessa Nicoletta Noceti Francesca Odone Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. 119-126 2020 UMAP (Adjunct Publication) https://doi.org/10.1145/3386392.3399310 conf/um/2020a db/conf/um/umap2020a.html#DelzannoGMGPVFA20 Davide Ancona Lorenzo Benvenuto Giorgio Delzanno Gianluca Gambari Flow Programming: A Flexible way to bring the Internet of Things into the Lab. 155-158 2020 UMAP (Adjunct Publication) https://doi.org/10.1145/3386392.3399327 https://www.wikidata.org/entity/Q130990106 conf/um/2020a db/conf/um/umap2020a.html#AnconaBDG20 Davide Ancona Angelo Ferrando 0001 Viviana Mascardi Can determinism and compositionality coexist in RML? EXPRESS/SOS 2020 13-32 journals/corr/abs-2008-12414 https://doi.org/10.4204/EPTCS.322.4 https://arxiv.org/abs/2009.00391 db/series/eptcs/eptcs322.html#abs-2009-00391 Davide Ancona Chiara Bassano Manuela Chessa Viviana Mascardi Fabio Solari Engineering Reliable Interactions in the Reality-Artificiality Continuum. AREA@ECAI 2020 69-80 journals/corr/abs-2007-11260 https://doi.org/10.4204/EPTCS.319.6 https://arxiv.org/abs/2007.11742 db/series/eptcs/eptcs319.html#abs-2007-11742

Davide Ancona Pietro Barbieri Francesco Dagnino Elena Zucca Sound Regular Corecursion in coFJ. 2020 abs/2005.14085 CoRR https://arxiv.org/abs/2005.14085 db/journals/corr/corr2005.html#abs-2005-14085

Francesco Dagnino Davide Ancona Elena Zucca Flexible coinductive logic programming. 2020 abs/2008.02140 CoRR https://arxiv.org/abs/2008.02140 db/journals/corr/corr2008.html#abs-2008-02140

Davide Ancona Angelo Ferrando 0001 Viviana Mascardi Can determinism and compositionality coexist in RML? (extended version). 2020 abs/2008.06453 CoRR https://arxiv.org/abs/2008.06453 db/journals/corr/corr2008.html#abs-2008-06453

Davide Ancona Preface: Special Issue on Verification of Objects at Runtime Execution. 88-89 2019 182 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2019.07.005 db/journals/scp/scp182.html#Ancona19

Luca Ciccone Angelo Ferrando 0001 Davide Ancona Viviana Mascardi Timed Trace Expressions. 229-241 2019 CILC https://ceur-ws.org/Vol-2396/paper13.pdf conf/cilc/2019 db/conf/cilc/cilc2019.html#CicconeFAM19 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. 434-441 2019 ENASE https://doi.org/10.5220/0007745604340441 conf/enase/2019 db/conf/enase/enase2019.html#LeottaCFOARR19 Pietro Barbieri Francesco Dagnino Elena Zucca Davide Ancona Corecursive Featherweight Java Revisited. 158-170 2019 ICTCS https://ceur-ws.org/Vol-2504/paper19.pdf conf/ictcs/2019 db/conf/ictcs/ictcs2019.html#BarbieriDZA19 Davide Ancona Luca Franceschini Angelo Ferrando 0001 Viviana Mascardi A Deterministic Event Calculus for Effective Runtime Verification. 248-260 2019 ICTCS https://ceur-ws.org/Vol-2504/paper28.pdf conf/ictcs/2019 db/conf/ictcs/ictcs2019.html#AnconaFFM19 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. VORTEX@ECOOP/ISSTA 2019 EPTCS 302 db/series/eptcs/eptcs302.html https://doi.org/10.4204/EPTCS.302 http://arxiv.org/abs/1908.09302

Marco Maratea Viviana Mascardi Davide Ancona Alberto Pettorossi Preface. v-vi 2018 159 Fundam. Informaticae 1-2 https://doi.org/10.3233/FI-2018-1655 db/journals/fuin/fuin159.html#MarateaMAP18

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. 430-436 2018 12 IET Softw. 5 https://doi.org/10.1049/iet-sen.2017.0344 https://www.wikidata.org/entity/Q129852544 db/journals/iet-sen/iet-sen12.html#LeottaCORADFR18

Davide Ancona Angelo Ferrando 0001 Viviana Mascardi Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. 402-442 2018 6 Int. J. Agent Oriented Softw. Eng. 3/4 https://doi.org/10.1504/IJAOSE.2018.096422 https://www.wikidata.org/entity/Q128770765 db/journals/ijaose/ijaose6.html#AnconaFM18

Angelo Ferrando 0001 Louise A. Dennis Davide Ancona Michael Fisher 0001 Viviana Mascardi Recognising Assumption Violations in Autonomous Systems Verification. 1933-1935 2018 AAMAS http://dl.acm.org/citation.cfm?id=3238028 conf/atal/2018 db/conf/atal/aamas2018.html#FerrandoDA0M18 Davide Ancona Francesco Dagnino Elena Zucca Modeling Infinite Behaviour by Corules. 21:1-21:31 2018 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2018.21 conf/ecoop/2018 db/conf/ecoop/ecoop2018.html#AnconaDZ18 Maurizio Leotta Davide Ancona Luca Franceschini Dario Olianas Marina Ribaudo Filippo Ricca Towards a Runtime Verification Approach for Internet of Things Systems. 83-96 2018 ICWE Workshops https://doi.org/10.1007/978-3-030-03056-8_8 conf/icwe/2018w db/conf/icwe/icwe2018w.html#LeottaAFORR18 Davide Ancona Francesco Dagnino Luca Franceschini A formalism for specification of Java API interfaces. 24-26 2018 ISSTA/ECOOP Workshops https://doi.org/10.1145/3236454.3236476 conf/issta/2018w db/conf/issta/issta2018w.html#AnconaDF18 Davide Ancona Angelo Ferrando 0001 Luca Franceschini Viviana Mascardi Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. 59-71 2018 PAAMS https://doi.org/10.1007/978-3-319-94580-4_5 conf/paams/2018 db/conf/paams/paams2018.html#AnconaFFM18 Davide Ancona Angelo Ferrando 0001 Luca Franceschini Viviana Mascardi Managing Bad AIPs with RIVERtools. 296-300 2018 PAAMS https://doi.org/10.1007/978-3-319-94580-4_24 conf/paams/2018 db/conf/paams/paams2018.html#AnconaFFM18a Angelo Ferrando 0001 Louise A. Dennis Davide Ancona Michael Fisher 0001 Viviana Mascardi Verifying and Validating Autonomous Systems: Towards an Integrated Approach. 263-281 2018 RV https://doi.org/10.1007/978-3-030-03769-7_15 https://www.wikidata.org/entity/Q98283290 conf/rv/2018 db/conf/rv/rv2018.html#FerrandoDA0M18 Tommaso Petrucciani Giuseppe Castagna Davide Ancona Elena Zucca Semantic Subtyping for Non-Strict Languages. 4:1-4:24 2018 TYPES https://doi.org/10.4230/LIPIcs.TYPES.2018.4 conf/types/2018 db/conf/types/types2018.html#PetruccianiCAZ18 Davide Ancona Angelo Ferrando 0001 Viviana Mascardi Agents Interoperability via Conformance Modulo Mapping. 109-115 2018 WOA https://ceur-ws.org/Vol-2215/paper_18.pdf conf/woa/2018 db/conf/woa/woa2018.html#AnconaFM18

Tommaso Petrucciani Giuseppe Castagna Davide Ancona Elena Zucca Semantic subtyping for non-strict languages. 2018 abs/1810.05555 CoRR http://arxiv.org/abs/1810.05555 db/journals/corr/corr1810.html#abs-1810-05555

Vincenzo Del Fatto Gabriella Dodero Armin Bernhard Angelo Ferrando 0001 Davide Ancona Viviana Mascardi Robert Laurini Giuseppe Roccasalva Hackmytown: an Educational Experience on Smart Cities. 153-164 2017 32 IxD&A http://www.mifav.uniroma2.it/inevent/events/idea2010/index.php?s=10&a=10&link=ToC_32_P&link=32_9_abstract db/journals/ixda/ixda32.html#FattoDBFAMLR17

Davide Ancona Paola Giannini Elena Zucca Type safe incremental rebinding. 94-122 2017 27 Math. Struct. Comput. Sci. 2 https://doi.org/10.1017/S0960129515000109 db/journals/mscs/mscs27.html#AnconaGZ17

Davide Ancona Francesco Dagnino Elena Zucca Reasoning on divergent computations with coaxioms. 81:1-81:26 2017 1 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3133905 db/journals/pacmpl/pacmpl1.html#AnconaDZ17

Davide Ancona Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015). 1 2017 140 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2017.03.004 db/journals/scp/scp140.html#Ancona17

Angelo Ferrando 0001 Davide Ancona Viviana Mascardi Decentralizing MAS Monitoring with DecAMon. 239-248 2017 AAMAS http://dl.acm.org/citation.cfm?id=3091164 conf/atal/2017 db/conf/atal/aamas2017.html#FerrandoAM17 Davide Ancona Angelo Ferrando 0001 Viviana Mascardi Parametric Runtime Verification of Multiagent Systems. 1457-1459 2017 AAMAS http://dl.acm.org/citation.cfm?id=3091328 conf/atal/2017 db/conf/atal/aamas2017.html#AnconaFM17 Davide Ancona Angelo Ferrando 0001 Luca Franceschini Viviana Mascardi Parametric Trace Expressions for Runtime Verification of Java-Like Programs. 10:1-10:6 2017 FTfJP@ECOOP https://doi.org/10.1145/3103111.3104037 conf/ecoop/2017ftfjp db/conf/ecoop/ftfjp2017.html#AnconaFFM17 Davide Ancona Francesco Dagnino Elena Zucca Generalizing Inference Systems by Coaxioms. 29-55 2017 ESOP https://doi.org/10.1007/978-3-662-54434-1_2 conf/esop/2017 db/conf/esop/esop2017.html#AnconaDZ17 Maurizio Leotta Filippo Ricca Diego Clerissi Davide Ancona Giorgio Delzanno Marina Ribaudo Luca Franceschini Towards an Acceptance Testing Approach for Internet of Things Systems. 125-138 2017 ICWE Workshops https://doi.org/10.1007/978-3-319-74433-9_11 conf/icwe/2017w db/conf/icwe/icwe2017w.html#LeottaRCADRF17 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. 59-74 2017 RP https://doi.org/10.1007/978-3-319-67089-8_5 conf/rp/2017 db/conf/rp/rp2017.html#AnconaDFLPRR17 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 journals/corr/abs-1802-00976 https://doi.org/10.4204/EPTCS.264.4 http://arxiv.org/abs/1802.01790 db/series/eptcs/eptcs264.html#abs-1802-01790 Davide Ancona Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017 DLS ACM 2017 978-1-4503-5526-1 https://doi.org/10.1145/3133841 https://doi.org/10.1145/3170472 db/conf/dls/dls2017.html

Davide Ancona Viviana Bono Mario Bravetti Joana Campos 0002 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. 95-230 2016 3 Found. Trends Program. Lang. 2-3 https://doi.org/10.1561/2500000031 db/journals/ftpl/ftpl3.html#AnconaBB0CDGGGH16

Angelo Ferrando 0001 Davide Ancona Viviana Mascardi Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. 39-58 2016 EMAS@AAMAS https://doi.org/10.1007/978-3-319-50983-9_3 conf/atal/2016emas db/conf/atal/emas2016.html#FerrandoAM16 Davide Ancona Angelo Ferrando 0001 Viviana Mascardi Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. 47-64 2016 Theory and Practice of Formal Methods https://doi.org/10.1007/978-3-319-30734-3_6 conf/birthday/2016deboer db/conf/birthday/deboer2016.html#AnconaFM16 Davide Ancona Andrea Corradi A formal account of SSA in Java-like languages. 2 2016 FTfJP@ECOOP http://dl.acm.org/citation.cfm?id=2955813 conf/ecoop/2016ftfjp db/conf/ecoop/ftfjp2016.html#AnconaC16 Davide Ancona Francesco Dagnino Elena Zucca Towards a model of corecursion with default. 9 2016 FTfJP@ECOOP http://dl.acm.org/citation.cfm?id=2955820 conf/ecoop/2016ftfjp db/conf/ecoop/ftfjp2016.html#AnconaDZ16 Davide Ancona Andrea Corradi Semantic subtyping for imperative object-oriented languages. 568-587 2016 OOPSLA https://doi.org/10.1145/2983990.2983992 https://doi.org/10.1145/3022671.2983992 https://www.wikidata.org/entity/Q130949661 conf/oopsla/2016 db/conf/oopsla/oopsla2016.html#AnconaC16 Federica Aielli Davide Ancona Pasquale Caianiello Stefania Costantini Giovanni De Gasperis Antinisca Di Marco Angelo Ferrando 0001 Viviana Mascardi FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. 15-26 2016 PAAMS (Workshops) https://doi.org/10.1007/978-3-319-39387-2_2 conf/paams/2016w db/conf/paams/paams2016w.html#AielliACCGMFM16 Davide Ancona Daniela Briola Angelo Ferrando 0001 Viviana Mascardi MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. 35-43 2016 WOA https://ceur-ws.org/Vol-1664/w7.pdf conf/woa/2016 db/conf/woa/woa2016.html#AnconaBFM16 Davide Ancona Francesco Dagnino Elena Zucca Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty 2016 1-18 journals/corr/abs-1709-04199 https://doi.org/10.4204/EPTCS.258.1 http://arxiv.org/abs/1709.04901 db/series/eptcs/eptcs258.html#abs-1709-04901 Luca Franceschini Davide Ancona Ekaterina Komendantskaya Structural Resolution for Abstract Compilation of Object-Oriented Languages. CoALP-Ty 2016 19-35 journals/corr/abs-1709-04199 https://doi.org/10.4204/EPTCS.258.2 http://arxiv.org/abs/1709.04902 db/series/eptcs/eptcs258.html#abs-1709-04902

Davide Ancona Agostino Dovier A Theoretical Perspective of Coinductive Logic Programming. 221-246 2015 140 Fundam. Informaticae 3-4 https://doi.org/10.3233/FI-2015-1252 db/journals/fuin/fuin140.html#AnconaD15

Davide Ancona Daniela Briola Angelo Ferrando 0001 Viviana Mascardi Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. 131-148 2015 9 Intelligenza Artificiale 2 https://doi.org/10.3233/IA-150084 db/journals/ia/ia9.html#AnconaBFM15

Davide Ancona Preface to the special section on Object-Oriented Programming and Systems (OOPS 2010). 281 2015 97 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2014.05.018 db/journals/scp/scp97.html#Ancona15

Davide Ancona Daniela Briola Angelo Ferrando 0001 Viviana Mascardi Global Protocols as First Class Entities for Self-Adaptive Agents. 1019-1029 2015 AAMAS http://dl.acm.org/citation.cfm?id=2773282 conf/atal/2015 db/conf/atal/aamas2015.html#AnconaBFM15 Davide Ancona Federico Frassetto A three-valued type system for true positives detection in Java-like languages. 1:1-1:7 2015 FTfJP@ECOOP https://doi.org/10.1145/2786536.2786539 conf/ecoop/2015ftfjp db/conf/ecoop/ftfjp2015.html#AnconaF15 Davide Ancona Paola Giannini Elena Zucca Constrained Polymorphic Types for a Calculus with Name Variables. 4:1-4:29 2015 TYPES https://doi.org/10.4230/LIPIcs.TYPES.2015.4 conf/types/2015 db/conf/types/types2015.html#AnconaGZ15 Davide Ancona Daniela Briola Viviana Mascardi Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. 65-75 2015 WOA https://ceur-ws.org/Vol-1382/paper10.pdf conf/woa/2015 db/conf/woa/woa2015.html#AnconaBM15 Davide Ancona Paola Giannini Elena Zucca Incremental Rebinding with Name Polymorphism. 19-34 2015 conf/ictcs/2015 ICTCS https://doi.org/10.1016/j.entcs.2016.03.003 https://www.wikidata.org/entity/Q113317702 db/journals/entcs/entcs322.html#AnconaGZ16 Davide Ancona Marco Maratea Viviana Mascardi Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CILC CEUR-WS.org CEUR Workshop Proceedings 1459 2015 https://ceur-ws.org/Vol-1459 https://nbn-resolving.org/urn:nbn:de:0074-1459-5 db/conf/cilc/cilc2015.html

Viviana Mascardi Davide Ancona Matteo Barbieri Rafael H. Bordini Alessandro Ricci CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. 83-107 2014 12 Web Intell. Agent Syst. 1 https://doi.org/10.3233/WIA-140287 db/journals/wias/wias12.html#MascardiABBR14

Davide Ancona Daniela Briola Amal El Fallah Seghrouchni Viviana Mascardi Patrick Taillibert Exploiting Prolog for Projecting Agent Interaction Protocols. 30-45 2014 CILC https://ceur-ws.org/Vol-1195/long2.pdf conf/cilc/2014 db/conf/cilc/cilc2014.html#AnconaBFMT14 Daniela Briola Viviana Mascardi Davide Ancona Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. 319-323 2014 CILC https://ceur-ws.org/Vol-1195/short3.pdf conf/cilc/2014 db/conf/cilc/cilc2014.html#BriolaMA14 Davide Ancona Daniela Briola Amal El Fallah Seghrouchni Viviana Mascardi Patrick Taillibert Efficient Verification of MASs with Projections. 246-270 2014 EMAS@AAMAS https://doi.org/10.1007/978-3-319-14484-9_13 conf/dalt/2014 db/conf/dalt/emas2014.html#AnconaBFMT14 Davide Ancona How to prove type soundness of Java-like languages without forgoing big-step semantics. 1:1-1:6 2014 FTfJP@ECOOP https://doi.org/10.1145/2635631.2635846 conf/ecoop/2014ftfjp db/conf/ecoop/ftfjp2014.html#Ancona14 Davide Ancona Andrea Corradi Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. 282-307 2014 ECOOP https://doi.org/10.1007/978-3-662-44202-9_12 conf/ecoop/2014 db/conf/ecoop/ecoop2014.html#AnconaC14 Marcello M. Bonsangue Jurriaan Rot Davide Ancona Frank S. de Boer Jan J. M. M. Rutten A Coalgebraic Foundation for Coinductive Union Types. 62-73 2014 ICALP (2) https://doi.org/10.1007/978-3-662-43951-7_6 conf/icalp/2014-2 db/conf/icalp/icalp2014-2.html#BonsangueRABR14 Daniela Briola Viviana Mascardi Davide Ancona Distributed Runtime Verification of JADE Multiagent Systems. 81-91 2014 IDC https://doi.org/10.1007/978-3-319-10422-5_10 conf/idc/2014 db/conf/idc/idc2014.html#BriolaMA14

Davide Ancona Regular corecursion in Prolog. 142-162 2013 39 Comput. Lang. Syst. Struct. 4 https://doi.org/10.1016/j.cl.2013.05.001 db/journals/cl/cl39.html#Ancona13

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. 906 2013 78 Sci. Comput. Program. 7 https://doi.org/10.1016/j.scico.2013.03.006 db/journals/scp/scp78.html#Ancona13

Davide Ancona Agostino Dovier co-LP: Back to the Roots. 2013 13 Theory Pract. Log. Program. 4-5-Online-Supplement http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013006.pdf db/journals/tplp/tplp13.html#AnconaD13

Viviana Mascardi Davide Ancona Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems. 2013 13 Theory Pract. Log. Program. 4-5-Online-Supplement http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013014.pdf db/journals/tplp/tplp13.html#MascardiA13

Viviana Mascardi Daniela Briola Davide Ancona On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. 300-311 2013 AI*IA https://doi.org/10.1007/978-3-319-03524-6_26 conf/aiia/2013 db/conf/aiia/aiia2013.html#MascardiBA13 Davide Ancona Elena Zucca Safe corecursion in coFJ. 2:1-2:7 2013 FTfJP@ECOOP https://doi.org/10.1145/2489804.2489807 conf/ecoop/2013ftfjp db/conf/ecoop/ftfjp2013.html#AnconaZ13 Davide Ancona Matteo Barbieri Viviana Mascardi Constrained global types for dynamic checking of protocol conformance in multi-agent systems. 1377-1379 2013 SAC https://doi.org/10.1145/2480362.2480620 conf/sac/2013 db/conf/sac/sac2013.html#AnconaBM13 Davide Ancona Sophia Drossopoulou Viviana Mascardi Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. 76-95 2012 DALT https://doi.org/10.1007/978-3-642-37890-4_5 conf/dalt/2012 db/conf/dalt/dalt2012.html#AnconaDM12 Davide Ancona Elena Zucca Corecursive Featherweight Java. 3-10 2012 FTfJP@ECOOP https://doi.org/10.1145/2318202.2318205 conf/ecoop/2012ftfjp db/conf/ecoop/ftfjp2012.html#AnconaZ12 Davide Ancona Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. 459-483 2012 ECOOP https://doi.org/10.1007/978-3-642-31057-7_21 https://www.wikidata.org/entity/Q130952665 conf/ecoop/2012 db/conf/ecoop/ecoop2012.html#Ancona12 Davide Ancona Giovanni Lagorio Static Single Information Form for Abstract Compilation. 10-27 2012 IFIP TCS https://doi.org/10.1007/978-3-642-33475-7_2 conf/ifipTCS/2012 db/conf/ifipTCS/ifipTCS2012.html#AnconaL12 Davide Ancona Viviana Mascardi Ombretta Pavarino Ontology-based documentation extraction for semi-automatic migration of Java code. 1137-1143 2012 SAC https://doi.org/10.1145/2245276.2231955 conf/sac/2012 db/conf/sac/sac2012.html#AnconaMP12 Davide Ancona Regular corecursion in Prolog. 1897-1902 2012 SAC https://doi.org/10.1145/2245276.2232088 conf/sac/2012 db/conf/sac/sac2012.html#Ancona12 Davide Ancona Paola Giannini Elena Zucca Reconciling positional and nominal binding. ITRS 2012 81-93 https://doi.org/10.4204/EPTCS.121.6 http://arxiv.org/abs/1307.8207 journals/corr/Graham-LengrandP13 db/series/eptcs/eptcs121.html#AnconaGZ13

Davide Ancona Giovanni Lagorio Idealized coinductive type systems for imperative object-oriented programs. 3-33 2011 45 RAIRO Theor. Informatics Appl. 1 https://doi.org/10.1051/ita/2011009 db/journals/ita/ita45.html#AnconaL11

Viviana Mascardi Davide Ancona 1000 Years of Coo-BDI. 95-101 2011 DALT https://doi.org/10.1007/978-3-642-29113-5_9 conf/dalt/2011 db/conf/dalt/dalt2011.html#MascardiA11 Davide Ancona Coinductive big-step operational semantics for type soundness of Java-like languages. 5:1-5:6 2011 FTfJP@ECOOP https://doi.org/10.1145/2076674.2076679 conf/ecoop/2011ftfjp db/conf/ecoop/ftfjp2011.html#Ancona11 Viviana Mascardi Davide Ancona Rafael H. Bordini Alessandro Ricci CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. 109-116 2011 IAT https://doi.org/10.1109/WI-IAT.2011.255 https://doi.ieeecomputersociety.org/10.1109/WI-IAT.2011.255 conf/iat/2011 db/conf/iat/iat2011.html#MascardiABR11

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. 761 2010 75 Sci. Comput. Program. 9 https://doi.org/10.1016/j.scico.2009.05.006 db/journals/scp/scp75.html#AnconaB10

Davide Ancona Giovanni Lagorio Complete coinductive subtyping for abstract compilation of object-oriented languages. 1:1-1:7 2010 FTfJP@ECOOP https://doi.org/10.1145/1924520.1924521 https://www.wikidata.org/entity/Q130958393 conf/ecoop/2010ftfjp db/conf/ecoop/ftfjp2010.html#AnconaL10 Davide Ancona Andrea Corradi Giovanni Lagorio Ferruccio Damiani Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? 31-45 2010 FoVeOOS https://doi.org/10.1007/978-3-642-18070-5_3 conf/foveoos/2010 db/conf/foveoos/foveoos2010.html#AnconaCLD10 Davide Ancona Giovanni Lagorio Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas GANDALF 2010 214-230 https://doi.org/10.4204/EPTCS.25.20 http://arxiv.org/abs/1006.1413 journals/corr/abs-1006-1711 db/series/eptcs/eptcs25.html#abs-1006-1413 Davide Ancona Giovanni Lagorio Coinductive Type Systems for Object-Oriented Languages. 2-26 2009 ECOOP https://doi.org/10.1007/978-3-642-03013-0_2 conf/ecoop/2009 db/conf/ecoop/ecoop2009.html#AnconaL09 Antonio Cuni Davide Ancona Armin Rigo Faster than C#: efficient implementation of dynamic languages on .NET. 26-33 2009 ICOOOLPS@ECOOP https://doi.org/10.1145/1565824.1565828 https://www.wikidata.org/entity/Q131121151 conf/ecoop/2009icooolps db/conf/ecoop/icooolps2009.html#CuniAR09 Davide Ancona Giovanni Lagorio An idealized coinductive type system for imperative object-oriented programs. 19-25 2009 ICTCS conf/ictcs/2009 db/conf/ictcs/ictcs2009.html#AnconaL09 Viviana Mascardi Davide Ancona Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs. 2009 MALLOW https://ceur-ws.org/Vol-494/mallowawesomepaper6.pdf conf/mallow/2009 db/conf/mallow/mallow2009.html#MascardiA09 Davide Ancona Alex Buckley Special track on Object-Oriented Languages and Systems: editorial message. 158-159 2008 SAC https://doi.org/10.1145/1363686.1363731 https://www.wikidata.org/entity/Q130958397 conf/sac/2008 db/conf/sac/sac2008.html#AnconaB08 Davide Ancona Giovanni Lagorio Elena Zucca Type Inference by Coinductive Logic Programming. 1-18 2008 TYPES https://doi.org/10.1007/978-3-642-02444-3_1 conf/types/2008 db/conf/types/types2008.html#AnconaLZ08

Davide Ancona Christopher Anderson Ferruccio Damiani Sophia Drossopoulou Paola Giannini Elena Zucca A provenly correct translation of Fickle into Java. 2007 29 ACM Trans. Program. Lang. Syst. 2 https://doi.org/10.1145/1216374.1216381 db/journals/toplas/toplas29.html#AnconaADDGZ07 13

Davide Ancona Massimo Ancona Antonio Cuni Nicholas D. Matsakis RPython: a step towards reconciling dynamically and statically typed OO languages. 53-64 2007 DLS https://doi.org/10.1145/1297081.1297091 https://www.wikidata.org/entity/Q131123056 conf/dls/2007 db/conf/dls/dls2007.html#AnconaACM07 Davide Ancona Elena Zucca A formal framework for compositional compilation. 106-117 2007 ICTCS conf/ictcs/2007 db/conf/ictcs/ictcs2007.html#AnconaZ07 Davide Ancona Giovanni Lagorio Elena Zucca Type inference for polymorphic methods in Java-like languages. 118-129 2007 ICTCS conf/ictcs/2007 db/conf/ictcs/ictcs2007.html#AnconaLZ07 Davide Ancona Sonia Fagorzi Elena Zucca A Parametric Calculus for Mobile Open Code. 3-22 2007 conf/dcm/2007 DCM@ICALP https://doi.org/10.1016/j.entcs.2008.10.024 db/conf/dcm/dcm2007.html#AnconaFZ08 Davide Ancona Sophia Drossopoulou Atsushi Igarashi Gary T. Leavens Arnd Poetzsch-Heffter Elena Zucca Formal Techniques for Java-Like Programs. 53-58 2006 conf/ecoopw/2006 ECOOP Workshops https://doi.org/10.1007/978-3-540-71774-4_6 db/conf/ecoopw/ecoopw2006.html#AnconaDILPZ06 Davide Ancona Giovanni Lagorio Elena Zucca Flexible Type-Safe Linking of Components for Java-Like Languages. 136-154 2006 conf/jmlc/2006 JMLC https://doi.org/10.1007/11860990_10 db/conf/jmlc/jmlc2006.html#AnconaLZ06 Davide Ancona Mirko Viroli Editorial message: special track on object oriented programming languages and systems. 1402-1403 2006 conf/sac/2006 SAC https://doi.org/10.1145/1141277.1141603 db/conf/sac/sac2006.html#AnconaV06 Luigi Bozzo Viviana Mascardi Davide Ancona Paolo Busetta COOWS: Adaptive BDI Agents meet Service-Oriented Computing. 473 2005 conf/eumas/2005 EUMAS db/conf/eumas/eumas2005.html#BozzoMAB05 Davide Ancona Ferruccio Damiani Sophia Drossopoulou Elena Zucca Polymorphic bytecode: compositional compilation for Java-like languages. 26-37 2005 conf/popl/2005 POPL https://doi.org/10.1145/1040305.1040308 https://doi.org/10.1145/1047659.1040308 https://www.wikidata.org/entity/Q131111690 db/conf/popl/popl2005.html#AnconaDDZ05 Davide Ancona Rajeev R. Raje Mirko Viroli Editorial message: special track on object oriented programming languages and systems. 1256-1257 2005 conf/sac/2005 SAC https://doi.org/10.1145/1066677.1066962 https://www.wikidata.org/entity/Q58194545 db/conf/sac/sac2005.html#AnconaRV05 Davide Ancona Sonia Fagorzi Elena Zucca Mixin Modules for Dynamic Rebinding. 279-298 2005 conf/tgc/2005 TGC https://doi.org/10.1007/11580850_15 db/conf/tgc/tgc2005.html#AnconaFZ05 Viviana Mascardi Daniela Demergasso Davide Ancona Languages for Programming BDI-style Agents: an Overview. 9-15 2005 conf/woa/2005 WOA http://lia.deis.unibo.it/books/woa2005/papers/2.pdf db/conf/woa/woa2005.html#MascardiDA05

Davide Ancona Giovanni Lagorio Stronger Typings for Separate Compilation of Java-like Languages . 5-25 2004 3 J. Object Technol. 6 https://doi.org/10.5381/jot.2004.3.6.a1 db/journals/jot/jot3.html#AnconaL04

Davide Ancona Viviana Mascardi Jomi Fred Hübner Rafael H. Bordini Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. 696-705 2004 conf/atal/2004 AAMAS https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10077 http://dl.acm.org/citation.cfm?id=1018819 db/conf/atal/aamas2004.html#AnconaMHB04 Davide Ancona Eugenio Moggi Program Generation and Components. 222-250 2004 conf/fmco/2004 FMCO https://doi.org/10.1007/11561163_10 db/conf/fmco/fmco2004.html#AnconaM04 Davide Ancona Eugenio Moggi A Fresh Calculus for Name Management. 206-224 https://doi.org/10.1007/978-3-540-30175-2_11 2004 conf/gpce/2004 GPCE db/conf/gpce/gpce2004.html#AnconaM04 Davide Ancona Sonia Fagorzi Elena Zucca A Calculus with Lazy Module Operators. 423-436 2004 conf/ifipTCS/2004 IFIP TCS db/conf/ifipTCS/ifipTCS2004.html#AnconaFZ04 https://doi.org/10.1007/1-4020-8141-3_33 Davide Ancona Elena Zucca Principal typings for Java-like languages. 306-317 2004 conf/popl/2004 POPL https://doi.org/10.1145/964001.964027 https://doi.org/10.1145/982962.964027 db/conf/popl/popl2004.html#AnconaZ04 Davide Ancona Rajeev R. Raje Mirko Viroli Editorial message: special track on object oriented programming language and systems. 1265-1266 2004 conf/sac/2004 SAC https://doi.org/10.1145/967900.968158 db/conf/sac/sac2004.html#AnconaRV04 Sonia Fagorzi Elena Zucca Davide Ancona Modeling multiple class loaders by a calculus for dynamic linking. 1281-1288 2004 conf/sac/2004 SAC https://doi.org/10.1145/967900.968161 db/conf/sac/sac2004.html#FagorziZA04 Davide Ancona Sonia Fagorzi Elena Zucca A Calculus for Dynamic Reconfiguration with Low Priority Linking. 3-35 2004 conf/wood/2004 WOOD https://doi.org/10.1016/j.entcs.2005.09.009 db/conf/wood/wood2004.html#AnconaFZ05

Davide Ancona Giovanni Lagorio Elena Zucca Jam - designing a Java extension with mixins. 641-712 2003 25 ACM Trans. Program. Lang. Syst. 5 https://doi.org/10.1145/937563.937567 db/journals/toplas/toplas25.html#AnconaLZ03

Davide Ancona Viviana Mascardi Coo-BDI: Extending the BDI Model with Cooperativity. 109-134 https://doi.org/10.1007/978-3-540-25932-9_7 2003 conf/dalt/2003 DALT db/conf/dalt/dalt2003.html#AnconaM03 Davide Ancona Sonia Fagorzi Eugenio Moggi Elena Zucca Mixin Modules and Computational Effects. 224-238 2003 conf/icalp/2003 ICALP https://doi.org/10.1007/3-540-45061-0_20 db/conf/icalp/icalp2003.html#AnconaFMZ03 Davide Ancona Sonia Fagorzi Elena Zucca A Calculus for Dynamic Linking. 284-301 https://doi.org/10.1007/978-3-540-45208-9_23 2003 conf/ictcs/2003 ICTCS db/conf/ictcs/ictcs2003.html#AnconaFZ03

Davide Ancona Elena Zucca A calculus of module systems. 91-132 2002 12 J. Funct. Program. 2 db/journals/jfp/jfp12.html#AnconaZ02 https://doi.org/10.1017/S0956796801004257

Davide Ancona Elena Zucca A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. 701-737 2002 12 Math. Struct. Comput. Sci. 6 db/journals/mscs/mscs12.html#AnconaZ02 https://doi.org/10.1017/S0960129502003687

Davide Ancona Giovanni Lagorio Elena Zucca A Formal Framework for Java Separate Compilation. 609-636 2002 conf/ecoop/2002 ECOOP https://doi.org/10.1007/3-540-47993-7_26 db/conf/ecoop/ecoop2002.html#AnconaLZ02 Davide Ancona Giovanni Lagorio Elena Zucca True separate compilation of Java classes. 189-200 2002 conf/ppdp/2002 PPDP https://doi.org/10.1145/571157.571177 db/conf/ppdp/ppdp2002.html#AnconaLZ02 Davide Ancona Elena Zucca True Modules for Java-like Languages. 354-380 2001 conf/ecoop/2001 ECOOP https://doi.org/10.1007/3-540-45337-7_19 db/conf/ecoop/ecoop2001.html#AnconaZ01 Davide Ancona Christopher Anderson Ferruccio Damiani Sophia Drossopoulou Paola Giannini Elena Zucca An Effective Translation of Fickle into Java. 215-234 2001 conf/ictcs/2001 ICTCS https://doi.org/10.1007/3-540-45446-2_14 db/conf/ictcs/ictcs2001.html#AnconaADDGZ01 Davide Ancona Giovanni Lagorio Elena Zucca A Core Calculus for Java Exceptions. 16-30 2001 conf/oopsla/2001 OOPSLA db/conf/oopsla/oopsla2001.html#AnconaLZ01 https://doi.org/10.1145/504282.504284 https://doi.org/10.1145/504311.504284 Davide Ancona Christopher Anderson Ferruccio Damiani Sophia Drossopoulou Paola Giannini Elena Zucca A type preserving translation of Fickle into Java. 2001 conf/tosca2/2001 TOSCA 69-82 https://doi.org/10.1016/S1571-0661(04)00320-2 db/journals/entcs/entcs62.html#AnconaADDGZ01 Davide Ancona MIX(FL): A Kernel Language of Mixin Modules. 454-468 2000 conf/amast/2000 AMAST https://doi.org/10.1007/3-540-45499-3_32 db/conf/amast/amast2000.html#Ancona00 Davide Ancona Giovanni Lagorio Elena Zucca Jam - A Smooth Extension of Java with Mixins. 154-178 2000 conf/ecoop/2000 ECOOP https://doi.org/10.1007/3-540-45102-1_8 db/conf/ecoop/ecoop2000.html#AnconaLZ00 Davide Ancona Maura Cerioli Elena Zucca A Formal Framework with Late Binding. 30-44 1999 conf/fase/1999 FASE db/conf/fase/fase99.html#AnconaCZ99 https://doi.org/10.1007/978-3-540-49020-3_3 Davide Ancona Elena Zucca A Primitive Calculus for Module Systems. 62-79 1999 conf/ppdp/1999 PPDP db/conf/ppdp/ppdp1999.html#AnconaZ99 https://doi.org/10.1007/10704567_4 Davide Ancona Maura Cerioli Elena Zucca Extending Casl by Late Binding. 53-72 1999 conf/wadt/1999 WADT db/conf/wadt/wadt1999.html#AnconaCZ99 https://doi.org/10.1007/978-3-540-44616-3_4

Davide Ancona Elena Zucca A Theory of Mixin Modules: Basic and Derived Operators. 401-446 1998 8 Math. Struct. Comput. Sci. 4 db/journals/mscs/mscs8.html#AnconaZ98 http://journals.cambridge.org/action/displayAbstract?aid=44767

Davide Ancona An Algebraic Framework for Separate Type-Checking. 1-15 https://doi.org/10.1007/3-540-48483-3_1 1998 conf/wadt/1998 WADT db/conf/wadt/wadt98.html#Ancona98 Davide Ancona Elena Zucca Overriding Operators in a Mixin-Based Framework. 47-61 1997 conf/plilp/1997 PLILP db/conf/plilp/plilp97.html#AnconaZ97 https://doi.org/10.1007/BFb0033836 Davide Ancona Elena Zucca An algebra of mixin modules. 92-106 1997 conf/wadt/1997 WADT db/conf/wadt/wadt97.html#AnconaZ97 https://doi.org/10.1007/3-540-64299-4_28 Davide Ancona Elena Zucca An Algebraic Approach to Mixins and Modularity. 179-193 1996 conf/alp/1996 ALP db/conf/alp/alp96.html#AnconaZ96 https://doi.org/10.1007/3-540-61735-3_12 Davide Ancona Elena Zucca A Formal Framework for Modules with State. 148-162 1996 conf/amast/1996 AMAST db/conf/amast/amast96.html#AnconaZ96 https://doi.org/10.1007/BFb0014313 Wolfgang Ahrendt Federica Aielli Alessandro Alessi Massimo Ancona Christopher Anderson Giorgio Audrito Stefano Avola Pierpaolo Baglietto Matteo Barbieri Pietro Barbieri Chiara Bassano Maurice H. ter Beek Lorenzo Benvenuto Armin Bernhard Frank S. de Boer Viviana Bono Marcello M. Bonsangue Rafael H. Bordini Federico Bottino Luigi Bozzo Mario Bravetti Daniela Briola Alex Buckley Paolo Busetta Pasquale Caianiello Giancarlo Camera Joana Campos 0002 Rafael C. Cardoso 0001 Giuseppe Castagna Maura Cerioli Manuela Chessa Luca Ciccone Diego Clerissi Andrea Corradi Stefania Costantini Antonio Cuni Francesco Dagnino Ferruccio Damiani Giorgio Delzanno Daniela Demergasso Pierre-Malo Deniélou Louise A. Dennis Gabriella Dodero Agostino Dovier Sophia Drossopoulou Débora C. Engelmann Sonia Fagorzi Vincenzo Del Fatto Angelo Ferrando 0001 Michael Fisher 0001 Olivier Flückiger Adrian Francalanza Luca Franceschini Federico Frassetto Gianluca Gambari Giovanni De Gasperis Simon J. Gay Luca Gelati Nils Gesbert Elena Giachino Paola Giannini Giovanna Guerrini Robert Hirschfeld Raymond Hu Jomi Fred Hübner Atsushi Igarashi Einar Broch Johnsen Ekaterina Komendantskaya Giovanni Lagorio Robert Laurini Gary T. Leavens Maurizio Leotta Yu David Liu Marco Maratea Antinisca Di Marco Francisco Martins Viviana Mascardi Hidehiko Masuhara Nicholas D. Matsakis Eugenio Moggi Fabrizio Montesi Rumyana Neykova Nicholas Ng Nicoletta Noceti Francesca Odone Dario Olianas Gordon Pace Luca Padovani Alison R. Panisson Andrea Parodi Fabio Parodi Ombretta Pavarino Vincenzo Petito Tommaso Petrucciani Alberto Pettorossi Matteo Pinasco Arnd Poetzsch-Heffter Enrico Prampolini Rajeev R. Raje Marina Ribaudo Filippo Ricca Alessandro Ricci Armin Rigo Giuseppe Roccasalva Jurriaan Rot Jan RuttenJan J. M. M. Rutten Chris Seaton Amal El Fallah Seghrouchni Fabio Solari Patrick Taillibert Hisham Unniyankal Vasco Thudichum VasconcelosVasco T. Vasconcelos Mirko Viroli Francesca Vitali Harumi Watanabe Nobuko Yoshida Elena Zucca