Felix Canavoi

According to our database, Felix Canavoi authored at least 5 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Cayley structures and common knowledge.

Felix Canavoi, Martin Otto

CoRR, 2019

2018

Cayley Structures and the Expressiveness of Common Knowledge Logic

Felix Canavoi

PhD thesis, 2018

2017

Common knowledge and multi-scale locality analysis in Cayley structures.

Felix Canavoi, Martin Otto

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2015

Defining Winning Strategies in Fixed-Point Logic.

Felix Canavoi, Erich Grädel, Simon Leßenich, Wied Pakusa

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs.

Felix Canavoi, Erich Grädel, Roman Rabinovich

Theor. Comput. Sci., 2014