Jasper Nalbach
Orcid: 0000-0002-2641-1380Affiliations:
- RWTH Aachen University, Germany
According to our database1,
Jasper Nalbach
authored at least 14 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
3
1
2
4
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Symb. Comput., July, 2024
Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024
Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024
2023
Proceedings of the Fourteenth International Symposium on Games, 2023
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version).
CoRR, 2023
Proceedings of the Formal Methods Teaching: 5th International Workshop, 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), 2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
2022
Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022
2021
Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021
2019
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019
2017
Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework.
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017