
- nalbach at cs.rwth-aachen.de
- Address
- Room
Ahornstraße 55
D-52074 Aachen - 1
- class="h6
- 2
- m-0">21246"
- Address
- Room 4228
Ahornstraße 55
D-52074 Aachen
I am a doctoral student of the Theory of Hybrid Systems group and an associate member of the UnRAVeL training group since April 2020.
Research Interests
- SMT solving
- Nonlinear real arithmetic
- Cylindrical Algebraic Decomposition
- Linear arithmetic
Teaching Assistance
- Lecture: Satisfiability Checking (WS20/21, WS21/22, WS22/23)
- Lecture: Modeling and Analysis of Hybrid Systems (SS21)
- Lecture: Algorithmen und Datenstrukturen (SS20, SS22)
- Seminar: Satisfiability Checking (SS20, WS20/21, SS21, WS21/22, SS22)
- Proseminar: Formale Methoden (WS20/21, SS21, WS21/22)
- Practical lab: Neural network verification with Reluplex (WS20/21)
For supervised theses see here.
Publications
2023 | |
---|---|
![]() |
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, , , , . Levelwise construction of a single cylindrical algebraic cell, 2023. https://arxiv.org/abs/2212.09309 |
![]() |
Gereon Kremer, Jasper Kurt Ferdinand Nalbach. Cylindrical Algebraic Coverings for Quantifiers, 7. International Workshop on Satisfiability Checking and Symbolic Computation (SC² 2022), 9 Seiten, 2023. |
![]() |
Erika Ábrahám, Jasper Kurt Ferdinand Nalbach, Valentin Maxim Promies. Automated Exercise Generation for Satisfiability Checking, 5. International Workshop on Formal Methods Teaching (FMTea 2023), Volume 13962 of LNCS, 1-16, Springer, 2023. |
![]() |
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám. Subtropical Satisfiability for SMT Solving, Volume 13903 of LNCS, 430-446, Springer, 2023. |
![]() |
Philipp Bär, Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, . Exploiting Strict Constraints in the Cylindrical Algebraic Covering, 21. International Workshop on Satisfiability Modulo Theories (SMT 2023), Volume 3429 of CEUR workshop proceedings, 13 Seiten, 2023. |
![]() |
Philipp Bär, Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, . Exploiting Strict Constraints in the Cylindrical Algebraic Covering, 2023. https://arxiv.org/abs/2306.16757 |
![]() |
Jasper Kurt Ferdinand Nalbach, Valentin Maxim Promies, Erika Ábrahám, . FMplex: A Novel Method for Solving Linear Real Arithmetic Problems, 2023. https://arxiv.org/abs/2309.03138 |
![]() ![]() |
Jasper Kurt Ferdinand Nalbach, Valentin Maxim Promies, Erika Ábrahám, . FMplex: A Novel Method for Solving Linear Real Arithmetic Problems, Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023), Volume 390 of EPTCS, Open Publishing Association, 2023. |
2021 | |
![]() |
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, Gereon Kremer. Extending the Fundamental Theorem of Linear Programming for Strict Inequalities, International Symposium on Symbolic and Algebraic Computation (ISSAC '21), ACM Conferences, 313-320, Association for Computing Machinery, 2021. |
Show all |