The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Val Tannen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Val Tannen, Peter Buneman, Shamim A. Naqvi
    Structural Recursion as a Query Language. [Citation Graph (43, 13)][DBLP]
    DBPL, 1991, pp:9-19 [Conf]
  2. 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]
  3. Val Tannen, Peter Buneman, Limsoon Wong
    Naturally Embedded Query Languages. [Citation Graph (36, 18)][DBLP]
    ICDT, 1992, pp:140-154 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. Dan Suciu, Val Tannen
    A Query Language for NC. [Citation Graph (6, 29)][DBLP]
    PODS, 1994, pp:167-178 [Conf]
  8. Val Tannen, Peter Buneman, Atsushi Ohori
    Can Object-Oriented Databases be Statically Typed? [Citation Graph (5, 17)][DBLP]
    DBPL, 1989, pp:226-237 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. Val Tannen
    Tutorial: Languages for Collection Types. [Citation Graph (2, 57)][DBLP]
    PODS, 1994, pp:150-154 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. Alin Deutsch, Val Tannen
    Optimization Properties for Classes of Conjunctive Regular Path Queries. [Citation Graph (0, 0)][DBLP]
    DBPL, 2001, pp:21-39 [Conf]
  21. Todd J. Green, Val Tannen
    Models for Incomplete and Probabilistic Information. [Citation Graph (0, 0)][DBLP]
    EDBT Workshops, 2006, pp:278-296 [Conf]
  22. Val Tannen, Jean H. Gallier
    Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:137-150 [Conf]
  23. Alin Deutsch, Val Tannen
    Reformulation of XML Queries and Constraints. [Citation Graph (0, 0)][DBLP]
    ICDT, 2003, pp:225-241 [Conf]
  24. Alin Deutsch, Val Tannen
    Containment and Integrity Constraints for XPath [Citation Graph (0, 0)][DBLP]
    KRDB, 2001, pp:- [Conf]
  25. Dan Suciu, Val Tannen
    A Query Language for NC. [Citation Graph (0, 0)][DBLP]
    LCC, 1994, pp:503-514 [Conf]
  26. Val Tannen, Carl A. Gunter, Andre Scedrov
    Computing with Coercions. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:44-60 [Conf]
  27. 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]
  28. Val Tannen
    Combining Algebra and Higher-Order Types [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:82-90 [Conf]
  29. Val Tannen, Delia Kesner, Laurence Puel
    A Typed Pattern Calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:262-274 [Conf]
  30. Val Tannen, Albert R. Meyer
    Polymorphism is conservative over simple types (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:7-17 [Conf]
  31. Val Tannen
    Heterogeneous Data Integration with Mobile Information Managers (Abstract). [Citation Graph (0, 0)][DBLP]
    Multimedia Information Systems, 1998, pp:2-3 [Conf]
  32. Val Tannen, Albert R. Meyer
    Computable Values Can Be Classical. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:238-245 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen
    A Chase Too Far? [Citation Graph (0, 18)][DBLP]
    SIGMOD Conference, 2000, pp:273-284 [Conf]
  37. Dan Suciu, Val Tannen
    Efficient Compilation of High-Level Data Parallel Algorithms. [Citation Graph (0, 0)][DBLP]
    SPAA, 1994, pp:57-66 [Conf]
  38. Val Tannen, Thierry Coquand
    Extensional Models for Polymorphism. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:291-307 [Conf]
  39. 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]
  40. Arnaud Sahuguet, Val Tannen
    ubQL, a Language for Programming Distributed Query Systems. [Citation Graph (0, 0)][DBLP]
    WebDB, 2001, pp:37-42 [Conf]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. Val Tannen, Thierry Coquand
    Extensional Models for Polymorphism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:85-114 [Journal]
  52. 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]
  53. 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]
  54. Todd J. Green, Gregory Karvounarakis, Val Tannen
    Provenance semirings. [Citation Graph (0, 0)][DBLP]
    PODS, 2007, pp:31-40 [Conf]
  55. 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]
  56. 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]

  57. Provenance for database transformations. [Citation Graph (, )][DBLP]


  58. Reconcilable differences. [Citation Graph (, )][DBLP]


  59. Annotated XML: queries and provenance. [Citation Graph (, )][DBLP]


  60. Querying data provenance. [Citation Graph (, )][DBLP]


  61. Provenance for Database Transformations. [Citation Graph (, )][DBLP]


  62. Provenance for Database Transformations. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002