| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Val Tannen Alin Deutsch , Val Tannen: Reformulation of XML Queries and Constraints. ICDT 2003 : 225-241 Aimilia Magkanaraki , Val Tannen, Vassilis Christophides , Dimitris Plexousakis : Viewing the Semantic Web through RVL Lenses. International Semantic Web Conference 2003 : 96-112 Vassilis Christophides , Gregory Karvounarakis , I. Koffina , G. Kokkinidis , Aimilia Magkanaraki , Dimitris Plexousakis , G. Serfiotis , Val Tannen: The ICS-FORTH SWIM: A Powerful Semantic Web Integration Middleware. SWDB 2003 : 381-393 Alin Deutsch , Val Tannen: MARS: A System for Publishing XML from Mixed and Redundant Storage. VLDB 2003 : 201-212 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) Alin Deutsch , Val Tannen: Optimization Properties for Classes of Conjunctive Regular Path Queries. DBPL 2001 : 21-39 Alin Deutsch , Val Tannen: Containment and Integrity Constraints for XPath KRDB 2001 Arnaud Sahuguet , Val Tannen: ubQL, a Language for Programming Distributed Query Systems. WebDB 2001 : 37-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) Lucian Popa , Alin Deutsch , Arnaud Sahuguet , Val Tannen: A Chase Too Far? SIGMOD Conference 2000 : 273-284 Lucian Popa , Val Tannen: An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT 1999 : 39-57 Alin Deutsch , Lucian Popa , Val Tannen: Physical Data Independence, Constraints, and Optimization with Universal Plans VLDB 1999 : 459-470 Val Tannen: Heterogeneous Data Integration with Mobile Information Managers (Abstract). Multimedia Information Systems 1998 : 2-3 S. Kazem Lellahi , Val Tannen: A Calculus for Collections and Aggregates. Category Theory and Computer Science 1997 : 261-280 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) Dan Suciu , Val Tannen: A Query Language for NC. J. Comput. Syst. Sci. 55 (2): 299-321 (1997) 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 V. S. Subrahmanian , Su-Shing Chen , James A. Hendler , Richard Hull , Val Tannen: Smart Mediators and Intelligent Agents (Panel). CIKM 1996 : 343 Delia Kesner , Laurence Puel , Val Tannen: A Typed Pattern Calculus. Inf. Comput. 124 (1): 32-61 (1996) 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) Val Breazu-Tannen: Collection Types in Databases. BDA 1994 Dan Suciu , Val Tannen: A Query Language for NC. LCC 1994 : 503-514 Val Tannen: Tutorial: Languages for Collection Types. PODS 1994 : 150-154 Dan Suciu , Val Tannen: A Query Language for NC. PODS 1994 : 167-178 Dan Suciu , Val Tannen: Efficient Compilation of High-Level Data Parallel Algorithms. SPAA 1994 : 57-66 Val Tannen, Jean H. Gallier : Polymorphic Rewriting Conserves Algebraic Confluence Inf. Comput. 114 (1): 1-29 (1994) Peter Buneman , Leonid Libkin , Dan Suciu , Val Tannen, Limsoon Wong : Comprehension Syntax. SIGMOD Record 23 (1): 87-96 (1994) Val Tannen, Delia Kesner , Laurence Puel : A Typed Pattern Calculus LICS 1993 : 262-274 Val Tannen, Albert R. Meyer : Conservativity of Equational Theories in Typed Lambda Calculi. Fundam. Inform. 19 (1/2): 1-49 (1993) Val Tannen, Peter Buneman , Limsoon Wong : Naturally Embedded Query Languages. ICDT 1992 : 140-154 Val Tannen, Ramesh Subrahmanyam : On Extending Computational Adequacy by Data Abstraction. LISP and Functional Programming 1992 : 161-169 Val Breazu-Tannen, Ramesh Subrahmanyam : On Adding Algebraic Theories with Induction to Typed Lambda Calculi. AMAST 1991 : 327-340 Val Tannen, Peter Buneman , Shamim A. Naqvi : Structural Recursion as a Query Language. DBPL 1991 : 9-19 Val Tannen, Ramesh Subrahmanyam : Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991 : 60-75 Val Tannen, Peter Buneman , Atsushi Ohori : Data Structures and Data Types for Object-Oriented Databases. IEEE Data Eng. Bull. 14 (2): 23-27 (1991) Val Tannen, Thierry Coquand , Carl A. Gunter , Andre Scedrov : Inheritance as Implicit Coercion Inf. Comput. 93 (1): 172-221 (1991) Val Tannen, Jean H. Gallier : Polymorphic Rewriting Conserves Algebraic Strong Normalization. Theor. Comput. Sci. 83 (1): 3-28 (1991) Val Tannen, Carl A. Gunter , Andre Scedrov : Computing with Coercions. LISP and Functional Programming 1990 : 44-60 Val Tannen, Peter Buneman , Atsushi Ohori : Can Object-Oriented Databases be Statically Typed? DBPL 1989 : 226-237 Val Tannen, Jean H. Gallier : Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. ICALP 1989 : 137-150 Val Tannen, Thierry Coquand , Carl A. Gunter , Andre Scedrov : Inheritance and Explicit Coercion (Preliminary Report) LICS 1989 : 112-129 Atsushi Ohori , Peter Buneman , Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989 : 46-57 Val Tannen, Peter Buneman , Atsushi Ohori : Static Type-checking in Object-Oriented Databases. IEEE Data Eng. Bull. 12 (3): 5-12 (1989) Val Tannen: Combining Algebra and Higher-Order Types LICS 1988 : 82-90 Val Tannen, Thierry Coquand : Extensional Models for Polymorphism. Theor. Comput. Sci. 59 : 85-114 (1988) Val Tannen, Albert R. Meyer : Polymorphism is conservative over simple types (Preliminary Report) LICS 1987 : 7-17 Val Tannen, Albert R. Meyer : Computable Values Can Be Classical. POPL 1987 : 238-245 Val Tannen, Thierry Coquand : Extensional Models for Polymorphism. TAPSOFT, Vol.2 1987 : 291-307 Val Breazu-Tannen, Albert R. Meyer : Lambda Calculus with Constrained Types (Extended Abstract). Logic of Programs 1985 : 23-40 Val Tannen, Octavian Stanasila : A Generalization of Kleene's Theorem and Nondeterministic Structured Programming Information and Control 51 (2): 146-152 (1981) 1 [ 34 ] 2 [ 42 ] 3 [ 8 ] [ 9 ] [ 12 ] [ 16 ] [ 18 ] [ 21 ] [ 24 ] [ 31 ] 4 [ 33 ] 5 [ 46 ] [ 48 ] [ 49 ] 6 [ 3 ] [ 6 ] [ 10 ] [ 15 ] 7 [ 42 ] 8 [ 36 ] [ 42 ] 9 [ 39 ] [ 41 ] [ 44 ] [ 45 ] [ 47 ] [ 50 ] 10 [ 11 ] [ 14 ] [ 25 ] 11 [ 10 ] [ 13 ] [ 15 ] 12 [ 33 ] 13 [ 33 ] 14 [ 46 ] [ 48 ] 15 [ 23 ] [ 32 ] 16 [ 48 ] 17 [ 48 ] 18 [ 37 ] 19 [ 24 ] 20 [ 46 ] [ 48 ] [ 49 ] 21 [ 2 ] [ 4 ] [ 5 ] [ 22 ] 22 [ 18 ] [ 31 ] 23 [ 8 ] [ 9 ] [ 12 ] [ 16 ] 24 [ 36 ] [ 42 ] 25 [ 46 ] [ 48 ] [ 49 ] 26 [ 39 ] [ 40 ] [ 41 ] 27 [ 23 ] [ 32 ] 28 [ 41 ] [ 43 ] 29 [ 10 ] [ 13 ] [ 15 ] 30 [ 42 ] 31 [ 48 ] 32 [ 1 ] 33 [ 42 ] 34 [ 33 ] 35 [ 17 ] [ 19 ] [ 20 ] 36 [ 24 ] [ 26 ] [ 27 ] [ 29 ] [ 35 ] 37 [ 21 ] [ 24 ] [ 31 ] [ 36 ]  ©2004 Association for Computing Machinery |
