default search action
BibTeX records: Val Tannen
@article{DBLP:journals/pacmmod/ZhaoDKRT24, author = {Hangdong Zhao and Shaleen Deep and Paraschos Koutris and Sudeepa Roy and Val Tannen}, title = {Evaluating Datalog over Semirings: {A} Grounding-based Approach}, journal = {Proc. {ACM} Manag. Data}, volume = {2}, number = {2}, pages = {90}, year = {2024}, url = {https://doi.org/10.1145/3651591}, doi = {10.1145/3651591}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmmod/ZhaoDKRT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/BudiuCMRT24, author = {Mihai Budiu and Tej Chajed and Frank McSherry and Leonid Ryzhyk and Val Tannen}, title = {{DBSP:} Incremental Computation on Streams and Its Applications to Databases}, journal = {{SIGMOD} Rec.}, volume = {53}, number = {1}, pages = {87--95}, year = {2024}, url = {https://doi.org/10.1145/3665252.3665271}, doi = {10.1145/3665252.3665271}, timestamp = {Tue, 11 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigmod/BudiuCMRT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2403-12436, author = {Hangdong Zhao and Shaleen Deep and Paraschos Koutris and Sudeepa Roy and Val Tannen}, title = {Evaluating Datalog over Semirings: {A} Grounding-based Approach}, journal = {CoRR}, volume = {abs/2403.12436}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.12436}, doi = {10.48550/ARXIV.2403.12436}, eprinttype = {arXiv}, eprint = {2403.12436}, timestamp = {Mon, 08 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-12436.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmmod/Tian0N0T23, author = {Zilu Tian and Peter Lindner and Markus Nissl and Christoph Koch and Val Tannen}, title = {Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations}, journal = {Proc. {ACM} Manag. Data}, volume = {1}, number = {2}, pages = {151:1--151:28}, year = {2023}, url = {https://doi.org/10.1145/3589296}, doi = {10.1145/3589296}, timestamp = {Fri, 07 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmmod/Tian0N0T23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/BudiuCMRT23, author = {Mihai Budiu and Tej Chajed and Frank McSherry and Leonid Ryzhyk and Val Tannen}, title = {{DBSP:} Automatic Incremental View Maintenance for Rich Query Languages}, journal = {Proc. {VLDB} Endow.}, volume = {16}, number = {7}, pages = {1601--1614}, year = {2023}, url = {https://www.vldb.org/pvldb/vol16/p1601-budiu.pdf}, doi = {10.14778/3587136.3587137}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/BudiuCMRT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/DunnTZ23, author = {Lawrence Dunn and Val Tannen and Steve Zdancewic}, editor = {Adam Naumowicz and Ren{\'{e}} Thiemann}, title = {Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure}, booktitle = {14th International Conference on Interactive Theorem Proving, {ITP} 2023, July 31 to August 4, 2023, Bia{\l}ystok, Poland}, series = {LIPIcs}, volume = {268}, pages = {14:1--14:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ITP.2023.14}, doi = {10.4230/LIPICS.ITP.2023.14}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/itp/DunnTZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2312-08897, author = {Lawrence Dunn and Val Tannen and Steve Zdancewic}, editor = {Sam Staton and Christina Vasilakopoulou}, title = {Syntax Monads for the Working Formal Metatheorist}, booktitle = {Proceedings of the Sixth International Conference on Applied Category Theory 2023, {ACT} 2023, University of Maryland, 31 July - 4 August 2023}, series = {{EPTCS}}, volume = {397}, pages = {98--117}, year = {2023}, url = {https://doi.org/10.4204/EPTCS.397.7}, doi = {10.4204/EPTCS.397.7}, timestamp = {Mon, 10 Jun 2024 17:01:47 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2312-08897.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/WuTD22, author = {Yinjun Wu and Val Tannen and Susan B. Davidson}, title = {Provenance-based Model Maintenance: Implications for Privacy}, journal = {{IEEE} Data Eng. Bull.}, volume = {45}, number = {1}, pages = {37--49}, year = {2022}, url = {http://sites.computer.org/debull/A22mar/p37.pdf}, timestamp = {Tue, 17 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/WuTD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/PernaTW22, author = {Stefano Perna and Val Tannen and Limsoon Wong}, title = {Iterating on multiple collections in synchrony}, journal = {J. Funct. Program.}, volume = {32}, pages = {e9}, year = {2022}, url = {https://doi.org/10.1017/S0956796822000041}, doi = {10.1017/S0956796822000041}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/PernaTW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-16684, author = {Mihai Budiu and Frank McSherry and Leonid Ryzhyk and Val Tannen}, title = {{DBSP:} Automatic Incremental View Maintenance for Rich Query Languages}, journal = {CoRR}, volume = {abs/2203.16684}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.16684}, doi = {10.48550/ARXIV.2203.16684}, eprinttype = {arXiv}, eprint = {2203.16684}, timestamp = {Mon, 04 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-16684.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/DannertGNT21, author = {Katrin M. Dannert and Erich Gr{\"{a}}del and Matthias Naaf and Val Tannen}, editor = {Christel Baier and Jean Goubault{-}Larrecq}, title = {Semiring Provenance for Fixed-Point Logic}, booktitle = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)}, series = {LIPIcs}, volume = {183}, pages = {17:1--17:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.CSL.2021.17}, doi = {10.4230/LIPICS.CSL.2021.17}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/DannertGNT21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/AlurHIKMNSTX21, author = {Rajeev Alur and Phillip Hilliard and Zachary G. Ives and Konstantinos Kallas and Konstantinos Mamouras and Filip Niksic and Caleb Stanford and Val Tannen and Anton Xue}, editor = {Leonid Libkin and Reinhard Pichler and Paolo Guagliardo}, title = {Synchronization Schemas}, booktitle = {PODS'21: Proceedings of the 40th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021}, pages = {1--18}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3452021.3458317}, doi = {10.1145/3452021.3458317}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/AlurHIKMNSTX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/WuTD20, author = {Yinjun Wu and Val Tannen and Susan B. Davidson}, editor = {David Maier and Rachel Pottinger and AnHai Doan and Wang{-}Chiew Tan and Abdussalam Alawini and Hung Q. Ngo}, title = {PrIU: {A} Provenance-Based Approach for Incrementally Updating Regression Models}, booktitle = {Proceedings of the 2020 International Conference on Management of Data, {SIGMOD} Conference 2020, online conference [Portland, OR, USA], June 14-19, 2020}, pages = {447--462}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3318464.3380571}, doi = {10.1145/3318464.3380571}, timestamp = {Wed, 04 May 2022 13:02:28 +0200}, biburl = {https://dblp.org/rec/conf/sigmod/WuTD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-11791, author = {Yinjun Wu and Val Tannen and Susan B. Davidson}, title = {PrIU: {A} Provenance-Based Approach for Incrementally Updating Regression Models}, journal = {CoRR}, volume = {abs/2002.11791}, year = {2020}, url = {https://arxiv.org/abs/2002.11791}, eprinttype = {arXiv}, eprint = {2002.11791}, timestamp = {Tue, 03 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-11791.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/MamourasSAIT19, author = {Konstantinos Mamouras and Caleb Stanford and Rajeev Alur and Zachary G. Ives and Val Tannen}, editor = {Kathryn S. McKinley and Kathleen Fisher}, title = {Data-trace types for distributed stream processing systems}, booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA, June 22-26, 2019}, pages = {670--685}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3314221.3314580}, doi = {10.1145/3314221.3314580}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/MamourasSAIT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-08470, author = {Erich Gr{\"{a}}del and Val Tannen}, title = {Provenance Analysis for Logic and Games}, journal = {CoRR}, volume = {abs/1907.08470}, year = {2019}, url = {http://arxiv.org/abs/1907.08470}, eprinttype = {arXiv}, eprint = {1907.08470}, timestamp = {Tue, 23 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-08470.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-07910, author = {Katrin M. Dannert and Erich Gr{\"{a}}del and Matthias Naaf and Val Tannen}, title = {Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic}, journal = {CoRR}, volume = {abs/1910.07910}, year = {2019}, url = {http://arxiv.org/abs/1910.07910}, eprinttype = {arXiv}, eprint = {1910.07910}, timestamp = {Tue, 22 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-07910.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/AlawiniDSTW17, author = {Abdussalam Alawini and Susan B. Davidson and Gianmaria Silvello and Val Tannen and Yinjun Wu}, title = {Data Citation: {A} New Provenance Challenge}, journal = {{IEEE} Data Eng. Bull.}, volume = {41}, number = {1}, pages = {27--38}, year = {2018}, url = {http://sites.computer.org/debull/A18mar/p27.pdf}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/AlawiniDSTW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/XuZAT17, author = {Jane Xu and Waley Zhang and Abdussalam Alawini and Val Tannen}, title = {Provenance Analysis for Missing Answers and Integrity Repairs}, journal = {{IEEE} Data Eng. Bull.}, volume = {41}, number = {1}, pages = {39--50}, year = {2018}, url = {http://sites.computer.org/debull/A18mar/p39.pdf}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/XuZAT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/AlurMST18, author = {Rajeev Alur and Konstantinos Mamouras and Caleb Stanford and Val Tannen}, editor = {Marten Lohstroh and Patricia Derler and Marjan Sirjani}, title = {Interfaces for Stream Processing Systems}, booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {10760}, pages = {38--60}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-95246-8\_3}, doi = {10.1007/978-3-319-95246-8\_3}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/AlurMST18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Tannen18, author = {Val Tannen}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Conjunctive Query}, booktitle = {Encyclopedia of Database Systems, Second Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4614-8265-9\_1002}, doi = {10.1007/978-1-4614-8265-9\_1002}, timestamp = {Thu, 14 Feb 2019 09:43:36 +0100}, biburl = {https://dblp.org/rec/reference/db/Tannen18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Tannen18a, author = {Val Tannen}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {First-Order Logic: Semantics}, booktitle = {Encyclopedia of Database Systems, Second Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4614-8265-9\_1000}, doi = {10.1007/978-1-4614-8265-9\_1000}, timestamp = {Thu, 14 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/Tannen18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Tannen18b, author = {Val Tannen}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {First-Order Logic: Syntax}, booktitle = {Encyclopedia of Database Systems, Second Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4614-8265-9\_999}, doi = {10.1007/978-1-4614-8265-9\_999}, timestamp = {Thu, 14 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/Tannen18b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Tannen18c, author = {Val Tannen}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Relational Algebra}, booktitle = {Encyclopedia of Database Systems, Second Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4614-8265-9\_967}, doi = {10.1007/978-1-4614-8265-9\_967}, timestamp = {Thu, 14 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/Tannen18c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Tannen18d, author = {Val Tannen}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Relational Calculus}, booktitle = {Encyclopedia of Database Systems, Second Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4614-8265-9\_972}, doi = {10.1007/978-1-4614-8265-9\_972}, timestamp = {Thu, 14 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/Tannen18d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siglog/Tannen17, author = {Val Tannen}, title = {Provenance analysis for {FOL} model checking}, journal = {{ACM} {SIGLOG} News}, volume = {4}, number = {1}, pages = {24--36}, year = {2017}, url = {https://doi.org/10.1145/3051528.3051533}, doi = {10.1145/3051528.3051533}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siglog/Tannen17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/SundarmurthyKLN17, author = {Bruhathi Sundarmurthy and Paraschos Koutris and Willis Lang and Jeffrey F. Naughton and Val Tannen}, editor = {Michael Benedikt and Giorgio Orsi}, title = {m-tables: Representing Missing Data}, booktitle = {20th International Conference on Database Theory, {ICDT} 2017, March 21-24, 2017, Venice, Italy}, series = {LIPIcs}, volume = {68}, pages = {21:1--21:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.ICDT.2017.21}, doi = {10.4230/LIPICS.ICDT.2017.21}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/icdt/SundarmurthyKLN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/GreenT17, author = {Todd J. Green and Val Tannen}, editor = {Emanuel Sallinger and Jan Van den Bussche and Floris Geerts}, title = {The Semiring Framework for Database Provenance}, booktitle = {Proceedings of the 36th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2017, Chicago, IL, USA, May 14-19, 2017}, pages = {93--99}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3034786.3056125}, doi = {10.1145/3034786.3056125}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/GreenT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1712-01980, author = {Erich Gr{\"{a}}del and Val Tannen}, title = {Semiring Provenance for First-Order Model Checking}, journal = {CoRR}, volume = {abs/1712.01980}, year = {2017}, url = {http://arxiv.org/abs/1712.01980}, eprinttype = {arXiv}, eprint = {1712.01980}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-01980.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/AssadiKLT16, author = {Sepehr Assadi and Sanjeev Khanna and Yang Li and Val Tannen}, editor = {Wim Martens and Thomas Zeume}, title = {Algorithms for Provisioning Queries and Analytics}, booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016}, series = {LIPIcs}, volume = {48}, pages = {18:1--18:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.18}, doi = {10.4230/LIPICS.ICDT.2016.18}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/icdt/AssadiKLT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/0001LT16, author = {Christoph Koch and Daniel Lupei and Val Tannen}, editor = {Tova Milo and Wang{-}Chiew Tan}, title = {Incremental View Maintenance For Collection Programming}, booktitle = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26 - July 01, 2016}, pages = {75--90}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2902251.2902286}, doi = {10.1145/2902251.2902286}, timestamp = {Tue, 06 Nov 2018 16:58:02 +0100}, biburl = {https://dblp.org/rec/conf/pods/0001LT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapp/YanTI16, author = {Zhepeng Yan and Val Tannen and Zachary G. Ives}, editor = {Sarah Cohen Boulakia}, title = {Fine-grained Provenance for Linear Algebra Operators}, booktitle = {8th {USENIX} Workshop on the Theory and Practice of Provenance, TaPP 2016, Washington, D.C., USA, June 8-9, 2016}, publisher = {{USENIX} Association}, year = {2016}, url = {https://www.usenix.org/conference/tapp16/workshop-program/presentation/yan}, timestamp = {Tue, 02 Feb 2021 08:04:57 +0100}, biburl = {https://dblp.org/rec/conf/tapp/YanTI16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vldb/DeutchMT15, author = {Daniel Deutch and Yuval Moskovitch and Val Tannen}, title = {Provenance-based analysis of data-centric processes}, journal = {{VLDB} J.}, volume = {24}, number = {4}, pages = {583--607}, year = {2015}, url = {https://doi.org/10.1007/s00778-015-0390-5}, doi = {10.1007/S00778-015-0390-5}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vldb/DeutchMT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/AssadiKLT15, author = {Sepehr Assadi and Sanjeev Khanna and Yang Li and Val Tannen}, editor = {Prahladh Harsha and G. Ramalingam}, title = {Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches}, booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015, Bangalore, India}, series = {LIPIcs}, volume = {45}, pages = {52--68}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.52}, doi = {10.4230/LIPICS.FSTTCS.2015.52}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/AssadiKLT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/HaririT15, author = {Babak Bagheri Hariri and Val Tannen}, title = {Decidability of Equivalence of Aggregate Count-Distinct Queries}, journal = {CoRR}, volume = {abs/1509.00100}, year = {2015}, url = {http://arxiv.org/abs/1509.00100}, eprinttype = {arXiv}, eprint = {1509.00100}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HaririT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AssadiKLT15, author = {Sepehr Assadi and Sanjeev Khanna and Yang Li and Val Tannen}, title = {Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches}, journal = {CoRR}, volume = {abs/1510.03252}, year = {2015}, url = {http://arxiv.org/abs/1510.03252}, eprinttype = {arXiv}, eprint = {1510.03252}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AssadiKLT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AssadiKLT15a, author = {Sepehr Assadi and Sanjeev Khanna and Yang Li and Val Tannen}, title = {Algorithms for Provisioning Queries and Analytics}, journal = {CoRR}, volume = {abs/1512.06143}, year = {2015}, url = {http://arxiv.org/abs/1512.06143}, eprinttype = {arXiv}, eprint = {1512.06143}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AssadiKLT15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/DeutchMT14, author = {Daniel Deutch and Yuval Moskovitch and Val Tannen}, title = {A Provenance Framework for Data-Dependent Process Analysis}, journal = {Proc. {VLDB} Endow.}, volume = {7}, number = {6}, pages = {457--468}, year = {2014}, url = {http://www.vldb.org/pvldb/vol7/p457-deutch.pdf}, doi = {10.14778/2732279.2732283}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/DeutchMT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/DeutchMRT14, author = {Daniel Deutch and Tova Milo and Sudeepa Roy and Val Tannen}, editor = {Nicole Schweikardt and Vassilis Christophides and Vincent Leroy}, title = {Circuits for Datalog Provenance}, booktitle = {Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014}, pages = {201--212}, publisher = {OpenProceedings.org}, year = {2014}, url = {https://doi.org/10.5441/002/icdt.2014.22}, doi = {10.5441/002/ICDT.2014.22}, timestamp = {Tue, 16 Jan 2018 17:46:10 +0100}, biburl = {https://dblp.org/rec/conf/icdt/DeutchMRT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LupeiKT14, author = {Daniel Lupei and Christoph Koch and Val Tannen}, title = {Incremental View Maintenance for Nested-Relational Databases}, journal = {CoRR}, volume = {abs/1412.4320}, year = {2014}, url = {http://arxiv.org/abs/1412.4320}, eprinttype = {arXiv}, eprint = {1412.4320}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LupeiKT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/DeutchMT13, author = {Daniel Deutch and Yuval Moskovitch and Val Tannen}, title = {{PROPOLIS:} Provisioned Analysis of Data-Centric Processes}, journal = {Proc. {VLDB} Endow.}, volume = {6}, number = {12}, pages = {1302--1305}, year = {2013}, url = {http://www.vldb.org/pvldb/vol6/p1302-deutch.pdf}, doi = {10.14778/2536274.2536301}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/DeutchMT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tods/KarvounarakisGIT13, author = {Grigoris Karvounarakis and Todd J. Green and Zachary G. Ives and Val Tannen}, title = {Collaborative data sharing via update exchange and provenance}, journal = {{ACM} Trans. Database Syst.}, volume = {38}, number = {3}, pages = {19}, year = {2013}, url = {http://doi.acm.org/10.1145/2500127}, doi = {10.1145/2500127}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tods/KarvounarakisGIT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Tannen13, author = {Val Tannen}, editor = {Val Tannen and Limsoon Wong and Leonid Libkin and Wenfei Fan and Wang{-}Chiew Tan and Michael P. Fourman}, title = {Provenance Propagation in Complex Queries}, booktitle = {In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman}, series = {Lecture Notes in Computer Science}, volume = {8000}, pages = {483--493}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41660-6\_26}, doi = {10.1007/978-3-642-41660-6\_26}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Tannen13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cidr/DeutchIMT13, author = {Daniel Deutch and Zachary G. Ives and Tova Milo and Val Tannen}, title = {Caravan: Provisioning for What-If Analysis}, booktitle = {Sixth Biennial Conference on Innovative Data Systems Research, {CIDR} 2013, Asilomar, CA, USA, January 6-9, 2013, Online Proceedings}, publisher = {www.cidrdb.org}, year = {2013}, url = {http://cidrdb.org/cidr2013/Papers/CIDR13\_Paper100.pdf}, timestamp = {Mon, 18 Jul 2022 17:13:00 +0200}, biburl = {https://dblp.org/rec/conf/cidr/DeutchIMT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2013buneman, editor = {Val Tannen and Limsoon Wong and Leonid Libkin and Wenfei Fan and Wang{-}Chiew Tan and Michael P. Fourman}, title = {In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman}, series = {Lecture Notes in Computer Science}, volume = {8000}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41660-6}, doi = {10.1007/978-3-642-41660-6}, isbn = {978-3-642-41659-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2013buneman.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tapp/2013, editor = {Alexandra Meliou and Val Tannen}, title = {5th Workshop on the Theory and Practice of Provenance, TaPP'13, Lombard, IL, USA, April 2-3, 2013}, publisher = {{USENIX} Association}, year = {2013}, url = {https://www.usenix.org/conference/tapp13}, timestamp = {Tue, 02 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tapp/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tods/AmsterdamerDMT12, author = {Yael Amsterdamer and Daniel Deutch and Tova Milo and Val Tannen}, title = {On Provenance Minimization}, journal = {{ACM} Trans. Database Syst.}, volume = {37}, number = {4}, pages = {30:1--30:36}, year = {2012}, url = {https://doi.org/10.1145/2389241.2389249}, doi = {10.1145/2389241.2389249}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tods/AmsterdamerDMT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1201-0231, author = {Yael Amsterdamer and Susan B. Davidson and Daniel Deutch and Tova Milo and Julia Stoyanovich and Val Tannen}, title = {Putting Lipstick on Pig: Enabling Database-style Workflow Provenance}, journal = {CoRR}, volume = {abs/1201.0231}, year = {2012}, url = {http://arxiv.org/abs/1201.0231}, eprinttype = {arXiv}, eprint = {1201.0231}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1201-0231.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/GreenIT11, author = {Todd J. Green and Zachary G. Ives and Val Tannen}, title = {Reconcilable Differences}, journal = {Theory Comput. Syst.}, volume = {49}, number = {2}, pages = {460--488}, year = {2011}, url = {https://doi.org/10.1007/s00224-011-9323-x}, doi = {10.1007/S00224-011-9323-X}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/GreenIT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/KhannaRT11, author = {Sanjeev Khanna and Sudeepa Roy and Val Tannen}, title = {Queries with Difference on Probabilistic Databases}, journal = {Proc. {VLDB} Endow.}, volume = {4}, number = {11}, pages = {1051--1062}, year = {2011}, url = {http://www.vldb.org/pvldb/vol4/p1051-khanna.pdf}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/KhannaRT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/AmsterdamerDDMST11, author = {Yael Amsterdamer and Susan B. Davidson and Daniel Deutch and Tova Milo and Julia Stoyanovich and Val Tannen}, title = {Putting Lipstick on Pig: Enabling Database-style Workflow Provenance}, journal = {Proc. {VLDB} Endow.}, volume = {5}, number = {4}, pages = {346--357}, year = {2011}, url = {http://vldb.org/pvldb/vol5/p346\_yaelamsterdamer\_vldb2012.pdf}, doi = {10.14778/2095686.2095693}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/AmsterdamerDDMST11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cidr/DavidsonKTRCMS11, author = {Susan B. Davidson and Sanjeev Khanna and Val Tannen and Sudeepa Roy and Yi Chen and Tova Milo and Julia Stoyanovich}, title = {Enabling Privacy in Provenance-Aware Workflow Systems}, booktitle = {Fifth Biennial Conference on Innovative Data Systems Research, {CIDR} 2011, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings}, pages = {215--218}, publisher = {www.cidrdb.org}, year = {2011}, url = {http://cidrdb.org/cidr2011/Papers/CIDR11\_Paper30.pdf}, timestamp = {Mon, 18 Jul 2022 17:13:00 +0200}, biburl = {https://dblp.org/rec/conf/cidr/DavidsonKTRCMS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icde/StoyanovichDMT11, author = {Julia Stoyanovich and Susan B. Davidson and Tova Milo and Val Tannen}, editor = {Serge Abiteboul and Klemens B{\"{o}}hm and Christoph Koch and Kian{-}Lee Tan}, title = {Deriving probabilistic databases with inference ensembles}, booktitle = {Proceedings of the 27th International Conference on Data Engineering, {ICDE} 2011, April 11-16, 2011, Hannover, Germany}, pages = {303--314}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICDE.2011.5767854}, doi = {10.1109/ICDE.2011.5767854}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icde/StoyanovichDMT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/DavidsonKRSTC11, author = {Susan B. Davidson and Sanjeev Khanna and Sudeepa Roy and Julia Stoyanovich and Val Tannen and Yi Chen}, editor = {Tova Milo}, title = {On provenance and privacy}, booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings}, pages = {3--10}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1938551.1938554}, doi = {10.1145/1938551.1938554}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icdt/DavidsonKRSTC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/RoyPT11, author = {Sudeepa Roy and Vittorio Perduca and Val Tannen}, editor = {Tova Milo}, title = {Faster query answering in probabilistic databases using read-once functions}, booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings}, pages = {232--243}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1938551.1938582}, doi = {10.1145/1938551.1938582}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdt/RoyPT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/AmsterdamerDMT11, author = {Yael Amsterdamer and Daniel Deutch and Tova Milo and Val Tannen}, editor = {Maurizio Lenzerini and Thomas Schwentick}, title = {On provenance minimization}, booktitle = {Proceedings of the 30th {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, {PODS} 2011, June 12-16, 2011, Athens, Greece}, pages = {141--152}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1989284.1989303}, doi = {10.1145/1989284.1989303}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pods/AmsterdamerDMT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/AmsterdamerDT11, author = {Yael Amsterdamer and Daniel Deutch and Val Tannen}, editor = {Maurizio Lenzerini and Thomas Schwentick}, title = {Provenance for aggregate queries}, booktitle = {Proceedings of the 30th {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, {PODS} 2011, June 12-16, 2011, Athens, Greece}, pages = {153--164}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1989284.1989302}, doi = {10.1145/1989284.1989302}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pods/AmsterdamerDT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapp/AmsterdamerDT11, author = {Yael Amsterdamer and Daniel Deutch and Val Tannen}, editor = {Peter Buneman and Juliana Freire}, title = {On the Limitations of Provenance for Queries with Difference}, booktitle = {3rd Workshop on the Theory and Practice of Provenance, TaPP'11, Heraklion, Crete, Greece, June 20-21, 2011}, publisher = {{USENIX} Association}, year = {2011}, url = {https://www.usenix.org/conference/tapp11/limitations-provenance-queries-difference}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tapp/AmsterdamerDT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/amw/2011, editor = {Pablo Barcel{\'{o}} and Val Tannen}, title = {Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {749}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-749}, urn = {urn:nbn:de:0074-749-2}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/amw/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1101-1110, author = {Yael Amsterdamer and Daniel Deutch and Val Tannen}, title = {Provenance for Aggregate Queries}, journal = {CoRR}, volume = {abs/1101.1110}, year = {2011}, url = {http://arxiv.org/abs/1101.1110}, eprinttype = {arXiv}, eprint = {1101.1110}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1101-1110.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1105-2255, author = {Yael Amsterdamer and Daniel Deutch and Val Tannen}, title = {On the Limitations of Provenance for Queries With Difference}, journal = {CoRR}, volume = {abs/1105.2255}, year = {2011}, url = {http://arxiv.org/abs/1105.2255}, eprinttype = {arXiv}, eprint = {1105.2255}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1105-2255.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/GreenKIT10, author = {Todd J. Green and Grigoris Karvounarakis and Zachary G. Ives and Val Tannen}, title = {Provenance in {ORCHESTRA}}, journal = {{IEEE} Data Eng. Bull.}, volume = {33}, number = {3}, pages = {9--16}, year = {2010}, url = {http://sites.computer.org/debull/A10sept/green.pdf}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/GreenKIT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/Tannen10, author = {Val Tannen}, editor = {Alberto H. F. Laender and Laks V. S. Lakshmanan}, title = {Provenance for Database Transformations}, booktitle = {Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, Buenos Aires, Argentina, May 17-20, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {619}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-619/tutorial3.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/Tannen10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edbt/Tannen10, author = {Val Tannen}, editor = {Ioana Manolescu and Stefano Spaccapietra and Jens Teubner and Masaru Kitsuregawa and Alain L{\'{e}}ger and Felix Naumann and Anastasia Ailamaki and Fatma {\"{O}}zcan}, title = {Provenance for database transformations}, booktitle = {{EDBT} 2010, 13th International Conference on Extending Database Technology, Lausanne, Switzerland, March 22-26, 2010, Proceedings}, series = {{ACM} International Conference Proceeding Series}, volume = {426}, pages = {1}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1739041.1739043}, doi = {10.1145/1739041.1739043}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edbt/Tannen10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/KarvounarakisIT10, author = {Grigoris Karvounarakis and Zachary G. Ives and Val Tannen}, editor = {Ahmed K. Elmagarmid and Divyakant Agrawal}, title = {Querying data provenance}, booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data, {SIGMOD} 2010, Indianapolis, Indiana, USA, June 6-10, 2010}, pages = {951--962}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1807167.1807269}, doi = {10.1145/1807167.1807269}, timestamp = {Thu, 11 Mar 2021 15:20:15 +0100}, biburl = {https://dblp.org/rec/conf/sigmod/KarvounarakisIT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1012-0335, author = {Sudeepa Roy and Vittorio Perduca and Val Tannen}, title = {Faster Query Answering in Probabilistic Databases using Read-Once Functions}, journal = {CoRR}, volume = {abs/1012.0335}, year = {2010}, url = {http://arxiv.org/abs/1012.0335}, eprinttype = {arXiv}, eprint = {1012.0335}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1012-0335.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/GreenIT09, author = {Todd J. Green and Zachary G. Ives and Val Tannen}, editor = {Ronald Fagin}, title = {Reconcilable differences}, booktitle = {Database Theory - {ICDT} 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings}, series = {{ACM} International Conference Proceeding Series}, volume = {361}, pages = {212--224}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1514894.1514920}, doi = {10.1145/1514894.1514920}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdt/GreenIT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/igi/Erickson09/KoffinaSCT09, author = {Ioanna Koffina and Giorgos Serfiotis and Vassilis Christophides and Val Tannen}, editor = {John Erickson}, title = {Mediating {RDF/S} Queries to Relational and {XML} Sources}, booktitle = {Database Technologies: Concepts, Methodologies, Tools, and Applications {(4} Volumes)}, pages = {596--614}, publisher = {{IGI} Global}, year = {2009}, url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=7933}, timestamp = {Tue, 16 May 2017 14:01:33 +0200}, biburl = {https://dblp.org/rec/books/igi/Erickson09/KoffinaSCT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Tannen09, author = {Val Tannen}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Conjunctive Query}, booktitle = {Encyclopedia of Database Systems}, pages = {448--449}, publisher = {Springer {US}}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-39940-9\_1002}, doi = {10.1007/978-0-387-39940-9\_1002}, timestamp = {Sun, 02 Jun 2019 21:10:27 +0200}, biburl = {https://dblp.org/rec/reference/db/Tannen09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Tannen09a, author = {Val Tannen}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {First-Order Logic: Semantics}, booktitle = {Encyclopedia of Database Systems}, pages = {1138--1139}, publisher = {Springer {US}}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-39940-9\_1000}, doi = {10.1007/978-0-387-39940-9\_1000}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/db/Tannen09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Tannen09b, author = {Val Tannen}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {First-Order Logic: Syntax}, booktitle = {Encyclopedia of Database Systems}, pages = {1139--1141}, publisher = {Springer {US}}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-39940-9\_999}, doi = {10.1007/978-0-387-39940-9\_999}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/db/Tannen09b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Tannen09c, author = {Val Tannen}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Relational Algebra}, booktitle = {Encyclopedia of Database Systems}, pages = {2369--2370}, publisher = {Springer {US}}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-39940-9\_967}, doi = {10.1007/978-0-387-39940-9\_967}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/db/Tannen09c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Tannen09d, author = {Val Tannen}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Relational Calculus}, booktitle = {Encyclopedia of Database Systems}, pages = {2370--2371}, publisher = {Springer {US}}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-39940-9\_972}, doi = {10.1007/978-0-387-39940-9\_972}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/db/Tannen09d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/IvesGKTTTJP08, author = {Zachary G. Ives and Todd J. Green and Grigoris Karvounarakis and Nicholas E. Taylor and Val Tannen and Partha Pratim Talukdar and Marie Jacob and Fernando C. N. Pereira}, title = {The {ORCHESTRA} Collaborative Data Sharing System}, journal = {{SIGMOD} Rec.}, volume = {37}, number = {3}, pages = {26--32}, year = {2008}, url = {https://doi.org/10.1145/1462571.1462577}, doi = {10.1145/1462571.1462577}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigmod/IvesGKTTTJP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipaw/Tannen08, author = {Val Tannen}, editor = {Juliana Freire and David Koop and Luc Moreau}, title = {Provenance for Database Transformations}, booktitle = {Provenance and Annotation of Data and Processes, Second International Provenance and Annotation Workshop, {IPAW} 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5272}, pages = {1}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89965-5\_1}, doi = {10.1007/978-3-540-89965-5\_1}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/ipaw/Tannen08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/FosterGT08, author = {J. Nathan Foster and Todd J. Green and Val Tannen}, editor = {Maurizio Lenzerini and Domenico Lembo}, title = {Annotated {XML:} queries and provenance}, booktitle = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver, BC, Canada}, pages = {271--280}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1376916.1376954}, doi = {10.1145/1376916.1376954}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/FosterGT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/GreenKT07, author = {Todd J. Green and Gregory Karvounarakis and Val Tannen}, editor = {Leonid Libkin}, title = {Provenance semirings}, booktitle = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China}, pages = {31--40}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1265530.1265535}, doi = {10.1145/1265530.1265535}, timestamp = {Wed, 28 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/GreenKT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/GreenKTBIT07, author = {Todd J. Green and Gregory Karvounarakis and Nicholas E. Taylor and Olivier Biton and Zachary G. Ives and Val Tannen}, editor = {Chee Yong Chan and Beng Chin Ooi and Aoying Zhou}, title = {{ORCHESTRA:} facilitating collaborative data sharing}, booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data, Beijing, China, June 12-14, 2007}, pages = {1131--1133}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1247480.1247631}, doi = {10.1145/1247480.1247631}, timestamp = {Thu, 11 Mar 2021 15:20:15 +0100}, biburl = {https://dblp.org/rec/conf/sigmod/GreenKTBIT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vldb/GreenKIT07, author = {Todd J. Green and Grigoris Karvounarakis and Zachary G. Ives and Val Tannen}, editor = {Christoph Koch and Johannes Gehrke and Minos N. Garofalakis and Divesh Srivastava and Karl Aberer and Anand Deshpande and Daniela Florescu and Chee Yong Chan and Venkatesh Ganti and Carl{-}Christian Kanne and Wolfgang Klas and Erich J. Neuhold}, title = {Update Exchange with Mappings and Provenance}, booktitle = {Proceedings of the 33rd International Conference on Very Large Data Bases, University of Vienna, Austria, September 23-27, 2007}, pages = {675--686}, publisher = {{ACM}}, year = {2007}, url = {http://www.vldb.org/conf/2007/papers/research/p675-green.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vldb/GreenKIT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dils/2007, editor = {Sarah Cohen Boulakia and Val Tannen}, title = {Data Integration in the Life Sciences, 4th International Workshop, {DILS} 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4544}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73255-6}, doi = {10.1007/978-3-540-73255-6}, isbn = {978-3-540-73254-9}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dils/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/GreenT06, author = {Todd J. Green and Val Tannen}, title = {Models for Incomplete and Probabilistic Information}, journal = {{IEEE} Data Eng. Bull.}, volume = {29}, number = {1}, pages = {17--24}, year = {2006}, url = {http://sites.computer.org/debull/A06mar/green.ps}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/GreenT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijswis/KoffinaSCT06, author = {Ioanna Koffina and Giorgos Serfiotis and Vassilis Christophides and Val Tannen}, title = {Mediating {RDF/S} Queries to Relational and {XML} Sources}, journal = {Int. J. Semantic Web Inf. Syst.}, volume = {2}, number = {4}, pages = {68--91}, year = {2006}, url = {https://doi.org/10.4018/jswis.2006100103}, doi = {10.4018/JSWIS.2006100103}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijswis/KoffinaSCT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/DeutschPT06, author = {Alin Deutsch and Lucian Popa and Val Tannen}, title = {Query reformulation with constraints}, journal = {{SIGMOD} Rec.}, volume = {35}, number = {1}, pages = {65--73}, year = {2006}, url = {https://doi.org/10.1145/1121995.1122010}, doi = {10.1145/1121995.1122010}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigmod/DeutschPT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edbtw/GreenT06, author = {Todd J. Green and Val Tannen}, editor = {Torsten Grust and Hagen H{\"{o}}pfner and Arantza Illarramendi and Stefan Jablonski and Marco Mesiti and Sascha M{\"{u}}ller and Paula{-}Lavinia Patranjan and Kai{-}Uwe Sattler and Myra Spiliopoulou and Jef Wijsen}, title = {Models for Incomplete and Probabilistic Information}, booktitle = {Current Trends in Database Technology - {EDBT} 2006, {EDBT} 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4254}, pages = {278--296}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11896548\_24}, doi = {10.1007/11896548\_24}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/edbtw/GreenT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DeutschT05, author = {Alin Deutsch and Val Tannen}, title = {{XML} queries and constraints, containment and reformulation}, journal = {Theor. Comput. Sci.}, volume = {336}, number = {1}, pages = {57--87}, year = {2005}, url = {https://doi.org/10.1016/j.tcs.2004.10.032}, doi = {10.1016/J.TCS.2004.10.032}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DeutschT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/SerfiotisKCT05, author = {Giorgos Serfiotis and Ioanna Koffina and Vassilis Christophides and Val Tannen}, editor = {Yolanda Gil and Enrico Motta and V. Richard Benjamins and Mark A. Musen}, title = {Containment and Minimization of {RDF/S} Query Patterns}, booktitle = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference, {ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3729}, pages = {607--623}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11574620\_44}, doi = {10.1007/11574620\_44}, timestamp = {Tue, 07 Sep 2021 13:47:46 +0200}, biburl = {https://dblp.org/rec/conf/semweb/SerfiotisKCT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/semweb/2004swdb, editor = {Christoph Bussler and Val Tannen and Irini Fundulaki}, title = {Semantic Web and Databases, Second International Workshop, {SWDB} 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers}, volume = {3372}, year = {2005}, url = {https://doi.org/10.1007/b106149}, doi = {10.1007/B106149}, isbn = {3-540-24576-6}, timestamp = {Tue, 30 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/2004swdb.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/KoffinaSCTD05, author = {Ioanna Koffina and Giorgos Serfiotis and Vassilis Christophides and Val Tannen and Alin Deutsch}, editor = {Yannis Kalfoglou and W. Marco Schorlemmer and Amit P. Sheth and Steffen Staab and Michael Uschold}, title = {Integrating {XML} Data Sources using {RDF/S} Schemas: The {ICS-FORTH} Semantic Web Integration Middleware {(SWIM)}}, booktitle = {Semantic Interoperability and Integration}, series = {Dagstuhl Seminar Proceedings}, volume = {04391}, publisher = {IBFI, Schloss Dagstuhl, Germany}, year = {2005}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/34}, timestamp = {Thu, 10 Jun 2021 13:02:05 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/KoffinaSCTD05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/MagkanarakiTCP04, author = {Aimilia Magkanaraki and Val Tannen and Vassilis Christophides and Dimitris Plexousakis}, title = {Viewing the semantic web through {RVL} lenses}, journal = {J. Web Semant.}, volume = {1}, number = {4}, pages = {359--375}, year = {2004}, url = {https://doi.org/10.1016/j.websem.2004.06.004}, doi = {10.1016/J.WEBSEM.2004.06.004}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ws/MagkanarakiTCP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/ChristophidesKMPT03, author = {Vassilis Christophides and Gregory Karvounarakis and Aimilia Magkanaraki and Dimitris Plexousakis and Val Tannen}, title = {The {ICS-FORTH} Semantic Web Integration Middleware {(SWIM)}}, journal = {{IEEE} Data Eng. Bull.}, volume = {26}, number = {4}, pages = {11--18}, year = {2003}, url = {http://sites.computer.org/debull/A03dec/tannen.ps}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/debu/ChristophidesKMPT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/DeutschT03, author = {Alin Deutsch and Val Tannen}, editor = {Diego Calvanese and Maurizio Lenzerini and Rajeev Motwani}, title = {Reformulation of {XML} Queries and Constraints}, booktitle = {Database Theory - {ICDT} 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2572}, pages = {225--241}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36285-1\_15}, doi = {10.1007/3-540-36285-1\_15}, timestamp = {Thu, 02 Jan 2020 12:13:44 +0100}, biburl = {https://dblp.org/rec/conf/icdt/DeutschT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/MagkanarakiTCP03, author = {Aimilia Magkanaraki and Val Tannen and Vassilis Christophides and Dimitris Plexousakis}, editor = {Dieter Fensel and Katia P. Sycara and John Mylopoulos}, title = {Viewing the Semantic Web through {RVL} Lenses}, booktitle = {The Semantic Web - {ISWC} 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2870}, pages = {96--112}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39718-2\_7}, doi = {10.1007/978-3-540-39718-2\_7}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/MagkanarakiTCP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/ChristophidesKKKMPST03, author = {Vassilis Christophides and Gregory Karvounarakis and Ioanna Koffina and Giorgos Kokkinidis and Aimilia Magkanaraki and Dimitris Plexousakis and Giorgos Serfiotis and Val Tannen}, editor = {Isabel F. Cruz and Vipul Kashyap and Stefan Decker and Rainer Eckstein}, title = {The {ICS-FORTH} {SWIM:} {A} Powerful Semantic Web Integration Middleware}, booktitle = {Proceedings of SWDB'03, The first International Workshop on Semantic Web and Databases, Co-located with {VLDB} 2003, Humboldt-Universit{\"{a}}t, Berlin, Germany, September 7-8, 2003}, pages = {381--393}, year = {2003}, timestamp = {Tue, 12 Apr 2005 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/ChristophidesKKKMPST03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vldb/DeutschT03, author = {Alin Deutsch and Val Tannen}, editor = {Johann Christoph Freytag and Peter C. Lockemann and Serge Abiteboul and Michael J. Carey and Patricia G. Selinger and Andreas Heuer}, title = {{MARS:} {A} System for Publishing {XML} from Mixed and Redundant Storage}, booktitle = {Proceedings of 29th International Conference on Very Large Data Bases, {VLDB} 2003, Berlin, Germany, September 9-12, 2003}, pages = {201--212}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://www.vldb.org/conf/2003/papers/S07P03.pdf}, doi = {10.1016/B978-012722442-8/50026-4}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vldb/DeutschT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/03/TannenDH03, author = {Val Tannen and Susan B. Davidson and Scott Harker}, editor = {Zo{\'{e}} Lacroix and Terence Critchlow}, title = {The Information Integration System {K2}}, booktitle = {Bioinformatics}, series = {The Morgan Kaufmann series in multimedia information and systems}, pages = {225--248}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/b978-155860829-0/50010-3}, doi = {10.1016/B978-155860829-0/50010-3}, timestamp = {Thu, 28 May 2020 13:03:15 +0200}, biburl = {https://dblp.org/rec/books/el/03/TannenDH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ibmsj/DavidsonCBSTOJ01, author = {Susan B. Davidson and Jonathan Crabtree and Brian P. Brunk and Jonathan Schug and Val Tannen and G. Christian Overton and Christian J. Stoeckert Jr.}, title = {K2/Kleisli and {GUS:} Experiments in integrated access to genomic data sources}, journal = {{IBM} Syst. J.}, volume = {40}, number = {2}, pages = {512--531}, year = {2001}, url = {https://doi.org/10.1147/sj.402.0512}, doi = {10.1147/SJ.402.0512}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ibmsj/DavidsonCBSTOJ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dbpl/DeutschT01, author = {Alin Deutsch and Val Tannen}, editor = {Giorgio Ghelli and G{\"{o}}sta Grahne}, title = {Optimization Properties for Classes of Conjunctive Regular Path Queries}, booktitle = {Database Programming Languages, 8th International Workshop, {DBPL} 2001, Frascati, Italy, September 8-10, 2001, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2397}, pages = {21--39}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-46093-4\_2}, doi = {10.1007/3-540-46093-4\_2}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/dbpl/DeutschT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/krdb/DeutschT01, author = {Alin Deutsch and Val Tannen}, editor = {Maurizio Lenzerini and Daniele Nardi and Werner Nutt and Dan Suciu}, title = {Containment and Integrity Constraints for XPath}, booktitle = {Proceedings of the 8th International Workshop on Knowledge Representation meets Databases {(KRDB} 2001), Rome, Italy, September 15, 2001}, series = {{CEUR} Workshop Proceedings}, volume = {45}, publisher = {CEUR-WS.org}, year = {2001}, url = {https://ceur-ws.org/Vol-45/01-deutsch.ps}, timestamp = {Fri, 10 Mar 2023 16:23:33 +0100}, biburl = {https://dblp.org/rec/conf/krdb/DeutschT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webdb/SahuguetT01, author = {Arnaud Sahuguet and Val Tannen}, editor = {Giansalvatore Mecca and J{\'{e}}r{\^{o}}me Sim{\'{e}}on}, title = {ubQL, a Language for Programming Distributed Query Systems}, booktitle = {Proceedings of the Fourth International Workshop on the Web and Databases, WebDB 2001, Santa Barbara, California, USA, May 24-25, 2001, in conjunction with {ACM} {PODS/SIGMOD} 2001. Informal proceedings}, pages = {37--42}, year = {2001}, timestamp = {Wed, 08 Feb 2017 17:14:49 +0100}, biburl = {https://dblp.org/rec/conf/webdb/SahuguetT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/PopaDST00, author = {Lucian Popa and Alin Deutsch and Arnaud Sahuguet and Val Tannen}, editor = {Weidong Chen and Jeffrey F. Naughton and Philip A. Bernstein}, title = {A Chase Too Far?}, booktitle = {Proceedings of the 2000 {ACM} {SIGMOD} International Conference on Management of Data, May 16-18, 2000, Dallas, Texas, {USA}}, pages = {273--284}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/342009.335421}, doi = {10.1145/342009.335421}, timestamp = {Fri, 12 Mar 2021 14:14:34 +0100}, biburl = {https://dblp.org/rec/conf/sigmod/PopaDST00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amia/SilvermanSTWLKCQS99, author = {Barry G. Silverman and Oleg Sokolsky and Val Tannen and Alex Wong and Lance Lang and Allan Khoury and Keith E. Campbell and Chen Qiang and Arnaud Sahuguet}, title = {{HOLON/CADSE:} integrating open software standards and formal methods to generate guideline-based decision support agents}, booktitle = {{AMIA} 1999, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 6-10, 1999}, publisher = {{AMIA}}, year = {1999}, url = {https://knowledge.amia.org/amia-55142-a1999a-1.591078/t-001-1.593353/f-001-1.593354/a-193-1.593388/a-194-1.593385}, timestamp = {Wed, 17 Apr 2024 11:48:49 +0200}, biburl = {https://dblp.org/rec/conf/amia/SilvermanSTWLKCQS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/PopaT99, author = {Lucian Popa and Val Tannen}, editor = {Catriel Beeri and Peter Buneman}, title = {An Equational Chase for Path-Conjunctive Queries, Constraints, and Views}, booktitle = {Database Theory - {ICDT} '99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1540}, pages = {39--57}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49257-7\_4}, doi = {10.1007/3-540-49257-7\_4}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/icdt/PopaT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vldb/DeutschPT99, author = {Alin Deutsch and Lucian Popa and Val Tannen}, editor = {Malcolm P. Atkinson and Maria E. Orlowska and Patrick Valduriez and Stanley B. Zdonik and Michael L. Brodie}, title = {Physical Data Independence, Constraints, and Optimization with Universal Plans}, booktitle = {VLDB'99, Proceedings of 25th International Conference on Very Large Data Bases, September 7-10, 1999, Edinburgh, Scotland, {UK}}, pages = {459--470}, publisher = {Morgan Kaufmann}, year = {1999}, url = {http://www.vldb.org/conf/1999/P44.pdf}, timestamp = {Wed, 11 May 2022 08:53:25 +0200}, biburl = {https://dblp.org/rec/conf/vldb/DeutschPT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mis/Tannen98, author = {Val Tannen}, editor = {Sushil Jajodia and M. Tamer {\"{O}}zsu and Asuman Dogac}, title = {Heterogeneous Data Integration with Mobile Information Managers (Abstract)}, booktitle = {Advances in Multimedia Information Systems, 4th International Workshop, MIS'98, Istanbul, Turkey, September 24-26, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1508}, pages = {2--3}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49651-3\_2}, doi = {10.1007/3-540-49651-3\_2}, timestamp = {Tue, 21 Mar 2023 21:01:40 +0100}, biburl = {https://dblp.org/rec/conf/mis/Tannen98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/SuciuT97, author = {Dan Suciu and Val Tannen}, title = {A Query Language for {NC}}, journal = {J. Comput. Syst. Sci.}, volume = {55}, number = {2}, pages = {299--321}, year = {1997}, url = {https://doi.org/10.1006/jcss.1997.1525}, doi = {10.1006/JCSS.1997.1525}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/SuciuT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jodl/DavidsonOTW97, author = {Susan B. Davidson and G. Christian Overton and Val Tannen and Limsoon Wong}, title = {BioKleisli: {A} Digital Library for Biomedical Researchers}, journal = {Int. J. Digit. Libr.}, volume = {1}, number = {1}, pages = {36--53}, year = {1997}, url = {https://doi.org/10.1007/s007990050003}, doi = {10.1007/S007990050003}, timestamp = {Fri, 11 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jodl/DavidsonOTW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ctcs/LellahiT97, author = {S. Kazem Lellahi and Val Tannen}, editor = {Eugenio Moggi and Giuseppe Rosolini}, title = {A Calculus for Collections and Aggregates}, booktitle = {Category Theory and Computer Science, 7th International Conference, {CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1290}, pages = {261--280}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0026993}, doi = {10.1007/BFB0026993}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/ctcs/LellahiT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/KesnerPT96, author = {Delia Kesner and Laurence Puel and Val Tannen}, title = {A Typed Pattern Calculus}, journal = {Inf. Comput.}, volume = {124}, number = {1}, pages = {32--61}, year = {1996}, url = {https://doi.org/10.1006/inco.1996.0004}, doi = {10.1006/INCO.1996.0004}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/KesnerPT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cikm/SubrahmanianCHHT96, author = {V. S. Subrahmanian and Su{-}Shing Chen and James A. Hendler and Richard Hull and Val Tannen}, title = {Smart Mediators and Intelligent Agents (Panel)}, booktitle = {{CIKM} '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12 - 16, 1996, Rockville, Maryland, {USA}}, pages = {343}, publisher = {{ACM}}, year = {1996}, url = {https://doi.org/10.1145/238355.238578}, doi = {10.1145/238355.238578}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cikm/SubrahmanianCHHT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dbpl/95, editor = {Paolo Atzeni and Val Tannen}, title = {Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995}, series = {Electronic Workshops in Computing}, publisher = {Springer}, year = {1996}, url = {http://ewic.bcs.org/category/17157}, isbn = {3-540-76086-5}, timestamp = {Mon, 27 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dbpl/95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BunemanNTW95, author = {Peter Buneman and Shamim A. Naqvi and Val Tannen and Limsoon Wong}, title = {Principles of Programming with Complex Objects and Collection Types}, journal = {Theor. Comput. Sci.}, volume = {149}, number = {1}, pages = {3--48}, year = {1995}, url = {https://doi.org/10.1016/0304-3975(95)00024-Q}, doi = {10.1016/0304-3975(95)00024-Q}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BunemanNTW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/TannenG94, author = {Val Tannen and Jean H. Gallier}, title = {Polymorphic Rewriting Conserves Algebraic Confluence}, journal = {Inf. Comput.}, volume = {114}, number = {1}, pages = {1--29}, year = {1994}, url = {https://doi.org/10.1006/inco.1994.1078}, doi = {10.1006/INCO.1994.1078}, timestamp = {Fri, 13 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/TannenG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/BunemanLSTW94, author = {Peter Buneman and Leonid Libkin and Dan Suciu and Val Tannen and Limsoon Wong}, title = {Comprehension Syntax}, journal = {{SIGMOD} Rec.}, volume = {23}, number = {1}, pages = {87--96}, year = {1994}, url = {https://doi.org/10.1145/181550.181564}, doi = {10.1145/181550.181564}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigmod/BunemanLSTW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bda/Breazu-Tannen94, author = {Val Breazu{-}Tannen}, editor = {Nicole Bidoit}, title = {Collection Types in Databases}, booktitle = {Dixi{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es, 30 Ao{\^{u}}t - 2 Septembre 1994, Clermont-Ferrand, France (Informal Proceedings)}, publisher = {{INRIA}}, year = {1994}, timestamp = {Fri, 22 Jun 2018 07:11:17 +0200}, biburl = {https://dblp.org/rec/conf/bda/Breazu-Tannen94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lcc/SuciuT94, author = {Dan Suciu and Val Tannen}, editor = {Daniel Leivant}, title = {A Query Language for {NC}}, booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop {LCC} '94, Indianapolis, Indiana, USA, 13-16 October 1994}, series = {Lecture Notes in Computer Science}, volume = {960}, pages = {503--514}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60178-3\_100}, doi = {10.1007/3-540-60178-3\_100}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lcc/SuciuT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/Tannen94, author = {Val Tannen}, editor = {Victor Vianu}, title = {Tutorial: Languages for Collection Types}, booktitle = {Proceedings of the Thirteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, {USA}}, pages = {150--154}, publisher = {{ACM} Press}, year = {1994}, url = {https://doi.org/10.1145/182591.182608}, doi = {10.1145/182591.182608}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/Tannen94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/SuciuT94, author = {Dan Suciu and Val Tannen}, editor = {Victor Vianu}, title = {A Query Language for {NC}}, booktitle = {Proceedings of the Thirteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, {USA}}, pages = {167--178}, publisher = {{ACM} Press}, year = {1994}, url = {https://doi.org/10.1145/182591.182610}, doi = {10.1145/182591.182610}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/SuciuT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spaa/SuciuT94, author = {Dan Suciu and Val Tannen}, editor = {Lawrence Snyder and Charles E. Leiserson}, title = {Efficient Compilation of High-Level Data Parallel Algorithms}, booktitle = {Proceedings of the 6th Annual {ACM} Symposium on Parallel Algorithms and Architectures, {SPAA} '94, Cape May, New Jersey, USA, June 27-29, 1994}, pages = {57--66}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/181014.181032}, doi = {10.1145/181014.181032}, timestamp = {Mon, 29 Jul 2024 11:07:21 +0200}, biburl = {https://dblp.org/rec/conf/spaa/SuciuT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/TannenM93, author = {Val Tannen and Albert R. Meyer}, title = {Conservativity of Equational Theories in Typed Lambda Calculi}, journal = {Fundam. Informaticae}, volume = {19}, number = {1/2}, pages = {1--49}, year = {1993}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/TannenM93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Breazu-TannenKP93, author = {Val Tannen and Delia Kesner and Laurence Puel}, title = {A Typed Pattern Calculus}, booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science {(LICS} '93), Montreal, Canada, June 19-23, 1993}, pages = {262--274}, publisher = {{IEEE} Computer Society}, year = {1993}, url = {https://doi.org/10.1109/LICS.1993.287581}, doi = {10.1109/LICS.1993.287581}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Breazu-TannenKP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/TannenBW92, author = {Val Tannen and Peter Buneman and Limsoon Wong}, editor = {Joachim Biskup and Richard Hull}, title = {Naturally Embedded Query Languages}, booktitle = {Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {646}, pages = {140--154}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-56039-4\_38}, doi = {10.1007/3-540-56039-4\_38}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/icdt/TannenBW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfp/TannenS92, author = {Val Tannen and Ramesh Subrahmanyam}, editor = {Jon L. White}, title = {On Extending Computational Adequacy by Data Abstraction}, booktitle = {Proceedings of the Conference on Lisp and Functional Programming, {LFP} 1992, San Francisco, California, USA, 22-24 June 1992}, pages = {161--169}, publisher = {{ACM}}, year = {1992}, url = {https://doi.org/10.1145/141471.141530}, doi = {10.1145/141471.141530}, timestamp = {Fri, 06 Aug 2021 15:08:55 +0200}, biburl = {https://dblp.org/rec/conf/lfp/TannenS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/TannenBO91, author = {Val Tannen and Peter Buneman and Atsushi Ohori}, title = {Data Structures and Data Types for Object-Oriented Databases}, journal = {{IEEE} Data Eng. Bull.}, volume = {14}, number = {2}, pages = {23--27}, year = {1991}, url = {http://sites.computer.org/debull/91JUN-CD.pdf}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/TannenBO91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Breazu-TannenCGS91, author = {Val Tannen and Thierry Coquand and Carl A. Gunter and Andre Scedrov}, title = {Inheritance as Implicit Coercion}, journal = {Inf. Comput.}, volume = {93}, number = {1}, pages = {172--221}, year = {1991}, url = {https://doi.org/10.1016/0890-5401(91)90055-7}, doi = {10.1016/0890-5401(91)90055-7}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Breazu-TannenCGS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/TannenG91, author = {Val Tannen and Jean H. Gallier}, title = {Polymorphic Rewriting Conserves Algebraic Strong Normalization}, journal = {Theor. Comput. Sci.}, volume = {83}, number = {1}, pages = {3--28}, year = {1991}, url = {https://doi.org/10.1016/0304-3975(91)90037-3}, doi = {10.1016/0304-3975(91)90037-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/TannenG91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/Breazu-TannenS91, author = {Val Breazu{-}Tannen and Ramesh Subrahmanyam}, editor = {Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo}, title = {On Adding Algebraic Theories with Induction to Typed Lambda Calculi}, booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991}, series = {Workshops in Computing}, pages = {327--340}, publisher = {Springer}, year = {1991}, timestamp = {Tue, 18 Feb 2003 11:01:41 +0100}, biburl = {https://dblp.org/rec/conf/amast/Breazu-TannenS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dbpl/TannenBN91, author = {Val Tannen and Peter Buneman and Shamim A. Naqvi}, editor = {Paris C. Kanellakis and Joachim W. Schmidt}, title = {Structural Recursion as a Query Language}, booktitle = {Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings}, pages = {9--19}, publisher = {Morgan Kaufmann}, year = {1991}, timestamp = {Wed, 29 Mar 2017 16:45:27 +0200}, biburl = {https://dblp.org/rec/conf/dbpl/TannenBN91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/TannenS91, author = {Val Tannen and Ramesh Subrahmanyam}, editor = {Javier Leach Albert and Burkhard Monien and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Logical and Computational Aspects of Programming with Sets/Bags/Lists}, booktitle = {Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {510}, pages = {60--75}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54233-7\_125}, doi = {10.1007/3-540-54233-7\_125}, timestamp = {Fri, 17 Jul 2020 16:12:48 +0200}, biburl = {https://dblp.org/rec/conf/icalp/TannenS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfp/TannenGS90, author = {Val Tannen and Carl A. Gunter and Andre Scedrov}, editor = {Gilles Kahn}, title = {Computing with Coercions}, booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional Programming, {LFP} 1990, Nice, France, 27-29 June 1990}, pages = {44--60}, publisher = {{ACM}}, year = {1990}, url = {https://doi.org/10.1145/91556.91590}, doi = {10.1145/91556.91590}, timestamp = {Fri, 06 Aug 2021 15:08:55 +0200}, biburl = {https://dblp.org/rec/conf/lfp/TannenGS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/TannenBO89, author = {Val Tannen and Peter Buneman and Atsushi Ohori}, title = {Static Type-checking in Object-Oriented Databases}, journal = {{IEEE} Data Eng. Bull.}, volume = {12}, number = {3}, pages = {5--12}, year = {1989}, url = {http://sites.computer.org/debull/89SEP-CD.pdf}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/TannenBO89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dbpl/TannenBO89, author = {Val Tannen and Peter Buneman and Atsushi Ohori}, editor = {Richard Hull and Ronald Morrison and David W. Stemple}, title = {Can Object-Oriented Databases be Statically Typed?}, booktitle = {Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon, {USA}}, pages = {226--237}, publisher = {Morgan Kaufmann}, year = {1989}, timestamp = {Wed, 20 Jun 2018 17:19:07 +0200}, biburl = {https://dblp.org/rec/conf/dbpl/TannenBO89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/TannenG89, author = {Val Tannen and Jean H. Gallier}, editor = {Giorgio Ausiello and Mariangiola Dezani{-}Ciancaglini and Simona Ronchi Della Rocca}, title = {Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence}, booktitle = {Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {372}, pages = {137--150}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0035757}, doi = {10.1007/BFB0035757}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/TannenG89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Breazu-TannenCGS89, author = {Val Tannen and Thierry Coquand and Carl A. Gunter and Andre Scedrov}, title = {Inheritance and Explicit Coercion (Preliminary Report)}, booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989}, pages = {112--129}, publisher = {{IEEE} Computer Society}, year = {1989}, url = {https://doi.org/10.1109/LICS.1989.39166}, doi = {10.1109/LICS.1989.39166}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Breazu-TannenCGS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/OhoriBT89, author = {Atsushi Ohori and Peter Buneman and Val Tannen}, editor = {James Clifford and Bruce G. Lindsay and David Maier}, title = {Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference}, booktitle = {Proceedings of the 1989 {ACM} {SIGMOD} International Conference on Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989}, pages = {46--57}, publisher = {{ACM} Press}, year = {1989}, url = {https://doi.org/10.1145/67544.66931}, doi = {10.1145/67544.66931}, timestamp = {Mon, 21 Jun 2021 16:00:48 +0200}, biburl = {https://dblp.org/rec/conf/sigmod/OhoriBT89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/TannenC88, author = {Val Tannen and Thierry Coquand}, title = {Extensional Models for Polymorphism}, journal = {Theor. Comput. Sci.}, volume = {59}, pages = {85--114}, year = {1988}, url = {https://doi.org/10.1016/0304-3975(88)90097-7}, doi = {10.1016/0304-3975(88)90097-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/TannenC88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Breazu-Tannen88a, author = {Val Tannen}, title = {Combining Algebra and Higher-Order Types}, booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science {(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988}, pages = {82--90}, publisher = {{IEEE} Computer Society}, year = {1988}, url = {https://doi.org/10.1109/LICS.1988.5103}, doi = {10.1109/LICS.1988.5103}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Breazu-Tannen88a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Breazu-TannenM87, author = {Val Tannen and Albert R. Meyer}, title = {Polymorphism is conservative over simple types (Preliminary Report)}, booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS} '87), Ithaca, New York, USA, June 22-25, 1987}, pages = {7--17}, publisher = {{IEEE} Computer Society}, year = {1987}, timestamp = {Thu, 22 Jan 2015 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Breazu-TannenM87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/TannenM87, author = {Val Tannen and Albert R. Meyer}, title = {Computable Values Can Be Classical}, booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987}, pages = {238--245}, publisher = {{ACM} Press}, year = {1987}, url = {https://doi.org/10.1145/41625.41646}, doi = {10.1145/41625.41646}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/TannenM87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapsoft/TannenC87, author = {Val Tannen and Thierry Coquand}, editor = {Hartmut Ehrig and Robert A. Kowalski and Giorgio Levi and Ugo Montanari}, title = {Extensional Models for Polymorphism}, booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development {II} and Colloquium on Functional and Logic Programming and Specifications {(CFLP)}}, series = {Lecture Notes in Computer Science}, volume = {250}, pages = {291--307}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0014987}, doi = {10.1007/BFB0014987}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/TannenC87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lop/Breazu-TannenM85, author = {Val Breazu{-}Tannen and Albert R. Meyer}, editor = {Rohit Parikh}, title = {Lambda Calculus with Constrained Types (Extended Abstract)}, booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA, June 17-19, 1985, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {193}, pages = {23--40}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15648-8\_3}, doi = {10.1007/3-540-15648-8\_3}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/lop/Breazu-TannenM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BreazuS81, author = {Val Tannen and Octavian Stanasila}, title = {A Generalization of Kleene's Theorem and Nondeterministic Structured Programming}, journal = {Inf. Control.}, volume = {51}, number = {2}, pages = {146--152}, year = {1981}, url = {https://doi.org/10.1016/S0019-9958(81)90235-7}, doi = {10.1016/S0019-9958(81)90235-7}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BreazuS81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.