default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Bohua Zhan"
download as .bib file
@article{DBLP:journals/ijcrowdsci/ZhangYSLL24,
author = {Bohua Zhang and
Zhijun Yan and
Xiuwei Song and
Yingguang Liao and
Peilun Li},
title = {Influence of Free Consultation Services on Patients' Willingness to
Pay in Online Medical Platforms},
journal = {Int. J. Crowd Sci.},
volume = {8},
number = {1},
pages = {28--37},
year = {2024},
url = {https://doi.org/10.26599/ijcs.2023.9100021},
doi = {10.26599/IJCS.2023.9100021},
timestamp = {Mon, 01 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcrowdsci/ZhangYSLL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiZP24,
author = {Yongjian Li and
Bohua Zhan and
Jun Pang},
title = {Mechanizing the {CMP} Abstraction for Parameterized Verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{OOPSLA1}},
pages = {1324--1350},
year = {2024},
url = {https://doi.org/10.1145/3649858},
doi = {10.1145/3649858},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LiZP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/ZhangWLHL24,
author = {Bohua Zhang and
Weigang Wang and
Haoran Lei and
Xiancun Hu and
Chun{-}Qing Li},
title = {An improved analytical solution to outcrossing rate for scalar nonstationary
and non-gaussian processes},
journal = {Reliab. Eng. Syst. Saf.},
volume = {247},
pages = {110102},
year = {2024},
url = {https://doi.org/10.1016/j.ress.2024.110102},
doi = {10.1016/J.RESS.2024.110102},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/ZhangWLHL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/XueYWCJJFLZ24,
author = {Bohuan Xue and
Xiaoyang Yan and
Jin Wu and
Jintao Cheng and
Jianhao Jiao and
Haoxuan Jiang and
Rui Fan and
Ming Liu and
Chengxi Zhang},
title = {Visual-Marker-Based Localization for Flat-Variation Scene},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {73},
pages = {1--16},
year = {2024},
url = {https://doi.org/10.1109/TIM.2024.3372231},
doi = {10.1109/TIM.2024.3372231},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tim/XueYWCJJFLZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WangJXZGZ24,
author = {Shuling Wang and
Zekun Ji and
Xiong Xu and
Bohua Zhan and
Qiang Gao and
Naijun Zhan},
title = {Formally Verified {C} Code Generation from Hybrid Communicating Sequential
Processes},
booktitle = {15th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2024, Hong Kong, May 13-16, 2024},
pages = {123--134},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICCPS61052.2024.00018},
doi = {10.1109/ICCPS61052.2024.00018},
timestamp = {Thu, 18 Jul 2024 22:36:51 +0200},
biburl = {https://dblp.org/rec/conf/iccps/WangJXZGZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ZhangHX0YJ024,
author = {Shuyang Zhang and
Jinhao He and
Bohuan Xue and
Jin Wu and
Pengyu Yin and
Jianhao Jiao and
Ming Liu},
title = {An Image Acquisition Scheme for Visual Odometry based on Image Bracketing
and Online Attribute Control},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2024, Yokohama, Japan, May 13-17, 2024},
pages = {381--387},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICRA57147.2024.10611141},
doi = {10.1109/ICRA57147.2024.10611141},
timestamp = {Mon, 19 Aug 2024 15:58:53 +0200},
biburl = {https://dblp.org/rec/conf/icra/ZhangHX0YJ024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WangZLC24,
author = {Zhonghan Wang and
Bohua Zhan and
Bohan Li and
Shaowei Cai},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Efficient Local Search for Nonlinear Real Arithmetic},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {326--349},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_15},
doi = {10.1007/978-3-031-50524-9\_15},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/WangZLC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-15674,
author = {Shuling Wang and
Zekun Ji and
Bohua Zhan and
Xiong Xu and
Qiang Gao and
Naijun Zhan},
title = {Formally Verified {C} Code Generation from Hybrid Communicating Sequential
Processes},
journal = {CoRR},
volume = {abs/2402.15674},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.15674},
doi = {10.48550/ARXIV.2402.15674},
eprinttype = {arXiv},
eprint = {2402.15674},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-15674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-03035,
author = {Bohua Zhan and
Xiong Xu and
Qiang Gao and
Zekun Ji and
Xiangyu Jin and
Shuling Wang and
Naijun Zhan},
title = {Mars 2.0: {A} Toolchain for Modeling, Analysis, Verification and Code
Generation of Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2403.03035},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.03035},
doi = {10.48550/ARXIV.2403.03035},
eprinttype = {arXiv},
eprint = {2403.03035},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-03035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-13457,
author = {Yulun Wu and
Bohua Zhan and
Bican Xia},
title = {OSVAuto: semi-automatic verifier for functional specifications of
operating systems},
journal = {CoRR},
volume = {abs/2403.13457},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.13457},
doi = {10.48550/ARXIV.2403.13457},
eprinttype = {arXiv},
eprint = {2403.13457},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-13457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-18771,
author = {Jianhong Zhao and
Yongwang Zhao and
Peisen Yao and
Fanlang Zeng and
Bohua Zhan and
Kui Ren},
title = {{KBX:} Verified Model Synchronization via Formal Bidirectional Transformation},
journal = {CoRR},
volume = {abs/2404.18771},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.18771},
doi = {10.48550/ARXIV.2404.18771},
eprinttype = {arXiv},
eprint = {2404.18771},
timestamp = {Mon, 27 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-18771.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-16866,
author = {Jierun Chen and
Fangyun Wei and
Jinjing Zhao and
Sizhe Song and
Bohuai Wu and
Zhuoxuan Peng and
S.{-}H. Gary Chan and
Hongyang Zhang},
title = {Revisiting Referring Expression Comprehension Evaluation in the Era
of Large Multimodal Models},
journal = {CoRR},
volume = {abs/2406.16866},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.16866},
doi = {10.48550/ARXIV.2406.16866},
eprinttype = {arXiv},
eprint = {2406.16866},
timestamp = {Mon, 22 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-16866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-08936,
author = {Xiangyu Jin and
Bohua Zhan and
Shuling Wang and
Naijun Zhan},
title = {HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating
Sequential Processes},
journal = {CoRR},
volume = {abs/2407.08936},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.08936},
doi = {10.48550/ARXIV.2407.08936},
eprinttype = {arXiv},
eprint = {2407.08936},
timestamp = {Thu, 15 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-08936.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Chargueraud23,
author = {Arthur Chargu{\'{e}}raud},
title = {Review on \emph{Functional Algorithms, Verified!}: \emph{By Tobias
Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro G{\'{o}}mez-Londo{\~{n}}o,
Peter Lammich, Christian Sternagel, Simon Wimmer, and Bohua Zhan}
Freely downloadable: https://functional-algorithms-verified.org},
journal = {Formal Aspects Comput.},
volume = {35},
number = {2},
pages = {13:1--13:2},
year = {2023},
url = {https://doi.org/10.1145/3594639},
doi = {10.1145/3594639},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Chargueraud23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-com/ZhangBCW23,
author = {Lizhe Zhang and
Zhuoning Bai and
Bohua Cui and
Zhijun Wu},
title = {Search mechanism for data contents based on bloom filter and tree
hybrid structure in system wide information management},
journal = {{IET} Commun.},
volume = {17},
number = {11},
pages = {1262--1273},
year = {2023},
url = {https://doi.org/10.1049/cmu2.12621},
doi = {10.1049/CMU2.12621},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-com/ZhangBCW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/ZhangX23a,
author = {Bohua Zhang and
Jianru Xue},
title = {Weakly-supervised anomaly detection with a Sub-Max strategy},
journal = {Neurocomputing},
volume = {560},
pages = {126770},
year = {2023},
url = {https://doi.org/10.1016/j.neucom.2023.126770},
doi = {10.1016/J.NEUCOM.2023.126770},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijon/ZhangX23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/CaiCWZZ23,
author = {Shaowei Cai and
Zhenbang Chen and
Ji Wang and
Bohua Zhan and
Yongwang Zhao},
title = {Preface to the Special Issue on Constraint Solving and Theorem Proving},
journal = {Int. J. Softw. Informatics},
volume = {13},
number = {3},
pages = {243--245},
year = {2023},
url = {https://doi.org/10.21655/ijsi.1673-7288.00299},
doi = {10.21655/IJSI.1673-7288.00299},
timestamp = {Tue, 05 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijsi/CaiCWZZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jimaging/DaiSWZMZW23,
author = {Kai Dai and
Bohua Sun and
Guanpu Wu and
Shuai Zhao and
Fangwu Ma and
Yufei Zhang and
Jian Wu},
title = {LiDAR-Based Sensor Fusion {SLAM} and Localization for Autonomous Driving
Vehicles in Complex Scenarios},
journal = {J. Imaging},
volume = {9},
number = {2},
pages = {52},
year = {2023},
url = {https://doi.org/10.3390/jimaging9020052},
doi = {10.3390/JIMAGING9020052},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jimaging/DaiSWZMZW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/XuZWTZ23,
author = {Xiong Xu and
Bohua Zhan and
Shuling Wang and
Jean{-}Pierre Talpin and
Naijun Zhan},
title = {A denotational semantics of Simulink with higher-order {UTP}},
journal = {J. Log. Algebraic Methods Program.},
volume = {130},
pages = {100809},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2022.100809},
doi = {10.1016/J.JLAMP.2022.100809},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/XuZWTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/GuDWSS23,
author = {Feifei Gu and
Hubing Du and
Sicheng Wang and
Bohuai Su and
Zhan Song},
title = {High-Capacity Spatial Structured Light for Robust and Accurate Reconstruction},
journal = {Sensors},
volume = {23},
number = {10},
pages = {4685},
year = {2023},
url = {https://doi.org/10.3390/s23104685},
doi = {10.3390/S23104685},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/GuDWSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/WuTZKJYJ23,
author = {Huaiyu Wu and
Yuqi Tang and
Bohua Zhang and
Paul Klippel and
Yun Jing and
Junjie Yao and
Xiaoning Jiang},
title = {Miniaturized Stacked Transducer for Intravascular Sonothrombolysis
With Internal-Illumination Photoacoustic Imaging Guidance and Clot
Characterization},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {70},
number = {8},
pages = {2279--2288},
year = {2023},
url = {https://doi.org/10.1109/TBME.2023.3240725},
doi = {10.1109/TBME.2023.3240725},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/WuTZKJYJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/XuTWZZ23,
author = {Xiong Xu and
Jean{-}Pierre Talpin and
Shuling Wang and
Bohua Zhan and
Naijun Zhan},
title = {Semantics Foundation for Cyber-physical Systems Using Higher-order
{UTP}},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {32},
number = {1},
pages = {9:1--9:48},
year = {2023},
url = {https://doi.org/10.1145/3517192},
doi = {10.1145/3517192},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/XuTWZZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/MitschSZW0M23,
author = {Stefan Mitsch and
Huanhuan Sheng and
Bohua Zhan and
Shuling Wang and
Simon Foster and
Jonathan Juli{\'{a}}n Huerta y Munive},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP23} Category Report: Hybrid Systems Theorem Proving},
booktitle = {Proceedings of 10th International Workshop on Applied Verification
of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA,
May 9, 2023},
series = {EPiC Series in Computing},
volume = {96},
pages = {170--188},
publisher = {EasyChair},
year = {2023},
url = {https://doi.org/10.29007/57g4},
doi = {10.29007/57G4},
timestamp = {Wed, 26 Jun 2024 16:21:50 +0200},
biburl = {https://dblp.org/rec/conf/arch/MitschSZW0M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZhanFXX23,
author = {Bohua Zhan and
Yuheng Fan and
Weiqiang Xiong and
Runqing Xu},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Iscalc: An Interactive Symbolic Computation Framework (System Description)},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {577--589},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_33},
doi = {10.1007/978-3-031-38499-8\_33},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ZhanFXX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ShengBZ23,
author = {Huanhuan Sheng and
Alexander Bentkamp and
Bohua Zhan},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {160--178},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_11},
doi = {10.1007/978-3-031-27481-7\_11},
timestamp = {Mon, 06 Mar 2023 14:12:36 +0100},
biburl = {https://dblp.org/rec/conf/fm/ShengBZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/SuGDS23,
author = {Bohuai Su and
Feifei Gu and
Hubing Du and
Zhan Song},
title = {DOE-based Structured Light For Robust 3D Reconstruction},
booktitle = {{IEEE} International Conference on Robotics and Biomimetics, {ROBIO}
2023, Koh Samui, Thailand, December 4-9, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ROBIO58561.2023.10354776},
doi = {10.1109/ROBIO58561.2023.10354776},
timestamp = {Thu, 25 Jan 2024 09:55:46 +0100},
biburl = {https://dblp.org/rec/conf/robio/SuGDS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/JiaL0ZHY023,
author = {Qiaowen Jia and
Yi Lv and
Peng Wu and
Bohua Zhan and
Jifeng Hao and
Hong Ye and
Chao Wang},
editor = {Cristina David and
Meng Sun},
title = {VeriLin: {A} Linearizability Checker for Large-Scale Concurrent Objects},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {202--220},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_12},
doi = {10.1007/978-3-031-35257-7\_12},
timestamp = {Fri, 30 Jun 2023 22:40:45 +0200},
biburl = {https://dblp.org/rec/conf/tase/JiaL0ZHY023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-00501,
author = {Chao Xue and
Wei Liu and
Shuai Xie and
Zhenfang Wang and
Jiaxing Li and
Xuyang Peng and
Liang Ding and
Shanshan Zhao and
Qiong Cao and
Yibo Yang and
Fengxiang He and
Bohua Cai and
Rongcheng Bian and
Yiyan Zhao and
Heliang Zheng and
Xiangyang Liu and
Dongkai Liu and
Daqing Liu and
Li Shen and
Chang Li and
Shijin Zhang and
Yukang Zhang and
Guanpu Chen and
Shixiang Chen and
Yibing Zhan and
Jing Zhang and
Chaoyue Wang and
Dacheng Tao},
title = {OmniForce: On Human-Centered, Large Model Empowered and Cloud-Edge
Collaborative AutoML System},
journal = {CoRR},
volume = {abs/2303.00501},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.00501},
doi = {10.48550/ARXIV.2303.00501},
eprinttype = {arXiv},
eprint = {2303.00501},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-00501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-15020,
author = {Naijun Zhan and
Bohua Zhan and
Shuling Wang and
Dimitar P. Guelev and
Xiangyu Jin},
title = {A Generalized Hybrid Hoare Logic},
journal = {CoRR},
volume = {abs/2303.15020},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.15020},
doi = {10.48550/ARXIV.2303.15020},
eprinttype = {arXiv},
eprint = {2303.15020},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-15020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-03030,
author = {George Barmpalias and
Xiaoyan Zhang and
Bohua Zhan},
title = {Compression of enumerations and gain},
journal = {CoRR},
volume = {abs/2304.03030},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.03030},
doi = {10.48550/ARXIV.2304.03030},
eprinttype = {arXiv},
eprint = {2304.03030},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-03030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-14249,
author = {Zhonghan Wang and
Bohua Zhan and
Bohan Li and
Shaowei Cai},
title = {Efficient Local Search for Nonlinear Real Arithmetic},
journal = {CoRR},
volume = {abs/2311.14249},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.14249},
doi = {10.48550/ARXIV.2311.14249},
eprinttype = {arXiv},
eprint = {2311.14249},
timestamp = {Fri, 08 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-14249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/GuoZXWS22,
author = {Panhua Guo and
Bohua Zhan and
Xiong Xu and
Shuling Wang and
Wenhui Sun},
title = {Translating a large subset of stateflow to hybrid {CSP} with code
optimization},
journal = {J. Syst. Archit.},
volume = {130},
pages = {102665},
year = {2022},
url = {https://doi.org/10.1016/j.sysarc.2022.102665},
doi = {10.1016/J.SYSARC.2022.102665},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/GuoZXWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/YangWZZLXXM22,
author = {Tengshun Yang and
Shuling Wang and
Bohua Zhan and
Naijun Zhan and
Jinghui Li and
Shuangqing Xiang and
Zhan Xiang and
Bifei Mao},
title = {Formal Analysis of 5G Authentication and Key Management for Applications
{(AKMA)}},
journal = {J. Syst. Archit.},
volume = {126},
pages = {102478},
year = {2022},
url = {https://doi.org/10.1016/j.sysarc.2022.102478},
doi = {10.1016/J.SYSARC.2022.102478},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/YangWZZLXXM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ZhangSLZZMMW22,
author = {Yufei Zhang and
Bohua Sun and
Yaxin Li and
Shuai Zhao and
Xianglei Zhu and
Wenxiao Ma and
Fangwu Ma and
Liang Wu},
title = {Research on the Physics-Intelligence Hybrid Theory Based Dynamic Scenario
Library Generation for Automated Vehicles},
journal = {Sensors},
volume = {22},
number = {21},
pages = {8391},
year = {2022},
url = {https://doi.org/10.3390/s22218391},
doi = {10.3390/S22218391},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/ZhangSLZZMMW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/XuWZJTZ22,
author = {Xiong Xu and
Shuling Wang and
Bohua Zhan and
Xiangyu Jin and
Jean{-}Pierre Talpin and
Naijun Zhan},
title = {Unified graphical co-modeling, analysis and verification of cyber-physical
systems by combining {AADL} and Simulink/Stateflow},
journal = {Theor. Comput. Sci.},
volume = {903},
pages = {1--25},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.11.008},
doi = {10.1016/J.TCS.2021.11.008},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/XuWZJTZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/WenYQZCL22,
author = {Dong Wen and
Bohua Yang and
Lu Qin and
Ying Zhang and
Lijun Chang and
Rong{-}Hua Li},
title = {Computing K-Cores in Large Uncertain Graphs: An Index-Based Optimal
Approach},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {34},
number = {7},
pages = {3126--3138},
year = {2022},
url = {https://doi.org/10.1109/TKDE.2020.3023925},
doi = {10.1109/TKDE.2020.3023925},
timestamp = {Mon, 20 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tkde/WenYQZCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/WenYZQCZ22,
author = {Dong Wen and
Bohua Yang and
Ying Zhang and
Lu Qin and
Dawei Cheng and
Wenjie Zhang},
title = {Span-reachability querying in large temporal graphs},
journal = {{VLDB} J.},
volume = {31},
number = {4},
pages = {629--647},
year = {2022},
url = {https://doi.org/10.1007/s00778-021-00715-z},
doi = {10.1007/S00778-021-00715-Z},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vldb/WenYZQCZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/MitschZSBJW0LM22,
author = {Stefan Mitsch and
Bohua Zhan and
Huanhuan Sheng and
Alexander Bentkamp and
Xiangyu Jin and
Shuling Wang and
Simon Foster and
Christian Pardillo Laursen and
Jonathan Juli{\'{a}}n Huerta y Munive},
editor = {Goran Frehse and
Matthias Althoff and
Erwin Schoitsch and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {{ARCH-COMP22} Category Report: Hybrid Systems Theorem Proving},
booktitle = {Proceedings of 9th International Workshop on Applied Verification
of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September
2022},
series = {EPiC Series in Computing},
volume = {90},
pages = {185--203},
publisher = {EasyChair},
year = {2022},
url = {https://doi.org/10.29007/4lxf},
doi = {10.29007/4LXF},
timestamp = {Wed, 26 Jun 2024 16:21:50 +0200},
biburl = {https://dblp.org/rec/conf/arch/MitschZSBJW0LM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/TangSZAZZ22,
author = {Xiaochen Tang and
Wei Shen and
Miaomiao Zhang and
Jie An and
Bohua Zhan and
Naijun Zhan},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {Learning Deterministic One-Clock Timed Automata via Mutation Testing},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {233--248},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_15},
doi = {10.1007/978-3-031-19992-9\_15},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/TangSZAZZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/XuAZ22,
author = {Runqing Xu and
Jie An and
Bohua Zhan},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {Active Learning of One-Clock Timed Automata Using Constraint Solving},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {249--265},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_16},
doi = {10.1007/978-3-031-19992-9\_16},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/XuAZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icait/ZhangWDWF22,
author = {Yuan Zhang and
Zixian Wei and
Bohua Deng and
Zhaoming Wang and
H. Y. Fu},
title = {On the Performance of GI-POF-assisted Indoor Multi-Cell Wireless Optical
Communication System},
booktitle = {14th {IEEE} International Conference on Advanced Infocomm Technology,
{ICAIT} 2022, Chongqing, China, July 8-11, 2022},
pages = {146--149},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICAIT56197.2022.9862665},
doi = {10.1109/ICAIT56197.2022.9862665},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icait/ZhangWDWF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YiWZZ22,
author = {Shicheng Yi and
Shuling Wang and
Bohua Zhan and
Naijun Zhan},
editor = {Adri{\'{a}}n Riesco and
Min Zhang},
title = {Machine-Checked Executable Semantics of Stateflow},
booktitle = {Formal Methods and Software Engineering - 23rd International Conference
on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October
24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13478},
pages = {421--438},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17244-1\_25},
doi = {10.1007/978-3-031-17244-1\_25},
timestamp = {Wed, 12 Oct 2022 08:57:48 +0200},
biburl = {https://dblp.org/rec/conf/icfem/YiWZZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Zhan22,
author = {Bohua Zhan},
editor = {June Andronick and
Leonardo de Moura},
title = {User Interface Design in the HolPy Theorem Prover (Invited Talk)},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.2},
doi = {10.4230/LIPICS.ITP.2022.2},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Zhan22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ZhanLWZHYX22,
author = {Bohua Zhan and
Yi Lv and
Shuling Wang and
Gehang Zhao and
Jifeng Hao and
Hong Ye and
Bican Xia},
editor = {June Andronick and
Leonardo de Moura},
title = {Compositional Verification of Interacting Systems Using Event Monads},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {33:1--33:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.33},
doi = {10.4230/LIPICS.ITP.2022.33},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/ZhanLWZHYX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-11965,
author = {Shicheng Yi and
Shuling Wang and
Bohua Zhan and
Naijun Zhan},
title = {Machine-checked executable semantics of Stateflow},
journal = {CoRR},
volume = {abs/2207.11965},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.11965},
doi = {10.48550/ARXIV.2207.11965},
eprinttype = {arXiv},
eprint = {2207.11965},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-11965.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-00412,
author = {Runqing Xu and
Jie An and
Bohua Zhan},
title = {Active Learning of One-Clock Timed Automata using Constraint Solving},
journal = {CoRR},
volume = {abs/2208.00412},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.00412},
doi = {10.48550/ARXIV.2208.00412},
eprinttype = {arXiv},
eprint = {2208.00412},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-00412.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-17163,
author = {Huanhuan Sheng and
Alexander Bentkamp and
Bohua Zhan},
title = {HHLPy: Practical Verification of Hybrid Systems using Hoare Logic},
journal = {CoRR},
volume = {abs/2210.17163},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.17163},
doi = {10.48550/ARXIV.2210.17163},
eprinttype = {arXiv},
eprint = {2210.17163},
timestamp = {Thu, 03 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-17163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/LiuZYHWW21,
author = {Ruijun Liu and
Bohua Zhang and
Zhuo Yu and
Zhiyuan Han and
Jingbang Wu and
Ting Wang},
title = {Vibration-based terrain classification recognition using a six-axis
accelerometer},
journal = {Comput. Electr. Eng.},
volume = {96},
number = {Part},
pages = {107556},
year = {2021},
url = {https://doi.org/10.1016/j.compeleceng.2021.107556},
doi = {10.1016/J.COMPELECENG.2021.107556},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cee/LiuZYHWW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/AnWZZZ21,
author = {Jie An and
Lingtai Wang and
Bohua Zhan and
Naijun Zhan and
Miaomiao Zhang},
title = {Learning real-time automata},
journal = {Sci. China Inf. Sci.},
volume = {64},
number = {9},
year = {2021},
url = {https://doi.org/10.1007/s11432-019-2767-4},
doi = {10.1007/S11432-019-2767-4},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/AnWZZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JinAZZZ21,
author = {Xiangyu Jin and
Jie An and
Bohua Zhan and
Naijun Zhan and
Miaomiao Zhang},
title = {Inferring Switched Nonlinear Dynamical Systems},
journal = {Formal Aspects Comput.},
volume = {33},
number = {3},
pages = {385--406},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00542-7},
doi = {10.1007/S00165-021-00542-7},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JinAZZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/CongFNZMFZZ21,
author = {Yalong Cong and
Yinghui Feng and
Hui Ni and
Fengdong Zhi and
Yulu Miao and
Bohuan Fang and
Lujia Zhang and
John Z. H. Zhang},
title = {Anchor-Locker Binding Mechanism of the Coronavirus Spike Protein to
Human {ACE2:} Insights from Computational Analysis},
journal = {J. Chem. Inf. Model.},
volume = {61},
number = {7},
pages = {3529--3542},
year = {2021},
url = {https://doi.org/10.1021/acs.jcim.1c00241},
doi = {10.1021/ACS.JCIM.1C00241},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcisd/CongFNZMFZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AnZZZ21,
author = {Jie An and
Bohua Zhan and
Naijun Zhan and
Miaomiao Zhang},
title = {Learning Nondeterministic Real-Time Automata},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {5s},
pages = {99:1--99:26},
year = {2021},
url = {https://doi.org/10.1145/3477030},
doi = {10.1145/3477030},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/AnZZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/MitschJZWZ21,
author = {Stefan Mitsch and
Xiangyu Jin and
Bohua Zhan and
Shuling Wang and
Naijun Zhan},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP21} Category Report: Hybrid Systems Theorem Proving},
booktitle = {8th International Workshop on Applied Verification of Continuous and
Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
series = {EPiC Series in Computing},
volume = {80},
pages = {120--132},
publisher = {EasyChair},
year = {2021},
url = {https://doi.org/10.29007/35cf},
doi = {10.29007/35CF},
timestamp = {Mon, 03 Jan 2022 17:42:19 +0100},
biburl = {https://dblp.org/rec/conf/arch/MitschJZWZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/XuLZ21,
author = {Runqing Xu and
Liming Li and
Bohua Zhan},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Verified Interactive Computation of Definite Integrals},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {485--503},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_28},
doi = {10.1007/978-3-030-79876-5\_28},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/XuLZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GaoZLSZJZ21,
author = {Song Gao and
Bohua Zhan and
Depeng Liu and
Xuechao Sun and
Yanan Zhi and
David N. Jansen and
Lijun Zhang},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Formal Verification of Consensus in the Taurus Distributed Database},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {741--751},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_42},
doi = {10.1007/978-3-030-90870-6\_42},
timestamp = {Wed, 08 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/GaoZLSZJZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ZhanGXJW0LCYZ21,
author = {Bohua Zhan and
Bin Gu and
Xiong Xu and
Xiangyu Jin and
Shuling Wang and
Bai Xue and
Xiaofeng Li and
Yao Chen and
Mengfei Yang and
Naijun Zhan},
title = {Brief Industry Paper: Modeling and Verification of Descent Guidance
Control of Mars Lander},
booktitle = {27th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2021, Nashville, TN, USA, May 18-21, 2021},
pages = {457--460},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RTAS52030.2021.00051},
doi = {10.1109/RTAS52030.2021.00051},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ZhanGXJW0LCYZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/GuoZXWS21,
author = {Panhua Guo and
Bohua Zhan and
Xiong Xu and
Shuling Wang and
Wenhui Sun},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Translating a Large Subset of Stateflow to Hybrid {CSP} with Code
Optimization},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {3--21},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_1},
doi = {10.1007/978-3-030-91265-9\_1},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/setta/GuoZXWS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/YangWZZLXXM21,
author = {Tengshun Yang and
Shuling Wang and
Bohua Zhan and
Naijun Zhan and
Jinghui Li and
Shuangqing Xiang and
Zhan Xiang and
Bifei Mao},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Formal Analysis of 5G {AKMA}},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {102--121},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_6},
doi = {10.1007/978-3-030-91265-9\_6},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/YangWZZLXXM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/LinWZG20,
author = {Qianqian Lin and
Shuling Wang and
Bohua Zhan and
Bin Gu},
title = {Modelling and Verification of Real-Time Publish and Subscribe Protocol
Using Uppaal and Simulink/Stateflow},
journal = {J. Comput. Sci. Technol.},
volume = {35},
number = {6},
pages = {1324--1342},
year = {2020},
url = {https://doi.org/10.1007/s11390-020-0537-8},
doi = {10.1007/S11390-020-0537-8},
timestamp = {Wed, 16 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcst/LinWZG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/HuangDLGWZZ20,
author = {Shuai Huang and
Jianli Ding and
Bohua Liu and
Xiangyu Ge and
Jinjie Wang and
Jie Zou and
Junyong Zhang},
title = {The Capability of Integrating Optical and Microwave Data for Detecting
Soil Moisture in an Oasis Region},
journal = {Remote. Sens.},
volume = {12},
number = {9},
pages = {1358},
year = {2020},
url = {https://doi.org/10.3390/rs12091358},
doi = {10.3390/RS12091358},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/HuangDLGWZZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/MitschMJZWZ20,
author = {Stefan Mitsch and
Jonathan Juli{\'{a}}n Huerta y Munive and
Xiangyu Jin and
Bohua Zhan and
Shuling Wang and
Naijun Zhan},
title = {{ARCH-COMP20} Category Report: Hybrid Systems Theorem Proving},
booktitle = {{ARCH20.} 7th International Workshop on Applied Verification of Continuous
and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
series = {EPiC Series in Computing},
volume = {74},
pages = {153--174},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/bdq9},
doi = {10.29007/BDQ9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arch/MitschMJZWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csai/QiuWZWYZN20,
author = {Tian Qiu and
Peiwen Wu and
Xin Zhang and
Jianbang Wu and
Jian Yang and
Bohua Zhao and
Honglong Ning},
title = {A Driving Scheme for Non-standard and High-resolution Display and
Its Realization},
booktitle = {{CSAI} 2020: 2020 4th International Conference on Computer Science
and Artificial Intelligence, Zhuhai, China, December 11-13, 2020},
pages = {266--270},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3445815.3445858},
doi = {10.1145/3445815.3445858},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csai/QiuWZWYZN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ShenAZZ0Z20,
author = {Wei Shen and
Jie An and
Bohua Zhan and
Miaomiao Zhang and
Bai Xue and
Naijun Zhan},
editor = {Shang{-}Wei Lin and
Zhe Hou and
Brendan P. Mahony},
title = {{PAC} Learning of Deterministic One-Clock Timed Automata},
booktitle = {Formal Methods and Software Engineering - 22nd International Conference
on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
March 1-3, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12531},
pages = {129--146},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63406-3\_8},
doi = {10.1007/978-3-030-63406-3\_8},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ShenAZZ0Z20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AnCZZZ20,
author = {Jie An and
Mingshuai Chen and
Bohua Zhan and
Naijun Zhan and
Miaomiao Zhang},
editor = {Armin Biere and
David Parker},
title = {Learning One-Clock Timed Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {444--462},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_25},
doi = {10.1007/978-3-030-45190-5\_25},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AnCZZZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ChenMHDWLZ19,
author = {Bohua Chen and
Hanzhi Ma and
Junjie He and
Yinzhang Ding and
Lianghao Wang and
Dongxiao Li and
Ming Zhang},
title = {{PAM:} Pyramid Attention Mechanism Based on Contextual Reasoning},
journal = {{IEEE} Access},
volume = {7},
pages = {144756--144765},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2944925},
doi = {10.1109/ACCESS.2019.2944925},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/ChenMHDWLZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/LiuZWYLLYZ19,
author = {Junyi Liu and
Bohua Zhan and
Shuling Wang and
Shenggang Ying and
Tao Liu and
Yangjia Li and
Mingsheng Ying and
Naijun Zhan},
title = {Quantum Hoare Logic},
journal = {Arch. Formal Proofs},
volume = {2019},
year = {2019},
url = {https://www.isa-afp.org/entries/QHLProver.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/LiuZWYLLYZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Zhan19,
author = {Bohua Zhan},
title = {Formalization of the Fundamental Group in Untyped Set Theory Using
Auto2},
journal = {J. Autom. Reason.},
volume = {63},
number = {2},
pages = {517--538},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9478-0},
doi = {10.1007/S10817-018-9478-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Zhan19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/ZengZWQCHTTGWCC19,
author = {Xian Zeng and
Peng Zhang and
Yali Wang and
Chu Qin and
Shangying Chen and
Weidong He and
Lin Tao and
Ying Tan and
Dan Gao and
Bo{-}hua Wang and
Zhe Chen and
Weiping Chen and
Yu Yang Jiang and
Yuzong Chen},
title = {{CMAUP:} a database of collective molecular activities of useful plants},
journal = {Nucleic Acids Res.},
volume = {47},
number = {Database-Issue},
pages = {D1118--D1127},
year = {2019},
url = {https://doi.org/10.1093/nar/gky965},
doi = {10.1093/NAR/GKY965},
timestamp = {Wed, 24 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/ZengZWQCHTTGWCC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/YangWQ0WL19,
author = {Bohua Yang and
Dong Wen and
Lu Qin and
Ying Zhang and
Xubo Wang and
Xuemin Lin},
title = {Fully Dynamic Depth-First Search in Directed Graphs},
journal = {Proc. {VLDB} Endow.},
volume = {13},
number = {2},
pages = {142--154},
year = {2019},
url = {http://www.vldb.org/pvldb/vol13/p142-yang.pdf},
doi = {10.14778/3364324.3364329},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/YangWQ0WL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/HuangDZLZC19,
author = {Shuai Huang and
Jianli Ding and
Jie Zou and
Bohua Liu and
Junyong Zhang and
Wenqian Chen},
title = {Soil Moisture Retrival Based on Sentinel-1 Imagery under Sparse Vegetation
Coverage},
journal = {Sensors},
volume = {19},
number = {3},
pages = {589},
year = {2019},
url = {https://doi.org/10.3390/s19030589},
doi = {10.3390/S19030589},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/HuangDZLZC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChenWAZKZ19,
author = {Mingshuai Chen and
Jian Wang and
Jie An and
Bohua Zhan and
Deepak Kapur and
Naijun Zhan},
editor = {Pascal Fontaine},
title = {{NIL:} Learning Nonlinear Interpolants},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {178--196},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_11},
doi = {10.1007/978-3-030-29436-6\_11},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChenWAZKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LiuZWYLLYZ19,
author = {Junyi Liu and
Bohua Zhan and
Shuling Wang and
Shenggang Ying and
Tao Liu and
Yangjia Li and
Mingsheng Ying and
Naijun Zhan},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Formal Verification of Quantum Algorithms Using Quantum Hoare Logic},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {187--207},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_12},
doi = {10.1007/978-3-030-25543-5\_12},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/LiuZWYLLYZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ImmlerZ19,
author = {Fabian Immler and
Bohua Zhan},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Smooth manifolds and types to sets for linear algebra in Isabelle/HOL},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {65--77},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294093},
doi = {10.1145/3293880.3294093},
timestamp = {Fri, 04 Jan 2019 10:45:31 +0100},
biburl = {https://dblp.org/rec/conf/cpp/ImmlerZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/MitschSTJZWZ19,
author = {Stefan Mitsch and
Andrew Sogokon and
Yong Kiam Tan and
Xiangyu Jin and
Bohua Zhan and
Shuling Wang and
Naijun Zhan},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP19} Category Report: Hybrid Systems Theorem Proving},
booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
April 15, 2019},
series = {EPiC Series in Computing},
volume = {61},
pages = {141--161},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/nrv8},
doi = {10.29007/NRV8},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/MitschSTJZWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crc/DengZGS19,
author = {Bohua Deng and
Xinman Zhang and
Weiyong Gong and
Dongpeng Shang},
title = {An Overview of Extreme Learning Machine},
booktitle = {4th International Conference on Control, Robotics and Cybernetics,
{CRC} 2019, Tokyo, Japan, September 27-30, 2019},
pages = {189--195},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CRC.2019.00046},
doi = {10.1109/CRC.2019.00046},
timestamp = {Thu, 23 Apr 2020 14:54:33 +0200},
biburl = {https://dblp.org/rec/conf/crc/DengZGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/GongZDX19,
author = {Weiyong Gong and
Xinman Zhang and
Bohua Deng and
Xuebin Xu},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Palmprint Recognition Based on Convolutional Neural Network-Alexnet},
booktitle = {Proceedings of the 2019 Federated Conference on Computer Science and
Information Systems, FedCSIS 2019, Leipzig, Germany, September 1-4,
2019},
series = {Annals of Computer Science and Information Systems},
volume = {18},
pages = {313--316},
year = {2019},
url = {https://doi.org/10.15439/2019F248},
doi = {10.15439/2019F248},
timestamp = {Tue, 23 Apr 2024 10:06:08 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/GongZDX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/YangWQZCL19,
author = {Bohua Yang and
Dong Wen and
Lu Qin and
Ying Zhang and
Lijun Chang and
Rong{-}Hua Li},
title = {Index-Based Optimal Algorithm for Computing K-Cores in Large Uncertain
Graphs},
booktitle = {35th {IEEE} International Conference on Data Engineering, {ICDE} 2019,
Macao, China, April 8-11, 2019},
pages = {64--75},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICDE.2019.00015},
doi = {10.1109/ICDE.2019.00015},
timestamp = {Mon, 20 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/YangWQZCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhanJZXHS19,
author = {Bohua Zhan and
Zhenyan Ji and
Wenfan Zhou and
Chaozhu Xiang and
Jie Hou and
Wenhui Sun},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Design of Point-and-Click User Interfaces for Proof Assistants},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {86--103},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_6},
doi = {10.1007/978-3-030-32409-4\_6},
timestamp = {Mon, 28 Oct 2019 17:04:46 +0100},
biburl = {https://dblp.org/rec/conf/icfem/ZhanJZXHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/WangLLCWZ19,
author = {Yifei Wang and
Dongxiao Li and
Lu Lin and
Bohua Chen and
Lianghao Wang and
Ming Zhang},
title = {Feature Aligned Recurrent Network for Causal Video Object Detection},
booktitle = {2019 {IEEE} International Conference on Image Processing, {ICIP} 2019,
Taipei, Taiwan, September 22-25, 2019},
pages = {3900--3904},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICIP.2019.8803638},
doi = {10.1109/ICIP.2019.8803638},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icip/WangLLCWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/XueFLZZYD19,
author = {Jianru Xue and
Jianwu Fang and
Tao Li and
Bohua Zhang and
Pu Zhang and
Zhen Ye and
Jian Dou},
title = {{BLVD:} Building {A} Large-scale 5D Semantics Benchmark for Autonomous
Driving},
booktitle = {International Conference on Robotics and Automation, {ICRA} 2019,
Montreal, QC, Canada, May 20-24, 2019},
pages = {6685--6691},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICRA.2019.8793523},
doi = {10.1109/ICRA.2019.8793523},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/XueFLZZYD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-06405,
author = {Jianru Xue and
Jianwu Fang and
Tao Li and
Bohua Zhang and
Pu Zhang and
Zhen Ye and
Jian Dou},
title = {{BLVD:} Building {A} Large-scale 5D Semantics Benchmark for Autonomous
Driving},
journal = {CoRR},
volume = {abs/1903.06405},
year = {2019},
url = {http://arxiv.org/abs/1903.06405},
eprinttype = {arXiv},
eprint = {1903.06405},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-06405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-05970,
author = {Bohua Zhan},
title = {holpy: Interactive Theorem Proving in Python},
journal = {CoRR},
volume = {abs/1905.05970},
year = {2019},
url = {http://arxiv.org/abs/1905.05970},
eprinttype = {arXiv},
eprint = {1905.05970},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-05970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-11625,
author = {Mingshuai Chen and
Jian Wang and
Jie An and
Bohua Zhan and
Deepak Kapur and
Naijun Zhan},
title = {{NIL:} Learning Nonlinear Interpolants},
journal = {CoRR},
volume = {abs/1905.11625},
year = {2019},
url = {http://arxiv.org/abs/1905.11625},
eprinttype = {arXiv},
eprint = {1905.11625},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-11625.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-10680,
author = {Jie An and
Mingshuai Chen and
Bohua Zhan and
Naijun Zhan and
Miaomiao Zhang},
title = {Learning One-Clock Timed Automata},
journal = {CoRR},
volume = {abs/1910.10680},
year = {2019},
url = {http://arxiv.org/abs/1910.10680},
eprinttype = {arXiv},
eprint = {1910.10680},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-10680.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/ImmlerZ18,
author = {Fabian Immler and
Bohua Zhan},
title = {Smooth Manifolds},
journal = {Arch. Formal Proofs},
volume = {2018},
year = {2018},
url = {https://www.isa-afp.org/entries/Smooth\_Manifolds.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/ImmlerZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Zhan18,
author = {Bohua Zhan},
title = {Auto2 Prover},
journal = {Arch. Formal Proofs},
volume = {2018},
year = {2018},
url = {https://www.isa-afp.org/entries/Auto2\_HOL.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Zhan18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Zhan18a,
author = {Bohua Zhan},
title = {Verifying Imperative Programs using Auto2},
journal = {Arch. Formal Proofs},
volume = {2018},
year = {2018},
url = {https://www.isa-afp.org/entries/Auto2\_Imperative\_HOL.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Zhan18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijoe/GuoZ18,
author = {Bohua Guo and
Yanwu Zhang},
title = {Privacy Protection Scheme for Data Aggregation in Wireless Sensor
Networks Based on {PRDA+} Protocol},
journal = {Int. J. Online Eng.},
volume = {14},
number = {11},
pages = {40--51},
year = {2018},
url = {https://www.online-journals.org/index.php/i-joe/article/view/9503},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijoe/GuoZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/ZengZHQCTWTGWCC18,
author = {Xian Zeng and
Peng Zhang and
Weidong He and
Chu Qin and
Shangying Chen and
Lin Tao and
Yali Wang and
Ying Tan and
Dan Gao and
Bo{-}hua Wang and
Zhe Chen and
Weiping Chen and
Yu Yang Jiang and
Yuzong Chen},
title = {{NPASS:} natural product activity and species source database for
natural product research, discovery and tool development},
journal = {Nucleic Acids Res.},
volume = {46},
number = {Database-Issue},
pages = {D1217--D1222},
year = {2018},
url = {https://doi.org/10.1093/nar/gkx1026},
doi = {10.1093/NAR/GKX1026},
timestamp = {Wed, 24 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/ZengZHQCTWTGWCC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZhanH18,
author = {Bohua Zhan and
Maximilian P. L. Haslbeck},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {532--548},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_35},
doi = {10.1007/978-3-319-94205-6\_35},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/ZhanH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphm/QiuZWLW18,
author = {Bohua Qiu and
Yu Zhang and
Muheng Wei and
Yongjie Li and
Yue Wang},
title = {Hybrid Cloud Based Cyber-enabled Ship Control and Management System},
booktitle = {2018 {IEEE} International Conference on Prognostics and Health Management,
{ICPHM} 2018, Seattle, WA, USA, June 11-13, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICPHM.2018.8448547},
doi = {10.1109/ICPHM.2018.8448547},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icphm/QiuZWLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Zhan18,
author = {Bohua Zhan},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Efficient Verification of Imperative Programs Using Auto2},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10805},
pages = {23--40},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89960-2\_2},
doi = {10.1007/978-3-319-89960-2\_2},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Zhan18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-01336,
author = {Bohua Zhan and
Maximilian P. L. Haslbeck},
title = {Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle},
journal = {CoRR},
volume = {abs/1802.01336},
year = {2018},
url = {http://arxiv.org/abs/1802.01336},
eprinttype = {arXiv},
eprint = {1802.01336},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-01336.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Zhan17,
author = {Bohua Zhan},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Formalization of the Fundamental Group in Untyped Set Theory Using
Auto2},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {514--530},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_32},
doi = {10.1007/978-3-319-66107-0\_32},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/Zhan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zhan17,
author = {Bohua Zhan},
title = {Formalization of the fundamental group in untyped set theory using
auto2},
journal = {CoRR},
volume = {abs/1707.04757},
year = {2017},
url = {http://arxiv.org/abs/1707.04757},
eprinttype = {arXiv},
eprint = {1707.04757},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zhan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Zhan16,
author = {Bohua Zhan},
editor = {Jasmin Christian Blanchette and
Stephan Merz},
title = {AUTO2, {A} Saturation-Based Heuristic Prover for Higher-Order Logic},
booktitle = {Interactive Theorem Proving - 7th International Conference, {ITP}
2016, Nancy, France, August 22-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9807},
pages = {441--456},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43144-4\_27},
doi = {10.1007/978-3-319-43144-4\_27},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/Zhan16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zhan16,
author = {Bohua Zhan},
title = {AUTO2, a saturation-based heuristic prover for higher-order logic},
journal = {CoRR},
volume = {abs/1605.07577},
year = {2016},
url = {http://arxiv.org/abs/1605.07577},
eprinttype = {arXiv},
eprint = {1605.07577},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zhan16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zhan16a,
author = {Bohua Zhan},
title = {Automation of separation logic using auto2},
journal = {CoRR},
volume = {abs/1610.06996},
year = {2016},
url = {http://arxiv.org/abs/1610.06996},
eprinttype = {arXiv},
eprint = {1610.06996},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zhan16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/ZhanKH12,
author = {Bohua Zhan and
Shelby Kimmel and
Avinatan Hassidim},
editor = {Shafi Goldwasser},
title = {Super-polynomial quantum speed-ups for boolean evaluation trees with
hidden structure},
booktitle = {Innovations in Theoretical Computer Science 2012, Cambridge, MA, USA,
January 8-10, 2012},
pages = {249--265},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2090236.2090258},
doi = {10.1145/2090236.2090258},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/innovations/ZhanKH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmens/SunZ05,
author = {Bohua Sun and
Rui Zhang},
title = {{MEMS} Accelerometer With Two Thin Film Piezoelectric Read-Out},
booktitle = {2005 International Conference on MEMS, NANO, and Smart Systems {(ICMENS}
2005), 24-27 July 2005, Banff, Alberta, Canada},
pages = {318},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICMENS.2005.66},
doi = {10.1109/ICMENS.2005.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmens/SunZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/SunZ05,
author = {Bohua Sun and
Rui Zhang},
title = {{MEMS} accelerometer with two thin film piezoelectric read-out},
booktitle = {{IEEE} International Conference on Robotics and Biomimetics, {ROBIO}
2005, Shatin, {N.T.} China, 5-9 July 2005},
pages = {550--555},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ROBIO.2005.246327},
doi = {10.1109/ROBIO.2005.246327},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/robio/SunZ05.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-09-16 23:29 CEST 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:
