| RPython: a step towards reconciling dynamically and statically typed OO languages D Ancona, M Ancona, A Cuni, ND Matsakis Proceedings of the 2007 symposium on Dynamic languages, 53-64, 2007 | 194 | 2007 |
| Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016 | 149 | 2016 |
| A calculus of module systems D Ancona, E Zucca Journal of functional programming 12 (2), 91-132, 2002 | 135 | 2002 |
| Jam-a smooth extension of Java with mixins D Ancona, G Lagorio, E Zucca European Conference on Object-Oriented Programming, 154-178, 2000 | 127 | 2000 |
| Jam---designing a Java extension with mixins D Ancona, G Lagorio, E Zucca ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (5), 641-712, 2003 | 90 | 2003 |
| Languages for Programming BDI-style Agents: an Overview. V Mascardi, D Demergasso, D Ancona WOA 2005, 9-15, 2005 | 82 | 2005 |
| A theory of mixin modules: Basic and derived operators D Ancona, E Zucca Mathematical structures in computer science 8 (4), 401-446, 1998 | 80 | 1998 |
| Polymorphic bytecode: Compositional compilation for Java-like languages D Ancona, F Damiani, S Drossopoulou, E Zucca Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 78 | 2005 |
| True modules for Java-like languages D Ancona, E Zucca European Conference on Object-Oriented Programming, 354-380, 2001 | 70 | 2001 |
| A primitive calculus for module systems D Ancona, E Zucca International Conference on Principles and Practice of Declarative …, 1999 | 70 | 1999 |
| Automatic generation of self-monitoring MASs from multiparty global session types in Jason D Ancona, S Drossopoulou, V Mascardi International Workshop on Declarative Agent Languages and Technologies, 76-95, 2012 | 65 | 2012 |
| Coo-BDI: Extending the BDI model with cooperativity D Ancona, V Mascardi International Workshop on Declarative Agent Languages and Technologies, 109-134, 2003 | 62 | 2003 |
| Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange D Ancona, V Mascardi, JF Hubner, RH Bordini Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004 | 61 | 2004 |
| Parametric Runtime Verification of Multiagent Systems. D Ancona, A Ferrando, V Mascardi AAMAS 17, 1457-1459, 2017 | 43 | 2017 |
| Comparing trace expressions and linear temporal logic for runtime verification D Ancona, A Ferrando, V Mascardi Theory and Practice of Formal Methods, 47-64, 2016 | 42 | 2016 |
| Principal typings for Java-like languages D Ancona, E Zucca Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 39 | 2004 |
| Coinductive type systems for object-oriented languages D Ancona, G Lagorio European Conference on Object-Oriented Programming, 2-26, 2009 | 36 | 2009 |
| COOWS: Adaptive BDI Agents meet Service-Oriented Computing. L Bozzo, V Mascardi, D Ancona, P Busetta EUMAS, 473, 2005 | 36 | 2005 |
| Intraoperative graft patency verification: Should you trust your fingertips? D Ancona Intraoperative Flow Measurement in Coronary Artery Surgery, 119, 2000 | 36 | 2000 |
| An algebraic approach to mixins and modularity D Ancona, E Zucca International Conference on Algebraic and Logic Programming, 179-193, 1996 | 35 | 1996 |
