Rebecca Haehn

Email
haehn at cs.rwth-aachen.de
Phone
+49 241 80 21243
Address
Room 4228
Ahornstraße 55
D-52074 Aachen

I am a PhD student in the DFG research training group UnRAVeL. My supervisors are Prof. Dr. Erika Ábrahám and Prof. Dr.-Ing. Nils Nießen. I am working on satisfiability checking for optimization of timetables in railway systems.

 

2020
DOI [bibtex] [issue] Erika Ábrahám, Nils Nießen, Rebecca Haehn. Probabilistic Simulation of a Railway Timetable, 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2020), Volume 85 of OpenAccess Series in Informatics (OASIcs), 16:1-16:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
DOI [bibtex] [issue] Erika Ábrahám, Nils Nießen, Rebecca Haehn. Freight Train Scheduling in Railway Systems, International Conference on Measurement, Modelling and Evaluation of Computing Systems 2020 (MMB 2020), Volume 12040 of LNCS, 225-241, Springer, 2020.
fulltext PDF [bibtex] [issue] Andreas Gabriel Klinger, Anton Pirogov, Benjamin Lucien Kaminski, Björn Frederik Tauer, Daxin Liu, Dennis Fischer, Helene-Maria Bolke-Hermanns, Janosch Fuchs, Jip Josephine Spel, Joost-Pieter Katoen, Katrin Dannert, Laura Vargas Koch, Marcel Hark, Martin Comis, Martin Ritzert, Matthias Volk, Nadine Friesen, Norman Weik, Peter Lindner, Rebecca Haehn, Richard Wilke, Sebastian Junges, Stefan Schupp, Stephan Zieger, Tabea Claudia Krabs, Till Hofmann, Vipin Ravindran Vijayalakshmi. UnRAVeL - Research Training Group, 2020.
2018
fulltext PDF [bibtex] [issue] Erika Ábrahám, Gereon Kremer, Rebecca Haehn. Evaluation of Equational Constraints for CAD in SMT Solving, 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference (SC-Square 2018), Volume 2189 of CEUR Workshop Proceedings, [19]-32, RWTH Aachen, 2018.