| 2017 |
B |
conf |
ITP
Laureano Lambán, Francisco J. Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
|
| 2014 |
J |
jnl |
J. Autom. Reason.
María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
|
| 2014 |
Misc |
conf |
AISC
José-Luis Ruiz-Reina
|
| 2014 |
J |
jnl |
Log. J. IGPL
Laureano Lambán, Julio Rubio, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
|
| 2013 |
B |
conf |
ISSAC
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
|
| 2012 |
J |
jnl |
Ann. Math. Artif. Intell.
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
|
| 2011 |
B |
conf |
ITP
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
|
| 2011 |
J |
jnl |
J. Autom. Reason.
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
|
| 2010 |
J |
jnl |
J. Symb. Comput.
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José-Luis Ruiz-Reina
|
| 2009 |
— |
conf |
Calculemus/MKM
Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
|
| 2008 |
J |
jnl |
J. Funct. Program.
David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding
|
| 2007 |
— |
conf |
TPHOLs
José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
|
| 2007 |
— |
conf |
WWV
María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
|
| 2006 |
J |
jnl |
J. Autom. Reason.
José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo
|
| 2005 |
— |
conf |
TPHOLs
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
|
| 2004 |
J |
jnl |
J. Autom. Reason.
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
|
| 2004 |
Misc |
conf |
AISC
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina
|
| 2003 |
B |
conf |
LPAR
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
|
| 2003 |
C |
conf |
LOPSTR
José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos
|
| 2003 |
— |
conf |
CAEPIA
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
|
| 2002 |
J |
jnl |
Ann. Math. Artif. Intell.
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
|
| 2002 |
C |
conf |
LOPSTR
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
|
| 2001 |
— |
conf |
EUROCAST
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
|
| 2000 |
Misc |
conf |
AISC
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
|
| 1999 |
— |
conf |
APPIA-GULP-PRODE
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
|