Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Victor Vianu
@article{DBLP:journals/sigmod/KumarDGPSV22,
author = {Arun Kumar and
Alin Deutsch and
Amarnath Gupta and
Yannis Papakonstantinou and
Babak Salimi and
Victor Vianu},
title = {Database Education at {UC} San Diego},
journal = {{SIGMOD} Rec.},
volume = {51},
number = {3},
pages = {43--46},
year = {2022},
url = {https://doi.org/10.1145/3572751.3572763},
doi = {10.1145/3572751.3572763},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/KumarDGPSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Vianu21,
author = {Victor Vianu},
editor = {Leonid Libkin and
Reinhard Pichler and
Paolo Guagliardo},
title = {Datalog Unchained},
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 = {57--69},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452021.3458815},
doi = {10.1145/3452021.3458815},
timestamp = {Mon, 21 Jun 2021 12:19:15 +0200},
biburl = {https://dblp.org/rec/conf/pods/Vianu21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/SegoufinV20,
author = {Luc Segoufin and
Victor Vianu},
editor = {Dan Suciu and
Yufei Tao and
Zhewei Wei},
title = {Projection Views of Register Automata},
booktitle = {Proceedings of the 39th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2020, Portland, OR, USA, June 14-19, 2020},
pages = {299--313},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3375395.3387651},
doi = {10.1145/3375395.3387651},
timestamp = {Thu, 29 Sep 2022 08:01:46 +0200},
biburl = {https://dblp.org/rec/conf/pods/SegoufinV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/DeutschLV19,
author = {Alin Deutsch and
Yuliang Li and
Victor Vianu},
title = {Verification of Hierarchical Artifact Systems},
journal = {{ACM} Trans. Database Syst.},
volume = {44},
number = {3},
pages = {12:1--12:68},
year = {2019},
url = {https://doi.org/10.1145/3321487},
doi = {10.1145/3321487},
timestamp = {Wed, 24 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/DeutschLV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/SuGV19,
author = {Jianwen Su and
Dirk Van Gucht and
Victor Vianu},
editor = {Dan Suciu and
Sebastian Skritek and
Christoph Koch},
title = {2019 {ACM} {PODS} Alberto O. Mendelzon Test-of-Time Award},
booktitle = {Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June
30 - July 5, 2019},
pages = {47},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3294052.3322193},
doi = {10.1145/3294052.3322193},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/SuGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-manifestos/AbiteboulABBCD018,
author = {Serge Abiteboul and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Meghyn Bienvenu and
Diego Calvanese and
Claire David and
Richard Hull and
Eyke H{\"{u}}llermeier and
Benny Kimelfeld and
Leonid Libkin and
Wim Martens and
Tova Milo and
Filip Murlak and
Frank Neven and
Magdalena Ortiz and
Thomas Schwentick and
Julia Stoyanovich and
Jianwen Su and
Dan Suciu and
Victor Vianu and
Ke Yi},
title = {Research Directions for Principles of Data Management (Dagstuhl Perspectives
Workshop 16151)},
journal = {Dagstuhl Manifestos},
volume = {7},
number = {1},
pages = {1--29},
year = {2018},
url = {https://doi.org/10.4230/DagMan.7.1.1},
doi = {10.4230/DAGMAN.7.1.1},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-manifestos/AbiteboulABBCD018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/DeutschHLV18,
author = {Alin Deutsch and
Richard Hull and
Yuliang Li and
Victor Vianu},
title = {Automatic verification of database-centric systems},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {2},
pages = {37--56},
year = {2018},
url = {https://doi.org/10.1145/3212019.3212025},
doi = {10.1145/3212019.3212025},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/DeutschHLV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulBV18,
author = {Serge Abiteboul and
Pierre Bourhis and
Victor Vianu},
editor = {Jan Van den Bussche and
Marcelo Arenas},
title = {Explanations and Transparency in Collaborative Workflows},
booktitle = {Proceedings of the 37th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, Houston, TX, USA, June 10-15, 2018},
pages = {409--424},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196959.3196975},
doi = {10.1145/3196959.3196975},
timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulBV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/VianuG18,
author = {Victor Vianu and
Dirk Van Gucht},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Computationally Complete Relational Query Languages},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_1243},
doi = {10.1007/978-1-4614-8265-9\_1243},
timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
biburl = {https://dblp.org/rec/reference/db/VianuG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KoutsosV17,
author = {Adrien Koutsos and
Victor Vianu},
title = {Process-centric views of data-driven business artifacts},
journal = {J. Comput. Syst. Sci.},
volume = {86},
pages = {82--107},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2016.11.012},
doi = {10.1016/J.JCSS.2016.11.012},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/KoutsosV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/LiDV17,
author = {Yuliang Li and
Alin Deutsch and
Victor Vianu},
title = {{VERIFAS:} {A} Practical Verifier for Artifact Systems},
journal = {Proc. {VLDB} Endow.},
volume = {11},
number = {3},
pages = {283--296},
year = {2017},
url = {http://www.vldb.org/pvldb/vol11/p283-li.pdf},
doi = {10.14778/3157794.3157798},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/LiDV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbiteboulABBCDH17,
author = {Serge Abiteboul and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Meghyn Bienvenu and
Diego Calvanese and
Claire David and
Richard Hull and
Eyke H{\"{u}}llermeier and
Benny Kimelfeld and
Leonid Libkin and
Wim Martens and
Tova Milo and
Filip Murlak and
Frank Neven and
Magdalena Ortiz and
Thomas Schwentick and
Julia Stoyanovich and
Jianwen Su and
Dan Suciu and
Victor Vianu and
Ke Yi},
title = {Research Directions for Principles of Data Management (Dagstuhl Perspectives
Workshop 16151)},
journal = {CoRR},
volume = {abs/1701.09007},
year = {2017},
url = {http://arxiv.org/abs/1701.09007},
eprinttype = {arXiv},
eprint = {1701.09007},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbiteboulABBCDH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiDV17,
author = {Yuliang Li and
Alin Deutsch and
Victor Vianu},
title = {A Spin-based Verifier for Artifact Systems},
journal = {CoRR},
volume = {abs/1705.09427},
year = {2017},
url = {http://arxiv.org/abs/1705.09427},
eprinttype = {arXiv},
eprint = {1705.09427},
timestamp = {Wed, 24 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiDV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DeutschLV17,
author = {Alin Deutsch and
Yuliang Li and
Victor Vianu},
title = {{VERIFAS:} {A} Practical Verifier for Artifact Systems},
journal = {CoRR},
volume = {abs/1705.10007},
year = {2017},
url = {http://arxiv.org/abs/1705.10007},
eprinttype = {arXiv},
eprint = {1705.10007},
timestamp = {Wed, 24 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DeutschLV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AbiteboulABBCDH16,
author = {Serge Abiteboul and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Meghyn Bienvenu and
Diego Calvanese and
Claire David and
Richard Hull and
Eyke H{\"{u}}llermeier and
Benny Kimelfeld and
Leonid Libkin and
Wim Martens and
Tova Milo and
Filip Murlak and
Frank Neven and
Magdalena Ortiz and
Thomas Schwentick and
Julia Stoyanovich and
Jianwen Su and
Dan Suciu and
Victor Vianu and
Ke Yi},
title = {Research Directions for Principles of Data Management (Abridged)},
journal = {{SIGMOD} Rec.},
volume = {45},
number = {4},
pages = {5--17},
year = {2016},
url = {https://doi.org/10.1145/3092931.3092933},
doi = {10.1145/3092931.3092933},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/AbiteboulABBCDH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AbiteboulBV16,
author = {Serge Abiteboul and
Pierre Bourhis and
Victor Vianu},
editor = {Wim Martens and
Thomas Zeume},
title = {A Formal Study of Collaborative Access Control in Distributed Datalog},
booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
France, March 15-18, 2016},
series = {LIPIcs},
volume = {48},
pages = {10:1--10:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.10},
doi = {10.4230/LIPICS.ICDT.2016.10},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/AbiteboulBV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/HullBCDHV16,
author = {Richard Hull and
Vishal S. Batra and
Yi{-}Min Chen and
Alin Deutsch and
Fenno F. Terry Heath III and
Victor Vianu},
editor = {Quan Z. Sheng and
Eleni Stroulia and
Samir Tata and
Sami Bhiri},
title = {Towards a Shared Ledger Business Collaboration Language Based on Data-Aware
Processes},
booktitle = {Service-Oriented Computing - 14th International Conference, {ICSOC}
2016, Banff, AB, Canada, October 10-13, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9936},
pages = {18--36},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46295-0\_2},
doi = {10.1007/978-3-319-46295-0\_2},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/HullBCDHV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/DeutschLV16,
author = {Alin Deutsch and
Yuliang Li and
Victor Vianu},
editor = {Tova Milo and
Wang{-}Chiew Tan},
title = {Verification of Hierarchical Artifact Systems},
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 = {179--194},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2902251.2902275},
doi = {10.1145/2902251.2902275},
timestamp = {Wed, 24 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/DeutschLV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DeutschLV16,
author = {Alin Deutsch and
Yuliang Li and
Victor Vianu},
title = {Verification of Hierarchical Artifact Systems},
journal = {CoRR},
volume = {abs/1604.00967},
year = {2016},
url = {http://arxiv.org/abs/1604.00967},
eprinttype = {arXiv},
eprint = {1604.00967},
timestamp = {Wed, 24 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DeutschLV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu15,
author = {Victor Vianu},
title = {Invited Articles Foreword},
journal = {J. {ACM}},
volume = {62},
number = {1},
pages = {6:1},
year = {2015},
url = {https://doi.org/10.1145/2734885},
doi = {10.1145/2734885},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu15a,
author = {Victor Vianu},
title = {Invited Article Foreword},
journal = {J. {ACM}},
volume = {62},
number = {2},
pages = {16:1},
year = {2015},
url = {https://doi.org/10.1145/2754309},
doi = {10.1145/2754309},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu15b,
author = {Victor Vianu},
title = {Invited Article Foreword},
journal = {J. {ACM}},
volume = {62},
number = {3},
pages = {24:1},
year = {2015},
url = {https://doi.org/10.1145/2786600},
doi = {10.1145/2786600},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/AbiteboulBV15,
author = {Serge Abiteboul and
Pierre Bourhis and
Victor Vianu},
title = {Highly Expressive Query Languages for Unordered Data Trees},
journal = {Theory Comput. Syst.},
volume = {57},
number = {4},
pages = {927--966},
year = {2015},
url = {https://doi.org/10.1007/s00224-015-9617-5},
doi = {10.1007/S00224-015-9617-5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/AbiteboulBV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/Vianu15,
author = {Victor Vianu},
editor = {Andrea Cal{\`{\i}} and
Maria{-}Esther Vidal},
title = {Analysis of Data-Centric Workfows},
booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on
Foundations of Data Management, Lima, Peru, May 6 - 8, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1378},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1378/amw\_keynote1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/Vianu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/KoutsosV15,
author = {Adrien Koutsos and
Victor Vianu},
editor = {Marcelo Arenas and
Mart{\'{\i}}n Ugarte},
title = {Process-Centric Views of Data-Driven Business Artifacts},
booktitle = {18th International Conference on Database Theory, {ICDT} 2015, March
23-27, 2015, Brussels, Belgium},
series = {LIPIcs},
volume = {31},
pages = {247--264},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2015.247},
doi = {10.4230/LIPICS.ICDT.2015.247},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/KoutsosV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu14,
author = {Victor Vianu},
title = {Foreword to Invited Articles Section},
journal = {J. {ACM}},
volume = {61},
number = {1},
pages = {6:1},
year = {2014},
url = {https://doi.org/10.1145/2559908},
doi = {10.1145/2559908},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu14a,
author = {Victor Vianu},
title = {Invited Articles Foreword},
journal = {J. {ACM}},
volume = {61},
number = {4},
pages = {25:1},
year = {2014},
url = {https://doi.org/10.1145/2632167},
doi = {10.1145/2632167},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu14b,
author = {Victor Vianu},
title = {Invited article foreword},
journal = {J. {ACM}},
volume = {61},
number = {5},
pages = {31:1},
year = {2014},
url = {https://doi.org/10.1145/2656280},
doi = {10.1145/2656280},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu14c,
author = {Victor Vianu},
title = {Invited Article Foreword},
journal = {J. {ACM}},
volume = {61},
number = {6},
pages = {40:1},
year = {2014},
url = {https://doi.org/10.1145/2684458},
doi = {10.1145/2684458},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/DeutschHV14,
author = {Alin Deutsch and
Richard Hull and
Victor Vianu},
title = {Automatic Verification of Database-Centric Systems},
journal = {{SIGMOD} Rec.},
volume = {43},
number = {3},
pages = {5--17},
year = {2014},
url = {https://doi.org/10.1145/2694428.2694430},
doi = {10.1145/2694428.2694430},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/DeutschHV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AbiteboulDV14,
author = {Serge Abiteboul and
Daniel Deutch and
Victor Vianu},
editor = {Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {Deduction with Contradictions in Datalog},
booktitle = {Proc. 17th International Conference on Database Theory (ICDT), Athens,
Greece, March 24-28, 2014},
pages = {143--154},
publisher = {OpenProceedings.org},
year = {2014},
url = {https://doi.org/10.5441/002/icdt.2014.17},
doi = {10.5441/002/ICDT.2014.17},
timestamp = {Tue, 16 Jan 2018 17:46:10 +0100},
biburl = {https://dblp.org/rec/conf/icdt/AbiteboulDV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/VardiV13,
author = {Moshe Y. Vardi and
Victor Vianu},
title = {What is a flagship publication?},
journal = {Commun. {ACM}},
volume = {56},
number = {8},
pages = {5},
year = {2013},
url = {https://doi.org/10.1145/2492007.2492008},
doi = {10.1145/2492007.2492008},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/VardiV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu13,
author = {Victor Vianu},
title = {Invited Article Foreword},
journal = {J. {ACM}},
volume = {60},
number = {1},
pages = {5:1},
year = {2013},
url = {https://doi.org/10.1145/2432622.2432627},
doi = {10.1145/2432622.2432627},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu13a,
author = {Victor Vianu},
title = {Invited article foreword},
journal = {J. {ACM}},
volume = {60},
number = {2},
pages = {14:1},
year = {2013},
url = {https://doi.org/10.1145/2450142.2450150},
doi = {10.1145/2450142.2450150},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu13b,
author = {Victor Vianu},
title = {Invited Article Foreword},
journal = {J. {ACM}},
volume = {60},
number = {3},
pages = {21:1},
year = {2013},
url = {https://doi.org/10.1145/2487241.2487247},
doi = {10.1145/2487241.2487247},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu13c,
author = {Victor Vianu},
title = {Invited articles foreword},
journal = {J. {ACM}},
volume = {60},
number = {4},
pages = {27:1},
year = {2013},
url = {https://doi.org/10.1145/2508028.2508032},
doi = {10.1145/2508028.2508032},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu13c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu13d,
author = {Victor Vianu},
title = {Editorial: {JACM} redux},
journal = {J. {ACM}},
volume = {60},
number = {5},
pages = {30:1--30:2},
year = {2013},
url = {https://doi.org/10.1145/2528384.2528385},
doi = {10.1145/2528384.2528385},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu13d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu13e,
author = {Victor Vianu},
title = {Invited article foreword},
journal = {J. {ACM}},
volume = {60},
number = {5},
pages = {38:1},
year = {2013},
url = {https://doi.org/10.1145/2528384.2528386},
doi = {10.1145/2528384.2528386},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu13e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbiteboulV13,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Val Tannen and
Limsoon Wong and
Leonid Libkin and
Wenfei Fan and
Wang{-}Chiew Tan and
Michael P. Fourman},
title = {Models for Data-Centric Workflows},
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 = {1--12},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41660-6\_1},
doi = {10.1007/978-3-642-41660-6\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbiteboulV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulV13,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Richard Hull and
Wenfei Fan},
title = {Collaborative data-driven workflows: think global, act local},
booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
June 22 - 27, 2013},
pages = {91--102},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2463672},
doi = {10.1145/2463664.2463672},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu12,
author = {Victor Vianu},
title = {Invited article foreword},
journal = {J. {ACM}},
volume = {59},
number = {1},
pages = {4:1},
year = {2012},
url = {https://doi.org/10.1145/2108242.2108246},
doi = {10.1145/2108242.2108246},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu12a,
author = {Victor Vianu},
title = {Invited article foreword},
journal = {J. {ACM}},
volume = {59},
number = {2},
pages = {9:1},
year = {2012},
url = {https://doi.org/10.1145/2160158.2160162},
doi = {10.1145/2160158.2160162},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu12b,
author = {Victor Vianu},
title = {Invited Article Foreword},
journal = {J. {ACM}},
volume = {59},
number = {3},
pages = {15:1},
year = {2012},
url = {https://doi.org/10.1145/2220357.2220362},
doi = {10.1145/2220357.2220362},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu12c,
author = {Victor Vianu},
title = {Invited Article Foreword},
journal = {J. {ACM}},
volume = {59},
number = {4},
pages = {20:1},
year = {2012},
url = {https://doi.org/10.1145/2339123.2339128},
doi = {10.1145/2339123.2339128},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu12c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu12d,
author = {Victor Vianu},
title = {Invited article foreword},
journal = {J. {ACM}},
volume = {59},
number = {5},
pages = {26:1},
year = {2012},
url = {https://doi.org/10.1145/2371656.2371661},
doi = {10.1145/2371656.2371661},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu12d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/AbiteboulBV12,
author = {Serge Abiteboul and
Pierre Bourhis and
Victor Vianu},
title = {Comparing workflow specification languages: {A} matter of views},
journal = {{ACM} Trans. Database Syst.},
volume = {37},
number = {2},
pages = {10:1--10:59},
year = {2012},
url = {https://doi.org/10.1145/2188349.2188352},
doi = {10.1145/2188349.2188352},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/AbiteboulBV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/DamaggioDV12,
author = {Elio Damaggio and
Alin Deutsch and
Victor Vianu},
title = {Artifact systems with data dependencies and arithmetic},
journal = {{ACM} Trans. Database Syst.},
volume = {37},
number = {3},
pages = {22:1--22:36},
year = {2012},
url = {https://doi.org/10.1145/2338626.2338628},
doi = {10.1145/2338626.2338628},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/DamaggioDV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AbiteboulBV12,
author = {Serge Abiteboul and
Pierre Bourhis and
Victor Vianu},
editor = {Alin Deutsch},
title = {Highly expressive query languages for unordered data trees},
booktitle = {15th International Conference on Database Theory, {ICDT} '12, Berlin,
Germany, March 26-29, 2012},
pages = {46--60},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2274576.2274583},
doi = {10.1145/2274576.2274583},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/AbiteboulBV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AbiteboulSV12,
author = {Serge Abiteboul and
Pierre Senellart and
Victor Vianu},
editor = {Alain Mille and
Fabien Gandon and
Jacques Misselis and
Michael Rabinovich and
Steffen Staab},
title = {The {ERC} webdam on foundations of web data management},
booktitle = {Proceedings of the 21st World Wide Web Conference, {WWW} 2012, Lyon,
France, April 16-20, 2012 (Companion Volume)},
pages = {211--214},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2187980.2188011},
doi = {10.1145/2187980.2188011},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/www/AbiteboulSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu11,
author = {Victor Vianu},
title = {Introduction to \emph{JACM} invited article},
journal = {J. {ACM}},
volume = {58},
number = {3},
pages = {12:1},
year = {2011},
url = {https://doi.org/10.1145/1970392.1970396},
doi = {10.1145/1970392.1970396},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu11a,
author = {Victor Vianu},
title = {Invited articles foreword},
journal = {J. {ACM}},
volume = {58},
number = {4},
pages = {16:1},
year = {2011},
url = {https://doi.org/10.1145/1989727.1989730},
doi = {10.1145/1989727.1989730},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu11b,
author = {Victor Vianu},
title = {Invited Articles Foreword},
journal = {J. {ACM}},
volume = {58},
number = {5},
pages = {22:1},
year = {2011},
url = {https://doi.org/10.1145/2027216.2027220},
doi = {10.1145/2027216.2027220},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu11b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu11c,
author = {Victor Vianu},
title = {Invited Article Foreword},
journal = {J. {ACM}},
volume = {58},
number = {6},
pages = {29:1},
year = {2011},
url = {https://doi.org/10.1145/2049697.2049703},
doi = {10.1145/2049697.2049703},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu11c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/DamaggioDHV11,
author = {Elio Damaggio and
Alin Deutsch and
Richard Hull and
Victor Vianu},
editor = {Stefanie Rinderle{-}Ma and
Farouk Toumani and
Karsten Wolf},
title = {Automatic Verification of Data-Centric Business Processes},
booktitle = {Business Process Management - 9th International Conference, {BPM}
2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6896},
pages = {3--16},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23059-2\_3},
doi = {10.1007/978-3-642-23059-2\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/DamaggioDHV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DamaggioDV11,
author = {Elio Damaggio and
Alin Deutsch and
Victor Vianu},
editor = {Tova Milo},
title = {Artifact systems with data dependencies and arithmetic},
booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
Sweden, March 21-24, 2011, Proceedings},
pages = {66--77},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1938551.1938563},
doi = {10.1145/1938551.1938563},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/DamaggioDV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AbiteboulBV11,
author = {Serge Abiteboul and
Pierre Bourhis and
Victor Vianu},
editor = {Tova Milo},
title = {Comparing workflow specification languages: a matter of views},
booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
Sweden, March 21-24, 2011, Proceedings},
pages = {78--89},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1938551.1938564},
doi = {10.1145/1938551.1938564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/AbiteboulBV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Vianu10,
author = {Victor Vianu},
title = {\emph{JACM} at the start of a new decade},
journal = {Commun. {ACM}},
volume = {53},
number = {8},
pages = {5},
year = {2010},
url = {https://doi.org/10.1145/1787234.1787235},
doi = {10.1145/1787234.1787235},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Vianu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu10,
author = {Victor Vianu},
title = {Editorial: {JACM} at the start of a new decade},
journal = {J. {ACM}},
volume = {57},
number = {3},
pages = {12:1--12:3},
year = {2010},
url = {https://doi.org/10.1145/1706591.1706592},
doi = {10.1145/1706591.1706592},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/Vianu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu10a,
author = {Victor Vianu},
title = {Invited articles section foreword},
journal = {J. {ACM}},
volume = {58},
number = {1},
pages = {1:1},
year = {2010},
url = {https://doi.org/10.1145/1870103.1870104},
doi = {10.1145/1870103.1870104},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vianu10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/NashSV10,
author = {Alan Nash and
Luc Segoufin and
Victor Vianu},
title = {Views and queries: Determinacy and rewriting},
journal = {{ACM} Trans. Database Syst.},
volume = {35},
number = {3},
pages = {21:1--21:41},
year = {2010},
url = {https://doi.org/10.1145/1806907.1806913},
doi = {10.1145/1806907.1806913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/NashSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/AbiteboulSV09,
author = {Serge Abiteboul and
Luc Segoufin and
Victor Vianu},
title = {Modeling and Verifying Active {XML} Artifacts},
journal = {{IEEE} Data Eng. Bull.},
volume = {32},
number = {3},
pages = {10--15},
year = {2009},
url = {http://sites.computer.org/debull/A09sept/serge.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/AbiteboulSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/VianuB09,
author = {Victor Vianu and
Jan Van den Bussche},
title = {Introduction to {PODS} 2006 special section},
journal = {J. {ACM}},
volume = {56},
number = {3},
pages = {11:1},
year = {2009},
url = {https://doi.org/10.1145/1516512.1516513},
doi = {10.1145/1516512.1516513},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/VianuB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LibkinV09,
author = {Leonid Libkin and
Victor Vianu},
title = {Introduction to {PODS} 2007 special section},
journal = {J. {ACM}},
volume = {56},
number = {6},
pages = {29:1},
year = {2009},
url = {https://doi.org/10.1145/1568318.1568319},
doi = {10.1145/1568318.1568319},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/LibkinV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/AbiteboulSV09,
author = {Serge Abiteboul and
Luc Segoufin and
Victor Vianu},
title = {Static analysis of active {XML} systems},
journal = {{ACM} Trans. Database Syst.},
volume = {34},
number = {4},
pages = {23:1--23:44},
year = {2009},
url = {https://doi.org/10.1145/1620585.1620590},
doi = {10.1145/1620585.1620590},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/AbiteboulSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Vianu09,
author = {Victor Vianu},
editor = {Ronald Fagin},
title = {Automatic verification of database-driven systems: a new frontier},
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 = {1--13},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1514894.1514896},
doi = {10.1145/1514894.1514896},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/Vianu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DeutschHPV09,
author = {Alin Deutsch and
Richard Hull and
Fabio Patrizi and
Victor Vianu},
editor = {Ronald Fagin},
title = {Automatic verification of data-centric business processes},
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 = {252--267},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1514894.1514924},
doi = {10.1145/1514894.1514924},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/DeutschHPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/VianuG09,
author = {Victor Vianu and
Dirk Van Gucht},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Computationally Complete Relational Query Languages},
booktitle = {Encyclopedia of Database Systems},
pages = {406--411},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_1243},
doi = {10.1007/978-0-387-39940-9\_1243},
timestamp = {Sun, 02 Jun 2019 21:10:27 +0200},
biburl = {https://dblp.org/rec/reference/db/VianuG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/DeutschV08,
author = {Alin Deutsch and
Victor Vianu},
title = {{WAVE:} Automatic Verification of Data-Driven Web Services},
journal = {{IEEE} Data Eng. Bull.},
volume = {31},
number = {3},
pages = {35--39},
year = {2008},
url = {http://sites.computer.org/debull/A08Sept/deutsch.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/DeutschV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Vianu08,
author = {Victor Vianu},
title = {Database theory column},
journal = {{SIGACT} News},
volume = {39},
number = {1},
pages = {77--79},
year = {2008},
url = {https://doi.org/10.1145/1360443.1360460},
doi = {10.1145/1360443.1360460},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Vianu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulSV08,
author = {Serge Abiteboul and
Luc Segoufin and
Victor Vianu},
editor = {Maurizio Lenzerini and
Domenico Lembo},
title = {Static analysis of active {XML} systems},
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 = {221--230},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1376916.1376948},
doi = {10.1145/1376916.1376948},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8171,
editor = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
title = {Beyond the Finite: New Challenges in Verification and Semistructured
Data, 20.04. - 25.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08171/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MuschollRRSV08,
author = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
editor = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
title = {08171 Abstracts Collection - Beyond the Finite: New Challenges in
Verification and Semistructured Data},
booktitle = {Beyond the Finite: New Challenges in Verification and Semistructured
Data, 20.04. - 25.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1560/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MuschollRRSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MuschollRRSV08a,
author = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
editor = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
title = {08171 Summary - Beyond the Finite: New Challenges in Verification
and Semistructured Data},
booktitle = {Beyond the Finite: New Challenges in Verification and Semistructured
Data, 20.04. - 25.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1558/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MuschollRRSV08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DeutschSV07,
author = {Alin Deutsch and
Liying Sui and
Victor Vianu},
title = {Specification and verification of data-driven Web applications},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {3},
pages = {442--474},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2006.10.006},
doi = {10.1016/J.JCSS.2006.10.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DeutschSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/NashSV07,
author = {Alan Nash and
Luc Segoufin and
Victor Vianu},
editor = {Thomas Schwentick and
Dan Suciu},
title = {Determinacy and Rewriting of Conjunctive Queries Using Views: {A}
Progress Report},
booktitle = {Database Theory - {ICDT} 2007, 11th International Conference, Barcelona,
Spain, January 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4353},
pages = {59--73},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11965893\_5},
doi = {10.1007/11965893\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/NashSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SuciuV06,
author = {Dan Suciu and
Victor Vianu},
title = {Introduction},
journal = {J. {ACM}},
volume = {53},
number = {2},
pages = {207},
year = {2006},
url = {https://doi.org/10.1145/1131342.1131343},
doi = {10.1145/1131342.1131343},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/SuciuV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/AbiteboulSV06,
author = {Serge Abiteboul and
Luc Segoufin and
Victor Vianu},
title = {Representing and querying {XML} with incomplete information},
journal = {{ACM} Trans. Database Syst.},
volume = {31},
number = {1},
pages = {208--254},
year = {2006},
url = {https://doi.org/10.1145/1132863.1132869},
doi = {10.1145/1132863.1132869},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/AbiteboulSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/DeutschSVZ06,
author = {Alin Deutsch and
Liying Sui and
Victor Vianu and
Dayou Zhou},
editor = {Stijn Vansummeren},
title = {Verification of communicating data-driven web services},
booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
{USA}},
pages = {90--99},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142351.1142364},
doi = {10.1145/1142351.1142364},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/DeutschSVZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/DeutschSVZ06,
author = {Alin Deutsch and
Liying Sui and
Victor Vianu and
Dayou Zhou},
editor = {Surajit Chaudhuri and
Vagelis Hristidis and
Neoklis Polyzotis},
title = {A system for specification and verification of interactive, data-driven
web applications},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Chicago, Illinois, USA, June 27-29, 2006},
pages = {772--774},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142473.1142584},
doi = {10.1145/1142473.1142584},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/DeutschSVZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MiloV05,
author = {Tova Milo and
Victor Vianu},
title = {Introduction},
journal = {J. {ACM}},
volume = {52},
number = {2},
pages = {245},
year = {2005},
url = {https://doi.org/10.1145/1059513.1059518},
doi = {10.1145/1059513.1059518},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/MiloV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AbiteboulHVGHHRUVH05,
author = {Serge Abiteboul and
Richard Hull and
Victor Vianu and
Sheila A. Greibach and
Michael A. Harrison and
Ellis Horowitz and
Daniel J. Rosenkrantz and
Jeffrey D. Ullman and
Moshe Y. Vardi},
title = {In memory of Seymour Ginsburg 1928 - 2004},
journal = {{SIGMOD} Rec.},
volume = {34},
number = {1},
pages = {5--12},
year = {2005},
url = {https://doi.org/10.1145/1058150.1058152},
doi = {10.1145/1058150.1058152},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/AbiteboulHVGHHRUVH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/NashRV05,
author = {Alan Nash and
Jeffrey B. Remmel and
Victor Vianu},
editor = {Thomas Eiter and
Leonid Libkin},
title = {{PTIME} Queries Revisited},
booktitle = {Database Theory - {ICDT} 2005, 10th International Conference, Edinburgh,
UK, January 5-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3363},
pages = {274--288},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30570-5\_19},
doi = {10.1007/978-3-540-30570-5\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/NashRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/BrambillaDSV05,
author = {Marco Brambilla and
Alin Deutsch and
Liying Sui and
Victor Vianu},
editor = {David B. Lowe and
Martin Gaedke},
title = {The Role of Visual Tools in a Web Application Design and Verification
Framework: {A} Visual Notation for {LTL} Formulae},
booktitle = {Web Engineering, 5th International Conference, {ICWE} 2005, Sydney,
Australia, July 27-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3579},
pages = {557--568},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531371\_70},
doi = {10.1007/11531371\_70},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icwe/BrambillaDSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/SegoufinV05,
author = {Luc Segoufin and
Victor Vianu},
editor = {Chen Li},
title = {Views and queries: determinacy and rewriting},
booktitle = {Proceedings of the Twenty-fourth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland,
{USA}},
pages = {49--60},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065167.1065174},
doi = {10.1145/1065167.1065174},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/SegoufinV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/DeutschMSVZ05,
author = {Alin Deutsch and
Monica Marcus and
Liying Sui and
Victor Vianu and
Dayou Zhou},
editor = {Fatma {\"{O}}zcan},
title = {A Verifier for Interactive, Data-Driven Web Applications},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Baltimore, Maryland, USA, June 14-16, 2005},
pages = {539--550},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066157.1066219},
doi = {10.1145/1066157.1066219},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/DeutschMSVZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asian/2005,
editor = {St{\'{e}}phane Grumbach and
Liying Sui and
Victor Vianu},
title = {Advances in Computer Science - {ASIAN} 2005, Data Management on the
Web, 10th Asian Computing Science Conference, Kunming, China, December
7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3818},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596370},
doi = {10.1007/11596370},
isbn = {3-540-30767-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/KolaitisV04,
author = {Phokion G. Kolaitis and
Victor Vianu},
title = {Foreword},
journal = {J. {ACM}},
volume = {51},
number = {1},
pages = {1},
year = {2004},
url = {https://doi.org/10.1145/962446.962447},
doi = {10.1145/962446.962447},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/KolaitisV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NevenSV04,
author = {Frank Neven and
Thomas Schwentick and
Victor Vianu},
title = {Finite state machines for strings over infinite alphabets},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {3},
pages = {403--435},
year = {2004},
url = {https://doi.org/10.1145/1013560.1013562},
doi = {10.1145/1013560.1013562},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/NevenSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/BalminPV04,
author = {Andrey Balmin and
Yannis Papakonstantinou and
Victor Vianu},
title = {Incremental validation of {XML} documents},
journal = {{ACM} Trans. Database Syst.},
volume = {29},
number = {4},
pages = {710--751},
year = {2004},
url = {https://doi.org/10.1145/1042046.1042050},
doi = {10.1145/1042046.1042050},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/BalminPV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/DeutschSV04,
author = {Alin Deutsch and
Liying Sui and
Victor Vianu},
editor = {Catriel Beeri and
Alin Deutsch},
title = {Specification and Verification of Data-driven Web Services},
booktitle = {Proceedings of the Twenty-third {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 14-16, 2004, Paris, France},
pages = {71--82},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1055558.1055571},
doi = {10.1145/1055558.1055571},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/DeutschSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MiloSV03,
author = {Tova Milo and
Dan Suciu and
Victor Vianu},
title = {Typechecking for {XML} transformers},
journal = {J. Comput. Syst. Sci.},
volume = {66},
number = {1},
pages = {66--97},
year = {2003},
url = {https://doi.org/10.1016/S0022-0000(02)00030-2},
doi = {10.1016/S0022-0000(02)00030-2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/MiloSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AlonMNSV03,
author = {Noga Alon and
Tova Milo and
Frank Neven and
Dan Suciu and
Victor Vianu},
title = {{XML} with data values: typechecking revisited},
journal = {J. Comput. Syst. Sci.},
volume = {66},
number = {4},
pages = {688--727},
year = {2003},
url = {https://doi.org/10.1016/S0022-0000(03)00032-1},
doi = {10.1016/S0022-0000(03)00032-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AlonMNSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Vianu03,
author = {Victor Vianu},
title = {A Web odyssey: from codd to {XML}},
journal = {{SIGMOD} Rec.},
volume = {32},
number = {2},
pages = {68--77},
year = {2003},
url = {https://doi.org/10.1145/776985.776999},
doi = {10.1145/776985.776999},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/Vianu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AlonMNSV03,
author = {Noga Alon and
Tova Milo and
Frank Neven and
Dan Suciu and
Victor Vianu},
title = {Typechecking {XML} views of relational databases},
journal = {{ACM} Trans. Comput. Log.},
volume = {4},
number = {3},
pages = {315--354},
year = {2003},
url = {https://doi.org/10.1145/772062.772065},
doi = {10.1145/772062.772065},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AlonMNSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/PapakonstantinouV03,
author = {Yannis Papakonstantinou and
Victor Vianu},
editor = {Diego Calvanese and
Maurizio Lenzerini and
Rajeev Motwani},
title = {Incremental Validation of {XML} Documents},
booktitle = {Database Theory - {ICDT} 2003, 9th International Conference, Siena,
Italy, January 8-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2572},
pages = {47--63},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36285-1\_4},
doi = {10.1007/3-540-36285-1\_4},
timestamp = {Thu, 02 Jan 2020 12:13:44 +0100},
biburl = {https://dblp.org/rec/conf/icdt/PapakonstantinouV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbbd/Vianu03,
author = {Victor Vianu},
editor = {Alberto H. F. Laender},
title = {{XML:} From Practice to Theory},
booktitle = {{XVIII} Simp{\'{o}}sio Brasileiro de Bancos de Dados, 6-8 de
Outubro, Manaus, Amazonas, Brasil, Anais/Proceedings},
pages = {11--25},
publisher = {{UFAM}},
year = {2003},
timestamp = {Mon, 06 Oct 2003 10:47:19 +0200},
biburl = {https://dblp.org/rec/conf/sbbd/Vianu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Vianu03,
author = {Victor Vianu},
editor = {Helmut Alt and
Michel Habib},
title = {Logic as a Query Language: From Frege to {XML}},
booktitle = {{STACS} 2003, 20th Annual Symposium on Theoretical Aspects of Computer
Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2607},
pages = {1--12},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36494-3\_1},
doi = {10.1007/3-540-36494-3\_1},
timestamp = {Thu, 14 Oct 2021 10:38:16 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Vianu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/SegoufinV02,
author = {Luc Segoufin and
Victor Vianu},
editor = {Lucian Popa and
Serge Abiteboul and
Phokion G. Kolaitis},
title = {Validating Streaming {XML} Documents},
booktitle = {Proceedings of the Twenty-first {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 3-5, Madison, Wisconsin, {USA}},
pages = {53--64},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/543613.543622},
doi = {10.1145/543613.543622},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/SegoufinV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/HalpernHIKVV01,
author = {Joseph Y. Halpern and
Robert Harper and
Neil Immerman and
Phokion G. Kolaitis and
Moshe Y. Vardi and
Victor Vianu},
title = {On the unusual effectiveness of logic in computer science},
journal = {Bull. Symb. Log.},
volume = {7},
number = {2},
pages = {213--236},
year = {2001},
url = {https://doi.org/10.2307/2687775},
doi = {10.2307/2687775},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/HalpernHIKVV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlonMNSV01,
author = {Noga Alon and
Tova Milo and
Frank Neven and
Dan Suciu and
Victor Vianu},
title = {Typechecking {XML} Views of Relational Databases},
booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
Massachusetts, USA, June 16-19, 2001, Proceedings},
pages = {421--430},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932517},
doi = {10.1109/LICS.2001.932517},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlonMNSV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/NevenSV01,
author = {Frank Neven and
Thomas Schwentick and
Victor Vianu},
editor = {Jir{\'{\i}} Sgall and
Ales Pultr and
Petr Kolman},
title = {Towards Regular Languages over Infinite Alphabets},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International
Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2136},
pages = {560--572},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44683-4\_49},
doi = {10.1007/3-540-44683-4\_49},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/NevenSV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulSV01,
author = {Serge Abiteboul and
Luc Segoufin and
Victor Vianu},
editor = {Peter Buneman},
title = {Representing and Querying {XML} with Incomplete Information},
booktitle = {Proceedings of the Twentieth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 21-23, 2001, Santa Barbara,
California, {USA}},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375551.375571},
doi = {10.1145/375551.375571},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulSV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AlonMNSV01,
author = {Noga Alon and
Tova Milo and
Frank Neven and
Dan Suciu and
Victor Vianu},
editor = {Peter Buneman},
title = {{XML} with Data Values: Typechecking Revisited},
booktitle = {Proceedings of the Twentieth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 21-23, 2001, Santa Barbara,
California, {USA}},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375551.375570},
doi = {10.1145/375551.375570},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AlonMNSV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Vianu01,
author = {Victor Vianu},
editor = {Peter Buneman},
title = {A Web Odyssey: From Codd to {XML}},
booktitle = {Proceedings of the Twentieth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 21-23, 2001, Santa Barbara,
California, {USA}},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375551.375554},
doi = {10.1145/375551.375554},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Vianu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2001,
editor = {Jan Van den Bussche and
Victor Vianu},
title = {Database Theory - {ICDT} 2001, 8th International Conference, London,
UK, January 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1973},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44503-X},
doi = {10.1007/3-540-44503-X},
isbn = {3-540-41456-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AbiteboulVFY00,
author = {Serge Abiteboul and
Victor Vianu and
Bradley S. Fordham and
Yelena Yesha},
title = {Relational Transducers for Electronic Commerce},
journal = {J. Comput. Syst. Sci.},
volume = {61},
number = {2},
pages = {236--269},
year = {2000},
url = {https://doi.org/10.1006/jcss.2000.1708},
doi = {10.1006/JCSS.2000.1708},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AbiteboulVFY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/SegoufinV00,
author = {Luc Segoufin and
Victor Vianu},
title = {Querying Spatial Databases via Topological Invariants},
journal = {J. Comput. Syst. Sci.},
volume = {61},
number = {2},
pages = {270--301},
year = {2000},
url = {https://doi.org/10.1006/jcss.2000.1712},
doi = {10.1006/JCSS.2000.1712},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/SegoufinV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/CeriKKLOSV00,
author = {Stefano Ceri and
Leonid A. Kalinichenko and
Masaru Kitsuregawa and
Hongjun Lu and
Z. Meral {\"{O}}zsoyoglu and
Richard T. Snodgrass and
Victor Vianu},
title = {{SIGMOD} Sister Societies},
journal = {{SIGMOD} Rec.},
volume = {29},
number = {1},
pages = {4--15},
year = {2000},
url = {http://www.acm.org/sigmod/record/issues/0003/sisters.pdf.gz},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/CeriKKLOSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/RossFLOSSVW00,
author = {Kenneth A. Ross and
Christos Faloutsos and
Alon Y. Levy and
Patrick E. O'Neil and
Eric Simon and
Divesh Srivastava and
Victor Vianu and
Gerhard Weikum},
title = {Reminiscences on Influential Papers},
journal = {{SIGMOD} Rec.},
volume = {29},
number = {1},
pages = {52--65},
year = {2000},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/RossFLOSSVW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbiteboulV00,
author = {Serge Abiteboul and
Victor Vianu},
title = {Queries and computation on the web},
journal = {Theor. Comput. Sci.},
volume = {239},
number = {2},
pages = {231--255},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00221-2},
doi = {10.1016/S0304-3975(99)00221-2},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AbiteboulV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/MiloSV00,
author = {Tova Milo and
Dan Suciu and
Victor Vianu},
editor = {Victor Vianu and
Georg Gottlob},
title = {Typechecking for {XML} Transformers},
booktitle = {Proceedings of the Nineteenth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
{USA}},
pages = {11--22},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335168.335171},
doi = {10.1145/335168.335171},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/MiloSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/PapakonstantinouV00,
author = {Yannis Papakonstantinou and
Victor Vianu},
editor = {Victor Vianu and
Georg Gottlob},
title = {{DTD} Inference for Views of {XML} Data},
booktitle = {Proceedings of the Nineteenth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
{USA}},
pages = {35--46},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335168.335173},
doi = {10.1145/335168.335173},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/PapakonstantinouV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/00/Vianu00,
author = {Victor Vianu},
editor = {Cristian Calude and
Gheorghe Paun},
title = {Finite and Infinite in Logic},
booktitle = {Finite Versus Infinite},
series = {Discrete mathematics and theoretical computer science},
pages = {349--371},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-1-4471-0751-4\_23},
doi = {10.1007/978-1-4471-0751-4\_23},
timestamp = {Mon, 16 Sep 2019 14:43:17 +0200},
biburl = {https://dblp.org/rec/books/sp/00/Vianu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cdb/KuijpersV00,
author = {Bart Kuijpers and
Victor Vianu},
editor = {Gabriel M. Kuper and
Leonid Libkin and
Jan Paredaens},
title = {Topological Queries},
booktitle = {Constraint Databases},
pages = {231--273},
publisher = {Springer},
year = {2000},
timestamp = {Thu, 08 Aug 2019 09:25:55 +0200},
biburl = {https://dblp.org/rec/conf/cdb/KuijpersV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/00,
editor = {Victor Vianu and
Georg Gottlob},
title = {Proceedings of the Nineteenth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
{USA}},
publisher = {{ACM}},
year = {2000},
url = {http://dl.acm.org/citation.cfm?id=335168},
isbn = {1-58113-214-X},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dr/Vianu00,
author = {Victor Vianu},
title = {Review - Computable Queries for Relational Data Bases},
journal = {{ACM} {SIGMOD} Digit. Rev.},
volume = {2},
year = {2000},
url = {https://dblp.org/db/journals/dr/Vianu00.html},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dr/Vianu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dr/Vianu00a,
author = {Victor Vianu},
title = {Review - Hypothetical Datalog: Complexity and Expressibility},
journal = {{ACM} {SIGMOD} Digit. Rev.},
volume = {2},
year = {2000},
url = {https://dblp.org/db/journals/dr/Vianu00a.html},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dr/Vianu00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dr/Vianu00b,
author = {Victor Vianu},
title = {Review - On Instance-Completeness for Database Query Languages involving
Object Creation},
journal = {{ACM} {SIGMOD} Digit. Rev.},
volume = {2},
year = {2000},
url = {https://dblp.org/db/journals/dr/Vianu00b.html},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dr/Vianu00b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dr/Vianu00c,
author = {Victor Vianu},
title = {Review - Exact and Approximate Aggregation in Constraint Query},
journal = {{ACM} {SIGMOD} Digit. Rev.},
volume = {2},
year = {2000},
url = {https://dblp.org/db/journals/dr/Vianu00c.html},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dr/Vianu00c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/PapadimitriouSV99,
author = {Christos H. Papadimitriou and
Dan Suciu and
Victor Vianu},
title = {Topological Queries in Spatial Databases},
journal = {J. Comput. Syst. Sci.},
volume = {58},
number = {1},
pages = {29--53},
year = {1999},
url = {https://doi.org/10.1006/jcss.1998.1597},
doi = {10.1006/JCSS.1998.1597},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/PapadimitriouSV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AbiteboulV99,
author = {Serge Abiteboul and
Victor Vianu},
title = {Regular Path Queries with Constraints},
journal = {J. Comput. Syst. Sci.},
volume = {58},
number = {3},
pages = {428--452},
year = {1999},
url = {https://doi.org/10.1006/jcss.1999.1627},
doi = {10.1006/JCSS.1999.1627},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AbiteboulV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Vianu99,
author = {Victor Vianu},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Topological Queries in Spatial Databases},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {1},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_1},
doi = {10.1007/3-540-48168-0\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Vianu99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/99,
editor = {Victor Vianu and
Christos H. Papadimitriou},
title = {Proceedings of the Eighteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia,
Pennsylvania, {USA}},
publisher = {{ACM} Press},
year = {1999},
url = {http://dl.acm.org/citation.cfm?id=303976},
isbn = {1-58113-062-7},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AbiteboulPV98,
author = {Serge Abiteboul and
Christos H. Papadimitriou and
Victor Vianu},
title = {Reflective Relational Machines},
journal = {Inf. Comput.},
volume = {143},
number = {2},
pages = {110--136},
year = {1998},
url = {https://doi.org/10.1006/inco.1998.2701},
doi = {10.1006/INCO.1998.2701},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AbiteboulPV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/PicouetV98,
author = {Philippe Picouet and
Victor Vianu},
title = {Semantics and Expressiveness Issues in Active Databases},
journal = {J. Comput. Syst. Sci.},
volume = {57},
number = {3},
pages = {325--355},
year = {1998},
url = {https://doi.org/10.1006/jcss.1998.1567},
doi = {10.1006/JCSS.1998.1567},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/PicouetV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LifschitzV98,
author = {S{\'{e}}rgio Lifschitz and
Victor Vianu},
title = {A Probabilistic View of Datalog Parallelization},
journal = {Theor. Comput. Sci.},
volume = {190},
number = {2},
pages = {211--239},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00091-1},
doi = {10.1016/S0304-3975(97)00091-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LifschitzV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/AbiteboulACMV98,
author = {Serge Abiteboul and
Bernd Amann and
Sophie Cluet and
Tova Milo and
Victor Vianu},
editor = {Mokrane Bouzeghoub},
title = {Active Views for Electronic Commerce},
booktitle = {14{\`{e}}me Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
26-30 octobre 1998, Hammamet, Tunisie (Informal Proceedings)},
pages = {405--424},
year = {1998},
timestamp = {Tue, 31 Oct 2006 14:03:01 +0100},
biburl = {https://dblp.org/rec/conf/bda/AbiteboulACMV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/SegoufinV98,
author = {Luc Segoufin and
Victor Vianu},
editor = {Alberto O. Mendelzon and
Jan Paredaens},
title = {Querying Spatial Databases via Topological Invariants},
booktitle = {Proceedings of the Seventeenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 1-3, 1998, Seattle, Washington,
{USA}},
pages = {89--98},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/275487.275498},
doi = {10.1145/275487.275498},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/SegoufinV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulVFY98,
author = {Serge Abiteboul and
Victor Vianu and
Bradley S. Fordham and
Yelena Yesha},
editor = {Alberto O. Mendelzon and
Jan Paredaens},
title = {Relational Transducers for Electronic Commerce},
booktitle = {Proceedings of the Seventeenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 1-3, 1998, Seattle, Washington,
{USA}},
pages = {179--187},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/275487.275507},
doi = {10.1145/275487.275507},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulVFY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w3c/BaruLPVV98,
author = {Chaitanya K. Baru and
Bertram Lud{\"{a}}scher and
Yannis Papakonstantinou and
Pavel E. Velikhov and
Victor Vianu},
title = {Features and Requirements for an {XML} View Definition Language: Lessons
from {XML} Information Mediation},
booktitle = {The Query Languages Workshop, Boston, {QL} 1998, Massachussets, USA,
December 3-4, 1998},
publisher = {{W3C}},
year = {1998},
url = {http://www.w3.org/TandS/QL/QL98/pp/xmas.html},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/w3c/BaruLPVV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Vianu97,
author = {Victor Vianu},
title = {Rule-Based Languages},
journal = {Ann. Math. Artif. Intell.},
volume = {19},
number = {1-2},
pages = {215--259},
year = {1997},
url = {https://doi.org/10.1023/A:1018907806177},
doi = {10.1023/A:1018907806177},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Vianu97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AbiteboulVV97,
author = {Serge Abiteboul and
Moshe Y. Vardi and
Victor Vianu},
title = {Fixpoint logics, relational machines, and computational complexity},
journal = {J. {ACM}},
volume = {44},
number = {1},
pages = {30--56},
year = {1997},
url = {https://doi.org/10.1145/256292.256295},
doi = {10.1145/256292.256295},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AbiteboulVV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/PicouetV97,
author = {Philippe Picouet and
Victor Vianu},
editor = {Foto N. Afrati and
Phokion G. Kolaitis},
title = {Expressiveness and Complexity of Active Databases},
booktitle = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
Greece, January 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1186},
pages = {155--172},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62222-5\_43},
doi = {10.1007/3-540-62222-5\_43},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/PicouetV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AbiteboulV97,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Foto N. Afrati and
Phokion G. Kolaitis},
title = {Queries and Computation on the Web},
booktitle = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
Greece, January 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1186},
pages = {262--275},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62222-5\_50},
doi = {10.1007/3-540-62222-5\_50},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/AbiteboulV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulV97,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Alberto O. Mendelzon and
Z. Meral {\"{O}}zsoyoglu},
title = {Regular Path Queries with Constraints},
booktitle = {Proceedings of the Sixteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona,
{USA}},
pages = {122--133},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263661.263676},
doi = {10.1145/263661.263676},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cdb/1997,
editor = {Volker Gaede and
Alexander Brodsky and
Oliver G{\"{u}}nther and
Divesh Srivastava and
Victor Vianu and
Mark Wallace},
title = {Constraint Databases and Their Applications, Second International
Workshop on Constraint Database Systems, {CDB} '97, Delphi, Greece,
January 11-12, 1997, {CP} '96 Workshop on Constraints and Databases,
Cambridge, MA, USA, August 19, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1191},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62501-1},
doi = {10.1007/3-540-62501-1},
isbn = {3-540-62501-1},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdb/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/PicouetV96,
author = {Philippe Picouet and
Victor Vianu},
editor = {Patrick Bosc},
title = {Mod{\'{e}}lisation Formelle des Bases de Donn{\'{e}}es Actives},
booktitle = {12{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
27-30 Ao{\^{u}}t 1996, Cassis, France (Informal Proceedings)},
pages = {311--330},
publisher = {{INRIA}},
year = {1996},
timestamp = {Fri, 22 Jun 2018 07:11:37 +0200},
biburl = {https://dblp.org/rec/conf/bda/PicouetV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Vianu96,
author = {Victor Vianu},
editor = {Neil Immerman and
Phokion G. Kolaitis},
title = {Databases and Finite-Model Theory},
booktitle = {Descriptive Complexity and Finite Models, Proceedings of a {DIMACS}
Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {31},
pages = {97--148},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/031/04},
doi = {10.1090/DIMACS/031/04},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Vianu96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/PapadimitriouSV96,
author = {Christos H. Papadimitriou and
Dan Suciu and
Victor Vianu},
editor = {Richard Hull},
title = {Topological Queries in Spatial Databases},
booktitle = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
pages = {81--92},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237661.237683},
doi = {10.1145/237661.237683},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/PapadimitriouSV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/aw/AbiteboulHV95,
author = {Serge Abiteboul and
Richard Hull and
Victor Vianu},
title = {Foundations of Databases},
publisher = {Addison-Wesley},
year = {1995},
url = {http://webdam.inria.fr/Alice/},
isbn = {0-201-53771-0},
timestamp = {Sat, 11 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/aw/AbiteboulHV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AbiteboulV95,
author = {Serge Abiteboul and
Victor Vianu},
title = {Computing with First-Order Logic},
journal = {J. Comput. Syst. Sci.},
volume = {50},
number = {2},
pages = {309--335},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1025},
doi = {10.1006/JCSS.1995.1025},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AbiteboulV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GrumbachV95,
author = {St{\'{e}}phane Grumbach and
Victor Vianu},
title = {Tractable Query Languages for Complex Object Databases},
journal = {J. Comput. Syst. Sci.},
volume = {51},
number = {2},
pages = {149--167},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1058},
doi = {10.1006/JCSS.1995.1058},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GrumbachV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbiteboulVV95,
author = {Serge Abiteboul and
Moshe Y. Vardi and
Victor Vianu},
title = {Computing with Infinitary Logic},
journal = {Theor. Comput. Sci.},
volume = {149},
number = {1},
pages = {101--128},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)00027-T},
doi = {10.1016/0304-3975(95)00027-T},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbiteboulVV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/LifschitzV95,
author = {S{\'{e}}rgio Lifschitz and
Victor Vianu},
editor = {Georg Gottlob and
Moshe Y. Vardi},
title = {A Probabilistic View of Datalog Parallelization},
booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague, Czech
Republic, January 11-13, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {893},
pages = {294--307},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-58907-4\_23},
doi = {10.1007/3-540-58907-4\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/LifschitzV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/PicouetV95,
author = {Philippe Picouet and
Victor Vianu},
editor = {Mihalis Yannakakis and
Serge Abiteboul},
title = {Semantics and Expressiveness Issues in Active Databases},
booktitle = {Proceedings of the Fourteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 22-25, 1995, San Jose, California,
{USA}},
pages = {126--138},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/212433.220203},
doi = {10.1145/212433.220203},
timestamp = {Sat, 24 Oct 2020 16:41:20 +0200},
biburl = {https://dblp.org/rec/conf/pods/PicouetV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AbiteboulPV94,
author = {Serge Abiteboul and
Christos H. Papadimitriou and
Victor Vianu},
title = {The Power of Reflective Relational Machines},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {230--240},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316067},
doi = {10.1109/LICS.1994.316067},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AbiteboulPV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/94,
editor = {Victor Vianu},
title = {Proceedings of the Thirteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota,
{USA}},
publisher = {{ACM} Press},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=182591},
isbn = {0-89791-642-5},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/VianuV93,
author = {Victor Vianu and
Gottfried Vossen},
title = {Static and Dynamic Aspects of Goal-Oriented Concurrency Control},
journal = {Ann. Math. Artif. Intell.},
volume = {7},
number = {1-4},
pages = {257--287},
year = {1993},
url = {https://doi.org/10.1007/BF01556355},
doi = {10.1007/BF01556355},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/VianuV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AbiteboulV93,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Domenico Sacc{\`{a}}},
title = {Expressive Power of Query Languages},
booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
June 15-18, 1993},
pages = {441--468},
year = {1993},
timestamp = {Thu, 02 Dec 2004 11:00:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/AbiteboulV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AbiteboulV93,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Andrzej Lingas and
Rolf G. Karlsson and
Svante Carlsson},
title = {Computing on Structures},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {700},
pages = {606--620},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56939-1\_106},
doi = {10.1007/3-540-56939-1\_106},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AbiteboulV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/DenninghoffV93,
author = {Karl Denninghoff and
Victor Vianu},
editor = {Catriel Beeri},
title = {Database Method Schemas and Object Creation},
booktitle = {Proceedings of the Twelfth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 25-28, 1993, Washington, DC,
{USA}},
pages = {265--275},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/153850.153911},
doi = {10.1145/153850.153911},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/DenninghoffV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VianuV92,
author = {Victor Vianu and
Gottfried Vossen},
title = {Conceptual Level Concurrency Control of Relational Update Transactions},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {1},
pages = {1--42},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90065-N},
doi = {10.1016/0304-3975(92)90065-N},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/VianuV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbiteboulV92,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Jeffrey D. Ullman},
title = {Expressive Power of Query Languages},
booktitle = {Theoretical Studies in Computer Science, to Seymour Ginsburg on the
occasion of his 2\({}^{\mbox{6}}\). birthday},
pages = {207--251},
publisher = {Academic Press},
year = {1992},
url = {https://doi.org/10.1016/b978-0-12-708240-0.50013-7},
doi = {10.1016/B978-0-12-708240-0.50013-7},
timestamp = {Mon, 24 Jun 2019 15:47:45 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbiteboulV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/AbiteboulVV92,
author = {Serge Abiteboul and
Moshe Y. Vardi and
Victor Vianu},
title = {Fixpoint Logics, Relational Machines, and Computational Complexity},
booktitle = {Proceedings of the Seventh Annual Structure in Complexity Theory Conference,
Boston, Massachusetts, USA, June 22-25, 1992},
pages = {156--168},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SCT.1992.215391},
doi = {10.1109/SCT.1992.215391},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/AbiteboulVV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AbiteboulVV92,
author = {Serge Abiteboul and
Moshe Y. Vardi and
Victor Vianu},
editor = {Joachim Biskup and
Richard Hull},
title = {Computing with Infinitary Logic},
booktitle = {Database Theory - ICDT'92, 4th International Conference, Berlin, Germany,
October 14-16, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {646},
pages = {113--123},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56039-4\_36},
doi = {10.1007/3-540-56039-4\_36},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/AbiteboulVV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulCV92,
author = {Serge Abiteboul and
Kevin J. Compton and
Victor Vianu},
editor = {Moshe Y. Vardi and
Paris C. Kanellakis},
title = {Queries Are Easier Than You Thought (Probably)},
booktitle = {Proceedings of the Eleventh {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 2-4, 1992, San Diego, California,
{USA}},
pages = {23--32},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/137097.137105},
doi = {10.1145/137097.137105},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulCV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/AbiteboulV91,
author = {Serge Abiteboul and
Victor Vianu},
title = {Non-Determinism in Logic-Based Languages},
journal = {Ann. Math. Artif. Intell.},
volume = {3},
number = {2-4},
pages = {151--186},
year = {1991},
url = {https://doi.org/10.1007/BF01530924},
doi = {10.1007/BF01530924},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/AbiteboulV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AbiteboulV91,
author = {Serge Abiteboul and
Victor Vianu},
title = {Datalog Extensions for Database Queries and Updates},
journal = {J. Comput. Syst. Sci.},
volume = {43},
number = {1},
pages = {62--124},
year = {1991},
url = {https://doi.org/10.1016/0022-0000(91)90032-Z},
doi = {10.1016/0022-0000(91)90032-Z},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AbiteboulV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/KarabegV91,
author = {Dino Karabeg and
Victor Vianu},
title = {Simplification Rules and Complete Axiomatization for Relational Update
Transactions},
journal = {{ACM} Trans. Database Syst.},
volume = {16},
number = {3},
pages = {439--475},
year = {1991},
url = {https://doi.org/10.1145/111197.111208},
doi = {10.1145/111197.111208},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/KarabegV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/GrumbachV91,
author = {St{\'{e}}phane Grumbach and
Victor Vianu},
editor = {Paris C. Kanellakis and
Joachim W. Schmidt},
title = {Expressiveness and Complexity of Restricted Languages for Complex
Objects},
booktitle = {Database Programming Languages: Bulk Types and Persistent Data. 3rd
International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings},
pages = {111--122},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Wed, 29 Mar 2017 16:45:27 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/GrumbachV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GrumbachV91,
author = {St{\'{e}}phane Grumbach and
Victor Vianu},
editor = {Daniel J. Rosenkrantz},
title = {Tractable Query Languages for Complex Object Databases},
booktitle = {Proceedings of the Tenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, May 29-31, 1991, Denver, Colorado,
{USA}},
pages = {315--327},
publisher = {{ACM} Press},
year = {1991},
url = {https://doi.org/10.1145/113413.113442},
doi = {10.1145/113413.113442},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/GrumbachV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AbiteboulV91,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Cris Koutsougeras and
Jeffrey Scott Vitter},
title = {Generic Computation and Its Complexity},
booktitle = {Proceedings of the 23rd Annual {ACM} Symposium on Theory of Computing,
May 5-8, 1991, New Orleans, Louisiana, {USA}},
pages = {209--219},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/103418.103444},
doi = {10.1145/103418.103444},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AbiteboulV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/DenninghoffV91,
author = {Karl Denninghoff and
Victor Vianu},
editor = {Guy M. Lohman and
Am{\'{\i}}lcar Sernadas and
Rafael Camps},
title = {The Power of Methods With Parallel Semantics},
booktitle = {17th International Conference on Very Large Data Bases, September
3-6, 1991, Barcelona, Catalonia, Spain, Proceedings},
pages = {221--232},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://www.vldb.org/conf/1991/P221.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
biburl = {https://dblp.org/rec/conf/vldb/DenninghoffV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AbiteboulV90,
author = {Serge Abiteboul and
Victor Vianu},
title = {Procedural Languages for Database Queries and Updates},
journal = {J. Comput. Syst. Sci.},
volume = {41},
number = {2},
pages = {181--229},
year = {1990},
url = {https://doi.org/10.1016/0022-0000(90)90036-K},
doi = {10.1016/0022-0000(90)90036-K},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AbiteboulV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AbiteboulBDHKV90,
author = {Serge Abiteboul and
Peter Buneman and
Claude Delobel and
Richard Hull and
Paris C. Kanellakis and
Victor Vianu},
title = {New Hope on Data Models and Types: Report of an {NSF-INRIA} Workshop},
journal = {{SIGMOD} Rec.},
volume = {19},
number = {4},
pages = {41--48},
year = {1990},
url = {https://doi.org/10.1145/122058.122062},
doi = {10.1145/122058.122062},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/AbiteboulBDHKV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarabegV90,
author = {Dino Karabeg and
Victor Vianu},
title = {Parallel Update Transactions},
journal = {Theor. Comput. Sci.},
volume = {76},
number = {1},
pages = {93--114},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90013-8},
doi = {10.1016/0304-3975(90)90013-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KarabegV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GrumbachV90,
author = {St{\'{e}}phane Grumbach and
Victor Vianu},
editor = {Serge Abiteboul and
Paris C. Kanellakis},
title = {Playing Games with Objects},
booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
France, December 12-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {470},
pages = {25--38},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53507-1\_68},
doi = {10.1007/3-540-53507-1\_68},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/GrumbachV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulSV90,
author = {Serge Abiteboul and
Eric Simon and
Victor Vianu},
editor = {Daniel J. Rosenkrantz and
Yehoshua Sagiv},
title = {Non-Deterministic Languages to Express Deterministic Transformations},
booktitle = {Proceedings of the Ninth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee,
{USA}},
pages = {218--229},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/298514.298575},
doi = {10.1145/298514.298575},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulSV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AbiteboulV89,
author = {Serge Abiteboul and
Victor Vianu},
title = {A transaction-based approach to relational database specification},
journal = {J. {ACM}},
volume = {36},
number = {4},
pages = {758--789},
year = {1989},
url = {https://doi.org/10.1145/76359.76363},
doi = {10.1145/76359.76363},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AbiteboulV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AbiteboulV89,
author = {Serge Abiteboul and
Victor Vianu},
title = {Fixpoint Extensions of First-Order Logic and Datalog-Like Languages},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {71--79},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39160},
doi = {10.1109/LICS.1989.39160},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AbiteboulV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfdbs/VianuV89,
author = {Victor Vianu and
Gottfried Vossen},
editor = {J{\'{a}}nos Demetrovics and
Bernhard Thalheim},
title = {Goal-Oriented Concurrency Control},
booktitle = {{MFDBS} 89, 2nd Symposium on Mathematical Fundamentals of Database
Systems, Visegr{\'{a}}d, Hungary, June 26-30, 1989},
series = {Lecture Notes in Computer Science},
volume = {364},
pages = {398--414},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51251-9\_26},
doi = {10.1007/3-540-51251-9\_26},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/mfdbs/VianuV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Vianu87,
author = {Victor Vianu},
title = {Database Survivability Under Dynamic Constraints},
journal = {Acta Informatica},
volume = {25},
number = {1},
pages = {55--84},
year = {1988},
url = {https://doi.org/10.1007/BF00268845},
doi = {10.1007/BF00268845},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Vianu87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/LyngbaekV88,
author = {Peter Lyngb{\ae}k and
Victor Vianu},
title = {Relational Translations of Semantic Models: {A} Case Study Based on
Iris},
journal = {{IEEE} Data Eng. Bull.},
volume = {11},
number = {2},
pages = {13--22},
year = {1988},
url = {http://sites.computer.org/debull/88JUN-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/LyngbaekV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AbiteboulV88,
author = {Serge Abiteboul and
Victor Vianu},
title = {Equivalence and optimization of relational transactions},
journal = {J. {ACM}},
volume = {35},
number = {1},
pages = {70--120},
year = {1988},
url = {https://doi.org/10.1145/42267.42271},
doi = {10.1145/42267.42271},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AbiteboulV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/Vianu88,
author = {Victor Vianu},
title = {A Dynamic Framework for Object Projection Views},
journal = {{ACM} Trans. Database Syst.},
volume = {13},
number = {1},
pages = {1--22},
year = {1988},
url = {https://doi.org/10.1145/42201.42202},
doi = {10.1145/42201.42202},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/Vianu88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/KarabegV88,
author = {Dino Karabeg and
Victor Vianu},
editor = {Marc Gyssens and
Jan Paredaens and
Dirk Van Gucht},
title = {Parallel Update Transactions (Extended Abstract)},
booktitle = {ICDT'88, 2nd International Conference on Database Theory, Bruges,
Belgium, August 31 - September 2, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {326},
pages = {307--321},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50171-1\_20},
doi = {10.1007/3-540-50171-1\_20},
timestamp = {Sat, 09 Apr 2022 12:41:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/KarabegV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/VianuV88,
author = {Victor Vianu and
Gottfried Vossen},
editor = {Marc Gyssens and
Jan Paredaens and
Dirk Van Gucht},
title = {Conceptual Level Concurrency Control of Relational Update Transactions},
booktitle = {ICDT'88, 2nd International Conference on Database Theory, Bruges,
Belgium, August 31 - September 2, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {326},
pages = {353--367},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50171-1\_23},
doi = {10.1007/3-540-50171-1\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/VianuV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcdkb/AbiteboulV88,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Catriel Beeri and
Joachim W. Schmidt and
Umeshwar Dayal},
title = {The Connection of Static Constraints with Determinism and Boundedness
of Dynamic Specifications},
booktitle = {Proceedings of the Third International Conference on Data and Knowledge
Bases: Improving Usability and Responsiveness, June 28-30, 1988, Jerusalem,
Israel},
pages = {324--334},
publisher = {Morgan Kaufmann},
year = {1988},
url = {https://doi.org/10.1016/b978-1-4832-1313-2.50031-7},
doi = {10.1016/B978-1-4832-1313-2.50031-7},
timestamp = {Mon, 05 Aug 2019 12:00:23 +0200},
biburl = {https://dblp.org/rec/conf/jcdkb/AbiteboulV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulV88,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Chris Edmondson{-}Yurkanan and
Mihalis Yannakakis},
title = {Procedural and Declarative Database Update Languages},
booktitle = {Proceedings of the Seventh {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, March 21-23, 1988, Austin, Texas,
{USA}},
pages = {240--250},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/308386.308448},
doi = {10.1145/308386.308448},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vianu87,
author = {Victor Vianu},
title = {Dynamic functional dependencies and database aging},
journal = {J. {ACM}},
volume = {34},
number = {1},
pages = {28--59},
year = {1987},
url = {https://doi.org/10.1145/7531.7918},
doi = {10.1145/7531.7918},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/Vianu87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/KarabegKPV87,
author = {Almira Karabeg and
Dino Karabeg and
Kostoula Papakonstantinou and
Victor Vianu},
editor = {Moshe Y. Vardi},
title = {Axiomatization and Simplification Rules for Relational Transactions},
booktitle = {Proceedings of the Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, March 23-25, 1987, San Diego, California,
{USA}},
pages = {254--259},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/28659.28687},
doi = {10.1145/28659.28687},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/KarabegKPV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulV87,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Moshe Y. Vardi},
title = {A Transcation Language Complete for Database Update and Specification},
booktitle = {Proceedings of the Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, March 23-25, 1987, San Diego, California,
{USA}},
pages = {260--268},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/28659.28688},
doi = {10.1145/28659.28688},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LyngbaekV87,
author = {Peter Lyngb{\ae}k and
Victor Vianu},
editor = {Umeshwar Dayal and
Irving L. Traiger},
title = {Mapping a Semantic Database Model to the Relational Model},
booktitle = {Proceedings of the Association for Computing Machinery Special Interest
Group on Management of Data 1987 Annual Conference, San Francisco,
CA, USA, May 27-29, 1987},
pages = {132--142},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/38713.38732},
doi = {10.1145/38713.38732},
timestamp = {Mon, 21 Jun 2021 16:00:48 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/LyngbaekV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulV86,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Avi Silberschatz},
title = {Deciding Properties of Transactional Schemas},
booktitle = {Proceedings of the Fifth {ACM} {SIGACT-SIGMOD} Symposium on Principles
of Database Systems, March 24-26, 1986, Cambridge, Massachusetts,
{USA}},
pages = {235--239},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/6012.15417},
doi = {10.1145/6012.15417},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulV86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulV85,
author = {Serge Abiteboul and
Victor Vianu},
title = {Transactions and Integrity Constraints},
booktitle = {Proceedings of the Fourth {ACM} {SIGACT-SIGMOD} Symposium on Principles
of Database Systems, March 25-27, 1985, Portland, Oregon, {USA}},
pages = {193--204},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/325405.325439},
doi = {10.1145/325405.325439},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulV85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Vianu84,
author = {Victor Vianu},
editor = {Daniel J. Rosenkrantz and
Ronald Fagin},
title = {Object Projection Views in the Dynamic Relational Model},
booktitle = {Proceedings of the Third {ACM} {SIGACT-SIGMOD} Symposium on Principles
of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
pages = {214--220},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/588011.588042},
doi = {10.1145/588011.588042},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Vianu84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/AbiteboulV84,
author = {Serge Abiteboul and
Victor Vianu},
editor = {Umeshwar Dayal and
Gunter Schlageter and
Lim Huat Seng},
title = {Transactions in Relational Databases (Preliminary Report)},
booktitle = {Tenth International Conference on Very Large Data Bases, August 27-31,
1984, Singapore, Proceedings},
pages = {46--56},
publisher = {Morgan Kaufmann},
year = {1984},
url = {http://www.vldb.org/conf/1984/P046.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
biburl = {https://dblp.org/rec/conf/vldb/AbiteboulV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Vianu83,
author = {Victor Vianu},
editor = {Ronald Fagin and
Philip A. Bernstein},
title = {Dynamic Constraints and Database Evolution},
booktitle = {Proceedings of the Second {ACM} {SIGACT-SIGMOD} Symposium on Principles
of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta,
Georgia, {USA}},
pages = {389--399},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/588058.588105},
doi = {10.1145/588058.588105},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Vianu83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/ConnorsV81,
author = {Tim Connors and
Victor Vianu},
title = {Tableaux which Define Expression Mappings},
booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
Pennsylvania State University, PA, {USA}},
year = {1981},
timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
biburl = {https://dblp.org/rec/conf/xp/ConnorsV81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Vianu77,
author = {Victor Vianu},
editor = {Jozef Gruska},
title = {The Bodnarchuk Metric Space of Languages and the Topology of the Learning
Space},
booktitle = {Mathematical Foundations of Computer Science 1977, 6th Symposium,
Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {53},
pages = {537--542},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08353-7\_177},
doi = {10.1007/3-540-08353-7\_177},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Vianu77.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-02-06 23:46 CET 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:
