Val Tannen

Daniel Deutch, Zachary G. Ives, Tova Milo, Val Tannen: Caravan: Provisioning for What-If Analysis. CIDR 2013

Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen: On Provenance Minimization. ACM Trans. Database Syst. 37(4): 30 (2012)

Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen: Putting Lipstick on Pig: Enabling Database-style Workflow Provenance. CoRR abs/1201.0231 (2012)

Todd J. Green, Zachary G. Ives, Val Tannen: Reconcilable Differences. Theory Comput. Syst. 49(2): 460-488 (2011)

Sanjeev Khanna, Sudeepa Roy, Val Tannen: Queries with Difference on Probabilistic Databases. PVLDB 4(11): 1051-1062 (2011)

Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen: Putting Lipstick on Pig: Enabling Database-style Workflow Provenance. PVLDB 5(4): 346-357 (2011)

Susan B. Davidson, Sanjeev Khanna, Val Tannen, Sudeepa Roy, Yi Chen, Tova Milo, Julia Stoyanovich: Enabling Privacy in Provenance-Aware Workflow Systems. CIDR 2011: 215-218

Julia Stoyanovich, Susan B. Davidson, Tova Milo, Val Tannen: Deriving probabilistic databases with inference ensembles. ICDE 2011: 303-314

Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, Yi Chen: On provenance and privacy. ICDT 2011: 3-10

Sudeepa Roy, Vittorio Perduca, Val Tannen: Faster query answering in probabilistic databases using read-once functions. ICDT 2011: 232-243

Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen: On provenance minimization. PODS 2011: 141-152

Yael Amsterdamer, Daniel Deutch, Val Tannen: Provenance for aggregate queries. PODS 2011: 153-164

Pablo Barceló, Val Tannen (Eds.): Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011. CEUR Workshop Proceedings 749, CEUR-WS.org 2011

Yael Amsterdamer, Daniel Deutch, Val Tannen: Provenance for Aggregate Queries. CoRR abs/1101.1110 (2011)

Yael Amsterdamer, Daniel Deutch, Val Tannen: On the Limitations of Provenance for Queries With Difference. CoRR abs/1105.2255 (2011)

Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen: Provenance in ORCHESTRA. IEEE Data Eng. Bull. 33(3): 9-16 (2010)

Val Tannen: Provenance for Database Transformations. AMW 2010

Val Tannen: Provenance for database transformations. EDBT 2010: 1

Grigoris Karvounarakis, Zachary G. Ives, Val Tannen: Querying data provenance. SIGMOD Conference 2010: 951-962

Sudeepa Roy, Vittorio Perduca, Val Tannen: Faster Query Answering in Probabilistic Databases using Read-Once Functions. CoRR abs/1012.0335 (2010)

Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen: Mediating RDF/S Queries to Relational and XML Sources. Database Technologies: Concepts, Methodologies, Tools, and Applications 2009: 596-614

Todd J. Green, Zachary G. Ives, Val Tannen: Reconcilable differences. ICDT 2009: 212-224

Val Tannen: Conjunctive Query. Encyclopedia of Database Systems 2009: 448-449

Val Tannen: First-Order Logic: Semantics. Encyclopedia of Database Systems 2009: 1138-1139

Val Tannen: First-Order Logic: Syntax. Encyclopedia of Database Systems 2009: 1139-1141

Val Tannen: Relational Algebra. Encyclopedia of Database Systems 2009: 2369-2370

Val Tannen: Relational Calculus. Encyclopedia of Database Systems 2009: 2370-2371

Zachary G. Ives, Todd J. Green, Grigoris Karvounarakis, Nicholas E. Taylor, Val Tannen, Partha Pratim Talukdar, Marie Jacob, Fernando Pereira: The ORCHESTRA Collaborative Data Sharing System. SIGMOD Record 37(3): 26-32 (2008)

Val Tannen: Provenance for Database Transformations. IPAW 2008: 1

J. Nathan Foster, Todd J. Green, Val Tannen: Annotated XML: queries and provenance. PODS 2008: 271-280

Todd J. Green, Gregory Karvounarakis, Val Tannen: Provenance semirings. PODS 2007: 31-40

Todd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen: ORCHESTRA: facilitating collaborative data sharing. SIGMOD Conference 2007: 1131-1133

Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen: Update Exchange with Mappings and Provenance. VLDB 2007: 675-686

Sarah Cohen Boulakia, Val Tannen (Eds.): Data Integration in the Life Sciences, 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4544, Springer 2007, isbn 978-3-540-73254-9

Todd J. Green, Val Tannen: Models for Incomplete and Probabilistic Information. IEEE Data Eng. Bull. 29(1): 17-24 (2006)

Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen: Mediating RDF/S Queries to Relational and XML Sources. Int. J. Semantic Web Inf. Syst. 2(4): 68-91 (2006)

Alin Deutsch, Lucian Popa, Val Tannen: Query reformulation with constraints. SIGMOD Record 35(1): 65-73 (2006)

Todd J. Green, Val Tannen: Models for Incomplete and Probabilistic Information. EDBT Workshops 2006: 278-296

Alin Deutsch, Val Tannen: XML queries and constraints, containment and reformulation. Theor. Comput. Sci. 336(1): 57-87 (2005)

Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen, Alin Deutsch: Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM). Semantic Interoperability and Integration 2005

Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen: Containment and Minimization of RDF/S Query Patterns. International Semantic Web Conference 2005: 607-623

Christoph Bussler, Val Tannen, Irini Fundulaki (Eds.): Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers. 2005, isbn 3-540-24576-6

Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis: Viewing the semantic web through RVL lenses. J. Web Sem. 1(4): 359-375 (2004)

Vassilis Christophides, Gregory Karvounarakis, Aimilia Magkanaraki, Dimitris Plexousakis, Val Tannen: The ICS-FORTH Semantic Web Integration Middleware (SWIM). IEEE Data Eng. Bull. 26(4): 11-18 (2003)

Alin Deutsch, Val Tannen: Reformulation of XML Queries and Constraints. ICDT 2003: 225-241

Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis: Viewing the Semantic Web through RVL Lenses. International Semantic Web Conference 2003: 96-112

Vassilis Christophides, Gregory Karvounarakis, Ioanna Koffina, Giorgos Kokkinidis, Aimilia Magkanaraki, Dimitris Plexousakis, Giorgos Serfiotis, Val Tannen: The ICS-FORTH SWIM: A Powerful Semantic Web Integration Middleware. SWDB 2003: 381-393

Alin Deutsch, Val Tannen: MARS: A System for Publishing XML from Mixed and Redundant Storage. VLDB 2003: 201-212

Susan B. Davidson, Jonathan Crabtree, Brian P. Brunk, Jonathan Schug, Val Tannen, G. Christian Overton, Christian J. Stoeckert Jr.: K2/Kleisli and GUS: Experiments in integrated access to genomic data sources. IBM Systems Journal 40(2): 512-531 (2001)

Alin Deutsch, Val Tannen: Optimization Properties for Classes of Conjunctive Regular Path Queries. DBPL 2001: 21-39

Alin Deutsch, Val Tannen: Containment and Integrity Constraints for XPath. KRDB 2001

Arnaud Sahuguet, Val Tannen: ubQL, a Language for Programming Distributed Query Systems. WebDB 2001: 37-42

Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen: A Chase Too Far? SIGMOD Conference 2000: 273-284

Lucian Popa, Val Tannen: An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT 1999: 39-57

Alin Deutsch, Lucian Popa, Val Tannen: Physical Data Independence, Constraints, and Optimization with Universal Plans. VLDB 1999: 459-470

Val Tannen: Heterogeneous Data Integration with Mobile Information Managers (Abstract). Multimedia Information Systems 1998: 2-3

Dan Suciu, Val Tannen: A Query Language for NC. J. Comput. Syst. Sci. 55(2): 299-321 (1997)

Susan B. Davidson, G. Christian Overton, Val Tannen, Limsoon Wong: BioKleisli: A Digital Library for Biomedical Researchers. Int. J. on Digital Libraries 1(1): 36-53 (1997)

S. Kazem Lellahi, Val Tannen: A Calculus for Collections and Aggregates. Category Theory and Computer Science 1997: 261-280

Delia Kesner, Laurence Puel, Val Tannen: A Typed Pattern Calculus. Inf. Comput. 124(1): 32-61 (1996)

V. S. Subrahmanian, Su-Shing Chen, James A. Hendler, Richard Hull, Val Tannen: Smart Mediators and Intelligent Agents (Panel). CIKM 1996: 343

Paolo Atzeni, Val Tannen (Eds.): Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995. Electronic Workshops in Computing, Springer 1996, isbn 3-540-76086-5

Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong: Principles of Programming with Complex Objects and Collection Types. Theor. Comput. Sci. 149(1): 3-48 (1995)

Val Tannen, Jean H. Gallier: Polymorphic Rewriting Conserves Algebraic Confluence. Inf. Comput. 114(1): 1-29 (1994)

Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong: Comprehension Syntax. SIGMOD Record 23(1): 87-96 (1994)

Val Breazu-Tannen: Collection Types in Databases. BDA 1994

Dan Suciu, Val Tannen: A Query Language for NC. LCC 1994: 503-514

Val Tannen: Tutorial: Languages for Collection Types. PODS 1994: 150-154

Dan Suciu, Val Tannen: A Query Language for NC. PODS 1994: 167-178

Dan Suciu, Val Tannen: Efficient Compilation of High-Level Data Parallel Algorithms. SPAA 1994: 57-66

Val Tannen, Albert R. Meyer: Conservativity of Equational Theories in Typed Lambda Calculi. Fundam. Inform. 19(1/2): 1-49 (1993)

Val Tannen, Delia Kesner, Laurence Puel: A Typed Pattern Calculus. LICS 1993: 262-274

Val Tannen, Peter Buneman, Limsoon Wong: Naturally Embedded Query Languages. ICDT 1992: 140-154

Val Tannen, Ramesh Subrahmanyam: On Extending Computational Adequacy by Data Abstraction. LISP and Functional Programming 1992: 161-169

Val Tannen, Peter Buneman, Atsushi Ohori: Data Structures and Data Types for Object-Oriented Databases. IEEE Data Eng. Bull. 14(2): 23-27 (1991)

Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance as Implicit Coercion. Inf. Comput. 93(1): 172-221 (1991)

Val Tannen, Jean H. Gallier: Polymorphic Rewriting Conserves Algebraic Strong Normalization. Theor. Comput. Sci. 83(1): 3-28 (1991)

Val Breazu-Tannen, Ramesh Subrahmanyam: On Adding Algebraic Theories with Induction to Typed Lambda Calculi. AMAST 1991: 327-340

Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19

Val Tannen, Ramesh Subrahmanyam: Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991: 60-75

Val Tannen, Carl A. Gunter, Andre Scedrov: Computing with Coercions. LISP and Functional Programming 1990: 44-60

Val Tannen, Peter Buneman, Atsushi Ohori: Static Type-checking in Object-Oriented Databases. IEEE Data Eng. Bull. 12(3): 5-12 (1989)

Val Tannen, Peter Buneman, Atsushi Ohori: Can Object-Oriented Databases be Statically Typed? DBPL 1989: 226-237

Val Tannen, Jean H. Gallier: Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. ICALP 1989: 137-150

Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance and Explicit Coercion (Preliminary Report). LICS 1989: 112-129

Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57

Val Tannen, Thierry Coquand: Extensional Models for Polymorphism. Theor. Comput. Sci. 59: 85-114 (1988)

Val Tannen: Combining Algebra and Higher-Order Types. LICS 1988: 82-90

Val Tannen, Albert R. Meyer: Polymorphism is conservative over simple types (Preliminary Report). LICS 1987: 7-17

Val Tannen, Albert R. Meyer: Computable Values Can Be Classical. POPL 1987: 238-245

Val Tannen, Thierry Coquand: Extensional Models for Polymorphism. TAPSOFT, Vol.2 1987: 291-307

Val Breazu-Tannen, Albert R. Meyer: Lambda Calculus with Constrained Types (Extended Abstract). Logic of Programs 1985: 23-40

Val Tannen, Octavian Stanasila: A Generalization of Kleene's Theorem and Nondeterministic Structured Programming. Information and Control 51(2): 146-152 (1981)