Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hanpin Wang
@inproceedings{DBLP:conf/aaai/ZhangLXCW024,
author = {Rongchao Zhang and
Yiwei Lou and
Dexuan Xu and
Yongzhi Cao and
Hanpin Wang and
Yu Huang},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {A Learnable Discrete-Prior Fusion Autoencoder with Contrastive Learning
for Tabular Data Synthesis},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {16803--16811},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i15.29621},
doi = {10.1609/AAAI.V38I15.29621},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangLXCW024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-10122,
author = {Zhechen Li and
Zimai Guo and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Differentially Private Approval-Based Committee Voting},
journal = {CoRR},
volume = {abs/2401.10122},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.10122},
doi = {10.48550/ARXIV.2401.10122},
eprinttype = {arXiv},
eprint = {2401.10122},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-10122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/WangSGXCW23,
author = {Haibin Wang and
Sujoy Sikdar and
Xiaoxi Guo and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Multi resource allocation with partial preferences},
journal = {Artif. Intell.},
volume = {314},
pages = {103824},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2022.103824},
doi = {10.1016/J.ARTINT.2022.103824},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/WangSGXCW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GuoSXCW23,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Favoring Eagerness for Remaining Items: Designing Efficient, Fair,
and Strategyproof Mechanisms},
journal = {J. Artif. Intell. Res.},
volume = {76},
pages = {287--339},
year = {2023},
url = {https://doi.org/10.1613/jair.1.13878},
doi = {10.1613/JAIR.1.13878},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/GuoSXCW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/LiWZWFLW23,
author = {Mingjie Li and
Yuan{-}Gen Wang and
Peng Zhang and
Hanpin Wang and
Lisheng Fan and
Enxia Li and
Wei Wang},
title = {Deep Learning for Approximate Nearest Neighbour Search: {A} Survey
and Future Directions},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {35},
number = {9},
pages = {8997--9018},
year = {2023},
url = {https://doi.org/10.1109/TKDE.2022.3220683},
doi = {10.1109/TKDE.2022.3220683},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/LiWZWFLW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiLXCW23,
author = {Zhechen Li and
Ao Liu and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Differentially Private Condorcet Voting},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {5755--5763},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25714},
doi = {10.1609/AAAI.V37I5.25714},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiLXCW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/XuCZLWHH23,
author = {Dexuan Xu and
Yanyuan Chen and
Jiayu Zhang and
Yiwei Lou and
Hanpin Wang and
Jing He and
Yu Huang},
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 = {Radiology Report Generation via Structured Knowledge-Enhanced Multi-modal
Attention and Contrastive Learning},
booktitle = {{IEEE} International Conference on Bioinformatics and Biomedicine,
{BIBM} 2023, Istanbul, Turkiye, December 5-8, 2023},
pages = {2320--2325},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/BIBM58861.2023.10386013},
doi = {10.1109/BIBM58861.2023.10386013},
timestamp = {Wed, 27 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibm/XuCZLWHH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/LouCXZCW023,
author = {Yiwei Lou and
Yanyuan Chen and
Dexuan Xu and
Doudou Zhou and
Yongzhi Cao and
Hanpin Wang and
Yu Huang},
editor = {Guihai Chen and
Latifur Khan and
Xiaofeng Gao and
Meikang Qiu and
Witold Pedrycz and
Xindong Wu},
title = {Refining the Unseen: Self-supervised Two-stream Feature Extraction
for Image Quality Assessment},
booktitle = {{IEEE} International Conference on Data Mining, {ICDM} 2023, Shanghai,
China, December 1-4, 2023},
pages = {1193--1198},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICDM58522.2023.00147},
doi = {10.1109/ICDM58522.2023.00147},
timestamp = {Tue, 13 Feb 2024 11:46:18 +0100},
biburl = {https://dblp.org/rec/conf/icdm/LouCXZCW023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GuoSXCW23,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {First-Choice Maximality Meets Ex-ante and Ex-post Fairness},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {2719--2727},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/303},
doi = {10.24963/IJCAI.2023/303},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GuoSXCW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-06237,
author = {Tianyue Cao and
Bowen Zhang and
Zhao Jin and
Yongzhi Cao and
Hanpin Wang},
title = {A separation logic for sequences in pointer programs and its decidability},
journal = {CoRR},
volume = {abs/2301.06237},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.06237},
doi = {10.48550/ARXIV.2301.06237},
eprinttype = {arXiv},
eprint = {2301.06237},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-06237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04589,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {First-Choice Maximality Meets Ex-ante and Ex-post Fairness},
journal = {CoRR},
volume = {abs/2305.04589},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.04589},
doi = {10.48550/ARXIV.2305.04589},
eprinttype = {arXiv},
eprint = {2305.04589},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-04589.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07219,
author = {Zhechen Li and
Ao Liu and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Trading Off Voting Axioms for Privacy},
journal = {CoRR},
volume = {abs/2307.07219},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.07219},
doi = {10.48550/ARXIV.2307.07219},
eprinttype = {arXiv},
eprint = {2307.07219},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/WangXZWFS22,
author = {Yangtao Wang and
Yanzhao Xie and
Jiangfeng Zeng and
Hanpin Wang and
Lisheng Fan and
Yufan Song},
title = {Cross-modal fusion for multi-label image classification with attention
mechanism},
journal = {Comput. Electr. Eng.},
volume = {101},
pages = {108002},
year = {2022},
url = {https://doi.org/10.1016/j.compeleceng.2022.108002},
doi = {10.1016/J.COMPELECENG.2022.108002},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cee/WangXZWFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/LouHXCW22,
author = {Yiwei Lou and
Yu Huang and
Xuliang Xing and
Yongzhi Cao and
Hanpin Wang},
title = {{MTS-LSTDM:} Multi-Time-Scale Long Short-Term Double Memory for power
load forecasting},
journal = {J. Syst. Archit.},
volume = {125},
pages = {102443},
year = {2022},
url = {https://doi.org/10.1016/j.sysarc.2022.102443},
doi = {10.1016/J.SYSARC.2022.102443},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/LouHXCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvcir/XingWWHY22,
author = {Fengchuang Xing and
Yuan{-}Gen Wang and
Hanpin Wang and
Jiefeng He and
Jinchun Yuan},
title = {{DVL2021:} An ultra high definition video dataset for perceptual quality
study},
journal = {J. Vis. Commun. Image Represent.},
volume = {82},
pages = {103374},
year = {2022},
url = {https://doi.org/10.1016/j.jvcir.2021.103374},
doi = {10.1016/J.JVCIR.2021.103374},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jvcir/XingWWHY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/GaoWCI22,
author = {Kun Gao and
Hanpin Wang and
Yongzhi Cao and
Katsumi Inoue},
title = {Learning from interpretation transition using differentiable logic
programming semantics},
journal = {Mach. Learn.},
volume = {111},
number = {1},
pages = {123--145},
year = {2022},
url = {https://doi.org/10.1007/s10994-021-06058-8},
doi = {10.1007/S10994-021-06058-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/GaoWCI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JinZZCW22,
author = {Zhao Jin and
Bowen Zhang and
Lei Zhang and
Yongzhi Cao and
Hanpin Wang},
title = {An adaptation-complete proof system for local reasoning about cloud
storage systems},
journal = {Theor. Comput. Sci.},
volume = {903},
pages = {39--73},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.12.018},
doi = {10.1016/J.TCS.2021.12.018},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/JinZZCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaiCW22,
author = {Zonglei Bai and
Yongzhi Cao and
Hanpin Wang},
title = {Zero-freeness and approximation of real Boolean Holant problems},
journal = {Theor. Comput. Sci.},
volume = {917},
pages = {12--30},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.03.009},
doi = {10.1016/J.TCS.2022.03.009},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BaiCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JinZCCW22,
author = {Zhao Jin and
Bowen Zhang and
Tianyue Cao and
Yongzhi Cao and
Hanpin Wang},
title = {Reasoning about block-based cloud storage systems via separation logic},
journal = {Theor. Comput. Sci.},
volume = {936},
pages = {43--76},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.09.015},
doi = {10.1016/J.TCS.2022.09.015},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JinZCCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GuoSWXCW22,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Haibin Wang and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {1938--1940},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1938.pdf},
doi = {10.5555/3535850.3536159},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/GuoSWXCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/XingWWLZ22,
author = {Fengchuang Xing and
Yuan{-}Gen Wang and
Hanpin Wang and
Leida Li and
Guopu Zhu},
title = {Starvqa: Space-Time Attention for Video Quality Assessment},
booktitle = {2022 {IEEE} International Conference on Image Processing, {ICIP} 2022,
Bordeaux, France, 16-19 October 2022},
pages = {2326--2330},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICIP46576.2022.9897881},
doi = {10.1109/ICIP46576.2022.9897881},
timestamp = {Fri, 03 Feb 2023 18:11:40 +0100},
biburl = {https://dblp.org/rec/conf/icip/XingWWLZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GaoICW22,
author = {Kun Gao and
Katsumi Inoue and
Yongzhi Cao and
Hanpin Wang},
editor = {Luc De Raedt},
title = {Learning First-Order Rules with Differentiable Logic Program Semantics},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {3008--3014},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/417},
doi = {10.24963/IJCAI.2022/417},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GaoICW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-13570,
author = {Kun Gao and
Katsumi Inoue and
Yongzhi Cao and
Hanpin Wang},
title = {Learning First-Order Rules with Differentiable Logic Program Semantics},
journal = {CoRR},
volume = {abs/2204.13570},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.13570},
doi = {10.48550/ARXIV.2204.13570},
eprinttype = {arXiv},
eprint = {2204.13570},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13081,
author = {Zhechen Li and
Ao Liu and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Differentially Private Condorcet Voting},
journal = {CoRR},
volume = {abs/2206.13081},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13081},
doi = {10.48550/ARXIV.2206.13081},
eprinttype = {arXiv},
eprint = {2206.13081},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/GuoSWXCW21,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Haibin Wang and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Probabilistic serial mechanism for multi-type resource allocation},
journal = {Auton. Agents Multi Agent Syst.},
volume = {35},
number = {1},
pages = {15},
year = {2021},
url = {https://doi.org/10.1007/s10458-021-09495-w},
doi = {10.1007/S10458-021-09495-W},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/GuoSWXCW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/ZhengCW21,
author = {Junxiang Zheng and
Yongzhi Cao and
Hanpin Wang},
title = {Resisting membership inference attacks through knowledge distillation},
journal = {Neurocomputing},
volume = {452},
pages = {114--126},
year = {2021},
url = {https://doi.org/10.1016/j.neucom.2021.04.082},
doi = {10.1016/J.NEUCOM.2021.04.082},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijon/ZhengCW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-09635,
author = {Fengchuang Xing and
Yuan{-}Gen Wang and
Hanpin Wang and
Leida Li and
Guopu Zhu},
title = {StarVQA: Space-Time Attention for Video Quality Assessment},
journal = {CoRR},
volume = {abs/2108.09635},
year = {2021},
url = {https://arxiv.org/abs/2108.09635},
eprinttype = {arXiv},
eprint = {2108.09635},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-09635.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08856,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Lirong Xia and
Hanpin Wang and
Yongzhi Cao},
title = {Favoring Eagerness for Remaining Items: Achieving Efficient and Fair
Assignments},
journal = {CoRR},
volume = {abs/2109.08856},
year = {2021},
url = {https://arxiv.org/abs/2109.08856},
eprinttype = {arXiv},
eprint = {2109.08856},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08856.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WangSGXCW20,
author = {Haibin Wang and
Sujoy Sikdar and
Xiaoxi Guo and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Multi-Type Resource Allocation with Partial Preferences},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2260--2267},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i02.5603},
doi = {10.1609/AAAI.V34I02.5603},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WangSGXCW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-12062,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Haibin Wang and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Probabilistic Serial Mechanism for Multi-Type Resource Allocation},
journal = {CoRR},
volume = {abs/2004.12062},
year = {2020},
url = {https://arxiv.org/abs/2004.12062},
eprinttype = {arXiv},
eprint = {2004.12062},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-12062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WangZCW19,
author = {Lulu Wang and
Junxiang Zheng and
Yongzhi Cao and
Hanpin Wang},
title = {Enhance {PATE} on Complex Tasks With Knowledge Transferred From Non-Private
Data},
journal = {{IEEE} Access},
volume = {7},
pages = {50081--50094},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2910885},
doi = {10.1109/ACCESS.2019.2910885},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/WangZCW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ZhuTZCWHM19,
author = {Siwen Zhu and
Yi Tang and
Junxiang Zheng and
Yongzhi Cao and
Hanpin Wang and
Yu Huang and
Marian Margraf},
title = {Sample Essentiality and Its Application to Modeling Attacks on Arbiter
PUFs},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {18},
number = {5},
pages = {42:1--42:25},
year = {2019},
url = {https://doi.org/10.1145/3344148},
doi = {10.1145/3344148},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/ZhuTZCWHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-04442,
author = {Zhao Jin and
Hanpin Wang and
Lei Zhang and
Bowen Zhang and
Kun Gao and
Yongzhi Cao},
title = {Reasoning about Block-based Cloud Storage Systems},
journal = {CoRR},
volume = {abs/1904.04442},
year = {2019},
url = {http://arxiv.org/abs/1904.04442},
eprinttype = {arXiv},
eprint = {1904.04442},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-04442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-06836,
author = {Haibin Wang and
Sujoy Sikdar and
Xiaoxi Guo and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Multi-type Resource Allocation with Partial Preferences},
journal = {CoRR},
volume = {abs/1906.06836},
year = {2019},
url = {http://arxiv.org/abs/1906.06836},
eprinttype = {arXiv},
eprint = {1906.06836},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-06836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/YangWC18,
author = {Jiannan Yang and
Hanpin Wang and
Yongzhi Cao},
title = {Tractable queries on big data via preprocessing with logarithmic-size
output},
journal = {Knowl. Inf. Syst.},
volume = {56},
number = {1},
pages = {141--163},
year = {2018},
url = {https://doi.org/10.1007/s10115-017-1092-7},
doi = {10.1007/S10115-017-1092-7},
timestamp = {Tue, 10 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kais/YangWC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/DuYCW18,
author = {Ruihuan Du and
Jiannan Yang and
Yongzhi Cao and
Hanpin Wang},
title = {Personalized graph pattern matching via limited simulation},
journal = {Knowl. Based Syst.},
volume = {141},
pages = {31--43},
year = {2018},
url = {https://doi.org/10.1016/j.knosys.2017.11.008},
doi = {10.1016/J.KNOSYS.2017.11.008},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/DuYCW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/LinW18,
author = {Jiabao Lin and
Hanpin Wang},
title = {The Complexity of Boolean Holant Problems with Nonnegative Weights},
journal = {{SIAM} J. Comput.},
volume = {47},
number = {3},
pages = {798--828},
year = {2018},
url = {https://doi.org/10.1137/17M113304X},
doi = {10.1137/17M113304X},
timestamp = {Mon, 23 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/LinW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/JingWHZC18,
author = {Yuxin Jing and
Hanpin Wang and
Yu Huang and
Lei Zhang and
Yongzhi Cao},
title = {A Modeling Language for MapReduce Programing in a Storage System Perspective},
journal = {J. Signal Process. Syst.},
volume = {90},
number = {8-9},
pages = {1133--1150},
year = {2018},
url = {https://doi.org/10.1007/s11265-017-1298-7},
doi = {10.1007/S11265-017-1298-7},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlsisp/JingWHZC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsc/WangJZJJC18,
author = {Hanpin Wang and
Zhao Jin and
Lei Zhang and
Yuxin Jing and
Yongzhi Cao},
title = {Reasoning about Cloud Storage Systems},
booktitle = {Third {IEEE} International Conference on Data Science in Cyberspace,
{DSC} 2018, Guangzhou, China, June 18-21, 2018},
pages = {107--114},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/DSC.2018.00024},
doi = {10.1109/DSC.2018.00024},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsc/WangJZJJC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsc/XuWW18,
author = {Yuguang Xu and
Hanpin Wang and
Hongyu Wang},
title = {Complete Graph Random Number Generator and Symmetrical Design Scheme},
booktitle = {Third {IEEE} International Conference on Data Science in Cyberspace,
{DSC} 2018, Guangzhou, China, June 18-21, 2018},
pages = {379--385},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/DSC.2018.00061},
doi = {10.1109/DSC.2018.00061},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsc/XuWW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsip/ZhangLCW18,
author = {Lei Zhang and
Yue Long and
Yongzhi Cao and
Hanpin Wang},
editor = {Fuchun Sun and
Huaping Liu and
Dewen Hu},
title = {Probabilistic Context-Aware Ambients},
booktitle = {Cognitive Systems and Signal Processing - 4th International Conference,
{ICCSIP} 2018, Beijing, China, November 29 - December 1, 2018, Revised
Selected Papers, Part {I}},
series = {Communications in Computer and Information Science},
volume = {1005},
pages = {255--267},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-981-13-7983-3\_23},
doi = {10.1007/978-981-13-7983-3\_23},
timestamp = {Mon, 18 Jan 2021 14:59:50 +0100},
biburl = {https://dblp.org/rec/conf/iccsip/ZhangLCW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/YangCW17,
author = {Jiannan Yang and
Yongzhi Cao and
Hanpin Wang},
title = {Differential privacy in probabilistic systems},
journal = {Inf. Comput.},
volume = {254},
pages = {84--104},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.03.002},
doi = {10.1016/J.IC.2017.03.002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/YangCW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/JingWHZXC17,
author = {Yuxin Jing and
Hanpin Wang and
Yu Huang and
Lei Zhang and
Jiang Xu and
Yongzhi Cao},
title = {A modeling language to describe massive data storage management in
cyber-physical systems},
journal = {J. Parallel Distributed Comput.},
volume = {103},
pages = {113--120},
year = {2017},
url = {https://doi.org/10.1016/j.jpdc.2016.12.008},
doi = {10.1016/J.JPDC.2016.12.008},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/JingWHZXC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LinW17,
author = {Jiabao Lin and
Hanpin Wang},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {The Complexity of Holant Problems over Boolean Domain with Non-Negative
Weights},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {29:1--29:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.29},
doi = {10.4230/LIPICS.ICALP.2017.29},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/LinW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LinW16a,
author = {Jiabao Lin and
Hanpin Wang},
title = {The Complexity of Holant Problems over Boolean Domain with Non-negative
Weights},
journal = {CoRR},
volume = {abs/1611.00975},
year = {2016},
url = {http://arxiv.org/abs/1611.00975},
eprinttype = {arXiv},
eprint = {1611.00975},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LinW16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ChenCW15,
author = {Weien Chen and
Yongzhi Cao and
Hanpin Wang},
title = {Conditional anonymity with non-probabilistic adversary},
journal = {Inf. Sci.},
volume = {324},
pages = {32--43},
year = {2015},
url = {https://doi.org/10.1016/j.ins.2015.06.018},
doi = {10.1016/J.INS.2015.06.018},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/ChenCW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/ChenCWF15,
author = {Weien Chen and
Yongzhi Cao and
Hanpin Wang and
Yuan Feng},
title = {Minimum guesswork discrimination between quantum states},
journal = {Quantum Inf. Comput.},
volume = {15},
number = {9{\&}10},
pages = {737--758},
year = {2015},
url = {https://doi.org/10.26421/QIC15.9-10-2},
doi = {10.26421/QIC15.9-10-2},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qic/ChenCWF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YangWC15,
author = {Jiannan Yang and
Hanpin Wang and
Yongzhi Cao},
title = {Making problems tractable on big data via preprocessing with polylog-size
output},
journal = {CoRR},
volume = {abs/1510.00229},
year = {2015},
url = {http://arxiv.org/abs/1510.00229},
eprinttype = {arXiv},
eprint = {1510.00229},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YangWC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/ChenCW12,
author = {Weien Chen and
Yongzhi Cao and
Hanpin Wang},
title = {Behavioural equivalences of a probabilistic pi-calculus},
journal = {Sci. China Inf. Sci.},
volume = {55},
number = {9},
pages = {2031--2043},
year = {2012},
url = {https://doi.org/10.1007/s11432-012-4660-1},
doi = {10.1007/S11432-012-4660-1},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/ChenCW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/ZhuWLH12,
author = {Meixia Zhu and
Hanpin Wang and
Xikui Liu and
Xiaoqiong Han},
title = {Formal Analysis of Sequence Diagram with Time Constraints by Model
Transformation},
journal = {Int. J. Softw. Informatics},
volume = {6},
number = {2},
pages = {327--357},
year = {2012},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i123},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/ZhuWLH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HuangCWQ12,
author = {Shuqin Huang and
Yongzhi Cao and
Hanpin Wang and
Wanling Qu},
title = {Value-passing {CCS} with noisy channels},
journal = {Theor. Comput. Sci.},
volume = {433},
pages = {43--59},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.03.002},
doi = {10.1016/J.TCS.2012.03.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HuangCWQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/JinWZ11,
author = {Wei Jin and
Hanpin Wang and
Meixia Zhu},
title = {Modeling {MARTE} Sequence Diagram with Timing Pi-Calculus},
booktitle = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2011, Newport Beach, California,
USA, 28-31 March 2011},
pages = {61--66},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISORC.2011.17},
doi = {10.1109/ISORC.2011.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/JinWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ZhuWXX10,
author = {Jiaqi Zhu and
Hanpin Wang and
Zhongyuan Xu and
Chunxiang Xu},
title = {A new model for model checking: cycle-weighted Kripke structure},
journal = {Frontiers Comput. Sci. China},
volume = {4},
number = {1},
pages = {78--88},
year = {2010},
url = {https://doi.org/10.1007/s11704-009-0066-7},
doi = {10.1007/S11704-009-0066-7},
timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/ZhuWXX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ZhuWCWJ10,
author = {Meixia Zhu and
Hanpin Wang and
Yongzhi Cao and
Zizhen Wang and
Wei Jin},
editor = {Jun Han and
Tran Dan Thu},
title = {The Analysis of Sequence Diagram with Time Properties in Qualitative
and Quantitative Aspects by Model Transformation},
booktitle = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney,
Australia, November 30 - December 3, 2010},
pages = {118--126},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/APSEC.2010.23},
doi = {10.1109/APSEC.2010.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ZhuWCWJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bic-ta/XuQZZYZWFWDWH10,
author = {Jin Xu and
Xiaoli Qiang and
Kai Zhang and
Cheng Zhang and
Jing Yang and
Rongkui Zhang and
Hanpin Wang and
Yueke Fan and
Shudong Wang and
Yafei Dong and
Zhezhi Wang and
Xingui He},
title = {A parallel type of {DNA} computing model for graph vertex coloring
problem},
booktitle = {Fifth International Conference on Bio-Inspired Computing: Theories
and Applications, {BIC-TA} 2010, University of Hunan, Liverpool Hope
University, Liverpool, United Kingdom / Changsha, China, September
8-10 and September 23-26, 2010},
pages = {231--235},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/BICTA.2010.5645325},
doi = {10.1109/BICTA.2010.5645325},
timestamp = {Thu, 28 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bic-ta/XuQZZYZWFWDWH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhuWJWX10,
author = {Meixia Zhu and
Hanpin Wang and
Wei Jin and
Zizhen Wang and
Chunxiang Xu},
title = {Semantic Analysis of {UML2.0} Sequence Diagram Based on Model Transformation},
booktitle = {Workshop Proceedings of the 34th Annual {IEEE} International Computer
Software and Applications Conference, {COMPSAC} Workshops 2010, Seoul,
Korea, 19-23 July 2010},
pages = {170--175},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/COMPSACW.2010.38},
doi = {10.1109/COMPSACW.2010.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ZhuWJWX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/XuHQWB10,
author = {Chunxiang Xu and
Yu Huang and
Wanling Qu and
Hanpin Wang and
Xiaojuan Ban},
editor = {Sheikh Iqbal Ahamed and
Doo{-}Hwan Bae and
Sung Deok Cha and
Carl K. Chang and
Rajesh Subramanyan and
W. Eric Wong and
Hen{-}I Yang},
title = {A Petri Net-Based Algorithm for {RFID} Event Detection},
booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
2010},
pages = {367--372},
publisher = {{IEEE} Computer Society},
year = {2010},
timestamp = {Wed, 16 Dec 2020 15:36:44 +0100},
biburl = {https://dblp.org/rec/conf/compsac/XuHQWB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WangWCQJZ10,
author = {Zizhen Wang and
Hanpin Wang and
Yongzhi Cao and
Wanling Qu and
Wei Jin and
Meixia Zhu},
editor = {Sheikh Iqbal Ahamed and
Doo{-}Hwan Bae and
Sung Deok Cha and
Carl K. Chang and
Rajesh Subramanyan and
W. Eric Wong and
Hen{-}I Yang},
title = {A Game Perspective of Refinement of Component Models},
booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
2010},
pages = {437--442},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/COMPSAC.2010.52},
doi = {10.1109/COMPSAC.2010.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/WangWCQJZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/XuQWWB10,
author = {Chunxiang Xu and
Wanling Qu and
Hanpin Wang and
Zizhen Wang and
Xiaojuan Ban},
editor = {Sheikh Iqbal Ahamed and
Doo{-}Hwan Bae and
Sung Deok Cha and
Carl K. Chang and
Rajesh Subramanyan and
W. Eric Wong and
Hen{-}I Yang},
title = {A Petri Net-Based Method for Data Validation of Web Services Composition},
booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
2010},
pages = {468--476},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/COMPSAC.2010.54},
doi = {10.1109/COMPSAC.2010.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/XuQWWB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/JinWCWB10,
author = {Wei Jin and
Hanpin Wang and
Yongzhi Cao and
Zizhen Wang and
Xiaojuan Ban},
editor = {Sheikh Iqbal Ahamed and
Doo{-}Hwan Bae and
Sung Deok Cha and
Carl K. Chang and
Rajesh Subramanyan and
W. Eric Wong and
Hen{-}I Yang},
title = {Modeling {BPEL} and BPEL4People with a Timed Interruptable pi-Calculus},
booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
2010},
pages = {487--492},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/COMPSAC.2010.75},
doi = {10.1109/COMPSAC.2010.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/JinWCWB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iucs/WuYWC10,
author = {Ke Wu and
Jiangsheng Yu and
Hanpin Wang and
Fei Cheng},
title = {Unsupervised text pattern learning using minimum description length},
booktitle = {4th International Universal Communication Symposium, {IUCS} 2010,
Beijing, China, October 18-19, 2010},
pages = {161--166},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IUCS.2010.5666227},
doi = {10.1109/IUCS.2010.5666227},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/iucs/WuYWC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsms/CaiYW10,
author = {Yanliang Cai and
Jiangsheng Yu and
Hanpin Wang},
editor = {Kang Li and
Li Jia and
Xin Sun and
Minrui Fei and
George W. Irwin},
title = {Prediction of Protein-Protein Interactions Using Subcellular and Functional
Localizations},
booktitle = {Life System Modeling and Intelligent Computing - International Conference
on Life System Modeling and Simulation, {LSMS} 2010, and International
Conference on Intelligent Computing for Sustainable Energy and Environment,
{ICSEE} 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part
{III}},
series = {Lecture Notes in Computer Science},
volume = {6330},
pages = {282--290},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15615-1\_34},
doi = {10.1007/978-3-642-15615-1\_34},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsms/CaiYW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/WangWZ10,
author = {Zizhen Wang and
Hanpin Wang and
Naijun Zhan},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Refinement of models of software components},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2311--2318},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774567},
doi = {10.1145/1774088.1774567},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/WangWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FengZW09,
author = {Wangsen Feng and
Li'ang Zhang and
Hanpin Wang},
title = {Approximation algorithm for maximum edge coloring},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {11},
pages = {1022--1029},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.10.035},
doi = {10.1016/J.TCS.2008.10.035},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FengZW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhuHW09,
author = {Jiaqi Zhu and
Yu Huang and
Hanpin Wang},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Ming Hua and
Rajesh Subramanyan},
title = {A Formal Descriptive Language and an Automated Detection Method for
Complex Events in {RFID}},
booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 1},
pages = {543--552},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.79},
doi = {10.1109/COMPSAC.2009.79},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ZhuHW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GuoWXC09,
author = {Heng Guo and
Hanpin Wang and
Zhongyuan Xu and
Yongzhi Cao},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {On Model Checking Boolean {BI}},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {302--316},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_23},
doi = {10.1007/978-3-642-04027-6\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GuoWXC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcai/HuangLDW09,
author = {Yu Huang and
Jieying Li and
Haiqiang Dun and
Hanpin Wang},
title = {Analyzing Service Composition Patterns in {BPEL}},
booktitle = {First {IITA} International Joint Conference on Artificial Intelligence,
Hainan Island, China, 25-26 April 2009},
pages = {623--627},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/JCAI.2009.210},
doi = {10.1109/JCAI.2009.210},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jcai/HuangLDW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/XuWQZH09,
author = {Chunxiang Xu and
Hanpin Wang and
Wanling Qu and
Meixia Zhu and
Yu Huang},
title = {A New Method to Model and Analyze the {WS-BPEL} Process under the
Dead-Path-Elimination Semantics},
booktitle = {Third {IEEE} International Conference on Secure Software Integration
and Reliability Improvement, {SSIRI} 2009, Shanghai, China, July 8-10,
2009},
pages = {203--211},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SSIRI.2009.37},
doi = {10.1109/SSIRI.2009.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/XuWQZH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/HuangWZX08,
author = {Yu Huang and
Hanpin Wang and
Wen Zhao and
Chunxiang Xu},
title = {A practical method to analyze workflow logic models},
journal = {Concurr. Comput. Pract. Exp.},
volume = {20},
number = {1},
pages = {41--60},
year = {2008},
url = {https://doi.org/10.1002/cpe.1210},
doi = {10.1002/CPE.1210},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/HuangWZX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/XiaWFH08,
author = {Yunni Xia and
Hanpin Wang and
Wangsen Feng and
Yu Huang},
title = {QoS modeling and analysis of component-based software systems: a stochastic
approach},
journal = {Concurr. Comput. Pract. Exp.},
volume = {20},
number = {12},
pages = {1359--1385},
year = {2008},
url = {https://doi.org/10.1002/cpe.1259},
doi = {10.1002/CPE.1259},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/XiaWFH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhuWX08,
author = {Jiaqi Zhu and
Hanpin Wang and
Zhongyuan Xu},
title = {A New Temporal Logic CTL[k-QDDC] and Its Verification},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {235--238},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.53},
doi = {10.1109/COMPSAC.2008.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ZhuWX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/XuWQ08,
author = {Chunxiang Xu and
Hanpin Wang and
Wanling Qu},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Modeling and verifying {BPEL} using synchronized net},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {2358--2362},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1364248},
doi = {10.1145/1363686.1364248},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/XuWQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/HuangXWXZZ07,
author = {Yu Huang and
Chunxiang Xu and
Hanpin Wang and
Yunni Xia and
Jiaqi Zhu and
Cheng Zhu},
title = {Formalizing Web Service Choreography Interface},
booktitle = {21st International Conference on Advanced Information Networking and
Applications {(AINA} 2007), Workshops Proceedings, Volume 2, May 21-23,
2007, Niagara Falls, Canada},
pages = {576--581},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AINAW.2007.188},
doi = {10.1109/AINAW.2007.188},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/HuangXWXZZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/FengQW07,
author = {Wangsen Feng and
Wanling Qu and
Hanpin Wang},
editor = {Hamid R. Arabnia and
Pei Li Zhou},
title = {Lower bounds on the cardinality of maximum matchings in graphs with
bounded degrees},
booktitle = {Proceedings of the 2007 International Conference on Foundations of
Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
{USA}},
pages = {110--113},
publisher = {{CSREA} Press},
year = {2007},
timestamp = {Wed, 11 Feb 2009 11:19:14 +0100},
biburl = {https://dblp.org/rec/conf/fcs/FengQW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/HuangWZZ07,
author = {Yu Huang and
Hanpin Wang and
Wen Zhao and
Jiaqi Zhu},
editor = {Yong Shi and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {Analyzing Data Dependence Based on Workflow Net},
booktitle = {Computational Science - {ICCS} 2007, 7th International Conference,
Beijing, China, May 27 - 30, 2007, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {4489},
pages = {257--264},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72588-6\_44},
doi = {10.1007/978-3-540-72588-6\_44},
timestamp = {Tue, 08 Nov 2022 08:34:35 +0100},
biburl = {https://dblp.org/rec/conf/iccS/HuangWZZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/TaoWHL07,
author = {Tao Jia and
Wen Zhao and
Hanpin Wang and
Lifu Wang},
editor = {Hiroshi G. Okuno and
Moonis Ali},
title = {PrDLs: {A} New Kind of Probabilistic Description Logics About Belief},
booktitle = {New Trends in Applied Artificial Intelligence, 20th International
Conference on Industrial, Engineering and Other Applications of Applied
Intelligent Systems, {IEA/AIE} 2007, Kyoto, Japan, June 26-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4570},
pages = {644--654},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73325-6\_64},
doi = {10.1007/978-3-540-73325-6\_64},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ieaaie/TaoWHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HuangW07,
author = {Yu Huang and
Hanpin Wang},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {A petri net semantics for web service choreography},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1689--1690},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244359},
doi = {10.1145/1244002.1244359},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/HuangW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/FengZQW07,
author = {Wangsen Feng and
Li'ang Zhang and
Wanling Qu and
Hanpin Wang},
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Hong Zhu},
title = {Approximation Algorithms for Maximum Edge Coloring Problem},
booktitle = {Theory and Applications of Models of Computation, 4th International
Conference, {TAMC} 2007, Shanghai, China, May 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4484},
pages = {646--658},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72504-6\_59},
doi = {10.1007/978-3-540-72504-6\_59},
timestamp = {Mon, 04 May 2020 13:17:48 +0200},
biburl = {https://dblp.org/rec/conf/tamc/FengZQW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/XiaWHQ07,
author = {Yunni Xia and
Hanpin Wang and
Yu Huang and
Wanling Qu},
title = {Queuing analysis and performance evaluation of workflow through {WFQN}},
booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
pages = {178--187},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TASE.2007.40},
doi = {10.1109/TASE.2007.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/XiaWHQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/XiaWHY06,
author = {Yunni Xia and
Hanpin Wang and
Yu Huang and
L. Yuan},
title = {A stochastic model for workflow QoS evaluation},
journal = {Sci. Program.},
volume = {14},
number = {3-4},
pages = {251--265},
year = {2006},
url = {https://doi.org/10.1155/2006/872109},
doi = {10.1155/2006/872109},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/XiaWHY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/XiaWXL06,
author = {Yunni Xia and
Hanpin Wang and
Chunxiang Xu and
Liang Li},
editor = {Vassil N. Alexandrov and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Stochastic Modeling and Quality Evaluation of Workflow Systems Based
on QWF-Nets},
booktitle = {Computational Science - {ICCS} 2006, 6th International Conference,
Reading, UK, May 28-31, 2006, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3993},
pages = {988--995},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11758532\_134},
doi = {10.1007/11758532\_134},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/XiaWXL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/XiaWHX06,
author = {Yunni Xia and
Hanpin Wang and
Yu Huang and
Chunxiang Xu},
title = {Stochastic modeling and quality evaluation of component-based software
systems},
booktitle = {Sixth International Conference on Quality Software {(QSIC} 2006),
26-28 October 2006, Beijing, China},
pages = {377--384},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QSIC.2006.61},
doi = {10.1109/QSIC.2006.61},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/XiaWHX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuangWYX06,
author = {Yu Huang and
Hanpin Wang and
Peng Yu and
Yunni Xia},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Property-Transition-Net-Based Workflow Process Modeling and Verification},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {155--170},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.067},
doi = {10.1016/J.ENTCS.2005.12.067},
timestamp = {Thu, 15 Dec 2022 16:21:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HuangWYX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/WangX04,
author = {Hanpin Wang and
Qiwen Xu},
title = {Completeness of temporal logics over infinite intervals},
journal = {Discret. Appl. Math.},
volume = {136},
number = {1},
pages = {87--103},
year = {2004},
url = {https://doi.org/10.1016/S0166-218X(03)00201-4},
doi = {10.1016/S0166-218X(03)00201-4},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/WangX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
