h1

117220

⇧ 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 Brinke, S. (Corresponding author)RWTH* ; Dawar, A. (Corresponding author) ; Grädel, E. (Corresponding author)RWTH* ; Mrkonjić, L. (Corresponding author)RWTH* ; Naaf, M. F. (Corresponding author)RWTH*
Compactness in Semiring Semantics
202634th EACSL Annual Conference on Computer Science Logic : CSL 2026, February 23-28, 2026, Paris, France / edited by Stefano Guerrini, Barbara König
34. Annual Conference on Computer Science Logic, CSL 2026, ParisParis, France, 23 Feb 2026 - 28 Feb 20262026-02-232026-02-28 Saarbrücken ; Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics 363, [13:1]-13:21 (2026) [10.4230/LIPICS.CSL.2026.13]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint Dawar, A. (Corresponding author) ; Grädel, E. (Corresponding author)RWTH* ; Kullmann, L. (Corresponding author)RWTH* ; Pago, B. (Corresponding author)
Symmetric Proofs in the Ideal Proof System
35 Seiten (2025) [10.48550/arXiv.2504.16820]2025     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 Dawar, A. (Corresponding author) ; Grädel, E. (Corresponding author)RWTH* ; Kullmann, L. (Corresponding author)RWTH* ; Pago, B. (Corresponding author)
Symmetric Proofs in the Ideal Proof System
202550th International Symposium on Mathematical Foundations of Computer Science : MFCS 2025, August 25-29, 2025, Warsaw, Poland / edited by Paweł Gawrychowski, Filip Mazowiecki, Michał Skrzypczak
50. International Symposium on Mathematical Foundations of Computer Science, MFCS 2025, WarsawWarsaw, Poland, 25 Aug 2025 - 29 Aug 20252025-08-252025-08-29 Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 345, [40:1]-40:18 (2025) [10.4230/LIPICS.MFCS.2025.40]2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book Grädel, E. (Corresponding author)RWTH* ; Tannen, V.
Provenance Analysis and Semiring Semantics for First-Order Logic
2025Model theory, computer science, and graph polynomials : Festschrift in honor of Johann A. Makowsky / edited by Klaus Meer, Alexander Rabinovich, Elena Ravve, Andrés Villaveces Cham : Springer Nature Switzerland, Trends in Mathematics 351-401 (2025) [10.1007/978-3-031-86319-6_21]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Kolbe, N. (Corresponding author)RWTH* ; Müller, S.RWTH*
A relaxation approach to the coupling of a two-phase fluid with a linear-elastic solid
Applied mathematics and computation 504, 129503 (2025) [10.1016/j.amc.2025.129503]2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Dissertation / PhD Thesis Mrkonjić, L.RWTH* ; Grädel, E. (Thesis advisor)RWTH* ; Tannen, V. (Thesis advisor)
Semiring semantics: algebraic foundations, model theory, and strategy analysis
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2025) [10.18154/RWTH-2025-03940]2025 = Dissertation, RWTH Aachen University, 2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint Beckers, A. (Corresponding author)RWTH* ; Kolbe, N. (Corresponding author)RWTH*
The Lax-Friedrichs method in one-dimensional hemodynamics
22 Seiten (2025) [10.48550/arXiv.2501.16115]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 (Erratum/Correction) Futai, K. ; Kolbe, N. (Corresponding author)RWTH* ; Notsu, H. ; Suzuki, T.
Correction to: A Mass-Preserving Two-Step Lagrange–Galerkin Scheme for Convection-Diffusion Problems
Journal of scientific computing 102(1), 19 (2025) [10.1007/s10915-024-02720-0]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Dissertation / PhD Thesis Naaf, M. F.RWTH* ; Grädel, E. (Thesis advisor)RWTH* ; Esparza, J. (Thesis advisor)
Logic, semirings, and fixed points
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2024) [10.18154/RWTH-2024-10804]2024 = Dissertation, RWTH Aachen University, 2024     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 Zhang, S. ; Zhou, X. ; Ahmad, S. ; Mathews, P. ; Hickel, T. ; Neugebauer, J. ; Alhassan, A. S. A.RWTH* ; Berkels, B.RWTH* ; Dehm, G. ; Scheu, C.
Triggering and tracking grain boundary phase transformation at atomic resolution
202417. European Microscopy Congress, EMC 2024, CopenhagenCopenhagen, Denmark, 24 Aug 2024 - 30 Aug 20242024-08-242024-08-30 BIO Web of Conferences 129, 23005 (2024) [10.1051/bioconf/202412923005] special issue: "The 17th European Microscopy Congress (EMC 2024) / Copenhagen, Denmark, August 25-30, 2024 / K. Qvortrup and K. Weede (eds.)"2024     Files BibTeX | EndNote: XML, Text | RIS

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