| |
| 2009 | ||
|---|---|---|
| 3 | EE | Pablo Sáez: A quadratic algorithm for the 2-cyclic robotic scheduling problem. Theor. Comput. Sci. 410(8-10): 973-976 (2009) |
| 2005 | ||
| 2 | EE | Pablo Sáez: Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus. MICAI 2005: 119-131 |
| 1996 | ||
| 1 | Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam: Automating Proofs of Integrity Constraints in Situation Calculus. ISMIS 1996: 212-222 | |
| 1 | Leopoldo E. Bertossi | [1] |
| 2 | Deepak Kapur | [1] |
| 3 | Javier Pinto | [1] |
| 4 | Mahadevan Subramaniam | [1] |