[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, 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
Lindner, Peter

[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
Grohe, Martin

[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
Wolf, Hinrikus
Jung, Bastian
Lutat, Philipp Leonard
Trageser, Marc Roland
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

[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