Julio
Rubio García
CATEDRÁTICO DE UNIVERSIDAD
Publicaciones (129) Publicaciones en las que ha participado algún/a investigador/a
2023
-
Effective spectral systems relating Serre and Eilenberg–Moore spectral sequences
Journal of Symbolic Computation, Vol. 114, pp. 122-148
-
Evasiveness Through Binary Decision Diagrams
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Improving Accessibility in PublicWeb Pages
CEUR Workshop Proceedings
-
La perplejidad como herramienta para estimar la asignación de nivel de competencia en escritos de una lengua extranjera
Procesamiento del lenguaje natural, Núm. 71, pp. 29-38
-
Virtue Ethics and software development: debates and proposals
2023 Forum on Philosophy, Engineering &Technology (fPET 2023). Abstracts book
2021
-
Constructing new spectral systems from simplicial fibrations
ACM Communications in Computer Algebra, Vol. 55, Núm. 3, pp. 87-91
2020
-
A new kenzo module for computing the eilenberg-moore spectral sequence
ACM Communications in Computer Algebra, Vol. 54, Núm. 2, pp. 57-60
2019
-
An implementation of effective homotopy of fibrations
Journal of Symbolic Computation, Vol. 94, pp. 149-172
-
Automated Neuron Detection in High-Content Fluorescence Microscopy Images Using Machine Learning
Neuroinformatics, Vol. 17, Núm. 2, pp. 253-269
2018
-
A Systematic Review of Provenance Systems
Knowledge and Information Systems
2017
-
SynapcountJ: A validated tool for analyzing synaptic densities in neurons
Communications in Computer and Information Science, Vol. 690, pp. 41-55
-
Using abstract stobjs in ACL2 to compute matrix normal forms
Lecture Notes in Computer Science, Vol. 10499 LNCS, pp. 354-370
2016
-
Applications of Computational Algebraic Topology
Boletín de matemáticas, Vol. 23, Núm. 2, pp. 137-142
-
Automatic detection of neurons in high-content microscope images using machine learning approaches
Proceedings - International Symposium on Biomedical Imaging
-
Effective homology of filtered digital images
Pattern Recognition Letters
-
SynapCountJ: A tool for analyzing synaptic densities in neurons
BIOIMAGING 2016 - 3rd International Conference on Bioimaging, Proceedings; Part of 9th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016, pp. 25-31
-
Towards a verifiable Topology of Data
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
2015
-
Zigzag persistent homology for processing neuronal images
Pattern Recognition Letters, Vol. 62, pp. 55-60
2014
-
A certified reduction strategy for homological image processing
ACM Transactions on Computational Logic, Vol. 15, Núm. 3, pp. 23
-
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada
Zubía, Núm. 26, pp. 19-37