Publications
Showing 51 - 100 of 201 Results
Turn Page
- First Page
- Previous Page
- 1-50
- Sie sind auf Seite:51-100
- 101-150
- 151-200
- Last Page
- Next Page
-
SourceAuthor(s)
-
[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 (Corresponding author) -
[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, 62:1-62:14, 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) -
[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, 54:1-54:13, 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) -
[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) -
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) -
[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 (Corresponding author)
Wiebking, Daniel (Corresponding author) -
[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 (Corresponding author) -
[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 (Corresponding author)
Grienenberger, Emilie (Corresponding author) -
[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 (Corresponding author)
Elberfeld, Michael (Corresponding author)
Müller, Moritz (Corresponding author) -
[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 (Corresponding author)
Neuen, Daniel (Corresponding author) -
[Dissertation / PhD Thesis]
The power of algorithmic approaches to the graph isomorphism problem, 2019
[DOI: 10.18154/RWTH-2020-00160]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 (Corresponding author)
Pirogov, Anton (Corresponding author) -
[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 (Corresponding author)
Ritzert, Martin (Corresponding author)
Fey, Matthias (Corresponding author)
Hamilton, William L. (Corresponding author)
Lenssen, Jan Eric (Corresponding author)
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 (Corresponding author)
Neuen, Daniel (Corresponding author) -
[Preprint]
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words, 2019
[DOI: 10.18154/RWTH-2019-08227]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
[DOI: 10.23638/DMTCS-21-3-4]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 (Corresponding author) -
[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 (Corresponding author) -
[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 / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.), 106, [1]-14, 2019
[DOI: 10.4230/LIPICS.ICALP.2019.106]Bojanczyk, Mikolaj (Corresponding author)
Kiefer, Sandra (Corresponding author)
Lhote, Nathan (Corresponding author) -
[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 / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.), 117, [1]-15, 2019
[DOI: 10.4230/LIPICS.ICALP.2019.117]Grohe, Martin (Corresponding author)
Kiefer, Sandra (Corresponding author) -
[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 (Corresponding author)
Schweitzer, Pascal (Corresponding author) -
[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 (Corresponding author)
Lindner, Peter (Corresponding author) -
[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 (Corresponding author)
Pirogov, Anton (Corresponding author) -
[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 (Corresponding author)
Grohe, Martin (Corresponding author)
Pago, Benedikt Thomas (Corresponding author)
Pakusa, Wied (Corresponding author) -
[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 (Corresponding author)
Pirogov, Anton (Corresponding author) -
[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 (Corresponding author)
Sanchez Villaamil, Fernando
Stavropoulos, Konstantinos -
[Preprint]
Probabilistic Databases with an Infinite Open-World Assumption, 2018Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author) -
[Dissertation / PhD Thesis]
Strategies in infinite games : structured reactive programs and transducers over infinite alphabets, 2018
[DOI: 10.18154/RWTH-2020-03492]Brütsch, Benedikt -
[Dissertation / PhD Thesis]
Synthesis of transducers from relations on finite words and trees, 2018
[DOI: 10.18154/RWTH-2019-04126]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 (Corresponding author)
Kreutzer, Stephan (Corresponding author)
Rabinovich, Roman (Corresponding author)
Siebertz, Sebastian (Corresponding author)
Stavropoulos, Konstantinos (Corresponding author) -
[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 (Corresponding author)
Rattan, Gaurav (Corresponding author)
Woeginger, Gerhard (Corresponding author) -
[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 (Corresponding author)
Neuen, Daniel (Corresponding author)
Schweitzer, Pascal (Corresponding author)
Wiebking, Daniel (Corresponding author) -
[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 (Corresponding author)
Neuen, Daniel (Corresponding author)
Schweitzer, Pascal (Corresponding author) -
[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 (Corresponding author)
Grohe, Martin (Corresponding author)
Rattan, Gaurav (Corresponding author) -
[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 (Corresponding author)
Grohe, Martin (Corresponding author)
Pilipczuk, Michał (Corresponding author) -
[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 (Corresponding author)
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. (Corresponding author)
Joglekar, Pushkar
Rattan, Gaurav
Turn Page
- First Page
- Previous Page
- 1-50
- Sie sind auf Seite:51-100
- 101-150
- 151-200
- Last Page
- Next Page