| A Comparison of Upper Ontologies. V Mascardi, V Cordì, P Rosso Woa 2007, 55-64, 2007 | 208 | 2007 |
| Automatic ontology matching via upper ontologies: A systematic evaluation V Mascardi, A Locoro, P Rosso IEEE Transactions on knowledge and data engineering 22 (5), 609-623, 2009 | 178 | 2009 |
| 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 | 116 | 2016 |
| Languages for Programming BDI-style Agents: an Overview. V Mascardi, D Demergasso, D Ancona WOA 2005, 9-15, 2005 | 72 | 2005 |
| 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 | 64 | 2012 |
| Coo-BDI: Extending the BDI model with cooperativity D Ancona, V Mascardi International Workshop on Declarative Agent Languages and Technologies, 109-134, 2003 | 60 | 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 | 58 | 2004 |
| Logic-based specification languages for intelligent software agents V Mascardi, M Martelli, L Sterling Theory and Practice of Logic Programming 4 (4), 429-494, 2004 | 58 | 2004 |
| Comparing environments for developing software agents T Eiter, V Mascardi AI Communications 15 (4), 169-197, 2002 | 57 | 2002 |
| An ontology-based similarity between sets of concepts V Cordı, P Lombardi, M Martelli, V Mascardi Proceedings of WOA, Italy, 16-21, 2005 | 55 | 2005 |
| An agent-based framework for sketched symbol interpretation G Casella, V Deufemia, V Mascardi, G Costagliola, M Martelli Journal of Visual Languages & Computing 19 (2), 225-257, 2008 | 43 | 2008 |
| Logic Programming and Multi-Agent Systems: A synergic combination for applications and semantics M Bozzano, G Delzanno, M Martelli, V Mascardi, F Zini The Logic Programming Paradigm, 5-32, 1999 | 42 | 1999 |
| 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 | 38 | 2016 |
| Parametric Runtime Verification of Multiagent Systems. D Ancona, A Ferrando, V Mascardi AAMAS 17, 1457-1459, 2017 | 37 | 2017 |
| COOWS: Adaptive BDI Agents meet Service-Oriented Computing. L Bozzo, V Mascardi, D Ancona, P Busetta EUMAS, 473, 2005 | 36 | 2005 |
| Specification and Simulation of Multi-Agent Systems in CaseLP. M Martelli, V Mascardi, F Zini APPIA-GULP-PRODE, 13-28, 1999 | 34 | 1999 |
| Customizing AOSE methodologies by reusing AOSE features T Juan, L Sterling, M Martelli, V Mascardi Proceedings of the second international joint conference on Autonomous …, 2003 | 33 | 2003 |
| 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 | 27 | 2015 |
| Distributed runtime verification of JADE multiagent systems D Briola, V Mascardi, D Ancona Intelligent Distributed Computing VIII, 81-91, 2015 | 27 | 2015 |
| Agents, multi-agent systems and declarative programming: What, when, where, why, who, how? M Baldoni, C Baroglio, V Mascardi, A Omicini, P Torroni A 25-year perspective on logic programming, 204-230, 2010 | 27 | 2010 |
