Verifying GSM-Based Business Artifacts. - Pavel Gonzalez; Andreas Griesmayer; Alessio Lomuscio (ICWS, 2012)

Automated Verification of Quantum Protocols using MCMAS - Francesco Belardinelli; Pavel Gonzalez; Alessio Lomuscio (QAPL, 2012)

Model Checking GSM-Based Multi-Agent Systems. - Pavel Gonzalez; Andreas Griesmayer; Alessio Lomuscio (ICSOC Workshops, 2013)

Model checking GSM-based multi-agent systems. - Pavel Gonzalez (2014)

Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction. - Pavel Gonzalez; Andreas Griesmayer; Alessio Lomuscio (ICSOC, 2015)

Head-up Displays (HUD) in driving. - Marcos Maroto; Enrique Caño; Pavel Gonzalez; Diego Villegas (CoRR, 2018)

Multi-LiDAR Mapping for Scene Segmentation in Indoor Environments for Mobile Robots. - Pavel Gonzalez; Alicia Mora; Santiago Garrido; Ramón Barber; Luis Moreno 001 (Sensors, 2022)

Intensity-Based Identification of Reflective Surfaces for Occupancy Grid Map Modification. - Alicia Mora; Adrián Prados; Pavel Gonzalez; Luis Moreno 001; Ramón Barber (IEEE Access, 2023)

ADAM: a robotic companion for enhanced quality of life in aging populations. - Alicia Mora; Adrián Prados; Alberto Mendez; Gonzalo Espinoza; Pavel Gonzalez; Blanca López 001; Víctor Muñoz; Luis Moreno 001; Santiago Garrido; Ramón Barber (Frontiers Neurorobotics, 2024)