[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

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