Artículos de revistas:
Rubio García, Julio

Encontrados 66 registros. 1 de 4
Título Autores Revista Año
A Systematic Review of Provenance Systems

Sáenz Adán, CarlosRubio García, JulioPérez Valle, Beatriz Knowledge and Information Systems 2018
SynapcountJ: A validated tool for analyzing synaptic densities in neurons

Mata Martínez, GadeaHeras Vicente, JonathanRomero Ibáñez, AnaRubio García, Julio; Cuesto G.; Morales M.;  Communications in Computer and Information Science 2017
Using abstract stobjs in ACL2 to compute matrix normal forms

Lambán Pardo, LaureanoRubio García, Julio; Martín-Mateos, F.J.; Ruiz-Reina, J.-L.;  Lecture Notes in Computer Science 2017
Effective homology of filtered digital images

Romero Ibáñez, AnaRubio García, Julio; Sergeraert F.;  Pattern Recognition Letters 2016
Zigzag persistent homology for processing neuronal images

Texto completo open access 
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 algorithm

Texto completo open access 
Lambán Pardo, LaureanoRubio García, Julio; Martin-Mateos, F.J.; Ruiz-Reina, J.L.;  Logic Journal of the IGPL 2014
Procesamiento topo-geométrico de imágenes neuronales

Romero Ibáñez, AnaHeras Vicente, JonathanRubio García, Julio; Mata, Gadea; Morales, Miguel;  La Gaceta de la Real Sociedad Matemática Española (RSME) 2014
Obtaining an ACL2 specification from an Isabelle/HOL theory

Texto completo open access 
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
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

Aransay Azofra, Jesús MaríaMata Sotés, Eloy JavierOlarte Larrea, Juan JoséRubio García, JulioJaime Elizondo, ArturoPascual Martínez-Losa, María VicoLambán Pardo, LaureanoDomínguez Pérez, CésarSáenz de Cabezón Irigaray, EduardoRomero Ibáñez, AnaGarcía Izquierdo, Francisco JoséPérez Valle, BeatrizHeras Vicente, JonathanMata Martínez, GadeaRubio García, Angel LuisDivasón Mallagaray, José Zubía 2014
A certified reduction strategy for homological image processing

Texto completo open access 
Domínguez Pérez, CésarHeras Vicente, JonathanRubio García, Julio ACM Transactions on Computational Logic 2014
Verifying a plaftorm for digital imaging: A multi-tool strategy

Texto 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 approach

Texto completo open access 
Romero Ibáñez, AnaRubio García, Julio Mathematics of Computation 2013
On the Role of Formalization in Computational Mathematics

Rubio García, Julio Bulletin of the Belgian Mathematical Society - Simon Stevin 2013
Formalization of a Normalization Theorem in Simplicial Topology

Texto completo open access 
Rubio García, JulioLambán Pardo, Laureano; Martín-Mateos, F. Jesús; Ruiz-Reina, Jose Luis;  Annals of Mathematics and Artificial Intelligence 2012
Computing the homology of groups: The geometric way

Texto completo open access 
Romero Ibáñez, AnaRubio García, Julio Journal of Symbolic Computation 2012
Effective homology of bicomplexes, formalized in Coq

Texto completo open access 
Rubio García, JulioDomínguez Pérez, César Theoretical Computer Science 2011
fKenzo: a user interface for computations in Algebraic Topology

Texto 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 Algebraica

Texto 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
Mathematical Knowledge Management in Algebraic Topology

Pascual Martínez-Losa, María VicoRubio García, JulioHeras Vicente, Jonathan Communications in Computer Algebra (SIGSAM Bulletin) 2011
On automation and certification of a homological method to process biomedical digital images

Texto completo open access 
Heras Vicente, JonathanRubio García, Julio; Mata Martínez, Gadea; Poza López de Echazarreta, María;  ImageN-A 2011