Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Val Tannen
Valeriu Breazu – Val Breazu-Tannen
2010 – today
- 2013
[j28]Daniel Deutch, Yuval Moskovitch, Val Tannen: PROPOLIS: Provisioned Analysis of Data-Centric Processes. PVLDB 6(12): 1302-1305 (2013)- [j27]Grigoris Karvounarakis, Todd J. Green, Zachary G. Ives, Val Tannen: Collaborative data sharing via update exchange and provenance. ACM Trans. Database Syst. 38(3): 19 (2013)
- [c53]Daniel Deutch, Zachary G. Ives, Tova Milo, Val Tannen: Caravan: Provisioning for What-If Analysis. CIDR 2013
- 2012
- [j26]Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen: On Provenance Minimization. ACM Trans. Database Syst. 37(4): 30 (2012)
- [i4]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)
- 2011
- [j25]Todd J. Green, Zachary G. Ives, Val Tannen: Reconcilable Differences. Theory Comput. Syst. 49(2): 460-488 (2011)
- [j24]Sanjeev Khanna, Sudeepa Roy, Val Tannen: Queries with Difference on Probabilistic Databases. PVLDB 4(11): 1051-1062 (2011)
- [j23]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)
- [c52]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
- [c51]Julia Stoyanovich, Susan B. Davidson, Tova Milo, Val Tannen: Deriving probabilistic databases with inference ensembles. ICDE 2011: 303-314
- [c50]Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, Yi Chen: On provenance and privacy. ICDT 2011: 3-10
- [c49]Sudeepa Roy, Vittorio Perduca, Val Tannen: Faster query answering in probabilistic databases using read-once functions. ICDT 2011: 232-243
- [c48]Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen: On provenance minimization. PODS 2011: 141-152
- [c47]
- [e4]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
- [i3]Yael Amsterdamer, Daniel Deutch, Val Tannen: Provenance for Aggregate Queries. CoRR abs/1101.1110 (2011)
- [i2]Yael Amsterdamer, Daniel Deutch, Val Tannen: On the Limitations of Provenance for Queries With Difference. CoRR abs/1105.2255 (2011)
- 2010
- [j22]Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen: Provenance in ORCHESTRA. IEEE Data Eng. Bull. 33(3): 9-16 (2010)
- [c46]
- [c45]
- [c44]Grigoris Karvounarakis, Zachary G. Ives, Val Tannen: Querying data provenance. SIGMOD Conference 2010: 951-962
- [i1]Sudeepa Roy, Vittorio Perduca, Val Tannen: Faster Query Answering in Probabilistic Databases using Read-Once Functions. CoRR abs/1012.0335 (2010)
2000 – 2009
- 2009
- [c43]
- [p1]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
- [r5]
- [r4]
- [r3]
- [r2]
- [r1]
- 2008
- [j21]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)
- [c42]
- [c41]J. Nathan Foster, Todd J. Green, Val Tannen: Annotated XML: queries and provenance. PODS 2008: 271-280
- 2007
- [c40]
- [c39]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
- [c38]Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen: Update Exchange with Mappings and Provenance. VLDB 2007: 675-686
- [e3]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
- 2006
- [j20]Todd J. Green, Val Tannen: Models for Incomplete and Probabilistic Information. IEEE Data Eng. Bull. 29(1): 17-24 (2006)
- [j19]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)
- [j18]Alin Deutsch, Lucian Popa, Val Tannen: Query reformulation with constraints. SIGMOD Record 35(1): 65-73 (2006)
- [c37]Todd J. Green, Val Tannen: Models for Incomplete and Probabilistic Information. EDBT Workshops 2006: 278-296
- 2005
- [j17]Alin Deutsch, Val Tannen: XML queries and constraints, containment and reformulation. Theor. Comput. Sci. 336(1): 57-87 (2005)
- [c36]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
- [c35]Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen: Containment and Minimization of RDF/S Query Patterns. International Semantic Web Conference 2005: 607-623
- [e2]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
- 2004
- [j16]Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis: Viewing the semantic web through RVL lenses. J. Web Sem. 1(4): 359-375 (2004)
- 2003
- [j15]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)
- [c34]
- [c33]Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis: Viewing the Semantic Web through RVL Lenses. International Semantic Web Conference 2003: 96-112
- [c32]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
- [c31]Alin Deutsch, Val Tannen: MARS: A System for Publishing XML from Mixed and Redundant Storage. VLDB 2003: 201-212
- 2001
- [j14]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)
- [c30]Alin Deutsch, Val Tannen: Optimization Properties for Classes of Conjunctive Regular Path Queries. DBPL 2001: 21-39
- [c29]
- [c28]Arnaud Sahuguet, Val Tannen: ubQL, a Language for Programming Distributed Query Systems. WebDB 2001: 37-42
- 2000
- [c27]Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen: A Chase Too Far? SIGMOD Conference 2000: 273-284
1990 – 1999
- 1999
- [c26]Lucian Popa, Val Tannen: An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT 1999: 39-57
- [c25]Alin Deutsch, Lucian Popa, Val Tannen: Physical Data Independence, Constraints, and Optimization with Universal Plans. VLDB 1999: 459-470
- 1998
- [c24]Val Tannen: Heterogeneous Data Integration with Mobile Information Managers (Abstract). Multimedia Information Systems 1998: 2-3
- 1997
- [j13]
- [j12]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)
- [c23]S. Kazem Lellahi, Val Tannen: A Calculus for Collections and Aggregates. Category Theory and Computer Science 1997: 261-280
- 1996
- [j11]Delia Kesner, Laurence Puel, Val Tannen: A Typed Pattern Calculus. Inf. Comput. 124(1): 32-61 (1996)
- [c22]V. S. Subrahmanian, Su-Shing Chen, James A. Hendler, Richard Hull, Val Tannen: Smart Mediators and Intelligent Agents (Panel). CIKM 1996: 343
- [e1]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
- 1995
- [j10]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)
- 1994
- [j9]Val Tannen, Jean H. Gallier: Polymorphic Rewriting Conserves Algebraic Confluence. Inf. Comput. 114(1): 1-29 (1994)
- [j8]Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong: Comprehension Syntax. SIGMOD Record 23(1): 87-96 (1994)
- [c21]
- [c20]
- [c19]
- [c18]
- [c17]
- 1993
- [j7]Val Tannen, Albert R. Meyer: Conservativity of Equational Theories in Typed Lambda Calculi. Fundam. Inform. 19(1/2): 1-49 (1993)
- [c16]
- 1992
- [c15]
- [c14]Val Tannen, Ramesh Subrahmanyam: On Extending Computational Adequacy by Data Abstraction. LISP and Functional Programming 1992: 161-169
- 1991
- [j6]Val Tannen, Peter Buneman, Atsushi Ohori: Data Structures and Data Types for Object-Oriented Databases. IEEE Data Eng. Bull. 14(2): 23-27 (1991)
- [j5]Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance as Implicit Coercion. Inf. Comput. 93(1): 172-221 (1991)
- [j4]Val Tannen, Jean H. Gallier: Polymorphic Rewriting Conserves Algebraic Strong Normalization. Theor. Comput. Sci. 83(1): 3-28 (1991)
- [c13]Val Breazu-Tannen, Ramesh Subrahmanyam: On Adding Algebraic Theories with Induction to Typed Lambda Calculi. AMAST 1991: 327-340
- [c12]Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19
- [c11]Val Tannen, Ramesh Subrahmanyam: Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991: 60-75
- 1990
- [c10]Val Tannen, Carl A. Gunter, Andre Scedrov: Computing with Coercions. LISP and Functional Programming 1990: 44-60
1980 – 1989
- 1989
- [j3]Val Tannen, Peter Buneman, Atsushi Ohori: Static Type-checking in Object-Oriented Databases. IEEE Data Eng. Bull. 12(3): 5-12 (1989)
- [c9]Val Tannen, Peter Buneman, Atsushi Ohori: Can Object-Oriented Databases be Statically Typed? DBPL 1989: 226-237
- [c8]Val Tannen, Jean H. Gallier: Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. ICALP 1989: 137-150
- [c7]Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance and Explicit Coercion (Preliminary Report). LICS 1989: 112-129
- [c6]Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57
- 1988
- [j2]Val Tannen, Thierry Coquand: Extensional Models for Polymorphism. Theor. Comput. Sci. 59: 85-114 (1988)
- [c5]
- 1987
- [c4]Val Tannen, Albert R. Meyer: Polymorphism is conservative over simple types (Preliminary Report). LICS 1987: 7-17
- [c3]
- [c2]
- 1985
- [c1]Val Breazu-Tannen, Albert R. Meyer: Lambda Calculus with Constrained Types (Extended Abstract). Logic of Programs 1985: 23-40
- 1981
- [j1]Val Tannen, Octavian Stanasila: A Generalization of Kleene's Theorem and Nondeterministic Structured Programming. Information and Control 51(2): 146-152 (1981)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-15 21:38 CEST by the dblp team