Automating Proofs of Integrity Constraints in Situation Calculus. - Leopoldo E. Bertossi; Javier Pinto; Pablo Sáez; Deepak Kapur; Mahadevan Subramaniam (ISMIS, 1996)

Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus. - Pablo Sáez (MICAI, 2005)

A quadratic algorithm for the 2-cyclic robotic scheduling problem. - Pablo Sáez (Theor. Comput. Sci., 2009)

An Anisotropic Microsphere-Based Approach for Fiber Orientation Adaptation in Soft Tissue. - Pablo Sáez; Estefanía Peña; Manuel Doblaré; Miguel Ángel Martínez (IEEE Trans. Biomed. Eng., 2011)

The k closest pairs in spatial databases - When only one set is indexed. - Gilberto Gutiérrez 001; Pablo Sáez (GeoInformatica, 2013)

A Method to Find Functional Dependencies Through Refutations and Duality of Hypergraphs. - Joel Fuentes; Pablo Sáez; Gilberto Gutiérrez 001; Isaac D. Scherson (Comput. J., 2015)

A multi-scale clutch model for adhesion complex mechanics. - Chiara Venturini; Pablo Sáez (PLoS Comput. Biol., 2023)

Deciding the feasibility of a given throughput rate in 2-cyclic robotic scheduling. - Pablo Sáez (Theor. Comput. Sci., 2025)