Evaluation of Equational Constraints for CAD in SMT Solving. - Rebecca Haehn; Gereon Kremer; Erika Ábrahám (SC-Square@FLOC, 2018)

Probabilistic Simulation of a Railway Timetable. - Rebecca Haehn; Erika Ábrahám; Nils Nießen (ATMOS, 2020)

Freight Train Scheduling in Railway Systems. - Rebecca Haehn; Erika Ábrahám; Nils Nießen (MMB, 2020)

Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies. - Rebecca Haehn; Erika Ábrahám; Nils Nießen (QEST, 2021)

Acceleration Techniques for Symbolic Simulation of Railway Timetables. - Rebecca Haehn; Erika Ábrahám; Niklas Kotowski (RSSRail, 2022)