Julio Rubio García

• Artículos de revistas (11)
• Colaboraciones en obras colectivas (25)
• Tesis (2)
• Tesis dirigidas (11)
• Coordinación (3 publicaciones)

• Artículos de revistas

  • Seleccionado

    Could a theorem be acyclic?

    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

    • Resumen
    
  • Seleccionado

    La perplejidad como herramienta para estimar la asignación de nivel de competencia en escritos de una lengua extranjera

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    
  • Seleccionado

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    • Texto completo
    
  • Seleccionado

    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

    • Texto completo
    
  • Seleccionado

    Computing spectral sequences

    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

    • Resumen
    
  • Seleccionado

    Belenus

    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

    
  • Seleccionado

    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

    • Texto Completo Ejemplar
    
  • Seleccionado

    Topología algebraica efectiva

    Julio Rubio García

    Gaceta de la Real Sociedad Matematica Española, ISSN 1138-8927, Vol. 1, Nº 2, 1998, págs. 198-208

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    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

    • Texto Completo Libro
    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    Presentación

    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

    • Texto completo
    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    • Texto completo
    
  • Seleccionado

    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

    
  • Seleccionado

    Informática en Topología

    Julio Rubio García

    Un paseo por la Geometría: curso 2000/2001, 2000, págs. 73-96

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    Topología y Computación

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    

• Tesis

  • Seleccionado

    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).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    • Tesis en acceso abierto en: theses.hal.science
    
  • Seleccionado

    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).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    

• Tesis dirigidas

  • Seleccionado

    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).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    
  • Seleccionado

    Processing biomedical images for the study of treatments related to neurodegenerative diseases

    Gadea Mata Martínez

    Tesis doctoral dirigida por Julio Rubio García (dir. tes.), Miguel Morales Fuciños (codir. tes.) . Universidad de La Rioja (2017).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    
  • Seleccionado

    Formalisation and execution of Linear Algebra: theorems and algorithms

    Jose Divasón Mallagaray

    Tesis doctoral dirigida por Jesús María Aransay Azofra (dir. tes.) , Julio Rubio García (dir. tes.). Universidad de La Rioja (2016).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    
  • Seleccionado

    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).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    
  • Seleccionado

    Gestión mecanizada del conocimiento matemático en topología algebraica

    Jónathan Heras Vicente

    Tesis doctoral dirigida por María Vico Pascual Martínez-Losa (dir. tes.) , Julio Rubio García (dir. tes.). Universidad de La Rioja (2011).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    
  • Seleccionado

    Coordinación de servicios Web: de las aplicaciones a los modelos formales

    Eloy Javier Mata Sotés

    Tesis doctoral dirigida por Julio Rubio García (dir. tes.), José Angel Bañares Bañares (dir. tes.) . Universidad de La Rioja (2009).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    
  • Seleccionado

    Homología efectiva y sucesiones espectrales

    Ana Romero Ibáñez

    Tesis doctoral dirigida por Julio Rubio García (dir. tes.), Francis Sergeraert (dir. tes.) . Universidad de La Rioja (2007).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    
  • Seleccionado

    Razonamiento mecanizado en álgebra homológica

    Jesús María Aransay Azofra

    Tesis doctoral dirigida por Clemens Ballarin (dir. tes.) , Julio Rubio García (dir. tes.). Universidad de La Rioja (2006).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    
  • Seleccionado

    Especificación orientada a objetos de sistemas de cálculo simbólico

    César Domínguez

    Tesis doctoral dirigida por Laureano Lambán Pardo (dir. tes.) , Julio Rubio García (dir. tes.). Universidad de La Rioja (2003).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    
  • Seleccionado

    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).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    
  • Seleccionado

    Bases de conceptos: entre las bases de datos y las bases de conocimiento

    María Jesús Lapeña Marcos

    Tesis doctoral dirigida por Julio Rubio García (dir. tes.), Eladio Domínguez Murillo (dir. tes.) . Universidad de Zaragoza (1993).

    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      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

      
    • Seleccionado

      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

      Universidad de La Rioja, Departamento de Matemáticas y Computación, 2001. ISBN 84-95301-52-0

      
    • Seleccionado

      Actas de la II Reunión del Grupo de Geometría y Topología de Zaragoza, Sevilla y Logroño : Zaragoza, 5 al 8 de junio de 1986

      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.