[Fachzeitschriftenartikel]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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 (Corresponding author)
Pakusa, Wied (Corresponding author)

[Fachzeitschriftenartikel]
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 (Corresponding author)
Grohe, Martin

[Buchbeitrag, Fachzeitschriftenartikel]
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 (Corresponding author)

[Buchbeitrag, Fachzeitschriftenartikel]
LIPIcs : an Open-Access Series for International Conference Proceedings
In: ERCIM news, 2016 (107), 11-12, 2016
[DOI: 10.18154/RWTH-2018-223393]

Herbstritt, Marc (Corresponding author)
Thomas, Wolfgang (Corresponding author)

[Doktorarbeit]
On graph sparsity and structure : colourings and graph decompositions, 2016
[DOI: 10.18154/RWTH-2017-08007]

Stavropoulos, Konstantinos

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.)], 13-25, 2016
[DOI: 10.4204/EPTCS.220.2]

Brütsch, Benedikt (Corresponding author)
Thomas, Wolfgang (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, 19:1-19:17, 2016
[DOI: 10.4230/LIPIcs.CSL.2016.19]

Pakusa, Wied (Corresponding author)
Schalthöfer, Svenja (Corresponding author)
Selman, Aziz Erkal (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, 299-311, 2016
[DOI: 10.1007/978-3-662-53174-7_21]

Belmonte, Rémy
Otachi, Yota (Corresponding author)
Schweitzer, Pascal

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, 227-236, 2016
[DOI: 10.1145/2933575.2934504]

Carayol, Arnaud (Corresponding author)
Löding, Christof (Corresponding author)
Serre, Olivier (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, 287-296, 2016
[DOI: 10.1145/2933575.2933595]

Kiefer, Sandra
Schweitzer, Pascal (Corresponding author)

[Buch, Tagungsband]
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: Lecture Notes in Computer Science 9634, 2016
[DOI: 10.1007/978-3-662-49630-5]

Jacobs, Bart (Editor)
Löding, Christof (Editor)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, 125:1-125:14, 14 Seiten, 2016
[DOI: 10.4230/LIPIcs.ICALP.2016.125]

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, 65:1-65:14, 14 Seiten, 2016
[DOI: 10.4230/LIPIcs.MFCS.2016.65]

Löding, Christof
Winter, Sarah

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, 88:1-88:13, 13 Seiten, 2016
[DOI: 10.4230/LIPIcs.MFCS.2016.88]

Löding, Christof (Corresponding author)
Tollkötter, Andreas (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.), 167-185, 2016
[DOI: 10.1007/978-3-662-49674-9_10]

Löding, Christof
Madhusudan, P.
Neider, Daniel (Corresponding author)

[Buch, Tagungsband]
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]

Grohe, Martin (Editor)
Koskinen, Eric (Editor)
Shankar, Natarajan (Editor)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, 397-406, 2016
[DOI: 10.1145/2933575.2934517]

Elberfeld, Michael (Corresponding author)
Frickenschmidt, Marlin Maya Lilith (Corresponding author)
Grohe, Martin (Corresponding author)

[Fachzeitschriftenartikel]
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 (Corresponding author)
Grohe, Martin (Corresponding author)
Tantau, Till (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, 70:1-70:17, 2016
[DOI: 10.4230/LIPIcs.ESA.2016.70]

Neuen, Daniel (Corresponding author)

[Fachzeitschriftenartikel]
Variants of Courcelle's Theorem for complexity classes inside P
In: ACM SIGLOG news, 3, 23-32, 2016
[DOI: 10.1145/2893582.2893588]

Elberfeld, Michael

[Buchbeitrag, Beitrag zu einem Tagungsband]
Context-Free Graph Properties via Definable Decompositions
In: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) / Herausgeber: Jean-Marc Talbot, Laurent Regnier, 17:1-17:16, 2016
[DOI: 10.4230/LIPIcs.CSL.2016.17]

Elberfeld, Michael (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Canonizing Graphs of Bounded Tree Width in Logspace
In: 33rd Symposium on Theoretical Aspects of Computer Science : STACS’16, February 17-20, 2016, Orléans, France / edited by Nicolas Ollinger, Heribert Vollmer, 32:1-32:14, 2016
[DOI: 10.4230/LIPIcs.STACS.2016.32]

Elberfeld, Michael (Corresponding author)
Schweitzer, Pascal

[Fachzeitschriftenartikel]
Computing with Tangles
In: SIAM journal on discrete mathematics, 30 (2), 1213-1247, 2016
[DOI: 10.1137/15M1027565]

Grohe, Martin (Corresponding author)
Schweitzer, Pascal

[Buchbeitrag, Beitrag zu einem Tagungsband]
Colouring and Covering Nowhere Dense Graphs
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, 325-338, 2016
[DOI: 10.1007/978-3-662-53174-7_23]

Grohe, Martin (Corresponding author)
Kreutzer, Stephan
Rabinovich, Roman
Siebertz, Sebastian
Stavropoulos, Konstantinos (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Quasi-4-Connected Components
In: 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) / Herausgeber: Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, Davide Sangiorgi, 8:1-8:13, 2016
[DOI: 10.4230/LIPIcs.ICALP.2016.8]

Grohe, Martin

[Buchbeitrag, Beitrag zu einem Tagungsband]
Tangles and Connectivity in Graphs
In: Language and automata theory and applications : 10th international conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings / Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe (eds.), 24-41, 2016
[DOI: 10.1007/978-3-319-30000-9_2]

Grohe, Martin (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change
In: Developments in language theory : 19th international conference, DLT 2015, Liverpool, UK, July 27 - 30, 2015 ; proceedings / Igor Potapov (ed.), 203-214, 2015
[DOI: 10.1007/978-3-319-21500-6_16]

Czyba, Christopher
Spinrath, Christopher
Thomas, Wolfgang

[Fachzeitschriftenartikel]
Optimal strategy synthesis for request-response games
In: RAIRO / Theoretical informatics and applications, 49 (3), 179-203, 2015
[DOI: 10.1051/ita/2015005]

Horn, Florian (Corresponding author)
Thomas, Wolfgang (Corresponding author)
Wallmeier, Nico (Corresponding author)
Zimmermann, Martin (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
A Unified Approach to Boundedness Properties in MSO
In: 24th EACSL Annual Conference on Computer Science Logic : CSL 2015, September 7-10, 2015, Berlin, Germany / edited by Stephan Kreutzer, 441-456, 2015
[DOI: 10.4230/LIPIcs.CSL.2015.441]

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

[Fachzeitschriftenartikel]
Simplification Problems for Deterministic Pushdown Automata on Infinite Words
In: International journal of foundations of computer science : IJFCS, 26 (8), 1041-1068, 2015
[DOI: 10.1142/S0129054115400122]

Löding, Christof

[Fachzeitschriftenartikel]
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists
In: Formal methods in system design, 47 (1), 120-157, 2015
[DOI: 10.1007/s10703-015-0231-6]

Garg, Pranav (Corresponding author)
Löding, Christof
Madhusudan, P.
Neider, Daniel

[Buchbeitrag]
Logical Characterisations of Complexity Classes
In: Encyclopedia of applied and computational mathematics : with 33 tables / Björn Engquist, ed. - Vol. 1: A - K, 830-834, 2015
[DOI: 10.1007/978-3-540-70529-1_201]

Grohe, Martin

[Buchbeitrag, Beitrag zu einem Tagungsband]
Limitations of Algebraic Approaches to Graph Isomorphism Testing
In: Automata, languages, and programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 ; proceedings / Magnús M. Halldórsson ... (ed.). - Pt. 1, 155-166, 2015
[DOI: 10.1007/978-3-662-47672-7_13]

Berkholz, Christoph (Corresponding author)
Grohe, Martin

[Buchbeitrag, Beitrag zu einem Tagungsband]
Is Polynomial Time Choiceless?
In: Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday ; ["Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015] / Lev D. Beklemishev (eds.), 193-209, 2015
[DOI: 10.1007/978-3-319-23534-9_11]

Grädel, Erich (Corresponding author)
Grohe, Martin (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Isomorphism Testing for Graphs of Bounded Rank Width
In: 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS 2015) : Berkeley, California, USA, 17 - 20 October 2015 / [sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT)]. - 2, 1010-1029, 2015
[DOI: 10.1109/FOCS.2015.66]

Grohe, Martin (Corresponding author)
Schweitzer, Pascal (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Computing with Tangles
In: STOC'15 : proceedings of the 2015 ACM Symposium on Theory of Computing : Portland, Oregon, USA, June 14 - 17, 2015 / sponsored by: ACM SIGACT, 683-692, 2015
[DOI: 10.1145/2746539.2746587]

Grohe, Martin (Corresponding author)
Schweitzer, Pascal (Corresponding author)

[Fachzeitschriftenartikel]
Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs
In: SIAM journal on computing, 44 (1), 114-159, 2015
[DOI: 10.1137/120892234]

Grohe, Martin
Marx, Dániel

[Fachzeitschriftenartikel]
Bounds for the Quantifier Depth in Finite-Variable Logics
In: ACM transactions on computational logic, 16 (3), 1-26, 2015
[DOI: 10.1145/2732409]

Berkholz, Christoph (Corresponding author)
Krebs, Andreas (Corresponding author)
Verbitsky, Oleg (Corresponding author)

[Fachzeitschriftenartikel]
Pebble Games and Linear Equations
In: The journal of symbolic logic, 80 (03), 797-844, 2015
[DOI: 10.1017/jsl.2015.28]

Grohe, Martin (Corresponding author)
Otto, Martin (Corresponding author)

[Fachzeitschriftenartikel]
On the Space and Circuit Complexity of Parameterized Problems : Classes and Completenessonline
In: Algorithmica, 71 (3), 661-701, 2015
[DOI: 10.1007/s00453-014-9944-y]

Elberfeld, Michael (Corresponding author)
Stockhusen, Christoph (Corresponding author)
Tantau, Till (Corresponding author)

[Preprint]
Decision Problems for Deterministic Pushdown Automata on Infinite Words, 2014
[DOI: 10.4204/EPTCS.151.4]

Löding, Christof (Corresponding author)

[Preprint]
Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations, 2014
[DOI: 10.4204/EPTCS.161.10]

Löding, Christof (Corresponding author)
Winter, Sarah (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Guaranteeing Stability and Delay in Dynamic Networks Based on Infinite Games
In: 2014 IEEE 11th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2014) : Philadelphia, Pennsylvania, USA, 28 - 30 October 2014 ; [including workshop papers] / [IEEE and the IEEE Computer Society, sponsors], 461-469, 2014
[DOI: 10.1109/MASS.2014.41]

Tenbusch, Simon (Corresponding author)
Löding, Christof
Radmacher, Frank G.
Gross, James (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Decision Problems for Deterministic Pushdown Automata on Infinite Words
In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014, 55-73, 2014

Löding, Christof

[Buchbeitrag, Beitrag zu einem Tagungsband]
Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations
In: Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification : Verona, Italy, 10th - 12th September 2014 / Edited by: Adriano Peron and Carla Piazza, 88-101, 2014

Löding, Christof (Corresponding author)
Winter, Sarah (Corresponding author)

[Fachzeitschriftenartikel]
Database Theory Column Report on PODS 2014
In: ACM SIGACT news, 45 (4), 83-85, 2014
[DOI: 10.1145/2696081.2696097]

Grohe, Martin

[Buchbeitrag, Beitrag zu einem Tagungsband]
Parameterized Complexity of Fixed-Variable Logics
In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014) [Elektronische Ressource] / Hrsg.: Venkatesh Raman ; S. P. Suresh, 109-120, 2014
[DOI: 10.4230/LIPIcs.FSTTCS.2014.109]

Berkholz, Christoph (Corresponding author)
Elberfeld, Michael (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
The Propagation Depth of Local Consistency
In: Principles and Practice of Constraint Programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings, 158-173, 2014
[DOI: 10.1007/978-3-319-10428-7_14]

Berkholz, Christoph

[Buchbeitrag, Beitrag zu einem Tagungsband]
ICE: A Robust Framework for Learning Invariance
In: Computer aided verification : 26th international conference, CAV 2014, held as a part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 ; proceedings / Armin Biere; Roderick Bloem (eds.), 69-87, 2014
[DOI: 10.1007/978-3-319-08867-9_5]

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