by Löding, Christof, Winter, Sarah
Published in Discrete Mathematics and Theoretical Computer Science (06.09.2023)

by Garg, Pranav, Löding, Christof, Madhusudan, P., Neider, Daniel
Published in Computer Aided Verification

by Loding, Christof, Spinrath, Christopher
Published in Discrete Mathematics and Theoretical Computer Science (01.07.2019)

by Jacobs, Bart, Löding, Christof
Year of Publication 2016

by Löding, Christof, Winter, Sarah
Published in Electronic proceedings in theoretical computer science (24.08.2014)

by Löding, Christof
Published in Electronic proceedings in theoretical computer science (21.05.2014)

by Lang, Martin, Löding, Christof
Published in Logical methods in computer science (17.12.2013)

by Colcombet, T, Löding, Christof
Published in 2010 25th Annual IEEE Symposium on Logic in Computer Science (01.07.2010)

by Colcombet, Thomas, Löding, Christof
Published in Logical methods in computer science (04.05.2007)

by Carayol, Arnaud, Löding, Christof, Niwinski, Damian, Walukiewicz, Igor
Published in Central European journal of mathematics (2010)

by Chatterjee, Krishnendu, Horn, Florian, Löding, Christof
Published in CONCUR 2010 - Concurrency Theory

by Bohn, León, Löding, Christof
Published in TheoretiCS (30.07.2024)

by Löding, Christof, Stachon, Max Philip
Published in Fundamenta informaticae (07.07.2023)

by Bontemps, Yves, Schobbens, Pierre-Yves, Loding, Christof
Published in Fundamenta informaticae (01.09.2004)

by Christof Löding, Christopher Spinrath
Published in Discrete mathematics and theoretical computer science (01.01.2019)

by Löding, Christof, Pirogov, Anton
Published in Automated Technology for Verification and Analysis

by Löding, Christof, Winter, Sarah
Published in Information and computation (01.04.2017)

by Löding, Christof
Published in Electronic proceedings in theoretical computer science (16.07.2013)

by Löding, Christof, Madhusudan, P., Peña, Lucas
Published in Proceedings of ACM on programming languages (01.01.2018)

by Carayol, Arnaud, Löding, Christof, Serre, Olivier
Published in Fundamenta informaticae (01.01.2018)