[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, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graç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.

[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: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 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

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

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

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

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

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

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

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

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

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

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

Kiefer, Sandra

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

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