Person

Katrin Dannert

M. Sc.

Ehem. assoziierte Promotionsstudentin

Adresse

 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Semiring Provenance for Fixed-Point Logic
In: [29th EACSL Annual Conference on Computer Science Logic, CSL 2021], 2021
[DOI: 10.4230/LIPICS.CSL.2021.17]
Dannert, Katrin M. (Corresponding author)
Grädel, Erich (Corresponding author)
Naaf, Matthias (Corresponding author)
Tannen, Val (Corresponding author)
[Bericht]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard
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
Tannen, Val
[Buchbeitrag]
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)