BibTeX records: Jianwen Su

download as .bib file

@article{DBLP:journals/iandc/MackeyCS24,
  author       = {Isaac Mackey and
                  Raghubir Chimni and
                  Jianwen Su},
  title        = {Early detection of temporal constraint violations},
  journal      = {Inf. Comput.},
  volume       = {296},
  pages        = {105114},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.ic.2023.105114},
  doi          = {10.1016/J.IC.2023.105114},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MackeyCS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/MackeyS23,
  author       = {Isaac Mackey and
                  Jianwen Su},
  title        = {Mapping singly-linked rules to linear temporal logic formulas},
  journal      = {Inf. Syst.},
  volume       = {117},
  pages        = {102222},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.is.2023.102222},
  doi          = {10.1016/J.IS.2023.102222},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/MackeyS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/WangLDXPCS23,
  author       = {Mei Wang and
                  Shiyun Liu and
                  Yijie Dong and
                  Zhijie Xu and
                  Qiao Pan and
                  Dehua Chen and
                  Jianwen Su},
  editor       = {Xingpeng Jiang and
                  Haiying Wang and
                  Reda Alhajj and
                  Xiaohua Hu and
                  Felix Engel and
                  Mufti Mahmud and
                  Nadia Pisanti and
                  Xuefeng Cui and
                  Hong Song},
  title        = {An End-to-End Multi-stage Network for Ultrasound Video Object Segmentation},
  booktitle    = {{IEEE} International Conference on Bioinformatics and Biomedicine,
                  {BIBM} 2023, Istanbul, Turkiye, December 5-8, 2023},
  pages        = {3574--3581},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/BIBM58861.2023.10385350},
  doi          = {10.1109/BIBM58861.2023.10385350},
  timestamp    = {Thu, 14 Mar 2024 16:59:09 +0100},
  biburl       = {https://dblp.org/rec/conf/bibm/WangLDXPCS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/de/ZhangCYTS23,
  author       = {Wei Zhang and
                  Perry Chen and
                  Jian Yang and
                  Yongping Tang and
                  Jianwen Su},
  title        = {A Capability Description Language Design for Data Products},
  booktitle    = {Proceedings of the Second {ACM} Data Economy Workshop, {DEC} 2023,
                  Seattle, WA, USA, 18 June 2023},
  pages        = {21--26},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3600046.3600050},
  doi          = {10.1145/3600046.3600050},
  timestamp    = {Tue, 09 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/de/ZhangCYTS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/ZhangCYSS23,
  author       = {Wei Emma Zhang and
                  Perry Chen and
                  Jian Yang and
                  Jianwen Su and
                  Quan Z. Sheng},
  editor       = {Claudio A. Ardagna and
                  Boualem Benatallah and
                  Hongyi Bian and
                  Carl K. Chang and
                  Rong N. Chang and
                  Jing Fan and
                  Geoffrey C. Fox and
                  Zhi Jin and
                  Xuanzhe Liu and
                  Heiko Ludwig and
                  Michael Sheng and
                  Jian Yang},
  title        = {Data Product-Oriented Services for Data Ecosystem},
  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2023, Chicago,
                  IL, USA, July 2-8, 2023},
  pages        = {755--762},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICWS60048.2023.00102},
  doi          = {10.1109/ICWS60048.2023.00102},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/ZhangCYSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/LiWS23,
  author       = {Ye Li and
                  Mei Wang and
                  Jianwen Su},
  editor       = {Zhi Jin and
                  Yuncheng Jiang and
                  Robert Andrei Buchmann and
                  Yaxin Bi and
                  Ana{-}Maria Ghiran and
                  Wenjun Ma},
  title        = {An Evaluation Metric for Prediction Stability with Imprecise Data},
  booktitle    = {Knowledge Science, Engineering and Management - 16th International
                  Conference, {KSEM} 2023, Guangzhou, China, August 16-18, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14117},
  pages        = {430--441},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40283-8\_36},
  doi          = {10.1007/978-3-031-40283-8\_36},
  timestamp    = {Mon, 14 Aug 2023 16:42:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/LiWS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/WangLLLS22,
  author       = {Mei Wang and
                  Zhihua Lin and
                  Ruihua Li and
                  Ye Li and
                  Jianwen Su},
  title        = {Predicting disease progress with imprecise lab test results},
  journal      = {Artif. Intell. Medicine},
  volume       = {132},
  pages        = {102373},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.artmed.2022.102373},
  doi          = {10.1016/J.ARTMED.2022.102373},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/artmed/WangLLLS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmis/TangCS22,
  author       = {Yan Tang and
                  Weilong Cui and
                  Jianwen Su},
  title        = {A Query Language for Workflow Logs},
  journal      = {{ACM} Trans. Manag. Inf. Syst.},
  volume       = {13},
  number       = {2},
  pages        = {16:1--16:28},
  year         = {2022},
  url          = {https://doi.org/10.1145/3482968},
  doi          = {10.1145/3482968},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tmis/TangCS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/MackeyS22,
  author       = {Isaac Mackey and
                  Jianwen Su},
  editor       = {Mario Alviano and
                  Andreas Pieris},
  title        = {A Rule-Based Constraint Language for Event Streams},
  booktitle    = {Proceedings of the 4th International Workshop on the Resurgence of
                  Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
                  the 16th International Conference on Logic Programming and Nonmonotonic
                  Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3203},
  pages        = {145--150},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3203/short6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:45 +0100},
  biburl       = {https://dblp.org/rec/conf/datalog/MackeyS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MackeyCS22,
  author       = {Isaac Mackey and
                  Raghubir Chimni and
                  Jianwen Su},
  editor       = {Alexander Artikis and
                  Roberto Posenato and
                  Stefano Tonetta},
  title        = {Early Detection of Temporal Constraint Violations},
  booktitle    = {29th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2022, November 7-9, 2022, Virtual Conference},
  series       = {LIPIcs},
  volume       = {247},
  pages        = {4:1--4:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2022.4},
  doi          = {10.4230/LIPICS.TIME.2022.4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/MackeyCS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-03620,
  author       = {Mei Wang and
                  Jianwen Su and
                  Zhihua Lin},
  title        = {Predicting Disease Progress with Imprecise Lab Test Results},
  journal      = {CoRR},
  volume       = {abs/2107.03620},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.03620},
  eprinttype    = {arXiv},
  eprint       = {2107.03620},
  timestamp    = {Tue, 20 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-03620.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12375,
  author       = {Mei Wang and
                  Jianwen Su and
                  Haiqin Lu},
  title        = {Impact of Medical Data Imprecision on Learning Results},
  journal      = {CoRR},
  volume       = {abs/2007.12375},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.12375},
  eprinttype    = {arXiv},
  eprint       = {2007.12375},
  timestamp    = {Wed, 29 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-12375.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}
}
@inproceedings{DBLP:conf/services/Tang0S19,
  author       = {Yongping Tang and
                  Jian Yang and
                  Jianwen Su},
  editor       = {Carl K. Chang and
                  Peter Chen and
                  Michael Goul and
                  Katsunori Oyama and
                  Stephan Reiff{-}Marganiec and
                  Yanchun Sun and
                  Shangguang Wang and
                  Zhongjie Wang},
  title        = {Query Data Inconsistency for Business Processes},
  booktitle    = {2019 {IEEE} World Congress on Services, {SERVICES} 2019, Milan, Italy,
                  July 8-13, 2019},
  pages        = {388--389},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SERVICES.2019.00117},
  doi          = {10.1109/SERVICES.2019.00117},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/services/Tang0S19.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/information/TangMS18,
  author       = {Yan Tang and
                  Isaac Mackey and
                  Jianwen Su},
  title        = {Querying Workflow Logs},
  journal      = {Inf.},
  volume       = {9},
  number       = {2},
  pages        = {25},
  year         = {2018},
  url          = {https://doi.org/10.3390/info9020025},
  doi          = {10.3390/INFO9020025},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/information/TangMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/KopkeES18,
  author       = {Julius K{\"{o}}pke and
                  Johann Eder and
                  Jianwen Su},
  editor       = {Natasha Alechina and
                  Kjetil N{\o}rv{\aa}g and
                  Wojciech Penczek},
  title        = {{GSM+T:} {A} Timed Artifact-Centric Process Model},
  booktitle    = {25th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2018, Warsaw, Poland, October 15-17, 2018},
  series       = {LIPIcs},
  volume       = {120},
  pages        = {18:1--18:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2018.18},
  doi          = {10.4230/LIPICS.TIME.2018.18},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/KopkeES18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/DongS18b,
  author       = {Guozhu Dong and
                  Jianwen Su},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {Incremental Computation of Queries},
  booktitle    = {Encyclopedia of Database Systems, Second Edition},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-1-4614-8265-9\_1351},
  doi          = {10.1007/978-1-4614-8265-9\_1351},
  timestamp    = {Thu, 14 Feb 2019 09:43:36 +0100},
  biburl       = {https://dblp.org/rec/reference/db/DongS18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbd/SuT17,
  author       = {Jianwen Su and
                  Yan Tang},
  title        = {Business Intelligence Revisited},
  booktitle    = {Fifth International Conference on Advanced Cloud and Big Data, {CBD}
                  2017, Shanghai, China, August 13-16, 2017},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/CBD.2017.9},
  doi          = {10.1109/CBD.2017.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbd/SuT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/SuW017,
  author       = {Jianwen Su and
                  Lijie Wen and
                  Jian Yang},
  editor       = {Sylvain Hall{\'{e}} and
                  Roger Villemaire and
                  Robert Lagerstr{\"{o}}m},
  title        = {From Data-centric Business Processes to Enterprise Process Frameworks},
  booktitle    = {21st {IEEE} International Enterprise Distributed Object Computing
                  Conference, {EDOC} 2017, Quebec City, QC, Canada, October 10-13, 2017},
  pages        = {1--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/EDOC.2017.11},
  doi          = {10.1109/EDOC.2017.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/SuW017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/TangS17a,
  author       = {Yan Tang and
                  Jianwen Su},
  editor       = {Aibek Musaev and
                  Jo{\~{a}}o Eduardo Ferreira and
                  Teruo Higashino},
  title        = {Querying Workflow Logs},
  booktitle    = {37th {IEEE} International Conference on Distributed Computing Systems
                  Workshops, {ICDCS} Workshops 2017, Atlanta, GA, USA, June 5-8, 2017},
  pages        = {370--375},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICDCSW.2017.50},
  doi          = {10.1109/ICDCSW.2017.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcsw/TangS17a.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/abs-1709-03628,
  author       = {Christian Janiesch and
                  Agnes Koschmider and
                  Massimo Mecella and
                  Barbara Weber and
                  Andrea Burattin and
                  Claudio Di Ciccio and
                  Avigdor Gal and
                  Udo Kannengiesser and
                  Felix Mannhardt and
                  Jan Mendling and
                  Andreas Oberweis and
                  Manfred Reichert and
                  Stefanie Rinderle{-}Ma and
                  WenZhan Song and
                  Jianwen Su and
                  Victoria Torres and
                  Matthias Weidlich and
                  Mathias Weske and
                  Liang Zhang},
  title        = {The Internet-of-Things Meets Business Process Management: Mutual Benefits
                  and Challenges},
  journal      = {CoRR},
  volume       = {abs/1709.03628},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.03628},
  eprinttype    = {arXiv},
  eprint       = {1709.03628},
  timestamp    = {Fri, 26 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-03628.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}
}
@article{DBLP:journals/tmis/SunSY16,
  author       = {Yutian Sun and
                  Jianwen Su and
                  Jian Yang},
  title        = {Universal Artifacts: {A} New Approach to Business Process Management
                  {(BPM)} Systems},
  journal      = {{ACM} Trans. Manag. Inf. Syst.},
  volume       = {7},
  number       = {1},
  pages        = {3:1--3:26},
  year         = {2016},
  url          = {https://doi.org/10.1145/2886104},
  doi          = {10.1145/2886104},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tmis/SunSY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/KopkeS16,
  author       = {Julius K{\"{o}}pke and
                  Jianwen Su},
  editor       = {Marcello La Rosa and
                  Peter Loos and
                  Oscar Pastor},
  title        = {Towards Quality-Aware Translations of Activity-Centric Processes to
                  Guard Stage Milestone},
  booktitle    = {Business Process Management - 14th International Conference, {BPM}
                  2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9850},
  pages        = {308--325},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45348-4\_18},
  doi          = {10.1007/978-3-319-45348-4\_18},
  timestamp    = {Mon, 18 Jan 2021 08:56:42 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/KopkeS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/WangW00S16,
  author       = {Shuhao Wang and
                  Lijie Wen and
                  Akhil Kumar and
                  Jianmin Wang and
                  Jianwen Su},
  editor       = {Christophe Debruyne and
                  Herv{\'{e}} Panetto and
                  Robert Meersman and
                  Tharam S. Dillon and
                  Eva K{\"{u}}hn and
                  Declan O'Sullivan and
                  Claudio Agostino Ardagna},
  title        = {ExRORU: {A} New Approach to Characterize the Behavioral Semantics
                  of Process Models (Short Paper)},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2016 Conferences
                  - Confederated International Conferences: CoopIS, C{\&}TC, and
                  {ODBASE} 2016, Rhodes, Greece, October 24-28, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10033},
  pages        = {318--326},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48472-3\_18},
  doi          = {10.1007/978-3-319-48472-3\_18},
  timestamp    = {Tue, 15 Nov 2022 15:22:36 +0100},
  biburl       = {https://dblp.org/rec/conf/otm/WangW00S16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caise/2016w,
  editor       = {John Krogstie and
                  Haralambos Mouratidis and
                  Jianwen Su},
  title        = {Advanced Information Systems Engineering Workshops - CAiSE 2016 International
                  Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {249},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39564-7},
  doi          = {10.1007/978-3-319-39564-7},
  isbn         = {978-3-319-39563-0},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/2016w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apbpm/YuZGHS15,
  author       = {Dongjin Yu and
                  Qi Zhu and
                  Dalong Guo and
                  Binbin Huang and
                  Jianwen Su},
  editor       = {Joonsoo Bae and
                  Suriadi Suriadi and
                  Lijie Wen},
  title        = {jBPM4S: {A} Multi-tenant Extension of jBPM to Support BPaaS},
  booktitle    = {Asia Pacific Business Process Management - Third Asia Pacific Conference,
                  {AP-BPM} 2015, Busan, South Korea, June 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {219},
  pages        = {43--56},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19509-4\_4},
  doi          = {10.1007/978-3-319-19509-4\_4},
  timestamp    = {Wed, 24 May 2017 08:28:36 +0200},
  biburl       = {https://dblp.org/rec/conf/apbpm/YuZGHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/KopkeS15,
  author       = {Julius K{\"{o}}pke and
                  Jianwen Su},
  editor       = {Manfred Reichert and
                  Hajo A. Reijers},
  title        = {Towards Ontology Guided Translation of Activity-Centric Processes
                  to {GSM}},
  booktitle    = {Business Process Management Workshops - {BPM} 2015, 13th International
                  Workshops, Innsbruck, Austria, August 31 - September 3, 2015, Revised
                  Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {256},
  pages        = {364--375},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-42887-1\_30},
  doi          = {10.1007/978-3-319-42887-1\_30},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/KopkeS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/SuY15,
  author       = {Jianwen Su and
                  Jian Yang},
  editor       = {Jens Kolb and
                  Barbara Weber and
                  Sylvain Hall{\'{e}} and
                  Wolfgang Mayer and
                  Aditya K. Ghose and
                  Georg Grossmann},
  title        = {Yank Your Data Out of My Engine: {A} New Approach to Workflow System
                  Design},
  booktitle    = {19th {IEEE} International Enterprise Distributed Object Computing
                  Workshop, {EDOC} Workshops 2015, Adelaide, Australia, September 21-25,
                  2015},
  pages        = {61--69},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/EDOCW.2015.15},
  doi          = {10.1109/EDOCW.2015.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/SuY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/SunSY14,
  author       = {Yutian Sun and
                  Jianwen Su and
                  Jian Yang},
  editor       = {Shazia Wasim Sadiq and
                  Pnina Soffer and
                  Hagen V{\"{o}}lzer},
  title        = {Separating Execution and Data Management: {A} Key to Business-Process-as-a-Service
                  (BPaaS)},
  booktitle    = {Business Process Management - 12th International Conference, {BPM}
                  2014, Haifa, Israel, September 7-11, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8659},
  pages        = {374--382},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10172-9\_25},
  doi          = {10.1007/978-3-319-10172-9\_25},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/SunSY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/SunSWY14,
  author       = {Yutian Sun and
                  Jianwen Su and
                  Budan Wu and
                  Jian Yang},
  editor       = {Isabel F. Cruz and
                  Elena Ferrari and
                  Yufei Tao and
                  Elisa Bertino and
                  Goce Trajcevski},
  title        = {Modeling data for business processes},
  booktitle    = {{IEEE} 30th International Conference on Data Engineering, Chicago,
                  {ICDE} 2014, IL, USA, March 31 - April 4, 2014},
  pages        = {1048--1059},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICDE.2014.6816722},
  doi          = {10.1109/ICDE.2014.6816722},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/SunSWY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SunS14,
  author       = {Yutian Sun and
                  Jianwen Su},
  editor       = {Xavier Franch and
                  Aditya K. Ghose and
                  Grace A. Lewis and
                  Sami Bhiri},
  title        = {Conformance for DecSerFlow Constraints},
  booktitle    = {Service-Oriented Computing - 12th International Conference, {ICSOC}
                  2014, Paris, France, November 3-6, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8831},
  pages        = {139--153},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45391-9\_10},
  doi          = {10.1007/978-3-662-45391-9\_10},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/SunS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/SrivastavaFKYS13,
  author       = {Ankit Srivastava and
                  Lisa Ferrigno and
                  Stephen Kaminski and
                  Xifeng Yan and
                  Jianwen Su},
  title        = {Automated Trauma Incident Cubes Analysis},
  booktitle    = {{IEEE} International Conference on Healthcare Informatics, {ICHI}
                  2013, 9-11 September, 2013, Philadelphia, PA, {USA}},
  pages        = {248--257},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICHI.2013.32},
  doi          = {10.1109/ICHI.2013.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ichi/SrivastavaFKYS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MasellisS13,
  author       = {Riccardo De Masellis and
                  Jianwen Su},
  editor       = {Samik Basu and
                  Cesare Pautasso and
                  Liang Zhang and
                  Xiang Fu},
  title        = {Runtime Enforcement of First-Order {LTL} Properties on Data-Aware
                  Business Processes},
  booktitle    = {Service-Oriented Computing - 11th International Conference, {ICSOC}
                  2013, Berlin, Germany, December 2-5, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8274},
  pages        = {54--68},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-45005-1\_5},
  doi          = {10.1007/978-3-642-45005-1\_5},
  timestamp    = {Tue, 09 May 2023 12:51:34 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/MasellisS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/HullSV13,
  author       = {Richard Hull and
                  Jianwen Su and
                  Roman Vacul{\'{\i}}n},
  editor       = {Kenneth A. Ross and
                  Divesh Srivastava and
                  Dimitris Papadias},
  title        = {Data management perspectives on business process management: tutorial
                  overview},
  booktitle    = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
                  of Data, {SIGMOD} 2013, New York, NY, USA, June 22-27, 2013},
  pages        = {943--948},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463676.2467802},
  doi          = {10.1145/2463676.2467802},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/HullSV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/SuS13,
  author       = {Jianwen Su and
                  Yutian Sun},
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {Choreography Revisited},
  booktitle    = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  pages        = {13--25},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-08260-8\_2},
  doi          = {10.1007/978-3-319-08260-8\_2},
  timestamp    = {Wed, 17 Mar 2021 14:09:58 +0100},
  biburl       = {https://dblp.org/rec/conf/wsfm/SuS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/WangYZS12,
  author       = {Yi Wang and
                  Jian Yang and
                  Weiliang Zhao and
                  Jianwen Su},
  title        = {Change impact analysis in service-based business processes},
  journal      = {Serv. Oriented Comput. Appl.},
  volume       = {6},
  number       = {2},
  pages        = {131--149},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11761-011-0093-8},
  doi          = {10.1007/S11761-011-0093-8},
  timestamp    = {Fri, 14 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soca/WangYZS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiuSL12,
  author       = {Xi Liu and
                  Jianwen Su and
                  Xuandong Li},
  editor       = {Karl R. P. H. Leung and
                  Pornsiri Muenchaisri},
  title        = {Proactive Enforcement of Data Consistency by Business Processes},
  booktitle    = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
                  Kong, China, December 4-7, 2012},
  pages        = {701--704},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/APSEC.2012.120},
  doi          = {10.1109/APSEC.2012.120},
  timestamp    = {Sun, 08 Aug 2021 01:40:48 +0200},
  biburl       = {https://dblp.org/rec/conf/apsec/LiuSL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SunXS12,
  author       = {Yutian Sun and
                  Wei Xu and
                  Jianwen Su},
  editor       = {Chengfei Liu and
                  Heiko Ludwig and
                  Farouk Toumani and
                  Qi Yu},
  title        = {Declarative Choreographies for Artifacts},
  booktitle    = {Service-Oriented Computing - 10th International Conference, {ICSOC}
                  2012, Shanghai, China, November 12-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7636},
  pages        = {420--434},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34321-6\_28},
  doi          = {10.1007/978-3-642-34321-6\_28},
  timestamp    = {Mon, 26 Jun 2023 20:44:14 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/SunXS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/SunXSY12,
  author       = {Yutian Sun and
                  Wei Xu and
                  Jianwen Su and
                  Jian Yang},
  editor       = {Pilar Herrero and
                  Herv{\'{e}} Panetto and
                  Robert Meersman and
                  Tharam S. Dillon},
  title        = {SeGA: {A} Mediator for Artifact-Centric Business Processes},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2012 Workshops,
                  Confederated International Workshops: {OTM} Academy, Industry Case
                  Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM,
                  and {SOMOCO} 2012, Rome, Italy, September 10-14, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7567},
  pages        = {658--661},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33618-8\_87},
  doi          = {10.1007/978-3-642-33618-8\_87},
  timestamp    = {Thu, 14 Oct 2021 10:28:28 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/SunXSY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SunS11,
  author       = {Yutian Sun and
                  Jianwen Su},
  editor       = {Gerti Kappel and
                  Zakaria Maamar and
                  Hamid R. Motahari Nezhad},
  title        = {Computing Degree of Parallelism for {BPMN} Processes},
  booktitle    = {Service-Oriented Computing - 9th International Conference, {ICSOC}
                  2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7084},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25535-9\_1},
  doi          = {10.1007/978-3-642-25535-9\_1},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/SunS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/LiuSY11,
  author       = {Xi Liu and
                  Jianwen Su and
                  Jian Yang},
  editor       = {Robert Meersman and
                  Tharam S. Dillon and
                  Pilar Herrero and
                  Akhil Kumar and
                  Manfred Reichert and
                  Li Qing and
                  Beng Chin Ooi and
                  Ernesto Damiani and
                  Douglas C. Schmidt and
                  Jules White and
                  Manfred Hauswirth and
                  Pascal Hitzler and
                  Mukesh K. Mohania},
  title        = {Preservation of Integrity Constraints by Workflow},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2011 - Confederated
                  International Conferences: CoopIS, DOA-SVI, and {ODBASE} 2011, Hersonissos,
                  Crete, Greece, October 17-21, 2011, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7044},
  pages        = {64--81},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25109-2\_6},
  doi          = {10.1007/978-3-642-25109-2\_6},
  timestamp    = {Thu, 14 Oct 2021 10:28:26 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/LiuSY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/XuSYYZ11,
  author       = {Wei Xu and
                  Jianwen Su and
                  Zhimin Yan and
                  Jian Yang and
                  Liang Zhang},
  editor       = {Robert Meersman and
                  Tharam S. Dillon and
                  Pilar Herrero and
                  Akhil Kumar and
                  Manfred Reichert and
                  Li Qing and
                  Beng Chin Ooi and
                  Ernesto Damiani and
                  Douglas C. Schmidt and
                  Jules White and
                  Manfred Hauswirth and
                  Pascal Hitzler and
                  Mukesh K. Mohania},
  title        = {An Artifact-Centric Approach to Dynamic Modification of Workflow Execution},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2011 - Confederated
                  International Conferences: CoopIS, DOA-SVI, and {ODBASE} 2011, Hersonissos,
                  Crete, Greece, October 17-21, 2011, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7044},
  pages        = {256--273},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25109-2\_17},
  doi          = {10.1007/978-3-642-25109-2\_17},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/otm/XuSYYZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2010w,
  editor       = {Michael zur Muehlen and
                  Jianwen Su},
  title        = {Business Process Management Workshops - {BPM} 2010 International Workshops
                  and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {66},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20511-8},
  doi          = {10.1007/978-3-642-20511-8},
  isbn         = {978-3-642-20510-1},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/2010w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/WangHWWHS10,
  author       = {Jianmin Wang and
                  Tengfei He and
                  Lijie Wen and
                  Nianhua Wu and
                  Arthur H. M. ter Hofstede and
                  Jianwen Su},
  editor       = {Robert Meersman and
                  Tharam S. Dillon and
                  Pilar Herrero},
  title        = {A Behavioral Similarity Measure between Labeled Petri Nets Based on
                  Principal Transition Sequences - (Short Paper)},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2010 - Confederated
                  International Conferences: CoopIS, IS, {DOA} and ODBASE, Hersonissos,
                  Crete, Greece, October 25-29, 2010, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6426},
  pages        = {394--401},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16934-2\_27},
  doi          = {10.1007/978-3-642-16934-2\_27},
  timestamp    = {Thu, 14 Oct 2021 10:28:29 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/WangHWWHS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/SuK10,
  author       = {Jianwen Su and
                  Phokion G. Kolaitis},
  editor       = {Jan Paredaens and
                  Dirk Van Gucht},
  title        = {The {ACM} {PODS} Alberto O. Mendelzon test-of-time-award 2010},
  booktitle    = {Proceedings of the Twenty-Ninth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
                  on Principles of Database Systems, {PODS} 2010, June 6-11, 2010, Indianapolis,
                  Indiana, {USA}},
  pages        = {39--40},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1807085.1807093},
  doi          = {10.1145/1807085.1807093},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/SuK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/KucukoguzS10,
  author       = {Esra Kucukoguz and
                  Jianwen Su},
  editor       = {Mario Bravetti and
                  Tevfik Bultan},
  title        = {On Lifecycle Constraints of Artifact-Centric Workflows},
  booktitle    = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
                  2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6551},
  pages        = {71--85},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-19589-1\_5},
  doi          = {10.1007/978-3-642-19589-1\_5},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/KucukoguzS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/PotapovaS10,
  author       = {Alexandra Potapova and
                  Jianwen Su},
  editor       = {Mario Bravetti and
                  Tevfik Bultan},
  title        = {On Nondeterministic Workflow Executions},
  booktitle    = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
                  2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6551},
  pages        = {176--190},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-19589-1\_12},
  doi          = {10.1007/978-3-642-19589-1\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/PotapovaS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10151,
  editor       = {Serge Abiteboul and
                  Agnes Koschmider and
                  Andreas Oberweis and
                  Jianwen Su},
  title        = {Enabling Holistic Approaches to Business Process Lifecycle Management,
                  11.04. - 16.04.2010},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {10151},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2010},
  url          = {http://drops.dagstuhl.de/portals/10151/},
  timestamp    = {Thu, 10 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2010P10151.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2009,
  editor       = {Cosimo Laneve and
                  Jianwen Su},
  title        = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
                  2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6194},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14458-5},
  doi          = {10.1007/978-3-642-14458-5},
  isbn         = {978-3-642-14457-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbiteboulKOS10,
  author       = {Serge Abiteboul and
                  Agnes Koschmider and
                  Andreas Oberweis and
                  Jianwen Su},
  editor       = {Serge Abiteboul and
                  Agnes Koschmider and
                  Andreas Oberweis and
                  Jianwen Su},
  title        = {10151 Abstracts Collection - Enabling Holistic Approaches to Business
                  Process Lifecycle Management},
  booktitle    = {Enabling Holistic Approaches to Business Process Lifecycle Management,
                  11.04. - 16.04.2010},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {10151},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2010},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2719/},
  timestamp    = {Thu, 10 Jun 2021 13:02:05 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/AbiteboulKOS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbiteboulKOS10a,
  author       = {Serge Abiteboul and
                  Agnes Koschmider and
                  Andreas Oberweis and
                  Jianwen Su},
  editor       = {Serge Abiteboul and
                  Agnes Koschmider and
                  Andreas Oberweis and
                  Jianwen Su},
  title        = {10151 Working Groups Results - How to enable Holistic Approaches to
                  Business Process Lifecycle Management},
  booktitle    = {Enabling Holistic Approaches to Business Process Lifecycle Management,
                  11.04. - 16.04.2010},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {10151},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2010},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2720/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/AbiteboulKOS10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/Su09,
  author       = {Jianwen Su},
  title        = {Letter from the Special Issue Editor},
  journal      = {{IEEE} Data Eng. Bull.},
  volume       = {32},
  number       = {3},
  pages        = {2},
  year         = {2009},
  url          = {http://sites.computer.org/debull/A09sept/jianwen-let.pdf},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/debu/Su09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Su09,
  author       = {Jianwen Su},
  title        = {Database theory column: report on {PODS} 2009},
  journal      = {{SIGACT} News},
  volume       = {40},
  number       = {4},
  pages        = {62--63},
  year         = {2009},
  url          = {https://doi.org/10.1145/1711475.1711488},
  doi          = {10.1145/1711475.1711488},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigact/Su09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FritzHS09,
  author       = {Christian Fritz and
                  Richard Hull and
                  Jianwen Su},
  editor       = {Ronald Fagin},
  title        = {Automatic construction of simple artifact-based 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        = {225--238},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1514894.1514922},
  doi          = {10.1145/1514894.1514922},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/FritzHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LiuLQSYZ09,
  author       = {Guohua Liu and
                  Xi Liu and
                  Haihuan Qin and
                  Jianwen Su and
                  Zhimin Yan and
                  Liang Zhang},
  editor       = {Asit Dan and
                  Frederic Gittler and
                  Farouk Toumani},
  title        = {Automated Realization of Business Workflow Specification},
  booktitle    = {Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops - International
                  Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27,
                  2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6275},
  pages        = {96--108},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16132-2\_9},
  doi          = {10.1007/978-3-642-16132-2\_9},
  timestamp    = {Tue, 22 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/LiuLQSYZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/CalvaneseGHS09,
  author       = {Diego Calvanese and
                  Giuseppe De Giacomo and
                  Richard Hull and
                  Jianwen Su},
  editor       = {Luciano Baresi and
                  Chi{-}Hung Chi and
                  Jun Suzuki},
  title        = {Artifact-Centric Workflow Dominance},
  booktitle    = {Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave
                  2009, Stockholm, Sweden, November 24-27, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5900},
  pages        = {130--143},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10383-4\_9},
  doi          = {10.1007/978-3-642-10383-4\_9},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/CalvaneseGHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhaoSYQ09,
  author       = {Xiangpeng Zhao and
                  Jianwen Su and
                  Hongli Yang and
                  Zongyan Qiu},
  editor       = {Wei{-}Ngan Chin and
                  Shengchao Qin},
  title        = {Enforcing Constraints on Life Cycles of Business Artifacts},
  booktitle    = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
                  of Software Engineering, 29-31 July 2009, Tianjin, China},
  pages        = {111--118},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/TASE.2009.46},
  doi          = {10.1109/TASE.2009.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/ZhaoSYQ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/igi/09/Bhattacharya0S09,
  author       = {Kamal Bhattacharya and
                  Richard Hull and
                  Jianwen Su},
  editor       = {Jorge Cardoso and
                  Wil M. P. van der Aalst},
  title        = {A Data-Centric Design Methodology for Business Processes},
  booktitle    = {Handbook of Research on Business Process Modeling},
  pages        = {503--531},
  publisher    = {{IGI} Global},
  year         = {2009},
  url          = {https://doi.org/10.4018/978-1-60566-288-6.ch023},
  doi          = {10.4018/978-1-60566-288-6.CH023},
  timestamp    = {Thu, 03 Feb 2022 09:27:46 +0100},
  biburl       = {https://dblp.org/rec/books/igi/09/Bhattacharya0S09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2009,
  editor       = {Jan Paredaens and
                  Jianwen Su},
  title        = {Proceedings of the Twenty-Eigth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
                  on Principles of Database Systems, {PODS} 2009, June 19 - July 1,
                  2009, Providence, Rhode Island, {USA}},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {http://dl.acm.org/citation.cfm?id=1559795},
  isbn         = {978-1-60558-553-6},
  timestamp    = {Wed, 23 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pods/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/DongS09,
  author       = {Guozhu Dong and
                  Jianwen Su},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {Incremental Computation of Queries},
  booktitle    = {Encyclopedia of Database Systems},
  pages        = {1414--1417},
  publisher    = {Springer {US}},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-0-387-39940-9\_1351},
  doi          = {10.1007/978-0-387-39940-9\_1351},
  timestamp    = {Sun, 02 Jun 2019 21:10:27 +0200},
  biburl       = {https://dblp.org/rec/reference/db/DongS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/Su08,
  author       = {Jianwen Su},
  title        = {Letter from the Special Issue Editor},
  journal      = {{IEEE} Data Eng. Bull.},
  volume       = {31},
  number       = {3},
  pages        = {2},
  year         = {2008},
  url          = {http://sites.computer.org/debull/A08Sept/jianwen-let.pdf},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/debu/Su08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/geoinformatica/LinS08,
  author       = {Bin Lin and
                  Jianwen Su},
  title        = {One Way Distance: For Shape Based Similarity Search of Moving Object
                  Trajectories},
  journal      = {GeoInformatica},
  volume       = {12},
  number       = {2},
  pages        = {117--142},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10707-007-0027-y},
  doi          = {10.1007/S10707-007-0027-Y},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/geoinformatica/LinS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GeredeIRS08,
  author       = {Cagdas Evren Gerede and
                  Oscar H. Ibarra and
                  Bala Ravikumar and
                  Jianwen Su},
  title        = {Minimum-cost delegation in service composition},
  journal      = {Theor. Comput. Sci.},
  volume       = {409},
  number       = {3},
  pages        = {417--431},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2008.08.040},
  doi          = {10.1016/J.TCS.2008.08.040},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GeredeIRS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/MokhtarS08,
  author       = {Hoda M. O. Mokhtar and
                  Jianwen Su},
  editor       = {Paolo Atzeni and
                  Albertas Caplinskas and
                  Hannu Jaakkola},
  title        = {{QUESTO:} {A} Query Language for Uncertain and Exact Spatio-temporal
                  Objects},
  booktitle    = {Advances in Databases and Information Systems, 12th East European
                  Conference, {ADBIS} 2008, Pori, Finland, September 5-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5207},
  pages        = {184--198},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85713-6\_14},
  doi          = {10.1007/978-3-540-85713-6\_14},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adbis/MokhtarS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/WileyWS08,
  author       = {Mark Wiley and
                  Aihua Wu and
                  Jianwen Su},
  title        = {{WSDL-D:} {A} Flexible Web Service Invocation Mechanism for Large
                  Datasets},
  booktitle    = {10th {IEEE} International Conference on E-Commerce Technology {(CEC}
                  2008) / 5th {IEEE} International Conference on Enterprise Computing,
                  E-Commerce and E-Services {(EEE} 2008), July 21-14, 2008, Washington,
                  DC, {USA}},
  pages        = {157--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/CECandEEE.2008.150},
  doi          = {10.1109/CECANDEEE.2008.150},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wecwis/WileyWS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/SibirtsevaSSWYM08,
  author       = {Anna Sibirtseva and
                  Zhongnan Shen and
                  Jianwen Su and
                  Fuliang Weng and
                  Baoshi Yan and
                  Yao Meng},
  title        = {SSWiM: {A} Semantic Service, Wrapper and Invocation Manager},
  booktitle    = {10th {IEEE} International Conference on E-Commerce Technology {(CEC}
                  2008) / 5th {IEEE} International Conference on Enterprise Computing,
                  E-Commerce and E-Services {(EEE} 2008), July 21-14, 2008, Washington,
                  DC, {USA}},
  pages        = {175--182},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/CECandEEE.2008.120},
  doi          = {10.1109/CECANDEEE.2008.120},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wecwis/SibirtsevaSSWYM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/YuCWS07,
  author       = {Cui Yu and
                  Bin Cui and
                  Shuguang Wang and
                  Jianwen Su},
  title        = {Efficient index-based {KNN} join processing for high-dimensional data},
  journal      = {Inf. Softw. Technol.},
  volume       = {49},
  number       = {4},
  pages        = {332--344},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.infsof.2006.05.006},
  doi          = {10.1016/J.INFSOF.2006.05.006},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/infsof/YuCWS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KuperS07,
  author       = {Gabriel M. Kuper and
                  Jianwen Su},
  title        = {A representation independent language for planar spatial databases
                  with Euclidean distance},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {73},
  number       = {6},
  pages        = {845--874},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jcss.2006.10.008},
  doi          = {10.1016/J.JCSS.2006.10.008},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/KuperS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BhattacharyaGHLS07,
  author       = {Kamal Bhattacharya and
                  Cagdas Evren Gerede and
                  Richard Hull and
                  Rong Liu and
                  Jianwen Su},
  editor       = {Gustavo Alonso and
                  Peter Dadam and
                  Michael Rosemann},
  title        = {Towards Formal Analysis of Artifact-Centric Business Process Models},
  booktitle    = {Business Process Management, 5th International Conference, {BPM} 2007,
                  Brisbane, Australia, September 24-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4714},
  pages        = {288--304},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75183-0\_21},
  doi          = {10.1007/978-3-540-75183-0\_21},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/BhattacharyaGHLS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/GeredeS07,
  author       = {Cagdas E. Gerede and
                  Jianwen Su},
  editor       = {Bernd J. Kr{\"{a}}mer and
                  Kwei{-}Jay Lin and
                  Priya Narasimhan},
  title        = {Specification and Verification of Artifact Behaviors in Business Process
                  Models},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2007, Fifth International Conference,
                  Vienna, Austria, September 17-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4749},
  pages        = {181--192},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74974-5\_15},
  doi          = {10.1007/978-3-540-74974-5\_15},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/GeredeS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/ShenS07,
  author       = {Zhongnan Shen and
                  Jianwen Su},
  title        = {On Completeness of Web Service Compositions},
  booktitle    = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
                  July 9-13, 2007, Salt Lake City, Utah, {USA}},
  pages        = {800--807},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICWS.2007.132},
  doi          = {10.1109/ICWS.2007.132},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/ShenS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/ShenS07,
  author       = {Zhongnan Shen and
                  Jianwen Su},
  title        = {On Complexity of The Tightening Problem for Web Service Discovery},
  booktitle    = {{IEEE} International Conference on Service-Oriented Computing and
                  Applications, {SOCA} 2007, 19-20 June 2007, Newport Beach, California,
                  {USA}},
  pages        = {29--38},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SOCA.2007.33},
  doi          = {10.1109/SOCA.2007.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/soca/ShenS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/GeredeBS07,
  author       = {Cagdas E. Gerede and
                  Kamal Bhattacharya and
                  Jianwen Su},
  title        = {Static Analysis of Business Artifact-centric Operational Models},
  booktitle    = {{IEEE} International Conference on Service-Oriented Computing and
                  Applications, {SOCA} 2007, 19-20 June 2007, Newport Beach, California,
                  {USA}},
  pages        = {133--140},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SOCA.2007.42},
  doi          = {10.1109/SOCA.2007.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/soca/GeredeBS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/GravelFS07,
  author       = {Ariane Gravel and
                  Xiang Fu and
                  Jianwen Su},
  title        = {An Analysis Tool for Execution of {BPEL} Services},
  booktitle    = {9th {IEEE} International Conference on E-Commerce Technology {(CEC}
                  2007) / 4th {IEEE} International Conference on Enterprise Computing,
                  E-Commerce and E-Services {(EEE} 2007), 23-26 July 2007, National
                  Center of Sciences, Tokyo, Japan},
  pages        = {429--432},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/CEC-EEE.2007.19},
  doi          = {10.1109/CEC-EEE.2007.19},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wecwis/GravelFS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/SuBFZ07,
  author       = {Jianwen Su and
                  Tevfik Bultan and
                  Xiang Fu and
                  Xiangpeng Zhao},
  editor       = {Marlon Dumas and
                  Reiko Heckel},
  title        = {Towards a Theory of Web Service Choreographies},
  booktitle    = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
                  2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4937},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-79230-7\_1},
  doi          = {10.1007/978-3-540-79230-7\_1},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/SuBFZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ShenS07,
  author       = {Zhongnan Shen and
                  Jianwen Su},
  editor       = {Carey L. Williamson and
                  Mary Ellen Zurko and
                  Peter F. Patel{-}Schneider and
                  Prashant J. Shenoy},
  title        = {On automated composition for web services},
  booktitle    = {Proceedings of the 16th International Conference on World Wide Web,
                  {WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
  pages        = {1261--1262},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1242572.1242797},
  doi          = {10.1145/1242572.1242797},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/ShenS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/swb/BultanFS07,
  author       = {Tevfik Bultan and
                  Xiang Fu and
                  Jianwen Su},
  editor       = {Luciano Baresi and
                  Elisabetta Di Nitto},
  title        = {Analyzing Conversations: Realizability, Synchronizability, and Verification},
  booktitle    = {Test and Analysis of Web Services},
  pages        = {57--85},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72912-9\_3},
  doi          = {10.1007/978-3-540-72912-9\_3},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/swb/BultanFS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mdm/2007,
  editor       = {Christian Becker and
                  Christian S. Jensen and
                  Jianwen Su and
                  Daniela Nicklas},
  title        = {8th International Conference on Mobile Data Management {(MDM} 2007),
                  Mannheim, Germany, May 7-11, 2007},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4417106/proceeding},
  isbn         = {1-4244-1240-4},
  timestamp    = {Tue, 19 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mdm/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/BultanSF06,
  author       = {Tevfik Bultan and
                  Jianwen Su and
                  Xiang Fu},
  title        = {Analyzing Conversations of Web Services},
  journal      = {{IEEE} Internet Comput.},
  volume       = {10},
  number       = {1},
  pages        = {18--25},
  year         = {2006},
  url          = {https://doi.org/10.1109/MIC.2006.1},
  doi          = {10.1109/MIC.2006.1},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/internet/BultanSF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwsr/FuBS05,
  author       = {Xiang Fu and
                  Tevfik Bultan and
                  Jianwen Su},
  title        = {Realizability of Conversation Protocols with Message Contents},
  journal      = {Int. J. Web Serv. Res.},
  volume       = {2},
  number       = {4},
  pages        = {68--93},
  year         = {2005},
  url          = {https://doi.org/10.4018/jwsr.2005100104},
  doi          = {10.4018/JWSR.2005100104},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jwsr/FuBS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/HullS05,
  author       = {Richard Hull and
                  Jianwen Su},
  title        = {Tools for composite web services: a short overview},
  journal      = {{SIGMOD} Rec.},
  volume       = {34},
  number       = {2},
  pages        = {86--95},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083784.1083807},
  doi          = {10.1145/1083784.1083807},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigmod/HullS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DangIS05a,
  author       = {Zhe Dang and
                  Oscar H. Ibarra and
                  Jianwen Su},
  title        = {On composition and lookahead delegation of \emph{e}-services modeled
                  by automata\({}^{\mbox{, }}\)},
  journal      = {Theor. Comput. Sci.},
  volume       = {341},
  number       = {1-3},
  pages        = {344--363},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2005.06.009},
  doi          = {10.1016/J.TCS.2005.06.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DangIS05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/CuiOST05,
  author       = {Bin Cui and
                  Beng Chin Ooi and
                  Jianwen Su and
                  Kian{-}Lee Tan},
  title        = {Indexing High-Dimensional Data for Efficient In-Memory Similarity
                  Search},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {17},
  number       = {3},
  pages        = {339--353},
  year         = {2005},
  url          = {https://doi.org/10.1109/TKDE.2005.46},
  doi          = {10.1109/TKDE.2005.46},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tkde/CuiOST05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FuBS05,
  author       = {Xiang Fu and
                  Tevfik Bultan and
                  Jianwen Su},
  title        = {Synchronizability of Conversations among Web Services},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {31},
  number       = {12},
  pages        = {1042--1055},
  year         = {2005},
  url          = {https://doi.org/10.1109/TSE.2005.141},
  doi          = {10.1109/TSE.2005.141},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/FuBS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/Su05,
  author       = {Jianwen Su},
  title        = {Web Service Interactions: Analysis and Design},
  booktitle    = {Fifth International Conference on Computer and Information Technology
                  {(CIT} 2005), 21-23 September 2005, Shanghai, China},
  pages        = {3},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/CIT.2005.198},
  doi          = {10.1109/CIT.2005.198},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcit/Su05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/GeredeRS05,
  author       = {Cagdas Evren Gerede and
                  Oscar H. Ibarra and
                  Bala Ravikumar and
                  Jianwen Su},
  title        = {Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition},
  booktitle    = {2005 {IEEE} International Conference on Services Computing {(SCC}
                  2005), 11-15 July 2005, Orlando, FL, {USA}},
  pages        = {103--112},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SCC.2005.69},
  doi          = {10.1109/SCC.2005.69},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/GeredeRS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/ShenS05,
  author       = {Zhongnan Shen and
                  Jianwen Su},
  title        = {Web Service Discovery Based on Behavior Signatures},
  booktitle    = {2005 {IEEE} International Conference on Services Computing {(SCC}
                  2005), 11-15 July 2005, Orlando, FL, {USA}},
  pages        = {279--286},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SCC.2005.107},
  doi          = {10.1109/SCC.2005.107},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/ShenS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/LinS05,
  author       = {Bin Lin and
                  Jianwen Su},
  editor       = {Otthein Herzog and
                  Hans{-}J{\"{o}}rg Schek and
                  Norbert Fuhr and
                  Abdur Chowdhury and
                  Wilfried Teiken},
  title        = {Handling frequent updates of moving objects},
  booktitle    = {Proceedings of the 2005 {ACM} {CIKM} International Conference on Information
                  and Knowledge Management, Bremen, Germany, October 31 - November 5,
                  2005},
  pages        = {493--500},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1099554.1099691},
  doi          = {10.1145/1099554.1099691},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cikm/LinS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/LinS05,
  author       = {Bin Lin and
                  Jianwen Su},
  editor       = {Cyrus Shahabi and
                  Omar Boucelma},
  title        = {Shapes based trajectory queries for moving objects},
  booktitle    = {13th {ACM} International Workshop on Geographic Information Systems,
                  {ACM-GIS} 2005, November 4-5, 2005, Bremen, Germany, Proceedings},
  pages        = {21--30},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1097064.1097069},
  doi          = {10.1145/1097064.1097069},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gis/LinS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SahinGAAIS05,
  author       = {Ozgur D. Sahin and
                  Cagdas Evren Gerede and
                  Divyakant Agrawal and
                  Amr El Abbadi and
                  Oscar H. Ibarra and
                  Jianwen Su},
  editor       = {Boualem Benatallah and
                  Fabio Casati and
                  Paolo Traverso},
  title        = {SPiDeR: P2P-Based Web Service Discovery},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference,
                  Amsterdam, The Netherlands, December 12-15, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3826},
  pages        = {157--169},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11596141\_13},
  doi          = {10.1007/11596141\_13},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/SahinGAAIS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/SuBF05,
  author       = {Jianwen Su and
                  Tevfik Bultan and
                  Xiang Fu},
  editor       = {Jorge Cardoso and
                  Amit P. Sheth},
  title        = {Web Service Interactions: Analysis and Design},
  booktitle    = {Proceedings of the {ICWS} 2005 Second International Workshop on Semantic
                  and Dynamic Web Processes, SDWP@ICWS 2005, Orlando, Florida, USA,
                  July 11, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {140},
  publisher    = {CEUR-WS.org},
  year         = {2005},
  url          = {https://ceur-ws.org/Vol-140/talk2.pdf},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icws/SuBF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdbm/MokhtarS05,
  author       = {Hoda M. O. Mokhtar and
                  Jianwen Su},
  editor       = {James Frew},
  title        = {A Query Language for Moving Object Trajectories},
  booktitle    = {17th International Conference on Scientific and Statistical Database
                  Management, {SSDBM} 2005, 27-29 June 2005, University of California,
                  Santa Barbara, CA, USA, Proceedings},
  pages        = {173--182},
  year         = {2005},
  timestamp    = {Wed, 08 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssdbm/MokhtarS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FuBS04,
  author       = {Xiang Fu and
                  Tevfik Bultan and
                  Jianwen Su},
  title        = {Conversation protocols: a formalism for specification and verification
                  of reactive electronic services},
  journal      = {Theor. Comput. Sci.},
  volume       = {328},
  number       = {1-2},
  pages        = {19--37},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.004},
  doi          = {10.1016/J.TCS.2004.07.004},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/FuBS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/CuiOST04,
  author       = {Bin Cui and
                  Beng Chin Ooi and
                  Jianwen Su and
                  Kian{-}Lee Tan},
  title        = {Main Memory Indexing: The Case for BD-Tree},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {16},
  number       = {7},
  pages        = {870--874},
  year         = {2004},
  url          = {https://doi.org/10.1109/TKDE.2004.1318568},
  doi          = {10.1109/TKDE.2004.1318568},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tkde/CuiOST04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BultanFS04,
  author       = {Tevfik Bultan and
                  Xiang Fu and
                  Jianwen Su},
  editor       = {Farn Wang},
  title        = {Tools for Automated Verification of Web Services},
  booktitle    = {Automated Technology for Verification and Analysis: Second International
                  Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
                  3, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3299},
  pages        = {8--10},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30476-0\_4},
  doi          = {10.1007/978-3-540-30476-0\_4},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BultanFS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FuBS04,
  author       = {Xiang Fu and
                  Tevfik Bultan and
                  Jianwen Su},
  editor       = {Rajeev Alur and
                  Doron A. Peled},
  title        = {{WSAT:} {A} Tool for Formal Analysis of Web Services},
  booktitle    = {Computer Aided Verification, 16th International Conference, {CAV}
                  2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3114},
  pages        = {510--514},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27813-9\_48},
  doi          = {10.1007/978-3-540-27813-9\_48},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FuBS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/GeredeHIS04,
  author       = {Cagdas Evren Gerede and
                  Richard Hull and
                  Oscar H. Ibarra and
                  Jianwen Su},
  editor       = {Marco Aiello and
                  Mikio Aoyama and
                  Francisco Curbera and
                  Mike P. Papazoglou},
  title        = {Automated composition of e-services: lookaheads},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2004, Second International Conference,
                  New York, NY, USA, November 15-19, 2004, Proceedings},
  pages        = {252--262},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1035167.1035203},
  doi          = {10.1145/1035167.1035203},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoc/GeredeHIS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/FuBS04,
  author       = {Xiang Fu and
                  Tevfik Bultan and
                  Jianwen Su},
  title        = {Realizability of Conversation Protocols With Message Contents},
  booktitle    = {Proceedings of the {IEEE} International Conference on Web Services
                  (ICWS'04), June 6-9, 2004, San Diego, California, {USA}},
  pages        = {96},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICWS.2004.1314728},
  doi          = {10.1109/ICWS.2004.1314728},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icws/FuBS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/DangIS04,
  author       = {Zhe Dang and
                  Oscar H. Ibarra and
                  Jianwen Su},
  editor       = {Rudolf Fleischer and
                  Gerhard Trippen},
  title        = {Composability of Infinite-State Activity Automata},
  booktitle    = {Algorithms and Computation, 15th International Symposium, {ISAAC}
                  2004, Hong Kong, China, December 20-22, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3341},
  pages        = {377--388},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30551-4\_34},
  doi          = {10.1007/978-3-540-30551-4\_34},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/DangIS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FuBS04,
  author       = {Xiang Fu and
                  Tevfik Bultan and
                  Jianwen Su},
  editor       = {George S. Avrunin and
                  Gregg Rothermel},
  title        = {Model checking {XML} manipulating software},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
                  11-14, 2004},
  pages        = {252--262},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1007512.1007547},
  doi          = {10.1145/1007512.1007547},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/FuBS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdm/LinS04,
  author       = {Bin Lin and
                  Jianwen Su},
  title        = {On Bulk Loading TPR-Tree},
  booktitle    = {5th {IEEE} International Conference on Mobile Data Management {(MDM}
                  2004), 19-22 January 2004, Berkeley, CA, {USA}},
  pages        = {114--124},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/MDM.2004.1263049},
  doi          = {10.1109/MDM.2004.1263049},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mdm/LinS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdm/MokhtarS04,
  author       = {Hoda M. O. Mokhtar and
                  Jianwen Su},
  title        = {Universal Trajectory Queries for Moving Object Databases},
  booktitle    = {5th {IEEE} International Conference on Mobile Data Management {(MDM}
                  2004), 19-22 January 2004, Berkeley, CA, {USA}},
  pages        = {133},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/MDM.2004.1263051},
  doi          = {10.1109/MDM.2004.1263051},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mdm/MokhtarS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/CardosoMSP04,
  author       = {Jorge Cardoso and
                  John A. Miller and
                  Jianwen Su and
                  Jeff Pollock},
  editor       = {Jorge Cardoso and
                  Amit P. Sheth},
  title        = {Academic and Industrial Research: Do Their Approaches Differ in Adding
                  Semantics to Web Services?},
  booktitle    = {Semantic Web Services and Web Process Composition, First International
                  Workshop, {SWSWPC} 2004, San Diego, CA, USA, July 6, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3387},
  pages        = {14--21},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30581-1\_2},
  doi          = {10.1007/978-3-540-30581-1\_2},
  timestamp    = {Thu, 11 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/CardosoMSP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/HullS04,
  author       = {Richard Hull and
                  Jianwen Su},
  editor       = {Gerhard Weikum and
                  Arnd Christian K{\"{o}}nig and
                  Stefan De{\ss}loch},
  title        = {Tools for Design of Composite Web Services},
  booktitle    = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
                  of Data, Paris, France, June 13-18, 2004},
  pages        = {958--961},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1007568.1007722},
  doi          = {10.1145/1007568.1007722},
  timestamp    = {Thu, 11 Mar 2021 15:20:15 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/HullS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/FuBS04,
  author       = {Xiang Fu and
                  Tevfik Bultan and
                  Jianwen Su},
  editor       = {Stuart I. Feldman and
                  Mike Uretsky and
                  Marc Najork and
                  Craig E. Wills},
  title        = {Analysis of interacting {BPEL} web services},
  booktitle    = {Proceedings of the 13th international conference on World Wide Web,
                  {WWW} 2004, New York, NY, USA, May 17-20, 2004},
  pages        = {621--630},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/988672.988756},
  doi          = {10.1145/988672.988756},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/FuBS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/CanWWS03,
  author       = {Tolga Can and
                  Yujun Wang and
                  Yuan{-}Fang Wang and
                  Jianwen Su},
  title        = {{FPV:} Fast Protein Visualization Using Java 3DTM},
  journal      = {Bioinform.},
  volume       = {19},
  number       = {8},
  pages        = {913--922},
  year         = {2003},
  url          = {https://doi.org/10.1093/bioinformatics/btg104},
  doi          = {10.1093/BIOINFORMATICS/BTG104},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/CanWWS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/HullBCS03,
  author       = {Richard Hull and
                  Michael Benedikt and
                  Vassilis Christophides and
                  Jianwen Su},
  editor       = {Frank Neven and
                  Catriel Beeri and
                  Tova Milo},
  title        = {E-services: a look behind the curtain},
  booktitle    = {Proceedings of the Twenty-Second {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, June 9-12, 2003, San Diego, CA,
                  {USA}},
  pages        = {1--14},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/773153.773154},
  doi          = {10.1145/773153.773154},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/HullBCS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CanWWS03,
  author       = {Tolga Can and
                  Yujun Wang and
                  Yuan{-}Fang Wang and
                  Jianwen Su},
  editor       = {Gary B. Lamont and
                  Hisham Haddad and
                  George A. Papadopoulos and
                  Brajendra Panda},
  title        = {{FPV:} Fast Protein Visualization Using Java 3D},
  booktitle    = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
                  March 9-12, 2003, Melbourne, FL, {USA}},
  pages        = {88--95},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/952532.952554},
  doi          = {10.1145/952532.952554},
  timestamp    = {Tue, 06 Nov 2018 11:06:45 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/CanWWS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/CuiOTS03,
  author       = {Bin Cui and
                  Beng Chin Ooi and
                  Jianwen Su and
                  Kian{-}Lee Tan},
  editor       = {Alon Y. Halevy and
                  Zachary G. Ives and
                  AnHai Doan},
  title        = {Contorting High Dimensional Data for Efficient Main Memory Processing},
  booktitle    = {Proceedings of the 2003 {ACM} {SIGMOD} International Conference on
                  Management of Data, San Diego, California, USA, June 9-12, 2003},
  pages        = {479--490},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/872757.872815},
  doi          = {10.1145/872757.872815},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmod/CuiOTS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/FuBS03,
  author       = {Xiang Fu and
                  Tevfik Bultan and
                  Jianwen Su},
  editor       = {Oscar H. Ibarra and
                  Zhe Dang},
  title        = {Conversation Protocols: {A} Formalism for Specification and Verification
                  of Reactive Electronic Services},
  booktitle    = {Implementation and Application of Automata, 8th International Conference,
                  {CIAA} 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2759},
  pages        = {188--200},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-45089-0\_18},
  doi          = {10.1007/3-540-45089-0\_18},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/FuBS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BultanFHS03,
  author       = {Tevfik Bultan and
                  Xiang Fu and
                  Richard Hull and
                  Jianwen Su},
  editor       = {Guszt{\'{a}}v Hencsey and
                  Bebo White and
                  Yih{-}Farn Robin Chen and
                  L{\'{a}}szl{\'{o}} Kov{\'{a}}cs and
                  Steve Lawrence},
  title        = {Conversation specification: a new approach to design and analysis
                  of e-service composition},
  booktitle    = {Proceedings of the Twelfth International World Wide Web Conference,
                  {WWW} 2003, Budapest, Hungary, May 20-24, 2003},
  pages        = {403--410},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/775152.775210},
  doi          = {10.1145/775152.775210},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/BultanFHS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraSDBK02,
  author       = {Oscar H. Ibarra and
                  Jianwen Su and
                  Zhe Dang and
                  Tevfik Bultan and
                  Richard A. Kemmerer},
  title        = {Counter Machines and Verification Problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {289},
  number       = {1},
  pages        = {165--189},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00268-7},
  doi          = {10.1016/S0304-3975(01)00268-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/IbarraSDBK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraS02,
  author       = {Oscar H. Ibarra and
                  Jianwen Su},
  title        = {Augmenting the discrete timed automaton with other data structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {289},
  number       = {1},
  pages        = {191--204},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00269-9},
  doi          = {10.1016/S0304-3975(01)00269-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/IbarraS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/ZhuSI02,
  author       = {Hongjun Zhu and
                  Jianwen Su and
                  Oscar H. Ibarra},
  title        = {Trajectory queries and octagons in moving object databases},
  booktitle    = {Proceedings of the 2002 {ACM} {CIKM} International Conference on Information
                  and Knowledge Management, McLean, VA, USA, November 4-9, 2002},
  pages        = {413--421},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584792.584860},
  doi          = {10.1145/584792.584860},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cikm/ZhuSI02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/MokhtarSI02,
  author       = {Hoda M. O. Mokhtar and
                  Jianwen Su and
                  Oscar H. Ibarra},
  editor       = {Lucian Popa and
                  Serge Abiteboul and
                  Phokion G. Kolaitis},
  title        = {On Moving Object Queries},
  booktitle    = {Proceedings of the Twenty-first {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, June 3-5, Madison, Wisconsin, {USA}},
  pages        = {188--198},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/543613.543638},
  doi          = {10.1145/543613.543638},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pods/MokhtarSI02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wes/FuBS02,
  author       = {Xiang Fu and
                  Tevfik Bultan and
                  Jianwen Su},
  editor       = {Christoph Bussler and
                  Richard Hull and
                  Sheila A. McIlraith and
                  Maria E. Orlowska and
                  Barbara Pernici and
                  Jian Yang},
  title        = {Formal Verification of e-Services and Workflows},
  booktitle    = {Web Services, E-Business, and the Semantic Web, CAiSE 2002 International
                  Workshop, {WES} 2002, Toronto, Canada, May 27-28, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2512},
  pages        = {188--202},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36189-8\_15},
  doi          = {10.1007/3-540-36189-8\_15},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wes/FuBS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/waim/2002,
  editor       = {Xiaofeng Meng and
                  Jianwen Su and
                  Yujun Wang},
  title        = {Advances in Web-Age Information Management, Third International Conference,
                  {WAIM} 2002, Beijing, China, August 11-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2419},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45703-8},
  doi          = {10.1007/3-540-45703-8},
  isbn         = {3-540-44045-3},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/waim/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/IbarraBS01,
  author       = {Oscar H. Ibarra and
                  Tevfik Bultan and
                  Jianwen Su},
  title        = {On Reachability and Safety in Infinite-State Systems},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {12},
  number       = {6},
  pages        = {821--836},
  year         = {2001},
  url          = {https://doi.org/10.1142/S0129054101000898},
  doi          = {10.1142/S0129054101000898},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/IbarraBS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/IbarraSB01,
  author       = {Oscar H. Ibarra and
                  Jianwen Su and
                  Constantinos Bartzis},
  editor       = {Carlos Mart{\'{\i}}n{-}Vide and
                  Victor Mitrana},
  title        = {Counter machines and the safety and disjointness problems for database
                  queries with linear constraints},
  booktitle    = {Where Mathematics, Computer Science, Linguistics and Biology Meet:
                  Essays in Honour of Gheorghe Paun},
  pages        = {127--137},
  publisher    = {Kluwer Academic Publishers},
  year         = {2001},
  timestamp    = {Fri, 09 Dec 2011 11:05:54 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/IbarraSB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssd/SuXI01,
  author       = {Jianwen Su and
                  Haiyan Xu and
                  Oscar H. Ibarra},
  editor       = {Christian S. Jensen and
                  Markus Schneider and
                  Bernhard Seeger and
                  Vassilis J. Tsotras},
  title        = {Moving Objects: Logical Relationships and Queries},
  booktitle    = {Advances in Spatial and Temporal Databases, 7th International Symposium,
                  {SSTD} 2001, Redondo Beach, CA, USA, July 12-15, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2121},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-47724-1\_1},
  doi          = {10.1007/3-540-47724-1\_1},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ssd/SuXI01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssd/ZhuSI01,
  author       = {Hongjun Zhu and
                  Jianwen Su and
                  Oscar H. Ibarra},
  editor       = {Christian S. Jensen and
                  Markus Schneider and
                  Bernhard Seeger and
                  Vassilis J. Tsotras},
  title        = {On Multi-way Spatial Joins with Direction Predicates},
  booktitle    = {Advances in Spatial and Temporal Databases, 7th International Symposium,
                  {SSTD} 2001, Redondo Beach, CA, USA, July 12-15, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2121},
  pages        = {217--235},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-47724-1\_12},
  doi          = {10.1007/3-540-47724-1\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssd/ZhuSI01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FuBHS01,
  author       = {Xiang Fu and
                  Tevfik Bultan and
                  Richard Hull and
                  Jianwen Su},
  editor       = {Tiziana Margaria and
                  Wang Yi},
  title        = {Verification of Vortex Workflows},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  7th International Conference, {TACAS} 2001 Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2001
                  Genova, Italy, April 2-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2031},
  pages        = {143--157},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45319-9\_11},
  doi          = {10.1007/3-540-45319-9\_11},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/FuBHS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/DongS00,
  author       = {Guozhu Dong and
                  Jianwen Su},
  title        = {Incremental Maintenance of Recursive Views Using Relational Calculus/SQL},
  journal      = {{SIGMOD} Rec.},
  volume       = {29},
  number       = {1},
  pages        = {44--51},
  year         = {2000},
  url          = {https://doi.org/10.1145/344788.344808},
  doi          = {10.1145/344788.344808},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigmod/DongS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DangIBKS00,
  author       = {Zhe Dang and
                  Oscar H. Ibarra and
                  Tevfik Bultan and
                  Richard A. Kemmerer and
                  Jianwen Su},
  editor       = {E. Allen Emerson and
                  A. Prasad Sistla},
  title        = {Binary Reachability Analysis of Discrete Pushdown Timed Automata},
  booktitle    = {Computer Aided Verification, 12th International Conference, {CAV}
                  2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1855},
  pages        = {69--84},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722167\_9},
  doi          = {10.1007/10722167\_9},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/DangIBKS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/IbarraBS00,
  author       = {Oscar H. Ibarra and
                  Tevfik Bultan and
                  Jianwen Su},
  editor       = {Catuscia Palamidessi},
  title        = {Reachability Analysis for Some Models of Infinite-State Transition
                  Systems},
  booktitle    = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
                  University Park, PA, USA, August 22-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1877},
  pages        = {183--198},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44618-4\_15},
  doi          = {10.1007/3-540-44618-4\_15},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/IbarraBS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/HanZS00,
  author       = {Lixian Han and
                  Hongjun Zhu and
                  Jianwen Su},
  editor       = {Ki{-}Joune Li and
                  Kia Makki and
                  Niki Pissinou and
                  Siva Ravada},
  title        = {Experimental evaluation evaluation of filter effectiveness (extended
                  abstract)},
  booktitle    = {{ACM-GIS} 2000, Proceedings of the Eighth {ACM} Symposium on Advances
                  in Geographic Information Systems, November 10-11, 2000, Washington
                  D.C., {USA}},
  pages        = {189--190},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/355274.355305},
  doi          = {10.1145/355274.355305},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gis/HanZS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/HullLKZDS00,
  author       = {Richard Hull and
                  Fran{\c{c}}ois Llirbat and
                  Bharat Kumar and
                  Gang Zhou and
                  Guozhu Dong and
                  Jianwen Su},
  editor       = {David B. Lomet and
                  Gerhard Weikum},
  title        = {Optimization Techniques for Data-Intensive Decision Flows},
  booktitle    = {Proceedings of the 16th International Conference on Data Engineering,
                  San Diego, California, USA, February 28 - March 3, 2000},
  pages        = {281--292},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICDE.2000.839420},
  doi          = {10.1109/ICDE.2000.839420},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/HullLKZDS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/IbarraSDBK00,
  author       = {Oscar H. Ibarra and
                  Jianwen Su and
                  Zhe Dang and
                  Tevfik Bultan and
                  Richard A. Kemmerer},
  editor       = {Mogens Nielsen and
                  Branislav Rovan},
  title        = {Conter Machines: Decidable Properties and Applications to Verification
                  Problems},
  booktitle    = {Mathematical Foundations of Computer Science 2000, 25th International
                  Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
                  1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1893},
  pages        = {426--435},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44612-5\_38},
  doi          = {10.1007/3-540-44612-5\_38},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/IbarraSDBK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdbm/ZhuSH00,
  author       = {Hongjun Zhu and
                  Jianwen Su and
                  Oscar H. Ibarra},
  editor       = {Oliver G{\"{u}}nther and
                  Hans{-}Joachim Lenz},
  title        = {Toward Spatial Joins for Polygons},
  booktitle    = {Proceedings of the 12th International Conference on Scientific and
                  Statistical Database Management, Berlin, Germany, July 26-28, 2000},
  pages        = {231--244},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/SSDM.2000.869791},
  doi          = {10.1109/SSDM.2000.869791},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssdbm/ZhuSH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waim/ZhuSI00,
  author       = {Hongjun Zhu and
                  Jianwen Su and
                  Oscar H. Ibarra},
  editor       = {Hongjun Lu and
                  Aoying Zhou},
  title        = {Extending Rectangle Join Algorithms for Rectilinear Polygons},
  booktitle    = {Web-Age Information Management, First International Conference, {WAIM}
                  2000, Shanghai, China, June 21-23, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1846},
  pages        = {247--258},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45151-X\_24},
  doi          = {10.1007/3-540-45151-X\_24},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/waim/ZhuSI00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/IbarraS00,
  author       = {Oscar H. Ibarra and
                  Jianwen Su},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Generalizing the Discrete Timed Automaton},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {157--169},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_13},
  doi          = {10.1007/3-540-44674-5\_13},
  timestamp    = {Thu, 19 Mar 2020 15:28:05 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/IbarraS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cdb/GrumbachKS00,
  author       = {St{\'{e}}phane Grumbach and
                  Gabriel M. Kuper and
                  Jianwen Su},
  editor       = {Gabriel M. Kuper and
                  Leonid Libkin and
                  Jan Paredaens},
  title        = {Expressive Power: The Infinite Case},
  booktitle    = {Constraint Databases},
  pages        = {89--107},
  publisher    = {Springer},
  year         = {2000},
  timestamp    = {Thu, 08 Aug 2019 09:25:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cdb/GrumbachKS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/BerahaS99,
  author       = {Sabina Beraha and
                  Jianwen Su},
  title        = {Support for Modeling Relationships in Object-Oriented Databases},
  journal      = {Data Knowl. Eng.},
  volume       = {29},
  number       = {3},
  pages        = {227--257},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0169-023X(99)80001-9},
  doi          = {10.1016/S0169-023X(99)80001-9},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/BerahaS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/IbarraS99,
  author       = {Oscar H. Ibarra and
                  Jianwen Su},
  title        = {A Technique for Proving Decidability of Containment and Equivalence
                  of Linear Constraint Queries},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {59},
  number       = {1},
  pages        = {1--28},
  year         = {1999},
  url          = {https://doi.org/10.1006/jcss.1999.1624},
  doi          = {10.1006/JCSS.1999.1624},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/IbarraS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/IbarraS99,
  author       = {Oscar H. Ibarra and
                  Jianwen Su},
  editor       = {Juhani Karhum{\"{a}}ki and
                  Hermann A. Maurer and
                  Gheorghe Paun and
                  Grzegorz Rozenberg},
  title        = {Counter Machines: Decision Problems and Applications},
  booktitle    = {Jewels are Forever, Contributions on Theoretical Computer Science
                  in Honor of Arto Salomaa},
  pages        = {84--96},
  publisher    = {Springer},
  year         = {1999},
  timestamp    = {Mon, 29 Jul 2002 11:58:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/IbarraS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/DongHKSZ99,
  author       = {Guozhu Dong and
                  Richard Hull and
                  Bharat Kumar and
                  Jianwen Su and
                  Gang Zhou},
  editor       = {Richard Connor and
                  Alberto O. Mendelzon},
  title        = {A Framework for Optimizing Distributed Workflow Executions},
  booktitle    = {Research Issues in Structured and Semistructured Database Programming,
                  7th International Workshop on Database Programming Languages, DBPL'99,
                  Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1949},
  pages        = {152--167},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44543-9\_10},
  doi          = {10.1007/3-540-44543-9\_10},
  timestamp    = {Wed, 07 Jul 2021 16:59:31 +0200},
  biburl       = {https://dblp.org/rec/conf/dbpl/DongHKSZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/KuperS99,
  author       = {Gabriel M. Kuper and
                  Jianwen Su},
  editor       = {Richard Connor and
                  Alberto O. Mendelzon},
  title        = {A Representation Independent Language for Planar Spatial Databases
                  with Euclidean Distance},
  booktitle    = {Research Issues in Structured and Semistructured Database Programming,
                  7th International Workshop on Database Programming Languages, DBPL'99,
                  Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1949},
  pages        = {239--251},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44543-9\_15},
  doi          = {10.1007/3-540-44543-9\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dbpl/KuperS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ChengDLS99,
  author       = {Xun Cheng and
                  Guozhu Dong and
                  Tzekwan Lau and
                  Jianwen Su},
  editor       = {Masaru Kitsuregawa and
                  Michael P. Papazoglou and
                  Calton Pu},
  title        = {Data Integration by Describing Sources with Constraint Databases},
  booktitle    = {Proceedings of the 15th International Conference on Data Engineering,
                  Sydney, Australia, March 23-26, 1999},
  pages        = {374--381},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ICDE.1999.754953},
  doi          = {10.1109/ICDE.1999.754953},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/ChengDLS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ZhuSI99,
  author       = {Hongjun Zhu and
                  Jianwen Su and
                  Oscar H. Ibarra},
  editor       = {Masaru Kitsuregawa and
                  Michael P. Papazoglou and
                  Calton Pu},
  title        = {An Index Structure for Spatial Joins in Linear Constraint Databases},
  booktitle    = {Proceedings of the 15th International Conference on Data Engineering,
                  Sydney, Australia, March 23-26, 1999},
  pages        = {636--643},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ICDE.1999.754980},
  doi          = {10.1109/ICDE.1999.754980},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/ZhuSI99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wacc/HullLSSDKZ99,
  author       = {Richard Hull and
                  Fran{\c{c}}ois Llirbat and
                  Eric Simon and
                  Jianwen Su and
                  Guozhu Dong and
                  Bharat Kumar and
                  Gang Zhou},
  title        = {Declarative workflows that support easy modification and dynamic browsing},
  booktitle    = {Proceedings of the international joint conference on Work activities
                  coordination and collaboration 1999, San Francisco, California, USA,
                  February 22-25, 1999},
  pages        = {69--78},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/295665.295674},
  doi          = {10.1145/295665.295674},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/wacc/HullLSSDKZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wacc/PrinceSTZ99,
  author       = {Robert Prince and
                  Jianwen Su and
                  Hong Tang and
                  Yonggang Zhao},
  title        = {The design of an interactive online help desk in the Alexandria Digital
                  Library},
  booktitle    = {Proceedings of the international joint conference on Work activities
                  coordination and collaboration 1999, San Francisco, California, USA,
                  February 22-25, 1999},
  pages        = {217--226},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/295665.295692},
  doi          = {10.1145/295665.295692},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wacc/PrinceSTZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/workflow/HullS99,
  author       = {Richard Hull and
                  Jianwen Su},
  editor       = {Christoph Bussler and
                  Paul W. P. J. Grefen and
                  Heiko Ludwig and
                  Ming{-}Chien Shan},
  title        = {The Vortex Approach to Integration and Coordination of Workflows},
  booktitle    = {Proceedings of the Workshop on Cross-Organisational Workflow Management
                  and Co-ordination, San Francisco, USA, February 22, 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {17},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-17/Hull/index.html},
  timestamp    = {Fri, 10 Mar 2023 16:23:18 +0100},
  biburl       = {https://dblp.org/rec/conf/workflow/HullS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DongS98,
  author       = {Guozhu Dong and
                  Jianwen Su},
  title        = {Arity Bounds in First-Order Incremental Evaluation and Definition
                  of Polynomial Time Database Queries},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {57},
  number       = {3},
  pages        = {289--308},
  year         = {1998},
  url          = {https://doi.org/10.1006/jcss.1998.1565},
  doi          = {10.1006/JCSS.1998.1565},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/DongS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HullS98,
  author       = {Richard Hull and
                  Jianwen Su},
  title        = {Deductive Query Languages for Recursively Typed Complex Objects},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {3},
  pages        = {231--261},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(97)10009-7},
  doi          = {10.1016/S0743-1066(97)10009-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HullS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/KuperRSS98,
  author       = {Gabriel M. Kuper and
                  Sridhar Ramaswamy and
                  Kyuseok Shim and
                  Jianwen Su},
  editor       = {Robert Laurini and
                  Kia Makki and
                  Niki Pissinou},
  title        = {A Constraint-Based Spatial Extension to {SQL}},
  booktitle    = {{ACM-GIS} '98, Proceedings of the 6th international symposium on Advances
                  in Geographic Information Systems, November 6-7, 1998, Washington,
                  DC, {USA}},
  pages        = {112--117},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288692.288713},
  doi          = {10.1145/288692.288713},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gis/KuperRSS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DongS97,
  author       = {Guozhu Dong and
                  Jianwen Su},
  title        = {Deterministic {FOIES} are Strictly Weaker},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {19},
  number       = {1-2},
  pages        = {127--146},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018951521198},
  doi          = {10.1023/A:1018951521198},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DongS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GrumbachS97,
  author       = {St{\'{e}}phane Grumbach and
                  Jianwen Su},
  title        = {Finitely Representable Databases},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {55},
  number       = {2},
  pages        = {273--298},
  year         = {1997},
  url          = {https://doi.org/10.1006/jcss.1997.1524},
  doi          = {10.1006/JCSS.1997.1524},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/GrumbachS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodl/ChengDNPKWAAFSSS98,
  author       = {X. Cheng and
                  Ron Dolin and
                  Michael O. Neary and
                  Sunil Prabhakar and
                  Kothuri Venkata Ravi Kanth and
                  Daniel Wu and
                  Divyakant Agrawal and
                  Amr El Abbadi and
                  Michael Freeston and
                  Ambuj K. Singh and
                  Terence R. Smith and
                  Jianwen Su},
  title        = {Scalable Access Within the Context of Digital Libraries},
  journal      = {Int. J. Digit. Libr.},
  volume       = {1},
  number       = {4},
  pages        = {358--376},
  year         = {1997},
  url          = {https://doi.org/10.1007/s007990050029},
  doi          = {10.1007/S007990050029},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jodl/ChengDNPKWAAFSSS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GrumbachS97,
  author       = {St{\'{e}}phane Grumbach and
                  Jianwen Su},
  title        = {Queries with Arithmetical Constraints},
  journal      = {Theor. Comput. Sci.},
  volume       = {173},
  number       = {1},
  pages        = {151--181},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00194-6},
  doi          = {10.1016/S0304-3975(96)00194-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GrumbachS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Su97,
  author       = {Jianwen Su},
  title        = {Dynamic Constraints and Object Migration},
  journal      = {Theor. Comput. Sci.},
  volume       = {184},
  number       = {1-2},
  pages        = {195--236},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00142-9},
  doi          = {10.1016/S0304-3975(96)00142-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Su97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adl/ChengDNPKWAAFSSS97,
  author       = {X. Cheng and
                  Ron Dolin and
                  Michael O. Neary and
                  Sunil Prabhakar and
                  Kothuri Venkata Ravi Kanth and
                  Daniel Wu and
                  Divyakant Agrawal and
                  Amr El Abbadi and
                  Michael Freeston and
                  Ambuj K. Singh and
                  Terence R. Smith and
                  Jianwen Su},
  title        = {Scalable Access Within the Context of Digital Libraries},
  booktitle    = {4th International Forum on Research and Technology Advances in Digital
                  Libraries {(ADL} '97), Washington, DC, USA, May 7-9, 1997},
  pages        = {70--81},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ADL.1997.601202},
  doi          = {10.1109/ADL.1997.601202},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adl/ChengDNPKWAAFSSS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/IbarraS97,
  author       = {Oscar H. Ibarra and
                  Jianwen Su},
  editor       = {Alberto O. Mendelzon and
                  Z. Meral {\"{O}}zsoyoglu},
  title        = {On the Containment and Equivalence of Database Queries with Linear
                  Constraints},
  booktitle    = {Proceedings of the Sixteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona,
                  {USA}},
  pages        = {32--43},
  publisher    = {{ACM} Press},
  year         = {1997},
  url          = {https://doi.org/10.1145/263661.263666},
  doi          = {10.1145/263661.263666},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/IbarraS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DongS96,
  author       = {Guozhu Dong and
                  Jianwen Su},
  title        = {Conjunctive Query Containment with Respect to Views and Constraints},
  journal      = {Inf. Process. Lett.},
  volume       = {57},
  number       = {2},
  pages        = {95--102},
  year         = {1996},
  url          = {https://doi.org/10.1016/0020-0190(95)00192-1},
  doi          = {10.1016/0020-0190(95)00192-1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/DongS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/SaranAASS96,
  author       = {Amitabh Saran and
                  Divyakant Agrawal and
                  Amr El Abbadi and
                  Terence R. Smith and
                  Jianwen Su},
  editor       = {Robert Laurini and
                  Patrick Bergougnoux and
                  Kia Makki and
                  Niki Pissinou},
  title        = {Scientific Modeling Using Distributed Resources},
  booktitle    = {{GIS} '96, Proceedings of the fourth {ACM} workshop on Advances on
                  Advances in Geographic Information Systems, November 15-16, 1996,
                  Rockville, Maryland, {USA}},
  pages        = {68--75},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/258319.258339},
  doi          = {10.1145/258319.258339},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gis/SaranAASS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GrumbachS96,
  author       = {St{\'{e}}phane Grumbach and
                  Jianwen Su},
  editor       = {Richard Hull},
  title        = {Towards Practical Constraint Databases},
  booktitle    = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
  pages        = {28--39},
  publisher    = {{ACM} Press},
  year         = {1996},
  url          = {https://doi.org/10.1145/237661.237672},
  doi          = {10.1145/237661.237672},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/GrumbachS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DongST95,
  author       = {Guozhu Dong and
                  Jianwen Su and
                  Rodney W. Topor},
  title        = {Nonrecursive Incremental Evaluation of Datalog Queries},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {14},
  number       = {2-4},
  pages        = {187--223},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01530820},
  doi          = {10.1007/BF01530820},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DongST95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DongS95,
  author       = {Guozhu Dong and
                  Jianwen Su},
  title        = {Incremental and Decremental Evaluation of Transitive Closure by First-Order
                  Queries},
  journal      = {Inf. Comput.},
  volume       = {120},
  number       = {1},
  pages        = {101--106},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1102},
  doi          = {10.1006/INCO.1995.1102},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DongS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/SmithSAAAS95,
  author       = {Terence R. Smith and
                  Jianwen Su and
                  Amr El Abbadi and
                  Divyakant Agrawal and
                  Gustavo Alonso and
                  Amitabh Saran},
  title        = {Computational modeling systems},
  journal      = {Inf. Syst.},
  volume       = {20},
  number       = {2},
  pages        = {127--153},
  year         = {1995},
  url          = {https://doi.org/10.1016/0306-4379(95)98558-U},
  doi          = {10.1016/0306-4379(95)98558-U},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/SmithSAAAS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GrumbachS95,
  author       = {St{\'{e}}phane Grumbach and
                  Jianwen Su},
  editor       = {Ugo Montanari and
                  Francesca Rossi},
  title        = {First-order Definability over Constraint Databases},
  booktitle    = {Principles and Practice of Constraint Programming - CP'95, First International
                  Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {976},
  pages        = {121--136},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60299-2\_8},
  doi          = {10.1007/3-540-60299-2\_8},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GrumbachS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DongS95,
  author       = {Guozhu Dong and
                  Jianwen Su},
  editor       = {Georg Gottlob and
                  Moshe Y. Vardi},
  title        = {Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog
                  Queries},
  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        = {397--410},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-58907-4\_30},
  doi          = {10.1007/3-540-58907-4\_30},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icdt/DongS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GrumbachS95,
  author       = {St{\'{e}}phane Grumbach and
                  Jianwen Su},
  editor       = {Mihalis Yannakakis and
                  Serge Abiteboul},
  title        = {Dense-Order Constraint 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        = {66--77},
  publisher    = {{ACM} Press},
  year         = {1995},
  url          = {https://doi.org/10.1145/212433.212453},
  doi          = {10.1145/212433.212453},
  timestamp    = {Sat, 24 Oct 2020 16:41:20 +0200},
  biburl       = {https://dblp.org/rec/conf/pods/GrumbachS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/DongS95,
  author       = {Guozhu Dong and
                  Jianwen Su},
  editor       = {Mihalis Yannakakis and
                  Serge Abiteboul},
  title        = {Space-Bounded {FOIES}},
  booktitle    = {Proceedings of the Fourteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, May 22-25, 1995, San Jose, California,
                  {USA}},
  pages        = {139--150},
  publisher    = {{ACM} Press},
  year         = {1995},
  url          = {https://doi.org/10.1145/212433.220204},
  doi          = {10.1145/212433.220204},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/DongS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Su94,
  author       = {Jianwen Su},
  title        = {Dependency Preservation in Semantic Databases},
  journal      = {Acta Informatica},
  volume       = {31},
  number       = {1},
  pages        = {27--54},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01178921},
  doi          = {10.1007/BF01178921},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Su94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HullS94,
  author       = {Richard Hull and
                  Jianwen Su},
  title        = {Domain Independence and the Relational Calculus},
  journal      = {Acta Informatica},
  volume       = {31},
  number       = {6},
  pages        = {513--524},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01213204},
  doi          = {10.1007/BF01213204},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HullS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/SmithSS94,
  author       = {Terence R. Smith and
                  Jianwen Su and
                  Amitabh Saran},
  editor       = {Pericles Loucopoulos},
  title        = {Virtual Structures - {A} Technique for Supporting Scientific Database
                  Applications},
  booktitle    = {Entity-Relationship Approach - ER'94, Business Modelling and Re-Engineering,
                  13th International Conference on the Entity-Relationship Approach,
                  Manchester, UK, December 13-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {881},
  pages        = {491--512},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58786-1\_98},
  doi          = {10.1007/3-540-58786-1\_98},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/er/SmithSS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/GrumbachST94,
  author       = {St{\'{e}}phane Grumbach and
                  Jianwen Su and
                  Christophe Tollu},
  editor       = {Daniel Leivant},
  title        = {Linear Constraint Query Languages: Expressive Power and Complexity},
  booktitle    = {Logical and Computational Complexity. Selected Papers. Logic and Computational
                  Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
                  USA, 13-16 October 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {960},
  pages        = {426--446},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60178-3\_96},
  doi          = {10.1007/3-540-60178-3\_96},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lcc/GrumbachST94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GrumbachS94,
  author       = {St{\'{e}}phane Grumbach and
                  Jianwen Su},
  editor       = {Victor Vianu},
  title        = {Finitely Representable Databases},
  booktitle    = {Proceedings of the Thirteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota,
                  {USA}},
  pages        = {289--300},
  publisher    = {{ACM} Press},
  year         = {1994},
  url          = {https://doi.org/10.1145/182591.182654},
  doi          = {10.1145/182591.182654},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/GrumbachS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/SmithSAA93,
  author       = {Terence R. Smith and
                  Jianwen Su and
                  Divyakant Agrawal and
                  Amr El Abbadi},
  title        = {Database and Modeling Systems for the Earth Sciences},
  journal      = {{IEEE} Data Eng. Bull.},
  volume       = {16},
  number       = {1},
  pages        = {33--37},
  year         = {1993},
  url          = {http://sites.computer.org/debull/93MAR-CD.pdf},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/debu/SmithSAA93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HullS93,
  author       = {Richard Hull and
                  Jianwen Su},
  title        = {Algebraic and Calculus Query Languages for Recursively Typed Complex
                  Objects},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {47},
  number       = {1},
  pages        = {121--156},
  year         = {1993},
  url          = {https://doi.org/10.1016/0022-0000(93)90022-O},
  doi          = {10.1016/0022-0000(93)90022-O},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/HullS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/DongS93,
  author       = {Guozhu Dong and
                  Jianwen Su},
  editor       = {Catriel Beeri and
                  Atsushi Ohori and
                  Dennis E. Shasha},
  title        = {First-Order Incremental Evaluation of Datalog Queries},
  booktitle    = {Database Programming Languages (DBPL-4), Proceedings of the Fourth
                  International Workshop on Database Programming Languages - Object
                  Models and Languages, Manhattan, New York City, USA, 30 August - 1
                  September 1993},
  series       = {Workshops in Computing},
  pages        = {295--308},
  publisher    = {Springer},
  year         = {1993},
  timestamp    = {Wed, 29 Mar 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dbpl/DongS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SaranPCASS93,
  author       = {Amitabh Saran and
                  Keith K. Park and
                  Yongmao Chen and
                  Ana Paula de Aguiar and
                  Terence R. Smith and
                  Jianwen Su},
  editor       = {Raghu Ramakrishnan},
  title        = {Developing Applications with {CORAL}},
  booktitle    = {Proceedings of the Workshop on Programming with Logic Databases. In
                  Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
  series       = {Technical Report},
  volume       = {{\#}1183},
  pages        = {87--96},
  publisher    = {University of Wisconsin},
  year         = {1993},
  timestamp    = {Wed, 20 Jun 2018 17:26:07 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/SaranPCASS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HullS91,
  author       = {Richard Hull and
                  Jianwen Su},
  title        = {On the Expressive Power of Database Queries with Intermediate Types},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {43},
  number       = {1},
  pages        = {219--267},
  year         = {1991},
  url          = {https://doi.org/10.1016/0022-0000(91)90036-5},
  doi          = {10.1016/0022-0000(91)90036-5},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/HullS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/DongS91,
  author       = {Guozhu Dong and
                  Jianwen Su},
  editor       = {Paris C. Kanellakis and
                  Joachim W. Schmidt},
  title        = {Object Behaviors and Scripts},
  booktitle    = {Database Programming Languages: Bulk Types and Persistent Data. 3rd
                  International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings},
  pages        = {383--398},
  publisher    = {Morgan Kaufmann},
  year         = {1991},
  timestamp    = {Wed, 29 Mar 2017 16:45:27 +0200},
  biburl       = {https://dblp.org/rec/conf/dbpl/DongS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/Su91,
  author       = {Jianwen Su},
  editor       = {Guy M. Lohman and
                  Am{\'{\i}}lcar Sernadas and
                  Rafael Camps},
  title        = {Dynamic Constraints and Object Migration},
  booktitle    = {17th International Conference on Very Large Data Bases, September
                  3-6, 1991, Barcelona, Catalonia, Spain, Proceedings},
  pages        = {233--242},
  publisher    = {Morgan Kaufmann},
  year         = {1991},
  url          = {http://www.vldb.org/conf/1991/P233.PDF},
  timestamp    = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl       = {https://dblp.org/rec/conf/vldb/Su91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/HullS89,
  author       = {Richard Hull and
                  Jianwen Su},
  editor       = {Richard Hull and
                  Ronald Morrison and
                  David W. Stemple},
  title        = {On Bulk Data type Constructors and Manipulation Primitives: {A} Framework
                  for Analyzing Power and Complexity},
  booktitle    = {Proceedings of the Second International Workshop on Database Programming
                  Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon,
                  {USA}},
  pages        = {396--410},
  publisher    = {Morgan Kaufmann},
  year         = {1989},
  timestamp    = {Wed, 20 Jun 2018 17:19:07 +0200},
  biburl       = {https://dblp.org/rec/conf/dbpl/HullS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/HullS89,
  author       = {Richard Hull and
                  Jianwen Su},
  editor       = {Avi Silberschatz},
  title        = {Untyped Sets, Invention, and Computable Queries},
  booktitle    = {Proceedings of the Eighth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
                  Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania,
                  {USA}},
  pages        = {347--359},
  publisher    = {{ACM} Press},
  year         = {1989},
  url          = {https://doi.org/10.1145/73721.73755},
  doi          = {10.1145/73721.73755},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/HullS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/HullS89,
  author       = {Richard Hull and
                  Jianwen Su},
  editor       = {James Clifford and
                  Bruce G. Lindsay and
                  David Maier},
  title        = {On Accessing Object-Oriented Databases: Expressive Power, Complexity,
                  and Restrictions (Extended Abstract)},
  booktitle    = {Proceedings of the 1989 {ACM} {SIGMOD} International Conference on
                  Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989},
  pages        = {147--158},
  publisher    = {{ACM} Press},
  year         = {1989},
  url          = {https://doi.org/10.1145/67544.66940},
  doi          = {10.1145/67544.66940},
  timestamp    = {Mon, 21 Jun 2021 16:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmod/HullS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/HullS88,
  author       = {Richard Hull and
                  Jianwen Su},
  editor       = {Chris Edmondson{-}Yurkanan and
                  Mihalis Yannakakis},
  title        = {On the Expressive Power of Database Queries with Intermediate Types},
  booktitle    = {Proceedings of the Seventh {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, March 21-23, 1988, Austin, Texas,
                  {USA}},
  pages        = {39--51},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/308386.308409},
  doi          = {10.1145/308386.308409},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/HullS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Su86,
  author       = {Jianwen Su},
  editor       = {Avi Silberschatz},
  title        = {Safety of Non-Well-Locked Trasnaction Systems},
  booktitle    = {Proceedings of the Fifth {ACM} {SIGACT-SIGMOD} Symposium on Principles
                  of Database Systems, March 24-26, 1986, Cambridge, Massachusetts,
                  {USA}},
  pages        = {47--52},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/6012.15403},
  doi          = {10.1145/6012.15403},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/Su86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics