Val B. Tannen

Computer and Information Science (CIS)

Email | Personal Webpage

Research Expertise: Databases | Logic | Programming Languages

Val's work is centered around data management technologies and their applications in life sciences. He and his group are currently working on models and systems for data sharing, data provenance and uncertain information. His research has been applied in genomics and bioinformatics as well as in phyloinformatics and systematic biology. Val's past work also includes research in programming languages and high-performance computing. In addition, he maintains a special interest in applications of mathematical logic to computer science.

Member of:

Recent Publications RSS Feed

  • Foreword, Tannen, V. | Wong, L. | Libkin, L. | Fan, W. | Tan, W.-C. | Fourman, M., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013
  • Collaborative data sharing via update exchange and provenance, Karvounarakis, G. | Green, T.J. | Ives, Z.G. | Tannen, V., ACM Transactions on Database Systems, 2013
  • Querying data provenance, Karvounarakis, G. | Ives, Z.G. | Tannen, V., Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010
  • Reconcilable differences, Green, T.J. | Ives, Z.G. | Tannen, V., ACM International Conference Proceeding Series, 2009
  • Annotated XML: Queries and provenance, Foster, J.N. | Green, T.J. | Tannen, V., Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2008

Return to Directory