| 2008 |
|---|
| 12 | | Álvaro del Monte,
Roberto Torres,
Pedro J. Martín,
Antonio Gavilanes:
A Fully GPU-Implemented Rigid Body Simulator.
GRAPP 2008: 342-349 |
| 11 | EE | Ezequiel Denegri,
Guillermo Frontera,
Antonio Gavilanes,
Pedro J. Martín:
A tool for teaching interactions between design patterns.
ITiCSE 2008: 371 |
| 2007 |
|---|
| 10 | EE | J. García,
Antonio Gavilanes,
A. Gil,
Pedro J. Martín:
CGR: a Tool for Programming Using Schemes.
COMPSAC (2) 2007: 347-354 |
| 2002 |
|---|
| 9 | | Pedro J. Martín,
Antonio Gavilanes:
Simultaneous Rigid Sorted Unification for Tableaux.
Studia Logica 72(1): 31-59 (2002) |
| 2001 |
|---|
| 8 | EE | Pedro J. Martín,
Antonio Gavilanes:
Free-variable Tableaux for Monotonic PreordersI.
Logic Journal of the IGPL 9(6): (2001) |
| 2000 |
|---|
| 7 | EE | Pedro J. Martín,
Antonio Gavilanes:
Simultaneous Rigid Sorted Unification.
JELIA 2000: 193-208 |
| 6 | | Pedro J. Martín,
Antonio Gavilanes:
Monotonic Preorders for Free Variable Tableaux.
TABLEAUX 2000: 309-323 |
| 5 | | Pedro J. Martín,
Antonio Gavilanes,
Javier Leach:
Tableau Methods for a Logic with Term Declarations.
J. Symb. Comput. 29(2): 343-372 (2000) |
| 1998 |
|---|
| 4 | EE | Pedro J. Martín,
Antonio Gavilanes,
Javier Leach:
Free Variable Tableaux for a Logic with Term Declarations.
TABLEAUX 1998: 202-216 |
| 1996 |
|---|
| 3 | | Antonio Gavilanes,
Javier Leach,
Pedro J. Martín,
Susana Nieva:
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.
AISMC 1996: 365-379 |
| 2 | | Antonio Gavilanes,
Javier Leach,
Susana Nieva:
Free Variable Tableaux for a Many Sorted Logic with Preorders.
AMAST 1996: 102-116 |
| 1 | | Pedro J. Martín,
Antonio Gavilanes:
Semantic Tableaux for a Logic with Preorders and Dynamic Sorts.
APPIA-GULP-PRODE 1996: 139-154 |
