The Semiring Framework for Database Provenance

• 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
• Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics

  2022 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Logic, Reasoning, and Knowledge

  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
• Computing Least and Greatest Fixed Points in Absorptive Semirings

  2021 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory 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
• Elementary Equivalence Versus Isomorphism in Semiring Semantics

  2021 RWTH Publications (RWTH Aachen) article Computer Science semigroups and automata theory 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