Tobias Ganzow

According to our database, Tobias Ganzow authored at least 4 papers between 2008 and 2011.

Collaborative distances:

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

2011

Definability and model checking: the role of orders and compositionality.

Tobias Ganzow

PhD thesis, 2011

2010

New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures.

Tobias Ganzow, Lukasz Kaiser

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2008

Order-Invariant MSO is Stronger than Counting MSO in the Finite.

Tobias Ganzow, Sasha Rubin

Proceedings of the 25th Annual Symposium on Theoretical Aspects of Computer Science, 2008

Heuristic Methods for Hypertree Decomposition.

Artan Dermaku, Tobias Ganzow, Georg Gottlob, Benjamin J. McMahan, Nysret Musliu, Marko Samer

Proceedings of the MICAI 2008: Advances in Artificial Intelligence, 2008