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 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

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* ; Grädel, E. (Corresponding author)RWTH* ; Mrkonjić, L. (Corresponding author)RWTH* ; Naaf, M. F. (Corresponding author)RWTH*
Semiring Provenance in the Infinite
2024The provenance of elegance in computation - essays dedicated to Val Tannen : Tannen's Festschrift, May 24-25, 2024, University of Pennsylvania, Philadelphia, PA, USA / edited by Antoine Amarilli, Alin Deutsch
Tannen's Festschrift, PhiladelphiaPhiladelphia, USA, 24 May 2024 - 25 May 20242024-05-242024-05-25 Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, June, Open Access Series in Informatics (OASIcs) 119, 3:1-3:26 (2024) [10.4230/OASICS.TANNEN.3]2024     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Grädel, E. (Corresponding author)RWTH* ; Lücking, N.RWTH* ; Naaf, M. F. (Corresponding author)RWTH*
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
Logical methods in computer science : LMCS 20(1), 9049 (2024) [10.46298/lmcs-20(1:21)2024]2024     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 Brinke, S. (Corresponding author)RWTH* ; Grädel, E.RWTH* ; Mrkonjic, L.RWTH*
Ehrenfeucht-Fraïssé Games in Semiring Semantics
202432nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano Alexandra Silva
32. EACSL Annual Conference on Computer Science Logic, CSL 2024, NaplesNaples, Italy, 19 Feb 2024 - 23 Feb 20242024-02-192024-02-23 Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics 288, 19:1-19:22 (2024) [10.4230/LIPICS.CSL.2024.19]2024     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 Lichter, M. (Corresponding author)RWTH* ; Pago, B. T. (Corresponding author) ; Seppelt, T. F. (Corresponding author)RWTH*
Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability
202432nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano Alexandra Silva
32. EACSL Annual Conference on Computer Science Logic, CSL 2024, NaplesNaples, Italy, 19 Feb 2024 - 23 Feb 20242024-02-192024-02-23 Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics 288, 36:[1]-36:19 (2024) [10.4230/LIPIcs.CSL.2024.36]2024     Files BibTeX | EndNote: XML, Text | RIS

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