| Using trust degree for agents in order to assign spots in a Smart Parking. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal (ISSN: 2255-2863) LFS De Castro, GV Alves, AP Borges Salamanca 6 (2), 2017 | 71* | 2017 |
| A rational agent controlling an autonomous vehicle: Implementation and formal verification LER Fernandes, V Custodio, GV Alves, M Fisher arXiv preprint arXiv:1709.02557, 2017 | 33 | 2017 |
| Development of agent-based cps for smart parking systems L Sakurada, J Barbosa, P Leitão, G Alves, AP Borges, P Botelho IECON 2019-45th Annual Conference of the IEEE Industrial Electronics Society …, 2019 | 26 | 2019 |
| Development of a Middleware between SUMO simulation tool and JaCaMo framework A Van Haare Heijmeijer, GV Alves ADCAIJ: Advances in Distributed Computing and Artificial Intelligence …, 2018 | 23 | 2018 |
| A double-level model checking approach for an agent-based autonomous vehicle and road junction regulations GV Alves, L Dennis, M Fisher Journal of Sensor and Actuator Networks 10 (3), 41, 2021 | 17 | 2021 |
| Formalisation and implementation of road junction rules on an autonomous vehicle modelled as an agent GV Alves, L Dennis, M Fisher International Symposium on Formal Methods, 217-232, 2019 | 16 | 2019 |
| Experimentation of negotiation protocols for consensus problems in smart parking systems BR Alves, GV Alves, AP Borges, P Leitão Industrial Applications of Holonic and Multi-Agent Systems: 9th …, 2019 | 16 | 2019 |
| Reliable decision-making in autonomous vehicles GV Alves, L Dennis, L Fernandes, M Fisher Validation and verification of automated systems: Results of the ENABLE-S3 …, 2019 | 13 | 2019 |
| Proof-graphs: a thorough cycle treatment, normalization and subformula property GV Alves, AG de Oliveira, R de Queiroz Fundamenta Informaticae 106 (2-4), 119-147, 2011 | 12 | 2011 |
| Extending urban multi-lane spatial logic to formalise road junction rules M Schwammberger, GV Alves arXiv preprint arXiv:2110.12583, 2021 | 8 | 2021 |
| Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent G Alves, LA Dennis | 8 | 2018 |
| Smart Parking: mecanismo de leilão de vagas de estacionamento usando reputação entre agentes WRC Gonçalves, GV Alves Anais do IX Workshop-Escola de Sistemas de Agentes, seus Ambientes e …, 2015 | 8 | 2015 |
| Bio-Inspired Protocols for Embodied Multi-Agent Systems. VS de Jesus, CE Pantoja, F Manoel, GV Alves, J Viterbo, E Bezerra ICAART (1), 312-320, 2021 | 7 | 2021 |
| Materiais Didáticos Interativos para o Ensino Integrado dos Fundamentos da Computação GV Alves, RM Miranda, MH Islabão, GP Dimuro, ACR Costa, GD Duarte Conferencia Latinoamericana de Informatica, 2000 | 7 | 2000 |
| Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques G Vaz Alves Universidade Federal de Pernambuco, 2009 | 6 | 2009 |
| Transformations via geometric perspective techniques augmented with cycles normalization GV Alves, AG de Oliveira, R de Queiroz Logic, Language, Information and Computation: 16th International Workshop …, 2009 | 6 | 2009 |
| Integrating embedded multiagent systems with urban simulation tools and IoT applications LFS de Castro, FCPB Manoel, VS de Jesus, CE Pantoja, AP Borges, ... Revista de Informática Teórica e Aplicada 29 (1), 81-90, 2022 | 5 | 2022 |
| Developing a smart parking solution based on a holonic multiagent system using JaCaMo framework LF de Castro, AP Borges, GV Alves, CP Grossa Proceedings of the 12th workshop-school on agents, environments, and …, 2018 | 5 | 2018 |
| Towards normalization for proof-graphs GV Alves, AG de Oliveira, R de Queiroz Logic Cooloquium, Bulletin of Symbolic Logic, 302-303, 2005 | 5 | 2005 |
| Um Editor de Provas para a Lógica Proposicional GV Alves, GP Dimuro, ACR Costa Conferencia Latinoamericana de Informatica 27, 2001 | 5 | 2001 |
Lucas Fernando Souza de CastroPhD Student at University of CampinasVerified email at ic.unicamp.br
