h1

080060

⇧ RWTH Aachen ⇧

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Nalbach, J. K. F. (Corresponding author)RWTH* ; Michel, L. ; Abraham, E.RWTH* ; Brown, C. W. ; Davenport, J. H. ; England, M. ; Mathonet, P. ; Zénaïdi, N.
Projective Delineability for Single Cell Construction
2025SC-Square 2025 : Satisfiability Checking and Symbolic Computation 2025 : Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025), Collocated with The 30th International Conference on Automated Deduction (CADE 2025) : Stuttgart, Germany, August 2, 2025 / Edited by Mădălina Erașcu, Mikoláš Janota
10. International Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2025, StuttgartStuttgart, Germany, 2 Aug 2025 - 2 Aug 20252025-08-022025-08-02
30. International Conference on Automated Deduction, CADE 2025, StuttgartStuttgart, Germany, 28 Jul 2025 - 2 Aug 20252025-07-282025-08-02 Aachen, Germany : RWTH Aachen, CEUR workshop proceedings 4116, 41-54 (2025) [10.18154/RWTH-2025-10263]2025     Files  Homepage of book Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Nalbach, J. K. F. (Corresponding author)RWTH* ; Abraham, E.RWTH*
A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
2025SC-Square 2025 : Satisfiability Checking and Symbolic Computation 2025 : Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025), Collocated with The 30th International Conference on Automated Deduction (CADE 2025) : Stuttgart, Germany, August 2, 2025 / Edited by Mădălina Erașcu, Mikoláš Janota
10. International Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2025, StuttgartStuttgart, Germany, 2 Aug 2025 - 2 Aug 20252025-08-022025-08-02
30. International Conference on Automated Deduction, CADE 2025, StuttgartStuttgart, Germany, 28 Jul 2025 - 2 Aug 20252025-07-282025-08-02 Aachen, Germany : RWTH Aachen, CEUR workshop proceedings 4116, 19-34 (2025) [10.18154/RWTH-2025-10262]2025     Files  Homepage of book Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Dissertation / PhD Thesis Grüne, C. M.RWTH* ; Rossmanith, P. (Thesis advisor)RWTH* ; Goerigk, M. (Thesis advisor)
Computational complexity of problems in robust, bilevel and online optimization
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2025) [10.18154/RWTH-2025-09741]2025 = Dissertation, RWTH Aachen University, 2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Bork, A. N. (Corresponding author)RWTH* ; Quatmann, T.RWTH* ; Katoen, J.-P.RWTH* ; Stein, S. M.RWTH*
Multi-Cost-Bounded Reachability Analysis of POMDPs
2025Conference on Uncertainty in Artificial Intelligence, 21-25 July 2025, Rio Othon Palace, Rio de Janeiro, Brazil / Editors: Silvia Chiappa, Sara Magliacane
41. Conference on Uncertainty in Artificial Intelligence, UAI 2025, Rio de JaneiroRio de Janeiro, Brazil, 21 Jul 2025 - 25 Jul 20252025-07-212025-07-25 Proceedings of machine learning research 286, 354-366 (2025) [10.18154/RWTH-2025-08686]2025     Files  Fulltext Homepage of book BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint Emunds, T. P. (Corresponding author)RWTH* ; Brunzema, P. J.RWTH* ; Trimpe, J. S.RWTH* ; Nießen, N.RWTH*
Utilizing Bayesian Optimization for Timetable-Independent Railway Junction Performance Determination
33 Seiten (2025) [10.48550/arXiv.2510.11181]2025     Files  Fulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article (Letter) Emunds, T. P. (Corresponding author)RWTH* ; Nießen, N.RWTH*
A queueing-based approach for timetable-independent railway station performance analysis
Journal of Rail Transport Planning & Management 36, 100539 (2025) [10.1016/j.jrtpm.2025.100539]2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Dissertation / PhD Thesis Brandt, T. C.RWTH* ; Büsing, C. M. K. (Thesis advisor)RWTH* ; Knust, S. (Thesis advisor)
Structural insights and efficient algorithms for the patient-to-room assignment problem with equal rooms
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2025) [10.18154/RWTH-2025-06846]2025 = Dissertation, RWTH Aachen University, 2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Chatterjee, K. ; Quatmann, T.RWTH* ; Schäffeler, M. ; Weininger, M. (Corresponding author) ; Winkler, T.RWTH* ; Zilken, D.RWTH*
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II / edited by Arie Gurfinkel, Marijn Heule
31. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, Hamilton, ONHamilton, ON, Canada, 3 May 2025 - 8 May 20252025-05-032025-05-08
28. International Joint Conference on Theory and Practice of Software, ETAPS 2025, Hamilton, ONHamilton, ON, Canada, 3 May 2025 - 8 May 20252025-05-032025-05-08 Cham : Springer Nature Switzerland, Lecture notes in computer science 15697, : 1st ed. 2025, 130-151 (2025) [10.1007/978-3-031-90653-4_7]2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Anapolska, M. (Corresponding author)RWTH* ; Ahrens, E. K.RWTH* ; Büsing, C. M. K.RWTH* ; Engelhardt, F.RWTH* ; Gersing, T.RWTH* ; Mathwieser, C. M.RWTH* ; Schmitz, S.RWTH* ; Wrede, S.RWTH*
Minimum‐Peak‐Cost Flows Over Time
Networks (2025) [10.1002/net.70001]2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Batz, K.RWTH* ; Katoen, J.-P.RWTH* ; Randone, F. ; Winkler, T.RWTH*
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
Proceedings of the ACM on programming languages : (PACMPL) 9(OOPSLA1), 421-448 (2025) [10.1145/3720429]2025     Files BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS |