Search dblp for Publications

export results for "Hanpin Wang"

 download as .bib file

@article{DBLP:journals/access/BaiSWHZ24,
  author       = {Xuemei Bai and
                  Hongjin Shi and
                  Zhijun Wang and
                  Hanping Hu and
                  Chenjie Zhang},
  title        = {Study of YOLOv7 Model Lightweighting Based on Group-Level Pruning},
  journal      = {{IEEE} Access},
  volume       = {12},
  pages        = {96138--96149},
  year         = {2024},
  url          = {https://doi.org/10.1109/ACCESS.2024.3423816},
  doi          = {10.1109/ACCESS.2024.3423816},
  timestamp    = {Fri, 02 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/BaiSWHZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/BaiWZH24,
  author       = {Xuemei Bai and
                  Ao Wang and
                  Chenjie Zhang and
                  Hanping Hu},
  title        = {Cross-Domain Person Re-Identification Based on Normalized IBN-Net},
  journal      = {{IEEE} Access},
  volume       = {12},
  pages        = {54220--54228},
  year         = {2024},
  url          = {https://doi.org/10.1109/ACCESS.2024.3387478},
  doi          = {10.1109/ACCESS.2024.3387478},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/BaiWZH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GaoICW24,
  author       = {Kun Gao and
                  Katsumi Inoue and
                  Yongzhi Cao and
                  Hanpin Wang},
  title        = {A differentiable first-order rule learner for inductive logic programming},
  journal      = {Artif. Intell.},
  volume       = {331},
  pages        = {104108},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.artint.2024.104108},
  doi          = {10.1016/J.ARTINT.2024.104108},
  timestamp    = {Tue, 21 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GaoICW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/ChengCCW24,
  author       = {Jianxin Cheng and
                  Yizhou Chen and
                  Yongzhi Cao and
                  Hanpin Wang},
  title        = {A vulnerability detection framework by focusing on critical execution
                  paths},
  journal      = {Inf. Softw. Technol.},
  volume       = {174},
  pages        = {107517},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.infsof.2024.107517},
  doi          = {10.1016/J.INFSOF.2024.107517},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/infsof/ChengCCW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ChengCCW24,
  author       = {Jianxin Cheng and
                  Yizhou Chen and
                  Yongzhi Cao and
                  Hanpin Wang},
  title        = {A vulnerability detection framework with enhanced graph feature learning},
  journal      = {J. Syst. Softw.},
  volume       = {216},
  pages        = {112118},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jss.2024.112118},
  doi          = {10.1016/J.JSS.2024.112118},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/ChengCCW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/HanWSXQM24,
  author       = {Changjie Han and
                  Yurong Wang and
                  Zhai Shi and
                  Yang Xu and
                  Shilong Qiu and
                  Hanping Mao},
  title        = {The Design and Experimentation of a Corn Moisture Detection Device
                  Based on Double Capacitors},
  journal      = {Sensors},
  volume       = {24},
  number       = {5},
  pages        = {1408},
  year         = {2024},
  url          = {https://doi.org/10.3390/s24051408},
  doi          = {10.3390/S24051408},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sensors/HanWSXQM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/systems/ZhangHJYZWC24,
  author       = {Qiuxia Zhang and
                  Hanping Hou and
                  Yingjie Ju and
                  Jiandong Yuan and
                  Kun Zhang and
                  Huanhuan Wang and
                  Junhe Chen},
  title        = {Category Mapping of Emergency Supplies Classification Standard Based
                  on BERT-TextCNN},
  journal      = {Syst.},
  volume       = {12},
  number       = {9},
  pages        = {358},
  year         = {2024},
  url          = {https://doi.org/10.3390/systems12090358},
  doi          = {10.3390/SYSTEMS12090358},
  timestamp    = {Wed, 06 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/systems/ZhangHJYZWC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcyb/YinSSW24,
  author       = {Xiang Yin and
                  Yuntao Shi and
                  Jinhua She and
                  Hanping Wang},
  title        = {Equivalent Input Disturbance-Based Control: Analysis, Development,
                  and Applications},
  journal      = {{IEEE} Trans. Cybern.},
  volume       = {54},
  number       = {4},
  pages        = {2654--2667},
  year         = {2024},
  url          = {https://doi.org/10.1109/TCYB.2023.3306879},
  doi          = {10.1109/TCYB.2023.3306879},
  timestamp    = {Mon, 01 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcyb/YinSSW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/acl/XuCWHWJWYHLH24,
  author       = {Dexuan Xu and
                  Yanyuan Chen and
                  Jieyi Wang and
                  Yue Huang and
                  Hanpin Wang and
                  Zhi Jin and
                  Hongxing Wang and
                  Weihua Yue and
                  Jing He and
                  Hang Li and
                  Yu Huang},
  editor       = {Lun{-}Wei Ku and
                  Andre Martins and
                  Vivek Srikumar},
  title        = {MLeVLM: Improve Multi-level Progressive Capabilities based on Multimodal
                  Large Language Model for Medical Visual Question Answering},
  booktitle    = {Findings of the Association for Computational Linguistics, {ACL} 2024,
                  Bangkok, Thailand and virtual meeting, August 11-16, 2024},
  pages        = {4977--4997},
  publisher    = {Association for Computational Linguistics},
  year         = {2024},
  url          = {https://doi.org/10.18653/v1/2024.findings-acl.296},
  doi          = {10.18653/V1/2024.FINDINGS-ACL.296},
  timestamp    = {Tue, 24 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/XuCWHWJWYHLH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/LouZXCW024,
  author       = {Yiwei Lou and
                  Jiayu Zhang and
                  Dexuan Xu and
                  Yongzhi Cao and
                  Hanpin Wang and
                  Yu Huang},
  title        = {No-Reference {MRI} Quality Assessment via Contrastive Representation:
                  Spatial and Frequency Domain Perspectives},
  booktitle    = {{IEEE} International Conference on Multimedia and Expo, {ICME} 2024,
                  Niagara Falls, ON, Canada, July 15-19, 2024},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/ICME57554.2024.10687481},
  doi          = {10.1109/ICME57554.2024.10687481},
  timestamp    = {Mon, 07 Oct 2024 18:12:55 +0200},
  biburl       = {https://dblp.org/rec/conf/icmcs/LouZXCW024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GaoICW24,
  author       = {Kun Gao and
                  Katsumi Inoue and
                  Yongzhi Cao and
                  Hanpin Wang},
  title        = {A differentiable first-order rule learner for inductive logic programming
                  (Abstract Reprint)},
  booktitle    = {Proceedings of the Thirty-Third International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9,
                  2024},
  pages        = {8478},
  publisher    = {ijcai.org},
  year         = {2024},
  url          = {https://www.ijcai.org/proceedings/2024/950},
  timestamp    = {Fri, 18 Oct 2024 10:53:17 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GaoICW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiuLLCW24,
  author       = {Yige Liu and
                  Yiwei Lou and
                  Yang Liu and
                  Yongzhi Cao and
                  Hanpin Wang},
  title        = {Label Leakage in Vertical Federated Learning: {A} Survey},
  booktitle    = {Proceedings of the Thirty-Third International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9,
                  2024},
  pages        = {8160--8169},
  publisher    = {ijcai.org},
  year         = {2024},
  url          = {https://www.ijcai.org/proceedings/2024/902},
  timestamp    = {Fri, 18 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LiuLLCW24.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/access/ChenXZCXZZDWY23,
  author       = {Ran Chen and
                  Hanping Xu and
                  Li Zhou and
                  Jie Cai and
                  Chuanyu Xiong and
                  Yingbo Zhou and
                  Xuefei Zhang and
                  Qingguo Dong and
                  Can Wang and
                  Nan Yang},
  title        = {Underfrequency Load Shedding Strategy With an Adaptive Variation Capability
                  for Multi-Microgrids},
  journal      = {{IEEE} Access},
  volume       = {11},
  pages        = {17294--17304},
  year         = {2023},
  url          = {https://doi.org/10.1109/ACCESS.2023.3246088},
  doi          = {10.1109/ACCESS.2023.3246088},
  timestamp    = {Fri, 29 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/ChenXZCXZZDWY23.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    = {Wed, 16 Oct 2024 01:00:00 +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    = {Tue, 15 Oct 2024 16:43:28 +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    = {Wed, 16 Oct 2024 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/ijmi/JinQLZWWZZYCJYJ22,
  author       = {Shuai Jin and
                  Dan Qin and
                  Baosheng Liang and
                  Li{-}Chuan Zhang and
                  Xiao{-}Xia Wei and
                  Yu{-}Jie Wang and
                  Bing Zhuang and
                  Tong Zhang and
                  Zhen{-}Peng Yang and
                  Yi{-}Wei Cao and
                  San{-}Li Jin and
                  Ping Yang and
                  Bo Jiang and
                  Ben{-}Qiang Rao and
                  Han{-}Ping Shi and
                  Qian Lu},
  title        = {Machine learning predicts cancer-associated deep vein thrombosis using
                  clinically available variables},
  journal      = {Int. J. Medical Informatics},
  volume       = {161},
  pages        = {104733},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.ijmedinf.2022.104733},
  doi          = {10.1016/J.IJMEDINF.2022.104733},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmi/JinQLZWWZZYCJYJ22.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/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}
}
@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}
}
@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    = {Tue, 15 Oct 2024 16:43:28 +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    = {Wed, 16 Oct 2024 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/access/LiuLDTZWTY21,
  author       = {Jinhai Liu and
                  Hanping Liu and
                  Xianghua Dou and
                  Yanke Tang and
                  Chen Zhang and
                  Li Wang and
                  Rongxia Tang and
                  Yingzeng Yin},
  title        = {A Low Profile, Dual-Band, Dual-Polarized Patch Antenna With Antenna-Filter
                  Functions and Its Application in {MIMO} Systems},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {101164--101171},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2021.3096969},
  doi          = {10.1109/ACCESS.2021.3096969},
  timestamp    = {Fri, 17 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/LiuLDTZWTY21.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}
}
@article{DBLP:journals/cea/JinMCSWML20,
  author       = {Chun Jin and
                  Hanping Mao and
                  Yong Chen and
                  Qiang Shi and
                  Qirui Wang and
                  Guoxing Ma and
                  Yong Liu},
  title        = {Engineering-oriented dynamic optimal control of a greenhouse environment
                  using an improved genetic algorithm with engineering constraint rules},
  journal      = {Comput. Electron. Agric.},
  volume       = {177},
  pages        = {105698},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.compag.2020.105698},
  doi          = {10.1016/J.COMPAG.2020.105698},
  timestamp    = {Tue, 15 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cea/JinMCSWML20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cea/MaoWL20,
  author       = {Hanping Mao and
                  Qirui Wang and
                  Qinglin Li},
  title        = {Modelling and simulation of the straw-grain separation process based
                  on a discrete element model with flexible hollow cylindrical bonds},
  journal      = {Comput. Electron. Agric.},
  volume       = {170},
  pages        = {105229},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.compag.2020.105229},
  doi          = {10.1016/J.COMPAG.2020.105229},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cea/MaoWL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cea/WangML20,
  author       = {Qirui Wang and
                  Hanping Mao and
                  Qinglin Li},
  title        = {Modelling and simulation of the grain threshing process based on the
                  discrete element method},
  journal      = {Comput. Electron. Agric.},
  volume       = {178},
  pages        = {105790},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.compag.2020.105790},
  doi          = {10.1016/J.COMPAG.2020.105790},
  timestamp    = {Fri, 13 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cea/WangML20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsnet/YangHGQWTW20,
  author       = {Jianliang Yang and
                  Hanping Hou and
                  Shaoqing Geng and
                  Shaobo Qiao and
                  Yue Wang and
                  Fangcheng Tang and
                  Xuan Wang},
  title        = {Research on natural disaster emergency monitoring system},
  journal      = {Int. J. Sens. Networks},
  volume       = {32},
  number       = {4},
  pages        = {218--229},
  year         = {2020},
  url          = {https://doi.org/10.1504/IJSNET.2020.106601},
  doi          = {10.1504/IJSNET.2020.106601},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsnet/YangHGQWTW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/DouZWSHY20,
  author       = {Chengfeng Dou and
                  Shikun Zhang and
                  Hanping Wang and
                  Li Sun and
                  Yu Huang and
                  Weihua Yue},
  title        = {{ADHD} fMRI short-time analysis method for edge computing based on
                  multi-instance learning},
  journal      = {J. Syst. Archit.},
  volume       = {111},
  pages        = {101834},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.sysarc.2020.101834},
  doi          = {10.1016/J.SYSARC.2020.101834},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/DouZWSHY20.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/entropy/HuWX19,
  author       = {Han{-}Ping Hu and
                  Jia{-}Kun Wang and
                  Fei{-}Long Xie},
  title        = {Dynamics Analysis of a New Fractional-Order Hopfield Neural Network
                  with Delay and Its Generalized Projective Synchronization},
  journal      = {Entropy},
  volume       = {21},
  number       = {1},
  pages        = {1},
  year         = {2019},
  url          = {https://doi.org/10.3390/e21010001},
  doi          = {10.3390/E21010001},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entropy/HuWX19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/WangJM19,
  author       = {Ya{-}na Wang and
                  Lifu Jin and
                  Hanping Mao},
  title        = {Farmer Cooperatives' Intention to Adopt Agricultural Information Technology
                  - Mediating Effects of Attitude},
  journal      = {Inf. Syst. Frontiers},
  volume       = {21},
  number       = {3},
  pages        = {565--580},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10796-019-09909-x},
  doi          = {10.1007/S10796-019-09909-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isf/WangJM19.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}
}
@inproceedings{DBLP:conf/bigdataservice/WangGLSRZ19,
  author       = {Shuqin Wang and
                  Jerry Zeyu Gao and
                  Hanping Lin and
                  Mayur Shitole and
                  Layla Reza and
                  Sheng Zhou},
  title        = {Dynamic Human Behavior Pattern Detection and Classification},
  booktitle    = {{IEEE} Fifth International Conference on Big Data Computing Service
                  and Applications, BigDataService 2019, Newark, CA, USA, April 4-9,
                  2019},
  pages        = {159--166},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/BigDataService.2019.00028},
  doi          = {10.1109/BIGDATASERVICE.2019.00028},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bigdataservice/WangGLSRZ19.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/ieicet/WangchukUIHKST17,
  author       = {Karma Wangchuk and
                  Kento Umeki and
                  Tatsuki Iwata and
                  Panawit Hanpinitsak and
                  Minseok Kim and
                  Kentaro Saito and
                  Jun{-}ichi Takada},
  title        = {Double Directional Millimeter Wave Propagation Channel Measurement
                  and Polarimetric Cluster Properties in Outdoor Urban Pico-cell Environment},
  journal      = {{IEICE} Trans. Commun.},
  volume       = {100-B},
  number       = {7},
  pages        = {1133--1144},
  year         = {2017},
  url          = {https://doi.org/10.1587/transcom.2016EBP3303},
  doi          = {10.1587/TRANSCOM.2016EBP3303},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/WangchukUIHKST17.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/bigdatasec/JingW0ZC17,
  author       = {Yuxin Jing and
                  Hanpin Wang and
                  Yu Huang and
                  Lei Zhang and
                  Yongzhi Cao},
  title        = {Towards Formalizing of MapReduce},
  booktitle    = {2017 {IEEE} 3rd International Conference on Big Data Security on Cloud
                  (BigDataSecurity), {IEEE} International Conference on High Performance
                  and Smart Computing, {(HPSC)} and {IEEE} International Conference
                  on Intelligent Data and Security (IDS), Beijing, China, May 26-28,
                  2017},
  pages        = {150--155},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/BigDataSecurity.2017.32},
  doi          = {10.1109/BIGDATASECURITY.2017.32},
  timestamp    = {Thu, 27 Jun 2024 11:38:53 +0200},
  biburl       = {https://dblp.org/rec/conf/bigdatasec/JingW0ZC17.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/corr/ZhuangMCW16,
  author       = {Xiaodong Zhuang and
                  Nikos E. Mastorakis and
                  Jieru Chi and
                  Hanping Wang},
  title        = {Image Segmentation Based on the Self-Balancing Mechanism in Virtual
                  3D Elastic Mesh},
  journal      = {CoRR},
  volume       = {abs/1610.02760},
  year         = {2016},
  url          = {http://arxiv.org/abs/1610.02760},
  eprinttype    = {arXiv},
  eprint       = {1610.02760},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ZhuangMCW16.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/jccee/YeHW15,
  author       = {W. Ye and
                  Han{-}Ping Hong and
                  J. F. Wang},
  title        = {Comparison of Spatial Interpolation Methods for Extreme Wind Speeds
                  over Canada},
  journal      = {J. Comput. Civ. Eng.},
  volume       = {29},
  number       = {6},
  year         = {2015},
  url          = {https://doi.org/10.1061/(asce)cp.1943-5487.0000429},
  doi          = {10.1061/(ASCE)CP.1943-5487.0000429},
  timestamp    = {Tue, 11 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jccee/YeHW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/ZhaoBZW15,
  author       = {Hanping Zhao and
                  Xuemin Bai and
                  Dong Zheng and
                  Fangping Wang},
  title        = {Vehicle route assignment optimization for emergency evacuation in
                  a complex network},
  journal      = {J. Intell. Fuzzy Syst.},
  volume       = {28},
  number       = {1},
  pages        = {107--116},
  year         = {2015},
  url          = {https://doi.org/10.3233/IFS-141280},
  doi          = {10.3233/IFS-141280},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jifs/ZhaoBZW15.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}
}
@inproceedings{DBLP:conf/visapp/FangCWC15,
  author       = {Chiung{-}Yao Fang and
                  Han{-}Ping Chou and
                  Jung Ming Wang and
                  Sei{-}Wang Chen},
  editor       = {Jos{\'{e}} Braz and
                  Sebastiano Battiato and
                  Francisco H. Imai},
  title        = {Automatic Road Segmentation of Traffic Images},
  booktitle    = {{VISAPP} 2015 - Proceedings of the 10th International Conference on
                  Computer Vision Theory and Applications, Volume 2, Berlin, Germany,
                  11-14 March, 2015},
  pages        = {469--477},
  publisher    = {SciTePress},
  year         = {2015},
  url          = {https://doi.org/10.5220/0005321904690477},
  doi          = {10.5220/0005321904690477},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/visapp/FangCWC15.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/isci/XiongHXYPWQ14,
  author       = {Wei Xiong and
                  Hanping Hu and
                  Naixue Xiong and
                  Laurence T. Yang and
                  Wen{-}Chih Peng and
                  Xiaofei Wang and
                  Yanzhen Qu},
  title        = {Anomaly secure detection methods by analyzing dynamic characteristics
                  of the network traffic in cloud communications},
  journal      = {Inf. Sci.},
  volume       = {258},
  pages        = {403--415},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.ins.2013.04.009},
  doi          = {10.1016/J.INS.2013.04.009},
  timestamp    = {Tue, 14 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/XiongHXYPWQ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/visapp/WangCCF14,
  author       = {Jung Ming Wang and
                  Han{-}Ping Chou and
                  Sei{-}Wang Chen and
                  Chiou{-}Shann Fuh},
  editor       = {Sebastiano Battiato and
                  Jos{\'{e}} Braz},
  title        = {Image Compensation for Improving Extraction of Driver's Facial Features},
  booktitle    = {{VISAPP} 2014 - Proceedings of the 9th International Conference on
                  Computer Vision Theory and Applications, Volume 1, Lisbon, Portugal,
                  5-8 January, 2014},
  pages        = {329--338},
  publisher    = {SciTePress},
  year         = {2014},
  url          = {https://doi.org/10.5220/0004690003290338},
  doi          = {10.5220/0004690003290338},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/visapp/WangCCF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/XiongXYPHW13,
  author       = {Wei Xiong and
                  Naixue Xiong and
                  Laurence T. Yang and
                  Jong Hyuk Park and
                  Hanping Hu and
                  Qian Wang},
  title        = {An anomaly-based detection in ubiquitous network using the equilibrium
                  state of the catastrophe theory},
  journal      = {J. Supercomput.},
  volume       = {64},
  number       = {2},
  pages        = {274--294},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11227-011-0644-y},
  doi          = {10.1007/S11227-011-0644-Y},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/XiongXYPHW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/LiangWZXZWY13,
  author       = {Taibo Liang and
                  Jianwei Wang and
                  Yanling Zhang and
                  Jiaqin Xi and
                  Hanping Zhou and
                  Baolin Wang and
                  Qisheng Yin},
  editor       = {Daoliang Li and
                  Yingyi Chen},
  title        = {Spectral Characteristics of Tobacco Cultivars with Different Nitrogen
                  Efficiency and Its Relationship with Nitrogen Use},
  booktitle    = {Computer and Computing Technologies in Agriculture {VII} - 7th {IFIP}
                  {WG} 5.14 International Conference, {CCTA} 2013, Beijing, China, September
                  18-20, 2013, Revised Selected Papers, Part {II}},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {420},
  pages        = {239--246},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-54341-8\_25},
  doi          = {10.1007/978-3-642-54341-8\_25},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip12/LiangWZXZWY13.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}
}
@inproceedings{DBLP:conf/itsc/WangCHCF11,
  author       = {Jung Ming Wang and
                  Han{-}Ping Chou and
                  Chih{-}Fan Hsu and
                  Sei{-}Wang Chen and
                  Chiou{-}Shann Fuh},
  title        = {Extracting driver's facial features during driving},
  booktitle    = {14th International {IEEE} Conference on Intelligent Transportation
                  Systems, {ITSC} 2011, Washington, DC, USA, October 5-7, 2011},
  pages        = {1972--1977},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ITSC.2011.6082890},
  doi          = {10.1109/ITSC.2011.6082890},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/WangCHCF11.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/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/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/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    = {Tue, 07 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/XuHQWB10.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/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/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/mvhi/WangDH10,
  author       = {Maocai Wang and
                  Guangming Dai and
                  Hanping Hu},
  editor       = {Honghua Tan},
  title        = {Improved {NSGA-II} Algorithm for Optimization of Constrained Functions},
  booktitle    = {2010 International Conference on Machine Vision and Human-machine
                  Interface, {MVHI} 2010, Kaifeng, China, April 24-25, 2010},
  pages        = {673--675},
  publisher    = {{IEEE} Computer Soceity},
  year         = {2010},
  url          = {https://doi.org/10.1109/MVHI.2010.209},
  doi          = {10.1109/MVHI.2010.209},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mvhi/WangDH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mvhi/WangDH10a,
  author       = {Maocai Wang and
                  Guangming Dai and
                  Hanping Hu},
  editor       = {Honghua Tan},
  title        = {An Efficient Generation Method of Elliptic Curve for Pairing-Based
                  Cryptosystems},
  booktitle    = {2010 International Conference on Machine Vision and Human-machine
                  Interface, {MVHI} 2010, Kaifeng, China, April 24-25, 2010},
  pages        = {676--678},
  publisher    = {{IEEE} Computer Soceity},
  year         = {2010},
  url          = {https://doi.org/10.1109/MVHI.2010.211},
  doi          = {10.1109/MVHI.2010.211},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mvhi/WangDH10a.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}
}
@inproceedings{DBLP:conf/swarm/WangLSH10,
  author       = {Zuxi Wang and
                  Li Li and
                  Gang Sun and
                  Hanping Hu},
  editor       = {Ying Tan and
                  Yuhui Shi and
                  Kay Chen Tan},
  title        = {An Optimization Algorithm of Spare Capacity Allocation by Dynamic
                  Survivable Routing},
  booktitle    = {Advances in Swarm Intelligence, First International Conference, {ICSI}
                  2010, Beijing, China, June 12-15, 2010, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6146},
  pages        = {439--445},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13498-2\_57},
  doi          = {10.1007/978-3-642-13498-2\_57},
  timestamp    = {Tue, 11 Jul 2023 08:21:50 +0200},
  biburl       = {https://dblp.org/rec/conf/swarm/WangLSH10.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/icip/WangCCF09,
  author       = {Jung Ming Wang and
                  Han{-}Ping Chou and
                  Sei{-}Wang Chen and
                  Chiou{-}Shann Fuh},
  title        = {Video stabilization for a hand-held camera based on 3D motion model},
  booktitle    = {Proceedings of the International Conference on Image Processing, {ICIP}
                  2009, 7-10 November 2009, Cairo, Egypt},
  pages        = {3477--3480},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICIP.2009.5413831},
  doi          = {10.1109/ICIP.2009.5413831},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icip/WangCCF09.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/cisis/ChenHWC08,
  author       = {Dong Chen and
                  Hanping Hu and
                  Zuxi Wang and
                  Jianghang Chen},
  editor       = {Fatos Xhafa and
                  Leonard Barolli},
  title        = {A Novel Method for Network Anomaly Detection Using Superstatistics},
  booktitle    = {Second International Conference on Complex, Intelligent and Software
                  Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University
                  of Catalonia, Barcelona, Spain},
  pages        = {595--598},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/CISIS.2008.24},
  doi          = {10.1109/CISIS.2008.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cisis/ChenHWC08.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/mobimedia/WangDHP08,
  author       = {Maocai Wang and
                  Guangming Dai and
                  Hanping Hu and
                  Lei Peng},
  editor       = {Jyrki Huusko and
                  Tapio Frantti},
  title        = {ID-Based Signature Scheme for Mobile Payment},
  booktitle    = {4th International {ICST} Mobile Multimedia Communications Conference,
                  {MOBIMEDIA} 2008, Oulu, Finland, July 7-9, 2008},
  publisher    = {{ICST}},
  year         = {2008},
  url          = {https://doi.org/10.4108/ICST.MOBIMEDIA2008.3924},
  doi          = {10.4108/ICST.MOBIMEDIA2008.3924},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mobimedia/WangDHP08.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}
}
@article{DBLP:journals/eis/HouXW07,
  author       = {Hanping Hou and
                  Shoubo Xu and
                  H. Wang},
  title        = {A study on {X} party material flow: the theory and applications},
  journal      = {Enterp. Inf. Syst.},
  volume       = {1},
  number       = {3},
  pages        = {287--299},
  year         = {2007},
  url          = {https://doi.org/10.1080/17517570701546741},
  doi          = {10.1080/17517570701546741},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eis/HouXW07.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/atc/HuWWGD06,
  author       = {Hanping Hu and
                  Yi Wang and
                  Lingfei Wang and
                  Wenxuan Guo and
                  Mingyue Ding},
  editor       = {Laurence Tianruo Yang and
                  Hai Jin and
                  Jianhua Ma and
                  Theo Ungerer},
  title        = {Two Novel Packet Marking Schemes for {IP} Traceback},
  booktitle    = {Autonomic and Trusted Computing, Third International Conference, {ATC}
                  2006, Wuhan, China, September 3-6, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4158},
  pages        = {459--466},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11839569\_44},
  doi          = {10.1007/11839569\_44},
  timestamp    = {Thu, 01 Feb 2024 20:40:31 +0100},
  biburl       = {https://dblp.org/rec/conf/atc/HuWWGD06.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:conf/smc/TsaiW06,
  author       = {Chia{-}Sheng Tsai and
                  Han{-}Ping Wang},
  title        = {Study of Routing Protocols for Ocean Surface Communication Networks},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Taipei, Taiwan, October 8-11, 2006},
  pages        = {495--500},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICSMC.2006.384432},
  doi          = {10.1109/ICSMC.2006.384432},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/TsaiW06.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}
}
@inproceedings{DBLP:conf/globecom/YangWLZ04,
  author       = {Mei Yang and
                  Hanping Wang and
                  Enyue Lu and
                  S. Q. Zheng},
  title        = {Hierarchical scheduling for DiffServ classes},
  booktitle    = {Proceedings of the Global Telecommunications Conference, 2004. {GLOBECOM}
                  '04, Dallas, Texas, USA, 29 November - 3 December 2004},
  pages        = {707--712},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.1109/GLOCOM.2004.1378053},
  doi          = {10.1109/GLOCOM.2004.1378053},
  timestamp    = {Wed, 09 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/globecom/YangWLZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}