Agrafo: a visual interface for grouping and browsing digital photos. - João Mota; Manuel J. Fonseca; Daniel Gonçalves 002; Joaquim A. Jorge (AVI, 2008)

Traffic Simulation of Lane-Merging of Autonomous Vehicles in the Context of Platooning. - Gil Domingues; João Cabral; João Mota; Pedro Pontes; Zafeiris Kokkinogenis; Rosaldo J. F. Rossetti (ISC2, 2018)

Typestates to Automata and back: a tool. - André Trindade; João Mota; António Ravara (ICE, 2020)

Java Typestate Checker. - João Mota; Marco Giunti; António Ravara (COORDINATION, 2021)

On using VeriFast, VerCors, Plural, and KeY to check object usage. - João Mota; Marco Giunti; António Ravara (CoRR, 2022)

A Java typestate checker supporting inheritance. - Lorenzo Bacchiani; Mario Bravetti; Marco Giunti; João Mota; António Ravara (Sci. Comput. Program., 2022)

On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). - João Mota; Marco Giunti; António Ravara (ECOOP, 2023)

Behavioural Up/down Casting For Statically Typed Languages. - Lorenzo Bacchiani; Mario Bravetti; Marco Giunti; João Mota; António Ravara (ECOOP, 2024)

Check-Bit Region Exploration in Two-Dimensional Error Correction Codes. - David C. C. Freitas; David F. M. Mota; David Coelho; Humberto Fontinele; Alexandre Coelho; Jarbas Silveira; Lirida Naviner; João Mota; César A. M. Marcon (IEEE Access, 2024)