All Stories

  1. Recursive Querying of Neural Networks via Weighted Structures

    Article • Proceedings of the ACM on Management of Data, May 2026, ACM (Association for Computing Machinery)

    Martin Grohe

  2. Tuple-Independent Representations of Infinite Probabilistic Databases

    Article • ACM Transactions on Database Systems, March 2026, ACM (Association for Computing Machinery)

    Peter Lindner, Martin Grohe

  3. Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements

    Article • Journal of the ACM, April 2025, ACM (Association for Computing Machinery)

    Martin Grohe

  4. The Iteration Number of the Weisfeiler-Leman Algorithm

    Article • ACM Transactions on Computational Logic, December 2024, ACM (Association for Computing Machinery)

    Martin Grohe

  5. Are Targeted Messages More Effective?

    Article • July 2024, ACM (Association for Computing Machinery)

    Martin Grohe

  6. The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2024

    Article • June 2024, ACM (Association for Computing Machinery)

    Martin Grohe

  7. Database Repairing with Soft Functional Dependencies

    Article • ACM Transactions on Database Systems, March 2024, ACM (Association for Computing Machinery)

    Benny Kimelfeld, Martin Grohe

  8. Selecting Walk Schemes for Database Embedding

    Article • October 2023, ACM (Association for Computing Machinery)

    Martin Grohe, Benny Kimelfeld, Yuval Lubarsky

  9. Canonisation and Definability for Graphs of Bounded Rank Width

    Article • ACM Transactions on Computational Logic, January 2023, ACM (Association for Computing Machinery)

    Martin Grohe

  10. Recursive database querying with continuous sampling

    Article • Journal of the ACM, November 2022, ACM (Association for Computing Machinery)

    Martin Grohe, Peter Lindner

  11. Independence in Infinite Probabilistic Databases

    Article • Journal of the ACM, August 2022, ACM (Association for Computing Machinery)

    Martin Grohe, Peter Lindner

  12. On the Parameterized Complexity of Learning First-Order Logic

    Article • June 2022, ACM (Association for Computing Machinery)

    Martin Grohe

  13. The Logic of Graph Neural Networks

    Article • June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Martin Grohe

  14. Tuple-Independent Representations of Infinite Probabilistic Databases

    Article • June 2021, ACM (Association for Computing Machinery)

    Martin Grohe, Peter Lindner

  15. Isomorphism, canonization, and definability for graphs of bounded rank width

    Article • Communications of the ACM, May 2021, ACM (Association for Computing Machinery)

    Martin Grohe

  16. An Improved Isomorphism Test for Bounded-tree-width Graphs

    Article • ACM Transactions on Algorithms, June 2020, ACM (Association for Computing Machinery)

    Martin Grohe

  17. Generative Datalog with Continuous Distributions

    Article • June 2020, ACM (Association for Computing Machinery)

    Martin Grohe, Peter Lindner

  18. word2vec, node2vec, graph2vec, X2vec: Towards a Theory of Vector Embeddings of Structured Data

    Article • June 2020, ACM (Association for Computing Machinery)

    Martin Grohe

  19. Counting Bounded Tree Depth Homomorphisms

    Article • May 2020, ACM (Association for Computing Machinery)

    Martin Grohe

  20. Probabilistic Databases with an Infinite Open-World Assumption

    Article • June 2019, ACM (Association for Computing Machinery)

    Martin Grohe

  21. Deciding First-Order Properties of Nowhere Dense Graphs

    Article • Journal of the ACM, June 2017, ACM (Association for Computing Machinery)

    Martin Grohe

  22. PEBBLE GAMES AND LINEAR EQUATIONS

    Article • Journal of Symbolic Logic, July 2015, Cambridge University Press

    Martin Grohe

  23. Computing with Tangles

    Article • June 2015, ACM (Association for Computing Machinery)

    Martin Grohe

  24. Constraint Solving via Fractional Edge Covers

    Article • ACM Transactions on Algorithms, October 2014, ACM (Association for Computing Machinery)

    Martin Grohe