Val Tannen - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

On provenance minimizationYael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen. pods 2011: 141-152 [doi]

Provenance for aggregate queriesYael Amsterdamer, Daniel Deutch, Val Tannen. pods 2011: 153-164 [doi]

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

On provenance and privacySusan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, Yi Chen. icdt 2011: 3-10 [doi]

Enabling Privacy in Provenance-Aware Workflow SystemsSusan B. Davidson, Sanjeev Khanna, Val Tannen, Sudeepa Roy, Yi Chen, Tova Milo, Julia Stoyanovich. cidr 2011: 215-218 [doi]

Reconcilable DifferencesTodd J. Green, Zachary G. Ives, Val Tannen. mst, 49(2):460-488, 2011. [doi]

Faster query answering in probabilistic databases using read-once functionsSudeepa Roy, Vittorio Perduca, Val Tannen. icdt 2011: 232-243 [doi]

Deriving probabilistic databases with inference ensemblesJulia Stoyanovich, Susan B. Davidson, Tova Milo, Val Tannen. icde 2011: 303-314 [doi]

2010

2009

Reconcilable differencesTodd J. Green, Zachary G. Ives, Val Tannen. icdt 2009: 212-224 [doi]

Mediating RDF/S Queries to Relational and XML SourcesIoanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen. In John Erickson, editor, Database Technologies: Concepts, Methodologies, Tools, and Applications (4 Volumes). pages 596-614, IGI Global, 2009. [doi]

2008

2007

Data Integration in the Life Sciences, 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, ProceedingsSarah Cohen Boulakia, Val Tannen, editors, Volume 4544 of Lecture Notes in Computer Science, Springer, 2007.

Provenance semiringsTodd J. Green, Gregory Karvounarakis, Val Tannen. pods 2007: 31-40 [doi]

Update Exchange with Mappings and ProvenanceTodd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen. VLDB 2007: 675-686 [doi]

ORCHESTRA: facilitating collaborative data sharingTodd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen. sigmod 2007: 1131-1133 [doi]

2006

Query reformulation with constraintsAlin Deutsch, Lucian Popa, Val Tannen. SIGMOD, 35(1):65-73, 2006. [doi]

Models for Incomplete and Probabilistic InformationTodd J. Green, Val Tannen. debu, 29(1):17-24, 2006. [doi]

Models for Incomplete and Probabilistic InformationTodd J. Green, Val Tannen. edbtw 2006: 278-296 [doi]

Mediating RDF/S Queries to Relational and XML SourcesIoanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen. ijswis, 2(4):68-91, 2006. [doi]

2005

2004

Viewing the semantic web through RVL lensesAimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis. ws, 1(4):359-375, 2004. [doi]

2003

2001

2000

A Chase Too Far?Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen. sigmod 2000: 273-284 [doi]

1999

Physical Data Independence, Constraints, and Optimization with Universal PlansAlin Deutsch, Lucian Popa, Val Tannen. VLDB 1999: 459-470 [doi]

An Equational Chase for Path-Conjunctive Queries, Constraints, and ViewsLucian Popa, Val Tannen. icdt 1999: 39-57 [doi]

1998

Heterogeneous Data Integration with Mobile Information Managers (Abstract)Val Tannen. mis 1998: 2-3 [doi]

1997

BioKleisli: A Digital Library for Biomedical ResearchersSusan B. Davidson, G. Christian Overton, Val Tannen, Limsoon Wong. jodl, 1(1):36-53, 1997.

A Calculus for Collections and AggregatesS. Kazem Lellahi, Val Tannen. ctcs 1997: 261-280

A Query Language for NCDan Suciu, Val Tannen. jcss, 55(2):299-321, 1997.

1996

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

A Typed Pattern CalculusDelia Kesner, Laurence Puel, Val Tannen. iandc, 124(1):32-61, 1996.

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

1995

Principles of Programming with Complex Objects and Collection TypesPeter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong. TCS, 149(1):3-48, 1995. [doi]

1994

Comprehension SyntaxPeter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong. SIGMOD, 23(1):87-96, 1994. [doi]

A Query Language for NCDan Suciu, Val Tannen. pods 1994: 167-178 [doi]

A Query Language for NCDan Suciu, Val Tannen. lcc 1995: 503-514

Efficient Compilation of High-Level Data Parallel AlgorithmsDan Suciu, Val Tannen. spaa 1994: 57-66 [doi]

Tutorial: Languages for Collection TypesVal Tannen. pods 1994: 150-154 [doi]

Polymorphic Rewriting Conserves Algebraic ConfluenceVal Tannen, Jean H. Gallier. iandc, 114(1):1-29, October 1994.

1993

A Typed Pattern CalculusVal Tannen, Delia Kesner, Laurence Puel. lics 1993: 262-274

Conservativity of Equational Theories in Typed Lambda CalculiVal Tannen, Albert R. Meyer. FUIN, 19(1/2):1-49, 1993.

1992

Naturally Embedded Query LanguagesVal Tannen, Peter Buneman, Limsoon Wong. icdt 1992: 140-154 [doi]

On Extending Computational Adequacy by Data AbstractionVal Tannen, Ramesh Subrahmanyam. lfp 1992: 161-169 [doi]

1991

1990

Computing with CoercionsVal Tannen, Carl A. Gunter, Andre Scedrov. lfp 1990: 44-60 [doi]

1989

1988

Combining Algebra and Higher-Order TypesVal Tannen. lics 1988: 82-90

Extensional Models for PolymorphismVal Tannen, Thierry Coquand. TCS, 59:85-114, 1988.

1987

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

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

Extensional Models for PolymorphismVal Tannen, Thierry Coquand. tapsoft 1987: 291-307

1981

A Generalization of Kleene s Theorem and Nondeterministic Structured ProgrammingVal Tannen, Octavian Stanasila. iandc, 51(2):146-152, November 1981.