Julio Rubio
发表
Jónathan Heras,
Ana Romero,
Gadea Mata,
2014,
ArXiv.
Ana Romero,
Julio Rubio,
J. Rubio,
2011,
J. Symb. Comput..
César Domínguez,
Julio Rubio,
C. Domínguez,
2001,
ISSAC '01.
Erik H. W. Meijering,
Gadea Mata,
Miguel Morales,
2016,
2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI).
Vico Pascual,
Julio Rubio,
Mirian Andrés,
2003,
ICWI.
César Domínguez,
Julio Rubio,
2011,
Theor. Comput. Sci..
Jose Divasón,
Jesús Aransay,
Jónathan Heras,
2014,
AISC.
Vico Pascual,
Julio Rubio,
Laureano Lambán,
2003,
Applicable Algebra in Engineering, Communication and Computing.
Ana Romero,
Gadea Mata,
Miguel Morales,
2015,
Pattern Recognit. Lett..
Jónathan Heras,
Vico Pascual,
Julio Rubio,
2011,
Calculemus/MKM.
José-Luis Ruiz-Reina,
Julio Rubio,
Laureano Lambán,
2017,
ITP.
Vico Pascual,
Ana Romero,
Julio Rubio,
2005,
International Conference on Computational Science.
Pedro Álvarez,
José A. Bañares,
Julio Rubio,
2007,
EUROCAST.
Jesús Aransay,
Clemens Ballarin,
Julio Rubio,
2008,
Journal of Automated Reasoning.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
Julio Rubio,
2013,
ISSAC '13.
Jónathan Heras,
Ana Romero,
Gadea Mata,
2016,
BIOSTEC.
Jónathan Heras,
Ana Romero,
Gadea Mata,
2016,
BIOIMAGING.
Julio Rubio,
Mirian Andrés,
Laureano Lambán,
2007,
Calculemus/MKM.
Julio Rubio,
Francis Sergeraert,
J. Rubio,
2005,
Int. J. Comput. Math..
Jesús Aransay,
Clemens Ballarin,
Julio Rubio,
2004,
AISC.
Julio Rubio,
Francis Sergeraert,
J. Rubio,
1991,
SIGS.
Vico Pascual,
Julio Rubio,
Jónathan Heras,
2008,
ELS.
Carlos Fernandez-Lozano,
Erik H. W. Meijering,
Gadea Mata,
2018,
Neuroinformatics.
Jónathan Heras,
Vico Pascual,
Julio Rubio,
2010,
LOPSTR.
Jónathan Heras,
Gadea Mata,
Miguel Morales,
2015,
ArXiv.
Jesús Aransay,
Clemens Ballarin,
Julio Rubio,
2010,
Formal Aspects of Computing.
Jónathan Heras,
Julio Rubio,
María Poza,
2012,
AISC/MKM/Calculemus.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
Julio Rubio,
2014,
Log. J. IGPL.
Julio Rubio,
Eladio Domínguez,
María Antonia Zapata,
1997,
CAiSE.
Ana Romero,
Julio Rubio,
Francis Sergeraert,
2016,
Pattern Recognit. Lett..
César Domínguez,
Julio Rubio,
Francis Sergeraert,
2006,
J. Univers. Comput. Sci..
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
Julio Rubio,
2011,
Annals of Mathematics and Artificial Intelligence.
Pedro Álvarez,
José A. Bañares,
Julio Rubio,
2006,
ESAW.
Ana Romero,
Julio Rubio,
Francis Sergeraert,
2019,
J. Symb. Comput..
Jónathan Heras,
Vico Pascual,
Julio Rubio,
2011,
EUROCAST.
Ana Romero,
Julio Rubio,
Francis Sergeraert,
2014,
ArXiv.
Julio Rubio,
2000,
AISC.
Julio Rubio,
2001,
SIGS.
Jónathan Heras,
Ana Romero,
Julio Rubio,
2014,
ArXiv.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
Julio Rubio,
2011,
ITP.
Pedro Álvarez,
José A. Bañares,
Julio Rubio,
2004,
IBERAMIA.
Jónathan Heras,
Vico Pascual,
Julio Rubio,
2008,
AISC/MKM/Calculemus.
César Domínguez,
Jónathan Heras,
Julio Rubio,
2014,
TOCL.
Julio Rubio,
Angel R. Francés,
E. Dominguez,
2001
.
Jónathan Heras,
Vico Pascual,
Julio Rubio,
2009,
Calculemus/MKM.
Ana Romero,
Julio Rubio,
2013,
Math. Comput..
Jónathan Heras,
Ana Romero,
Gadea Mata,
2013,
MKM/Calculemus/DML.
César Domínguez,
Vico Pascual,
Julio Rubio,
2001,
EUROCAST.
Julio Rubio,
J. Rubio,
2005,
Mathematics, Algorithms, Proofs.
Jesús Aransay,
Clemens Ballarin,
Julio Rubio,
2005,
EUROCAST.
Vico Pascual,
Julio Rubio,
2007
.
Ana Romero,
Julio Rubio,
Francis Sergeraert,
2006,
J. Symb. Comput..
Julio Rubio,
Wenceslao J. González,
Peregrina Quintela Estévez,
2011
.
Ana Romero,
Julio Rubio,
Graham Ellis,
2009,
ISSAC '09.
Masakazu Suzuki,
Volker Sorge,
Freek Wiedijk,
2008,
AISC/MKM/Calculemus.
Vico Pascual,
Julio Rubio,
Laureano Lambán,
1999,
ISSAC '99.
César Domínguez,
Julio Rubio,
Laureano Lambán,
2007,
RAIRO Theor. Informatics Appl..
Julio Rubio,
Carlos Sáenz-Adán,
Beatriz Pérez,
2018,
Knowledge and Information Systems.
Julio Rubio,
1991
.
César Domínguez,
Julio Rubio,
2010,
AISC'10/MKM'10/Calculemus'10.
Julio Rubio,
Werner M. Seiler,
2009,
Annals of Mathematics and Artificial Intelligence.
Jónathan Heras,
Vico Pascual,
Ana Romero,
2010,
AISC'10/MKM'10/Calculemus'10.
César Domínguez,
Dominique Duval,
Julio Rubio,
2005,
Mathematics, Algorithms, Proofs.
Julio Rubio,
José Ángel Bañares,
Pedro R. Muro-Medrano,
2002
.
Julio Rubio,
Francis Sergeraert,
2005
.
Julio Rubio,
Francis Sergeraert,
Ainhoa Berciano Alcaraz,
2010
.
Clemens Ballarin,
Julio Rubio,
2002
.
Julio Rubio,
Francis Sergeraert,
J. Rubio,
1993
.
Julio Rubio,
Francis Sergeraert,
2002
.
Julio Rubio,
Francis Sergeraert,
J. Rubio,
2012,
1208.3816.