Felix Canavoi

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 2

Top Topics

Fixed Point Theorem

Knowledge Management

Top Venues

Theor. Comput. Sci.

Publications

Felix Canavoi, Martin Otto
Cayley structures and common knowledge. CoRR (2019)
Felix Canavoi, Martin Otto
Common knowledge and multi-scale locality analysis in Cayley structures. LICS (2017)
Felix Canavoi, Erich Grädel, Simon Leßenich, Wied Pakusa
Defining Winning Strategies in Fixed-Point Logic. LICS (2015)
Felix Canavoi, Erich Grädel, Roman Rabinovich
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. Theor. Comput. Sci. 560 (2014)
Felix Canavoi, Erich Grädel, Roman Rabinovich
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs GandALF (2012)