Person
Katrin Dannert
M. Sc.Computer Science Departement, RTG UnRAVeL
Former associate doctoral researcher
Address
Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [Contribution to a book] Semiring Provenance for Guarded Logics In: Hajnal Andréka and István Németi on Unity of Science, From Computing to Relativity Theory Through Algebraic Logic, 53-79, 2021 [DOI: 10.1007/978-3-030-64187-0_3] | Dannert, Katrin M. (Corresponding author) Grädel, Erich (Corresponding author) |
| [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) |
| [Report] 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. |
| [Preprint] Semiring Provenance for Guarded Logics, 2019 | Grädel, Erich (Corresponding author) Dannert, Katrin M. |
| [Preprint] 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) |