Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Val Tannen
@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, 26 Jul 2023 16:07:09 +0200},
biburl = {https://dblp.org/rec/conf/itp/DunnTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-08897,
author = {Lawrence Dunn and
Val Tannen and
Steve Zdancewic},
title = {Syntax Monads for the Working Formal Metatheorist},
journal = {CoRR},
volume = {abs/2312.08897},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.08897},
doi = {10.48550/ARXIV.2312.08897},
eprinttype = {arXiv},
eprint = {2312.08897},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
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, 13 Jan 2021 16:24:57 +0100},
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, 25 Oct 2020 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, 06 Nov 2018 00:00:00 +0100},
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, 05 Feb 2024 00:00:00 +0100},
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}
}
a service of 
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.
last updated on 2024-04-18 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
