Pablo Sáez

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 1

Top Topics

Functional Dependencies

Top Venues

PLoS Comput. Biol.

Publications

Chiara Venturini, Pablo Sáez
A multi-scale clutch model for adhesion complex mechanics. PLoS Comput. Biol. 19 (7) (2023)
Joel Fuentes, Pablo Sáez, Gilberto Gutiérrez, Isaac D. Scherson
A Method to Find Functional Dependencies Through Refutations and Duality of Hypergraphs. Comput. J. 58 (5) (2015)
Gilberto Gutiérrez, Pablo Sáez
The k closest pairs in spatial databases - When only one set is indexed. GeoInformatica 17 (4) (2013)
Pablo Sáez, Estefanía Peña, Manuel Doblaré, Miguel Ángel Martínez
An Anisotropic Microsphere-Based Approach for Fiber Orientation Adaptation in Soft Tissue. IEEE Trans. Biomed. Eng. 58 (12) (2011)
Pablo Sáez
A quadratic algorithm for the 2-cyclic robotic scheduling problem. Theor. Comput. Sci. 410 (8-10) (2009)
Pablo Sáez
Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus. MICAI (2005)
Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam
Automating Proofs of Integrity Constraints in Situation Calculus. ISMIS (1996)