-
Quelle
Autor(en)
-
Grohe, Martin
-
Abboud, Ralph
Ceylan, İsmail İlkan
Grohe, Martin
Lukasiewicz, Thomas
-
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.
-
Rattan, Gaurav (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)
-
Grohe, Martin (Corresponding author)
Rattan, Gaurav (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)
-
Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter
-
Landwehr, Patrick
-
Lindner, Peter
-
Ritzert, Martin
-
Grohe, Martin
Schweitzer, Pascal
Wiebking, Daniel
-
Carmeli, Nofar (Corresponding author)
Grohe, Martin (Corresponding author)
Kimelfeld, Benny (Corresponding author)
Livshists, Ester (Corresponding author)
Tibi, Muhammad (Corresponding author)
-
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)
-
Wiebking, Daniel
-
Bojanczyk, Mikolaj (Corresponding author)
Grohe, Martin (Corresponding author)
Pilipczuk, Michal (Corresponding author)
-
Carmeli, Nofar (Corresponding author)
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
Standke, Christoph (Corresponding author)
-
Grohe, Martin (Corresponding author)
Neuen, Daniel
-
van Bergerem, Steffen (Corresponding author)
Schweikardt, Nicole (Corresponding author)
-
Tönshoff, Jan Martin (Corresponding author)
Ritzert, Martin
Wolf, Hinrikus
Grohe, Martin
-
Pirogov, Anton
-
Carmeli, Nofar
Grohe, Martin
Kimelfeld, Benny
Livshists, Ester
Tibi, Muhammad
-
Morris, Christopher
Rattan, Gaurav
Mutzel, Petra
-
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
-
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.
-
Löding, Christof (Corresponding author)
Tollkötter, Andreas (Corresponding author)
-
Schumacher, Tobias
Wolf, Hinrikus
Ritzert, Martin
Lemmerich, Florian
Bachmann, Jan
et al.
-
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)
-
Grohe, Martin
Schweitzer, Pascal
-
Grohe, Martin (Corresponding author)
Neuen, Daniel
Schweitzer, Pascal
Wiebking, Daniel
-
Rittig, Jan Gerald
Grohe, Martin
Dahmen, Manuel
Mitsos, Alexander
Schweidtmann, Artur M. (Corresponding author)
-
Schweidtmann, Artur M.
Rittig, Jan Gerald
König, Andrea
Grohe, Martin
Mitsos, Alexander (Corresponding author)
et al.
-
Rittig, Jan Gerald
Schweidtmann, Artur M.
König, Andrea
Dahmen, Manuel
Grohe, Martin
et al.
-
Schweidtmann, Artur M.
Rittig, Jan Gerald
König, Andrea
Grohe, Martin
Mitsos, Alexander
et al.
-
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)
-
Grohe, Martin (Corresponding author)
-
Disser, Yann (Corresponding author)
Fearnley, John
Gairing, Martin
Göbel, Oliver
Klimm, Max (Corresponding author)
et al.
-
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
-
Kiefer, Sandra
-
Czerwinski, Wojciech (Corresponding author)
Lasota, Slawomir (Corresponding author)
Löding, Christof (Corresponding author)
Piórkowski, Radoslaw (Corresponding author)
-
Böker, Jan Wilhelm (Corresponding author)
Chen, Yijia (Corresponding author)
Grohe, Martin (Corresponding author)
Rattan, Gaurav (Corresponding author)