Person
Dr.Richard Wilke
Ehem. assoziierter Promotionsstudent
Adresse
| Promotionsprojekt |
|---|
| Reasoning about Dependence and Independence: Teams and Multiteams |
| Engagement |
| Member of the Organisation Committee |
| Spring Workshop Organisation, 08.2018 |
| Talks |
| Bi-Weekly Talk: Richard Wilke: The Presburger fragment of logics with multiteam semantics |
| Bi-Weekly Talk: On the Union Closed Fragment of Existential Second-Order Logic |
| Für interessierte UnRAVel Mitglieder: AlMoTh 2019 - Algorithmic Model Theory Meeting 2019 |
| Bi-Weekly Talk: Erich Grädel & Richard Wilke: Logics for Dependence and Independence |
Publikationen im Rahmen von UnRAVeL
| Quelle | Autor(en) |
|---|---|
| [Fachzeitschriftenartikel] Logics with Multiteam Semantics In: ACM transactions on computational logic : TOCL, 23 (2), 13, 2022 [DOI: 10.1145/3487579] | Grädel, Erich (Corresponding author) Wilke, Richard Marlon |
| [Preprint] Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics, 2022 [DOI: 10.48550/arXiv.2203.03425] | Grädel, Erich (Corresponding author) Helal, Hayyan (Corresponding author) Naaf, Matthias Ferdinand (Corresponding author) Wilke, Richard Marlon (Corresponding author) |
| [Doktorarbeit] Reasoning about dependence and independence : teams and multiteams, 2021 [DOI: 10.18154/RWTH-2022-02743] | Wilke, Richard Marlon |
| [Fachzeitschriftenartikel] On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics In: Logical methods in computer science, 17 (3), 14:1-14:32, 2021 [DOI: 10.46298/lmcs-17(3:14)2021] | Hoelzel, Matthias (Corresponding author) Wilke, Richard Marlon (Corresponding author) |
| [Beitrag zu einem Tagungsband] Separation Logic and Logics with Team Semantics In: Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V), Jouko Väänänen and Fan Yang (eds.), 9-15, 2020 | Grädel, Erich (Corresponding author) Haase, Darion (Corresponding author) Wilke, Richard Marlon (Corresponding author) |
| [Beitrag zu einem Tagungsband] On the Presburger Fragment of Logics with Multiteam Semantics In: Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V), Jouko Väänänen and Fan Yang (eds.), 53-58, 2020 | Wilke, Richard Marlon (Corresponding author) |
| [Preprint] Logics with Multiteam Semantics, 2020 [DOI: 10.18154/RWTH-2020-12350] | Grädel, Erich (Corresponding author) Wilke, Richard Marlon (Corresponding author) |
| [Bericht] 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. |
| [Buchbeitrag, Beitrag zu einem Tagungsband] On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics In: 28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain / edited by Maribel Fernández, Anca Muscholl, 2020 [DOI: 10.4230/LIPIcs.CSL.2020.25] | Hoelzel, Matthias (Corresponding author) Wilke, Richard Marlon (Corresponding author) |
| [Preprint] On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics, 2019 | Hoelzel, Matthias (Corresponding author) Wilke, Richard Marlon |