Val Tannen

Valeriu Breazu, Val Breazu-Tannen

2009
67	EE	Todd J. Green, Zachary G. Ives, Val Tannen: Reconcilable differences. ICDT 2009: 212-224
2008
66	EE	Val Tannen: Provenance for Database Transformations. IPAW 2008: 1
65	EE	J. Nathan Foster, Todd J. Green, Val Tannen: Annotated XML: queries and provenance. PODS 2008: 271-280
64	EE	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)
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
62	EE	Todd J. Green, Gregory Karvounarakis, Val Tannen: Provenance semirings. PODS 2007: 31-40
61	EE	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
60	EE	Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen: Update Exchange with Mappings and Provenance. VLDB 2007: 675-686
2006
59	EE	Todd J. Green, Val Tannen: Models for Incomplete and Probabilistic Information. EDBT Workshops 2006: 278-296
58	EE	Todd J. Green, Val Tannen: Models for Incomplete and Probabilistic Information. IEEE Data Eng. Bull. 29(1): 17-24 (2006)
57	EE	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)
56	EE	Alin 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
54	EE	Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen: Containment and Minimization of RDF/S Query Patterns. International Semantic Web Conference 2005: 607-623
53	EE	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
52	EE	Alin Deutsch, Val Tannen: XML queries and constraints, containment and reformulation. Theor. Comput. Sci. 336(1): 57-87 (2005)
2004
51	EE	Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis: Viewing the semantic web through RVL lenses. J. Web Sem. 1(4): 359-375 (2004)
2003
50	EE	Alin Deutsch, Val Tannen: Reformulation of XML Queries and Constraints. ICDT 2003: 225-241
49	EE	Aimilia 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
47	EE	Alin Deutsch, Val Tannen: MARS: A System for Publishing XML from Mixed and Redundant Storage. VLDB 2003: 201-212
46	EE	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)
2001
45	EE	Alin Deutsch, Val Tannen: Optimization Properties for Classes of Conjunctive Regular Path Queries. DBPL 2001: 21-39
44	EE	Alin 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
42	EE	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)
2000
41	EE	Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen: A Chase Too Far? SIGMOD Conference 2000: 273-284
1999
40	EE	Lucian Popa, Val Tannen: An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT 1999: 39-57
39	EE	Alin Deutsch, Lucian Popa, Val Tannen: Physical Data Independence, Constraints, and Optimization with Universal Plans VLDB 1999: 459-470
1998
38	EE	Val 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
33	EE	V. 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
31	EE	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
30		Val Breazu-Tannen: Collection Types in Databases. BDA 1994
29		Dan Suciu, Val Tannen: A Query Language for NC. LCC 1994: 503-514
28	EE	Val Tannen: Tutorial: Languages for Collection Types. PODS 1994: 150-154
27	EE	Dan Suciu, Val Tannen: A Query Language for NC. PODS 1994: 167-178
26	EE	Dan 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)
24	EE	Peter 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
21	EE	Val Tannen, Peter Buneman, Limsoon Wong: Naturally Embedded Query Languages. ICDT 1992: 140-154
20	EE	Val 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
18	EE	Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19
17		Val Tannen, Ramesh Subrahmanyam: Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991: 60-75
16	EE	Val 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
13	EE	Val Tannen, Carl A. Gunter, Andre Scedrov: Computing with Coercions. LISP and Functional Programming 1990: 44-60
1989
12	EE	Val Tannen, Peter Buneman, Atsushi Ohori: Can Object-Oriented Databases be Statically Typed? DBPL 1989: 226-237
11		Val 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
9	EE	Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57
8	EE	Val 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
3		Val 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

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

Colors in the list of coauthors