[Buchbeitrag, Beitrag zu einem Tagungsband]
Probabilistic Databases with an Infinite Open-World Assumption
In: PODS'19 : Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, July 1-3, 2019, Amsterdam, Netherlands / General Chair: Dan Suciu, 17-31, 2019
[DOI: 10.1145/3294052.3319681]

Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
In: 46th International Colloquium on Automata, Languages and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.), 120, 1-13, 2019
[DOI: 10.4230/LIPIcs.ICALP.2019.120]

Löding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)

[Fachzeitschriftenartikel]
A Finite-Model-Theoretic View on Propositional Proof Complexity
In: Logical methods in computer science : LMCS, 15 (1), 4:1-4:53, 2019
[DOI: 10.23638/LMCS-15(1:4)2019]

Grädel, Erich (Corresponding author)
Grohe, Martin (Corresponding author)
Pago, Benedikt Thomas (Corresponding author)
Pakusa, Wied (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
In: Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac, 513-534, 2019
[DOI: 10.1007/978-3-030-11245-5_24]

Decker, Normann (Corresponding author)
Pirogov, Anton (Corresponding author)

[Fachzeitschriftenartikel]
Characterising bounded expansion by neighbourhood complexity
In: European journal of combinatorics, 75, 152-168, 2018
[DOI: 10.1016/j.ejc.2018.08.001]

Reidl, Felix (Corresponding author)
Sanchez Villaamil, Fernando
Stavropoulos, Konstantinos

[Buch]
Einführung in die mathematische Logik, 2018
[DOI: 10.1007/978-3-662-58029-5]

Ebbinghaus, Heinz-Dieter
Flum, Jörg
Thomas, Wolfgang

[Preprint]
Probabilistic Databases with an Infinite Open-World Assumption, 2018

Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)

[Doktorarbeit]
Strategies in infinite games : structured reactive programs and transducers over infinite alphabets, 2018
[DOI: 10.18154/RWTH-2020-03492]

Brütsch, Benedikt

[Doktorarbeit]
Synthesis of transducers from relations on finite words and trees, 2018
[DOI: 10.18154/RWTH-2019-04126]

Winter, Sarah

[Fachzeitschriftenartikel]
Coloring and Covering Nowhere Dense Graphs
In: SIAM Journal on Discrete Mathematics, 32 (4), 2467-2481, 2018
[DOI: 10.1137/18M1168753]

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
First-Order Query Evaluation with Cardinality Conditions
In: PODS'18 : Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 10-15, 2018, Houston, TX, USA / General Chair: Jan Van den Bussche, 253-266, 2018
[DOI: 10.1145/3196959.3196970]

Grohe, Martin
Schweikardt, Nicole

[Buchbeitrag, Beitrag zu einem Tagungsband]
Graph Similarity and Approximate Isomorphism
In: 43rd International Symposium on Mathematical Foundations of Computer Science : MFCS 2018, August 27-31, 2018, Liverpool, United Kingdom / edited by Igor Potapov, Paul Spirakis, James Worrell, 20, [1]-16, 2018
[DOI: 10.4230/LIPIcs.MFCS.2018.20]

Grohe, Martin (Corresponding author)
Rattan, Gaurav (Corresponding author)
Woeginger, Gerhard (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
An Improved Isomorphism Test for Bounded-Tree-Width Graphs
In: 45th International Colloquium on Automata, Languages, and Programming : ICALP 2018, Prague, Czech Republic, July 9-13, 2018 / edited by Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella ; European Association for Theoretical Computer Science (EATCS), 67, [1]-14, 2018
[DOI: 10.4230/LIPIcs.ICALP.2018.67]

Grohe, Martin (Corresponding author)
Neuen, Daniel (Corresponding author)
Schweitzer, Pascal (Corresponding author)
Wiebking, Daniel (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
A Faster Isomorphism Test for Graphs of Small Degree
In: 59th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2018 : 7-9 October 2018, Paris, France : proceedings / edited by: Mikkel Thorup ; publisher: IEEE, 89-100, 2018
[DOI: 10.1109/FOCS.2018.00018]

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
Lovász Meets Weisfeiler and Leman
In: 45th International Colloquium on Automata, Languages, and Programming : ICALP 2018, Prague, Czech Republic, July 9-13, 2018 / edited by Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella ; European Association for Theoretical Computer Science (EATCS), 40, [1]-14, 2018
[DOI: 10.4230/LIPIcs.ICALP.2018.40]

Dell, Holger (Corresponding author)
Grohe, Martin (Corresponding author)
Rattan, Gaurav (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Definable decompositions for graphs of bounded linear cliquewidth
In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Oxford, United Kingdom - July 09-12, 2018, 1-10, 2018
[DOI: 10.1145/3209108.3209135]

Bojańczyk, Mikołaj (Corresponding author)
Grohe, Martin (Corresponding author)
Pilipczuk, Michał (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
An exponential lower bound for individualization-refinement algorithms for graph isomorphism
In: STOC'18 : Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing : June 25-29, 2018, Los Angeles, CA, USA / sponsored by: ACM SIGACT, 138-150, 2018
[DOI: 10.1145/3188745.3188900]

Neuen, Daniel (Corresponding author)
Schweitzer, Pascal

[Buchbeitrag, Beitrag zu einem Tagungsband]
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures
In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung, 3:1-3:16, 2018
[DOI: 10.4230/LIPIcs.CSL.2018.3]

Abu Zaid, Faried
Kuske, Dietrich
Lindner, Peter

[Fachzeitschriftenartikel]
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. (Corresponding author)
Joglekar, Pushkar
Rattan, Gaurav

[Buchbeitrag, Beitrag zu einem Tagungsband]
Uniformization Problems for Synchronizations of Automatic Relations on Words
In: 45th International Colloquium on Automata, Languages, and Programming : ICALP 2018, Prague, Czech Republic, July 9-13, 2018 / edited by Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella ; European Association for Theoretical Computer Science (EATCS), 142, [1]-13, 2018
[DOI: 10.4230/LIPIcs.ICALP.2018.142]

Winter, Sarah (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.), 503-515, 2018
[DOI: 10.1007/978-3-319-98654-8_41]

Löding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)

[Fachzeitschriftenartikel]
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 (Corresponding author)
Schalthöfer, Svenja
Selman, Aziz Erkal

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

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

[Fachzeitschriftenartikel, Rezension]
Bernhardt, Chris: Turing's Vision: The Birth of Computer Science. - London, 2016. - ISBN: 978-0-262-33380-1
In: Isis : electronic edition, 109 (1), 213-214, 2018

Thomas, Wolfgang (Reviewer)

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

Grädel, Erich (Corresponding author)
Grohe, Martin
Pago, Benedikt Thomas
Pakusa, Wied

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
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 (Corresponding author)
Madhusudan, P. (Corresponding author)
Peña, Lucas (Corresponding author)

[Buch]
Descriptive complexity, canonisation, and definable graph structure theory
In: Lecture notes in logic 47, 2017

Grohe, Martin

[Preprint]
An exponential lower bound for Individualization-Refinement algorithms for Graph Isomorphism, 2017

Neuen, Daniel (Corresponding author)
Schweitzer, Pascal (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, 1-12, 2017
[DOI: 10.1109/LICS.2017.8005107]

Kiefer, Sandra (Corresponding author)
Ponomarenko, Ilia (Corresponding author)
Schweitzer, Pascal (Corresponding author)

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.), 341-354, 2017
[DOI: 10.1007/978-3-662-55751-8_27]

Löding, Christof
Spinrath, Christopher (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.), 91-102, 2017
[DOI: 10.1007/978-3-319-53733-7_6]

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

[Preprint]
Benchmark Graphs for Practical Graph Isomorphism, 2017

Neuen, Daniel (Corresponding author)
Schweitzer, Pascal (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, Seiten 60:1-60:14, 2017
[DOI: 10.4230/LIPIcs.ESA.2017.60]

Neuen, Daniel (Corresponding author)
Schweitzer, Pascal

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.), 180-192, 2017
[DOI: 10.1007/978-3-319-68705-6_14]

Grohe, Martin
Chen, Yijia
Lin, Bingkai (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.), 327-339, 2017
[DOI: 10.1137/1.9781611974782.21]

Berkholz, Christoph
Grohe, Martin

[Buchbeitrag, Beitrag zu einem Tagungsband]
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, 1-12, 2017
[DOI: 10.1109/LICS.2017.8005080]

Grohe, Martin (Corresponding author)
Ritzert, Martin (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Learning MSO-definable hypotheses on strings
In: [International Conference on Algorithmic Learning Theory, ALT 2017, 2017-10-15 - 2017-10-17, Kyoto, Japan], 434-451, 2017

Grohe, Martin (Corresponding author)
Löding, Christof (Corresponding author)
Ritzert, Martin (Corresponding author)

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

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

Schweitzer, Pascal (Corresponding author)
Schweitzer, Patrick (Corresponding author)

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

[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)