Person

Richard Wilke

M. Sc. RWTH

Associate doctoral researcher

Richard Wilke Copyright: © Richard Wilke
Computer Science Departement, RTG UnRAVeL

Address

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

Contact

WorkPhone
Phone: +49 241 80 21722
Fax Fax: +49 241 80 22215

Office Hours

nach Vereinbarung
 
Dissertation project
Richard Wilke: Logics with Multiteam Semantics
Engagement
Member of the Organzation 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)
[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
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)