Follow
Davide Ancona
Davide Ancona
Genova
Verified email at unige.it
Title
Cited by
Cited by
Year
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
2162007
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
2012016
A calculus of module systems
D Ancona, E Zucca
Journal of functional programming 12 (2), 91-132, 2002
1392002
Jam-a smooth extension of java with mixins
D Ancona, G Lagorio, E Zucca
European Conference on Object-Oriented Programming, 154-178, 2000
1282000
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
942003
Languages for Programming BDI-style Agents: an Overview.
V Mascardi, D Demergasso, D Ancona
WOA 2005, 9-15, 2005
882005
A theory of mixin modules: Basic and derived operators
D Ancona, E Zucca
Mathematical structures in computer science 8 (4), 401-446, 1998
831998
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
762005
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
722013
A primitive calculus for module systems
D Ancona, E Zucca
International Conference on Principles and Practice of Declarative …, 1999
711999
True modules for Java-like languages
D Ancona, E Zucca
European Conference on Object-Oriented Programming, 354-380, 2001
682001
Coo-BDI: Extending the BDI model with cooperativity
D Ancona, V Mascardi
International Workshop on Declarative Agent Languages and Technologies, 109-134, 2003
652003
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
642004
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
612020
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
572016
Parametric Runtime Verification of Multiagent Systems.
D Ancona, A Ferrando, V Mascardi
AAMAS 17, 1457-1459, 2017
562017
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
412015
Distributed runtime verification of JADE multiagent systems
D Briola, V Mascardi, D Ancona
Intelligent Distributed Computing VIII, 81-91, 2015
412015
Principal typings for Java-like languages
D Ancona, E Zucca
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
382004
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
382000
The system can't perform the operation now. Try again later.
Articles 1–20