Rebecca Haehn

According to our database1, Rebecca Haehn authored at least 5 papers between 2018 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Acceleration Techniques for Symbolic Simulation of Railway Timetables.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2021
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies.
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

2020
Freight Train Scheduling in Railway Systems.
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020

Probabilistic Simulation of a Railway Timetable.
Proceedings of the 20th Symposium on Algorithmic Approaches for Transportation Modelling, 2020

2018
Evaluation of Equational Constraints for CAD in SMT Solving.
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018


  Loading...