© Richard Wilke

Person

Dr.

Richard Wilke

Former associate doctoral researcher

Download digital business card
Computer Science Departement, RTG UnRAVeL

Address

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

 
Dissertation project
Reasoning about Dependence and Independence: Teams and Multiteams
Engagement
Member of the Organization Committee
Spring Workshop organization, 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
Open for all UnRAVeL-members: AlMoTh 2019 - Algorithmic Model Theory Meeting 2019
Bi-Weekly Talk: Erich Grädel & Richard Wilke: Logics for Dependence and Independence
 

Publications related to UnRAVeL

Source Author(s)
[Journal Article]
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
[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 (Corresponding author)
[Dissertation / PhD Thesis]
Reasoning about dependence and independence : teams and multiteams, 2021
[DOI: 10.18154/RWTH-2022-02743]
Wilke, Richard Marlon
[Journal Article]
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 (Corresponding author)
[Contribution to a conference proceedings]
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)
Wilke, Richard (Corresponding author)
Haase, Darion (Corresponding author)
[Contribution to a conference proceedings]
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 (Corresponding author)
[Preprint]
Logics with Multiteam Semantics, 2020
[DOI: 10.18154/RWTH-2020-12350]
Grädel, Erich (Corresponding author)
Wilke, Richard (Corresponding author)
[Report]
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.
[Contribution to a book, Contribution to a conference proceedings]
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 (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