The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. - Felix Canavoi; Erich Grädel; Roman Rabinovich 001 (Theor. Comput. Sci., 2014)

Defining Winning Strategies in Fixed-Point Logic. - Felix Canavoi; Erich Grädel; Simon Leßenich; Wied Pakusa (LICS, 2015)

Common knowledge and multi-scale locality analysis in Cayley structures. - Felix Canavoi; Martin Otto 001 (LICS, 2017)

Cayley Structures and the Expressiveness of Common Knowledge Logic - Felix Canavoi (2018)

Cayley structures and common knowledge. - Felix Canavoi; Martin Otto 001 (CoRR, 2019)