Person
Jasper Nalbach
M. Sc.Associated doctoral researcher
Lehr- und Forschungsgebiet Theorie Hybrider Systeme
Address
Building: 2352
Room: 4229
Ahornstr. 55
52074 Aachen
Contact
- WorkPhone
- Phone: +49 241 80 21243
Fax
Fax:
+49 241 80 22243
Email:
Nalbach@cs.rwth-aachen.de
| Dissertation project |
|---|
| Collaborations |
| Rebecca Haehn: Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties |
| Engagement |
| Team Research Data Management |
| Talks |
| Bi-Weekly Talk: A novel idea for solving satisfiability modulo linear real arithmetic |
| Bi-Weekly Talk: Jasper Nalbach: A novel idea for solving satisfiability modulo linear real arithmetic |
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [Contribution to a book, Contribution to a conference proceedings] Extending the Fundamental Theorem of Linear Programming for Strict Inequalities In: ISSAC '21 : Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation : July 18-23, 2021, Virtual Event, Russian Federation / General Chair: Frédéric Chyzak ; Program Committee Chair: George Labahn ; Proceedings Editor: Marc Mezzarobba, 313-320, 2021 [DOI: 10.1145/3452143.3465538] | Nalbach, Jasper Kurt Ferdinand (Corresponding author) Ábrahám, Erika (Corresponding author) Kremer, Gereon (Corresponding author) |