| A Comparison of Upper Ontologies. V Mascardi, V Cordì, P Rosso Woa 2007, 55-64, 2007 | 272 | 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 | 203 | 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 | 170 | 2016 |
| Languages for Programming BDI-style Agents: an Overview. V Mascardi, D Demergasso, D Ancona WOA 2005, 9-15, 2005 | 87 | 2005 |
| Consensus statement of the Italian society of pediatric allergy and immunology for the pragmatic management of children and adolescents with allergic or immunological diseases … F Cardinale, G Ciprandi, S Barberi, R Bernardini, C Caffarelli, M Calvani, ... Italian journal of pediatrics 46 (1), 1-14, 2020 | 77 | 2020 |
| 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 | 70 | 2013 |
| 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 | 63 | 2004 |
| Coo-BDI: Extending the BDI model with cooperativity D Ancona, V Mascardi Declarative Agent Languages and Technologies: First International Workshop …, 2004 | 62 | 2004 |
| Logic-based technologies for multi-agent systems: a systematic literature review R Calegari, G Ciatto, V Mascardi, A Omicini Autonomous Agents and Multi-Agent Systems 35 (1), 1, 2021 | 61 | 2021 |
| 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 | 60 | 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 | 56 | 2005 |
| Towards a framework for certification of reliable autonomous systems M Fisher, V Mascardi, KY Rozier, BH Schlingloff, M Winikoff, ... Autonomous Agents and Multi-Agent Systems 35, 1-65, 2021 | 51 | 2021 |
| Parametric Runtime Verification of Multiagent Systems. D Ancona, A Ferrando, V Mascardi AAMAS 17, 1457-1459, 2017 | 48 | 2017 |
| 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 | 48 | 2016 |
| 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 | 47 | 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: a 25-Year Perspective, 5-32, 1999 | 44 | 1999 |
| 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 | 38 | 2015 |
| 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 | 36 | 2020 |
| COOWS: Adaptive BDI Agents meet Service-Oriented Computing. L Bozzo, V Mascardi, D Ancona, P Busetta EUMAS, 473, 2005 | 36 | 2005 |
