Val Tannen - RankMe

145 papers A* 21A 13B 4Misc 3Journal 59Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	The Complexity of Finding Missing Answer Repairs. ICDT Jesse Comer, Val Tannen
2026	J	`jnl`	The Complexity of Finding Missing Answer Repairs. CoRR Jesse Comer, Val Tannen
2025	J	`jnl`	A Unifying Algorithm for Hierarchical Queries. CoRR Mahmoud Abo Khamis, Jesse Comer, Phokion G. Kolaitis, Sudeepa Roy, Val Tannen
2025	J	`jnl`	A Unifying Algorithm for Hierarchical Queries. Proc. ACM Manag. Data Mahmoud Abo Khamis, Jesse Comer, Phokion G. Kolaitis, Sudeepa Roy, Val Tannen
2025	J	`jnl`	DBSP: automatic incremental view maintenance for rich query languages. VLDB J. Mihai Budiu, Leonid Ryzhyk, Gerd Zellweger, Ben Pfaff, Lalith Suresh, Simon Kassing, Abhinav Gyawali, Matei Budiu, Tej Chajed, Frank McSherry, Val Tannen
2025	J	`jnl`	Structured Monads for Generic First-Order Syntax Metatheory. J. Autom. Reason. Lawrence Dunn, Val Tannen, Steve Zdancewic
2024	J	`jnl`	DBSP: Incremental Computation on Streams and Its Applications to Databases. SIGMOD Rec. Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen
2024	J	`jnl`	Evaluating Datalog over Semirings: A Grounding-based Approach. CoRR Hangdong Zhao, Shaleen Deep, Paraschos Koutris, Sudeepa Roy, Val Tannen
2024	J	`jnl`	Evaluating Datalog over Semirings: A Grounding-based Approach. Proc. ACM Manag. Data Hangdong Zhao, Shaleen Deep, Paraschos Koutris, Sudeepa Roy, Val Tannen
2024	J	`jnl`	Provenance Analysis and Semiring Semantics for First-Order Logic. CoRR Erich Grädel, Val Tannen
2023	J	`jnl`	DBSP: Automatic Incremental View Maintenance for Rich Query Languages. Proc. VLDB Endow. Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen
2023	J	`jnl`	Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations. Proc. ACM Manag. Data Zilu Tian, Peter Lindner, Markus Nissl, Christoph Koch, Val Tannen
2023	—	`conf`	Syntax Monads for the Working Formal Metatheorist. ACT Lawrence Dunn, Val Tannen, Steve Zdancewic
2023	B	`conf`	Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure. ITP Lawrence Dunn, Val Tannen, Steve Zdancewic
2022	J	`jnl`	DBSP: Automatic Incremental View Maintenance for Rich Query Languages. CoRR Mihai Budiu, Frank McSherry, Leonid Ryzhyk, Val Tannen
2022	J	`jnl`	Iterating on multiple collections in synchrony. J. Funct. Program. Stefano Perna, Val Tannen, Limsoon Wong
2022	J	`jnl`	Provenance-based Model Maintenance: Implications for Privacy. IEEE Data Eng. Bull. Yinjun Wu, Val Tannen, Susan B. Davidson
2021	B	`conf`	Semiring Provenance for Fixed-Point Logic. CSL Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen
2021	A*	`conf`	Synchronization Schemas. PODS Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue
2020	—	`conf`	PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models. SIGMOD Conference Yinjun Wu, Val Tannen, Susan B. Davidson
2020	J	`jnl`	PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models. CoRR Yinjun Wu, Val Tannen, Susan B. Davidson
2019	A*	`conf`	Data-trace types for distributed stream processing systems. PLDI Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen
2019	J	`jnl`	Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. CoRR Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen
2019	J	`jnl`	Provenance Analysis for Logic and Games. CoRR Erich Grädel, Val Tannen
2018	—	`ch.`	Conjunctive Query. Encyclopedia of Database Systems (2nd ed.) Val Tannen
2018	J	`jnl`	Data Citation: A New Provenance Challenge. IEEE Data Eng. Bull. Abdussalam Alawini, Susan B. Davidson, Gianmaria Silvello, Val Tannen, Yinjun Wu
2018	—	`ch.`	First-Order Logic: Semantics. Encyclopedia of Database Systems (2nd ed.) Val Tannen
2018	—	`ch.`	First-Order Logic: Syntax. Encyclopedia of Database Systems (2nd ed.) Val Tannen
2018	—	`conf`	Interfaces for Stream Processing Systems. Principles of Modeling Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen
2018	J	`jnl`	Provenance Analysis for Missing Answers and Integrity Repairs. IEEE Data Eng. Bull. Jane Xu, Waley Zhang, Abdussalam Alawini, Val Tannen
2018	—	`ch.`	Relational Algebra. Encyclopedia of Database Systems (2nd ed.) Val Tannen
2018	—	`ch.`	Relational Calculus. Encyclopedia of Database Systems (2nd ed.) Val Tannen
2017	J	`jnl`	Provenance analysis for FOL model checking. ACM SIGLOG News Val Tannen
2017	J	`jnl`	Semiring Provenance for First-Order Model Checking. CoRR Erich Grädel, Val Tannen
2017	A*	`conf`	The Semiring Framework for Database Provenance. PODS Todd J. Green, Val Tannen
2017	A	`conf`	m-tables: Representing Missing Data. ICDT Bruhathi Sundarmurthy, Paraschos Koutris, Willis Lang, Jeffrey F. Naughton, Val Tannen
2016	A	`conf`	Algorithms for Provisioning Queries and Analytics. ICDT Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen
2016	—	`conf`	Fine-grained Provenance for Linear Algebra Operators. TaPP Zhepeng Yan, Val Tannen, Zachary G. Ives
2016	A*	`conf`	Incremental View Maintenance For Collection Programming. PODS Christoph Koch, Daniel Lupei, Val Tannen
2015	J	`jnl`	Algorithms for Provisioning Queries and Analytics. CoRR Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen
2015	J	`jnl`	Decidability of Equivalence of Aggregate Count-Distinct Queries. CoRR Babak Bagheri Hariri, Val Tannen
2015	—	`conf`	Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches. FSTTCS Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen
2015	J	`jnl`	Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches. CoRR Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen
2015	J	`jnl`	Provenance-based analysis of data-centric processes. VLDB J. Daniel Deutch, Yuval Moskovitch, Val Tannen
2014	J	`jnl`	A Provenance Framework for Data-Dependent Process Analysis. Proc. VLDB Endow. Daniel Deutch, Yuval Moskovitch, Val Tannen
2014	A	`conf`	Circuits for Datalog Provenance. ICDT Daniel Deutch, Tova Milo, Sudeepa Roy, Val Tannen
2014	J	`jnl`	Incremental View Maintenance for Nested-Relational Databases. CoRR Daniel Lupei, Christoph Koch, Val Tannen
2013	—	`ed.`	5th Workshop on the Theory and Practice of Provenance, TaPP'13, Lombard, IL, USA, April 2-3, 2013 TaPP Alexandra Meliou, Val Tannen
2013	A	`conf`	Caravan: Provisioning for What-If Analysis. CIDR Daniel Deutch, Zachary G. Ives, Tova Milo, Val Tannen
2013	J	`jnl`	Collaborative data sharing via update exchange and provenance. ACM Trans. Database Syst. Grigoris Karvounarakis, Todd J. Green, Zachary G. Ives, Val Tannen
2013	—	`ed.`	In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman In Search of Elegance in the Theory and Practice of Computation Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael P. Fourman
2013	J	`jnl`	PROPOLIS: Provisioned Analysis of Data-Centric Processes. Proc. VLDB Endow. Daniel Deutch, Yuval Moskovitch, Val Tannen
2013	—	`conf`	Provenance Propagation in Complex Queries. In Search of Elegance in the Theory and Practice of Computation Val Tannen
2012	J	`jnl`	On Provenance Minimization. ACM Trans. Database Syst. Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen
2012	J	`jnl`	Putting Lipstick on Pig: Enabling Database-style Workflow Provenance CoRR Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen
2011	A*	`conf`	Deriving probabilistic databases with inference ensembles. ICDE Julia Stoyanovich, Susan B. Davidson, Tova Milo, Val Tannen
2011	A	`conf`	Enabling Privacy in Provenance-Aware Workflow Systems. CIDR Susan B. Davidson, Sanjeev Khanna, Val Tannen, Sudeepa Roy, Yi Chen, Tova Milo, Julia Stoyanovich
2011	A	`conf`	Faster query answering in probabilistic databases using read-once functions. ICDT Sudeepa Roy, Vittorio Perduca, Val Tannen
2011	A	`conf`	On provenance and privacy. ICDT Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, Yi Chen
2011	A*	`conf`	On provenance minimization. PODS Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen
2011	J	`jnl`	On the Limitations of Provenance for Queries With Difference CoRR Yael Amsterdamer, Daniel Deutch, Val Tannen
2011	—	`conf`	On the Limitations of Provenance for Queries with Difference. TaPP Yael Amsterdamer, Daniel Deutch, Val Tannen
2011	—	`ed.`	Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011 AMW Pablo Barceló, Val Tannen
2011	J	`jnl`	Provenance for Aggregate Queries CoRR Yael Amsterdamer, Daniel Deutch, Val Tannen
2011	A*	`conf`	Provenance for aggregate queries. PODS Yael Amsterdamer, Daniel Deutch, Val Tannen
2011	J	`jnl`	Putting Lipstick on Pig: Enabling Database-style Workflow Provenance. Proc. VLDB Endow. Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen
2011	J	`jnl`	Queries with Difference on Probabilistic Databases. Proc. VLDB Endow. Sanjeev Khanna, Sudeepa Roy, Val Tannen
2011	J	`jnl`	Reconcilable Differences. Theory Comput. Syst. Todd J. Green, Zachary G. Ives, Val Tannen
2010	J	`jnl`	Faster Query Answering in Probabilistic Databases using Read-Once Functions CoRR Sudeepa Roy, Vittorio Perduca, Val Tannen
2010	—	`conf`	Provenance for Database Transformations. AMW Val Tannen
2010	B	`conf`	Provenance for database transformations. EDBT Val Tannen
2010	J	`jnl`	Provenance in ORCHESTRA. IEEE Data Eng. Bull. Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen
2010	—	`conf`	Querying data provenance. SIGMOD Conference Grigoris Karvounarakis, Zachary G. Ives, Val Tannen
2009	—	`ch.`	Conjunctive Query. Encyclopedia of Database Systems Val Tannen
2009	—	`ch.`	First-Order Logic: Semantics. Encyclopedia of Database Systems Val Tannen
2009	—	`ch.`	First-Order Logic: Syntax. Encyclopedia of Database Systems Val Tannen
2009	—	`ch.`	Mediating RDF/S Queries to Relational and XML Sources. Database Technologies: Concepts, Methodologies, Tools, and Applications Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen
2009	A	`conf`	Reconcilable differences. ICDT Todd J. Green, Zachary G. Ives, Val Tannen
2009	—	`ch.`	Relational Algebra. Encyclopedia of Database Systems Val Tannen
2009	—	`ch.`	Relational Calculus. Encyclopedia of Database Systems Val Tannen
2008	A*	`conf`	Annotated XML: queries and provenance. PODS J. Nathan Foster, Todd J. Green, Val Tannen
2008	—	`conf`	Provenance for Database Transformations. IPAW Val Tannen
2008	J	`jnl`	The ORCHESTRA Collaborative Data Sharing System. SIGMOD Rec. Zachary G. Ives, Todd J. Green, Grigoris Karvounarakis, Nicholas E. Taylor, Val Tannen, Partha Pratim Talukdar, Marie Jacob, Fernando C. N. Pereira
2007	—	`ed.`	Data Integration in the Life Sciences, 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings DILS Sarah Cohen Boulakia, Val Tannen
2007	—	`conf`	ORCHESTRA: facilitating collaborative data sharing. SIGMOD Conference Todd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen
2007	A*	`conf`	Provenance semirings. PODS Todd J. Green, Gregory Karvounarakis, Val Tannen
2007	A*	`conf`	Update Exchange with Mappings and Provenance. VLDB Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen
2006	J	`jnl`	Mediating RDF/S Queries to Relational and XML Sources. Int. J. Semantic Web Inf. Syst. Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen
2006	—	`conf`	Models for Incomplete and Probabilistic Information. EDBT Workshops Todd J. Green, Val Tannen
2006	J	`jnl`	Models for Incomplete and Probabilistic Information. IEEE Data Eng. Bull. Todd J. Green, Val Tannen
2006	J	`jnl`	Query reformulation with constraints. SIGMOD Rec. Alin Deutsch, Lucian Popa, Val Tannen
2005	Misc	`conf`	Containment and Minimization of RDF/S Query Patterns. ISWC Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen
2005	—	`conf`	Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM). Semantic Interoperability and Integration Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen, Alin Deutsch
2005	—	`ed.`	Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers SWDB Christoph Bussler, Val Tannen, Irini Fundulaki
2005	J	`jnl`	XML queries and constraints, containment and reformulation. Theor. Comput. Sci. Alin Deutsch, Val Tannen
2004	J	`jnl`	Viewing the semantic web through RVL lenses. J. Web Semant. Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis
2003	A*	`conf`	MARS: A System for Publishing XML from Mixed and Redundant Storage. VLDB Alin Deutsch, Val Tannen
2003	A	`conf`	Reformulation of XML Queries and Constraints. ICDT Alin Deutsch, Val Tannen
2003	—	`conf`	The ICS-FORTH SWIM: A Powerful Semantic Web Integration Middleware. SWDB Vassilis Christophides, Gregory Karvounarakis, Ioanna Koffina, Giorgos Kokkinidis, Aimilia Magkanaraki, Dimitris Plexousakis, Giorgos Serfiotis, Val Tannen
2003	J	`jnl`	The ICS-FORTH Semantic Web Integration Middleware (SWIM). IEEE Data Eng. Bull. Vassilis Christophides, Gregory Karvounarakis, Aimilia Magkanaraki, Dimitris Plexousakis, Val Tannen
2003	—	`ch.`	The Information Integration System K2. Bioinformatics Val Tannen, Susan B. Davidson, Scott Harker
2003	Misc	`conf`	Viewing the Semantic Web through RVL Lenses. ISWC Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis
2001	—	`conf`	Containment and Integrity Constraints for XPath KRDB Alin Deutsch, Val Tannen
2001	J	`jnl`	K2/Kleisli and GUS: Experiments in integrated access to genomic data sources. IBM Syst. J. Susan B. Davidson, Jonathan Crabtree, Brian P. Brunk, Jonathan Schug, Val Tannen, G. Christian Overton, Christian J. Stoeckert Jr.
2001	—	`conf`	Optimization Properties for Classes of Conjunctive Regular Path Queries. DBPL Alin Deutsch, Val Tannen
2001	—	`conf`	ubQL, a Language for Programming Distributed Query Systems. WebDB Arnaud Sahuguet, Val Tannen
2000	—	`conf`	A Chase Too Far? SIGMOD Conference Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen
1999	A	`conf`	An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT Lucian Popa, Val Tannen
1999	Misc	`conf`	HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. AMIA Barry G. Silverman, Oleg Sokolsky, Val Tannen, Alex Wong, Lance Lang, Allan Khoury, Keith E. Campbell, Chen Qiang, Arnaud Sahuguet
1999	A*	`conf`	Physical Data Independence, Constraints, and Optimization with Universal Plans VLDB Alin Deutsch, Lucian Popa, Val Tannen
1998	—	`conf`	Heterogeneous Data Integration with Mobile Information Managers (Abstract). Multimedia Information Systems Val Tannen
1997	—	`conf`	A Calculus for Collections and Aggregates. Category Theory and Computer Science S. Kazem Lellahi, Val Tannen
1997	J	`jnl`	A Query Language for NC. J. Comput. Syst. Sci. Dan Suciu, Val Tannen
1997	J	`jnl`	BioKleisli: A Digital Library for Biomedical Researchers. Int. J. Digit. Libr. Susan B. Davidson, G. Christian Overton, Val Tannen, Limsoon Wong
1996	J	`jnl`	A Typed Pattern Calculus. Inf. Comput. Delia Kesner, Laurence Puel, Val Tannen
1996	—	`ed.`	Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995 DBPL Paolo Atzeni, Val Tannen
1996	A	`conf`	Smart Mediators and Intelligent Agents (Panel). CIKM V. S. Subrahmanian, Su-shing Chen, James A. Hendler, Richard Hull, Val Tannen
1995	J	`jnl`	Principles of Programming with Complex Objects and Collection Types. Theor. Comput. Sci. Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong
1994	—	`conf`	A Query Language for NC. LCC Dan Suciu, Val Tannen
1994	A*	`conf`	A Query Language for NC. PODS Dan Suciu, Val Tannen
1994	J	`jnl`	Comprehension Syntax. SIGMOD Rec. Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong
1994	B	`conf`	Efficient Compilation of High-Level Data Parallel Algorithms. SPAA Dan Suciu, Val Tannen
1994	J	`jnl`	Polymorphic Rewriting Conserves Algebraic Confluence Inf. Comput. Val Tannen, Jean H. Gallier
1994	A*	`conf`	Tutorial: Languages for Collection Types. PODS Val Tannen
1993	A*	`conf`	A Typed Pattern Calculus LICS Val Tannen, Delia Kesner, Laurence Puel
1993	J	`jnl`	Conservativity of Equational Theories in Typed Lambda Calculi. Fundam. Informaticae Val Tannen, Albert R. Meyer
1992	A	`conf`	Naturally Embedded Query Languages. ICDT Val Tannen, Peter Buneman, Limsoon Wong
1992	—	`conf`	On Extending Computational Adequacy by Data Abstraction. LISP and Functional Programming Val Tannen, Ramesh Subrahmanyam
1991	J	`jnl`	Data Structures and Data Types for Object-Oriented Databases. IEEE Data Eng. Bull. Val Tannen, Peter Buneman, Atsushi Ohori
1991	J	`jnl`	Inheritance as Implicit Coercion Inf. Comput. Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov
1991	A*	`conf`	Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP Val Tannen, Ramesh Subrahmanyam
1991	J	`jnl`	Polymorphic Rewriting Conserves Algebraic Strong Normalization. Theor. Comput. Sci. Val Tannen, Jean H. Gallier
1991	—	`conf`	Structural Recursion as a Query Language. DBPL Val Tannen, Peter Buneman, Shamim A. Naqvi
1990	—	`conf`	Computing with Coercions. LISP and Functional Programming Val Tannen, Carl A. Gunter, Andre Scedrov
1989	—	`conf`	Can Object-Oriented Databases be Statically Typed? DBPL Val Tannen, Peter Buneman, Atsushi Ohori
1989	—	`conf`	Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference Atsushi Ohori, Peter Buneman, Val Tannen
1989	A*	`conf`	Inheritance and Explicit Coercion (Preliminary Report) LICS Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov
1989	A*	`conf`	Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. ICALP Val Tannen, Jean H. Gallier
1989	J	`jnl`	Static Type-checking in Object-Oriented Databases. IEEE Data Eng. Bull. Val Tannen, Peter Buneman, Atsushi Ohori
1988	A*	`conf`	Combining Algebra and Higher-Order Types LICS Val Tannen
1988	J	`jnl`	Extensional Models for Polymorphism. Theor. Comput. Sci. Val Tannen, Thierry Coquand
1987	A*	`conf`	Computable Values Can Be Classical. POPL Val Tannen, Albert R. Meyer
1987	—	`conf`	Extensional Models for Polymorphism. TAPSOFT, Vol.2 Val Tannen, Thierry Coquand
1987	A*	`conf`	Polymorphism is conservative over simple types (Preliminary Report) LICS Val Tannen, Albert R. Meyer
1981	J	`jnl`	A Generalization of Kleene's Theorem and Nondeterministic Structured Programming Inf. Control. Val Tannen, Octavian Stanasila