Julio Rubio

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 17

Top Topics

Digital Imaging

Machine Learning

Systematic Review

Top Venues

ACM Commun. Comput. Algebra

J. Symb. Comput.

Pattern Recognit. Lett.

Publications

Daniel Miguel, Andrea Guidolin, Ana Romero, Julio Rubio
Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences. J. Symb. Comput. 114 (2023)
Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
Semi-Supervised Machine Learning: a Homological Approach. CoRR (2023)
César Domínguez, Jónathan Heras, Félix Lanas, Gadea Mata, Julio Rubio, Mirari San Martín
Improving Accessibility in PublicWeb Pages. SEPLN (Projects and Demonstrations) (2023)
Maria del Pilar Agustín-Llach, Jónathan Heras, Gadea Mata, Julio Rubio
La perplejidad como herramienta para estimar la asignación de nivel de competencia en escritos de una lengua extranjera. Proces. del Leng. Natural 71 (2023)
Jesús Aransay, Laureano Lambán, Julio Rubio
Evasiveness Through Binary Decision Diagrams. CICM (2023)
Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio
Formalizing Alexander duality through BDDs. ISAIM (2022)
Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
A Topological Approach for Semi-Supervised Learning. CoRR (2022)
Daniel Miguel, Andrea Guidolin, Ana Romero, Julio Rubio
Constructing new spectral systems from simplicial fibrations. ACM Commun. Comput. Algebra 55 (3) (2021)
Ana Romero, Julio Rubio, Francis Sergeraert, Markus Szymik
A new Kenzo module for computing the Eilenberg-Moore spectral sequence. ACM Commun. Comput. Algebra 54 (2) (2020)
Ana Romero, Julio Rubio, Francis Sergeraert
An implementation of effective homotopy of fibrations. J. Symb. Comput. 94 (2019)
Gadea Mata, Miroslav Radojevic, Carlos Fernandez-Lozano, Ihor Smal, Niels Werij, Miguel Morales, Erik Meijering, Julio Rubio
Automated Neuron Detection in High-Content Fluorescence Microscopy Images Using Machine Learning. Neuroinformatics 17 (2) (2019)
Beatriz Pérez, Julio Rubio, Carlos Sáenz-Adán
A systematic review of provenance systems. Knowl. Inf. Syst. 57 (3) (2018)
Laureano Lambán, Francisco J. Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms. ITP (2017)
Gadea Mata, Germán Cuesto, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
SynapCountJ: A Validated Tool for Analyzing Synaptic Densities in Neurons. BIOSTEC (Selected Papers) (2016)
Gadea Mata, Miroslav Radojevic, Ihor Smal, Miguel Morales, Erik Meijering, Julio Rubio
Automatic detection of neurons in high-content microscope images using machine learning approaches. ISBI (2016)
Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
SynapCountJ: A Tool for Analyzing Synaptic Densities in Neurons. BIOIMAGING (2016)
Ana Romero, Julio Rubio, Francis Sergeraert
Effective homology of filtered digital images. Pattern Recognit. Lett. 83 (2016)
Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
SynapCountJ - a Tool for Analyzing Synaptic Densities in Neurons. CoRR (2015)
Gadea Mata, Miguel Morales, Ana Romero, Julio Rubio
Zigzag persistent homology for processing neuronal images. Pattern Recognit. Lett. 62 (2015)
Jónathan Heras, Gadea Mata, Germán Cuesto, Julio Rubio, Miguel Morales
Neuron detection in stack images: a persistent homology interpretation. CoRR (2015)
Laureano Lambán, Julio Rubio, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm. Log. J. IGPL 22 (1) (2014)
María Poza, César Domínguez, Jónathan Heras, Julio Rubio
A Certified Reduction Strategy for Homological Image Processing. ACM Trans. Comput. Log. 15 (3) (2014)
Ana Romero, Jónathan Heras, Julio Rubio, Francis Sergeraert
Defining and computing persistent Z-homology in the general case. CoRR (2014)
Ana Romero, Jónathan Heras, Gadea Mata, Miguel Morales, Julio Rubio
Procesamiento topo-geométrico de imágenes neuronales. CoRR (2014)
Ana Romero, Julio Rubio, Francis Sergeraert
Effective persistent homology of digital images. CoRR (2014)
Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Ángel Luis Rubio, Julio Rubio
Obtaining an ACL2 Specification from an Isabelle/HOL Theory. AISC (2014)
Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz
Verifying a platform for digital imaging: a multi-tool strategy CoRR (2013)
Ana Romero, Julio Rubio
Homotopy groups of suspended classifying spaces: An experimental approach. Math. Comput. 82 (284) (2013)
María Poza, César Domínguez, Jónathan Heras, Julio Rubio
A certified reduction strategy for homological image processing. CoRR (2013)
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
Certified symbolic manipulation: bivariate simplicial polynomials. ISSAC (2013)
Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz
Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy. MKM/Calculemus/DML (2013)
Ana Romero, Julio Rubio
Computing the homology of groups: The geometric way. J. Symb. Comput. 47 (7) (2012)
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
Formalization of a normalization theorem in simplicial topology. Ann. Math. Artif. Intell. 64 (1) (2012)
Jónathan Heras, María Poza, Julio Rubio
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. AISC/MKM/Calculemus (2012)
Jónathan Heras, María Poza, Julio Rubio
Verifying an algorithm computing Discrete Vector Fields for digital imaging CoRR (2012)
Ana Romero, Julio Rubio
Computing the homology of groups: the geometric way CoRR (2011)
Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert
fKenzo: A user interface for computations in Algebraic Topology. J. Symb. Comput. 46 (6) (2011)
Jónathan Heras, Vico Pascual, Julio Rubio
A Certified Module to Study Digital Images with the Kenzo System. EUROCAST (1) (2011)
César Domínguez, Julio Rubio
Effective homology of bicomplexes, formalized in Coq. Theor. Comput. Sci. 412 (11) (2011)
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. ITP (2011)
María José González, Julio Rubio, Tomás Recio, Laureano González-Vega, Abel Pascual
Teaching Geometry with TutorMates. ICCSA (4) (2011)
Jónathan Heras, Vico Pascual, Julio Rubio
A System for Computing and Reasoning in Algebraic Topology. Calculemus/MKM (2011)
César Domínguez, Julio Rubio
Computing in Coq with Infinite Algebraic Data Structures. AISC/MKM/Calculemus (2010)
Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio
Integrating multiple sources to answer questions in Algebraic Topology CoRR (2010)
Jesús Aransay, Clemens Ballarin, Julio Rubio
Generating certified code from formal proofs: a case study in homological algebra. Formal Aspects Comput. 22 (2) (2010)
Jónathan Heras, Vico Pascual, Julio Rubio
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. LOPSTR (2010)
Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio
Integrating Multiple Sources to Answer Questions in Algebraic Topology. AISC/MKM/Calculemus (2010)
César Domínguez, Julio Rubio
Computing in Coq with Infinite Algebraic Data Structures CoRR (2010)
Ana Romero, Graham Ellis, Julio Rubio
Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP. ISSAC (2009)
Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Calculemus/MKM (2009)
Julio Rubio, Werner M. Seiler
Applicable algebra and artificial intelligence. Ann. Math. Artif. Intell. 56 (3-4) (2009)
Jónathan Heras, Vico Pascual, Julio Rubio
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. Calculemus/MKM (2009)
Jesús Aransay, Clemens Ballarin, Julio Rubio
A Mechanized Proof of the Basic Perturbation Lemma. J. Autom. Reason. 40 (4) (2008)
Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert
Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology. ELS (2008)
Jónathan Heras, Vico Pascual, Julio Rubio
Mediated Access to Symbolic Computation Systems. AISC/MKM/Calculemus (2008)
Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio
Formal Reasoning on a Web Coordination System. EUROCAST (2007)
César Domínguez, Laureano Lambán, Julio Rubio
Object oriented institutions to specify symbolic computation systems. RAIRO Theor. Informatics Appl. 41 (2) (2007)
Mirian Andrés, Laureano Lambán, Julio Rubio
Executing in Common Lisp, Proving in ACL2. Calculemus/MKM (2007)
Ana Romero, Julio Rubio, Francis Sergeraert
Computing spectral sequences. J. Symb. Comput. 41 (10) (2006)
Ana Romero, Julio Rubio, Francis Sergeraert
Computing spectral sequences CoRR (2006)
Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio
Formal Modelling of a Coordination System: From Practice to Theory, and Back Again. ESAW (2006)
César Domínguez, Julio Rubio, Francis Sergeraert
Modeling Inheritance as Coercion in the Kenzo System. J. Univers. Comput. Sci. 12 (12) (2006)
Julio Rubio, Francis Sergeraert
Computing with locally effective matrices. Int. J. Comput. Math. 82 (10) (2005)
Jesús Aransay, Clemens Ballarin, Julio Rubio
Extracting Computer Algebra Programs from Statements. EUROCAST (2005)
Mirian Andrés, Vico Pascual, Ana Romero, Julio Rubio
Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. International Conference on Computational Science (3) (2005)
Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio
Towards an Efficient Rule-Based Coordination of Web Services. IBERAMIA (2004)
Jesús Aransay, Clemens Ballarin, Julio Rubio
Four Approaches to Automated Reasoning with Differential Algebraic Structures. AISC (2004)
Pedro Álvarez, José A. Bañares, Eloy J. Mata, Pedro R. Muro-Medrano, Julio Rubio
Generative Communication with Semantic Matching in Distributed Heterogeneous Environments. EUROCAST (2003)
Laureano Lambán, Vico Pascual, Julio Rubio
An Object-oriented Interpretation of the EAT System. Appl. Algebra Eng. Commun. Comput. 14 (3) (2003)
Mirian Andrés, Francisco José García Izquierdo, Vico Pascual, Julio Rubio
XML-Based Interoperability Among Symbolic Computation Systems. ICWI (2003)
César Domínguez, Julio Rubio
Modeling inheritance as coercion in a symbolic computation system. ISSAC (2001)
César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio
Hidden Specification of a Functional System. EUROCAST (2001)
Julio Rubio
Abstracts of the Seventh Spanish Meeting on Computer Algebra and Applications: EACA-2001. SIGSAM Bull. 35 (4) (2001)
Julio Rubio
Locally Effective Objects and Artificial Intelligence. AISC (2000)
Laureano Lambán, Vico Pascual, Julio Rubio
Simplicial sets in the EAT system. SIGSAM Bull. 33 (3) (1999)
Laureano Lambán, Vico Pascual, Julio Rubio
Specifying Implementations. ISSAC (1999)
Eladio Domínguez, María Antonia Zapata, Julio Rubio
A Conceptual Approach to Meta-Modelling. CAiSE (1997)
Julio Rubio, Francis Sergeraert
A program computing the homology groups of loops spaces. SIGSAM Bull. 25 (4) (1991)