| 2008 |
|---|
| 6 | EE | Beatriz Alarcón,
Fabian Emmes,
Carsten Fuhs,
Jürgen Giesl,
Raúl Gutiérrez,
Salvador Lucas,
Peter Schneider-Kamp,
René Thiemann:
Improving Context-Sensitive Dependency Pairs.
LPAR 2008: 636-651 |
| 5 | EE | Raúl Gutiérrez,
Salvador Lucas,
Xavier Urbain:
Usable Rules for Context-Sensitive Rewrite Systems.
RTA 2008: 126-141 |
| 2007 |
|---|
| 4 | EE | Beatriz Alarcón,
Raúl Gutiérrez,
José Iborra,
Salvador Lucas:
Proving Termination of Context-Sensitive Rewriting with MU-TERM.
Electr. Notes Theor. Comput. Sci. 188: 105-115 (2007) |
| 3 | EE | Beatriz Alarcón,
Raúl Gutiérrez,
Salvador Lucas:
Improving the Context-sensitive Dependency Graph.
Electr. Notes Theor. Comput. Sci. 188: 91-103 (2007) |
| 2006 |
|---|
| 2 | EE | Beatriz Alarcón,
Raúl Gutiérrez,
Salvador Lucas:
Context-Sensitive Dependency Pairs.
FSTTCS 2006: 297-308 |
| 1995 |
|---|
| 1 | EE | Raúl Gutiérrez,
Jørgen Nørgaard,
Kjell Randsted:
IN and beyond: two approaches to the evolution of INs.
Computer Communications 18(11): 816-824 (1995) |
