All Stories

  1. 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

  2. The Iteration Number of the Weisfeiler-Leman Algorithm

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

    Martin Grohe

  3. Are Targeted Messages More Effective?

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

    Martin Grohe

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

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

    Martin Grohe

  5. Database Repairing with Soft Functional Dependencies

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

    Benny Kimelfeld, Martin Grohe

  6. Selecting Walk Schemes for Database Embedding

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

    Martin Grohe, Benny Kimelfeld, Yuval Lubarsky

  7. Canonisation and Definability for Graphs of Bounded Rank Width

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

    Martin Grohe

  8. Recursive database querying with continuous sampling

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

    Martin Grohe, Peter Lindner

  9. Independence in Infinite Probabilistic Databases

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

    Martin Grohe, Peter Lindner

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

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

    Martin Grohe

  11. The Logic of Graph Neural Networks

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

    Martin Grohe

  12. Tuple-Independent Representations of Infinite Probabilistic Databases

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

    Martin Grohe, Peter Lindner

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

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

    Martin Grohe

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

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

    Martin Grohe

  15. Generative Datalog with Continuous Distributions

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

    Martin Grohe, Peter Lindner

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

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

    Martin Grohe

  17. Counting Bounded Tree Depth Homomorphisms

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

    Martin Grohe

  18. Probabilistic Databases with an Infinite Open-World Assumption

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

    Martin Grohe

  19. Deciding First-Order Properties of Nowhere Dense Graphs

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

    Martin Grohe

  20. PEBBLE GAMES AND LINEAR EQUATIONS

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

    Martin Grohe

  21. Computing with Tangles

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

    Martin Grohe

  22. Constraint Solving via Fractional Edge Covers

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

    Martin Grohe