[Doktorarbeit]
Descriptive complexity of learning, 2023
[DOI: 10.18154/RWTH-2023-02554]

van Bergerem, Steffen

[Fachzeitschriftenartikel]
Canonisation and Definability for Graphs of Bounded Rank Width
In: ACM transactions on computational logic, 24 (1), 1-31, 2023
[DOI: 10.1145/3568025]

Grohe, Martin (Corresponding author)
Neuen, Daniel

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Fachzeitschriftenartikel]
Graph machine learning for design of high-octane fuels
In: AIChE journal, e17971, 2023
[DOI: 10.1002/aic.17971]

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

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

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

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

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

[Bericht]
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.

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[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, Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.

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

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

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

Landwehr, Patrick

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

Lindner, Peter

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

Ritzert, Martin

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

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

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

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

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

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

Wiebking, Daniel

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

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

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

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

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

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.

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

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

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

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

Grohe, Martin
Schweitzer, Pascal

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