Julio Rubio - RankMe

80 papers A 1B 6C 2Misc 5Journal 42Unranked 23

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A topological approach for semi-supervised learning. J. Comput. Sci. Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
2023	J	`jnl`	Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences. J. Symb. Comput. Daniel Miguel, Andrea Guidolin, Ana Romero, Julio Rubio
2023	C	`conf`	Evasiveness Through Binary Decision Diagrams. CICM Jesús Aransay, Laureano Lambán, Julio Rubio
2023	—	`conf`	Improving Accessibility in PublicWeb Pages. SEPLN (Projects and Demonstrations) César Domínguez, Jónathan Heras, Félix Lanas, Gadea Mata, Julio Rubio, Mirari San Martín
2023	J	`jnl`	La perplejidad como herramienta para estimar la asignación de nivel de competencia en escritos de una lengua extranjera. Proces. del Leng. Natural Maria del Pilar Agustín-Llach, Jónathan Heras, Gadea Mata, Julio Rubio
2023	J	`jnl`	Semi-Supervised Machine Learning: a Homological Approach. CoRR Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
2022	J	`jnl`	A Topological Approach for Semi-Supervised Learning. CoRR Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
2022	Misc	`conf`	Formalizing Alexander duality through BDDs. ISAIM Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio
2021	J	`jnl`	Constructing new spectral systems from simplicial fibrations. ACM Commun. Comput. Algebra Daniel Miguel, Andrea Guidolin, Ana Romero, Julio Rubio
2020	J	`jnl`	A new Kenzo module for computing the Eilenberg-Moore spectral sequence. ACM Commun. Comput. Algebra Ana Romero, Julio Rubio, Francis Sergeraert, Markus Szymik
2019	J	`jnl`	An implementation of effective homotopy of fibrations. J. Symb. Comput. Ana Romero, Julio Rubio, Francis Sergeraert
2019	J	`jnl`	Automated Neuron Detection in High-Content Fluorescence Microscopy Images Using Machine Learning. Neuroinformatics Gadea Mata, Miroslav Radojevic, Carlos Fernandez-Lozano, Ihor Smal, Niels Werij, Miguel Morales, Erik Meijering, Julio Rubio
2018	J	`jnl`	A systematic review of provenance systems. Knowl. Inf. Syst. Beatriz Pérez, Julio Rubio, Carlos Sáenz-Adán
2017	B	`conf`	Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms. ITP Laureano Lambán, Francisco J. Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2016	—	`conf`	Automatic detection of neurons in high-content microscope images using machine learning approaches. ISBI Gadea Mata, Miroslav Radojevic, Ihor Smal, Miguel Morales, Erik Meijering, Julio Rubio
2016	J	`jnl`	Effective homology of filtered digital images. Pattern Recognit. Lett. Ana Romero, Julio Rubio, Francis Sergeraert
2016	—	`conf`	SynapCountJ: A Tool for Analyzing Synaptic Densities in Neurons. BIOIMAGING Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
2016	—	`conf`	SynapCountJ: A Validated Tool for Analyzing Synaptic Densities in Neurons. BIOSTEC (Selected Papers) Gadea Mata, Germán Cuesto, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
2015	J	`jnl`	Neuron detection in stack images: a persistent homology interpretation. CoRR Jónathan Heras, Gadea Mata, Germán Cuesto, Julio Rubio, Miguel Morales
2015	J	`jnl`	SynapCountJ - a Tool for Analyzing Synaptic Densities in Neurons. CoRR Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
2015	J	`jnl`	Zigzag persistent homology for processing neuronal images. Pattern Recognit. Lett. Gadea Mata, Miguel Morales, Ana Romero, Julio Rubio
2014	J	`jnl`	A Certified Reduction Strategy for Homological Image Processing. ACM Trans. Comput. Log. María Poza, César Domínguez, Jónathan Heras, Julio Rubio
2014	J	`jnl`	Defining and computing persistent Z-homology in the general case. CoRR Ana Romero, Jónathan Heras, Julio Rubio, Francis Sergeraert
2014	J	`jnl`	Effective persistent homology of digital images. CoRR Ana Romero, Julio Rubio, Francis Sergeraert
2014	Misc	`conf`	Obtaining an ACL2 Specification from an Isabelle/HOL Theory. AISC Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Ángel Luis Rubio, Julio Rubio
2014	J	`jnl`	Procesamiento topo-geométrico de imágenes neuronales. CoRR Ana Romero, Jónathan Heras, Gadea Mata, Miguel Morales, Julio Rubio
2014	J	`jnl`	Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm. Log. J. IGPL Laureano Lambán, Julio Rubio, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
2013	J	`jnl`	A certified reduction strategy for homological image processing. CoRR María Poza, César Domínguez, Jónathan Heras, Julio Rubio
2013	B	`conf`	Certified symbolic manipulation: bivariate simplicial polynomials. ISSAC Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2013	J	`jnl`	Homotopy groups of suspended classifying spaces: An experimental approach. Math. Comput. Ana Romero, Julio Rubio
2013	—	`conf`	Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy. MKM/Calculemus/DML Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz
2013	J	`jnl`	Verifying a platform for digital imaging: a multi-tool strategy CoRR Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz
2012	J	`jnl`	Computing the homology of groups: The geometric way. J. Symb. Comput. Ana Romero, Julio Rubio
2012	J	`jnl`	Formalization of a normalization theorem in simplicial topology. Ann. Math. Artif. Intell. Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2012	—	`conf`	Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. AISC/MKM/Calculemus Jónathan Heras, María Poza, Julio Rubio
2012	J	`jnl`	Verifying an algorithm computing Discrete Vector Fields for digital imaging CoRR Jónathan Heras, María Poza, Julio Rubio
2011	—	`conf`	A Certified Module to Study Digital Images with the Kenzo System. EUROCAST (1) Jónathan Heras, Vico Pascual, Julio Rubio
2011	—	`conf`	A System for Computing and Reasoning in Algebraic Topology. Calculemus/MKM Jónathan Heras, Vico Pascual, Julio Rubio
2011	B	`conf`	Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. ITP Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2011	J	`jnl`	Computing the homology of groups: the geometric way CoRR Ana Romero, Julio Rubio
2011	J	`jnl`	Effective homology of bicomplexes, formalized in Coq. Theor. Comput. Sci. César Domínguez, Julio Rubio
2011	—	`conf`	Teaching Geometry with TutorMates. ICCSA (4) María José González, Julio Rubio, Tomás Recio, Laureano González-Vega, Abel Pascual
2011	J	`jnl`	fKenzo: A user interface for computations in Algebraic Topology. J. Symb. Comput. Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert
2010	J	`jnl`	Computing in Coq with Infinite Algebraic Data Structures CoRR César Domínguez, Julio Rubio
2010	—	`conf`	Computing in Coq with Infinite Algebraic Data Structures. AISC/MKM/Calculemus César Domínguez, Julio Rubio
2010	J	`jnl`	Generating certified code from formal proofs: a case study in homological algebra. Formal Aspects Comput. Jesús Aransay, Clemens Ballarin, Julio Rubio
2010	—	`conf`	Integrating Multiple Sources to Answer Questions in Algebraic Topology. AISC/MKM/Calculemus Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio
2010	J	`jnl`	Integrating multiple sources to answer questions in Algebraic Topology CoRR Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio
2010	C	`conf`	Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. LOPSTR Jónathan Heras, Vico Pascual, Julio Rubio
2009	—	`conf`	ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Calculemus/MKM Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2009	J	`jnl`	Applicable algebra and artificial intelligence. Ann. Math. Artif. Intell. Julio Rubio, Werner M. Seiler
2009	B	`conf`	Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP. ISSAC Ana Romero, Graham Ellis, Julio Rubio
2009	—	`conf`	Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. Calculemus/MKM Jónathan Heras, Vico Pascual, Julio Rubio
2008	J	`jnl`	A Mechanized Proof of the Basic Perturbation Lemma. J. Autom. Reason. Jesús Aransay, Clemens Ballarin, Julio Rubio
2008	—	`conf`	Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology. ELS Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert
2008	—	`ed.`	Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings AISC/MKM/Calculemus Serge Autexier, John A. Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
2008	—	`conf`	Mediated Access to Symbolic Computation Systems. AISC/MKM/Calculemus Jónathan Heras, Vico Pascual, Julio Rubio
2007	—	`conf`	Executing in Common Lisp, Proving in ACL2. Calculemus/MKM Mirian Andrés, Laureano Lambán, Julio Rubio
2007	—	`conf`	Formal Reasoning on a Web Coordination System. EUROCAST Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio
2007	J	`jnl`	Object oriented institutions to specify symbolic computation systems. RAIRO Theor. Informatics Appl. César Domínguez, Laureano Lambán, Julio Rubio
2006	J	`jnl`	Computing spectral sequences CoRR Ana Romero, Julio Rubio, Francis Sergeraert
2006	J	`jnl`	Computing spectral sequences. J. Symb. Comput. Ana Romero, Julio Rubio, Francis Sergeraert
2006	—	`conf`	Formal Modelling of a Coordination System: From Practice to Theory, and Back Again. ESAW Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio
2006	J	`jnl`	Modeling Inheritance as Coercion in the Kenzo System. J. Univers. Comput. Sci. César Domínguez, Julio Rubio, Francis Sergeraert
2005	J	`jnl`	Computing with locally effective matrices. Int. J. Comput. Math. Julio Rubio, Francis Sergeraert
2005	—	`conf`	Extracting Computer Algebra Programs from Statements. EUROCAST Jesús Aransay, Clemens Ballarin, Julio Rubio
2005	Misc	`conf`	Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. International Conference on Computational Science (3) Mirian Andrés, Vico Pascual, Ana Romero, Julio Rubio
2004	Misc	`conf`	Four Approaches to Automated Reasoning with Differential Algebraic Structures. AISC Jesús Aransay, Clemens Ballarin, Julio Rubio
2004	—	`conf`	Towards an Efficient Rule-Based Coordination of Web Services. IBERAMIA Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio
2003	J	`jnl`	An Object-oriented Interpretation of the EAT System. Appl. Algebra Eng. Commun. Comput. Laureano Lambán, Vico Pascual, Julio Rubio
2003	—	`conf`	Generative Communication with Semantic Matching in Distributed Heterogeneous Environments. EUROCAST Pedro Álvarez, José A. Bañares, Eloy J. Mata, Pedro R. Muro-Medrano, Julio Rubio
2003	—	`conf`	XML-Based Interoperability Among Symbolic Computation Systems. ICWI Mirian Andrés, Francisco J. García Izquierdo, Vico Pascual, Julio Rubio
2001	J	`jnl`	Abstracts of the Seventh Spanish Meeting on Computer Algebra and Applications: EACA-2001. SIGSAM Bull. Julio Rubio
2001	—	`conf`	Hidden Specification of a Functional System. EUROCAST César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio
2001	B	`conf`	Modeling inheritance as coercion in a symbolic computation system. ISSAC César Domínguez, Julio Rubio
2000	Misc	`conf`	Locally Effective Objects and Artificial Intelligence. AISC Julio Rubio
1999	J	`jnl`	Simplicial sets in the EAT system. SIGSAM Bull. Laureano Lambán, Vico Pascual, Julio Rubio
1999	B	`conf`	Specifying Implementations. ISSAC Laureano Lambán, Vico Pascual, Julio Rubio
1997	A	`conf`	A Conceptual Approach to Meta-Modelling. CAiSE Eladio Domínguez, María Antonia Zapata, Julio Rubio
1991	J	`jnl`	A program computing the homology groups of loops spaces. SIGSAM Bull. Julio Rubio, Francis Sergeraert