Ana Romero

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 20

Top Topics

Digital Imaging

Topological Spaces

Persistent Homology

Top Venues

ACM Commun. Comput. Algebra

J. Symb. Comput.

Publications

Daniel Miguel, Andrea Guidolin, Ana Romero, Julio Rubio
Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences. J. Symb. Comput. 114 (2023)
Ana Romero, Pedro Carvalho, Luís Corte-Real, Américo Pereira
Synthesizing Human Activity for Data Generation. J. Imaging 9 (10) (2023)
Julián Cuevas-Rozo, Laureano Lambán, Ana Romero, Humberto Sarria
Effective homological computations on finite topological spaces. Appl. Algebra Eng. Commun. Comput. 34 (1) (2023)
Daniel Miguel, Andrea Guidolin, Ana Romero, Julio Rubio
Constructing new spectral systems from simplicial fibrations. ACM Commun. Comput. Algebra 55 (3) (2021)
Andrea Guidolin, Ana Romero
Computing Higher Leray-Serre Spectral Sequences of Towers of Fibrations. Found. Comput. Math. 21 (4) (2021)
Andrea Guidolin, Jose Divasón, Ana Romero, Francesco Vaccarino
Computing invariants for multipersistence via spectral systems and effective homology. J. Symb. Comput. 104 (2021)
Ana Romero, Julio Rubio, Francis Sergeraert, Markus Szymik
A new Kenzo module for computing the Eilenberg-Moore spectral sequence. ACM Commun. Comput. Algebra 54 (2) (2020)
Andrea Guidolin, Jose Divasón, Ana Romero, Francesco Vaccarino
Computing Multipersistence by Means of Spectral Systems. ISSAC (2019)
Ana Romero, Julio Rubio, Francis Sergeraert
An implementation of effective homotopy of fibrations. J. Symb. Comput. 94 (2019)
Julián Cuevas-Rozo, Jose Divasón, Miguel Ángel Marco Buzunáriz, Ana Romero
A Kenzo interface for algebraic topology computations in SageMath. ACM Commun. Comput. Algebra 53 (2) (2019)
Jose Divasón, Ana Romero
Using Krakatoa for Teaching Formal Verification of Java Programs. FMTea (2019)
Andrea Guidolin, Ana Romero
Effective Computation of Generalized Spectral Sequences. ISSAC (2018)
Ana Romero, Jose Divasón
Experiences and new alternatives for teaching formal verification of Java programs. ITiCSE (2018)
Ana Romero, Francis Sergeraert
A Bousfield-Kan Algorithm for Computing the Effective Homotopy of a Space. Found. Comput. Math. 17 (5) (2017)
Gadea Mata, Germán Cuesto, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
SynapCountJ: A Validated Tool for Analyzing Synaptic Densities in Neurons. BIOSTEC (Selected Papers) (2016)
Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
SynapCountJ: A Tool for Analyzing Synaptic Densities in Neurons. BIOIMAGING (2016)
Ana Romero, Julio Rubio, Francis Sergeraert
Effective homology of filtered digital images. Pattern Recognit. Lett. 83 (2016)
Ana Romero, Francis Sergeraert
A Combinatorial Tool for Computing the Effective Homotopy of Iterated Loop Spaces. Discret. Comput. Geom. 53 (1) (2015)
Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
SynapCountJ - a Tool for Analyzing Synaptic Densities in Neurons. CoRR (2015)
Gadea Mata, Miguel Morales, Ana Romero, Julio Rubio
Zigzag persistent homology for processing neuronal images. Pattern Recognit. Lett. 62 (2015)
Ana Romero, Jónathan Heras, Julio Rubio, Francis Sergeraert
Defining and computing persistent Z-homology in the general case. CoRR (2014)
Ana Romero, Jónathan Heras, Gadea Mata, Miguel Morales, Julio Rubio
Procesamiento topo-geométrico de imágenes neuronales. CoRR (2014)
Ana Romero, Julio Rubio, Francis Sergeraert
Effective persistent homology of digital images. CoRR (2014)
Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz
Verifying a platform for digital imaging: a multi-tool strategy CoRR (2013)
Ana Romero, Julio Rubio
Homotopy groups of suspended classifying spaces: An experimental approach. Math. Comput. 82 (284) (2013)
Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz
Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy. MKM/Calculemus/DML (2013)
Ana Romero, Julio Rubio
Computing the homology of groups: The geometric way. J. Symb. Comput. 47 (7) (2012)
Ana Romero, Francis Sergeraert
Programming before theorizing, a case study. ISSAC (2012)
Ana Romero, Francis Sergeraert
Effective homotopy of fibrations. Appl. Algebra Eng. Commun. Comput. 23 (1-2) (2012)
Ana Romero, Julio Rubio
Computing the homology of groups: the geometric way CoRR (2011)
Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio
Integrating multiple sources to answer questions in Algebraic Topology CoRR (2010)
Ana Romero
Computing the first stages of the Bousfield-Kan spectral sequence. Appl. Algebra Eng. Commun. Comput. 21 (3) (2010)
Ana Romero, Francis Sergeraert
Discrete Vector Fields and Fundamental Algebraic Topology CoRR (2010)
Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio
Integrating Multiple Sources to Answer Questions in Algebraic Topology. AISC/MKM/Calculemus (2010)
Ana Romero, Graham Ellis, Julio Rubio
Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP. ISSAC (2009)
Ana Romero, Julio Rubio, Francis Sergeraert
Computing spectral sequences. J. Symb. Comput. 41 (10) (2006)
Ana Romero, Julio Rubio, Francis Sergeraert
Computing spectral sequences CoRR (2006)
Mirian Andrés, Vico Pascual, Ana Romero, Julio Rubio
Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. International Conference on Computational Science (3) (2005)