![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@inproceedings{DBLP:conf/aaai/ZhangLXCW024, author = {Rongchao Zhang and Yiwei Lou and Dexuan Xu and Yongzhi Cao and Hanpin Wang and Yu Huang}, title = {A Learnable Discrete-Prior Fusion Autoencoder with Contrastive Learning for Tabular Data Synthesis}, booktitle = {{AAAI}}, pages = {16803--16811}, publisher = {{AAAI} Press}, year = {2024} }
@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} }
@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} }
@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} }
@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} }
@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} }
@inproceedings{DBLP:conf/aaai/LiLXCW23, author = {Zhechen Li and Ao Liu and Lirong Xia and Yongzhi Cao and Hanpin Wang}, title = {Differentially Private Condorcet Voting}, booktitle = {{AAAI}}, pages = {5755--5763}, publisher = {{AAAI} Press}, year = {2023} }
@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}, title = {Radiology Report Generation via Structured Knowledge-Enhanced Multi-modal Attention and Contrastive Learning}, booktitle = {{BIBM}}, pages = {2320--2325}, publisher = {{IEEE}}, year = {2023} }
@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}, title = {Refining the Unseen: Self-supervised Two-stream Feature Extraction for Image Quality Assessment}, booktitle = {{ICDM}}, pages = {1193--1198}, publisher = {{IEEE}}, year = {2023} }
@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 = {{IJCAI}}, pages = {2719--2727}, publisher = {ijcai.org}, year = {2023} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@inproceedings{DBLP:conf/atal/GuoSWXCW22, author = {Xiaoxi Guo and Sujoy Sikdar and Haibin Wang and Lirong Xia and Yongzhi Cao and Hanpin Wang}, title = {Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation}, booktitle = {{AAMAS}}, pages = {1938--1940}, publisher = {International Foundation for Autonomous Agents and Multiagent Systems {(IFAAMAS)}}, year = {2022} }
@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 = {{ICIP}}, pages = {2326--2330}, publisher = {{IEEE}}, year = {2022} }
@inproceedings{DBLP:conf/ijcai/GaoICW22, author = {Kun Gao and Katsumi Inoue and Yongzhi Cao and Hanpin Wang}, title = {Learning First-Order Rules with Differentiable Logic Program Semantics}, booktitle = {{IJCAI}}, pages = {3008--3014}, publisher = {ijcai.org}, year = {2022} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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 = {{AAAI}}, pages = {2260--2267}, publisher = {{AAAI} Press}, year = {2020} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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 = {BigDataService}, pages = {159--166}, publisher = {{IEEE}}, year = {2019} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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 = {{DSC}}, pages = {107--114}, publisher = {{IEEE}}, year = {2018} }
@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 = {{DSC}}, pages = {379--385}, publisher = {{IEEE}}, year = {2018} }
@inproceedings{DBLP:conf/iccsip/ZhangLCW18, author = {Lei Zhang and Yue Long and Yongzhi Cao and Hanpin Wang}, title = {Probabilistic Context-Aware Ambients}, booktitle = {{ICCSIP} {(1)}}, series = {Communications in Computer and Information Science}, volume = {1005}, pages = {255--267}, publisher = {Springer}, year = {2018} }
@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} }
@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} }
@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} }
@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 = {BigDataSecurity/HPSC/IDS}, pages = {150--155}, publisher = {{IEEE}}, year = {2017} }
@inproceedings{DBLP:conf/icalp/LinW17, author = {Jiabao Lin and Hanpin Wang}, title = {The Complexity of Holant Problems over Boolean Domain with Non-Negative Weights}, booktitle = {{ICALP}}, series = {LIPIcs}, volume = {80}, pages = {29:1--29:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017} }
@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} }
@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} }
@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} }
@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} }
@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} }
@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} }
@inproceedings{DBLP:conf/visapp/FangCWC15, author = {Chiung{-}Yao Fang and Han{-}Ping Chou and Jung Ming Wang and Sei{-}Wang Chen}, title = {Automatic Road Segmentation of Traffic Images}, booktitle = {{VISAPP} {(2)}}, pages = {469--477}, publisher = {SciTePress}, year = {2015} }
@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} }
@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} }
@inproceedings{DBLP:conf/visapp/WangCCF14, author = {Jung Ming Wang and Han{-}Ping Chou and Sei{-}Wang Chen and Chiou{-}Shann Fuh}, title = {Image Compensation for Improving Extraction of Driver's Facial Features}, booktitle = {{VISAPP} {(1)}}, pages = {329--338}, publisher = {SciTePress}, year = {2014} }
@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} }
@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}, title = {Spectral Characteristics of Tobacco Cultivars with Different Nitrogen Efficiency and Its Relationship with Nitrogen Use}, booktitle = {{CCTA} {(2)}}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {420}, pages = {239--246}, publisher = {Springer}, year = {2013} }
@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} }
@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} }
@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} }
@inproceedings{DBLP:conf/isorc/JinWZ11, author = {Wei Jin and Hanpin Wang and Meixia Zhu}, title = {Modeling {MARTE} Sequence Diagram with Timing Pi-Calculus}, booktitle = {{ISORC}}, pages = {61--66}, publisher = {{IEEE} Computer Society}, year = {2011} }
@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 = {{ITSC}}, pages = {1972--1977}, publisher = {{IEEE}}, year = {2011} }
@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} }
@inproceedings{DBLP:conf/apsec/ZhuWCWJ10, author = {Meixia Zhu and Hanpin Wang and Yongzhi Cao and Zizhen Wang and Wei Jin}, title = {The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation}, booktitle = {{APSEC}}, pages = {118--126}, publisher = {{IEEE} Computer Society}, year = {2010} }
@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 = {{BIC-TA}}, pages = {231--235}, publisher = {{IEEE}}, year = {2010} }
@inproceedings{DBLP:conf/compsac/JinWCWB10, author = {Wei Jin and Hanpin Wang and Yongzhi Cao and Zizhen Wang and Xiaojuan Ban}, title = {Modeling {BPEL} and BPEL4People with a Timed Interruptable pi-Calculus}, booktitle = {{COMPSAC}}, pages = {487--492}, publisher = {{IEEE} Computer Society}, year = {2010} }
@inproceedings{DBLP:conf/compsac/WangWCQJZ10, author = {Zizhen Wang and Hanpin Wang and Yongzhi Cao and Wanling Qu and Wei Jin and Meixia Zhu}, title = {A Game Perspective of Refinement of Component Models}, booktitle = {{COMPSAC}}, pages = {437--442}, publisher = {{IEEE} Computer Society}, year = {2010} }
@inproceedings{DBLP:conf/compsac/XuHQWB10, author = {Chunxiang Xu and Yu Huang and Wanling Qu and Hanpin Wang and Xiaojuan Ban}, title = {A Petri Net-Based Algorithm for {RFID} Event Detection}, booktitle = {{COMPSAC}}, pages = {367--372}, publisher = {{IEEE} Computer Society}, year = {2010} }
@inproceedings{DBLP:conf/compsac/XuQWWB10, author = {Chunxiang Xu and Wanling Qu and Hanpin Wang and Zizhen Wang and Xiaojuan Ban}, title = {A Petri Net-Based Method for Data Validation of Web Services Composition}, booktitle = {{COMPSAC}}, pages = {468--476}, publisher = {{IEEE} Computer Society}, year = {2010} }
@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 = {{COMPSAC} Workshops}, pages = {170--175}, publisher = {{IEEE} Computer Society}, year = {2010} }
@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 = {{IUCS}}, pages = {161--166}, publisher = {{IEEE}}, year = {2010} }
@inproceedings{DBLP:conf/lsms/CaiYW10, author = {Yanliang Cai and Jiangsheng Yu and Hanpin Wang}, title = {Prediction of Protein-Protein Interactions Using Subcellular and Functional Localizations}, booktitle = {{LSMS/ICSEE}}, series = {Lecture Notes in Computer Science}, volume = {6330}, pages = {282--290}, publisher = {Springer}, year = {2010} }
@inproceedings{DBLP:conf/mvhi/WangDH10, author = {Maocai Wang and Guangming Dai and Hanping Hu}, title = {Improved {NSGA-II} Algorithm for Optimization of Constrained Functions}, booktitle = {{MVHI}}, pages = {673--675}, publisher = {{IEEE} Computer Soceity}, year = {2010} }
@inproceedings{DBLP:conf/mvhi/WangDH10a, author = {Maocai Wang and Guangming Dai and Hanping Hu}, title = {An Efficient Generation Method of Elliptic Curve for Pairing-Based Cryptosystems}, booktitle = {{MVHI}}, pages = {676--678}, publisher = {{IEEE} Computer Soceity}, year = {2010} }
@inproceedings{DBLP:conf/sac/WangWZ10, author = {Zizhen Wang and Hanpin Wang and Naijun Zhan}, title = {Refinement of models of software components}, booktitle = {{SAC}}, pages = {2311--2318}, publisher = {{ACM}}, year = {2010} }
@inproceedings{DBLP:conf/swarm/WangLSH10, author = {Zuxi Wang and Li Li and Gang Sun and Hanping Hu}, title = {An Optimization Algorithm of Spare Capacity Allocation by Dynamic Survivable Routing}, booktitle = {{ICSI} {(2)}}, series = {Lecture Notes in Computer Science}, volume = {6146}, pages = {439--445}, publisher = {Springer}, year = {2010} }
@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} }
@inproceedings{DBLP:conf/compsac/ZhuHW09, author = {Jiaqi Zhu and Yu Huang and Hanpin Wang}, title = {A Formal Descriptive Language and an Automated Detection Method for Complex Events in {RFID}}, booktitle = {{COMPSAC} {(1)}}, pages = {543--552}, publisher = {{IEEE} Computer Society}, year = {2009} }
@inproceedings{DBLP:conf/csl/GuoWXC09, author = {Heng Guo and Hanpin Wang and Zhongyuan Xu and Yongzhi Cao}, title = {On Model Checking Boolean {BI}}, booktitle = {{CSL}}, series = {Lecture Notes in Computer Science}, volume = {5771}, pages = {302--316}, publisher = {Springer}, year = {2009} }
@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 = {{ICIP}}, pages = {3477--3480}, publisher = {{IEEE}}, year = {2009} }
@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 = {{JCAI}}, pages = {623--627}, publisher = {{IEEE} Computer Society}, year = {2009} }
@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 = {{SSIRI}}, pages = {203--211}, publisher = {{IEEE} Computer Society}, year = {2009} }
@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} }
@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} }
@inproceedings{DBLP:conf/cisis/ChenHWC08, author = {Dong Chen and Hanping Hu and Zuxi Wang and Jianghang Chen}, title = {A Novel Method for Network Anomaly Detection Using Superstatistics}, booktitle = {{CISIS}}, pages = {595--598}, publisher = {{IEEE} Computer Society}, year = {2008} }
@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 = {{COMPSAC}}, pages = {235--238}, publisher = {{IEEE} Computer Society}, year = {2008} }
@inproceedings{DBLP:conf/mobimedia/WangDHP08, author = {Maocai Wang and Guangming Dai and Hanping Hu and Lei Peng}, title = {ID-Based Signature Scheme for Mobile Payment}, booktitle = {MobiMedia}, publisher = {{ICST}}, year = {2008} }
@inproceedings{DBLP:conf/sac/XuWQ08, author = {Chunxiang Xu and Hanpin Wang and Wanling Qu}, title = {Modeling and verifying {BPEL} using synchronized net}, booktitle = {{SAC}}, pages = {2358--2362}, publisher = {{ACM}}, year = {2008} }
@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} }
@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 = {{AINA} Workshops {(2)}}, pages = {576--581}, publisher = {{IEEE} Computer Society}, year = {2007} }
@inproceedings{DBLP:conf/fcs/FengQW07, author = {Wangsen Feng and Wanling Qu and Hanpin Wang}, title = {Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees}, booktitle = {{FCS}}, pages = {110--113}, publisher = {{CSREA} Press}, year = {2007} }
@inproceedings{DBLP:conf/iccS/HuangWZZ07, author = {Yu Huang and Hanpin Wang and Wen Zhao and Jiaqi Zhu}, title = {Analyzing Data Dependence Based on Workflow Net}, booktitle = {International Conference on Computational Science {(3)}}, series = {Lecture Notes in Computer Science}, volume = {4489}, pages = {257--264}, publisher = {Springer}, year = {2007} }
@inproceedings{DBLP:conf/ieaaie/TaoWHL07, author = {Tao Jia and Wen Zhao and Hanpin Wang and Lifu Wang}, title = {PrDLs: {A} New Kind of Probabilistic Description Logics About Belief}, booktitle = {{IEA/AIE}}, series = {Lecture Notes in Computer Science}, volume = {4570}, pages = {644--654}, publisher = {Springer}, year = {2007} }
@inproceedings{DBLP:conf/sac/HuangW07, author = {Yu Huang and Hanpin Wang}, title = {A petri net semantics for web service choreography}, booktitle = {{SAC}}, pages = {1689--1690}, publisher = {{ACM}}, year = {2007} }
@inproceedings{DBLP:conf/tamc/FengZQW07, author = {Wangsen Feng and Li'ang Zhang and Wanling Qu and Hanpin Wang}, title = {Approximation Algorithms for Maximum Edge Coloring Problem}, booktitle = {{TAMC}}, series = {Lecture Notes in Computer Science}, volume = {4484}, pages = {646--658}, publisher = {Springer}, year = {2007} }
@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 = {{TASE}}, pages = {178--187}, publisher = {{IEEE} Computer Society}, year = {2007} }
@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} }
@inproceedings{DBLP:conf/atc/HuWWGD06, author = {Hanping Hu and Yi Wang and Lingfei Wang and Wenxuan Guo and Mingyue Ding}, title = {Two Novel Packet Marking Schemes for {IP} Traceback}, booktitle = {{ATC}}, series = {Lecture Notes in Computer Science}, volume = {4158}, pages = {459--466}, publisher = {Springer}, year = {2006} }
@inproceedings{DBLP:conf/iccS/XiaWXL06, author = {Yunni Xia and Hanpin Wang and Chunxiang Xu and Liang Li}, title = {Stochastic Modeling and Quality Evaluation of Workflow Systems Based on QWF-Nets}, booktitle = {International Conference on Computational Science {(3)}}, series = {Lecture Notes in Computer Science}, volume = {3993}, pages = {988--995}, publisher = {Springer}, year = {2006} }
@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 = {{QSIC}}, pages = {377--384}, publisher = {{IEEE} Computer Society}, year = {2006} }
@inproceedings{DBLP:conf/smc/TsaiW06, author = {Chia{-}Sheng Tsai and Han{-}Ping Wang}, title = {Study of Routing Protocols for Ocean Surface Communication Networks}, booktitle = {{SMC}}, pages = {495--500}, publisher = {{IEEE}}, year = {2006} }
@inproceedings{DBLP:journals/entcs/HuangWYX06, author = {Yu Huang and Hanpin Wang and Peng Yu and Yunni Xia}, title = {Property-Transition-Net-Based Workflow Process Modeling and Verification}, booktitle = {{FSEN}}, series = {Electronic Notes in Theoretical Computer Science}, volume = {159}, pages = {155--170}, publisher = {Elsevier}, year = {2005} }
@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} }
@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 = {{GLOBECOM}}, pages = {707--712}, publisher = {{IEEE}}, year = {2004} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.