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 restricted URL PDF [bibtex] Rebecca Haehn, Erika Ábrahám, Nils Nießen. Freight Train Scheduling in Railway Systems, International Conference on Measurement, Modelling and Evaluation of Computing Systems 2020 (MMB 2020), Volume 12040 of LNCS, pages 225-241, Springer, 2020.
2018
fulltext PDF [bibtex] Rebecca Haehn, Gereon Kremer, Erika Ábrahám. 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, pages 19-32, RWTH Aachen, 2018.