2RE: A Multi-Sensor Based Path Finding Autonomous Exploration Robot System. - Fan Wu; Miguel Cabral (IC-AI, 2010)

SAT-Based Leximax Optimisation Algorithms. - Miguel Cabral; Mikolás Janota; Vasco Manquinho (SAT, 2022)