[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 (Corresponding author)
Ritzert, Martin
Wolf, Hinrikus
Grohe, Martin

[Doktorarbeit]
Determinization and ambiguity of classical and probabilistic Büchi automata, 1 Online-Ressource : Illustrationen, Diagramme, 2021

Pirogov, Anton

[Buchbeitrag, Beitrag zu einem Tagungsband]
Synthesis from Weighted Specifications with Partial Domains over Finite Words
In: LIPIcs, Vol. 182, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), pages 46:1-46:16, 16 pages545751 bytes, 2020
[DOI: 10.4230/LIPICS.FSTTCS.2020.46]

FiliotEmmanuel
Löding, Christof
Winter, Sarah

[Buchbeitrag, Beitrag zu einem Tagungsband]
A First-Order Logic with Frames
In: Programming Languages and Systems / Müller, Peter (Editor) [https://orcid.org/0000-0001-7001-2566] ; Cham : Springer International Publishing, 2020, Chapter 19 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-44913-1=978-3-030-44914-8 ; doi:10.1007/978-3-030-44914-8, 515-543, 2020
[DOI: 10.1007/978-3-030-44914-8_19]

Murali, Adithya
Peña, Lucas
Löding, Christof
Madhusudan, P.

[Beitrag zu einem Tagungsband]
State Space Reduction For Parity Automata
In: [28th EACSL Annual Conference on Computer Science Logic], 16 pages, 2020
[DOI: 10.4230/LIPICS.CSL.2020.27]

Löding, Christof
Tollkötter, Andreas

[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: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - ACM New York, NY, USA, 2020. - ISBN 9781450371087 - doi:10.1145/3375395.3387641, 1-16, 2020
[DOI: 10.1145/3375395.3387641]

Grohe, Martin

[Buchbeitrag, Beitrag zu einem Tagungsband]
Counting Bounded Tree Depth Homomorphisms
In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science - ACM New York, NY, USA, 2020. - ISBN 9781450371049 - doi:10.1145/3373718.3394739, 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, 16 (3), 1-31, 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, online, 2020

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: AIChE Annual Meeting, Applications of Data Science to Molecules and Materials Session online 2020-11-18 - 2020-11-18, 1 Online-Ressource (1 video file), 2020

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: 3rd International Conference on Machine Learning an AI in (bio)Chemical Engineering online 2020-07-08 - 2020-07-09, Online, 2020

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: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - ACM New York, NY, USA, 2020. - ISBN 9781450371087 - doi:10.1145/3375395.3387659, 347-360, 2020
[DOI: 10.1145/3375395.3387659]

Grohe, Martin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter

[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

[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, 1 Online-Ressource (viii, 249 Seiten) : Illustrationen, 2020

Kiefer, Sandra

[Beitrag zu einem Tagungsband]
New Pumping Technique for 2-Dimensional VASS
In: [44th International Symposium on Mathematical Foundations of Computer Science], 14 pages, 2019
[DOI: 10.4230/LIPICS.MFCS.2019.62]

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
The Complexity of Homomorphism Indistinguishability
In: [44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019], 2019
[DOI: 10.4230/LIPICS.MFCS.2019.54]

böker
Chen, Yijia
Grohe, Martin
Rattan, Gaurav

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

[Preprint]
Normalizers and permutational isomorphisms in simply-exponential time, 12 Seiten, 2019

Wiebking, Daniel (Corresponding author)

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
A unifying method for the design of algorithms canonizing combinatorial objects
In: STOC'19 : Proceedings of the 51th Annual ACM SIGACT Symposium on Theory of Computing : June 23-26, 2019,Phoenix, AZ, USA / sponsored by: ACM SIGACT, 1247-1258, 2019
[DOI: 10.1145/3313276.3316338]

Schweitzer, Pascal (Corresponding author)
Wiebking, Daniel (Corresponding author)

[Fachzeitschriftenartikel]
High-complexity regions in mammalian genomes are enriched for developmental genes
In: Bioinformatics, 35 (11), 1813-1819, 2019
[DOI: 10.1093/bioinformatics/bty922]

Pirogov, Anton
Pfaffelhuber, Peter
Börsch-Haubold, Angelika
Haubold, Bernhard (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Learning Definable Hypotheses on Trees
In: 22nd International Conference on Database Theory (ICDT 2019) / Herausgeber: Pablo Barcelo, Marco Calautti, 24, 18 Seiten, 2019
[DOI: 10.4230/LIPICS.ICDT.2019.24]

Ritzert, Martin (Corresponding author)
Grienenberger, Emilie (Corresponding author)

[Fachzeitschriftenartikel]
The parameterized space complexity of model-checking bounded variable first-order logic
In: Logical methods in computer science : LMCS, 15 (3), 1-15, 2017
[DOI: 10.23638/LMCS-15(3:31)2019]

Chen, Yijia (Corresponding author)
Elberfeld, Michael (Corresponding author)
Müller, Moritz (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Canonisation and Definability for Graphs of Bounded Rank Width
In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) / publisher: IEEE, 2019
[DOI: 10.1109/LICS.2019.8785682]

Grohe, Martin (Corresponding author)
Neuen, Daniel (Corresponding author)

[Doktorarbeit]
The power of algorithmic approaches to the graph isomorphism problem, 1 Online-Ressource (vi, 148 Seiten) : Illustrationen, 2019

Neuen, Daniel

[Buchbeitrag, Beitrag zu einem Tagungsband]
New Optimizations and Heuristics for Determinization of Büchi Automata
In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 317-333, 2019
[DOI: 10.1007/978-3-030-31784-3_18]

Löding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Weisfeiler and Leman Go Neural: Higher-Order Graph Neural Networks
In: The Thirty-Third AAAI Conference on Artificial Intelligence, the Thirty-First Innovative Applications of Artificial Intelligence Conference, the Ninth AAAI Symposium on Educational Advances in Artificial Intelligence : Honolulu, Hawaii USA - January 27-February 1, 2019 / sponsored by the Association for the Advancement of Artificial Intelligence, 4602-4609, 2019
[DOI: 10.1609/aaai.v33i01.33014602]

Morris, Christopher (Corresponding author)
Ritzert, Martin (Corresponding author)
Fey, Matthias (Corresponding author)
Hamilton, William L. (Corresponding author)
Lenssen, Jan Eric (Corresponding author)
et al.

[Buchbeitrag, Beitrag zu einem Tagungsband]
The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs
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, 45:1-45:15, 2019
[DOI: 10.4230/LIPICS.MFCS.2019.45]

Kiefer, Sandra (Corresponding author)
Neuen, Daniel (Corresponding author)

[Preprint]
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words, 32 Seiten, 2019

Löding, Christof
Spinrath, Christopher

[Fachzeitschriftenartikel]
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words
In: Discrete mathematics and theoretical computer science : DMTCS, 21 (3), 4, 2019
[DOI: 10.23638/DMTCS-21-3-4]

Löding, Christof
Spinrath, Christopher

[Buchbeitrag, Beitrag zu einem Tagungsband]
Tangles and Single Linkage Hierarchical Clustering
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, 38:1-38:12, 2019
[DOI: 10.4230/LIPICS.MFCS.2019.38]

Fluck, Eva (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Learning Concepts Definable in First-Order Logic with Counting
In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) / publisher: IEEE, 13 Seiten, 2019
[DOI: 10.1109/LICS.2019.8785811]

van Bergerem, Steffen (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
String-to-String Interpretations With Polynomial-Size Output
In: 46th International Colloquium on Automata, Languages, and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / edited by Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi, 106, [1]-14, 2019
[DOI: 10.4230/LIPICS.ICALP.2019.106]

Bojanczyk, Mikolaj (Corresponding author)
Kiefer, Sandra (Corresponding author)
Lhote, Nathan (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus
In: 46th International Colloquium on Automata, Languages, and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / edited by Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi, 117, [1]-15, 2019
[DOI: 10.4230/LIPICS.ICALP.2019.117]

Grohe, Martin (Corresponding author)
Kiefer, Sandra (Corresponding author)

[Fachzeitschriftenartikel]
Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
In: Logical methods in computer science : LMCS, 15 (2), 19,, 2019
[DOI: 10.23638/LMCS-15(2:19)2019]

Kiefer, Sandra (Corresponding author)
Schweitzer, Pascal (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Probabilistic Databases with an Infinite Open-World Assumption
In: PODS'19 : Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, July 1-3, 2019, Amsterdam, Netherlands / General Chair: Dan Suciu, 17-31, 2019
[DOI: 10.1145/3294052.3319681]

Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
In: 46th International Colloquium on Automata, Languages and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.), 120, 1-13, 2019
[DOI: 10.4230/LIPIcs.ICALP.2019.120]

Löding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)

[Fachzeitschriftenartikel]
A Finite-Model-Theoretic View on Propositional Proof Complexity
In: Logical methods in computer science : LMCS, 15 (1), 4:1-4:53, 2019
[DOI: 10.23638/LMCS-15(1:4)2019]

Grädel, Erich (Corresponding author)
Grohe, Martin (Corresponding author)
Pago, Benedikt (Corresponding author)
Pakusa, Wied (Corresponding author)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
In: Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac, 513-534, 2019
[DOI: 10.1007/978-3-030-11245-5_24]

Decker, Normann (Corresponding author)
Pirogov, Anton (Corresponding author)

[Fachzeitschriftenartikel]
Characterising bounded expansion by neighbourhood complexity
In: European journal of combinatorics, 75, 152-168, 2018
[DOI: 10.1016/j.ejc.2018.08.001]

Reidl, Felix (Corresponding author)
Sanchez Villaamil, Fernando
Stavropoulos, Konstantinos

[Preprint]
Probabilistic Databases with an Infinite Open-World Assumption, 31 Seiten, 2018

Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)

[Doktorarbeit]
Strategies in infinite games : structured reactive programs and transducers over infinite alphabets, 1 Online-Ressource (x, 193 Seiten) : Illustrationen, Diagramme, 2018

Brütsch, Benedikt