Person

Rebecca Haehn

M. Sc. RWTH

Promotionsstudentin

Rebecca Hähn
Lehr- und Forschungsgebiet Theorie Hybrider Systeme

Adresse

Gebäude: 2353 Informatikzentrum E1

Raum: 4228

Ahornstr. 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21243

Sprechstunde

n.V.
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Freight Train Scheduling in Railway Systems
In: Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings / edited by Holger Hermanns, 225-241, 2020
[DOI: 10.1007/978-3-030-43024-5_14]
Haehn, Rebecca
Ábrahám, Erika
Nießen, Nils
[Buchbeitrag, Beitrag zu einem Tagungsband]
Evaluation of Equational Constraints for CAD in SMT Solving
In: Satisfiability checking and symbolic computation : SC-Square 2018 : proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, co-located with Federated Logic Conference (FLOC 2018) : Oxford, UK, July 11, 2018 / edited by Anna M. Bigatti (Dipartimento di Matematica, Università degli Studi di Genova, Genova, Italy), Martin Brain (Department of Computer Science, University of Oxford, Oxford, UK ), [19]-32, 2018
Haehn, Rebecca
Kremer, Gereon
Ábrahám, Erika