Pablo Abad

According to our database, Pablo Abad authored at least 2 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2009

Improving topological maps for safer and robust navigation.

Ana Cristina Murillo, Pablo Abad, José Jesús Guerrero, Carlos Sagüés

Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009