default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Guanhua He"
download as .bib file
@article{DBLP:journals/tpds/LiGZYHYZHDZ24,
author = {Xiaqing Li and
Qi Guo and
Guangyan Zhang and
Siwei Ye and
Guanhua He and
Yiheng Yao and
Rui Zhang and
Yifan Hao and
Zidong Du and
Weimin Zheng},
title = {FastTuning: Enabling Fast and Efficient Hyper-Parameter Tuning With
Partitioning and Parallelism of Search Space},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {35},
number = {7},
pages = {1174--1188},
year = {2024},
url = {https://doi.org/10.1109/TPDS.2024.3386939},
doi = {10.1109/TPDS.2024.3386939},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/LiGZYHYZHDZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/LeiGHZZPL024,
author = {Huang Lei and
Jiaming Guo and
Guanhua He and
Xishan Zhang and
Rui Zhang and
Shaohui Peng and
Shaoli Liu and
Tianshi Chen},
editor = {Lun{-}Wei Ku and
Andre Martins and
Vivek Srikumar},
title = {Ex3: Automatic Novel Writing by Extracting, Excelsior and Expanding},
booktitle = {Proceedings of the 62nd Annual Meeting of the Association for Computational
Linguistics (Volume 1: Long Papers), {ACL} 2024, Bangkok, Thailand,
August 11-16, 2024},
pages = {9125--9146},
publisher = {Association for Computational Linguistics},
year = {2024},
url = {https://doi.org/10.18653/v1/2024.acl-long.494},
doi = {10.18653/V1/2024.ACL-LONG.494},
timestamp = {Tue, 24 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/LeiGHZZPL024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/Jiang0YZCHY24,
author = {Wei Jiang and
Tong Chen and
Guanhua Ye and
Wentao Zhang and
Lizhen Cui and
Zi Huang and
Hongzhi Yin},
editor = {Edoardo Serra and
Francesca Spezzano},
title = {Physics-guided Active Sample Reweighting for Urban Flow Prediction},
booktitle = {Proceedings of the 33rd {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2024, Boise, ID, USA, October 21-25,
2024},
pages = {1004--1014},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3627673.3679738},
doi = {10.1145/3627673.3679738},
timestamp = {Thu, 14 Nov 2024 13:42:36 +0100},
biburl = {https://dblp.org/rec/conf/cikm/Jiang0YZCHY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/ChangZZZHL24,
author = {Ming Chang and
Xishan Zhang and
Rui Zhang and
Zhipeng Zhao and
Guanhua He and
Shaoli Liu},
editor = {Ales Leonardis and
Elisa Ricci and
Stefan Roth and
Olga Russakovsky and
Torsten Sattler and
G{\"{u}}l Varol},
title = {RecurrentBEV: {A} Long-Term Temporal Fusion Framework for Multi-view
3D Detection},
booktitle = {Computer Vision - {ECCV} 2024 - 18th European Conference, Milan, Italy,
September 29-October 4, 2024, Proceedings, Part {LXXII}},
series = {Lecture Notes in Computer Science},
volume = {15130},
pages = {131--147},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-73220-1\_8},
doi = {10.1007/978-3-031-73220-1\_8},
timestamp = {Fri, 08 Nov 2024 20:51:05 +0100},
biburl = {https://dblp.org/rec/conf/eccv/ChangZZZHL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/WangQJWHYRR00H24,
author = {Guanhua Wang and
Heyang Qin and
Sam Ade Jacobs and
Xiaoxia Wu and
Connor Holmes and
Zhewei Yao and
Samyam Rajbhandari and
Olatunji Ruwase and
Feng Yan and
Lei Yang and
Yuxiong He},
title = {ZeRO++: Extremely Efficient Collective Communication for Large Model
Training},
booktitle = {The Twelfth International Conference on Learning Representations,
{ICLR} 2024, Vienna, Austria, May 7-11, 2024},
publisher = {OpenReview.net},
year = {2024},
url = {https://openreview.net/forum?id=gx2BT0a9MQ},
timestamp = {Wed, 07 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/WangQJWHYRR00H24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/WeiCYZWY24,
author = {Xiaohui Wei and
Guanhua Chen and
Chen Yang and
Hairui Zhao and
Chenyang Wang and
Hengshan Yue},
title = {{EFNAS:} Efficient Federated Neural Architecture Search Across AIoT
Devices},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2024, Yokohama,
Japan, June 30 - July 5, 2024},
pages = {1--8},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/IJCNN60899.2024.10650653},
doi = {10.1109/IJCNN60899.2024.10650653},
timestamp = {Mon, 07 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/WeiCYZWY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-14219,
author = {Marah I Abdin and
Sam Ade Jacobs and
Ammar Ahmad Awan and
Jyoti Aneja and
Ahmed Awadallah and
Hany Awadalla and
Nguyen Bach and
Amit Bahree and
Arash Bakhtiari and
Harkirat S. Behl and
Alon Benhaim and
Misha Bilenko and
Johan Bjorck and
S{\'{e}}bastien Bubeck and
Martin Cai and
Caio C{\'{e}}sar Teodoro Mendes and
Weizhu Chen and
Vishrav Chaudhary and
Parul Chopra and
Allie Del Giorno and
Gustavo de Rosa and
Matthew Dixon and
Ronen Eldan and
Dan Iter and
Amit Garg and
Abhishek Goswami and
Suriya Gunasekar and
Emman Haider and
Junheng Hao and
Russell J. Hewett and
Jamie Huynh and
Mojan Javaheripi and
Xin Jin and
Piero Kauffmann and
Nikos Karampatziakis and
Dongwoo Kim and
Mahoud Khademi and
Lev Kurilenko and
James R. Lee and
Yin Tat Lee and
Yuanzhi Li and
Chen Liang and
Weishung Liu and
Eric Lin and
Zeqi Lin and
Piyush Madan and
Arindam Mitra and
Hardik Modi and
Anh Nguyen and
Brandon Norick and
Barun Patra and
Daniel Perez{-}Becker and
Thomas Portet and
Reid Pryzant and
Heyang Qin and
Marko Radmilac and
Corby Rosset and
Sambudha Roy and
Olatunji Ruwase and
Olli Saarikivi and
Amin Saied and
Adil Salim and
Michael Santacroce and
Shital Shah and
Ning Shang and
Hiteshi Sharma and
Xia Song and
Masahiro Tanaka and
Xin Wang and
Rachel Ward and
Guanhua Wang and
Philipp Witte and
Michael Wyatt and
Can Xu and
Jiahang Xu and
Sonali Yadav and
Fan Yang and
Ziyi Yang and
Donghan Yu and
Chengruidong Zhang and
Cyril Zhang and
Jianwen Zhang and
Li Lyna Zhang and
Yi Zhang and
Yue Zhang and
Yunan Zhang and
Xiren Zhou},
title = {Phi-3 Technical Report: {A} Highly Capable Language Model Locally
on Your Phone},
journal = {CoRR},
volume = {abs/2404.14219},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.14219},
doi = {10.48550/ARXIV.2404.14219},
eprinttype = {arXiv},
eprint = {2404.14219},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-14219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-05164,
author = {Bing Zhu and
Zixin He and
Weiyi Xiong and
Guanhua Ding and
Jianan Liu and
Tao Huang and
Wei Chen and
Wei Xiang},
title = {ProbRadarM3F: mmWave Radar based Human Skeletal Pose Estimation with
Probability Map Guided Multi-Format Feature Fusion},
journal = {CoRR},
volume = {abs/2405.05164},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.05164},
doi = {10.48550/ARXIV.2405.05164},
eprinttype = {arXiv},
eprint = {2405.05164},
timestamp = {Tue, 06 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-05164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-14751,
author = {Peiyuan Feng and
Yichen He and
Guanhua Huang and
Yuan Lin and
Hanchong Zhang and
Yuchen Zhang and
Hang Li},
title = {{AGILE:} {A} Novel Framework of {LLM} Agents},
journal = {CoRR},
volume = {abs/2405.14751},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.14751},
doi = {10.48550/ARXIV.2405.14751},
eprinttype = {arXiv},
eprint = {2405.14751},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-14751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-20763,
author = {Mingze Wang and
Haotian He and
Jinbo Wang and
Zilin Wang and
Guanhua Huang and
Feiyu Xiong and
Zhiyu Li and
Weinan E and
Lei Wu},
title = {Improving Generalization and Convergence by Enhancing Implicit Regularization},
journal = {CoRR},
volume = {abs/2405.20763},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.20763},
doi = {10.48550/ARXIV.2405.20763},
eprinttype = {arXiv},
eprint = {2405.20763},
timestamp = {Tue, 01 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-20763.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-13768,
author = {Guanhua Wang and
Olatunji Ruwase and
Bing Xie and
Yuxiong He},
title = {FastPersist: Accelerating Model Checkpointing in Deep Learning},
journal = {CoRR},
volume = {abs/2406.13768},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.13768},
doi = {10.48550/ARXIV.2406.13768},
eprinttype = {arXiv},
eprint = {2406.13768},
timestamp = {Fri, 12 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-13768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-13605,
author = {Wei Jiang and
Tong Chen and
Guanhua Ye and
Wentao Zhang and
Lizhen Cui and
Zi Huang and
Hongzhi Yin},
title = {Physics-guided Active Sample Reweighting for Urban Flow Prediction},
journal = {CoRR},
volume = {abs/2407.13605},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.13605},
doi = {10.48550/ARXIV.2407.13605},
eprinttype = {arXiv},
eprint = {2407.13605},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-13605.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-01323,
author = {He Zhu and
Junyou Su and
Tianle Lun and
Yicheng Tao and
Wenjia Zhang and
Zipei Fan and
Guanhua Chen},
title = {{FANNO:} Augmenting High-Quality Instruction Data with Open-Sourced
LLMs Only},
journal = {CoRR},
volume = {abs/2408.01323},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.01323},
doi = {10.48550/ARXIV.2408.01323},
eprinttype = {arXiv},
eprint = {2408.01323},
timestamp = {Wed, 11 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-01323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-08506,
author = {Huang Lei and
Jiaming Guo and
Guanhua He and
Xishan Zhang and
Rui Zhang and
Shaohui Peng and
Shaoli Liu and
Tianshi Chen},
title = {Ex3: Automatic Novel Writing by Extracting, Excelsior and Expanding},
journal = {CoRR},
volume = {abs/2408.08506},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.08506},
doi = {10.48550/ARXIV.2408.08506},
eprinttype = {arXiv},
eprint = {2408.08506},
timestamp = {Mon, 23 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-08506.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/HeTGSK23,
author = {Weizhen He and
Jinglei Tan and
Yunfei Guo and
Ke Shang and
Guanhua Kong},
title = {Flipit Game Deception Strategy Selection Method Based on Deep Reinforcement
Learning},
journal = {Int. J. Intell. Syst.},
volume = {2023},
pages = {1--15},
year = {2023},
url = {https://doi.org/10.1155/2023/5560416},
doi = {10.1155/2023/5560416},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/HeTGSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/GaoHHC23,
author = {Jifan Gao and
Shilu He and
Junjie Hu and
Guanhua Chen},
title = {A hybrid system to understand the relations between assessments and
plans in progress notes},
journal = {J. Biomed. Informatics},
volume = {141},
pages = {104363},
year = {2023},
url = {https://doi.org/10.1016/j.jbi.2023.104363},
doi = {10.1016/J.JBI.2023.104363},
timestamp = {Thu, 25 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbi/GaoHHC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/LiZWWHB23,
author = {Jie Li and
He Zhang and
Xiaoli Wang and
Haoming Wang and
Jingzi Hao and
Guanhua Bai},
title = {Inpainting Saturation Artifact in Anterior Segment Optical Coherence
Tomography},
journal = {Sensors},
volume = {23},
number = {23},
pages = {9439},
year = {2023},
url = {https://doi.org/10.3390/s23239439},
doi = {10.3390/S23239439},
timestamp = {Tue, 13 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/LiZWWHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipas/HaoRCZHYGKUMSZH23,
author = {Guanhua Hao and
Eric J. Roberts and
Tanny Chavez and
Zhuowen Zhao and
Elizabeth Holman and
Howard Yanxon and
Adam Green and
Harinarayan Krishnan and
Daniela Ushizima and
Dylan McReynolds and
Nicholas Schwarz and
Petrus H. Zwart and
Alexander Hexemer and
Dilworth Parkinson},
title = {Deploying machine learning based segmentation for scientific imaging
analysis at synchrotron facilities},
booktitle = {Image Processing: Algorithms and Systems XXI, San Francisco, CA, USA,
January 15-19, 2023},
pages = {1--5},
publisher = {Society for Imaging Science and Technology},
year = {2023},
url = {https://doi.org/10.2352/EI.2023.35.9.IPAS-290},
doi = {10.2352/EI.2023.35.9.IPAS-290},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipas/HaoRCZHYGKUMSZH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/BaiLZHLLZ23,
author = {Guanhua Bai and
Sanqian Li and
He Zhang and
Risa Higashita and
Jiang Liu and
Jie Li and
Meng Zhang},
editor = {Bhavna Josephine Antony and
Hao Chen and
Huihui Fang and
Huazhu Fu and
Cecilia S. Lee and
Yalin Zheng},
title = {A Structure-Consistency {GAN} for Unpaired {AS-OCT} Image Inpainting},
booktitle = {Ophthalmic Medical Image Analysis - 10th International Workshop, {OMIA}
2023, Held in Conjunction with {MICCAI} 2023, Vancouver, BC, Canada,
October 12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14096},
pages = {142--151},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44013-7\_15},
doi = {10.1007/978-3-031-44013-7\_15},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miccai/BaiLZHLLZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-10209,
author = {Guanhua Wang and
Heyang Qin and
Sam Ade Jacobs and
Connor Holmes and
Samyam Rajbhandari and
Olatunji Ruwase and
Feng Yan and
Lei Yang and
Yuxiong He},
title = {ZeRO++: Extremely Efficient Collective Communication for Giant Model
Training},
journal = {CoRR},
volume = {abs/2306.10209},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.10209},
doi = {10.48550/ARXIV.2306.10209},
eprinttype = {arXiv},
eprint = {2306.10209},
timestamp = {Thu, 22 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-10209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/SongHZSPW22,
author = {Liang Song and
Xing Hu and
Guanhua Zhang and
Petros Spachos and
Konstantinos N. Plataniotis and
Hequan Wu},
title = {Networking Systems of {AI:} On the Convergence of Computing and Communications},
journal = {{IEEE} Internet Things J.},
volume = {9},
number = {20},
pages = {20352--20381},
year = {2022},
url = {https://doi.org/10.1109/JIOT.2022.3172270},
doi = {10.1109/JIOT.2022.3172270},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/SongHZSPW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HerathWYY22,
author = {Jerome Dinal Herath and
Priti Prabhakar Wakodikar and
Ping Yang and
Guanhua Yan},
title = {CFGExplainer: Explaining Graph Neural Network-Based Malware Classification
from Control Flow Graphs},
booktitle = {52nd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2022, Baltimore, MD, USA, June 27-30, 2022},
pages = {172--184},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSN53405.2022.00028},
doi = {10.1109/DSN53405.2022.00028},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/HerathWYY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/WangHCCJ22,
author = {Yong Wang and
Shilin He and
Guanhua Chen and
Yun Chen and
Daxin Jiang},
editor = {Yoav Goldberg and
Zornitsa Kozareva and
Yue Zhang},
title = {{XLM-D:} Decorate Cross-lingual Pre-training Model as Non-Autoregressive
Neural Machine Translation},
booktitle = {Proceedings of the 2022 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2022, Abu Dhabi, United Arab Emirates,
December 7-11, 2022},
pages = {6934--6946},
publisher = {Association for Computational Linguistics},
year = {2022},
url = {https://doi.org/10.18653/v1/2022.emnlp-main.466},
doi = {10.18653/V1/2022.EMNLP-MAIN.466},
timestamp = {Tue, 06 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/WangHCCJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xloop-ws/ZhaoCHHGKMPRZYSSKMCH22,
author = {Zhuowen Zhao and
Tanny Chavez and
Elizabeth Holman and
Guanhua Hao and
Adam Green and
Harinarayan Krishnan and
Dylan McReynolds and
Ronald Pandolfi and
Eric J. Roberts and
Petrus H. Zwart and
Howard Yanxon and
Nicholas Schwarz and
Subramanian Sankaranarayanan and
Sergei V. Kalinin and
Apurva Mehta and
Stuart Campbell and
Alexander Hexemer},
title = {MLExchange: {A} web-based platform enabling exchangeable machine learning
workflows for scientific studies},
booktitle = {4th Annual Workshop on Extreme-scale Experiment-in-the-Loop Computing,
{XLOOP} 2022, Dallas, TX, USA, November 13-18, 2022},
pages = {10--15},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/XLOOP56614.2022.00007},
doi = {10.1109/XLOOP56614.2022.00007},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/xloop-ws/ZhaoCHHGKMPRZYSSKMCH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-09751,
author = {Zhuowen Zhao and
Tanny Chavez and
Elizabeth Holman and
Guanhua Hao and
Adam Green and
Harinarayan Krishnan and
Dylan McReynolds and
Ronald Pandolfi and
Eric J. Roberts and
Petrus H. Zwart and
Howard Yanxon and
Nicholas Schwarz and
Subramanian Sankaranarayanan and
Sergei V. Kalinin and
Apurva Mehta and
Stuart Campbell and
Alexander Hexemer},
title = {MLExchange: {A} web-based platform enabling exchangeable machine learning
workflows},
journal = {CoRR},
volume = {abs/2208.09751},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.09751},
doi = {10.48550/ARXIV.2208.09751},
eprinttype = {arXiv},
eprint = {2208.09751},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-09751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/HerathYY21,
author = {Jerome Dinal Herath and
Ping Yang and
Guanhua Yan},
editor = {Anupam Joshi and
Barbara Carminati and
Rakesh M. Verma},
title = {Real-Time Evasion Attacks against Deep Learning-Based Anomaly Detection
from Distributed System Logs},
booktitle = {{CODASPY} '21: Eleventh {ACM} Conference on Data and Application Security
and Privacy, Virtual Event, USA, April 26-28, 2021},
pages = {29--40},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3422337.3447833},
doi = {10.1145/3422337.3447833},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/HerathYY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nems/HuangZDLLYXTR21,
author = {Yao Huang and
Hainan Zhang and
Guanhua Dun and
Yuhua Li and
Renrong Liang and
Yi Yang and
Dan Xie and
He Tian and
Tianling Ren},
title = {Flexible and Transparent Ultraviolet Photodetector Enabled by Metal
Doping ZnO Nanorods Based on Mica Substrate},
booktitle = {16th {IEEE} International Conference on Nano/Micro Engineered and
Molecular Systems, {NEMS} 2021, Xiamen, China, April 25-29, 2021},
pages = {680--684},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/NEMS51815.2021.9451469},
doi = {10.1109/NEMS51815.2021.9451469},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nems/HuangZDLLYXTR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ce/ZhengXZCZX20,
author = {Juan Zheng and
Wanli Xing and
Gaoxia Zhu and
Guanhua Chen and
Henglv Zhao and
Charles Xie},
title = {Profiling self-regulation behaviors in {STEM} learning of engineering
design},
journal = {Comput. Educ.},
volume = {143},
year = {2020},
url = {https://doi.org/10.1016/j.compedu.2019.103669},
doi = {10.1016/J.COMPEDU.2019.103669},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ce/ZhengXZCZX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icls/HuangXZCSCX20,
author = {Xudong Huang and
Wanli Xing and
Henglv Zhao and
Jie Chao and
Corey Schimpf and
Guanhua Chen and
Charles Xie},
title = {Understanding Science Learning Through Writings on Engineering Design},
booktitle = {Interdisciplinarity in the Learning Sciences: Proceedings of the 14th
International Conference of the Learning Sciences, {ICLS} 2020, [Nashville,
Tennessee, USA], Online Conference, June 19-23, 2020},
publisher = {International Society of the Learning Sciences},
year = {2020},
url = {https://repository.isls.org/handle/1/6435},
timestamp = {Fri, 07 May 2021 15:45:21 +0200},
biburl = {https://dblp.org/rec/conf/icls/HuangXZCSCX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/ChenYYH0020,
author = {Tong Chen and
Hongzhi Yin and
Guanhua Ye and
Zi Huang and
Yang Wang and
Meng Wang},
editor = {Jimmy X. Huang and
Yi Chang and
Xueqi Cheng and
Jaap Kamps and
Vanessa Murdock and
Ji{-}Rong Wen and
Yiqun Liu},
title = {Try This Instead: Personalized and Interpretable Substitute Recommendation},
booktitle = {Proceedings of the 43rd International {ACM} {SIGIR} conference on
research and development in Information Retrieval, {SIGIR} 2020, Virtual
Event, China, July 25-30, 2020},
pages = {891--900},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3397271.3401042},
doi = {10.1145/3397271.3401042},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigir/ChenYYH0020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-09344,
author = {Tong Chen and
Hongzhi Yin and
Guanhua Ye and
Zi Huang and
Yang Wang and
Meng Wang},
title = {Try This Instead: Personalized and Interpretable Substitute Recommendation},
journal = {CoRR},
volume = {abs/2005.09344},
year = {2020},
url = {https://arxiv.org/abs/2005.09344},
eprinttype = {arXiv},
eprint = {2005.09344},
timestamp = {Fri, 23 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-09344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/HerathBYYL19,
author = {Jerome Dinal Herath and
Changxin Bai and
Guanhua Yan and
Ping Yang and
Shiyong Lu},
editor = {Chaitanya K. Baru and
Jun Huan and
Latifur Khan and
Xiaohua Hu and
Ronay Ak and
Yuanyuan Tian and
Roger S. Barga and
Carlo Zaniolo and
Kisung Lee and
Yanfang (Fanny) Ye},
title = {{RAMP:} Real-Time Anomaly Detection in Scientific Workflows},
booktitle = {2019 {IEEE} International Conference on Big Data {(IEEE} BigData),
Los Angeles, CA, USA, December 9-12, 2019},
pages = {1367--1374},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BigData47090.2019.9005653},
doi = {10.1109/BIGDATA47090.2019.9005653},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/HerathBYYL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coinco/FernandoKHMMBYY19,
author = {Dinuni K. Fernando and
Siddharth Kulshrestha and
Jerome Dinal Herath and
Nitin Mahadik and
Yanzhe Ma and
Changxin Bai and
Ping Yang and
Guanhua Yan and
Shiyong Lu},
title = {SciBlock: {A} Blockchain-Based Tamper-Proof Non-Repudiable Storage
for Scientific Workflow Provenance},
booktitle = {5th {IEEE} International Conference on Collaboration and Internet
Computing, {CIC} 2019, Los Angeles, CA, USA, December 12-14, 2019},
pages = {81--90},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CIC48465.2019.00019},
doi = {10.1109/CIC48465.2019.00019},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coinco/FernandoKHMMBYY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/QiaoLZH18,
author = {Guanhua Qiao and
Supeng Leng and
Ke Zhang and
Yejun He},
title = {Collaborative Task Offloading in Vehicular Edge Multi-Access Networks},
journal = {{IEEE} Commun. Mag.},
volume = {56},
number = {8},
pages = {48--54},
year = {2018},
url = {https://doi.org/10.1109/MCOM.2018.1701130},
doi = {10.1109/MCOM.2018.1701130},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cm/QiaoLZH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcphy/HuangLTC18,
author = {Tsung{-}Ming Huang and
Wen{-}Wei Lin and
Heng Tian and
Guan{-}Hua Chen},
title = {Computing the full spectrum of large sparse palindromic quadratic
eigenvalue problems arising from surface Green's function calculations},
journal = {J. Comput. Phys.},
volume = {356},
pages = {340--355},
year = {2018},
url = {https://doi.org/10.1016/j.jcp.2017.12.011},
doi = {10.1016/J.JCP.2017.12.011},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcphy/HuangLTC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/WangZHTWLL18,
author = {Lidan Wang and
Chenchang Zhan and
Linjun He and
Junyao Tang and
Guanhua Wang and
Yang Liu and
Guofeng Li},
title = {A Low-Power High-PSRR {CMOS} Voltage Reference with Active-Feedback
Frequency Compensation for IoT Applications},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2018,
27-30 May 2018, Florence, Italy},
pages = {1--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ISCAS.2018.8351808},
doi = {10.1109/ISCAS.2018.8351808},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/WangZHTWLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/NanZWHL18,
author = {Yang Nan and
Chenchang Zhan and
Guanhua Wang and
Linjun He and
Han Li},
title = {Replica-Based Low Drop-Out Voltage Regulator with Assistant Power
Transistors for Digital {VLSI} Systems},
booktitle = {2018 {IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2018,
Hong Kong, China, July 8-11, 2018},
pages = {6--9},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISVLSI.2018.00012},
doi = {10.1109/ISVLSI.2018.00012},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isvlsi/NanZWHL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/QinHCCHM17,
author = {Shengchao Qin and
Guanhua He and
Wei{-}Ngan Chin and
Florin Craciun and
Mengda He and
Zhong Ming},
title = {Automated specification inference in a combined domain via user-defined
predicates},
journal = {Sci. Comput. Program.},
volume = {148},
pages = {189--212},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.05.007},
doi = {10.1016/J.SCICO.2017.05.007},
timestamp = {Thu, 10 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/QinHCCHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsai/FengLZXZLZ17,
author = {Guanhua Feng and
Wenhao Li and
Heng Zhang and
Xinxin Xiao and
Jie Zhang and
Wenhao Li and
Heng Zhang},
title = {Probability distribution evolution algorithm to inertial parameters
identification for space target},
booktitle = {4th International Conference on Systems and Informatics, {ICSAI} 2017,
Hangzhou, China, November 11-13, 2017},
pages = {55--60},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICSAI.2017.8248263},
doi = {10.1109/ICSAI.2017.8248263},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsai/FengLZXZLZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmei/WangYHGF16,
author = {Jiaqi Wang and
Jinjie Yao and
Guanhua He and
Kai Gao and
Zhiying Fan},
editor = {Yaoli Wang and
Jiancheng An and
Lipo Wang and
Qingli Li and
Gaowei Van and
Qing Chang},
title = {Influence of feeder bending and curved surface on microstrip antenna},
booktitle = {9th International Congress on Image and Signal Processing, BioMedical
Engineering and Informatics, {CISP-BMEI} 2016, Datong, China, October
15-17, 2016},
pages = {1312--1316},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CISP-BMEI.2016.7852919},
doi = {10.1109/CISP-BMEI.2016.7852919},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/bmei/WangYHGF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccchina/ZengLHZQ16,
author = {Ming Zeng and
Supeng Leng and
Jianhua He and
Yan Zhang and
Guanhua Qiao},
title = {Matching theory based travel plan aware charging algorithms in {V2G}
smart grid networks},
booktitle = {2016 {IEEE/CIC} International Conference on Communications in China,
{ICCC} 2016, Chengdu, China, July 27-29, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICCChina.2016.7636887},
doi = {10.1109/ICCCHINA.2016.7636887},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccchina/ZengLHZQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/ChenDCHZZPL16,
author = {Wenjie Chen and
Shuaishuai Ding and
Zhilei Chai and
Daojing He and
Weihua Zhang and
Guanhua Zhang and
Qiwei Peng and
Wang Luo},
title = {FPGA-Based Parallel Implementation of {SURF} Algorithm},
booktitle = {22nd {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2016, Wuhan, China, December 13-16, 2016},
pages = {308--315},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICPADS.2016.0049},
doi = {10.1109/ICPADS.2016.0049},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpads/ChenDCHZZPL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/FengLHFXL16,
author = {Guanhua Feng and
Zhigang Li and
Zhen He and
Yingbin Feng and
Tao Xue and
Kaizhou Liu},
title = {Effect of high pressure water jet cleaning device on the motion stability
of an in-pipe cleaning robot},
booktitle = {2016 {IEEE} International Conference on Robotics and Biomimetics,
{ROBIO} 2016, Qingdao, China, December 3-7, 2016},
pages = {1040--1045},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ROBIO.2016.7866462},
doi = {10.1109/ROBIO.2016.7866462},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/robio/FengLHFXL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ZhangLHZ15,
author = {Yilong Zhang and
Yuehua Li and
Guanhua He and
Sheng Zhang},
title = {A Compressive Regularization Imaging Algorithm for Millimeter-Wave
{SAIR}},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {98-D},
number = {8},
pages = {1609--1612},
year = {2015},
url = {https://doi.org/10.1587/transinf.2014EDL8256},
doi = {10.1587/TRANSINF.2014EDL8256},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ZhangLHZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/FangLLPLYHLLD15,
author = {Jiansong Fang and
Yongjie Li and
Rui Liu and
Xiaocong Pang and
Chao Li and
Ranyao Yang and
Yangyang He and
Wenwen Lian and
Ai{-}lin Liu and
Guan{-}hua Du},
title = {Discovery of Multitarget-Directed Ligands against Alzheimer's Disease
through Systematic Prediction of Chemical-Protein Interactions},
journal = {J. Chem. Inf. Model.},
volume = {55},
number = {1},
pages = {149--164},
year = {2015},
url = {https://doi.org/10.1021/ci500574n},
doi = {10.1021/CI500574N},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcisd/FangLLPLYHLLD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfi/SunHCLZWZ15,
author = {Jian Sun and
Yuhen Hu and
Yi Chai and
Rui Ling and
Honghao Zheng and
Guanhua Wang and
Zhiqin Zhu},
title = {\emph{L-infinity} event-triggered networked control under time-varying
communication delay with communication cost reduction},
journal = {J. Frankl. Inst.},
volume = {352},
number = {11},
pages = {4776--4800},
year = {2015},
url = {https://doi.org/10.1016/j.jfranklin.2015.07.016},
doi = {10.1016/J.JFRANKLIN.2015.07.016},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfi/SunHCLZWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/YinTCC15,
author = {Zhenyu Yin and
Heng Tian and
Guanhua Chen and
Leon O. Chua},
title = {What are Memristor, Memcapacitor, and Meminductor?},
journal = {{IEEE} Trans. Circuits Syst. {II} Express Briefs},
volume = {62-II},
number = {4},
pages = {402--406},
year = {2015},
url = {https://doi.org/10.1109/TCSII.2014.2387653},
doi = {10.1109/TCSII.2014.2387653},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcas/YinTCC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/HeZZXLTWH15,
author = {Saike He and
Xiaolong Zheng and
Daniel Zeng and
Bo Xu and
Changliang Li and
Guanhua Tian and
Lei Wang and
Hongwei Hao},
title = {Modeling emotion entrainment of online users in emergency events},
booktitle = {2015 {IEEE} International Conference on Intelligence and Security
Informatics, {ISI} 2015, Baltimore, MD, USA, May 27-29, 2015},
pages = {160--162},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ISI.2015.7165961},
doi = {10.1109/ISI.2015.7165961},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isi/HeZZXLTWH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pakdd/LiXWHTZ15,
author = {Changliang Li and
Bo Xu and
Gaowei Wu and
Saike He and
Guanhua Tian and
Yujun Zhou},
editor = {Tru H. Cao and
Ee{-}Peng Lim and
Zhi{-}Hua Zhou and
Tu Bao Ho and
David Wai{-}Lok Cheung and
Hiroshi Motoda},
title = {Parallel Recursive Deep Model for Sentiment Analysis},
booktitle = {Advances in Knowledge Discovery and Data Mining - 19th Pacific-Asia
Conference, {PAKDD} 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9078},
pages = {15--26},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18032-8\_2},
doi = {10.1007/978-3-319-18032-8\_2},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pakdd/LiXWHTZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/QinHLCY14,
author = {Shengchao Qin and
Guanhua He and
Chenguang Luo and
Wei{-}Ngan Chin and
Hongli Yang},
title = {Automatically refining partial specifications for heap-manipulating
programs},
journal = {Sci. Comput. Program.},
volume = {82},
pages = {56--76},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.03.004},
doi = {10.1016/J.SCICO.2013.03.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/QinHLCY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FerreiraGHQC14,
author = {Jo{\~{a}}o F. Ferreira and
Cristian Gherghina and
Guanhua He and
Shengchao Qin and
Wei{-}Ngan Chin},
title = {Automated verification of the FreeRTOS scheduler in Hip/Sleek},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {4},
pages = {381--397},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0307-4},
doi = {10.1007/S10009-014-0307-4},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FerreiraGHQC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iconip/XuX0TZH14,
author = {Jiaming Xu and
Bo Xu and
Jun Zhao and
Guanhua Tian and
Heng Zhang and
Hongwei Hao},
editor = {Chu Kiong Loo and
Keem Siah Yap and
Kok Wai Wong and
Andrew Teoh Beng Jin and
Kaizhu Huang},
title = {Short Text Hashing Improved by Integrating Topic Features and Tags},
booktitle = {Neural Information Processing - 21st International Conference, {ICONIP}
2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8835},
pages = {295--302},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12640-1\_36},
doi = {10.1007/978-3-319-12640-1\_36},
timestamp = {Sat, 09 Apr 2022 12:41:05 +0200},
biburl = {https://dblp.org/rec/conf/iconip/XuX0TZH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/WangGSHZPT14,
author = {Zhuxiao Wang and
Jing Guo and
Jin Shi and
Hui He and
Ying Zhang and
Hui Peng and
Guanhua Tian},
editor = {Zhongzhi Shi and
Zhaohui Wu and
David B. Leake and
Uli Sattler},
title = {A Formal Model for Attack Mutation Using Dynamic Description Logics},
booktitle = {Intelligent Information Processing {VII} - 8th {IFIP} {TC} 12 International
Conference, {IIP} 2014, Hangzhou, China, October 17-20, 2014, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {432},
pages = {303--311},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44980-6\_34},
doi = {10.1007/978-3-662-44980-6\_34},
timestamp = {Tue, 01 Feb 2022 13:00:44 +0100},
biburl = {https://dblp.org/rec/conf/ifip12/WangGSHZPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/HeZBMZXTH14,
author = {Saike He and
Xiaolong Zheng and
Xiuguo Bao and
Hongyuan Ma and
Daniel Dajun Zeng and
Bo Xu and
Guanhua Tian and
Hongwei Hao},
title = {Ranking Online Memes in Emergency Events Based on Transfer Entropy},
booktitle = {{IEEE} Joint Intelligence and Security Informatics Conference, {JISIC}
2014, The Hague, The Netherlands, 24-26 September, 2014},
pages = {236--239},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/JISIC.2014.44},
doi = {10.1109/JISIC.2014.44},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isi/HeZBMZXTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smp/HeZZXTH14,
author = {Saike He and
Xiaolong Zheng and
Daniel Zeng and
Bo Xu and
Guanhua Tian and
Hongwei Hao},
editor = {Heyan Huang and
Ting Liu and
Hua{-}Ping Zhang and
Jie Tang},
title = {Emotion Evolution under Entrainment in Social Media},
booktitle = {Social Media Processing - Third National Conference, {SMP} 2014, Beijing,
China, November 1-2, 2014. Proceedings},
series = {Communications in Computer and Information Science},
volume = {489},
pages = {155--163},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45558-6\_14},
doi = {10.1007/978-3-662-45558-6\_14},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smp/HeZZXTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/LiXWHTH14,
author = {Changliang Li and
Bo Xu and
Gaowei Wu and
Saike He and
Guanhua Tian and
Hongwei Hao},
title = {Recursive Deep Learning for Sentiment Analysis over Social Data},
booktitle = {2014 {IEEE/WIC/ACM} International Joint Conferences on Web Intelligence
{(WI)} and Intelligent Agent Technologies (IAT), Warsaw, Poland, August
11-14, 2014 - Volume {I}},
pages = {180--185},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/WI-IAT.2014.96},
doi = {10.1109/WI-IAT.2014.96},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/LiXWHTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/QinHLCC13,
author = {Shengchao Qin and
Guanhua He and
Chenguang Luo and
Wei{-}Ngan Chin and
Xin Chen},
title = {Loop invariant synthesis in a combined abstract domain},
journal = {J. Symb. Comput.},
volume = {50},
pages = {386--408},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.08.007},
doi = {10.1016/J.JSC.2012.08.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/QinHLCC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/QinHCY13,
author = {Shengchao Qin and
Guanhua He and
Wei{-}Ngan Chin and
Hongli Yang},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Invariants Synthesis over a Combined Domain for Automated Program
Verification},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
pages = {304--325},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4\_19},
doi = {10.1007/978-3-642-39698-4\_19},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/QinHCY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HeQCC13,
author = {Guanhua He and
Shengchao Qin and
Wei{-}Ngan Chin and
Florin Craciun},
editor = {Lindsay Groves and
Jing Sun},
title = {Automated Specification Discovery via User-Defined Predicates},
booktitle = {Formal Methods and Software Engineering - 15th International Conference
on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
October 29 - November 1, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8144},
pages = {397--414},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41202-8\_26},
doi = {10.1007/978-3-642-41202-8\_26},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HeQCC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HuangFHQH13,
author = {Yanhong Huang and
Jo{\~{a}}o F. Ferreira and
Guanhua He and
Shengchao Qin and
Jifeng He},
editor = {Lindsay Groves and
Jing Sun},
title = {Deadline Analysis of {AUTOSAR} {OS} Periodic Tasks in the Presence
of Interrupts},
booktitle = {Formal Methods and Software Engineering - 15th International Conference
on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
October 29 - November 1, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8144},
pages = {165--181},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41202-8\_12},
doi = {10.1007/978-3-642-41202-8\_12},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HuangFHQH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/HuangZQHF12,
author = {Yanhong Huang and
Yongxin Zhao and
Shengchao Qin and
Guanhua He and
Jo{\~{a}}o F. Ferreira},
editor = {Jonathan P. Bowen and
Huibiao Zhu and
Mike Hinchey},
title = {A Timed {CSP} Model for the Time-Triggered Language Giotto},
booktitle = {35th Annual {IEEE} Software Engineering Workshop, {SEW} 2012, Heraclion,
Crete, Greece, October 12-13, 2012},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEW.2012.18},
doi = {10.1109/SEW.2012.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/HuangZQHF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/FerreiraHQ12,
author = {Jo{\~{a}}o F. Ferreira and
Guanhua He and
Shengchao Qin},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Automated Verification of the FreeRTOS Scheduler in {HIP/SLEEK}},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {51--58},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.45},
doi = {10.1109/TASE.2012.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/FerreiraHQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/He11a,
author = {Guanhua He},
title = {Program analysis in a combined abstract domain},
school = {Durham University, {UK}},
year = {2011},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.545634},
timestamp = {Mon, 22 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/He11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/QinLCH11,
author = {Shengchao Qin and
Chenguang Luo and
Wei{-}Ngan Chin and
Guanhua He},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {Automatically Refining Partial Specifications for Program Verification},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {369--385},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_28},
doi = {10.1007/978-3-642-21437-0\_28},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/QinLCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LuoCQHC10,
author = {Chenguang Luo and
Florin Craciun and
Shengchao Qin and
Guanhua He and
Wei{-}Ngan Chin},
title = {Verifying pointer safety for programs with unknown calls},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1163--1183},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.003},
doi = {10.1016/J.JSC.2010.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LuoCQHC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CraciunLHQC10,
author = {Florin Craciun and
Chenguang Luo and
Guanhua He and
Shengchao Qin and
Wei{-}Ngan Chin},
editor = {Andrei Voronkov and
Laura Kov{\'{a}}cs and
Nikolaj S. Bj{\o}rner},
title = {Discovering Specifications for Unknown Procedures - Work in Progress},
booktitle = {Second International Workshop on Invariant Generation, {WING} 2009,
York, UK, March 29, 2009 and Third International Workshop on Invariant
Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {1},
pages = {76--91},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/wkvm},
doi = {10.29007/WKVM},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/cade/CraciunLHQC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/QinHLC10,
author = {Shengchao Qin and
Guanhua He and
Chenguang Luo and
Wei{-}Ngan Chin},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Loop Invariant Synthesis in a Combined Domain},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {468--484},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_31},
doi = {10.1007/978-3-642-16901-4\_31},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/QinHLC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/QinLHCC10,
author = {Shengchao Qin and
Chenguang Luo and
Guanhua He and
Florin Craciun and
Wei{-}Ngan Chin},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Verifying Heap-Manipulating Programs with Unknown Procedure Calls},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {171--187},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_13},
doi = {10.1007/978-3-642-16901-4\_13},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/QinLHCC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HeQLC09,
author = {Guanhua He and
Shengchao Qin and
Chenguang Luo and
Wei{-}Ngan Chin},
editor = {Zhiming Liu and
Anders P. Ravn},
title = {Memory Usage Verification Using Hip/Sleek},
booktitle = {Automated Technology for Verification and Analysis, 7th International
Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5799},
pages = {166--181},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04761-9\_14},
doi = {10.1007/978-3-642-04761-9\_14},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/HeQLC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/YanCEH09,
author = {Guanhua Yan and
Leticia Cuellar and
Stephan J. Eidenbenz and
Nicolas W. Hengartner},
title = {Blue-Watchdog: Detecting Bluetooth worm propagation in public areas},
booktitle = {Proceedings of the 2009 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2009, Estoril, Lisbon, Portugal, June
29 - July 2, 2009},
pages = {317--326},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DSN.2009.5270319},
doi = {10.1109/DSN.2009.5270319},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/YanCEH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CraciunCHQ09,
author = {Florin Craciun and
Wei{-}Ngan Chin and
Guanhua He and
Shengchao Qin},
editor = {Giuseppe Castagna},
title = {An Interval-Based Inference of Variant Parametric Types},
booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
{ESOP} 2009, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5502},
pages = {112--127},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00590-9\_9},
doi = {10.1007/978-3-642-00590-9\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/CraciunCHQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/HeL09,
author = {Guanhua He and
Chenguang Luo},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Heap Memory Requirements Analysis via Separation Logic},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {321--322},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.60},
doi = {10.1109/TASE.2009.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/HeL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LuoHQ08,
author = {Chenguang Luo and
Guanhua He and
Shengchao Qin},
title = {A Heap Model for Java Bytecode to Support Separation Logic},
booktitle = {15th Asia-Pacific Software Engineering Conference {(APSEC} 2008),
3-5 December 2008, Beijing, China},
pages = {127--134},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APSEC.2008.72},
doi = {10.1109/APSEC.2008.72},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/LuoHQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/YanFCHEV07,
author = {Guanhua Yan and
Hector D. Flores and
Leticia Cuellar and
Nicolas W. Hengartner and
Stephan J. Eidenbenz and
Vincent Q. Vu},
editor = {Feng Bao and
Steven Miller},
title = {Bluetooth worm propagation: mobility pattern matters!},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2007, Singapore, March 20-22, 2007},
pages = {32--44},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1229285.1229294},
doi = {10.1145/1229285.1229294},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/YanFCHEV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/QinH07,
author = {Shengchao Qin and
Guanhua He},
title = {Linking Object-Z with Spec{\#}},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {185--196},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.27},
doi = {10.1109/ICECCS.2007.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/QinH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/ZhangOL06,
author = {Hengbo Zhang and
ZongYing Ou and
Guanhua Li},
editor = {Licheng Jiao and
Lipo Wang and
Xinbo Gao and
Jing Liu and
Feng Wu},
title = {An Image Retrieval Method on Color Primitive Co-occurrence Matrix},
booktitle = {Advances in Natural Computation, Second International Conference,
{ICNC} 2006, Xi'an, China, September 24-28, 2006. Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {4222},
pages = {526--529},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11881223\_65},
doi = {10.1007/11881223\_65},
timestamp = {Mon, 19 Apr 2021 14:35:00 +0200},
biburl = {https://dblp.org/rec/conf/icnc/ZhangOL06.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.
retrieved on 2024-11-15 03:00 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
