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 (Erratum/Correction)/Contribution to a conference proceedings Geißler, D. (Corresponding author) ; Winkler, T.RWTH*
Correction to: Weighted Automata for Exact Inference in Discrete Probabilistic Programs
2026Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings / edited by Zhiming Liu, Adnane Saoud, Heike Wehrheim
22. International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, MarrakechMarrakech, Morocco, 24 Nov 2025 - 28 Nov 20252025-11-242025-11-28 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16237, C1-C1 (2026) [10.1007/978-3-032-11176-0_29]2026   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Dissertation / PhD Thesis Muluk, K. D.RWTH* ; Peis, B. (Thesis advisor)RWTH* ; Buchheim, C. (Thesis advisor) ; Grohe, M. (Thesis advisor)RWTH*
Computational complexity of graph orientation, bilevel and robust optimization problems
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-06238]2026 = Dissertation, RWTH Aachen University, 2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Dissertation / PhD Thesis Feng, Q.RWTH* ; Lakemeyer, G. (Thesis advisor)RWTH* ; Belle, V. (Thesis advisor)
Reasoning about probabilistic and higher-order beliefs
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-06108]2026 = Dissertation, RWTH Aachen University, 2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Emunds, T. P. (Corresponding author)RWTH* ; Nießen, N. (Corresponding author)RWTH*
Approximation von Bediensystemen zur Leistungsfähigkeitsbestimmung von Eisenbahninfrastruktur in Bahnhöfen
Eisenbahntechnische Rundschau : ETR 75(5), 44-47 (2026) [10.61067/260533]2026     Files  Homepage of publisher BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Nalbach, J. K. F. (Corresponding author)RWTH* ; Kremer, G.
Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
Mathematics in computer science 20(1), 7 (2026) [10.1007/s11786-025-00623-3]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Lommen, N. M. (Corresponding author)RWTH* ; Meyer, É. M.RWTH* ; Giesl, J. (Corresponding author)RWTH*
Targeting Completeness: Automated Complexity Analysis of Integer Programs
Journal of automated reasoning 70(1), 6, 57 pages (2026) [10.1007/s10817-026-09751-2]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint Hose, H. S. (Corresponding author)RWTH* ; Brunzema, P. J.RWTH* ; Von Rohr, A. ; Gräfe, A. S.RWTH* ; Schoellig, A. P. ; Trimpe, J. S.RWTH*
Fine-Tuning of Neural Network Approximate MPC without Retraining via Bayesian Optimization
15 Seiten (2025) [10.48550/arXiv.2512.14350]2025     Fulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint Brunzema, P. J. (Corresponding author)RWTH* ; Trimpe, J. S. (Corresponding author)RWTH*
BayeSQP: Bayesian Optimization through Sequential Quadratic Programming
202639. Neural Information Processing Systems, NeurIPS 2025, San Diego, CASan Diego, CA, USA, 1 Dec 2025 - 1 Dec 20252025-12-012025-12-01 21 Seiten (2026) [10.48550/arXiv.2602.03232]2026     Files  Fulltext by arXiv.org 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 Heck, L. (Corresponding author) ; Quatmann, T.RWTH* ; Spel, J. J.RWTH* ; Katoen, J.-P.RWTH* ; Junges, S.
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2026Automated technology for verification and analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025 : proceedings / Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan, editors
Automated Technology for Verification and Analysis, ATVA, BengaluruBengaluru, India, 27 Oct 2025 - 31 Oct 20252025-10-272025-10-31 Cham : Springer, Lecture notes in computer science 16145, 207-230 (2026) [10.1007/978-3-032-08707-2_10]2026   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 Geißler, D. (Corresponding author) ; Winkler, T.RWTH*
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
2026Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings / edited by Zhiming Liu, Adnane Saoud, Heike Wehrheim
22. International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, MarrakechMarrakech, Morocco, 24 Nov 2025 - 28 Nov 20252025-11-242025-11-28 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16237, 261-278 (2026) [10.1007/978-3-032-11176-0_16]2026   BibTeX | EndNote: XML, Text | RIS

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