Katrin Dannert

M. Sc.
Computer Science Departement, RTG UnRAVeL

Former associate doctoral researcher


Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen


Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
Semiring Provenance for Fixed-Point Logic
In: 29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq, 17:1-17:22, 2021
[DOI: 10.4230/LIPICS.CSL.2021.17]
Dannert, Katrin M. (Corresponding author)
Grädel, Erich (Corresponding author)
Naaf, Matthias Ferdinand (Corresponding author)
Tannen, Val (Corresponding author)
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard Marlon
Dannert, Katrin M.
Lindner, Peter
et al.
Semiring Provenance for Guarded Logics, 2019
Grädel, Erich (Corresponding author)
Dannert, Katrin M.
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic, 2019
[DOI: 10.18154/RWTH-2019-09537]
Dannert, Katrin M.
Grädel, Erich (Corresponding author)
Naaf, Matthias Ferdinand
Tannen, Val
[Contribution to a book]
Provenance Analysis : A Perspective for Description Logics?
In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday / Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter (eds.), 266-285, 2019
[DOI: 10.1007/978-3-030-22102-7_12]
Dannert, Katrin M.
Grädel, Erich (Corresponding author)