[Conference Presentation, Multimedia]
Graph neural networks for prediction of fuel ignition quality
In: AIChE Annual Meeting, Applications of Data Science to Molecules and Materials Session 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
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 2020-07-08 - 2020-07-09, Online, 2020

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

[Contribution to a book, Contribution to a conference proceedings]
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

[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

[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
Fearnley, John
Gairing, Martin
Göbel, Oliver
Klimm, Max
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
Lindner, Peter

[Dissertation / PhD Thesis]
Power and limits of the Weisfeiler-Leman algorithm, 1 Online-Ressource (viii, 249 Seiten) : Illustrationen, 2020

Kiefer, Sandra

[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

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

Wiebking, Daniel

[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
Ponomarenko, Ilia
Schweitzer, Pascal

[Contribution to a book, Contribution to a conference proceedings]
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
Wiebking, Daniel

[Journal Article]
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

[Contribution to a book, Contribution to a conference proceedings]
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 Alexander Felix
Grienenberger, Emilie

[Journal Article]
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
Elberfeld, Michael
Müller, Moritz

[Contribution to a book, Contribution to a conference proceedings]
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
Neuen, Daniel

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

Neuen, Daniel

[Contribution to a book, Contribution to a conference proceedings]
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
Pirogov, Anton

[Contribution to a book, Contribution to a conference proceedings]
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
Ritzert, Martin Alexander Felix
Fey, Matthias
Hamilton, William L.
Lenssen, Jan Eric
et al.

[Contribution to a book, Contribution to a conference proceedings]
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
Neuen, Daniel

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

Löding, Christof
Spinrath, Christopher

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

Löding, Christof
Spinrath, Christopher

[Contribution to a book, Contribution to a conference proceedings]
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

[Contribution to a book, Contribution to a conference proceedings]
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

[Contribution to a book, Contribution to a conference proceedings]
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
Kiefer, Sandra
Lhote, Nathan

[Contribution to a book, Contribution to a conference proceedings]
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
Kiefer, Sandra

[Journal Article]
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
Schweitzer, Pascal

[Contribution to a book, Contribution to a conference proceedings]
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
Lindner, Peter

[Contribution to a book, Contribution to a conference proceedings]
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
Pirogov, Anton

[Journal Article]
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
Grohe, Martin
Pago, Benedikt
Pakusa, Wied

[Contribution to a book, Contribution to a conference proceedings]
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
Pirogov, Anton

[Journal Article]
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
Sanchez Villaamil, Fernando
Stavropoulos, Konstantinos

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

Grohe, Martin
Lindner, Peter

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

Brütsch, Benedikt

[Dissertation / PhD Thesis]
Synthesis of transducers from relations on finite words and trees, 1 Online-Ressource (viii, 182 Seiten) : Illustrationen, 2018

Winter, Sarah

[Journal Article]
Coloring and Covering Nowhere Dense Graphs
In: SIAM Journal on Discrete Mathematics, 32 (4), 2467-2481, 2018
[DOI: 10.1137/18M1168753]

Grohe, Martin
Kreutzer, Stephan
Rabinovich, Roman
Siebertz, Sebastian
Stavropoulos, Konstantinos

[Contribution to a book, Contribution to a conference proceedings]
First-Order Query Evaluation with Cardinality Conditions
In: PODS'18 : Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 10-15, 2018, Houston, TX, USA / General Chair: Jan Van den Bussche, 253-266, 2018
[DOI: 10.1145/3196959.3196970]

Grohe, Martin
Schweikardt, Nicole

[Contribution to a book, Contribution to a conference proceedings]
Graph Similarity and Approximate Isomorphism
In: 43rd International Symposium on Mathematical Foundations of Computer Science : MFCS 2018, August 27-31, 2018, Liverpool, United Kingdom / edited by Igor Potapov, Paul Spirakis, James Worrell, 20, [1]-16, 2018
[DOI: 10.4230/LIPIcs.MFCS.2018.20]

Grohe, Martin
Rattan, Gaurav
Woeginger, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
An Improved Isomorphism Test for Bounded-Tree-Width Graphs
In: 45th International Colloquium on Automata, Languages, and Programming : ICALP 2018, Prague, Czech Republic, July 9-13, 2018 / edited by Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella ; European Association for Theoretical Computer Science (EATCS), 67, [1]-14, 2018
[DOI: 10.4230/LIPIcs.ICALP.2018.67]

Grohe, Martin
Neuen, Daniel
Schweitzer, Pascal
Wiebking, Daniel

[Contribution to a book, Contribution to a conference proceedings]
A Faster Isomorphism Test for Graphs of Small Degree
In: 59th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2018 : 7-9 October 2018, Paris, France : proceedings / edited by: Mikkel Thorup ; publisher: IEEE, 89-100, 2018
[DOI: 10.1109/FOCS.2018.00018]

Grohe, Martin
Neuen, Daniel
Schweitzer, Pascal

[Contribution to a book, Contribution to a conference proceedings]
Lovász Meets Weisfeiler and Leman
In: 45th International Colloquium on Automata, Languages, and Programming : ICALP 2018, Prague, Czech Republic, July 9-13, 2018 / edited by Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella ; European Association for Theoretical Computer Science (EATCS), 40, [1]-14, 2018
[DOI: 10.4230/LIPIcs.ICALP.2018.40]

Dell, Holger
Grohe, Martin
Rattan, Gaurav

[Contribution to a book, Contribution to a conference proceedings]
Definable decompositions for graphs of bounded linear cliquewidth
In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Oxford, United Kingdom - July 09-12, 2018, 1-10, 2018
[DOI: 10.1145/3209108.3209135]

Bojańczyk, Mikołaj
Grohe, Martin
Pilipczuk, Michał

[Contribution to a book, Contribution to a conference proceedings]
An exponential lower bound for individualization-refinement algorithms for graph isomorphism
In: STOC'18 : Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing : June 25-29, 2018, Los Angeles, CA, USA / sponsored by: ACM SIGACT, 138-150, 2018
[DOI: 10.1145/3188745.3188900]

Neuen, Daniel
Schweitzer, Pascal

[Contribution to a book, Contribution to a conference proceedings]
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures
In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung, 3:1-3:16, 2018
[DOI: 10.4230/LIPIcs.CSL.2018.3]

Abu Zaid, Faried
Kuske, Dietrich
Lindner, Peter

[Journal Article]
On the complexity of noncommutative polynomial factorization
In: Information and computation, 262, 22-39, 2018
[DOI: 10.1016/j.ic.2018.05.009]

Arvind, V.
Joglekar, Pushkar
Rattan, Gaurav

[Contribution to a book, Contribution to a conference proceedings]
Uniformization Problems for Synchronizations of Automatic Relations on Words
In: 45th International Colloquium on Automata, Languages, and Programming : ICALP 2018, Prague, Czech Republic, July 9-13, 2018 / edited by Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella ; European Association for Theoretical Computer Science (EATCS), 142, [1]-13, 2018
[DOI: 10.4230/LIPIcs.ICALP.2018.142]

Winter, Sarah

[Contribution to a book, Contribution to a conference proceedings]
On Finitely Ambiguous Büchi Automata
In: Developments in language theory ; 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / Mizuho Hoshi, Shinnosuke Seki (eds.), 503-515, 2018
[DOI: 10.1007/978-3-319-98654-8_41]

Löding, Christof
Pirogov, Anton

[Journal Article]
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time
In: ACM transactions on computational logic : TOCL, 19 (2), 7, 2018
[DOI: 10.1145/3154456]

Pakusa, Wied
Schalthöfer, Svenja
Selman, Aziz Erkal