| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen |
Putting Lipstick on Pig: Enabling Database-style Workflow Provenance  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yael Amsterdamer, Daniel Deutch, Val Tannen |
Provenance for Aggregate Queries |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yael Amsterdamer, Daniel Deutch, Val Tannen |
On the Limitations of Provenance for Queries With Difference |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sanjeev Khanna, Sudeepa Roy, Val Tannen |
Queries with Difference on Probabilistic Databases. |
PVLDB |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen |
Putting Lipstick on Pig: Enabling Database-style Workflow Provenance. |
PVLDB |
2011 |
DBLP BibTeX RDF |
|
| 1 | Todd J. Green, Zachary G. Ives, Val Tannen |
Reconcilable Differences. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Stoyanovich, Susan B. Davidson, Tova Milo, Val Tannen |
Deriving probabilistic databases with inference ensembles. |
ICDE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan B. Davidson, Sanjeev Khanna, Val Tannen, Sudeepa Roy, Yi Chen, Tova Milo, Julia Stoyanovich |
Enabling Privacy in Provenance-Aware Workflow Systems. |
CIDR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pablo Barceló, Val Tannen (eds.) |
Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011 |
AMW |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sudeepa Roy, Vittorio Perduca, Val Tannen |
Faster query answering in probabilistic databases using read-once functions. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, Yi Chen |
On provenance and privacy. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yael Amsterdamer, Daniel Deutch, Val Tannen |
Provenance for aggregate queries. |
PODS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen |
On provenance minimization. |
PODS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen |
Provenance in ORCHESTRA. |
IEEE Data Eng. Bull. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sudeepa Roy, Vittorio Perduca, Val Tannen |
Faster Query Answering in Probabilistic Databases using Read-Once Functions |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Val Tannen |
Provenance for database transformations. |
EDBT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen |
Provenance for Database Transformations. |
AMW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Grigoris Karvounarakis, Zachary G. Ives, Val Tannen |
Querying data provenance. |
SIGMOD Conference |
2010 |
DBLP DOI BibTeX RDF |
query processing, annotation, query language, data provenance |
| 1 | Val Tannen |
First-Order Logic: Semantics. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen |
Conjunctive Query. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen |
Relational Algebra. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen |
First-Order Logic: Syntax. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen |
Relational Calculus. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen |
Mediating RDF/S Queries to Relational and XML Sources. |
Database Technologies: Concepts, Methodologies, Tools, and Applications |
2009 |
DBLP BibTeX RDF |
|
| 1 | Todd J. Green, Zachary G. Ives, Val Tannen |
Reconcilable differences. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen |
Provenance for Database Transformations. |
IPAW |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Nathan Foster, Todd J. Green, Val Tannen |
Annotated XML: queries and provenance. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
xquery, xml, data provenance, semirings, complex values |
| 1 | Todd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen |
ORCHESTRA: facilitating collaborative data sharing. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
data integration, data exchange, data sharing, schema mappings, reconciliation |
| 1 | Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen |
Update Exchange with Mappings and Provenance. |
VLDB |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sarah Cohen Boulakia, Val Tannen (eds.) |
Data Integration in the Life Sciences, 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings |
DILS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Todd J. Green, Gregory Karvounarakis, Val Tannen |
Provenance semirings. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
incomplete databases, datalog, probabilistic databases, data provenance, semirings, formal power series, data lineage |
| 1 | Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen |
Mediating RDF/S Queries to Relational and XML Sources. |
Int. J. Semantic Web Inf. Syst. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Todd J. Green, Val Tannen |
Models for Incomplete and Probabilistic Information. |
IEEE Data Eng. Bull. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alin Deutsch, Lucian Popa, Val Tannen |
Query reformulation with constraints. |
SIGMOD Record |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd J. Green, Val Tannen |
Models for Incomplete and Probabilistic Information. |
EDBT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alin Deutsch, Val Tannen |
XML queries and constraints, containment and reformulation. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen |
Containment and Minimization of RDF/S Query Patterns. |
International Semantic Web Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Bussler, Val Tannen, Irini Fundulaki (eds.) |
Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers |
SWDB |
2005 |
DBLP BibTeX RDF |
|
| 1 | Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis |
Viewing the semantic web through RVL lenses. |
J. Web Sem. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vassilis Christophides, Gregory Karvounarakis, Aimilia Magkanaraki, Dimitris Plexousakis, Val Tannen |
The ICS-FORTH Semantic Web Integration Middleware (SWIM). |
IEEE Data Eng. Bull. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alin Deutsch, Val Tannen |
MARS: A System for Publishing XML from Mixed and Redundant Storage. |
VLDB |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alin Deutsch, Val Tannen |
Reformulation of XML Queries and Constraints. |
ICDT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis |
Viewing the Semantic Web through RVL Lenses. |
International Semantic Web Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2001 |
DBLP BibTeX RDF |
|
| 1 | Arnaud Sahuguet, Val Tannen |
ubQL, a Language for Programming Distributed Query Systems. |
WebDB |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alin Deutsch, Val Tannen |
Containment and Integrity Constraints for XPath |
KRDB |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alin Deutsch, Val Tannen |
Optimization Properties for Classes of Conjunctive Regular Path Queries. |
DBPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen |
A Chase Too Far? |
SIGMOD Conference |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alin Deutsch, Lucian Popa, Val Tannen |
Physical Data Independence, Constraints, and Optimization with Universal Plans |
VLDB |
1999 |
DBLP BibTeX RDF |
|
| 1 | Lucian Popa, Val Tannen |
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. |
ICDT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen |
Heterogeneous Data Integration with Mobile Information Managers (Abstract). |
Multimedia Information Systems |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan B. Davidson, G. Christian Overton, Val Tannen, Limsoon Wong |
BioKleisli: A Digital Library for Biomedical Researchers. |
Int. J. on Digital Libraries |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Suciu, Val Tannen |
A Query Language for NC. |
J. Comput. Syst. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Kazem Lellahi, Val Tannen |
A Calculus for Collections and Aggregates. |
Category Theory and Computer Science |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Delia Kesner, Laurence Puel, Val Tannen |
A Typed Pattern Calculus. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Atzeni, Val Tannen (eds.) |
Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995 |
DBPL |
1996 |
DBLP BibTeX RDF |
|
| 1 | V. S. Subrahmanian, Su-Shing Chen, James A. Hendler, Richard Hull, Val Tannen |
Smart Mediators and Intelligent Agents (Panel). |
CIKM |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong |
Principles of Programming with Complex Objects and Collection Types. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Breazu-Tannen |
Collection Types in Databases. |
BDA |
1994 |
DBLP BibTeX RDF |
|
| 1 | Val Tannen, Jean H. Gallier |
Polymorphic Rewriting Conserves Algebraic Confluence |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong |
Comprehension Syntax. |
SIGMOD Record |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Suciu, Val Tannen |
A Query Language for NC. |
LCC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Suciu, Val Tannen |
Efficient Compilation of High-Level Data Parallel Algorithms. |
SPAA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen |
Tutorial: Languages for Collection Types. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
SQL |
| 1 | Dan Suciu, Val Tannen |
A Query Language for NC. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Albert R. Meyer |
Conservativity of Equational Theories in Typed Lambda Calculi. |
Fundam. Inform. |
1993 |
DBLP BibTeX RDF |
|
| 1 | Val Tannen, Delia Kesner, Laurence Puel |
A Typed Pattern Calculus |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Ramesh Subrahmanyam |
On Extending Computational Adequacy by Data Abstraction. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Peter Buneman, Limsoon Wong |
Naturally Embedded Query Languages. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Breazu-Tannen, Ramesh Subrahmanyam |
On Adding Algebraic Theories with Induction to Typed Lambda Calculi. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
| 1 | Val Tannen, Jean H. Gallier |
Polymorphic Rewriting Conserves Algebraic Strong Normalization. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov |
Inheritance as Implicit Coercion |
Inf. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Peter Buneman, Atsushi Ohori |
Data Structures and Data Types for Object-Oriented Databases. |
IEEE Data Eng. Bull. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Val Tannen, Ramesh Subrahmanyam |
Logical and Computational Aspects of Programming with Sets/Bags/Lists. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Peter Buneman, Shamim A. Naqvi |
Structural Recursion as a Query Language. |
DBPL |
1991 |
DBLP BibTeX RDF |
|
| 1 | Val Tannen, Carl A. Gunter, Andre Scedrov |
Computing with Coercions. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Peter Buneman, Atsushi Ohori |
Static Type-checking in Object-Oriented Databases. |
IEEE Data Eng. Bull. |
1989 |
DBLP BibTeX RDF |
|
| 1 | Val Tannen, Jean H. Gallier |
Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. |
ICALP |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Ohori, Peter Buneman, Val Tannen |
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. |
SIGMOD Conference |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Peter Buneman, Atsushi Ohori |
Can Object-Oriented Databases be Statically Typed? |
DBPL |
1989 |
DBLP BibTeX RDF |
|
| 1 | Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov |
Inheritance and Explicit Coercion (Preliminary Report) |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Thierry Coquand |
Extensional Models for Polymorphism. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen |
Combining Algebra and Higher-Order Types |
LICS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Thierry Coquand |
Extensional Models for Polymorphism. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Albert R. Meyer |
Computable Values Can Be Classical. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Albert R. Meyer |
Polymorphism is conservative over simple types (Preliminary Report) |
LICS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Val Breazu-Tannen, Albert R. Meyer |
Lambda Calculus with Constrained Types (Extended Abstract). |
Logic of Programs |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Octavian Stanasila |
A Generalization of Kleene's Theorem and Nondeterministic Structured Programming |
Information and Control |
1981 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")