[Fachzeitschriftenartikel]
On the Boolean Closure of Deterministic Top-Down Tree Automata
In: International journal of foundations of computer science, 10, 1-12, 2023
[DOI: 10.1142/S0129054123480015]

Löding, Christof (Corresponding author)
Thomas, Wolfgang

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

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

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

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

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

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

[Beitrag zu einem Tagungsband]
WL meet VC
In: [International Conference on Machine Learning, ICML 2023], 2023

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

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

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

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

[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 : TOCL, 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, 69 (4), e17971, 2022
[DOI: 10.1002/aic.17971]

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

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

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

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

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

[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

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