Val Tannen

Valeriu Breazu, Val Breazu-Tannen

	2009
72		Todd J. Green, Zachary G. Ives, Val Tannen: Reconcilable differences. ICDT 2009: 212-224
71		Val Tannen: First-Order Logic: Semantics. Encyclopedia of Database Systems 2009: 1138-1139
70		Val Tannen: First-Order Logic: Syntax. Encyclopedia of Database Systems 2009: 1139-1141
69		Val Tannen: Relational Algebra. Encyclopedia of Database Systems 2009: 2369-2370
68		Val Tannen: Relational Calculus. Encyclopedia of Database Systems 2009: 2370-2371
67		Val Tannen: Conjunctive Query. Encyclopedia of Database Systems 2009: 448-449
	2008
66		Val Tannen: Provenance for Database Transformations. IPAW 2008: 1
65		J. Nathan Foster, Todd J. Green, Val Tannen: Annotated XML: queries and provenance. PODS 2008: 271-280
64		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		Todd J. Green, Gregory Karvounarakis, Val Tannen: Provenance semirings. PODS 2007: 31-40
61		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		Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen: Update Exchange with Mappings and Provenance. VLDB 2007: 675-686
	2006
59		Todd J. Green, Val Tannen: Models for Incomplete and Probabilistic Information. EDBT Workshops 2006: 278-296
58		Todd J. Green, Val Tannen: Models for Incomplete and Probabilistic Information. IEEE Data Eng. Bull. 29(1): 17-24 (2006)
57		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		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		Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen: Containment and Minimization of RDF/S Query Patterns. International Semantic Web Conference 2005: 607-623
53		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		Alin Deutsch, Val Tannen: XML queries and constraints, containment and reformulation. Theor. Comput. Sci. 336(1): 57-87 (2005)
	2004
51		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		Alin Deutsch, Val Tannen: Reformulation of XML Queries and Constraints. ICDT 2003: 225-241
49		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		Alin Deutsch, Val Tannen: MARS: A System for Publishing XML from Mixed and Redundant Storage. VLDB 2003: 201-212
46		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		Alin Deutsch, Val Tannen: Optimization Properties for Classes of Conjunctive Regular Path Queries. DBPL 2001: 21-39
44		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		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		Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen: A Chase Too Far? SIGMOD Conference 2000: 273-284
	1999
40		Lucian Popa, Val Tannen: An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT 1999: 39-57
39		Alin Deutsch, Lucian Popa, Val Tannen: Physical Data Independence, Constraints, and Optimization with Universal Plans VLDB 1999: 459-470
	1998
38		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		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		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		Val Tannen: Tutorial: Languages for Collection Types. PODS 1994: 150-154
27		Dan Suciu, Val Tannen: A Query Language for NC. PODS 1994: 167-178
26		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		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		Val Tannen, Peter Buneman, Limsoon Wong: Naturally Embedded Query Languages. ICDT 1992: 140-154
20		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		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		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		Val Tannen, Carl A. Gunter, Andre Scedrov: Computing with Coercions. LISP and Functional Programming 1990: 44-60
	1989
12		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		Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57
8		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	Nate Foster (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] [72]
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] [72]
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