Julio Rubio

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2022

A Topological Approach for Semi-Supervised Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Formalizing Alexander duality through BDDs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022

2021

Constructing new spectral systems from simplicial fibrations.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2021

2020

A new Kenzo module for computing the Eilenberg-Moore spectral sequence.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2020

2019

Automated Neuron Detection in High-Content Fluorescence Microscopy Images Using Machine Learning.

[BibT_eX]

[DOI]

Gadea Mata

Miroslav Radojevic

Carlos Fernandez-Lozano

Neuroinformatics, 2019

An implementation of effective homotopy of fibrations.

[BibT_eX]

[DOI]

J. Symb. Comput., 2019

2018

A systematic review of provenance systems.

[BibT_eX]

[DOI]

Beatriz Pérez

Carlos Sáenz-Adán

Knowl. Inf. Syst., 2018

2017

Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms.

[BibT_eX]

[DOI]

Francisco J. Martín-Mateos

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

Effective homology of filtered digital images.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2016

Automatic detection of neurons in high-content microscope images using machine learning approaches.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Biomedical Imaging, 2016

SynapCountJ: A Tool for Analyzing Synaptic Densities in Neurons.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

SynapCountJ: A Validated Tool for Analyzing Synaptic Densities in Neurons.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Engineering Systems and Technologies, 2016

2015

Zigzag persistent homology for processing neuronal images.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2015

Neuron detection in stack images: a persistent homology interpretation.

[BibT_eX]

[DOI]

CoRR, 2015

2014

A Certified Reduction Strategy for Homological Image Processing.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

Effective persistent homology of digital images.

[BibT_eX]

[DOI]

CoRR, 2014

Defining and computing persistent Z-homology in the general case.

[BibT_eX]

[DOI]

CoRR, 2014

Procesamiento topo-geométrico de imágenes neuronales.

[BibT_eX]

[DOI]

CoRR, 2014

Obtaining an ACL2 Specification from an Isabelle/HOL Theory.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2013

Homotopy groups of suspended classifying spaces: An experimental approach.

[BibT_eX]

[DOI]

Math. Comput., 2013

Verifying a platform for digital imaging: a multi-tool strategy

[BibT_eX]

[DOI]

CoRR, 2013

Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

Certified symbolic manipulation: bivariate simplicial polynomials.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

Computing the homology of groups: The geometric way.

[BibT_eX]

[DOI]

J. Symb. Comput., 2012

Formalization of a normalization theorem in simplicial topology.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2012

Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging.

[BibT_eX]

[DOI]

María Poza

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Effective homology of bicomplexes, formalized in Coq.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

fKenzo: A user interface for computations in Algebraic Topology.

[BibT_eX]

[DOI]

J. Symb. Comput., 2011

A System for Computing and Reasoning in Algebraic Topology.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Teaching Geometry with TutorMates.

[BibT_eX]

[DOI]

María José González

Tomás Recio

Laureano González-Vega

Abel Pascual

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

A Certified Module to Study Digital Images with the Kenzo System.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2010

Generating certified code from formal proofs: a case study in homological algebra.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

Integrating Multiple Sources to Answer Questions in Algebraic Topology.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

Computing in Coq with Infinite Algebraic Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Applicable algebra and artificial intelligence.

[BibT_eX]

[DOI]

Werner M. Seiler

Ann. Math. Artif. Intell., 2009

ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP.

[BibT_eX]

[DOI]

Graham Ellis

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008

A Mechanized Proof of the Basic Perturbation Lemma.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology.

[BibT_eX]

[DOI]

Proceedings of the 1st European Lisp Symposium (ELS'08), 2008

Mediated Access to Symbolic Computation Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Object oriented institutions to specify symbolic computation systems.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2007

Executing in Common Lisp, Proving in ACL2.

[BibT_eX]

[DOI]

Mirian Andrés

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Formal Reasoning on a Web Coordination System.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2007

2006

Modeling Inheritance as Coercion in the Kenzo System.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2006

Computing spectral sequences.

[BibT_eX]

[DOI]

J. Symb. Comput., 2006

Formal Modelling of a Coordination System: From Practice to Theory, and Back Again.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World VII, 2006

2005

Computing with locally effective matrices.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2005

Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2005

Extracting Computer Algebra Programs from Statements.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2005

Constructive Proofs or Constructive Statements?.

[BibT_eX]

[DOI]

Julio Rubio Garcia

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

Towards Diagrammatic Specifications of Symbolic Computation Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

2004

Towards an Efficient Rule-Based Coordination of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2004

Four Approaches to Automated Reasoning with Differential Algebraic Structures.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

An Object-oriented Interpretation of the EAT System.

[BibT_eX]

[DOI]

Francisco J. García Izquierdo

Appl. Algebra Eng. Commun. Comput., 2003

XML-Based Interoperability Among Symbolic Computation Systems.

[BibT_eX]

Mirian Andrés

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

Generative Communication with Semantic Matching in Distributed Heterogeneous Environments.

[BibT_eX]

[DOI]

Pedro Álvarez

José A. Bañares

Eloy J. Mata

Pedro R. Muro-Medrano

Proceedings of the Computer Aided Systems Theory, 2003

2001

Abstracts of the Seventh Spanish Meeting on Computer Algebra and Applications: EACA-2001.

[BibT_eX]

[DOI]

SIGSAM Bull., 2001

Modeling inheritance as coercion in a symbolic computation system.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

Hidden Specification of a Functional System.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2001

2000

Locally Effective Objects and Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

1999

Simplicial sets in the EAT system.

[BibT_eX]

[DOI]

SIGSAM Bull., 1999

Specifying Implementations.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

1997

A Conceptual Approach to Meta-Modelling.

[BibT_eX]

[DOI]

Eladio Domínguez

María Antonia Zapata

Proceedings of the Advanced Information Systems Engineering, 1997

1991

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

[BibT_eX]

[DOI]

Julio Rubio Garcia

PhD thesis, 1991

A program computing the homology groups of loops spaces.

[BibT_eX]

[DOI]