| |
| 2008 | ||
|---|---|---|
| 3 | EE | María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39 |
| 2 | EE | María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi: An Abstract Generic Framework for Web Site Verification. SAINT 2008: 104-110 |
| 2007 | ||
| 1 | EE | María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero: A Fast Algebraic Web Verification Service. RR 2007: 239-248 |
| 1 | María Alpuente | [1] [2] [3] |
| 2 | Demis Ballis | [1] [2] |
| 3 | Santiago Escobar | [3] |
| 4 | Moreno Falaschi | [1] [2] |
| 5 | José Meseguer | [3] |
| 6 | Daniel Romero | [1] [2] |