- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j4 |      | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas: Context-sensitive dependency pairs. Inf. Comput. 208(8): 922-968 (2010) |
| c5 | | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset: Proving Termination Properties with mu-term. AMAST 2010: 201-208 |
| c4 | | Beatriz Alarcón, Salvador Lucas, José Meseguer: A Dependency Pair Framework for A OR C-Termination. WRLA 2010: 35-51 |
| 2009 | ||
| j3 | | Beatriz Alarcón, Salvador Lucas: Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting. Electr. Notes Theor. Comput. Sci. 248: 3-17 (2009) |
| 2008 | ||
| c3 | | 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 |
| 2007 | ||
| j2 | | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas: Improving the Context-sensitive Dependency Graph. Electr. Notes Theor. Comput. Sci. 188: 91-103 (2007) |
| j1 | | 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) |
| c2 | | Beatriz Alarcón, Salvador Lucas: Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs. FroCoS 2007: 73-87 |
| 2006 | ||
| c1 | | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas: Context-Sensitive Dependency Pairs. FSTTCS 2006: 297-308 |
| 1 | Fabian Emmes | |
| 2 | Carsten Fuhs | |
| 3 | Jürgen Giesl | |
| 4 | Raúl Gutiérrez | |
| 5 | José Iborra | |
| 6 | Salvador Lucas | |
| 7 | José Meseguer | |
| 8 | Rafael Navarro-Marset | |
| 9 | Peter Schneider-Kamp | |
| 10 | René Thiemann |
Data released under the ODC-BY 1.0 license — See also our legal information page