Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jianwen Su
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.