Follow
Gleifer Vaz Alves
Title
Cited by
Cited by
Year
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
332017
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
162019
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
132019
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
92021
Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent
G Alves, LA Dennis
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, F 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 Cooloquium, Bulletin of Symbolic Logic, 302-303, 2005
52005
Um Editor de Provas para a Lógica Proposicional
GV Alves, GP Dimuro, ACR Costa
Conferencia Latinoamericana de Informatica 27, 2001
52001
The system can't perform the operation now. Try again later.
Articles 1–20