Person
Jasper Nalbach
M. Sc.Graduiertenkolleg UnRAVeL
Assoziierter Promotionsstudent
Adresse
Gebäude: 2352
Raum: 4229
Ahornstr. 55
52074 Aachen
Kontakt
- WorkPhone
- Telefon: +49 241 80 21243
Fax
Fax:
+49 241 80 22243
E-Mail:
Nalbach@cs.rwth-aachen.de
Promotionsprojekt |
---|
Algebraic Methods in SMT-Solving |
Kollaborationen |
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 |
Publikationen im Rahmen von UnRAVeL
Quelle | Autor(en) |
---|---|
[Buchbeitrag, Beitrag zu einem Tagungsband] 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 |
[Buchbeitrag, Beitrag zu einem Tagungsband] 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) |
[Buchbeitrag, Beitrag zu einem Tagungsband] 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 |
[Buchbeitrag, Beitrag zu einem Tagungsband] 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 |
[Beitrag zu einem Tagungsband] 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 |
[Buchbeitrag, Beitrag zu einem Tagungsband] 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) |