Seguir
Gleifer Vaz Alves
Título
Citado por
Citado por
Ano
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
352017
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
262019
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
232018
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
172021
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
172019
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
152019
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
142019
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
122011
Extending urban multi-lane spatial logic to formalise road junction rules
M Schwammberger, GV Alves
arXiv preprint arXiv:2110.12583, 2021
102021
Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent
GV Alves, L Dennis, M Fisher
International Workshop on Verification and Validation of Autonomous Systems, 1-2, 2018
82018
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
82015
Bio-Inspired Protocols for Embodied Multi-Agent Systems.
VS de Jesus, CE Pantoja, FCPB Manoel, GV Alves, J Viterbo, E Bezerra
ICAART (1), 312-320, 2021
72021
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
72000
Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
G Vaz Alves
Universidade Federal de Pernambuco, 2009
62009
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
62009
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
52022
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
52018
Towards normalization for proof-graphs
GV Alves, AG de Oliveira, R de Queiroz
Logic Colloquium, Bulletin of Symbolic Logic, Torino, United States of …, 2005
52005
Um Editor de Provas para a Lógica Proposicional
GV Alves, GP Dimuro, ACR Costa
Conferencia Latinoamericana de Informatica 27, 2001
52001
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20