default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVal Tannen
Valeriu Breazu – Val Breazu-Tannen
Person information
- affiliation: University of Pennsylvania, Philadelphia, PA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j39]Hangdong Zhao
, Shaleen Deep, Paraschos Koutris, Sudeepa Roy, Val Tannen:
Evaluating Datalog over Semirings: A Grounding-based Approach. Proc. ACM Manag. Data 2(2): 90 (2024)- [j38]Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen:
DBSP: Incremental Computation on Streams and Its Applications to Databases. SIGMOD Rec. 53(1): 87-95 (2024) - [i15]Hangdong Zhao, Shaleen Deep, Paraschos Koutris, Sudeepa Roy, Val Tannen:
Evaluating Datalog over Semirings: A Grounding-based Approach. CoRR abs/2403.12436 (2024) - 2023
- [j37]Zilu Tian, Peter Lindner, Markus Nissl, Christoph Koch, Val Tannen:
Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations. Proc. ACM Manag. Data 1(2): 151:1-151:28 (2023) - [j36]Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen:
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. Proc. VLDB Endow. 16(7): 1601-1614 (2023) - [c69]Lawrence Dunn, Val Tannen, Steve Zdancewic:
Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure. ITP 2023: 14:1-14:20 - [c68]Lawrence Dunn, Val Tannen, Steve Zdancewic:
Syntax Monads for the Working Formal Metatheorist. ACT 2023: 98-117 - 2022
- [j35]Yinjun Wu, Val Tannen, Susan B. Davidson:
Provenance-based Model Maintenance: Implications for Privacy. IEEE Data Eng. Bull. 45(1): 37-49 (2022) - [j34]Stefano Perna, Val Tannen, Limsoon Wong:
Iterating on multiple collections in synchrony. J. Funct. Program. 32: e9 (2022) - [i14]Mihai Budiu, Frank McSherry, Leonid Ryzhyk, Val Tannen:
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. CoRR abs/2203.16684 (2022) - 2021
- [c67]Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen:
Semiring Provenance for Fixed-Point Logic. CSL 2021: 17:1-17:22 - [c66]Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue:
Synchronization Schemas. PODS 2021: 1-18 - 2020
- [c65]Yinjun Wu, Val Tannen, Susan B. Davidson:
PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models. SIGMOD Conference 2020: 447-462 - [i13]Yinjun Wu, Val Tannen, Susan B. Davidson:
PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models. CoRR abs/2002.11791 (2020)
2010 – 2019
- 2019
- [c64]Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen:
Data-trace types for distributed stream processing systems. PLDI 2019: 670-685 - [i12]Erich Grädel, Val Tannen:
Provenance Analysis for Logic and Games. CoRR abs/1907.08470 (2019) - [i11]Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen:
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. CoRR abs/1910.07910 (2019) - 2018
- [j33]Abdussalam Alawini, Susan B. Davidson, Gianmaria Silvello, Val Tannen, Yinjun Wu:
Data Citation: A New Provenance Challenge. IEEE Data Eng. Bull. 41(1): 27-38 (2018) - [j32]Jane Xu, Waley Zhang, Abdussalam Alawini, Val Tannen:
Provenance Analysis for Missing Answers and Integrity Repairs. IEEE Data Eng. Bull. 41(1): 39-50 (2018) - [c63]Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen:
Interfaces for Stream Processing Systems. Principles of Modeling 2018: 38-60 - [r10]Val Tannen:
Conjunctive Query. Encyclopedia of Database Systems (2nd ed.) 2018 - [r9]Val Tannen:
First-Order Logic: Semantics. Encyclopedia of Database Systems (2nd ed.) 2018 - [r8]Val Tannen:
First-Order Logic: Syntax. Encyclopedia of Database Systems (2nd ed.) 2018 - [r7]Val Tannen:
Relational Algebra. Encyclopedia of Database Systems (2nd ed.) 2018 - [r6]Val Tannen:
Relational Calculus. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [j31]Val Tannen:
Provenance analysis for FOL model checking. ACM SIGLOG News 4(1): 24-36 (2017) - [c62]Bruhathi Sundarmurthy, Paraschos Koutris, Willis Lang, Jeffrey F. Naughton, Val Tannen:
m-tables: Representing Missing Data. ICDT 2017: 21:1-21:20 - [c61]Todd J. Green, Val Tannen:
The Semiring Framework for Database Provenance. PODS 2017: 93-99 - [i10]Erich Grädel, Val Tannen:
Semiring Provenance for First-Order Model Checking. CoRR abs/1712.01980 (2017) - 2016
- [c60]Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen:
Algorithms for Provisioning Queries and Analytics. ICDT 2016: 18:1-18:18 - [c59]Christoph Koch, Daniel Lupei, Val Tannen:
Incremental View Maintenance For Collection Programming. PODS 2016: 75-90 - [c58]Zhepeng Yan, Val Tannen, Zachary G. Ives:
Fine-grained Provenance for Linear Algebra Operators. TaPP 2016 - 2015
- [j30]Daniel Deutch, Yuval Moskovitch, Val Tannen:
Provenance-based analysis of data-centric processes. VLDB J. 24(4): 583-607 (2015) - [c57]Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen:
Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches. FSTTCS 2015: 52-68 - [i9]Babak Bagheri Hariri, Val Tannen:
Decidability of Equivalence of Aggregate Count-Distinct Queries. CoRR abs/1509.00100 (2015) - [i8]Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen:
Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches. CoRR abs/1510.03252 (2015) - [i7]Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen:
Algorithms for Provisioning Queries and Analytics. CoRR abs/1512.06143 (2015) - 2014
- [j29]Daniel Deutch, Yuval Moskovitch, Val Tannen:
A Provenance Framework for Data-Dependent Process Analysis. Proc. VLDB Endow. 7(6): 457-468 (2014) - [c56]Daniel Deutch, Tova Milo, Sudeepa Roy, Val Tannen:
Circuits for Datalog Provenance. ICDT 2014: 201-212 - [i6]Daniel Lupei, Christoph Koch, Val Tannen:
Incremental View Maintenance for Nested-Relational Databases. CoRR abs/1412.4320 (2014) - 2013
- [j28]Daniel Deutch, Yuval Moskovitch, Val Tannen:
PROPOLIS: Provisioned Analysis of Data-Centric Processes. Proc. VLDB Endow. 6(12): 1302-1305 (2013) - [j27]Grigoris Karvounarakis, Todd J. Green, Zachary G. Ives, Val Tannen:
Collaborative data sharing via update exchange and provenance. ACM Trans. Database Syst. 38(3): 19 (2013) - [c55]Val Tannen:
Provenance Propagation in Complex Queries. In Search of Elegance in the Theory and Practice of Computation 2013: 483-493 - [c54]Daniel Deutch, Zachary G. Ives, Tova Milo, Val Tannen:
Caravan: Provisioning for What-If Analysis. CIDR 2013 - [e6]Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael P. Fourman:
In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman. Lecture Notes in Computer Science 8000, Springer 2013, ISBN 978-3-642-41659-0 [contents] - [e5]Alexandra Meliou, Val Tannen:
5th Workshop on the Theory and Practice of Provenance, TaPP'13, Lombard, IL, USA, April 2-3, 2013. USENIX Association 2013 [contents] - 2012
- [j26]Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen:
On Provenance Minimization. ACM Trans. Database Syst. 37(4): 30:1-30:36 (2012) - [i5]Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen:
Putting Lipstick on Pig: Enabling Database-style Workflow Provenance. CoRR abs/1201.0231 (2012) - 2011
- [j25]Todd J. Green, Zachary G. Ives, Val Tannen:
Reconcilable Differences. Theory Comput. Syst. 49(2): 460-488 (2011) - [j24]Sanjeev Khanna, Sudeepa Roy, Val Tannen:
Queries with Difference on Probabilistic Databases. Proc. VLDB Endow. 4(11): 1051-1062 (2011) - [j23]Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen:
Putting Lipstick on Pig: Enabling Database-style Workflow Provenance. Proc. VLDB Endow. 5(4): 346-357 (2011) - [c53]Susan B. Davidson, Sanjeev Khanna, Val Tannen, Sudeepa Roy, Yi Chen, Tova Milo, Julia Stoyanovich:
Enabling Privacy in Provenance-Aware Workflow Systems. CIDR 2011: 215-218 - [c52]Julia Stoyanovich, Susan B. Davidson, Tova Milo, Val Tannen:
Deriving probabilistic databases with inference ensembles. ICDE 2011: 303-314 - [c51]Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, Yi Chen:
On provenance and privacy. ICDT 2011: 3-10 - [c50]Sudeepa Roy, Vittorio Perduca, Val Tannen:
Faster query answering in probabilistic databases using read-once functions. ICDT 2011: 232-243 - [c49]Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen:
On provenance minimization. PODS 2011: 141-152 - [c48]Yael Amsterdamer, Daniel Deutch, Val Tannen:
Provenance for aggregate queries. PODS 2011: 153-164 - [c47]Yael Amsterdamer, Daniel Deutch, Val Tannen:
On the Limitations of Provenance for Queries with Difference. TaPP 2011 - [e4]Pablo Barceló, Val Tannen:
Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011. CEUR Workshop Proceedings 749, CEUR-WS.org 2011 [contents] - [i4]Yael Amsterdamer, Daniel Deutch, Val Tannen:
Provenance for Aggregate Queries. CoRR abs/1101.1110 (2011) - [i3]Yael Amsterdamer, Daniel Deutch, Val Tannen:
On the Limitations of Provenance for Queries With Difference. CoRR abs/1105.2255 (2011) - 2010
- [j22]Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen:
Provenance in ORCHESTRA. IEEE Data Eng. Bull. 33(3): 9-16 (2010) - [c46]Val Tannen:
Provenance for Database Transformations. AMW 2010 - [c45]Val Tannen:
Provenance for database transformations. EDBT 2010: 1 - [c44]Grigoris Karvounarakis, Zachary G. Ives, Val Tannen:
Querying data provenance. SIGMOD Conference 2010: 951-962 - [i2]Sudeepa Roy, Vittorio Perduca, Val Tannen:
Faster Query Answering in Probabilistic Databases using Read-Once Functions. CoRR abs/1012.0335 (2010)
2000 – 2009
- 2009
- [c43]Todd J. Green, Zachary G. Ives, Val Tannen:
Reconcilable differences. ICDT 2009: 212-224 - [p2]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: 596-614 - [r5]Val Tannen:
Conjunctive Query. Encyclopedia of Database Systems 2009: 448-449 - [r4]Val Tannen:
First-Order Logic: Semantics. Encyclopedia of Database Systems 2009: 1138-1139 - [r3]Val Tannen:
First-Order Logic: Syntax. Encyclopedia of Database Systems 2009: 1139-1141 - [r2]Val Tannen:
Relational Algebra. Encyclopedia of Database Systems 2009: 2369-2370 - [r1]Val Tannen:
Relational Calculus. Encyclopedia of Database Systems 2009: 2370-2371 - 2008
- [j21]Zachary G. Ives, Todd J. Green, Grigoris Karvounarakis, Nicholas E. Taylor, Val Tannen, Partha Pratim Talukdar, Marie Jacob, Fernando C. N. Pereira:
The ORCHESTRA Collaborative Data Sharing System. SIGMOD Rec. 37(3): 26-32 (2008) - [c42]Val Tannen:
Provenance for Database Transformations. IPAW 2008: 1 - [c41]J. Nathan Foster, Todd J. Green, Val Tannen:
Annotated XML: queries and provenance. PODS 2008: 271-280 - 2007
- [c40]Todd J. Green, Gregory Karvounarakis, Val Tannen:
Provenance semirings. PODS 2007: 31-40 - [c39]Todd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen:
ORCHESTRA: facilitating collaborative data sharing. SIGMOD Conference 2007: 1131-1133 - [c38]Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen:
Update Exchange with Mappings and Provenance. VLDB 2007: 675-686 - [e3]Sarah Cohen Boulakia, Val Tannen:
Data Integration in the Life Sciences, 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4544, Springer 2007, ISBN 978-3-540-73254-9 [contents] - 2006
- [j20]Todd J. Green, Val Tannen:
Models for Incomplete and Probabilistic Information. IEEE Data Eng. Bull. 29(1): 17-24 (2006) - [j19]Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen:
Mediating RDF/S Queries to Relational and XML Sources. Int. J. Semantic Web Inf. Syst. 2(4): 68-91 (2006) - [j18]Alin Deutsch, Lucian Popa, Val Tannen:
Query reformulation with constraints. SIGMOD Rec. 35(1): 65-73 (2006) - [c37]Todd J. Green, Val Tannen:
Models for Incomplete and Probabilistic Information. EDBT Workshops 2006: 278-296 - 2005
- [j17]Alin Deutsch, Val Tannen:
XML queries and constraints, containment and reformulation. Theor. Comput. Sci. 336(1): 57-87 (2005) - [c36]Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen:
Containment and Minimization of RDF/S Query Patterns. ISWC 2005: 607-623 - [e2]Christoph Bussler, Val Tannen, Irini Fundulaki:
Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers. 2005, ISBN 3-540-24576-6 [contents] - [i1]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 - 2004
- [j16]Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis:
Viewing the semantic web through RVL lenses. J. Web Semant. 1(4): 359-375 (2004) - 2003
- [j15]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) - [c35]Alin Deutsch, Val Tannen:
Reformulation of XML Queries and Constraints. ICDT 2003: 225-241 - [c34]Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis:
Viewing the Semantic Web through RVL Lenses. ISWC 2003: 96-112 - [c33]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: 381-393 - [c32]Alin Deutsch, Val Tannen:
MARS: A System for Publishing XML from Mixed and Redundant Storage. VLDB 2003: 201-212 - [p1]Val Tannen, Susan B. Davidson, Scott Harker:
The Information Integration System K2. Bioinformatics 2003: 225-248 - 2001
- [j14]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 Syst. J. 40(2): 512-531 (2001) - [c31]Alin Deutsch, Val Tannen:
Optimization Properties for Classes of Conjunctive Regular Path Queries. DBPL 2001: 21-39 - [c30]Alin Deutsch, Val Tannen:
Containment and Integrity Constraints for XPath. KRDB 2001 - [c29]Arnaud Sahuguet, Val Tannen:
ubQL, a Language for Programming Distributed Query Systems. WebDB 2001: 37-42 - 2000
- [c28]Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen:
A Chase Too Far? SIGMOD Conference 2000: 273-284
1990 – 1999
- 1999
- [c27]Barry G. Silverman, Oleg Sokolsky, Val Tannen, Alex Wong, Lance Lang, Allan Khoury, Keith E. Campbell, Chen Qiang, Arnaud Sahuguet:
HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. AMIA 1999 - [c26]Lucian Popa, Val Tannen:
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT 1999: 39-57 - [c25]Alin Deutsch, Lucian Popa, Val Tannen:
Physical Data Independence, Constraints, and Optimization with Universal Plans. VLDB 1999: 459-470 - 1998
- [c24]Val Tannen:
Heterogeneous Data Integration with Mobile Information Managers (Abstract). Multimedia Information Systems 1998: 2-3 - 1997
- [j13]Dan Suciu, Val Tannen:
A Query Language for NC. J. Comput. Syst. Sci. 55(2): 299-321 (1997) - [j12]Susan B. Davidson, G. Christian Overton, Val Tannen, Limsoon Wong:
BioKleisli: A Digital Library for Biomedical Researchers. Int. J. Digit. Libr. 1(1): 36-53 (1997) - [c23]S. Kazem Lellahi, Val Tannen:
A Calculus for Collections and Aggregates. Category Theory and Computer Science 1997: 261-280 - 1996
- [j11]Delia Kesner, Laurence Puel, Val Tannen:
A Typed Pattern Calculus. Inf. Comput. 124(1): 32-61 (1996) - [c22]V. S. Subrahmanian, Su-Shing Chen, James A. Hendler, Richard Hull, Val Tannen:
Smart Mediators and Intelligent Agents (Panel). CIKM 1996: 343 - [e1]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. Electronic Workshops in Computing, Springer 1996, ISBN 3-540-76086-5 [contents] - 1995
- [j10]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) - 1994
- [j9]Val Tannen, Jean H. Gallier:
Polymorphic Rewriting Conserves Algebraic Confluence. Inf. Comput. 114(1): 1-29 (1994) - [j8]Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong:
Comprehension Syntax. SIGMOD Rec. 23(1): 87-96 (1994) - [c21]Val Breazu-Tannen:
Collection Types in Databases. BDA 1994 - [c20]Dan Suciu, Val Tannen:
A Query Language for NC. LCC 1994: 503-514 - [c19]Val Tannen:
Tutorial: Languages for Collection Types. PODS 1994: 150-154 - [c18]Dan Suciu, Val Tannen:
A Query Language for NC. PODS 1994: 167-178 - [c17]Dan Suciu, Val Tannen:
Efficient Compilation of High-Level Data Parallel Algorithms. SPAA 1994: 57-66 - 1993
- [j7]Val Tannen, Albert R. Meyer:
Conservativity of Equational Theories in Typed Lambda Calculi. Fundam. Informaticae 19(1/2): 1-49 (1993) - [c16]Val Tannen, Delia Kesner, Laurence Puel:
A Typed Pattern Calculus. LICS 1993: 262-274 - 1992
- [c15]Val Tannen, Peter Buneman, Limsoon Wong:
Naturally Embedded Query Languages. ICDT 1992: 140-154 - [c14]Val Tannen, Ramesh Subrahmanyam:
On Extending Computational Adequacy by Data Abstraction. LISP and Functional Programming 1992: 161-169 - 1991
- [j6]