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 | 216 | 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 | 201 | 2016 |
A calculus of module systems D Ancona, E Zucca Journal of functional programming 12 (2), 91-132, 2002 | 139 | 2002 |
Jam-a smooth extension of java with mixins D Ancona, G Lagorio, E Zucca European Conference on Object-Oriented Programming, 154-178, 2000 | 128 | 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 | 94 | 2003 |
Languages for Programming BDI-style Agents: an Overview. V Mascardi, D Demergasso, D Ancona WOA 2005, 9-15, 2005 | 88 | 2005 |
A theory of mixin modules: Basic and derived operators D Ancona, E Zucca Mathematical structures in computer science 8 (4), 401-446, 1998 | 83 | 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 | 76 | 2005 |
Automatic generation of self-monitoring MASs from multiparty global session types in Jason D Ancona, S Drossopoulou, V Mascardi Declarative Agent Languages and Technologies X: 10th International Workshop …, 2013 | 72 | 2013 |
A primitive calculus for module systems D Ancona, E Zucca International Conference on Principles and Practice of Declarative …, 1999 | 71 | 1999 |
True modules for Java-like languages D Ancona, E Zucca European Conference on Object-Oriented Programming, 354-380, 2001 | 68 | 2001 |
Coo-BDI: Extending the BDI model with cooperativity D Ancona, V Mascardi International Workshop on Declarative Agent Languages and Technologies, 109-134, 2003 | 65 | 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 | 64 | 2004 |
ROSMonitoring: a runtime verification framework for ROS A Ferrando, RC Cardoso, M Fisher, D Ancona, L Franceschini, ... Towards Autonomous Robotic Systems: 21st Annual Conference, TAROS 2020 …, 2020 | 61 | 2020 |
Comparing trace expressions and linear temporal logic for runtime verification D Ancona, A Ferrando, V Mascardi Theory and practice of formal methods: Essays dedicated to Frank de Boer on …, 2016 | 57 | 2016 |
Parametric Runtime Verification of Multiagent Systems. D Ancona, A Ferrando, V Mascardi AAMAS 17, 1457-1459, 2017 | 56 | 2017 |
Global protocols as first class entities for self-adaptive agents D Ancona, D Briola, A Ferrando, V Mascardi Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015 | 41 | 2015 |
Distributed runtime verification of JADE multiagent systems D Briola, V Mascardi, D Ancona Intelligent Distributed Computing VIII, 81-91, 2015 | 41 | 2015 |
Principal typings for Java-like languages D Ancona, E Zucca Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 38 | 2004 |
Intraoperative graft patency verification: Should you trust your fingertips? G D’Ancona, HL Karamanoukian, M Ricci, S Schmid, I Spanu, L Apfel, ... The Heart surgery forum 3 (2), E99-E102, 2000 | 38 | 2000 |