Search dblp for Publications

export results for "Hanpin Wang"

 download as .bib file

@article{DBLP:journals/access/BaiSWHZ24,
  author       = {Xuemei Bai and
                  Hongjin Shi and
                  Zhijun Wang and
                  Hanping Hu and
                  Chenjie Zhang},
  title        = {Study of YOLOv7 Model Lightweighting Based on Group-Level Pruning},
  journal      = {{IEEE} Access},
  volume       = {12},
  pages        = {96138--96149},
  year         = {2024}
}
@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics