Person
Jasper Nalbach
M. Sc.UnRAVeL Research Training Group
Associated doctoral researcher
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] FMplex: A Novel Method for Solving Linear Real Arithmetic Problems In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification Udine, Italy, 18-20th September 2023, 2023 [DOI: 10.4204/EPTCS.390.2] | Nalbach, Jasper Kurt Ferdinand Promies, Valentin Maxim Ábrahám, Erika Kobialka, Paul |
| [Contribution to a book, Contribution to a conference proceedings] Exploiting Strict Constraints in the Cylindrical Algebraic Covering In: SMT 2023 : Satisfiability Modulo Theories 2023 : Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) : co-located with the 29th International Conference on Automated Deduction (CADE 2023) : Rome, Italy, July, 5-6, 2023 / Edited by Stéphane Graham-Lengrand ; Mathias Preiner, 13 Seiten, 2023 | Bär, Philipp (Corresponding author) Nalbach, Jasper Kurt Ferdinand (Corresponding author) Ábrahám, Erika (Corresponding author) Brown, Christopher (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Subtropical Satisfiability for SMT Solving In: NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri, 430-446, 2023 [DOI: 10.1007/978-3-031-33170-1_26] | Nalbach, Jasper Kurt Ferdinand (Corresponding author) Ábrahám, Erika |
| [Contribution to a book, Contribution to a conference proceedings] Automated Exercise Generation for Satisfiability Checking In: Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings / Catherine Dubois, Pierluigi San Pietro, editors, 1-16, 2023 [DOI: 10.1007/978-3-031-27534-0_1] | Ábrahám, Erika Nalbach, Jasper Kurt Ferdinand (Corresponding author) Promies, Valentin Maxim |
| [Contribution to a conference proceedings] Cylindrical Algebraic Coverings for Quantifiers In: Proceedings of the 7th SC-Square Workshop, CEUR-WS Proceedings, 9 Seiten, 2023 | Kremer, Gereon Nalbach, Jasper Kurt Ferdinand |
| [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) |