Concepedia

Ana Romero

AR

8

Publications

200

Citations

8

H-Index

2006

Active since

Affiliations

Universidad de La Rioja(Current)

Ana Romero is an author at Universidad de La Rioja specializing in automated reasoning, computer science, and engineering.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsSpectral TheorySystem SoftwareProgram AnalysisParallel Programming

Publications per year

2006–2023

8

Publications

8

The (R)-enantiomer of the 6-chromanol derivate SUL-121 improves renal graft perfusion via antagonism of the α1-adrenoceptor

Dalibor Nakládal, Hendrik Buikema, Ana Romero et al. · Scientific Reports · 2019 · 43 citations · Full text

Computing spectral sequences

Ana Romero, Julio Rubio, Francis Sergeraert · Journal of Symbolic Computation · 2006 · 42 citations · Full text

Spectral Theory, Spectral Analysis, Spectrum Estimation +2

Interoperating between computer algebra systems

Ana Romero, Graham Ellis, Julio Rubio · 2009 · 28 citations

Programming Language Theory, Engineering, Homological Algebra Computations +14

Discrete Vector Fields and Fundamental Algebraic Topology

Ana Romero, Francis Sergeraert · arXiv (Cornell University) · 2010 · 25 citations · Full text

Homotopy groups of suspended classifying spaces: An experimental approach

Ana Romero, Julio Rubio · Mathematics of Computation · 2013 · 20 citations · Full text

Engineering, Automated Reasoning, Higher Category Theory +8

Rows per page

1–5 of 8