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

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

[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

[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

[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, 14 pages, 2019
[DOI: 10.4230/LIPICS.MFCS.2019.62]

Czerwinski, Wojciech
Lasota, Slawomir
Löding, Christof
Piórkowski, Radoslaw

[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, 2019
[DOI: 10.4230/LIPICS.MFCS.2019.54]

Böker, Jan Wilhelm
Chen, Yijia
Grohe, Martin
Rattan, Gaurav

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