dblp.uni-trier.dewww.uni-trier.de

Val Tannen Vis

Valeriu Breazu, Val Breazu-Tannen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
67EETodd J. Green, Zachary G. Ives, Val Tannen: Reconcilable differences. ICDT 2009: 212-224
2008
66EEVal Tannen: Provenance for Database Transformations. IPAW 2008: 1
65EEJ. Nathan Foster, Todd J. Green, Val Tannen: Annotated XML: queries and provenance. PODS 2008: 271-280
64EEZachary 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)
2007
63 Sarah Cohen Boulakia, Val Tannen: Data Integration in the Life Sciences, 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings Springer 2007
62EETodd J. Green, Gregory Karvounarakis, Val Tannen: Provenance semirings. PODS 2007: 31-40
61EETodd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen: ORCHESTRA: facilitating collaborative data sharing. SIGMOD Conference 2007: 1131-1133
60EETodd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen: Update Exchange with Mappings and Provenance. VLDB 2007: 675-686
2006
59EETodd J. Green, Val Tannen: Models for Incomplete and Probabilistic Information. EDBT Workshops 2006: 278-296
58EETodd J. Green, Val Tannen: Models for Incomplete and Probabilistic Information. IEEE Data Eng. Bull. 29(1): 17-24 (2006)
57EEIoanna 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)
56EEAlin Deutsch, Lucian Popa, Val Tannen: Query reformulation with constraints. SIGMOD Record 35(1): 65-73 (2006)
2005
55 Christoph Bussler, Val Tannen, Irini Fundulaki: Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers SWDB 2005
54EEGiorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen: Containment and Minimization of RDF/S Query Patterns. International Semantic Web Conference 2005: 607-623
53EEIoanna 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
52EEAlin Deutsch, Val Tannen: XML queries and constraints, containment and reformulation. Theor. Comput. Sci. 336(1): 57-87 (2005)
2004
51EEAimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis: Viewing the semantic web through RVL lenses. J. Web Sem. 1(4): 359-375 (2004)
2003
50EEAlin Deutsch, Val Tannen: Reformulation of XML Queries and Constraints. ICDT 2003: 225-241
49EEAimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis: Viewing the Semantic Web through RVL Lenses. International Semantic Web Conference 2003: 96-112
48 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
47EEAlin Deutsch, Val Tannen: MARS: A System for Publishing XML from Mixed and Redundant Storage. VLDB 2003: 201-212
46EEVassilis 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)
2001
45EEAlin Deutsch, Val Tannen: Optimization Properties for Classes of Conjunctive Regular Path Queries. DBPL 2001: 21-39
44EEAlin Deutsch, Val Tannen: Containment and Integrity Constraints for XPath KRDB 2001
43 Arnaud Sahuguet, Val Tannen: ubQL, a Language for Programming Distributed Query Systems. WebDB 2001: 37-42
42EESusan 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)
2000
41EELucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen: A Chase Too Far? SIGMOD Conference 2000: 273-284
1999
40EELucian Popa, Val Tannen: An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT 1999: 39-57
39EEAlin Deutsch, Lucian Popa, Val Tannen: Physical Data Independence, Constraints, and Optimization with Universal Plans VLDB 1999: 459-470
1998
38EEVal Tannen: Heterogeneous Data Integration with Mobile Information Managers (Abstract). Multimedia Information Systems 1998: 2-3
1997
37 S. Kazem Lellahi, Val Tannen: A Calculus for Collections and Aggregates. Category Theory and Computer Science 1997: 261-280
36 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)
35 Dan Suciu, Val Tannen: A Query Language for NC. J. Comput. Syst. Sci. 55(2): 299-321 (1997)
1996
34 Paolo Atzeni, Val Tannen: Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995 Springer 1996
33EEV. S. Subrahmanian, Su-Shing Chen, James A. Hendler, Richard Hull, Val Tannen: Smart Mediators and Intelligent Agents (Panel). CIKM 1996: 343
32 Delia Kesner, Laurence Puel, Val Tannen: A Typed Pattern Calculus. Inf. Comput. 124(1): 32-61 (1996)
1995
31EEPeter 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
30 Val Breazu-Tannen: Collection Types in Databases. BDA 1994
29 Dan Suciu, Val Tannen: A Query Language for NC. LCC 1994: 503-514
28EEVal Tannen: Tutorial: Languages for Collection Types. PODS 1994: 150-154
27EEDan Suciu, Val Tannen: A Query Language for NC. PODS 1994: 167-178
26EEDan Suciu, Val Tannen: Efficient Compilation of High-Level Data Parallel Algorithms. SPAA 1994: 57-66
25 Val Tannen, Jean H. Gallier: Polymorphic Rewriting Conserves Algebraic Confluence Inf. Comput. 114(1): 1-29 (1994)
24EEPeter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong: Comprehension Syntax. SIGMOD Record 23(1): 87-96 (1994)
1993
23 Val Tannen, Delia Kesner, Laurence Puel: A Typed Pattern Calculus LICS 1993: 262-274
22 Val Tannen, Albert R. Meyer: Conservativity of Equational Theories in Typed Lambda Calculi. Fundam. Inform. 19(1/2): 1-49 (1993)
1992
21EEVal Tannen, Peter Buneman, Limsoon Wong: Naturally Embedded Query Languages. ICDT 1992: 140-154
20EEVal Tannen, Ramesh Subrahmanyam: On Extending Computational Adequacy by Data Abstraction. LISP and Functional Programming 1992: 161-169
1991
19 Val Breazu-Tannen, Ramesh Subrahmanyam: On Adding Algebraic Theories with Induction to Typed Lambda Calculi. AMAST 1991: 327-340
18EEVal Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19
17EEVal Tannen, Ramesh Subrahmanyam: Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991: 60-75
16EEVal Tannen, Peter Buneman, Atsushi Ohori: Data Structures and Data Types for Object-Oriented Databases. IEEE Data Eng. Bull. 14(2): 23-27 (1991)
15 Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance as Implicit Coercion Inf. Comput. 93(1): 172-221 (1991)
14 Val Tannen, Jean H. Gallier: Polymorphic Rewriting Conserves Algebraic Strong Normalization. Theor. Comput. Sci. 83(1): 3-28 (1991)
1990
13EEVal Tannen, Carl A. Gunter, Andre Scedrov: Computing with Coercions. LISP and Functional Programming 1990: 44-60
1989
12EEVal Tannen, Peter Buneman, Atsushi Ohori: Can Object-Oriented Databases be Statically Typed? DBPL 1989: 226-237
11EEVal Tannen, Jean H. Gallier: Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. ICALP 1989: 137-150
10 Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance and Explicit Coercion (Preliminary Report) LICS 1989: 112-129
9EEAtsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57
8EEVal Tannen, Peter Buneman, Atsushi Ohori: Static Type-checking in Object-Oriented Databases. IEEE Data Eng. Bull. 12(3): 5-12 (1989)
1988
7 Val Tannen: Combining Algebra and Higher-Order Types LICS 1988: 82-90
6 Val Tannen, Thierry Coquand: Extensional Models for Polymorphism. Theor. Comput. Sci. 59: 85-114 (1988)
1987
5 Val Tannen, Albert R. Meyer: Polymorphism is conservative over simple types (Preliminary Report) LICS 1987: 7-17
4 Val Tannen, Albert R. Meyer: Computable Values Can Be Classical. POPL 1987: 238-245
3EEVal Tannen, Thierry Coquand: Extensional Models for Polymorphism. TAPSOFT, Vol.2 1987: 291-307
1985
2 Val Breazu-Tannen, Albert R. Meyer: Lambda Calculus with Constrained Types (Extended Abstract). Logic of Programs 1985: 23-40
1981
1 Val Tannen, Octavian Stanasila: A Generalization of Kleene's Theorem and Nondeterministic Structured Programming Information and Control 51(2): 146-152 (1981)

Coauthor Index

1Paolo Atzeni [34]
2Olivier Biton [61]
3Sarah Cohen Boulakia [63]
4Brian P. Brunk [42]
5Peter Buneman [8] [9] [12] [16] [18] [21] [24] [31]
6Christoph Bussler [55]
7Su-Shing Chen [33]
8Vassilis Christophides [46] [48] [49] [51] [53] [54] [57]
9Thierry Coquand [3] [6] [10] [15]
10Jonathan Crabtree [42]
11Susan B. Davidson [36] [42]
12Alin Deutsch [39] [41] [44] [45] [47] [50] [52] [53] [56]
13J. Nathan Foster [65]
14Irini Fundulaki [55]
15Jean H. Gallier [11] [14] [25]
16Todd J. Green [58] [59] [60] [61] [62] [64] [65] [67]
17Carl A. Gunter [10] [13] [15]
18James A. Hendler (Jim Hendler) [33]
19Richard Hull [33]
20Zachary G. Ives [60] [61] [64] [67]
21Marie Jacob [64]
22Gregory Karvounarakis (Grigoris Karvounarakis) [46] [48] [60] [61] [62] [64]
23Delia Kesner [23] [32]
24Ioanna Koffina [48] [53] [54] [57]
25Giorgos Kokkinidis [48]
26S. Kazem Lellahi [37]
27Leonid Libkin [24]
28Aimilia Magkanaraki [46] [48] [49] [51]
29Albert R. Meyer [2] [4] [5] [22]
30Shamim A. Naqvi [18] [31]
31Atsushi Ohori [8] [9] [12] [16]
32G. Christian Overton [36] [42]
33Fernando Pereira [64]
34Dimitris Plexousakis [46] [48] [49] [51]
35Lucian Popa [39] [40] [41] [56]
36Laurence Puel [23] [32]
37Arnaud Sahuguet [41] [43]
38Andre Scedrov [10] [13] [15]
39Jonathan Schug [42]
40Giorgos Serfiotis [48] [53] [54] [57]
41Octavian Stanasila [1]
42Christian J. Stoeckert Jr. [42]
43V. S. Subrahmanian [33]
44Ramesh Subrahmanyam [17] [19] [20]
45Dan Suciu [24] [26] [27] [29] [35]
46Partha Pratim Talukdar [64]
47Nicholas E. Taylor [61] [64]
48Limsoon Wong [21] [24] [31] [36]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)