Val Tannen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Provenance analysis and semiring semantics for first-order logic	2026-04-29	Paper
Semiring provenance for fixed-point logic	2026-03-23	Paper
Structured monads for generic first-order syntax metatheory Journal of Automated Reasoning	2025-10-22	Paper
Syntax monads for the working formal metatheorist	2025-08-05	Paper
Tealeaves: structured monads for generic first-order abstract syntax infrastructure	2024-11-26	Paper
Iterating on multiple collections in synchrony Journal of Functional Programming	2022-09-02	Paper
Provenance analysis for logic and games Moscow Journal of Combinatorics and Number Theory	2020-11-10	Paper
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic	2019-10-17	Paper
Provenance propagation in complex queries	2018-10-18	Paper
m-tables: representing missing data	2018-07-18	Paper
Algorithms for provisioning queries and analytics (available as arXiv preprint)	2017-07-14	Paper
Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches (available as arXiv preprint)	2017-07-13	Paper
Reconcilable differences Theory of Computing Systems	2011-10-11	Paper
scientific article; zbMATH DE number 2241907 (Why is no real title available?)	2005-12-28	Paper
XML queries and constraints, containment and reformulation Theoretical Computer Science	2005-06-10	Paper
scientific article; zbMATH DE number 1953134 (Why is no real title available?)	2003-07-25	Paper
A query language for NC Journal of Computer and System Sciences	1997-12-17	Paper
scientific article; zbMATH DE number 1086723 (Why is no real title available?)	1997-11-13	Paper
Principles of programming with complex objects and collection types Theoretical Computer Science	1997-02-28	Paper
A typed pattern calculus Information and Computation	1996-03-27	Paper

Research outcomes over time

This page was built for person: Val Tannen