Search the dblp DataBase
Val Tannen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Val Tannen , Peter Buneman , Shamim A. Naqvi Structural Recursion as a Query Language. [Citation Graph (43, 13)][DBLP ] DBPL, 1991, pp:9-19 [Conf ] Atsushi Ohori , Peter Buneman , Val Tannen Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. [Citation Graph (40, 17)][DBLP ] SIGMOD Conference, 1989, pp:46-57 [Conf ] Val Tannen , Peter Buneman , Limsoon Wong Naturally Embedded Query Languages. [Citation Graph (36, 18)][DBLP ] ICDT, 1992, pp:140-154 [Conf ] Val Tannen , Ramesh Subrahmanyam Logical and Computational Aspects of Programming with Sets/Bags/Lists. [Citation Graph (24, 0)][DBLP ] ICALP, 1991, pp:60-75 [Conf ] Peter Buneman , Leonid Libkin , Dan Suciu , Val Tannen , Limsoon Wong Comprehension Syntax. [Citation Graph (20, 0)][DBLP ] SIGMOD Record, 1994, v:23, n:1, pp:87-96 [Journal ] Peter Buneman , Shamim A. Naqvi , Val Tannen , Limsoon Wong Principles of Programming with Complex Objects and Collection Types. [Citation Graph (17, 0)][DBLP ] Theor. Comput. Sci., 1995, v:149, n:1, pp:3-48 [Journal ] Dan Suciu , Val Tannen A Query Language for NC. [Citation Graph (6, 29)][DBLP ] PODS, 1994, pp:167-178 [Conf ] Val Tannen , Peter Buneman , Atsushi Ohori Can Object-Oriented Databases be Statically Typed? [Citation Graph (5, 17)][DBLP ] DBPL, 1989, pp:226-237 [Conf ] Lucian Popa , Val Tannen An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. [Citation Graph (4, 32)][DBLP ] ICDT, 1999, pp:39-57 [Conf ] Alin Deutsch , Lucian Popa , Val Tannen Physical Data Independence, Constraints, and Optimization with Universal Plans [Citation Graph (4, 40)][DBLP ] VLDB, 1999, pp:459-470 [Conf ] Susan B. Davidson , G. Christian Overton , Val Tannen , Limsoon Wong BioKleisli: A Digital Library for Biomedical Researchers. [Citation Graph (4, 0)][DBLP ] Int. J. on Digital Libraries, 1997, v:1, n:1, pp:36-53 [Journal ] Val Tannen Tutorial: Languages for Collection Types. [Citation Graph (2, 57)][DBLP ] PODS, 1994, pp:150-154 [Conf ] Val Tannen , Peter Buneman , Atsushi Ohori Static Type-checking in Object-Oriented Databases. [Citation Graph (2, 0)][DBLP ] IEEE Data Eng. Bull., 1989, v:12, n:3, pp:5-12 [Journal ] Val Tannen , Thierry Coquand , Carl A. Gunter , Andre Scedrov Inheritance and Explicit Coercion (Preliminary Report) [Citation Graph (1, 0)][DBLP ] LICS, 1989, pp:112-129 [Conf ] Val Tannen , Peter Buneman , Atsushi Ohori Data Structures and Data Types for Object-Oriented Databases. [Citation Graph (1, 0)][DBLP ] IEEE Data Eng. Bull., 1991, v:14, n:2, pp:23-27 [Journal ] Val Tannen , Thierry Coquand , Carl A. Gunter , Andre Scedrov Inheritance as Implicit Coercion [Citation Graph (1, 0)][DBLP ] Inf. Comput., 1991, v:93, n:1, pp:172-221 [Journal ] V. S. Subrahmanian , Su-Shing Chen , James A. Hendler , Richard Hull , Val Tannen Smart Mediators and Intelligent Agents (Panel). [Citation Graph (0, 0)][DBLP ] CIKM, 1996, pp:343- [Conf ] S. Kazem Lellahi , Val Tannen A Calculus for Collections and Aggregates. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1997, pp:261-280 [Conf ] 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). [Citation Graph (0, 0)][DBLP ] Semantic Interoperability and Integration, 2005, pp:- [Conf ] Alin Deutsch , Val Tannen Optimization Properties for Classes of Conjunctive Regular Path Queries. [Citation Graph (0, 0)][DBLP ] DBPL, 2001, pp:21-39 [Conf ] Todd J. Green , Val Tannen Models for Incomplete and Probabilistic Information. [Citation Graph (0, 0)][DBLP ] EDBT Workshops, 2006, pp:278-296 [Conf ] Val Tannen , Jean H. Gallier Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. [Citation Graph (0, 0)][DBLP ] ICALP, 1989, pp:137-150 [Conf ] Alin Deutsch , Val Tannen Reformulation of XML Queries and Constraints. [Citation Graph (0, 0)][DBLP ] ICDT, 2003, pp:225-241 [Conf ] Alin Deutsch , Val Tannen Containment and Integrity Constraints for XPath [Citation Graph (0, 0)][DBLP ] KRDB, 2001, pp:- [Conf ] Dan Suciu , Val Tannen A Query Language for NC. [Citation Graph (0, 0)][DBLP ] LCC, 1994, pp:503-514 [Conf ] Val Tannen , Carl A. Gunter , Andre Scedrov Computing with Coercions. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1990, pp:44-60 [Conf ] Val Tannen , Ramesh Subrahmanyam On Extending Computational Adequacy by Data Abstraction. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:161-169 [Conf ] Val Tannen Combining Algebra and Higher-Order Types [Citation Graph (0, 0)][DBLP ] LICS, 1988, pp:82-90 [Conf ] Val Tannen , Delia Kesner , Laurence Puel A Typed Pattern Calculus [Citation Graph (0, 0)][DBLP ] LICS, 1993, pp:262-274 [Conf ] Val Tannen , Albert R. Meyer Polymorphism is conservative over simple types (Preliminary Report) [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:7-17 [Conf ] Val Tannen Heterogeneous Data Integration with Mobile Information Managers (Abstract). [Citation Graph (0, 0)][DBLP ] Multimedia Information Systems, 1998, pp:2-3 [Conf ] Val Tannen , Albert R. Meyer Computable Values Can Be Classical. [Citation Graph (0, 0)][DBLP ] POPL, 1987, pp:238-245 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SWDB, 2003, pp:381-393 [Conf ] Aimilia Magkanaraki , Val Tannen , Vassilis Christophides , Dimitris Plexousakis Viewing the Semantic Web through RVL Lenses. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2003, pp:96-112 [Conf ] Giorgos Serfiotis , Ioanna Koffina , Vassilis Christophides , Val Tannen Containment and Minimization of RDF/S Query Patterns. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2005, pp:607-623 [Conf ] Lucian Popa , Alin Deutsch , Arnaud Sahuguet , Val Tannen A Chase Too Far? [Citation Graph (0, 18)][DBLP ] SIGMOD Conference, 2000, pp:273-284 [Conf ] Dan Suciu , Val Tannen Efficient Compilation of High-Level Data Parallel Algorithms. [Citation Graph (0, 0)][DBLP ] SPAA, 1994, pp:57-66 [Conf ] Val Tannen , Thierry Coquand Extensional Models for Polymorphism. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1987, pp:291-307 [Conf ] Alin Deutsch , Val Tannen MARS: A System for Publishing XML from Mixed and Redundant Storage. [Citation Graph (0, 0)][DBLP ] VLDB, 2003, pp:201-212 [Conf ] Arnaud Sahuguet , Val Tannen ubQL, a Language for Programming Distributed Query Systems. [Citation Graph (0, 0)][DBLP ] WebDB, 2001, pp:37-42 [Conf ] Vassilis Christophides , Gregory Karvounarakis , Aimilia Magkanaraki , Dimitris Plexousakis , Val Tannen The ICS-FORTH Semantic Web Integration Middleware (SWIM). [Citation Graph (0, 0)][DBLP ] IEEE Data Eng. Bull., 2003, v:26, n:4, pp:11-18 [Journal ] Todd J. Green , Val Tannen Models for Incomplete and Probabilistic Information. [Citation Graph (0, 0)][DBLP ] IEEE Data Eng. Bull., 2006, v:29, n:1, pp:17-24 [Journal ] Val Tannen , Albert R. Meyer Conservativity of Equational Theories in Typed Lambda Calculi. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1993, v:19, n:1/2, pp:1-49 [Journal ] Val Tannen , Octavian Stanasila A Generalization of Kleene's Theorem and Nondeterministic Structured Programming [Citation Graph (0, 0)][DBLP ] Information and Control, 1981, v:51, n:2, pp:146-152 [Journal ] Delia Kesner , Laurence Puel , Val Tannen A Typed Pattern Calculus. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1996, v:124, n:1, pp:32-61 [Journal ] Val Tannen , Jean H. Gallier Polymorphic Rewriting Conserves Algebraic Confluence [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:114, n:1, pp:1-29 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IBM Systems Journal, 2001, v:40, n:2, pp:512-531 [Journal ] Dan Suciu , Val Tannen A Query Language for NC. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1997, v:55, n:2, pp:299-321 [Journal ] Alin Deutsch , Lucian Popa , Val Tannen Query reformulation with constraints. [Citation Graph (0, 0)][DBLP ] SIGMOD Record, 2006, v:35, n:1, pp:65-73 [Journal ] Alin Deutsch , Val Tannen XML queries and constraints, containment and reformulation. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:336, n:1, pp:57-87 [Journal ] Val Tannen , Thierry Coquand Extensional Models for Polymorphism. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1988, v:59, n:, pp:85-114 [Journal ] Val Tannen , Jean H. Gallier Polymorphic Rewriting Conserves Algebraic Strong Normalization. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:83, n:1, pp:3-28 [Journal ] Aimilia Magkanaraki , Val Tannen , Vassilis Christophides , Dimitris Plexousakis Viewing the semantic web through RVL lenses. [Citation Graph (0, 0)][DBLP ] J. Web Sem., 2004, v:1, n:4, pp:359-375 [Journal ] Todd J. Green , Gregory Karvounarakis , Val Tannen Provenance semirings. [Citation Graph (0, 0)][DBLP ] PODS, 2007, pp:31-40 [Conf ] Todd J. Green , Gregory Karvounarakis , Nicholas E. Taylor , Olivier Biton , Zachary G. Ives , Val Tannen ORCHESTRA: facilitating collaborative data sharing. [Citation Graph (0, 0)][DBLP ] SIGMOD Conference, 2007, pp:1131-1133 [Conf ] Todd J. Green , Grigoris Karvounarakis , Zachary G. Ives , Val Tannen Update Exchange with Mappings and Provenance. [Citation Graph (0, 0)][DBLP ] VLDB, 2007, pp:675-686 [Conf ] Provenance for database transformations. [Citation Graph (, )][DBLP ] Reconcilable differences. [Citation Graph (, )][DBLP ] Annotated XML: queries and provenance. [Citation Graph (, )][DBLP ] Querying data provenance. [Citation Graph (, )][DBLP ] Provenance for Database Transformations. [Citation Graph (, )][DBLP ] Provenance for Database Transformations. [Citation Graph (, )][DBLP ] Search in 0.014secs, Finished in 0.018secs