Concepedia

Gleifer Vaz Alves

GV

Statistics

Publications

8

Citations

153

H-Index

8

Active since

2017

Affiliations

Universidade Tecnológica Federal do Paraná(Current)

Federal Center for Technological Education Celso Suckow da Fonseca

Gleifer Vaz Alves is an author at Universidade Tecnológica Federal do Paraná specializing in autonomous systems, computing, and intelligent agents.

Publications per year

2017–2022

8

Publications

8

Using trust degree for agents in order to assign spots in a Smart Parking

Lucas Fernando Souza de Castro, Gleifer Vaz Alves, André Pinz Borges · ADCAIJ ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL · 2017 · 28 citations · Full text

Computing, Autonomous Systems, Distributed Systems +12

Using trust degree for agents in order to assign spots in a Smart Parking

Lucas Fernando Souza de Castro, Gleifer Vaz Alves, André Pinz Borges · ADCAIJ ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL · 2017 · 25 citations · Full text

Computing, Autonomous Systems, Distributed Systems +12

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

Lucas Fernandes, Vinícius Monte Custódio, Gleifer Vaz Alves et al. · Electronic Proceedings in Theoretical Computer Science · 2017 · 24 citations · Full text

Computing, Autonomous Systems, Systems Engineering +17

Development of a Middleware between SUMO simulation tool and JaCaMo framework

Alexis Van Haare Heijmeijer, Gleifer Vaz Alves · ADCAIJ ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL · 2018 · 22 citations · Full text

Engineering, Systems Engineering, Automation +16

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations

Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher · Journal of Sensor and Actuator Networks · 2021 · 18 citations · Full text

Computing, Autonomous Systems, Computer Science +17

1–5 of 8