A program computing the homology groups of loops spaces. - Julio Rubio 001; Francis Sergeraert (SIGSAM Bull., 1991)

Homologie effective des espaces de lacets itérés : un logiciel. (Effective homology of iterated loop spaces : a software). - Julio Rubio Garcia (1991)

A Conceptual Approach to Meta-Modelling. - Eladio Domínguez; María Antonia Zapata; Julio Rubio 001 (CAiSE, 1997)

Specifying Implementations. - Laureano Lambán; Vico Pascual; Julio Rubio 001 (ISSAC, 1999)

Simplicial sets in the EAT system. - Laureano Lambán; Vico Pascual; Julio Rubio 001 (SIGSAM Bull., 1999)

Locally Effective Objects and Artificial Intelligence. - Julio Rubio 001 (AISC, 2000)

Hidden Specification of a Functional System. - César Domínguez 001; Laureano Lambán; Vico Pascual; Julio Rubio 001 (EUROCAST, 2001)

Modeling inheritance as coercion in a symbolic computation system. - César Domínguez 001; Julio Rubio 001 (ISSAC, 2001)

Abstracts of the Seventh Spanish Meeting on Computer Algebra and Applications: EACA-2001. - Julio Rubio 001 (SIGSAM Bull., 2001)

Generative Communication with Semantic Matching in Distributed Heterogeneous Environments. - Pedro Álvarez 001; José A. Bañares; Eloy J. Mata; Pedro R. Muro-Medrano; Julio Rubio 001 (EUROCAST, 2003)

XML-Based Interoperability Among Symbolic Computation Systems. - Mirian Andrés; Francisco J. García Izquierdo; Vico Pascual; Julio Rubio 001 (ICWI, 2003)

An Object-oriented Interpretation of the EAT System. - Laureano Lambán; Vico Pascual; Julio Rubio 001 (Appl. Algebra Eng. Commun. Comput., 2003)

Four Approaches to Automated Reasoning with Differential Algebraic Structures. - Jesús Aransay; Clemens Ballarin; Julio Rubio 001 (AISC, 2004)

Towards an Efficient Rule-Based Coordination of Web Services. - Eloy J. Mata; Pedro Álvarez 001; José A. Bañares; Julio Rubio 001 (IBERAMIA, 2004)

Towards Diagrammatic Specifications of Symbolic Computation Systems. - César Domínguez 001; Dominique Duval; Laureano Lambán; Julio Rubio Garcia (Mathematics, Algorithms, Proofs, 2005)

Constructive Proofs or Constructive Statements?. - Julio Rubio Garcia (Mathematics, Algorithms, Proofs, 2005)

Extracting Computer Algebra Programs from Statements. - Jesús Aransay; Clemens Ballarin; Julio Rubio 001 (EUROCAST, 2005)

Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. - Mirian Andrés; Vico Pascual; Ana Romero 001; Julio Rubio 001 (International Conference on Computational Science (3), 2005)

Computing with locally effective matrices. - Julio Rubio 001; Francis Sergeraert (Int. J. Comput. Math., 2005)

Formal Modelling of a Coordination System: From Practice to Theory, and Back Again. - Eloy J. Mata; Pedro Álvarez 001; José A. Bañares; Julio Rubio 001 (ESAW, 2006)

Computing spectral sequences. - Ana Romero 001; Julio Rubio 001; Francis Sergeraert (J. Symb. Comput., 2006)

Modeling Inheritance as Coercion in the Kenzo System. - César Domínguez 001; Julio Rubio 001; Francis Sergeraert (J. Univers. Comput. Sci., 2006)

Formal Reasoning on a Web Coordination System. - Eloy J. Mata; Pedro Álvarez 001; José A. Bañares; Julio Rubio 001 (EUROCAST, 2007)

Executing in Common Lisp, Proving in ACL2. - Mirian Andrés; Laureano Lambán; Julio Rubio 001 (Calculemus/MKM, 2007)

Object oriented institutions to specify symbolic computation systems. - César Domínguez 001; Laureano Lambán; Julio Rubio 001 (RAIRO Theor. Informatics Appl., 2007)

Mediated Access to Symbolic Computation Systems. - Jónathan Heras; Vico Pascual; Julio Rubio 001 (AISC/MKM/Calculemus, 2008)

Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology. - Jónathan Heras; Vico Pascual; Julio Rubio 001; Francis Sergeraert (ELS, 2008)

A Mechanized Proof of the Basic Perturbation Lemma. - Jesús Aransay; Clemens Ballarin; Julio Rubio 001 (J. Autom. Reason., 2008)

Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP. - Ana Romero 001; Graham Ellis; Julio Rubio 001 (ISSAC, 2009)

Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. - Jónathan Heras; Vico Pascual; Julio Rubio 001 (Calculemus/MKM, 2009)

ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. - Francisco-Jesús Martín-Mateos; Julio Rubio 001; José-Luis Ruiz-Reina (Calculemus/MKM, 2009)

Applicable algebra and artificial intelligence. - Julio Rubio 001; Werner M. Seiler (Ann. Math. Artif. Intell., 2009)

Computing in Coq with Infinite Algebraic Data Structures. - César Domínguez 001; Julio Rubio 001 (AISC/MKM/Calculemus, 2010)

Integrating Multiple Sources to Answer Questions in Algebraic Topology. - Jónathan Heras; Vico Pascual; Ana Romero 001; Julio Rubio 001 (AISC/MKM/Calculemus, 2010)

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. - Jónathan Heras; Vico Pascual; Julio Rubio 001 (LOPSTR, 2010)

Generating certified code from formal proofs: a case study in homological algebra. - Jesús Aransay; Clemens Ballarin; Julio Rubio 001 (Formal Aspects Comput., 2010)

A Certified Module to Study Digital Images with the Kenzo System. - Jónathan Heras; Vico Pascual; Julio Rubio 001 (EUROCAST (1), 2011)

Teaching Geometry with TutorMates. - María José González; Julio Rubio 001; Tomás Recio; Laureano González-Vega; Abel Pascual (ICCSA (4), 2011)

Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. - Laureano Lambán; Francisco-Jesús Martín-Mateos; Julio Rubio 001; José-Luis Ruiz-Reina (ITP, 2011)

A System for Computing and Reasoning in Algebraic Topology. - Jónathan Heras; Vico Pascual; Julio Rubio 001 (Calculemus/MKM, 2011)

fKenzo: A user interface for computations in Algebraic Topology. - Jónathan Heras; Vico Pascual; Julio Rubio 001; Francis Sergeraert (J. Symb. Comput., 2011)

Effective homology of bicomplexes, formalized in Coq. - César Domínguez 001; Julio Rubio 001 (Theor. Comput. Sci., 2011)

Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. - Jónathan Heras; María Poza; Julio Rubio 001 (AISC/MKM/Calculemus, 2012)

Formalization of a normalization theorem in simplicial topology. - Laureano Lambán; Francisco-Jesús Martín-Mateos; Julio Rubio 001; José-Luis Ruiz-Reina (Ann. Math. Artif. Intell., 2012)

Computing the homology of groups: The geometric way. - Ana Romero 001; Julio Rubio 001 (J. Symb. Comput., 2012)

Certified symbolic manipulation: bivariate simplicial polynomials. - Laureano Lambán; Francisco-Jesús Martín-Mateos; Julio Rubio 001; José-Luis Ruiz-Reina (ISSAC, 2013)

Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy. - Jónathan Heras; Gadea Mata; Ana Romero 001; Julio Rubio 001; Rubén Sáenz (MKM/Calculemus/DML, 2013)

Verifying a platform for digital imaging: a multi-tool strategy - Jónathan Heras; Gadea Mata; Ana Romero 001; Julio Rubio 001; Rubén Sáenz (CoRR, 2013)

Homotopy groups of suspended classifying spaces: An experimental approach. - Ana Romero 001; Julio Rubio 001 (Math. Comput., 2013)

Obtaining an ACL2 Specification from an Isabelle/HOL Theory. - Jesús Aransay-Azofra; Jose Divasón; Jónathan Heras; Laureano Lambán; María Vico Pascual; Ángel Luis Rubio; Julio Rubio 001 (AISC, 2014)

Procesamiento topo-geométrico de imágenes neuronales. - Ana Romero 001; Jónathan Heras; Gadea Mata; Miguel Morales; Julio Rubio 001 (CoRR, 2014)

Defining and computing persistent Z-homology in the general case. - Ana Romero 001; Jónathan Heras; Julio Rubio 001; Francis Sergeraert (CoRR, 2014)

Effective persistent homology of digital images. - Ana Romero 001; Julio Rubio 001; Francis Sergeraert (CoRR, 2014)

Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm. - Laureano Lambán; Julio Rubio 001; Francisco-Jesús Martín-Mateos; José-Luis Ruiz-Reina (Log. J. IGPL, 2014)

A Certified Reduction Strategy for Homological Image Processing. - María Poza; César Domínguez 001; Jónathan Heras; Julio Rubio 001 (ACM Trans. Comput. Log., 2014)

Neuron detection in stack images: a persistent homology interpretation. - Jónathan Heras; Gadea Mata; Germán Cuesto; Julio Rubio 001; Miguel Morales (CoRR, 2015)

Zigzag persistent homology for processing neuronal images. - Gadea Mata; Miguel Morales; Ana Romero 001; Julio Rubio 001 (Pattern Recognit. Lett., 2015)

SynapCountJ: A Validated Tool for Analyzing Synaptic Densities in Neurons. - Gadea Mata; Germán Cuesto; Jónathan Heras; Miguel Morales; Ana Romero 001; Julio Rubio 001 (BIOSTEC (Selected Papers), 2016)

SynapCountJ: A Tool for Analyzing Synaptic Densities in Neurons. - Gadea Mata; Jónathan Heras; Miguel Morales; Ana Romero 001; Julio Rubio 001 (BIOIMAGING, 2016)

Automatic detection of neurons in high-content microscope images using machine learning approaches. - Gadea Mata; Miroslav Radojevic; Ihor Smal; Miguel Morales; Erik Meijering; Julio Rubio 001 (ISBI, 2016)

Effective homology of filtered digital images. - Ana Romero 001; Julio Rubio 001; Francis Sergeraert (Pattern Recognit. Lett., 2016)

Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms. - Laureano Lambán; Francisco J. Martín-Mateos; Julio Rubio 001; José-Luis Ruiz-Reina (ITP, 2017)

A systematic review of provenance systems. - Beatriz Pérez 001; Julio Rubio 001; Carlos Sáenz-Adán (Knowl. Inf. Syst., 2018)

An implementation of effective homotopy of fibrations. - Ana Romero 001; Julio Rubio 001; Francis Sergeraert (J. Symb. Comput., 2019)

Automated Neuron Detection in High-Content Fluorescence Microscopy Images Using Machine Learning. - Gadea Mata; Miroslav Radojevic; Carlos Fernandez-Lozano; Ihor Smal; Niels Werij; Miguel Morales; Erik Meijering; Julio Rubio 001 (Neuroinformatics, 2019)

A new Kenzo module for computing the Eilenberg-Moore spectral sequence. - Ana Romero 001; Julio Rubio 001; Francis Sergeraert; Markus Szymik (ACM Commun. Comput. Algebra, 2020)

Constructing new spectral systems from simplicial fibrations. - Daniel Miguel; Andrea Guidolin; Ana Romero 001; Julio Rubio 001 (ACM Commun. Comput. Algebra, 2021)

Formalizing Alexander duality through BDDs. - Jesús Aransay; Laureano Lambán; Julius Michaelis; Julio Rubio 001 (ISAIM, 2022)

Evasiveness Through Binary Decision Diagrams. - Jesús Aransay; Laureano Lambán; Julio Rubio 001 (CICM, 2023)

Improving Accessibility in PublicWeb Pages. - César Domínguez 001; Jónathan Heras; Félix Lanas; Gadea Mata; Julio Rubio 001; Mirari San Martín (SEPLN (Projects and Demonstrations), 2023)

Semi-Supervised Machine Learning: a Homological Approach. - Adrián Inés; César Domínguez 001; Jónathan Heras; Gadea Mata; Julio Rubio 001 (CoRR, 2023)

Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences. - Daniel Miguel; Andrea Guidolin; Ana Romero 001; Julio Rubio 001 (J. Symb. Comput., 2023)

La perplejidad como herramienta para estimar la asignación de nivel de competencia en escritos de una lengua extranjera. - Maria del Pilar Agustín-Llach; Jónathan Heras; Gadea Mata; Julio Rubio 001 (Proces. del Leng. Natural, 2023)

A topological approach for semi-supervised learning. - Adrián Inés; César Domínguez 001; Jónathan Heras; Gadea Mata; Julio Rubio 001 (J. Comput. Sci., 2024)