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 Journal Article Kebrich, S. ; Engelhardt, F. (Corresponding author)RWTH* ; Franzmann, D. ; Büsing, C. M. K.RWTH* ; Linßen, J. ; Heinrichs, H.
Robust Capacity Expansion Modelling for Renewable Energy Systems
iScience (2026) [10.1016/j.isci.2026.114929]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a conference proceedings Emunds, T. P. (Corresponding author)RWTH* ; Nießen, N.RWTH*
Approximation von Bediensystemen zur Leistungsfähigkeitsbestimmung von Eisenbahninfrastruktur in Bahnhöfen
2026IRSA 2025 : Tagungsband/proceedings: Aachen, Germany 19-20 November 2025 / Herausgeber/editors: Univ.-Prof. Dr.-Ing. Nießen, Nils; Univ.-Prof. Dr.-Ing. Schindler, Christian; DVV Media Group GmbH
5. International Railway Symposium Aachen 2025, IRSA 25, AachenAachen, Germany, 19 Nov 2025 - 20 Nov 20252025-11-192025-11-20 Aachen : RWTH Aachen University 44-64 (2026) [10.18154/RWTH-2026-01128]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article/Contribution to a conference proceedings Kassing, J.-C. (Corresponding author)RWTH* ; Giesl, J.RWTH*
The annotated dependency pair framework for almost-sure termination of probabilistic term rewriting
202617. International Symposium on Functional and Logic Programming, FLOPS 2024, KumamotoKumamoto, Japan, 15 May 2024 - 17 May 20242024-05-152024-05-17 Science of computer programming 251, 103417 (2026) [10.1016/j.scico.2025.103417] special issue: "17th International Symposium on Functional and Logic Programming / Special issue"2026     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 Abels, A. ; Anapolska, M. (Corresponding author)RWTH* ; Büsing, C. M. K.RWTH*
Interval-Constrained Bipartite Matching over Time
2026Approximation and Online Algorithms : 23rd International Workshop, WAOA 2025, Warsaw, Poland, September 18–19, 2025, Proceedings / edited by Jannik Matuschke, José Verschae
23. International Workshop on Approximation and Online Algorithms, WAOA 2025, WarsawWarsaw, Poland, 18 Sep 2025 - 19 Sep 20252025-09-182025-09-19 Springer Nature Switzerland, Lecture Notes in Computer Science 16077, 1-17 (2026) [10.1007/978-3-032-06706-7_1]2026   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Kassing, J.-C. (Corresponding author)RWTH* ; Giesl, J. (Corresponding author)RWTH*
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
Logical methods in computer science : LMCS 21(4), 28 (2025) [10.46298/lmcs-21(4:28)2025]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 Ahrens, E. K. (Corresponding author)RWTH* ; Kassing, J.-C. (Corresponding author)RWTH* ; Giesl, J. (Corresponding author)RWTH* ; Katoen, J.-P. (Corresponding author)RWTH*
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
202510th International Conference on Formal Structures for Computation and Deduction : FSCD 2025, July 14-20, 2025, Birmingham, UK / edited by Maribel Fernández
10. International Conference on Formal Structures for Computation and Deduction, FSCD 2025, BirminghamBirmingham, UK, 14 Jul 2025 - 20 Jul 20252025-07-142025-07-20 Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 337, 6:[1]-6:21 (2025) [10.4230/LIPICS.FSCD.2025.6]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 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

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