@conference{ADCAVELRA2025,
title = {A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic},
author = {Valentin Maxim Promies and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {14933},
pages = {131-148},
type = {Conference Paper},
year = {2025},
doi = {10.1007/978-3-031-71162-6_7},
url = { https://publications.rwth-aachen.de/record/994022},
}×

@article{L2024,
title = {Levelwise construction of a single cylindrical algebraic cell},
author = {Jasper Kurt Ferdinand Nalbach and Erika Ábrahám and Philippe Specht and Christopher W. Brown and James H. Davenport and Matthew England},
publisher = {Elsevier},
journal = {Journal of symbolic computation},
volume = {123},
pages = {pages 102288},
type = {Journal Article},
year = {2024},
doi = {10.1016/j.jsc.2023.102288},
url = { https://publications.rwth-aachen.de/record/975125},
}×

@conference{SSYMT2024,
title = {SMT: Something You Must Try},
author = {Erika Ábrahám and Jószef Kovács and Anne Remke},
publisher = {Springer},
booktitle = {LNCS},
volume = {14300},
pages = {3-18},
type = {Conference Paper},
year = {2024},
doi = {10.1007/978-3-031-47705-8_1},
url = { https://publications.rwth-aachen.de/record/976267},
}×

@unpublished{SASPIDSVL2024,
title = {SubPipe: A Submarine Pipeline Inspection Dataset for Segmentation and Visual-inertial Localization},
author = {Olaya Álvarez-Tunón and Luiza Ribeiro Marnet and László Antal and Martin Aubard and Maria Costa and Yury Brodskiy},
type = {Preprint},
year = {2024},
doi = {10.48550/ARXIV.2401.17907},
url = { https://arxiv.org/abs/2401.17907},
}×

@unpublished{MPSAPIUAUVAFBT2024,
title = {Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework based on Behavior Trees},
author = {Martin Aubard and Sergio Quijano and Olaya Álvarez-Tunón and László Antal and Maria Costa and Yury Brodskiy},
type = {Preprint},
year = {2024},
doi = {10.48550/ARXIV.2402.04045},
url = { https://arxiv.org/abs/2402.04045},
}×

@article{PM2024,
title = {Parameter synthesis for Markov models: covering the parameter space},
author = {Sebastian Junges and Erika Ábrahám and Hans Christian Hensel and Nils Jansen and Joost-Pieter Katoen and Tim Quatmann and Matthias Volk},
publisher = {Springer},
journal = {Formal methods in system design},
volume = {62(1/3)},
pages = {pages 181-259},
type = {Journal Article},
year = {2024},
doi = {10.1007/s10703-023-00442-x},
url = { https://publications.rwth-aachen.de/record/985754},
}×

@conference{MACDSCC2024,
title = {Merging Adjacent Cells During Single Cell Construction},
author = {Jasper Kurt Ferdinand Nalbach and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {14938},
pages = {252-272},
type = {Conference Paper},
year = {2024},
doi = {10.1007/978-3-031-69070-9_15},
url = { https://publications.rwth-aachen.de/record/991681},
}×

@unpublished{KDYVSSSOD2024,
title = {Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection},
author = {Martin Aubard and László Antal and Ana Madureira and Erika Ábrahám},
pages = {15 Seiten},
type = {Preprint},
year = {2024},
doi = {10.48550/arXiv.2403.09313},
url = { https://arxiv.org/abs/2403.09313},
}×

@misc{UASACEA2024,
title = {Under-Approximation of a Single Algebraic Cell (Extended Abstract)},
author = {Valentin Maxim Promies and Jasper Kurt Ferdinand Nalbach and Erika Ábrahám},
publisher = {RWTH Aachen},
booktitle = {CEUR workshop proceedings},
volume = {3717},
pages = {132-136},
type = {Invited Abstract},
year = {2024},
url = { https://publications.rwth-aachen.de/record/994020},
}×

@article{ISIQP2024,
title = {Introduction to the Special Issue on QEST 2022, Part 1},
author = {Erika Ábrahám and Marco Paolieri},
publisher = {ACM Press},
journal = {ACM transactions on modeling and computer simulation},
volume = {34},
pages = {pages 16:1},
type = {Journal Article},
year = {2024},
doi = {10.1145/3671146},
url = { https://publications.rwth-aachen.de/record/994023},
}×

@proceedings{PAICHSCC2024,
title = {Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control},
author = {},
editor = {Erika Ábrahám and Manuel Mazo Jr},
publisher = {Association for Computing Machinery},
booktitle = {ACM conferences},
pages = {XI, 307 Seiten},
type = {Proceeding Article},
year = {2024},
doi = {10.1145/3641513},
url = { https://publications.rwth-aachen.de/record/994024},
}×

@inbook{S2024,
title = {Subpipe: a submarine pipeline inspection dataset for segmentation and visual-inertial localization},
author = {Olaya Álvarez-Tuñón and Luiza Ribeiro Marnet and Martin Aubard and László Antal and Maria Costa and Yury Brodskiy},
publisher = {IEEE},
pages = {7 Seiten},
type = {Book Chapter},
year = {2024},
doi = {10.1109/OCEANS51537.2024.10682150},
url = { https://publications.rwth-aachen.de/record/998290},
}×

@conference{MPSAPIUAUVAFBBT2024,
title = {Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework Based on Behavior Trees},
author = {Martin Aubard and Sergio Quijano and Olaya Álvarez-Tuñón and László Antal and Maria Costa and Yury Brodskiy},
publisher = {IEEE},
pages = {6 Seiten},
type = {Conference Paper},
year = {2024},
doi = {10.1109/OCEANS51537.2024.10682385},
url = { https://publications.rwth-aachen.de/record/998334},
}×