Nicht verfügbar © Richard Wilke

Person

Dr.

Richard Wilke

Ehem. assoziierter Promotionsstudent

Digitale Visitenkarte herunterladen

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