default search action
Search dblp for Publications
export results for "Hanpin Wang"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.