Katrin Dannert


Former associate doctoral researcher

Computer Science Departement, RTG UnRAVeL


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


Phone: +49 241 80 21709
Fax Fax: +49 241 80 22215

Office Hours

nach Vereinbarung

Publications related to UnRAVeL

Source Author(s)
UnRAVeL - Research Training Group, 2020
Katoen, Joost-Pieter
Ritzert, Martin Alexander Felix
Wilke, Richard
Dannert, Katrin
Lindner, Peter
et al.
Semiring Provenance for Guarded Logics, 2019
Grädel, Erich
Dannert, Katrin M.
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic, 2019
Dannert, Katrin M.
Grädel, Erich
Naaf, Matthias
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