| |
| 2007 | ||
|---|---|---|
| 5 | EE | Cristina Borralleras, Albert Rubio: Orderings and Constraints: Theory and Practice of Proving Termination. Rewriting, Computation and Proof 2007: 28-43 |
| 2003 | ||
| 4 | EE | Cristina Borralleras, Albert Rubio: Monotonic AC-Compatible Semantic Path Orderings. RTA 2003: 279-295 |
| 2002 | ||
| 3 | EE | Cristina Borralleras, Salvador Lucas, Albert Rubio: Recursive Path Orderings Can Be Context-Sensitive. CADE 2002: 314-331 |
| 2001 | ||
| 2 | EE | Cristina Borralleras, Albert Rubio: A Monotonic Higher-Order Semantic Path Ordering. LPAR 2001: 531-547 |
| 2000 | ||
| 1 | Cristina Borralleras, Maria Ferreira, Albert Rubio: Complete Monotonic Semantic Path Orderings. CADE 2000: 346-364 | |
| 1 | Maria Ferreira | [1] |
| 2 | Salvador Lucas | [3] |
| 3 | Albert Rubio | [1] [2] [3] [4] [5] |