Jörg Olschewski

According to our database, Jörg Olschewski authored at least 6 papers between 2010 and 2013.

Collaborative distances:

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

2013

Languages and strategies: a study of regular infinite games.

Jörg Olschewski

PhD thesis, 2013

2012

Languages versus ω-Languages in Regular Infinite Games.

Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas

Int. J. Found. Comput. Sci., 2012

Improved Ramsey-Based Büchi Complementation.

Stefan Breuers, Christof Löding, Jörg Olschewski

Proceedings of the Foundations of Software Science and Computational Structures, 2012

2011

Languages vs. <i>ω</i>-Languages in Regular Infinite Games.

Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited.

Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

The Complexity of Finding Reset Words in Finite Automata.

Jörg Olschewski, Michael Ummels

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010