[Contribution to a book, Contribution to a conference proceedings]
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
In: Verification, Model Checking, and Abstract Interpretation / Enea, Constantin (Editor) ; Cham : Springer International Publishing, 2019, Chapter 24 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-11244-8=978-3-030-11245-5 ; doi:10.1007/978-3-030-11245-5, 2019
[DOI: 10.1007/978-3-030-11245-5_24]

Enea, Constantin
Piskac, Ruzica
Decker, Normann
Pirogov, Anton

[Proceedings]
First-Order Query Evaluation with Cardinality Conditions
In: The 35th ACM SIGMOD-SIGACT-SIGAI Symposium Houston, TX 2018-06-10 - 2018-06-15, 2018
[DOI: 10.1145/3196959.3196970]

Grohe, Martin
Schweikardt, Nicole

[Proceedings]
Graph Similarity and Approximate Isomorphismrd International Sympo
In: 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
[DOI: 10.4230/LIPIcs.MFCS.2018.20]

Grohe, Martin
Rattan, Gaurav
Woeginger, Gerhard J.

[Proceedings]
An Improved Isomorphism Test for Bounded-Tree-Width Graphs
In: 45th International Colloquium on Automata, Languages and Programming, 2018
[DOI: 10.4230/LIPIcs.ICALP.2018.67]

Grohe, Martin
Neuen, Daniel
Schweitzer, Pascal
Wiebking, Daniel

[Proceedings]
A Faster Isomorphism Test for Graphs of Small Degree
In: 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS) Paris 2018-10-07 - 2018-10-09, 2018
[DOI: 10.1109/FOCS.2018.00018]

Grohe, Martin
Neuen, Daniel
Schweitzer, Pascal

[Proceedings]
Lovász Meets Weisfeiler and Leman
In: 45th International Colloquium on Automata, Languages and Programming, 2018
[DOI: 10.4230/LIPIcs.ICALP.2018.40]

Dell, Holger
Grohe, Martin
Rattan, Gaurav

[Proceedings]
Definable decompositions for graphs of bounded linear cliquewidth
In: The 33rd Annual ACM/IEEE Symposium on Logic in Computer Science Oxford 2018-07-09 - 2018-07-12, 2018
[DOI: 10.1145/3209108.3209135]

Bojańczyk, Mikołaj
Grohe, Martin
Pilipczuk, Michał

[Contribution to a book, Contribution to a conference proceedings]
An exponential lower bound for individualization-refinement algorithms for graph isomorphism
In: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018
[DOI: 10.1145/3188745.3188900]

Neuen, Daniel
Schweitzer, Pascal

[Journal Article]
On the complexity of noncommutative polynomial factorization
In: Information and computation, 262, 22 - 39, 2018
[DOI: 10.1016/j.ic.2018.05.009]

Arvind, V.
Joglekar, Pushkar
Rattan, Gaurav

[Contribution to a conference proceedings]
Uniformization Problems for Synchronizations of Automatic Relations on Words
In: [45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), ICALP'18, Prague, Czech Republic], 2018
[DOI: 10.4230/LIPIcs.ICALP.2018.142]

Winter, Sarah

[Contribution to a book, Contribution to a conference proceedings]
On Finitely Ambiguous Büchi Automata
In: Developments in language theory ; 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / Mizuho Hoshi, Shinnosuke Seki (eds.), 2018
[DOI: 10.1007/978-3-319-98654-8_41]

Löding, Christof
Pirogov, Anton

[Journal Article]
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time
In: ACM transactions on computational logic : TOCL, 19 (2), 7, 2018
[DOI: 10.1145/3154456]

Pakusa, Wied
Schalthöfer, Svenja
Selman, Aziz Erkal

[Journal Article]
Pure Strategies in Imperfect Information Stochastic Games
In: Fundamenta informaticae, 160 (4), 361-384, 2018
[DOI: 10.3233/FI-2018-1687]

Carayol, Arnaud
Löding, Christof
Serre, Olivier

[Contribution to a conference proceedings, Journal Article]
Finite Automata Over Infinite Alphabets : Two Models with Transitions for Local Change
In: International journal of foundations of computer science : IJFCS, 29 (2), 213-231, 2018
[DOI: 10.1142/S012905411840004X]

Czyba, Christopher
Thomas, Wolfgang
Spinrath, Christopher

[Journal Article]
Turing's Vision: The Birth of Computer Science
In: Isis , 109 (1), 213 - 214, 2018

Thomas, Wolfgang

[Preprint]
A Finite-Model-Theoretic View on Propositional Proof Complexity, 2018

Grädel, Erich
Grohe, Martin
Pago, Benedikt
Pakusa, Wied

[Contribution to a conference proceedings, Journal Article]
Foundations for natural proofs and quantifier instantiation
In: Proceedings of the ACM on Programming Languages : PACMPL, 2, 10, 2018
[DOI: 10.1145/3158098]

Löding, Christof
Madhusudan, P.
Peña, Lucas

[Contribution to a book, Contribution to a conference proceedings]
The Weisfeiler-Leman dimension of planar graphs is at most 3
In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 20-23 June 2017, Reykjavík, Iceland, 2017
[DOI: 10.1109/LICS.2017.8005107]

Kiefer, Sandra
Ponomarenko, Ilia
Schweitzer, Pascal

[Contribution to a conference proceedings, Journal Article]
Synthesis of deterministic top-down tree transducers from automatic tree relations
In: Information and computation, 253 (Part 2), 336-354, 2016
[DOI: 10.1016/j.ic.2016.07.013]

Löding, Christof
Winter, Sarah

[Contribution to a book, Contribution to a conference proceedings]
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words
In: Fundamentals of computation theory : 21st international symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / Ralf Klasing, Marc Zeitoun (eds.), 2017
[DOI: 10.1007/978-3-662-55751-8_27]

Löding, Christof
Spinrath, Christopher

[Contribution to a book, Contribution to a conference proceedings]
N-Memory Automata over the Alphabet N
In: Language and automata theory and applications : 11th international conference, LATA 2017, Umeå, Sweden, March 6-9, 2017 : proceedings / Frank Drewes, Carlos Martín-Vide, Bianca Truthe (eds.), 2017
[DOI: 10.1007/978-3-319-53733-7_6]

Brütsch, Benedikt
Landwehr, Patrick
Thomas, Wolfgang

[Preprint]
Benchmark Graphs for Practical Graph Isomorphism, 2017

Neuen, Daniel
Schweitzer, Pascal

[Contribution to a book, Contribution to a conference proceedings]
Benchmark Graphs for Practical Graph Isomorphism
In: 25th European Symposium on Algorithms : ESA 2017, September 4-6, 2017, Vienna, Austria / edited by Kirk Pruhs, Christian Sohler, 2017
[DOI: 10.4230/LIPIcs.ESA.2017.60]

Neuen, Daniel
Schweitzer, Pascal

[Contribution to a book, Contribution to a conference proceedings]
The Hardness of Embedding Grids and Walls
In: Graph-theoretic concepts in computer sciene : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers / Hans L. Bodlaender, Gerhard J. Woeginger (eds.), 2017
[DOI: 10.1007/978-3-319-68705-6_14]

Grohe, Martin
Chen, Yijia
Lin, Bingkai

[Contribution to a book, Contribution to a conference proceedings]
Linear Diophantine Equations, Group CSPs, and Graph Isomorphism
In: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms / Society for Industrial and Applied Mathematics / Philip N. Klein (ed.), 2017
[DOI: 10.1137/1.9781611974782.21]

Berkholz, Christoph
Grohe, Martin

[Contribution to a book, Contribution to a conference proceedings]
Learning first-order definable concepts over structures of small degree
In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 20-23 June 2017, Reykjavík, Iceland, 2017
[DOI: 10.1109/LICS.2017.8005080]

Grohe, Martin
Ritzert, Martin Alexander Felix

[Contribution to a book, Contribution to a conference proceedings]
Learning MSO-definable hypotheses on strings
In: [International Conference on Algorithmic Learning Theory, ALT 2017, 2017-10-15 - 2017-10-17, Kyoto, Japan], 2017

Grohe, Martin
Löding, Christof
Ritzert, Martin

[Journal Article]
Canonizing Graphs of Bounded Tree Width in Logspace
In: ACM transactions on computation theory : TOCT, 9 (3), 12, 2017
[DOI: 10.1145/3132720]

Elberfeld, Michael
Schweitzer, Pascal

[Journal Article]
Minimal asymmetric graphs
In: Journal of combinatorial theory / B, 127, 215-227, 2017
[DOI: 10.1016/j.jctb.2017.06.003]

Schweitzer, Pascal
Schweitzer, Patrick

[Contribution to a book, Contribution to a conference proceedings, Journal Article]
Towards an Isomorphism Dichotomy for Hereditary Graph Classes
In: Theory of computing systems, 61 (4), 1084-1127, 2017
[DOI: 10.1007/s00224-017-9775-8]

Schweitzer, Pascal

[Journal Article]
Deciding First-Order Properties of Nowhere Dense Graphs
In: Journal of the ACM, 64 (3), 1-32, 2017
[DOI: 10.1145/3051095]

Grohe, Martin
Kreutzer, Stephan
Siebertz, Sebastian

[Contribution to a book, Contribution to a conference proceedings]
Descriptive Complexity of Linear Equation Systems and Applications to Propositional Proof Complexity
In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 20-23 June 2017, Reykjavík, Iceland, 2017
[DOI: 10.1109/LICS.2017.8005081]

Grohe, Martin
Pakusa, Wied

[Journal Article]
Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement
In: Theory of computing systems, 60 (4), 581-614, 2016
[DOI: 10.1007/s00224-016-9686-0]

Berkholz, Christoph
Bonsma, Paul
Grohe, Martin

[Contribution to a book, Journal Article]
Graph isomorphism for graph classes characterized by two forbidden induced subgraphs
In: Discrete applied mathematics, 216 (Part 1), 240-253, 2017
[DOI: 10.1016/j.dam.2014.10.026]

Kratsch, Stefan
Schweitzer, Pascal

[Contribution to a book, Journal Article]
LIPIcs : an Open-Access Series for International Conference Proceedings
In: ERCIM news, 2016 (107), 11-12, 2016

Herbstritt, Marc
Thomas, Wolfgang

[Dissertation / PhD Thesis]
On graph sparsity and structure : colourings and graph decompositions, 2016

Stavropoulos, Konstantinos

[Contribution to a book, Contribution to a conference proceedings]
Playing Games in the Baire Space
In: [Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters : Cassting’16/SynCoP’16) / T. Brihaye, B. Delahaye, L. Jezequel, N. Markey, J. Srba (Eds.)], 2016
[DOI: 10.4204/EPTCS.220.2]

Brütsch, Benedikt
Thomas, Wolfgang

[Contribution to a book, Contribution to a conference proceedings]
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time
In: Computer science logic 2016 : CSL 2016, August 29 to September 1, 2016, Marseille, France / edited by Laurent Regnier, Jean-Marc Talbot, 2016
[DOI: 10.4230/LIPIcs.CSL.2016.19]

Pakusa, Wied
Schalthöfer, Svenja
Selman, Aziz Erkal

[Contribution to a book, Contribution to a conference proceedings]
Induced Minor Free Graphs: Isomorphism and Clique-width
In: Graph-Theoretic Concepts in Computer Science : 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers / edited by Ernst W. Mayr, 2016
[DOI: 10.1007/978-3-662-53174-7_21]

Belmonte, Rémy
Otachi, Yota
Schweitzer, Pascal

[Contribution to a book, Contribution to a conference proceedings]
Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings
In: Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar, 2016
[DOI: 10.1145/2933575.2934504]

Carayol, Arnaud
Löding, Christof
Serre, Olivier

[Contribution to a book, Contribution to a conference proceedings]
Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic
In: Proceedings of the 31st Annual ACMIEEE Symposium on Logic in Computer Science / Grohe, MartinProceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar, 2016
[DOI: 10.1145/2933575.2933595]

Kiefer, Sandra
Schweitzer, Pascal

[Book, Proceedings]
Foundations of software science and computation structures : 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
In: Foundations of Software Science and Computation Structures : 19th International Conference Eindhoven 2016-04-02 - 2016-04-08, 2016
[DOI: 10.1007/978-3-662-49630-5]

Jacobs, Bart
Löding, Christof

[Contribution to a book, Contribution to a conference proceedings]
On Equivalence and Uniformisation Problems for Finite Transducers
In: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy / / Herausgeber: Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, Davide Sangiorgi, 2016
[DOI: 10.4230/LIPIcs.ICALP.2016.125]

Filiot, Emmanuel
Jecker, Ismael
Löding, Christof
Winter, Sarah

[Contribution to a conference proceedings]
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
In: 41st International Symposium on Mathematical Foundations of Computer Science : MFCS 2016, August 22-26, 2016, Kraków, Poland / edited by Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, 2016
[DOI: 10.4230/LIPIcs.MFCS.2016.65]

Löding, Christof
Winter, Sarah

[Contribution to a book, Contribution to a conference proceedings]
Transformation Between Regular Expressions and omega-Automata
In: 41st International Symposium on Mathematical Foundations of Computer Science : MFCS 2016, August 22-26, 2016, Kraków, Poland / edited by Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, 2016
[DOI: 10.4230/LIPIcs.MFCS.2016.88]

Löding, Christof
Tollkötter, Andreas

[Contribution to a conference proceedings]
Abstract Learning Frameworks for Synthesis
In: Tools and algorithms for the construction and analysis of systems : 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / Marsha Chechik, Jean-François Raskin (eds.), 2016
[DOI: 10.1007/978-3-662-49674-9_10]

Löding, Christof
Madhusudan, P.
Neider, Daniel

[Book, Proceedings]
Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar
In: 31st Annual ACM/IEEE Symposium on Logic in Computer Science New York, NY 2016-07-05 - 2016-07-08, 2016
[DOI: 10.1145/2933575]

Grohe, Martin
Koskinen, Eric
Shankar, Natarajan

[Contribution to a book, Contribution to a conference proceedings]
Order Invariance on Decomposable Structures
In: Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar, 2016
[DOI: 10.1145/2933575.2934517]

Elberfeld, Michael
Frickenschmidt, Marlin
Grohe, Martin

[Journal Article]
Where First-Order and Monadic Second-Order Logic Coincide
In: ACM transactions on computational logic : TOCL, 17 (4), 25, 2016
[DOI: 10.1145/2946799]

Elberfeld, Michael
Grohe, Martin
Tantau, Till

[Contribution to a book, Contribution to a conference proceedings]
Graph Isomorphism for Unit Square Graphs
In: 24th Annual European Symposium on Algorithms : ESA 2016, August 22-24, 2016, Aarhus, Denmark / edited by Piotr Sankowski, Christos Zaroliagis, 2016
[DOI: 10.4230/LIPIcs.ESA.2016.70]

Neuen, Daniel