Finite Model Theory and Its Applications

• Provenance Analysis and Semiring Semantics for First-Order Logic

  2025 Trends in mathematics book-chapter Computer Science Logic, Reasoning, and Knowledge

  1

  citations
• Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials

  2024 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

  0

  citations
• Model-guided synthesis of inductive lemmas for FOL with least fixpoints

  2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  11

  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
• Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

  2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

  4

  citations
• Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

  2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

  1

  citations
• Provenance analysis for logic and games

  2020 Moscow Journal of Combinatorics and Number Theory article Computer Science Logic, Reasoning, and Knowledge Open access

  7

  citations
• Provenance Analysis for Logic and Games

  2020 RWTH Publications (RWTH Aachen) article Computer Science Logic, Reasoning, and Knowledge

  13

  citations

8 results