Val Tannen

Available identifiers

zbMath Open tannen.valMaRDI QIDQ555768

List of research outcomes

Publication	Date of Publication	Type
Iterating on multiple collections in synchrony	2022-09-02	Paper
Provenance analysis for logic and games	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	2017-07-14	Paper
Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches	2017-07-13	Paper
Reconcilable differences	2011-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q5714248	2005-12-28	Paper
XML queries and constraints, containment and reformulation	2005-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4414537	2003-07-25	Paper
A query language for NC	1997-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4362973	1997-11-13	Paper
Principles of programming with complex objects and collection types	1997-02-28	Paper
A typed pattern calculus	1996-03-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Val Tannen