Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

• The Iteration Number of the Weisfeiler-Leman Algorithm

  2024 ACM Transactions on Computational Logic article Computer Science Advanced Graph Theory Research Open access

  3

  citations
• Logical equivalences, homomorphism indistinguishability, and forbidden minors

  2024 Information and Computation article Computer Science Advanced Graph Theory Research Open access

  3

  citations
• Choiceless Polynomial Time with Witnessed Symmetric Choice

  2024 Journal of the ACM article Mathematics Advanced Topology and Set Theory

  0

  citations
• The Iteration Number of the Weisfeiler-Leman Algorithm

  2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Advanced Graph Theory Research

  6

  citations
• Simulating Logspace-Recursion with Logarithmic Quantifier Depth

  2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Advanced Graph Theory Research

  1

  citations
• Weisfeiler-Leman and Graph Spectra

  2023 Society for Industrial and Applied Mathematics eBooks conference-paper Mathematics Graph theory and applications Open access

  4

  citations
• Canonisation and Definability for Graphs of Bounded Rank Width

  2022 ACM Transactions on Computational Logic article Computer Science Advanced Graph Theory Research Open access

  7

  citations
• The Logic of Graph Neural Networks

  2021 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Advanced Graph Neural Networks Open access

  50

  citations
• Isomorphism, canonization, and definability for graphs of bounded rank width

  2021 Communications of the ACM article Computer Science Advanced Graph Theory Research

  6

  citations
• The Weisfeiler-Leman algorithm

  2020 ACM SIGLOG News article Computer Science Advanced Graph Theory Research

  24

  citations
• The graph isomorphism problem

  2020 Communications of the ACM article Computer Science Graph Theory and Algorithms

  114

  citations

11 results