A Aralex Aachen research explorer

June 11, 2007 conference-paper Open access

Provenance semirings

ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS)

DOI: 10.1145/1265530.1265535 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 8 stored of 811

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
Infinite Probabilistic Databases
2022 Logical Methods in Computer Science article Computer Science Advanced Database Systems and Queries Open access

5

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

References 0