Instituciones
Área de conocimientoIdentificadores de autorPeriodo de publicación recogido
|
|
Juan José Olarte Larrea
Adrián Inés Armas
María Vico Pascual Martínez-Losa
Miguel Morales Jiménez
Jose Divasón Mallagaray
Miguel Morales Fuciños
Ana Romero Ibáñez
María Jesús Lapeña Marcos
Mirian Andrés Gómez
Carlos Domínguez
Eloy Javier Mata Sotés
César Domínguez Fernández
Graham Ellis
Francisco Jesús Martín Mateos
Laureano Lambán Pardo
Jesús María Aransay Azofra
Francisco José García Izquierdo
Maria Antonia Zapata Abad
Ángel Ramón Francés Román
Eladio Domínguez Murillo
Eduardo Sáenz de Cabezón Irigaray
Clemens Ballarin
Beatriz Pérez Valle
Gadea Mata Martínez
José Luis Ruiz Reina
María Poza López de Echazarreta
Francis Sergeraert
Jónathan Heras Vicente
César Domínguez
Ángel Luis Rubio García
María del Pilar Agustín Llach
José María Gutiérrez Martínez
Arturo Jaime Elizondo
|
Jesús María Aransay Azofra , Laureano Lambán Pardo
, Julio Rubio García
Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. Extra 117 (Abril), 2024 (Ejemplar dedicado a: Profesor Eugenio Roanes Lozano), págs. 54-63
Gadea Mata Martínez , Julio Rubio García, María del Pilar Agustín Llach, Jónathan Heras Vicente
Procesamiento del lenguaje natural, ISSN 1135-5948, Nº. 71, 2023, págs. 29-38
Applications of Computational Algebraic Topology
Julio Rubio García
Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 23, Nº. 2, 2016, págs. 137-142
Procesamiento topo-geométrico de imágenes neuronales
Ana Romero Ibáñez , Jónathan Heras Vicente
, Gadea Mata Martínez
, Miguel Morales Fuciños
, Julio Rubio García
Gaceta de la Real Sociedad Matematica Española, ISSN 1138-8927, Vol. 17, Nº 1, 2014, págs. 109-128
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada
Jesús María Aransay Azofra , Jose Divasón Mallagaray, César Domínguez
, Francisco José García Izquierdo
, Jónathan Heras Vicente
, Arturo Jaime Elizondo
, Laureano Lambán Pardo
, Eloy Javier Mata Sotés, Gadea Mata Martínez
, Juan José Olarte Larrea, María Vico Pascual Martínez-Losa
, Beatriz Pérez Valle
, Ana Romero Ibáñez
, Ángel Luis Rubio García
, Julio Rubio García, Eduardo Sáenz de Cabezón Irigaray
Zubía, ISSN 0213-4306, Nº Extra 26, 2014 (Ejemplar dedicado a: Investigación en el Departamento de Matemáticas y Computación de la Universidad de La Rioja), págs. 19-37
fKenzo: una interfaz de usuario para realizar cálculos en Topología Algebraica
Jónathan Heras Vicente , María Vico Pascual Martínez-Losa
, Julio Rubio García, Francis Sergeraert
Gaceta de la Real Sociedad Matematica Española, ISSN 1138-8927, Vol. 14, Nº 2, 2011, págs. 297-308
On automation and certification of a homological method to process biomedical digital images
Jónathan Heras Vicente , Gadea Mata Martínez
, María Poza López de Echazarreta, Julio Rubio García
IMAGE-A, ISSN-e 1885-4508, Vol. 2, Nº. 4, 2011, págs. 29-31
Julio Rubio García, Francis Sergeraert , Ana Romero Ibáñez
Journal of symbolic computation, ISSN 0747-7171, Vol. 41, Nº 10, 2006, págs. 1059-1079
Eloy Javier Mata Sotés, Julio Rubio García, María Vico Pascual Martínez-Losa
Comunicación y Pedagogía: nuevas tecnologías y recursos didácticos, ISSN 1136-7733, Nº 196, 2004, págs. 31-33
Locally effective objects and Artificial Intelligence
Julio Rubio García
Revista de la Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, ISSN 0370-3207, Nº. 55, 2000, págs. 67-77
Julio Rubio García
Gaceta de la Real Sociedad Matematica Española, ISSN 1138-8927, Vol. 1, Nº 2, 1998, págs. 198-208
Towards a verifiable Topology of Data
Laureano Lambán Pardo , Francisco Jesús Martín Mateos
, Julio Rubio García, José Luis Ruiz Reina
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 / coord. por Jónathan Heras Vicente , Ana Romero Ibáñez
, 2016, ISBN 978-84-608-9024-9, págs. 113-116
Zigzag homology for biomedical image processing
Gadea Mata Martínez , Miguel Morales Jiménez, Ana Romero Ibáñez
, Julio Rubio García
Encuentros de Algebra Computacional y aplicaciones: Barcelona 2014 / coord. por Joan Elías García , Jesús Fernández Sánchez
, Martín Sombra
, 2014, ISBN 978-84-697-0651-0, págs. 135-138
Symbolic manipulation and biomedical images
Jónathan Heras Vicente , Gadea Mata Martínez
, María Poza López de Echazarreta, Julio Rubio García
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012 / Juan Rafael Sendra Pons (ed. lit.) , Carlos Villarino Cabellos (ed. lit.), 2012, ISBN 978-84-8138-770-4, págs. 107-110
Laureano Lambán Pardo , Ana Romero Ibáñez
, Julio Rubio García
Contribuciones científicas en honor de Mirian Andrés Gómez / coord. por Laureano Lambán Pardo , Ana Romero Ibáñez
, Julio Rubio García; Mirian Andrés Gómez (hom.), 2010, ISBN 978-84-96487-50-5, pág. 1
TutorMates: La integración del álgebra computacional en una herramienta gráfica de enseñanza de las matemáticas (2 años después)
Julio Rubio García
EACA 2010: XII Encuentro de Álgebra Computacional y Aplicaciones = 12th Meeting on Computer Algebra and Applications : Libro de resúmenes = Book of abstracts : Santiago de Compostela, 19-21 de julio de 2010 / coord. por José Luis Freire Nistal , Manuel Ladra González
, 2010, ISBN 978-84-9887-518-8, pág. 194
Interoperating between Computer Algebra Systems: Computing Homology of Groups with Kenzo and GAP
Ana Romero Ibáñez , Graham Ellis
, Julio Rubio García
ISSAC 2009: International Symposium on Symbolic and Algebraic Computation / coord. por John P. May, 2009, ISBN 978-1-60558-609-0, págs. 303-310
Verificación y eficiencia en programas para el cálculo simbólico: estudio de un caso
Francisco Jesús Martín Mateos , José Luis Ruiz Reina
, Julio Rubio García, Laureano Lambán Pardo
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.)
, Ricardo Peña Marí (ed. lit.)
, 2009, ISBN 978-84-692-4600-9, págs. 7-14
A Graphical User Interface for the Kenzo System, a Program to Compute in Algebraic Topology
Jónathan Heras Vicente , María Vico Pascual Martínez-Losa
, Julio Rubio García
EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre / coord. por Óscar Cortadellas Izquierdo, José Gómez Torrecillas , F.J. Lobillo Borrero
, 2008, págs. 93-96
On the role of distributed computing in Symbolic Computation for Algebraic Topology
Mirian Andrés Gómez, María Vico Pascual Martínez-Losa , Ana Romero Ibáñez
, Julio Rubio García
EACA 2004: Santander, 1-3 julio 2004, Universidad de Cantabria : Actas de los encuentros de álgebra computacional y aplicaciones, 2004 / coord. por Laureano González Vega , T. Recio, 2004, págs. 11-15
Towards an automated proof of the Basic Perturbation Lemma
Jesús María Aransay Azofra , Julio Rubio García, Clemens Ballarin
Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002 / coord. por Philippe Giménez , 2002, págs. 91-94
Implementación orientada a objetos de estructuras algebraicas: estudio de un caso en Java y C++
Jesús María Aransay Azofra , Julio Rubio García, Juan José Olarte Larrea
EACA 2001 : 7 Encuentro de álgebra computacional y aplicaciones: del 12 al 14 de septiembre de 2001, Ezcaray, La Rioja / coord. por Julio Rubio García, 2001, ISBN 84-95301-52-0, págs. 78-82
Instituciones: matemáticas para la especificación en computación
César Domínguez Fernández, Laureano Lambán Pardo , María Vico Pascual Martínez-Losa
, Julio Rubio García
Margarita mathematica: en memoria de José Javier (Chicho) Guadalupe Hernández / Luis Español González (ed. lit.) , Juan Luis Varona Malumbres (ed. lit.)
, José Javier Guadalupe Hernández (hom.)
, 2001, ISBN 84-95301-56-3, págs. 221-234
Dealing with inheritance in a symbolic computation system
Carlos Domínguez, Julio Rubio García
Actas del 6º encuentro de álgebra computacional y aplicaciones: EACA 2000 : Barcelona, 6-8 de septiembre de 2000 / coord. por Antonio Montes, 2000, ISBN 84-699-3037-0, págs. 179-188
Julio Rubio García
Un paseo por la Geometría: curso 2000/2001, 2000, págs. 73-96
Simplicial sets in the EAT system
Laureano Lambán Pardo , María Vico Pascual Martínez-Losa
, Julio Rubio García
EACA-99: Actas del quinto Encuentro de Álgebra Computacional y Aplicaciones : Tenerife, 8-11 de septiembre, 1999 / coord. por María Isabel Bermejo Díaz , 1999, págs. 267-276
A conceptual approach to meta-modelling
Eladio Domínguez Murillo , Maria Antonia Zapata Abad
, Julio Rubio García
Advanced information systems engineering: 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, june 16-20, 1997 : proceedings / Joan Antoni Pastor (aut.), Antoni Olivé (aut.), 1997, ISBN 3-540-63107-0, págs. 319-332
Resultados de no calculabilidad en representaciones de Tipos Abstractos de Datos
Laureano Lambán Pardo , María Vico Pascual Martínez-Losa
, Julio Rubio García
Tercer Encuentro de Algebra Computacional y Aplicaciones: Granada, Septiembre 25-27, 1997 : [EACA-97], 1997, págs. 133-140
Categorías de implementaciones de Tipos Abstractos de Datos
Laureano Lambán Pardo , María Vico Pascual Martínez-Losa
, Julio Rubio García
Segundo Encuentro de Álgebra Computacional y Aplicaciones: Sevilla, 26 y 27 de Septiembre de 1996, 1996, págs. 86-94
Tipos abstractos de datos en álgebra homológica
Laureano Lambán Pardo , Julio Rubio García
Actas del primer Encuentro de Algebra Computacional y Aplicaciones, [EACA-95] : Santander, 18 y 19 de septiembre de 1995 / Laureano González Vega (ed. lit.) , 1995, págs. 113-122
Generación de lenguaje natural a partir de esquemas entidad-asociación
José María Gutiérrez Martínez , Julio Rubio García, Eladio Domínguez Murillo
VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995, 1995, ISBN 84-920982-0-1, págs. 289-300
Diagramas de Voronoi y Topología Digital
Ángel Ramón Francés Román , Laureano Lambán Pardo
, Ángel Luis Rubio García
, Julio Rubio García
VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995. Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya. Actas / coord. por Marc Noy Serrano , Carlos Seara, Mercè Claverol Aguas, M. del Roser Guardia Riera, Mercé Mora Giné
, Carmen Hernando, Vera Sacristán Adinolfi
, Ferran Hurtado Díaz
, 1995, ISBN 84-605-3103-1, págs. 156-163
Eladio Domínguez Murillo , Julio Rubio García
Contribuciones matemáticas en homenaje al profesor Antonio Plans Sanz de Bremond / Antonio Plans Sanz de Bremond (hom.) , 1990, ISBN 84-7733-158-8, págs. 61-82
Complejos de cadenas libres y complejos minimales
Julio Rubio García
XIV jornadas hispano-Lusas de matemáticas, Vol. 2, 1989, ISBN 84-7756-241-5, págs. 719-722
Codage fonctionnel des ensembles simpliciaux infinitis: les espaces de lacets
Julio Rubio García
Actas del III Seminario de Topología: Jaca, 27 de septiembre al 2 de octubre de 1987 / Luis Javier Hernández Paricio (ed. lit.) , 1988, ISBN 84-7723-022-6, págs. 79-88
Espacios clasificantes y modelos acíclicos
Julio Rubio García
Actas del IV Seminario de Topología : Leioa, 26 de septiembre a 2 de octubre de 1988 / coord. por Nieves Blasco Mardones, María Angeles de Prada Vicente , Marta Macho Stadler
, 1988, págs. 83-88
Homologie effective des espaces de lacets itérés: un logiciel
Julio Rubio García
Tesis doctoral dirigida por Francis Sergeraert (dir. tes.) . Université Joseph-Fourier. Grenoble (1991).
Homología efectiva y sucesión espectral de Eilenberg-Moore
Julio Rubio García
Tesis doctoral dirigida por Eladio Domínguez Murillo (dir. tes.) , Francis Sergeraert (dir. tes.)
. Universidad de Zaragoza (1988).
Simplifying the usage and construction of deep image classification models
Adrián Inés Armas
Tesis doctoral dirigida por Jónathan Heras Vicente (dir. tes.) , Julio Rubio García (dir. tes.). Universidad de La Rioja (2022).
Processing biomedical images for the study of treatments related to neurodegenerative diseases
Tesis doctoral dirigida por Julio Rubio García (dir. tes.), Miguel Morales Fuciños (codir. tes.) . Universidad de La Rioja (2017).
Formalisation and execution of Linear Algebra: theorems and algorithms
Tesis doctoral dirigida por Jesús María Aransay Azofra (dir. tes.) , Julio Rubio García (dir. tes.). Universidad de La Rioja (2016).
Certifying homological algorithms to study biomedical images
María Poza López de Echazarreta
Tesis doctoral dirigida por César Domínguez (dir. tes.) , Julio Rubio García (dir. tes.). Universidad de La Rioja (2013).
Gestión mecanizada del conocimiento matemático en topología algebraica
Tesis doctoral dirigida por María Vico Pascual Martínez-Losa (dir. tes.) , Julio Rubio García (dir. tes.). Universidad de La Rioja (2011).
Coordinación de servicios Web: de las aplicaciones a los modelos formales
Tesis doctoral dirigida por Julio Rubio García (dir. tes.), José Angel Bañares Bañares (dir. tes.) . Universidad de La Rioja (2009).
Homología efectiva y sucesiones espectrales
Tesis doctoral dirigida por Julio Rubio García (dir. tes.), Francis Sergeraert (dir. tes.) . Universidad de La Rioja (2007).
Razonamiento mecanizado en álgebra homológica
Tesis doctoral dirigida por Clemens Ballarin (dir. tes.) , Julio Rubio García (dir. tes.). Universidad de La Rioja (2006).
Especificación orientada a objetos de sistemas de cálculo simbólico
Tesis doctoral dirigida por Laureano Lambán Pardo (dir. tes.) , Julio Rubio García (dir. tes.). Universidad de La Rioja (2003).
Objetos localmente efectivos y tipos abstractos de datos
María Vico Pascual Martínez-Losa
Tesis doctoral dirigida por Laureano Lambán Pardo (dir. tes.) , Julio Rubio García (dir. tes.). Universidad de La Rioja (2002).
Bases de conceptos: entre las bases de datos y las bases de conocimiento
Tesis doctoral dirigida por Julio Rubio García (dir. tes.), Eladio Domínguez Murillo (dir. tes.) . Universidad de Zaragoza (1993).
Contribuciones científicas en honor de Mirian Andrés Gómez
coord. por Laureano Lambán Pardo , Ana Romero Ibáñez
, Julio Rubio García; Mirian Andrés Gómez (hom.)
Universidad de La Rioja, 2010. ISBN 978-84-96487-50-5
coord. por Julio Rubio García
Universidad de La Rioja, Departamento de Matemáticas y Computación, 2001. ISBN 84-95301-52-0
coord. por Julio Rubio García, Eladio Domínguez Murillo
Universidad de Zaragoza, 1987. ISBN 84-7733-015-8
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados