| |
| 2009 | ||
|---|---|---|
| 3 | EE | Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Inmaculada Medina-Bulo: A Framework for Mutant Genetic Generation for WS-BPEL. SOFSEM 2009: 229-240 |
| 2004 | ||
| 2 | EE | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina: Verified Computer Algebra in Acl2. Gröbner Bases Computation. AISC 2004: 171-184 |
| 2001 | ||
| 1 | EE | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez: A Certified Polynomial-Based Decision Procedure for Propositional Logic. TPHOLs 2001: 297-312 |
| 1 | José A. Alonso-Jiménez | [1] [2] |
| 2 | Juan José Domínguez-Jiménez | [3] |
| 3 | Antonia Estero-Botaro | [3] |
| 4 | Francisco Palomo-Lozano | [1] [2] |
| 5 | José-Luis Ruiz-Reina | [2] |