[Contribution to a book, Contribution to a conference proceedings]
The Descriptive Complexity of Graph Neural Networks
In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 26-29 June 2023, [1]-14, 2023
[DOI: 10.1109/LICS56636.2023.10175735]

Grohe, Martin (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
The Iteration Number of the Weisfeiler-Leman Algorithm
In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : [Proceedings] - IEEE, 2023. - ISBN 979-8-3503-3587-3 - doi:10.1109/LICS56636.2023.10175741, 13 Seiten, 2023
[DOI: 10.1109/LICS56636.2023.10175741]

Grohe, Martin
Lichter, Moritz
Neuen, Daniel

[Contribution to a book, Contribution to a conference proceedings]
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
In: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) / Herausgeber: Jérôme Leroux, Sylvain Lombardy, David Peleg, 82:1-82:15, 2023
[DOI: 10.4230/LIPIcs.MFCS.2023.82]

Seppelt, Tim Frederik

[Contribution to a book, Contribution to a conference proceedings]
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 26 - 29 June 2023, Boston, USA, 2023, 2023
[DOI: 10.1109/LICS56636.2023.10175818]

van Bergerem, Steffen (Corresponding author)
Grohe, Martin (Corresponding author)
Kiefer, Sandra (Corresponding author)
Oeljeklaus, Luca Frédéric Tilmann (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Solving AC Power Flow with Graph Neural Networks under Realistic Constraints
In: 2023 IEEE Belgrade PowerTech : June 25-29, 2023, Belgrade, Serbia, 7 Seiten, 2023
[DOI: 10.1109/PowerTech55446.2023.10202246]

Böttcher, Luis Robert (Corresponding author)
Wolf, Hinrikus (Corresponding author)
Jung, Bastian (Corresponding author)
Lutat, Philipp Leonard (Corresponding author)
Trageser, Marc Roland (Corresponding author)
et al.

[Contribution to a book, Contribution to a conference proceedings]
Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
In: 50th International Colloquium on Automata, Languages and Programming (ICALP 2023) / Herausgeber: Kousha Etessami, Uriel Feige, Gabriele Puppis, 101:1-101:18, 2023
[DOI: 10.4230/LIPICS.ICALP.2023.101]

Roberson, David E. (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)

[Contribution to a conference proceedings]
WL meet VC
In: [International Conference on Machine Learning, ICML 2023], 2023

christopher, morris
Grohe, Martin
Tönshoff, Jan Martin
geerts, floris

[Journal Article]
Physical pooling functions in graph neural networks for molecular property prediction
In: Computers & chemical engineering, 172, 108202, 2023
[DOI: 10.1016/j.compchemeng.2023.108202]

Schweidtmann, Artur M.
Rittig, Jan Gerald
Weber, Jana M.
Grohe, Martin
Dahmen, Manuel
et al.

[Journal Article]
Isomorphism Testing for Graphs Excluding Small Minors
In: SIAM journal on computing, 52 (1), 238-272, 2023
[DOI: 10.1137/21M1401930]

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

[Contribution to a book, Contribution to a conference proceedings]
Probabilistic Query Evaluation with Bag Semantics
In: 26th International Conference on Database Theory (ICDT 2023) / Herausgeber: Floris Geerts, Brecht Vandevoort, 20:1-20:19, 2023
[DOI: 10.4230/LIPICS.ICDT.2023.20]

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

[Dissertation / PhD Thesis]
Descriptive complexity of learning, 2023
[DOI: 10.18154/RWTH-2023-02554]

van Bergerem, Steffen

[Journal Article]
Canonisation and definability for graphs of bounded rank width
In: ACM transactions on computational logic : TOCL, 24 (1), 1-31, 2023
[DOI: 10.1145/3568025]

Grohe, Martin (Corresponding author)
Neuen, Daniel

[Contribution to a book, Contribution to a conference proceedings]
Weisfeiler-Leman and Graph Spectra
In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA23) / editors: Nikhil Bansal and Viswanath Nagarajan, 2023
[DOI: 10.1137/1.9781611977554.ch87]

Rattan, Gaurav
Seppelt, Tim Frederik

[Journal Article]
Graph machine learning for design of high-octane fuels
In: AIChE journal, 69 (4), e17971, 2022
[DOI: 10.1002/aic.17971]

Rittig, Jan Gerald
Ritzert, Martin
Schweidtmann, Artur M.
Winkler, Stefanie
Weber, Jana M.
et al.

[Contribution to a conference proceedings]
A Practical, Progressively-Expressive GNN
In: [Advances in Neural Information Processing Systems 35], 2022

Zhao, Lingxiao
Härtel, Louis (Corresponding author)
Shah, Neil
Akoglu, Leman

[Journal Article]
Infinite Probabilistic Databases
In: Logical methods in computer science, 18 (1), 6945, 2022
[DOI: 10.46298/LMCS-18(1:34)2022]

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

[Contribution to a book, Contribution to a conference proceedings]
Graph Similarity Based on Matrix Norms
In: 47th International Symposium on Mathematical Foundations of Computer Science : MFCS 2022, August 22-26, 2022, Vienna, Austria / edited by Stefan Szeider, Robert Ganian, Alexandra Silva, 52 ; [1]-15, 2022
[DOI: 10.4230/LIPICS.MFCS.2022.52]

Gervens, Timo Richard (Corresponding author)
Grohe, Martin (Corresponding author)

[Preprint]
Physical Pooling Functions in Graph Neural Networks for Molecular Property Prediction, 2022
[DOI: 10.48550/ARXIV.2207.13779]

Schweidtmann, Artur M.
Rittig, Jan Gerald
Weber, Jana M.
Grohe, Martin
Dahmen, Manuel
et al.

[Preprint]
Solving AC Power Flow with Graph Neural Networks under Realistic Constraints, 2022
[DOI: 10.48550/ARXIV.2204.07000]

Böttcher, Luis Robert (Corresponding author)
Wolf, Hinrikus (Corresponding author)
Jung, Bastian (Corresponding author)
Lutat, Philipp Leonard (Corresponding author)
Trageser, Marc Roland (Corresponding author)
et al.

[Journal Article]
Classification of properties and their relation to chemical bonding : Essential steps toward the inverse design of functional materials
In: Science advances, 8 (47), eade0828, 2022
[DOI: 10.1126/sciadv.ade0828]

Schön, Carl-Friedrich
van Bergerem, Steffen
Mattes, Christian
Yadav, Aakash
Grohe, Martin
et al.

[Journal Article]
Generative Datalog with Continuous Distributions
In: Journal of the ACM, 69 (6), 46, 2022
[DOI: 10.1145/3559102]

Grohe, Martin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter

[Journal Article]
The Parameterized Complexity of Fixing Number and Vertex Individualization in Graphs
In: ACM transactions on computation theory : TOCT, 14 (2), 9, 2022
[DOI: 10.1145/3558077]

Arvind, Vikraman (Corresponding author)
Fuhlbrueck, Frank
Koebler, Johannes
Kuhnert, Sebastian
Rattan, Gaurav

[Journal Article]
Independence in Infinite Probabilistic Databases
In: Journal of the ACM : JACM, 69 (5), 37, 2022
[DOI: 10.1145/3549525]

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

[Contribution to a book, Journal Article]
Solving Infinite Games in the Baire Space
In: Fundamenta informaticae, 186 (1/4), 63-88, 2022
[DOI: 10.3233/FI-222119]

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

[Report]
50 Jahre Studiengang Informatik an der RWTH Aachen : Ein Streifzug in Text und Bild, 2022

Bolke-Hermanns, Helene-Maria (Redactor)
Indermark, Klaus (Redactor)
Katoen, Joost-Pieter (Redactor)
Kowalewski, Stefan (Redactor)
Noll, Thomas (Redactor)
et al.

[Contribution to a book, Contribution to a conference proceedings]
On the Parameterized Complexity of Learning First-Order Logic
In: Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems / Libkin, Leonid, 337-346, 2022
[DOI: 10.1145/3517804.3524151]

van Bergerem, Steffen (Corresponding author)
Grohe, Martin
Ritzert, Martin

[Contribution to a book, Contribution to a conference proceedings]
Homomorphism Tensors and Linear Equations
In: 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022) / Herausgeber: Mikołaj Bojańczyk, Emanuela Merelli, David P. Woodruff, [70:1]-70:20, 2022
[DOI: 10.4230/LIPICS.ICALP.2022.70]

Grohe, Martin
Rattan, Gaurav
Seppelt, Tim Frederik

[Book]
Mathematical logic
In: Graduate texts in mathematics 291, 2021

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

[Preprint]
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm, 2021
[DOI: 10.18154/RWTH-2022-11204]

Bohn, Leon
Löding, Christof (Corresponding author)

[Abstract, Contribution to a book, Contribution to a conference proceedings]
A Deep Dive into the Weisfeiler-Leman Algorithm (Invited Talk)
In: LIPIcs, Vol. 202, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) / Edited by Filippo Bonchi and Simon J. Puglisi, 1-1, 2021
[DOI: 10.4230/LIPICS.MFCS.2021.2]

Grohe, Martin

[Contribution to a book, Contribution to a conference proceedings]
The Surprising Power of Graph Neural Networks with Random Node Initialization
In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21) / edited by Prof. Zhi-Hua Zhou ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), 2021
[DOI: 10.24963/ijcai.2021/291]

Abboud, Ralph
Ceylan, İsmail İlkan
Grohe, Martin
Lukasiewicz, Thomas

[Contribution to a book, Contribution to a conference proceedings]
Recent advances on the graph isomorphism problem
In: Surveys in Combinatorics 2021 / edited by Konrad K. Dabrowski, Maximilien Gadouleau, Nicholas Georgiou, Matthew Johnson, George B. Mertzios, Daniël Paulusma, 2021
[DOI: 10.1017/9781009036214.006]

Grohe, Martin
Neuen, Daniel

[Contribution to a book, Contribution to a conference proceedings]
The Effects of Randomness on the Stability of Node Embeddings
In: Machine Learning and Principles and Practice of Knowledge Discovery in Databases : International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I / edited by Michael Kamp, Irena Koprinska, Adrien Bibal [u.a.], 197-215, 2021
[DOI: 10.1007/978-3-030-93736-2_16]

Schumacher, Tobias
Wolf, Hinrikus (Corresponding author)
Ritzert, Martin
Lemmerich, Florian
Grohe, Martin
et al.

[Contribution to a book, Contribution to a conference proceedings]
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
In: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) / Herausgeber: Filippo Bonchi, Simon J. Puglisi, 20:1-20:18, 2021
[DOI: 10.4230/LIPIcs.MFCS.2021.20]

Bohn, Leon
Löding, Christof (Corresponding author)

[Preprint]
Weisfeiler-Leman, Graph Spectra, and Random Walks, 2021
[DOI: 10.18154/RWTH-2022-01183]

Rattan, Gaurav (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)

[Preprint]
Homomorphism Tensors and Linear Equations, 2021

Grohe, Martin (Corresponding author)
Rattan, Gaurav (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)

[Journal Article]
Probabilistic Data with Continuous Distributions
In: ACM SIGMOD record, 50 (1), 69-76, 2021
[DOI: 10.1145/3471485.3471502]

Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter

[Dissertation / PhD Thesis]
Tree automata with constraints on infinite trees, 2021
[DOI: 10.18154/RWTH-2021-12010]

Landwehr, Patrick

[Dissertation / PhD Thesis]
The theory of infinite probabilistic databases, 2021
[DOI: 10.18154/RWTH-2021-10669]

Lindner, Peter

[Dissertation / PhD Thesis]
Learning on graphs with logic and neural networks, 2021
[DOI: 10.18154/RWTH-2021-09549]

Ritzert, Martin

[Contribution to a book, Contribution to a conference proceedings]
Deep Weisfeiler Leman
In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) / Editor(s): Dániel Marx, 2600-2614, 2021
[DOI: 10.1137/1.9781611976465.154]

Grohe, Martin
Schweitzer, Pascal
Wiebking, Daniel

[Contribution to a book, Contribution to a conference proceedings]
Database Repairing with Soft Functional Dependencies
In: 24rd International Conference on Database Theory : ICDT 2021, March 23-26, 2021, Nicosia, Cyprus / edited by Ke Yi, Zhewei Wei, 16:[1]-16:17, 2021
[DOI: 10.4230/LIPIcs.ICDT.2021.16]

Carmeli, Nofar (Corresponding author)
Grohe, Martin (Corresponding author)
Kimelfeld, Benny (Corresponding author)
Livshists, Ester (Corresponding author)
Tibi, Muhammad (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
The Logic of Graph Neural Networks
In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 17 Seiten, 2021
[DOI: 10.1109/LICS52264.2021.9470677]

Grohe, Martin (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Graph Similarity and Homomorphism Densities
In: 48th International Colloquium on Automata, Languages, and Programming : ICALP 2021, July 12-16, 2021, Glasgow, Scotland (virtual conference) / edited by Nikhil Bansal, Emanuela Merelli, James Worrell, 17 pages803851 bytes, 2021
[DOI: 10.4230/LIPIcs.ICALP.2021.32]

Böker, Jan Wilhelm (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Logarithmic Weisfeiler-Leman Identifies All Planar Graphs
In: 48th International Colloquium on Automata, Languages, and Programming : ICALP 2021, July 12-16, 2021, Glasgow, Scotland (virtual conference) / edited by Nikhil Bansal, Emanuela Merelli, James Worrell, 134:1-134:20, 2021
[DOI: 10.4230/LIPICS.ICALP.2021.134]

Grohe, Martin (Corresponding author)
Kiefer, Sandra (Corresponding author)

[Dissertation / PhD Thesis]
A decomposition-compatible canonization framework for the graph isomorphism problem, 2021
[DOI: 10.18154/RWTH-2021-06242]

Wiebking, Daniel

[Journal Article]
Definable decompositions for graphs of bounded linear cliquewidth
In: Logical methods in computer science : LMCS, 17 (1), 5:1-5:40, 2021
[DOI: 10.23638/LMCS-17(1:5)2021]

Bojanczyk, Mikolaj (Corresponding author)
Grohe, Martin (Corresponding author)
Pilipczuk, Michal (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Tuple-Independent Representations of Infinite Probabilistic Databases
In: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 388-401, 2021
[DOI: 10.1145/3452021.3458315]

Carmeli, Nofar (Corresponding author)
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
Standke, Christoph (Corresponding author)

[Journal Article]
Isomorphism, canonization, and definability for graphs of bounded rank width
In: Communications of the ACM, 64 (5), 98-105, 2021
[DOI: 10.1145/3453943]

Grohe, Martin (Corresponding author)
Neuen, Daniel

[Contribution to a book, Contribution to a conference proceedings]
Learning Concepts Described By Weight Aggregation Logic
In: 29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq, 10:1-10:18, 2021
[DOI: 10.4230/LIPICS.CSL.2021.10]

van Bergerem, Steffen (Corresponding author)
Schweikardt, Nicole (Corresponding author)

[Journal Article]
Graph Neural Networks for Maximum Constraint Satisfaction
In: Frontiers in artificial intelligence, 3, 580607, 2021
[DOI: 10.3389/frai.2020.580607]

Tönshoff, Jan Martin (Corresponding author)
Ritzert, Martin
Wolf, Hinrikus
Grohe, Martin

[Dissertation / PhD Thesis]
Determinization and ambiguity of classical and probabilistic Büchi automata, 2021
[DOI: 10.18154/RWTH-2021-02027]

Pirogov, Anton

[Preprint]
Database Repairing with Soft Functional Dependencies, 2020

Carmeli, Nofar
Grohe, Martin
Kimelfeld, Benny
Livshists, Ester
Tibi, Muhammad

[Contribution to a book, Contribution to a conference proceedings]
Weisfeiler and Leman go sparse: Towards scalable higher-order graph embeddings
In: NeurIPS 2020 / Edited by: H. Larochelle and M. Ranzato and R. Hadsell and M.F. Balcan and H. Lin, 1-17, 2020

Morris, Christopher
Rattan, Gaurav
Mutzel, Petra

[Preprint]
Deep Weisfeiler Leman, 2020

Grohe, Martin
Schweitzer, Pascal
Wiebking, Daniel

[Contribution to a book, Contribution to a conference proceedings]
Weisfeiler and Leman go sparse: Towards scalable higher-order graph embeddings
In: 34th Conference on Neural Information Processing Systems (NeurIPS 2020) : online, 6-12 December 2020 / Neural Information Processing Systems Foundation, Inc. ; [edited by: H. Larochelle and M. Ranzato and R. Hadsell and M.F. Balcan and H. Lin]. - Volume 27, 21824-21840, 2020

Morris, Christopher
Rattan, Gaurav
Mutzel, Petra

[Journal Article]
The Weisfeiler-Leman algorithm : an exploration of its power
In: ACM SIGLOG news, 7 (3), 5-27, 2020
[DOI: 10.1145/3436980.3436982]

Kiefer, Sandra

[Contribution to a book, Contribution to a conference proceedings]
Isomorphism Testing for Graphs Excluding Small Minors
In: 2020 IEEE 61st Annual Symposium on Foundations of Computer Science : FOCS 2020 : proceedings : 16-19 November 2020, virtual conference / general chair: Yuval Rabani (the Hebrew University of Jerusalem) ; sponsors: IEEE Computer Society, Microsoft Research ; publisher: IEEE, 625-636, 2020
[DOI: 10.1109/FOCS46700.2020.00064]

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

[Contribution to a book, Contribution to a conference proceedings]
Synthesis from Weighted Specifications with Partial Domains over Finite Words
In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science : FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (virtual conference) / edited by Nitin Saxena, Sunil Simon, 46:1-46:16, 2020
[DOI: 10.4230/LIPICS.FSTTCS.2020.46]

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

[Contribution to a book, Contribution to a conference proceedings]
A First-Order Logic with Frames
In: Programming languages and systems : 29th European Symposium on Programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020: proceedings / Peter Müller (ed.), 515-543, 2020
[DOI: 10.1007/978-3-030-44914-8_19]

Murali, Adithya
Peña, Lucas (Corresponding author)
Löding, Christof
Madhusudan, P.

[Contribution to a book, Contribution to a conference proceedings]
State Space Reduction For Parity Automata
In: 28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain / edited by Maribel Fernández, Anca Muscholl, 27, 1-16, 2020
[DOI: 10.4230/LIPICS.CSL.2020.27]

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

[Preprint]
The Effects of Randomness on the Stability of Node Embeddings, 2020

Schumacher, Tobias
Wolf, Hinrikus
Ritzert, Martin
Lemmerich, Florian
Bachmann, Jan
et al.

[Contribution to a book, Journal Article]
Projection for Büchi Tree Automata with Constraints between Siblings
In: International journal of foundations of computer science : IJFCS, 31 (6), 749-775, 2020
[DOI: 10.1142/S012905412041004X]

Landwehr, Patrick (Corresponding author)
Löding, Christof (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
word2vec, node2vec, graph2vec, X2vec: Towards a Theory of Vector Embeddings of Structured Data
In: PODS'20 : Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 14 -19, 2020, Portland, OR USA / General Chair: Dan Suciu (University of Washington, USA); Program Chair: Yufei Tao; Proceedings Chair: Zhewei Wei, 1-16, 2020
[DOI: 10.1145/3375395.3387641]

Grohe, Martin (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Counting Bounded Tree Depth Homomorphisms
In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020, Saarbrücken, Germany / sponsored by ACM Special Interest Group on Logic and Computation (SIGLOG), IEEE Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, European Association for Theoretical Computer Science (EATCS) ; conference chairs: Holger Hermanns, Lijun Zhang, Naoki Kobayashi, 507-520, 2020
[DOI: 10.1145/3373718.3394739]

Grohe, Martin (Corresponding author)

[Journal Article]
The graph isomorphism problem
In: Communications of the ACM, 63 (11), 128-134, 2020
[DOI: 10.1145/3372123]

Grohe, Martin
Schweitzer, Pascal

[Journal Article]
An Improved Isomorphism Test for Bounded-tree-width Graphs
In: ACM transactions on algorithms : TALG, 16 (3), 34, 2020
[DOI: 10.1145/3382082]

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

[Multimedia]
Video Tutorial: Graph Neural Network Tool for Predicting Physico-Chemical Properties of Molecules
In: AVT-SVT Research Video 8, 2020
[DOI: 10.18154/RWTH-2020-11636]

Rittig, Jan Gerald
Grohe, Martin
Dahmen, Manuel
Mitsos, Alexander
Schweidtmann, Artur M. (Corresponding author)

[Conference Presentation, Multimedia]
Graph neural networks for prediction of fuel ignition quality
In: [AVT research video] [5], 2020
[DOI: 10.18154/RWTH-2020-10689]

Schweidtmann, Artur M.
Rittig, Jan Gerald
König, Andrea
Grohe, Martin
Mitsos, Alexander (Corresponding author)
et al.

[Multimedia]
Deep End-To-End Learning on Molecular Graphs for Physico-Chemical Property Prediction using Graph Neural Networks : 8th - 9th July 2020 ; 3rd International Conference on Machine Learning an AI in (bio)Chemical Engineering
In: AVT-SVT Research Video 3, 2020
[DOI: 10.18154/RWTH-2020-10114]

Rittig, Jan Gerald
Schweidtmann, Artur M.
König, Andrea
Dahmen, Manuel
Grohe, Martin
et al.

[Journal Article]
Graph Neural Networks for Prediction of Fuel Ignition Quality
In: Energy & fuels, 34 (9), 11395-11407, 2020
[DOI: 10.1021/acs.energyfuels.0c01533]

Schweidtmann, Artur M.
Rittig, Jan Gerald
König, Andrea
Grohe, Martin
Mitsos, Alexander
et al.

[Contribution to a book, Contribution to a conference proceedings]
Normalizers and permutational isomorphisms in simply-exponential time
In: Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms / Editor(s): Shuchi Chawla, 230-238, 2020
[DOI: 10.1137/1.9781611975994.14]

Wiebking, Daniel (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Generative Datalog with Continuous Distributions
In: PODS'20 : Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 14 -19, 2020, Portland, OR USA / General Chair: Dan Suciu (University of Washington, USA); Program Chair: Yufei Tao; Proceedings Chair: Zhewei Wei, 347-360, 2020
[DOI: 10.1145/3375395.3387659]

Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Lindner, Peter (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
In: Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König, 522-541, 2020
[DOI: 10.1007/978-3-030-45231-5_27]

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

[Contribution to a book, Contribution to a conference proceedings]
Weisfeiler and Leman’s Unlikely Journey from Graph Isomorphism to Neural Networks
In: 37th International Symposium on Theoretical Aspects of Computer Science : STACS 2020, March 10-13, 2020, Montpellier, France / edited by Christophe Paul, Markus Bläser, 2020
[DOI: 10.4230/LIPIcs.STACS.2020.2]

Grohe, Martin (Corresponding author)

[Journal Article]
Hiring Secretaries over Time: The Benefit of Concurrent Employment
In: Mathematics of operations research, 45 (1), 323-352, 2020
[DOI: 10.1287/moor.2019.0993]

Disser, Yann (Corresponding author)
Fearnley, John
Gairing, Martin
Göbel, Oliver
Klimm, Max (Corresponding author)
et al.

[Contribution to a book, Contribution to a conference proceedings]
Infinite Probabilistic Databases
In: 23rd International Conference on Database Theory (ICDT 2020), 16:1-16:20, 2020
[DOI: 10.4230/LIPIcs.ICDT.2020.16]

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

[Dissertation / PhD Thesis]
Power and limits of the Weisfeiler-Leman algorithm, 2020
[DOI: 10.18154/RWTH-2020-03508]

Kiefer, Sandra

[Contribution to a book, Contribution to a conference proceedings]
New Pumping Technique for 2-Dimensional VASS
In: 44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany / edited by Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen, 62:1-62:14, 2019
[DOI: 10.4230/LIPICS.MFCS.2019.62]

Czerwinski, Wojciech (Corresponding author)
Lasota, Slawomir (Corresponding author)
Löding, Christof (Corresponding author)
Piórkowski, Radoslaw (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
The Complexity of Homomorphism Indistinguishability
In: 44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany / edited by Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen, 54:1-54:13, 2019
[DOI: 10.4230/LIPICS.MFCS.2019.54]

Böker, Jan Wilhelm (Corresponding author)
Chen, Yijia (Corresponding author)
Grohe, Martin (Corresponding author)
Rattan, Gaurav (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Color Refinement, Homomorphisms, and Hypergraphs
In: Graph-theoretic concepts in computer science : 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19-21, 2019 : revised papers / Ignasi Sau, Dimitrios M. Thilikos (eds.), 338-350, 2019
[DOI: 10.1007/978-3-030-30786-8_26]

Böker, Jan Wilhelm (Corresponding author)

[Preprint]
Normalizers and permutational isomorphisms in simply-exponential time, 2019

Wiebking, Daniel (Corresponding author)

[Journal Article]
The Weisfeiler-Leman Dimension of Planar Graphs Is at Most 3
In: Journal of the ACM, 66 (6), 44, 2019
[DOI: 10.1145/3333003]

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

[Contribution to a book, Contribution to a conference proceedings]
A unifying method for the design of algorithms canonizing combinatorial objects
In: STOC'19 : Proceedings of the 51th Annual ACM SIGACT Symposium on Theory of Computing : June 23-26, 2019,Phoenix, AZ, USA / sponsored by: ACM SIGACT, 1247-1258, 2019
[DOI: 10.1145/3313276.3316338]

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

[Journal Article]
High-complexity regions in mammalian genomes are enriched for developmental genes
In: Bioinformatics, 35 (11), 1813-1819, 2019
[DOI: 10.1093/bioinformatics/bty922]

Pirogov, Anton
Pfaffelhuber, Peter
Börsch-Haubold, Angelika
Haubold, Bernhard (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Learning Definable Hypotheses on Trees
In: 22nd International Conference on Database Theory (ICDT 2019) / Herausgeber: Pablo Barcelo, Marco Calautti, 24, 18 Seiten, 2019
[DOI: 10.4230/LIPICS.ICDT.2019.24]

Ritzert, Martin (Corresponding author)
Grienenberger, Emilie (Corresponding author)

[Journal Article]
The parameterized space complexity of model-checking bounded variable first-order logic
In: Logical methods in computer science : LMCS, 15 (3), 1-15, 2017
[DOI: 10.23638/LMCS-15(3:31)2019]

Chen, Yijia (Corresponding author)
Elberfeld, Michael (Corresponding author)
Müller, Moritz (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Canonisation and Definability for Graphs of Bounded Rank Width
In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) / publisher: IEEE, 2019
[DOI: 10.1109/LICS.2019.8785682]

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

[Dissertation / PhD Thesis]
The power of algorithmic approaches to the graph isomorphism problem, 2019
[DOI: 10.18154/RWTH-2020-00160]

Neuen, Daniel

[Contribution to a book, Contribution to a conference proceedings]
New Optimizations and Heuristics for Determinization of Büchi Automata
In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 317-333, 2019
[DOI: 10.1007/978-3-030-31784-3_18]

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

[Contribution to a book, Contribution to a conference proceedings]
Weisfeiler and Leman Go Neural: Higher-Order Graph Neural Networks
In: The Thirty-Third AAAI Conference on Artificial Intelligence, the Thirty-First Innovative Applications of Artificial Intelligence Conference, the Ninth AAAI Symposium on Educational Advances in Artificial Intelligence : Honolulu, Hawaii USA - January 27-February 1, 2019 / sponsored by the Association for the Advancement of Artificial Intelligence, 4602-4609, 2019
[DOI: 10.1609/aaai.v33i01.33014602]

Morris, Christopher (Corresponding author)
Ritzert, Martin (Corresponding author)
Fey, Matthias (Corresponding author)
Hamilton, William L. (Corresponding author)
Lenssen, Jan Eric (Corresponding author)
et al.

[Contribution to a book, Contribution to a conference proceedings]
The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs
In: 44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany / edited by Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen, 45:1-45:15, 2019
[DOI: 10.4230/LIPICS.MFCS.2019.45]

Kiefer, Sandra (Corresponding author)
Neuen, Daniel (Corresponding author)

[Preprint]
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words, 2019
[DOI: 10.18154/RWTH-2019-08227]

Löding, Christof
Spinrath, Christopher

[Journal Article]
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words
In: Discrete mathematics and theoretical computer science : DMTCS, 21 (3), 4, 2019
[DOI: 10.23638/DMTCS-21-3-4]

Löding, Christof
Spinrath, Christopher

[Contribution to a book, Contribution to a conference proceedings]
Tangles and Single Linkage Hierarchical Clustering
In: 44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany / edited by Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen, 38:1-38:12, 2019
[DOI: 10.4230/LIPICS.MFCS.2019.38]

Fluck, Eva (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Learning Concepts Definable in First-Order Logic with Counting
In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) / publisher: IEEE, 13 Seiten, 2019
[DOI: 10.1109/LICS.2019.8785811]

van Bergerem, Steffen (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
String-to-String Interpretations With Polynomial-Size Output
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.), 106, [1]-14, 2019
[DOI: 10.4230/LIPICS.ICALP.2019.106]

Bojanczyk, Mikolaj (Corresponding author)
Kiefer, Sandra (Corresponding author)
Lhote, Nathan (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus
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.), 117, [1]-15, 2019
[DOI: 10.4230/LIPICS.ICALP.2019.117]

Grohe, Martin (Corresponding author)
Kiefer, Sandra (Corresponding author)

[Journal Article]
Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
In: Logical methods in computer science : LMCS, 15 (2), 19,, 2019
[DOI: 10.23638/LMCS-15(2:19)2019]

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

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Journal Article]
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)

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

[Journal Article]
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

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

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

Brütsch, Benedikt

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

Winter, Sarah

[Journal Article]
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)

[Contribution to a book, Contribution to a conference proceedings]
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

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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

[Contribution to a book, Contribution to a conference proceedings]
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

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

[Contribution to a book, 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, 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)

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

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

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

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

[Journal Article, Review]
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

[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 (Corresponding author)
Madhusudan, P. (Corresponding author)
Peña, Lucas (Corresponding author)

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

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

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

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

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

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

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

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

Neuen, Daniel (Corresponding author)
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.), 180-192, 2017
[DOI: 10.1007/978-3-319-68705-6_14]

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

[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.), 327-339, 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, 1-12, 2017
[DOI: 10.1109/LICS.2017.8005080]

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

[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], 434-451, 2017

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

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

[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 (Corresponding author)
Schweitzer, Patrick (Corresponding author)

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

[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 (Corresponding author)
Pakusa, Wied (Corresponding author)

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

[Contribution to a book, Journal Article]
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)

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

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

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

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

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

Belmonte, Rémy
Otachi, Yota (Corresponding author)
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, 227-236, 2016
[DOI: 10.1145/2933575.2934504]

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

[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, 287-296, 2016
[DOI: 10.1145/2933575.2933595]

Kiefer, Sandra
Schweitzer, Pascal (Corresponding author)

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

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

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

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

[Contribution to a book, 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, 65:1-65:14, 14 Seiten, 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, 88:1-88:13, 13 Seiten, 2016
[DOI: 10.4230/LIPIcs.MFCS.2016.88]

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

[Contribution to a book, 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.), 167-185, 2016
[DOI: 10.1007/978-3-662-49674-9_10]

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

[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, 2016
[DOI: 10.1145/2933575]

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

[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, 397-406, 2016
[DOI: 10.1145/2933575.2934517]

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

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

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

Neuen, Daniel (Corresponding author)

[Journal Article]
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

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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

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

Grohe, Martin (Corresponding author)
Schweitzer, Pascal

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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

[Journal Article]
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)

[Contribution to a book, Contribution to a conference proceedings]
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

[Journal Article]
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

[Journal Article]
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

[Contribution to a book]
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

[Contribution to a book, Contribution to a conference proceedings]
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

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Journal Article]
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

[Journal Article]
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)

[Journal Article]
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)

[Journal Article]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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

[Contribution to a book, Contribution to a conference proceedings]
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)

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

Grohe, Martin

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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

[Contribution to a book, Contribution to a conference proceedings]
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

[Contribution to a book, Contribution to a conference proceedings]
Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures
In: Mathematical foundations of computer science 2014 : 39th international symposium, MFCS 2014, Budapest, Hungary, August 25 - 29, 2014 ; proceedings / Erzsébet Csuhaj-Varjú; Martin Dietzfelbinger; Zoltán Ésik (eds.). - Pt. 1, 256-266, 2014
[DOI: 10.1007/978-3-662-44522-8_22]

Eickmeyer, Kord (Corresponding author)
Elberfeld, Michael (Corresponding author)
Harwath, Frederik (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Embedding and canonizing graphs of bounded genus in logspace
In: STOC'14 : proceedings of the 2014 ACM Symposium on Theory of Computing : New York, New York, USA, May 31, 2014 - June 3, 2014 / sponsored by: ACM SIGACT, 383-392, 2014
[DOI: 10.1145/2591796.2591865]

Elberfeld, Michael (Corresponding author)
Kawarabayashi, Ken-ichi (Corresponding author)

[Preprint]
Monadic Datalog Containment on Trees, 2014

Frochaux, André
Grohe, Martin
Schweikardt, Nicole

[Contribution to a book, Contribution to a conference proceedings]
Power Iterated Color Refinement
In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence and the Twenty-Sixth Innovative Applications of Artificial Intelligence Conference : 27 - 31 July 2014, Québec City, Québec, Canada ; [including the Fifth Symposium on Educational Advances in Artificial Intelligence] / [sponsored by the Association for the Advancement of Artificial Intelligence]. - Vol. 3, 1904-1910, 2014

Kersting, Kristian
Mladenov, Martin
Garnett, Roman
Grohe, Martin

[Contribution to a conference proceedings]
Monadic Datalog Containment on Trees
In: Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management : (AMW 2014) ; June 4-6, 2014, Cartagena de Indias, Colombia, 6 S., 2014

Frochaux, André
Grohe, Martin
Schweikardt, Nicole

[Contribution to a book, Contribution to a conference proceedings]
Deciding first-order properties of nowhere dense graphs
In: STOC'14 : proceedings of the 2014 ACM Symposium on Theory of Computing : New York, New York, USA, May 31, 2014 - June 3, 2014 / sponsored by: ACM SIGACT, 89-98, 2014
[DOI: 10.1145/2591796.2591851]

Grohe, Martin (Corresponding author)
Kreutzer, Stephan (Corresponding author)
Siebertz, Sebastian (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Choiceless Polynomial Time on Structures with Small Abelian Colour Classes
In: Mathematical foundations of computer science 2014 : 39th international symposium, MFCS 2014, Budapest, Hungary, August 25 - 29, 2014 ; proceedings / Erzsébet Csuhaj-Varjú; Martin Dietzfelbinger; Zoltán Ésik (eds.). - Pt. 1, 50-62, 2014
[DOI: 10.1007/978-3-662-44522-8_5]

Abu Zaid, Faried (Corresponding author)
Grädel, Erich (Corresponding author)
Grohe, Martin (Corresponding author)
Pakusa, Wied (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Algothmic Meta Theorems for Sparse Graph Classes
In: Computer science - theory and applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7 - 11, 2014 ; proceedings / Edward A. Hirsch .... (eds.), 16-22, 2014
[DOI: 10.1007/978-3-319-06686-8_2]

Grohe, Martin

[Contribution to a book, Contribution to a conference proceedings]
Dimension Reduction via Colour Refinement
In: Algorithms - ESA 2014 : 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings / edited by Andreas S. Schulz, Dorothea Wagner, 505-516, 2014
[DOI: 10.1007/978-3-662-44777-2_42]

Grohe, Martin
Kersting, Kristian
Mladenov, Martin
Selman, Aziz Erkal

[Book]
PODS’14 : Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems ; June 22-27, 2014, Snowbird, UT, USA, 2014

Hull, Richard (Editor)
Grohe, Martin (Editor)

[Journal Article]
Constraint Solving via Fractional Edge Covers
In: ACM transactions on algorithms : TALG, 11 (1), 4, 2014
[DOI: 10.1145/2636918]

Grohe, Martin (Corresponding author)
Marx, Dániel (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
On the Speed of Constraint Propagation and the Time Complexity of Arc Consistency Testing
In: Mathematical foundations of computer science 2013 : 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings / Krishnendu Chatterjee; Jirí Sgall (ed.), 159-170, 2013
[DOI: 10.1007/978-3-642-40313-2_16]

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

[Contribution to a book, Contribution to a conference proceedings]
Characterisations of Nowhere Dense Graphs (Invited Talk)
In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013) : December 12 - 14, 2013, Guwahati, India / Anil Seth ... (eds.), 21-40, 2013
[DOI: 10.4230/LIPIcs.FSTTCS.2013.21]

Grohe, Martin (Corresponding author)
Kreutzer, Stephan (Corresponding author)
Siebertz, Sebastian (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
A Simple Algorithm for the Graph Minor Decomposition : Logic meets Structural Graph Theory-
In: Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms / Khanna Sanjeev, editor., 414-431, 2013
[DOI: 10.1137/1.9781611973105.30]

Grohe, Martin (Corresponding author)
Kawarabayaschi, Ken-ichi (Corresponding author)
Reed, Bruce A. (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Logical and Structural Approaches to the Graph Isomorphism Problem
In: Mathematical foundations of computer science 2013 : 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings / Krishnendu Chatterjee; Jirí Sgall (ed.), 42, 2013
[DOI: 10.1007/978-3-642-40313-2_4]

Grohe, Martin (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Bounds and Algorithms for Joins via Fractional Edge Covers
In: In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman ; [colloquim in celebration of his distinguished career ; Scotland, 27-29 October, 2013] / Val Tannen ... (eds.), 321-338, 2013
[DOI: 10.1007/978-3-642-41660-6_17]

Grohe, Martin (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement
In: Algorithms - ESA 2013 : 21st annual European symposium ; Sophia Antipolis, France, September 2 - 4, 2013 ; [organized as part of ALGO 2013] ; proceedings / Hans L. Bodlaender; Giuseppe F. Italiano (ed.), 145-156, 2013
[DOI: 10.1007/978-3-642-40450-4_13]

Berkholz, Christoph (Corresponding author)
Bonsma, Paul (Corresponding author)
Grohe, Martin (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Deciding the weak definability of Büchi definable tree languages
In: Computer Science Logic 2013 (CSL 2013) / Hrsg.: Simona Ronchi Della Rocca, 215-230, 2013
[DOI: 10.4230/LIPIcs.CSL.2013.215]

Colcombet, Thomas (Corresponding author)
Kuperberg, Denis (Corresponding author)
Löding, Christof (Corresponding author)
Vanden Boom, Michael (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Learning universally quantified invariants of linear data structures
In: Computer aided verification : 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 ; proceedings / Natasha Sharygina ... (ed.), 813-829, 2013
[DOI: 10.1007/978-3-642-39799-8_57]

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

[Contribution to a book, Contribution to a conference proceedings]
Decidability Results on the Existence of Lookahead Delegators for NFA
In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013) : December 12 - 14, 2013, Guwahati, India / Anil Seth ... (eds.), 327-338, 2013
[DOI: 10.4230/LIPIcs.FSTTCS.2013.327]

Löding, Christof
Repke, Stefan

[Journal Article]
Size bounds and query plans for relational joins
In: SIAM journal on computing, 42 (4), 1737-1767, 2013
[DOI: 10.1137/110859440]

Atserias, Albert (Corresponding author)
Grohe, Martin (Corresponding author)
Marx, Dániel (Corresponding author)

[Journal Article]
L-Recursion and a new Logic for Logarithmic Space
In: Logical methods in computer science : LMCS, 9 (1), 1-44, 2013
[DOI: 10.2168/LMCS-9(1:11)2013]

Grohe, Martin
Grussien, Berit
Hernich, Andre
Laubner, Bastian

[Report]
Mentoring in der Studieneingangsphase - Erfahrungen aus der Informatik der RWTH Aachen, 2012

Nagl, Manfred
Akbari, M.
Leonhardt, Thiemo
Frickenschmidt, Marlin Maya Lilith
Schalthöfer, Svenja

[Preprint]
L-Recursion and a new Logic for Logarithmic Space, 2012

Grohe, Martin
Grussien, Berit
Hernich, Andre
Laubner, Bastian

[Contribution to a book, Contribution to a conference proceedings]
Regularity Problems for Weak Pushdown ω-Automata and Games
In: Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27 - 31, 2012 ; proceedings / Branislav Rovan ... (eds.), 764-776, 2012

Löding, Christof
Repke, Stefan

[Contribution to a book]
Basics on tree automata
In: Modern applications of automata theory / ed. Deepak D'Souza; Priti Shankar, 79-109, 2012

Löding, Christof

[Journal Article]
Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors
In: Journal of the ACM, 59 (5), 27, 2012
[DOI: 10.1145/2371656.2371662]

Grohe, Martin

[Contribution to a book, Contribution to a conference proceedings]
Degrees of Lookahead in Context-free Infinite Games
In: Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL / EACSL (European Association for Computer Science Logic). Hrsg.: Marc Bezem, 264-276, 2011
[DOI: 10.4230/LIPIcs.CSL.2011.264]

Fridman, Wladimir
Löding, Christof
Zimmermann, Martin