Listado de publicaciones a texto completo de:
Rubio García, Julio

Título Autores Fuente Año
Zigzag persistent homology for processing neuronal imagesTexto completo de acceso restringido  Mata Martínez, GadeaRomero Ibáñez, AnaRubio García, Julio; Morales, M.;  Pattern Recognition Letters 2015
Verifying the bridge between simplicial topology and algebra: The Eilenberg-Zilber algorithmTexto completo de acceso restringido  Lambán Pardo, LaureanoRubio García, Julio; Martin-Mateos, F.J.; Ruiz-Reina, J.L.;  Logic Journal of the IGPL 2014
Obtaining an ACL2 specification from an Isabelle/HOL theoryTexto completo de acceso restringido  Aransay Azofra, Jesús MaríaDivasón Mallagaray, JoséHeras Vicente, JonathanLambán Pardo, LaureanoPascual Martínez-Losa, María VicoRubio García, Angel LuisRubio García, Julio Lecture Notes in Computer Science 2014
A certified reduction strategy for homological image processingTexto completo open access  Domínguez Pérez, CésarHeras Vicente, JonathanRubio García, Julio ACM Transactions on Computational Logic 2014
Obtaining an ACL2 sprecification from an Isabelle/HOL theoryTexto completo de acceso restringido  Aransay Azofra, Jesús MaríaLambán Pardo, LaureanoRubio García, Angel LuisPascual Martínez-Losa, María VicoHeras Vicente, JonathanRubio García, JulioDivasón Mallagaray, José Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 2014
Certifying homological algorithms to study biomedical imagesTexto completo open access  Domínguez Pérez, César (Director de tesis); Rubio García, Julio (Director de tesis); Poza López de Echazarreta, María;  2013
Certified symbolic manipulation: Bivariate simplicial polynomialsModos de exclusión de las mujeres en la sociedad actualTexto completo open access  Lambán Pardo, LaureanoRubio García, Julio; Martin-Mateos, F.J.; Ruiz-Reina, J.-L.;  Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2013
Verifying a plaftorm for digital imaging: A multi-tool strategyTexto completo open access  Heras Vicente, JonathanMata Martínez, GadeaRomero Ibáñez, AnaRubio García, Julio; Sáenz, Rubén;  Lecture Notes in Computer Science 2013
Homotopy groups of suspended classifying spaces: An experimental approachTexto completo open access  Romero Ibáñez, AnaRubio García, Julio Mathematics of Computation 2013
Formalization of a Normalization Theorem in Simplicial TopologyTexto completo de acceso restringido  Rubio García, JulioLambán Pardo, Laureano; Martín-Mateos, F. Jesús; Ruiz-Reina, Jose Luis;  Annals of Mathematics and Artificial Intelligence 2012
A Certified Module to Study Digital Images with the Kenzo SystemTexto completo open access  Pascual Martínez-Losa, María VicoRubio García, JulioHeras Vicente, Jonathan Lecture Notes in Computer Science, Computer Aided Systems Theory &- EUROCAST 2011 2012
Verifying an algorithm computing Discrete Vector Fields for digital imagingTexto completo open access  Heras Vicente, JonathanRubio García, Julio; Mata Martínez, Gadea; Poza López de Echazarreta, María;  Lecture Notes in Computer Science, Proceedings CICM 2012 2012
Computing the homology of groups: The geometric wayTexto completo open access  Romero Ibáñez, AnaRubio García, Julio Journal of Symbolic Computation 2012
Effective homology of bicomplexes, formalized in CoqTexto completo de acceso restringido  Rubio García, JulioDomínguez Pérez, César Theoretical Computer Science 2011
fKenzo: a user interface for computations in Algebraic TopologyTexto completo open access  Heras Vicente, JonathanPascual Martínez-Losa, María VicoRubio García, Julio; Sergeraert, Francis;  Journal of Symbolic Computation 2011
fKenzo: una interfaz de usuario para realizar cálculos en Topología AlgebraicaTexto completo open access  Rubio García, JulioHeras Vicente, JonathanPascual Martínez-Losa, María Vico; Sergeraert, Francis;  La Gaceta de la Real Sociedad Matemática Española (RSME) 2011
On automation and certification of a homological method to process biomedical digital imagesTexto completo open access  Heras Vicente, JonathanRubio García, Julio; Mata Martínez, Gadea; Poza López de Echazarreta, María;  ImageN-A 2011
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial PolynomialsTexto completo open access  Rubio García, JulioLambán Pardo, Laureano; Ruiz-Reina, Jose Luis; Martín-Mateos, F. Jesús;  Lecture Notes in Computer Science 2011
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo SystemTexto completo open access  Heras Vicente, JonathanPascual Martínez-Losa, María VicoRubio García, Julio Lecture Notes in Computer Science 2011
A System for Computing and Reasoning in Algebraic TopologyTexto completo open access  Heras Vicente, JonathanPascual Martínez-Losa, María VicoRubio García, Julio Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings 2011
Gestión Mecanizada del Conocimiento Matemático en Topología AlgebraicaTexto completo open access  Heras Vicente, JonathanPascual Martínez-Losa, María Vico (Director de tesis); Rubio García, Julio (Director de tesis);  2011
A case study of A8-structureTexto completo open access  Rubio García, Julio; Berciano Alcaraz, Ainhoa; Sergeraert, Francis;  Georgian Mathematical Journal 2010
Integrating multiple sources to answer questions in Algebraic TopologyTexto completo open access  Pascual Martínez-Losa, María VicoRubio García, JulioRomero Ibáñez, AnaHeras Vicente, Jonathan Lectures Notes in Computer Science: Intelligent Computer Mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings 2010
Computing in Coq with infinite algebraic data structuresTexto completo open access  Domínguez Pérez, CésarRubio García, Julio Proceedings CICM 2010 2010
Applicable Algebra and Artificial IntelligenceTexto completo de acceso restringido  Rubio García, Julio; Seiler, Werner;  Annals of Mathematics and Artificial Intelligence 2009
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant SystemsTexto completo open access  Rubio García, JulioHeras Vicente, JonathanPascual Martínez-Losa, María Vico Lectures Notes in Computer Science: Intelligent Computer Mathematics16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings 2009
ACL2 verification of simplicial degeneracy programs in the Kenzo systemTexto completo de acceso restringido  Rubio García, Julio; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis;  Intelligent Computer Mathematics 2009
Coordinación de servicios Web: de las aplicaciones a los modelos formales.Texto completo open access  Mata Sotés, Eloy JavierRubio García, Julio (Director de tesis); Bañares Bañares, Jose Angel;  2009
A mechanized proof of the Basic Perturbation LemmaTexto completo open access  Rubio García, JulioAransay Azofra, Jesús María; Ballarín, C.;  Journal of Automated Reasoning 2008
Mediated access to Symbolic Computation SystemsTexto completo open access  Pascual Martínez-Losa, María VicoRubio García, JulioHeras Vicente, Jonathan Lecture Notes in Computer Science 2008
Object Oriented Institutions to Specify Symbolic Computation SystemTexto completo open access  Domínguez Pérez, CésarLambán Pardo, LaureanoRubio García, Julio RAIRO - Informatique Théorique et Applications 2007
Formal Modelling of a Coordination System: from Practice to Theory, and back againTexto completo de acceso restringido  Mata Sotés, Eloy JavierRubio García, Julio; Alvarez, Pedro; Bañares, José A.;  Lecture Notes in Computer Science, 2007, Volume 4457 2007
Homología efectiva y sucesiones espectrales = Effective Homology and Spectral SequencesTexto completo open access  Romero Ibáñez, AnaRubio García, Julio (Director de tesis); Sergeraert, Francis ;  2007
Modeling Inheritance as coercion in the Kenzo System.Texto completo open access  Domínguez Pérez, CésarRubio García, Julio; Sergeraert, Francis;  Journal of Universal Computer Science 2006
Computing Spectral SequencesTexto completo de acceso restringido  Romero Ibáñez, AnaRubio García, Julio; Sergeraert, Francis;  Journal of Symbolic Computation 2006
Razonamiento mecanizado en álgebra homológicaTexto completo open access  Aransay Azofra, Jesús MaríaRubio García, Julio (Director de tesis); Ballarín, Clemens;  2006
Algebraic models for homotopy types.Texto completo open access  Rubio García, Julio; Sergeraert, Francis;  Homology, Homotopy and Applications 2005
Constructive Proofs or Constructive Statements? Texto completo open access  Rubio García, Julio Dagstuhl Seminar Proceedings 2005
Towards Diagrammatic Specifications of Symbolic Computation Systems.Texto completo open access  Domínguez Pérez, CésarLambán Pardo, LaureanoRubio García, Julio; Duval, D.;  Dagstuhl Seminar Proceedings 2005
Postnikov "invariants" in 2004Texto completo open access  Rubio García, Julio; Sergeraert, Francis;  Georgian Mathematical Journal 2005
Computing with Locally Effective MatricesTexto completo open access  Rubio García, Julio International Journal of Computer Mathematics 2005
An object-oriented interpretation of the EAT systemTexto completo de acceso restringido  Lambán Pardo, LaureanoRubio García, JulioPascual Martínez-Losa, María Vico Applicable Algebra in Engineering, Communications and Computing 2003
Especificación Orientada a Objetos de Sistemas de Cálculo SimbólicoTexto completo open access  Domínguez Pérez, CésarRubio García, Julio (Director de tesis); Lambán Pardo, Laureano (Director de tesis);  2003
Constructive Algebraic TopologyTexto completo open access  Rubio García, Julio; Sergeraert, Francis;  Bulletin des Sciences Mathematiques 2002
Objetos Localmente Efectivos y Tipos Abstractos de DatosTexto completo open access  Pascual Martínez-Losa, María VicoLambán Pardo, Laureano (Director de tesis); Rubio García, Julio (Director de tesis);  2002
Instituciones: Matemáticas para la Especificación en Computación.Texto completo open access  Rubio García, JulioDomínguez Pérez, CésarLambán Pardo, LaureanoPascual Martínez-Losa, María Vico Margarita Mathematica en memoria de José Javier (Chicho) Guadalupe Hernández 2001
Topología Algebraica EfectivaTexto completo open access  Rubio García, Julio La Gaceta de la Real Sociedad Matemática Española (RSME) 1998
Integrating functional programming and symbolic computationTexto completo de acceso restringido  Rubio García, Julio Mathematics and Computers in Simulation 1996
Homologie effective des espaces de lacets itérés : un logicielTexto completo open access  Rubio García, Julio; Sergeraert, Francis ;  1991
Homología efectiva y sucesión espectral de Eilenberg-MooreTexto completo open access  Rubio García, Julio; Domínguez Murillo, Eladio ;  1988