Improving topological maps for safer and robust navigation. - Ana Cristina Murillo; Pablo Abad; José Jesús Guerrero; Carlos Sagüés (IROS, 2009)

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. - Pablo Abad; Nazareno Aguirre; Valeria S. Bengolea; Daniel Alfredo Ciolek; Marcelo F. Frias; Juan P. Galeotti; Tom Maibaum; Mariano M. Moscato; Nicolás Rosner; Ignacio Vissani (ICST, 2013)