Simon R. Leßenich

According to our database, Simon R. Leßenich authored at least 8 papers between 2010 and 2015.

Collaborative distances:

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

2015

Counting logics and games with counters.

Simon R. Leßenich

PhD thesis, 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

A Unified Approach to Boundedness Properties in MSO.

Lukasz Kaiser, Martin Lang, Simon Leßenich, Christof Löding

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Counting Logics and Games with Counters.

Simon Leßenich

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2012

Solving Counter Parity Games.

Dietmar Berwanger, Lukasz Kaiser, Simon Leßenich

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

A Counting Logic for Structure Transition Systems.

Lukasz Kaiser, Simon Leßenich

Proceedings of the Computer Science Logic (CSL'12), 2012

Banach-Mazur Games with Simple Winning Strategies.

Erich Grädel, Simon Leßenich

Proceedings of the Computer Science Logic (CSL'12), 2012

2010

Interactively exploring elimination orderings in symbolic sparse Cholesky factorization.

Michael Lülfesmann, Simon R. Leßenich, H. Martin Bücker

Proceedings of the International Conference on Computational Science, 2010