Interactively exploring elimination orderings in symbolic sparse Cholesky factorization. - Michael Lülfesmann; Simon R. Leßenich; H. Martin Bücker (ICCS, 2010)

Banach-Mazur Games with Simple Winning Strategies. - Erich Grädel; Simon Leßenich (CSL, 2012)

A Counting Logic for Structure Transition Systems. - Lukasz Kaiser; Simon Leßenich (CSL, 2012)

Solving Counter Parity Games. - Dietmar Berwanger; Lukasz Kaiser; Simon Leßenich (MFCS, 2012)

Counting Logics and Games with Counters. - Simon Leßenich (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

A Unified Approach to Boundedness Properties in MSO. - Lukasz Kaiser; Martin Lang 001; Simon Leßenich; Christof Löding (CSL, 2015)

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

Counting logics and games with counters. - Simon R. Leßenich (2015)