Research

Talks

  • A new Kenzo module for computing the Eilenberg-Moore spectral sequence
    A. Romero, J. Rubio, F. Sergeraert, M. Szymik
    International Symposium on Symbolic and Algebraic Computation (ISSAC 2020), online.
  • Using Krakatoa for Teaching Formal Verification of Java Programs
    J. Divasón, A. Romero
    Formal Methods Teaching Workshop and Tutorial (FMTea'19), Porto (Portugal), 2019.
  • Computing Spectral sequences with Kenzo and SageMath
    J. Cuevas-Rozo, J. Divasón, M. Marco-Buzunáriz, A. Romero
    Women in Algebra and Symbolic Computations, Bad Dürkheim (Germany), 2019.
  • A Kenzo interface for algebraic topology computations in Sagemath
    J. Cuevas-Rozo, J. Divasón, M. Marco-Buzunáriz, A. Romero
    International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Beijing (China) 2019.
    Awarded with the Best software demo award.
  • Computing multipersistence by means of spectral systems
    A. Guidolin, A. Romero, J. Divasón, F. Vaccarino
    International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Beijing (China) 2019.
  • Computing with Kenzo from Sage
    J. Cuevas-Rozo, M. Marco-Buzunáriz, A. Romero
    Effective Methods in Algebraic Geometry (MEGA 2019). Madrid (Spain) 2019.
  • Generalized spectral sequences for computing multipersistence
    A. Guidolin, A. Romero
    Congreso Bienal RSME 2019, Santander (Spain) 2019.
  • imagen_pdf Effective computation of generalized spectral sequences
    A. Guidolin, A. Romero
    International Symposium on Symbolic and Algebraic Computation (ISSAC 2018), New York (USA) 2018.
  • imagen_pdf A computational review of spectral sequences and applications
    A. Romero
    XVI Encuentro de Álgebra Computacional y Aplicaciones (EACA 2018), Zaragoza (Spain) 2018.
  • Computational Topology techniques for processing biomedical images
    A. Romero, G. Mata, J. Heras, M. Morales, J. Rubio
    IV Encuentro conjunto RSME-SMM, Valladolid (Spain) 2017.
  • imagen_pdf An implementation of effective homotopy of fibrations
    A. Romero, F. Sergeraert
    Applications of Computer Algebra (ACA 2016), Kassel (Germany) 2016.
  • imagen_pdf Aplicación del Álgebra Homológica para la detección de errores en cálculos en Topología
    A. Romero
    Congreso de jóvenes investigadores de la RSME, Murcia (Spain) 2015.
  • Zigzag persistence: application to processing stacks of neuronal images
    G. Mata, M. Morales, A. Romero, J. Rubio
    AMS-EMS-SPM meeting, Porto (Portugal) 2015.
  • Basic Perturbation Lemma and effective homology: application to the computation of homology of 2-types.
    A. Romero
    Homological Perturbation Workshop, Galway (Ireland) 2014.
  • Algoritmos topológicos para el procesamiento de imágenes biomédicas.
    G. Mata, M. Morales, A. Romero, J. Rubio
    XXI Encuentro de Topología, Tordesillas (Spain) 2014.
  • Spectral sequences for computing persistent homology
    A. Romero
    Mathematics, Algorithms and Proofs (MAP 2014), Paris (France) 2014.
  • Procesamiento topo-geométrico de imágenes neuronales
    G. Mata, A. Romero
    Aplicaciones Industriales del Álgebra Computacional, Madrid (Spain) 2013.
  • imagen_pdf El uso de los demostradores automáticos de teoremas en la enseñanza de la programación
    A. Romero
    XIX Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Castellón (Spain) 2013.
  • imagen_pdf Spectral sequences for computing persistent homology of digital images
    A. Romero, J. Heras, G. Mata, J. Rubio and F. Sergeraert
    Applications of Computer Algebra (ACA), Málaga (Spain) 2013.
  • imagen_pdf Verifying a platform for digital imaging: a multi-tool strategy
    J. Heras, G. Mata, A. Romero, J. Rubio, R. Sáenz
    CICM (Calculemus track), Bath (UK) 2013.
  • Programming before Theorizing, a case study
    A. Romero, F. Sergeraert
    International Symposium on Symbolic and Algebraic Computation (ISSAC 2012), Grenoble (France) 2012.
  • imagen_pdf Computational Spectral Sequences
    A. Romero
    Workshop on Computational Topology, Zurich (Switzerland) 2012.
  • imagen_pdf Effective homotopy of fibrations
    A. Romero, F. Sergeraert
    Constructive homological algebra methods, implementations and applications, Luminy (France), 2011.
  • imagen_pdf Effective homology and discrete Morse theory for the computation of homology of groups
    A. Romero
    Mathematics, Algorithms, Proofs (MAP 2010), Logroño (Spain) 2010.
  • imagen_pdf Effective homology of groups and discrete Morse theory
    A. Romero
    III Iberian Mathematical Meeting (IMM3), Braga (Portugal) 2010.
  • Integrating multiple sources to answer questions in Algebraic Topology
    J. Heras, V. Pascual, A. Romero, J. Rubio
    9th International Conference on Mathematical Knowledge Management (MKM 2010), Paris (France) 2010.
  • imagen_pdf Effective homotopy: a first approach
    A. Romero, F. Sergeraert
    Aplications of Computer Algebra (ACA 2010), Vlora (Albany) 2010.
  • imagen_pdf Interoperating between Computer Algebra systems: computing homology of groups with Kenzo and GAP
    A. Romero, G. Ellis, J. Rubio
    International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), Seoul (Korea) 2009.
  • imagen_pdf An algorithm computing the first two levels of the Bousfield-Kan spectral sequence
    A. Romero
    Mathematics, XI Encuentro de Álgebra Computacional y Aplicaciones (EACA 2008), Granada (Spain) 2008.
  • imagen_pdf Effective homology and spectral sequences
    A. Romero, J. Rubio, F. Sergeraert
    Primer Congreso hispano-francés de Matemáticas, Zaragoza (Spain) 2007.
  • imagen_pdf Constructive spectral sequences
    A. Romero
    Mathematics, Algorithms, Proofs (MAP 2007), Leiden (Netherlands) 2007.
  • imagen_pdf From Homological Perturbation to Spectral Sequences: a Case Study
    A. Romero
    Integrability of Field Theories and Applications (GIFT 2006), Daresbury (UK) 2006.
  • imagen_pdf Effective Homology of Free Simplicial Abelian Groups: the Acyclic Case
    A. Romero
    X Encuentro de Álgebra Computacional y Aplicaciones (EACA 2006), Sevilla (Spain) 2006.
  • imagen_pdf Computing Spectral Sequences with the Kenzo system
    A. Romero, J. Rubio, F. Sergeraert
    International Congress of Mathematicians (ICM 2006), Mathematical software section, Madrid (Spain) 2006.
  • imagen_pdf An algorithm computing spectral sequences
    A. Romero
    Colloque du GDR "Topologie Algébrique et Applications", Lille (France) 2005.
  • imagen_pdf Remote access to a Symbolic Computation system for Algebraic Topology: a client-server approach
    M. Andrés, V. Pascual, A. Romero, J. Rubio
    Computer Algebra Systems and their Applications (CASA 2005), Atlanta (USA) 2005.
  • imagen_pdf Distributed Computing in Algebraic Topology: first trials and errors, first programs
    M. Andrés, V. Pascual, A. Romero, J. Rubio
    Internet Accessible Mathematical Computation (IAMC 2004), Santander (Spain) 2004.
  • imagen_pdf On the role of distributed computing in Symbolic Computation for Algebraic Topology
    M. Andrés, V. Pascual, A. Romero, J. Rubio
    IX Encuentro de Álgebra Computacional y Aplicaciones (EACA 2004), Santander (Spain) 2004.