Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. - Gleifer V. Alves; Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (WoLLIC, 2009)

Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property. - Gleifer V. Alves; Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (Fundam. Informaticae, 2011)

N-GraphML: Language and Formal Grammar for Proof-Graphs. - Daniel Vaz dos Santos; Lucas Fernando Souza de Castro; Gleifer Vaz Alves (WEIT, 2013)

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. - Lucas E. R. Fernandes; Vinicius Custodio; Gleifer V. Alves; Michael Fisher 001 (FVAV@iFM, 2017)

Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. - Gleifer Vaz Alves; Louise A. Dennis; Michael Fisher 001 (FM Workshops (1), 2019)

Experimentation of Negotiation Protocols for Consensus Problems in Smart Parking Systems. - Bruno Rafael Alves; Gleifer Vaz Alves; André Pinz Borges; Paulo Leitão (HoloMAS, 2019)

Development of Agent-Based CPS for Smart Parking Systems. - Lucas Sakurada; José Barbosa; Paulo Leitão; Gleifer V. Alves; André Pinz Borges; Pedro Botelho (IECON, 2019)

Bio-Inspired Protocols for Embodied Multi-Agent Systems. - Vinicius Souza de Jesus; Carlos Eduardo Pantoja; Fabian Cesar Pereira Brandão Manoel; Gleifer Vaz Alves; José Viterbo; Eduardo Bezerra 002 (ICAART (1), 2021)

Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules. - Maike Schwammberger; Gleifer Vaz Alves (FMAS, 2021)

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. - Gleifer Vaz Alves; Louise Abigail Dennis; Michael Fisher 001 (J. Sens. Actuator Networks, 2021)

Integrating a Multi-Agent Smart Parking System using Cloud Technologies. - Milton Boos Junior; Lucas Sakurada; Paulo Leitão; Paulo Alves; Gleifer Vaz Alves; André Pinz Borges; Diego Roberto Antunes (ICEIS (1), 2022)

Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process. - Maike Schwammberger; Christopher Harper; Gleifer Vaz Alves; Greg Chance; Tony Pipe; Kerstin Eder (CoRR, 2022)

Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata. - Gleifer Vaz Alves; Maike Schwammberger (FMAS/ASYDE@SEFM, 2022)

Integrating Embedded Multiagent Systems with Urban Simulation Tools and IoT Applications. - Lucas Fernando Souza de Castro; Fabian Cesar Pereira Brandão Manoel; Vinicius Souza de Jesus; Carlos Eduardo Pantoja; André Pinz Borges; Gleifer Vaz Alves (RITA, 2022)

An IDE to Support the Development of Embedded Multi-Agent Systems. - Vinicius Souza de Jesus; Nilson Mori Lazarin; Carlos Eduardo Pantoja; Gleifer Vaz Alves; Gabriel Ramos Alves de Lima; José Viterbo (PAAMS, 2023)

A middleware for providing communicability to Embedded MAS based on the lack of connectivity. - Vinicius Souza de Jesus; Nilson Mori Lazarin; Carlos Eduardo Pantoja; Fabian Cesar Pereira Brandão Manoel; Gleifer Vaz Alves; José Viterbo (Artif. Intell. Rev., 2023)

Real-Time Rule-Based Monitoring Tool to Achieve Zero Defect Manufacturing. - Julio Costa; Alexandre O. Júnior; José Barbosa; Gleifer V. Alves; André Pinz Borges; Gisela García; Rui Pires; Paulo Leitao (SOHOMA, 2024)

Designing Value-Aligned Traffic Agents through Conflict Sensitivity. - Astrid Rakow; Joe Collenette; Maike Schwammberger; Marija Slavkovik 001; Gleifer V. Alves (CoRR, 2025)