Julio Rubio
Orcid: 0000-0002-4282-3692Affiliations:
- Universidad de La Rioja
According to our database1,
Julio Rubio
authored at least 74 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
3
1
1
2
1
1
2
5
2
2
2
1
1
1
1
2
1
1
1
1
1
2
1
1
3
1
2
1
4
3
3
2
2
1
4
2
2
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
La perplejidad como herramienta para estimar la asignación de nivel de competencia en escritos de una lengua extranjera.
Proces. del Leng. Natural, 2023
J. Symb. Comput., 2023
Proceedings of the Annual Conference of the Spanish Association for Natural Language Processing 2023: Projects and System Demonstrations (SEPLN-PD 2023) co-located with the International Conference of the Spanish Society for Natural Language Processing (SEPLN 2023), 2023
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
2022
Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022
2021
ACM Commun. Comput. Algebra, 2021
2020
ACM Commun. Comput. Algebra, 2020
2019
Automated Neuron Detection in High-Content Fluorescence Microscopy Images Using Machine Learning.
Neuroinformatics, 2019
2018
2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
2016
Automatic detection of neurons in high-content microscope images using machine learning approaches.
Proceedings of the 13th IEEE International Symposium on Biomedical Imaging, 2016
Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016
Proceedings of the Biomedical Engineering Systems and Technologies, 2016
2015
Pattern Recognit. Lett., 2015
2014
ACM Trans. Comput. Log., 2014
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm.
Log. J. IGPL, 2014
Proceedings of the Artificial Intelligence and Symbolic Computation, 2014
2013
Math. Comput., 2013
Proceedings of the Intelligent Computer Mathematics, 2013
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013
2012
Ann. Math. Artif. Intell., 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
J. Symb. Comput., 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011
2010
Formal Aspects Comput., 2010
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
2009
Proceedings of the Intelligent Computer Mathematics, 2009
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems.
Proceedings of the Intelligent Computer Mathematics, 2009
Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009
2008
Proceedings of the 1st European Lisp Symposium (ELS'08), 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
2007
RAIRO Theor. Informatics Appl., 2007
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007
Proceedings of the Computer Aided Systems Theory, 2007
2006
Proceedings of the Engineering Societies in the Agents World VII, 2006
2005
Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach.
Proceedings of the Computational Science, 2005
Proceedings of the Computer Aided Systems Theory, 2005
Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005
Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005
2004
Proceedings of the Advances in Artificial Intelligence, 2004
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004
2003
Appl. Algebra Eng. Commun. Comput., 2003
XML-Based Interoperability Among Symbolic Computation Systems.
Proceedings of the IADIS International Conference WWW/Internet 2003, 2003
Generative Communication with Semantic Matching in Distributed Heterogeneous Environments.
Proceedings of the Computer Aided Systems Theory, 2003
2001
Abstracts of the Seventh Spanish Meeting on Computer Algebra and Applications: EACA-2001.
SIGSAM Bull., 2001
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001
Proceedings of the Computer Aided Systems Theory, 2001
2000
Proceedings of the Artificial Intelligence and Symbolic Computation, 2000
1999
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999
1997
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).
PhD thesis, 1991