| A Multi-Agent Extension of a Hierarchical Task Network Planning Formalism. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal (ISSN: 2255-2863) RC Cardoso, RH Bordini Salamanca 6 (2), 2017 | 35 | 2017 |
| A multi-agent extension of a hierarchical task network planning formalism RC Cardoso, RH Bordini Ediciones Universidad de Salamanca (España), 2017 | 24 | 2017 |
| Towards benchmarking actor-and agent-based programming languages RC Cardoso, MR Zatelli, JF Hübner, RH Bordini Proceedings of the 2013 workshop on Programming based on actors, agents, and …, 2013 | 18 | 2013 |
| A distributed online multi-agent planning system RC Cardoso, RH Bordini Proceedings of 4th Workshop on Distributed and Multi-Agent Planning (DMAP …, 2016 | 14 | 2016 |
| Validation of hierarchical plans via parsing of attribute grammars R Barták, A Maillard, R Cardoso Proceedings of the International Conference on Automated Planning and …, 2018 | 11 | 2018 |
| Benchmarking communication in actor-and agent-based languages RC Cardoso, JF Hübner, RH Bordini International Workshop on Engineering Multi-Agent Systems, 58-77, 2013 | 10 | 2013 |
| SMART-JaCaMo: an organization-based team for the multi-agent programming contest RC Cardoso, T Krausburg, T Baségio, DC Engelmann, JF Hübner, ... Annals of Mathematics and Artificial Intelligence 84 (1), 75-93, 2018 | 8 | 2018 |
| Aspectos radiográficos intratorácicos da paracoccidioidomicose. Revisão de 170 casos MFA Cruz, RA Santos Filho, RC Cardoso, A Prando, RM Pereira Radiol bras 22, 169-77, 1989 | 8 | 1989 |
| Decentralised planning for multi-agent programming platforms RC Cardoso, RH Bordini AAMAS'19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS …, 2019 | 7 | 2019 |
| Team PUCRS: a decentralised multi-agent solution for the agents in the city scenario RC Cardoso, RF Pereira, G Krzisch, MC Magnaguagno, T Baségio, ... International Journal of Agent-Oriented Software Engineering 6 (1), 3-34, 2018 | 7 | 2018 |
| Limitations and divergences in approaches for agent-oriented modelling and programming A Freitas, RC Cardoso, R Vieira, RH Bordini Proceedings of EMAS-2016, 2016, Cingapura., 2016 | 7 | 2016 |
| A modular framework for decentralised multi-agent planning RC Cardoso, RH Bordini Proceedings of the 16th International Conference on Autonomous Agents …, 2017 | 6 | 2017 |
| Allocating social goals using the contract net protocol in online multi-agent planning RC Cardoso, RH Bordini 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 199-204, 2016 | 6 | 2016 |
| Heterogeneous verification of an autonomous curiosity rover RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher NASA Formal Methods Symposium, 353-360, 2020 | 5 | 2020 |
| Benchmarking communication in agent-and actor-based languages RC Cardoso, JF Hübner, RH Bordini Proceedings of AAMAS-2013, 2013, Estados Unidos., 2013 | 5 | 2013 |
| ROSMonitoring: A Runtime Verification Framework for ROS A Ferrando, RC Cardoso, M Fisher, D Ancona, L Franceschini, ... Annual Conference Towards Autonomous Robotic Systems, 387-399, 2020 | 4 | 2020 |
| SMART–JaCaMo: An organisation-based team for the multi-agent programming contest T Krausburg, RC Cardoso, J Damasio, V Peres, GP Farias, ... Multi-Agent Progamming Contest, 72-100, 2018 | 4 | 2018 |
| An Interface for Programming Verifiable Autonomous Agents in ROS RC Cardoso, A Ferrando, LA Dennis, M Fisher Multi-Agent Systems and Agreement Technologies, 191-205, 2020 | 3 | 2020 |
| Lfc: Combining autonomous agents and automated planning in the multi-agent programming contest RC Cardoso, A Ferrando, F Papacchini Multi-Agent Progamming Contest, 31-58, 2019 | 3 | 2019 |
| Modular verification of autonomous space robotics M Farrell, RC Cardoso, LA Dennis, C Dixon, M Fisher, G Kourtis, A Lisitsa, ... arXiv preprint arXiv:1908.10738, 2019 | 2 | 2019 |
