@正在进行{DBLP:conf/ijcnn/WangPLZ23，author={王京琦和彭嘉杰和刘志明和赵恒军}，title={HQProtoPNet:一种基于证据的可解释图像识别模型}，booktitle={国际神经网络联合会议，{IJCNN}2023，金牌澳大利亚海岸，2023年6月18日至23日}，页数={1--8}，publisher={{IEEE}}，年份={2023}，url={https://doi.org/10.1109/IJCNN54540.2023.10191863},doi={10.1109/IJCNN54540.2023.10191863}，timestamp={2023年12月4日星期一00:00:00+0100}，biburl={https://dblp.org/rec/conf/ijcnn/WangPLZ23.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/ijsi/ZhaoLZL22，author={赵恒军和李全忠和夏增和刘志明}，title={安全强化学习算法及其在智能中的应用{CPS}}的控件，journal={国际期刊软件信息学}，体积＝{12}，数字={4}，页数={453--483}，年份＝{2022}，url={https://doi.org/10.21655/ijsi.1673-7288.00284},doi={10.21655/IJSI.1673-7288.00284}，timestamp={2023年1月17日星期二00:00:00+0100}，biburl={https://dblp.org/rec/journals/ijsi/ZhaoLZL22.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/icpr/ChengJZZ022，author={Yike Cheng和季{-}乐Jiang和张宁和赵恒军和刘志明}，title={自动腰椎地标定位和分割椎弓根螺钉放置}，booktitle={第26届模式识别国际会议，{ICPR}2022，加拿大魁北克省蒙特利尔，2022年8月21日至25日}，页码={4263--4269}，publisher={{IEEE}}，年份＝{2022}，url={https://doi.org/10.109/ICPR56361.2022.9956489},doi={10.1109/ICPR56361.2022.9956489}，timestamp={2022年12月1日星期四13:56:03+0100}，biburl={https://dblp.org/rec/conf/icpr/ChengJZZ022.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/fac/ZhaoZCLW21，author={赵恒军和夏曾和陈陶璐和刘志明和吉姆·伍德科克}，title={使用屏障证书学习安全的神经网络控制器}，journal={形式方面计算}，体积={33}，数字={3}，页面＝{437-455}，年份={2021}，url={https://doi.org/10.1007/s00165-021-00544-5},doi={10.1007/S00165-021-00544-5}，timestamp={2023年2月17日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/fic/ZhaoZCLW21.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/artmed/TengHZLXR20，author={Ge{-}ErTeng和岳和和赵恒军和刘敦虎和金晓和S.Ramkumar}，title={利用眼电图设计和开发人机界面通过深度学习}，journal={Artif.Intern.Medicine}，体积={102}，页数={101765}，年份={2020年}，url={https://doi.org/10.1016/j.artmed.2019.101765},doi={10.1016/J.ARTMED.2019.101765}，timestamp={2023年5月1日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/artmed/TengHZLXR20.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/hybrid/ZhaoZC020，author={赵恒军和夏曾和陈陶璐和刘志明}，editor={Aaron D.Ames和Sanjit A.Seshia和Jyotirmoy Deshmukh}，title={使用神经网络合成障碍证书}，booktitle={{HSCC}'20:第23届{ACM}混合系统国际会议：计算与控制，澳大利亚新南威尔士州悉尼，4月21-24, 2020},页数={25:1--25:11}，发布者＝｛｛ACM｝｝，年份={2020年}，url={https://doi.org/10.1145/3365365.3382222},doi={10.1145/3365365.3382222}，timestamp={2022年6月23日星期四01:00:00+0200}，biburl={https://dblp.org/rec/conf/hybrid/ZhaoZC020.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/icip/ZhuFZZL20，author={朱家杰和Bin Fang和周明良和赵恒军和罗福鼎}，title={基于Legendre的结合梯度的自适应图像分割信息}，booktitle={IEEE}图像处理国际会议，{ICIP}2020，阿拉伯联合酋长国阿布扎比，2020年10月25日至28日}，页码={863--867}，publisher={{IEEE}}，年份={2020年}，url={https://doi.org/10.109/ICIP40778.2020.9190934},doi={10.1109/ICIP40778.2020.9190934}，timestamp={星期六，2023年9月30日01:00:00+0200}，biburl={https://dblp.org/rec/conf/icip/ZhuFZZL20.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/setta/ZhaoZCLW20，author={赵恒军和夏曾和陈陶璐和刘志明和吉姆·伍德科克}，editor={Jun Pang和张立军}，title={学习具有屏障证书的安全神经网络控制器}，booktitle={可靠软件工程。理论、工具和应用-第六届国际研讨会，{SETTA}2020，中国广州，11月2020年24月27日，会议记录}，series={计算机科学讲稿}，体积={12153}，页数={177--185}，publisher={Springer}，年份＝{2020}，url={https://doi.org/10.1007/978-3-030-62822-2\_11} ，doi={10.1007/978-3-030-62822-2\_11}，timestamp={2023年2月17日星期五00:00:00+0100}，biburl={https://dblp.org/rec/conf/setta/ZhaoZCLW20.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-2009-09826，author={赵恒军和夏曾和陈陶璐和刘志明和吉姆·伍德科克}，title={学习具有屏障证书的安全神经网络控制器}，日志={CoRR}，体积={abs/2009.09826}，年份={2020年}，url={https://arxiv.org/abs/2009.09826},eprinttype={arXiv}，eprint={2009.09826}，timestamp={2023年2月17日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/corr/abs-2009-09826.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jei/QianZFSQX19，author={Jiye Qian和赵恒军和金福和魏松和钱继德和钱伯晓}，title={通过差商进行无参考图像清晰度评估}，期刊={J.电子成像}，体积={28}，数字={1}，页码={013032}，年份={2019}，url={https://doi.org/10.1117/1.JEI.28.1013032},doi={10.1117/1.JEI.28.1.013032}，timestamp={2019年3月18日星期一00:00:00+0100}，biburl={https://dblp.org/rec/journals/jei/QianZFSQX19.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/icfem/0001FZZE19，作者＝｛白雪和Martin Fr{\“{a}}nzle和赵恒均和Naijun Zhan和Arvind Easwaran}，editor=｛Yamine A｛\“｝t Ameur和秦胜超}，title={混合动力系统的可能近似安全验证}，booktitle={形式方法与软件工程-第21届国际会议《形式工程方法》，{ICFEM}2019年，中国深圳，11月2019年5月9日，会议记录}，series={计算机科学讲稿}，体积={11852}，页数={236--252}，publisher={Springer}，年份={2019}，url={https://doi.org/10.1007/978-3-030-32409-4\_15},doi={10.1007/978-3-030-32409-4\_15}，timestamp={2022年6月23日星期四01:00:00+0200}，biburl={https://dblp.org/rec/conf/icfem/0001FZZE19.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jsjkx/ChaniCQZC18，author={Jide Qian和Bin Chen和钱纪业和赵恒军和陈刚}，title={{unicode{22522}}{\unicode{20110}}{\ unicode{26426}}{\\unicode{22120}}{_unicode{35270}}{{unicode{35273}}{_ unicode{30340}}{unicode{28082}}{-unicode{26230}}{unicode{23631}}Mura{\unicode}{32570}}}{unicode}{38519}{\unicode{26816}}{\unicode{27979}}{\\unicode{26041}}{unicode{28861}}（基于机器视觉的{LCD穆拉缺陷检测方法）}}，日志={{unicode{35745}}{\unicode{31639}}{\ unicode{26426}}{unicode{31185}}{\\unicode{23398}}}，体积={45}，数字={6}，页数={296--300}，年份={2018年}，url={https://doi.org/10.11896/j.issn.1002-137X.2018.06.052},doi={10.11896/J.ISSN.1002-137X.2018.06.052}，timestamp={2020年3月12日星期四00:00:00+0100}，biburl={https://dblp.org/rec/journals/jsjkx/ChaniCQZC18.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/adhs/MitschSTPZJWZ18，author={Stefan Mitsch和Andrew Sogokon和Yong Kiam Tan和Andr｛\'｛e｝｝Platzer和赵恒军和Jin Xiangyu和Shuling Wang和詹乃军}，editor={Goran Frehse和马蒂亚斯·阿尔霍夫和Sergiy Bogomolov和泰勒·T·约翰逊}，title={{ARCH-COMP18}类别报告：混合系统定理证明}，booktitle={{ARCH18.}第五届连续性应用验证国际研讨会和混合动力系统，ADHS建筑2018年7月13日，英国牛津}，series={计算中的EPiC系列}，体积={54}，页数={110--127}，publisher={EasyChair}，年份={2018年}，url={https://doi.org/10.29007/vjh3},doi={10.29007/VJH3}，timestamp={星期日，2021年8月15日01:00:00+0200}，biburl={https://dblp.org/rec/conf/adhs/MitschSTPZJWZ18.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jossac/XieXHZX17，author={谢玲和金晓和Yi Hu和赵恒军和易晓}，title={基于{GMDH}的中国能源消费预测模型}，期刊={系统科学综合杂志}，体积={30}，数字={6}，页数={1332--1349}，年份={2017年}，url={https://doi.org/10.1007/s11424-017-6030-y},doi＝{10.1007/S11424-0176-030-Y}，timestamp={2020年6月8日星期一01:00:00+0200}，biburl={https://dblp.org/rec/jossac/XieXHZX17.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/spac/ChaniZFHFQ17，author={Jiye Qian和赵恒均和金福和何国军和侯兴哲和Bin Fang和季德谦}，title={基于方向导数的无参考图像清晰度度量}，booktitle={安全、模式分析和控制论国际会议，{SPAC}2017，中国深圳，2017年12月15-17日}，页数={340--344}，publisher={{IEEE}}，年份={2017年}，url={https://doi.org/10.109/SPAC.2017.8304301},doi={10.1109/SPAC.2017.8304301}，timestamp={2019年10月16日星期三14:14:52+0200}，biburl={https://dblp.org/rec/conf/spac/ChaniZFHFQ17.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@收汇{DBLP:books/sp/17/ChenHTWYZZ17，author={陈明帅和肖翰和Tao Tang和Shuling Wang和杨梦飞和Naijun Zhan和赵恒军和梁邹}，editor={Michael G.Hinchey和Jonathan P.Bowen和恩斯特{-}右{\“{u}}挖掘Olderog}，title={{MARS:}{A}建模、分析和验证的工具链混合系统}，booktitle={Provably Correct Systems}，series={{NASA}系统与软件工程专著}，页数={39--58}，publisher={Springer}，年份＝{2017}，url={https://doi.org/10.1007/978-3-319-48628-4网址\_3} ，doi={10.1007/978-3-319-48628-4\3}，timestamp={2023年1月18日星期三00:00:00+0100}，biburl={https://dblp.org/rec/books/sp/17/ChenHTWYZZZ17.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@book{DBLP:books/sp/17/ZWZ2017，editor={Naijun Zhan和Shuling Wang和赵恒军}，title={Simulink/Stateflow图的形式验证，{A}演绎接近}，publisher={Springer}，年份={2017年}，url={https://doi.org/10.1007/978-3-319-47016-0},doi={10.1007/978-3-319-47016-0}，isbn={978-3-319-47014-6}，timestamp={2020年10月19日星期一01:00:00+0200}，biburl={https://dblp.org/rec/books/sp/17/ZWZ2017.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/fm/0009ZZZ15，author={Jiang Liu和Naijun Zhan和赵恒军和梁邹}，editor={Nikolaj S.Bj{\o}rner和Frank S.de Boer}，title={通过变量变换抽象基本混合系统}，booktitle={{FM}2015：形式方法-第20届国际研讨会，挪威奥斯陆，2015年6月24日至26日，会议记录}，series={计算机科学讲稿}，体积={9109}，页数={360--377}，publisher={Springer}，年份={2015年}，url={https://doi.org/10.1007/978-3-319-19249-9\_23},doi={10.1007/978-3-319-19249-9\_23}，timestamp={2022年4月14日星期四20:26:16+0200}，biburl={https://dblp.org/rec/conf/fm/0009ZZZ15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jossac/0009XZZ14，author={Jiang Liu和Ming Xu和Naijun Zhan和赵恒军}，title={发现多径多项式程序的非终止输入}，期刊={系统科学综合杂志}，体积={27}，数字={6}，页数={1286--1304}，年份={2014}，url={https://doi.org/10.1007/s11424-014-2145-6},doi={10.1007/S11424-014-2145-6}，时间戳＝{2022年7月21日星期四01:00:00+0200}，biburl={https://dblp.org/rec/journals/jossac/0009XZZ14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程{DBLP:conf/fm/ZhaoYZGZC14，author={赵恒军和杨梦飞和詹乃军和Bin Gu和梁邹和姚晨}，editor={Cliff B.Jones和Pekka Pihlajasaari和孙军}，title={月球下降制导控制程序的形式验证着陆器}，booktitle={{FM}2014:正式方法-第19届国际研讨会，新加坡，2014年5月12日至16日。诉讼}，series={计算机科学讲稿}，体积={8442}，页数={733--748}，publisher={Springer}，年份={2014}，url={https://doi.org/10.1007/978-3-319-06410-9\_49},doi={10.1007/978-3-319-06410-9\_49}，timestamp={2022年11月15日星期二00:00:00+0100}，biburl={https://dblp.org/rec/conf/fm/ZhaoYZGZC14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/0009ZZZ14，author={Jiang Liu和Naijun Zhan和赵恒军和梁邹}，title={通过变量变换抽象基本混合系统}，日志={CoRR}，体积={abs/1403.7022}，年份={2014}，url={http://arxiv.org/abs/1403.7022},eprinttype={arXiv}，eprint={1403.7022}，时间戳＝｛2018年8月13日星期一01:00:00+0200｝，biburl={https://dblp.org/rec/journals/corr/0009ZZZ14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/pr/ZhaoSTF13，author={赵恒军和尚兆伟和袁炎棠和彬芳}，title={基于邻域距离的多聚焦图像融合}，日志={模式识别}，体积={46}，数字={3}，页数={1002--1011}，年份={2013}，url={https://doi.org/10.1016/j.patcog.2012.09.012},doi={10.1016/J.PATCOG.2012.09.012}，timestamp={2020年2月24日星期一00:00:00+0100}，biburl={https://dblp.org/rec/journals/pr/ZhaoSTF13.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/生日/KapurZHZLN13，author={Deepak Kapur和Zhihai Zhang和马提亚斯·霍巴赫和赵恒军和齐鲁和ThanhVu Nguyen}，editor={Maria Paola Bonacina和Mark E.Stickel}，title={自动生成的几何量词消除启发式八角和Max-plus不变量}，booktitle={自动推理和数学-纪念威廉的论文W.McCune}，series={计算机科学讲稿}，体积={7788}，页数={189--228}，publisher={Springer}，年份={2013}，url={https://doi.org/10.1007/978-3-642-36675-8\_11},doi={10.1007/978-3-642-36675-8\_11}，timestamp={2019年5月14日星期二10:00:52+0200}，biburl={https://dblp.org/rec/conf/birthday/KapurZHZLN13.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/生日/ZhaoZK13，作者={赵恒均和Naijun Zhan和迪帕克·卡普尔}，编辑＝{刘志明和吉姆·伍德科克和朱慧彪}，title={通过生成综合混合系统的开关控制器不变量}，booktitle={程序设计理论和形式化方法——献给吉峰的论文他在70岁生日之际，series={计算机科学讲稿}，体积={8051}，页数={354--373}，publisher={Springer}，年份={2013}，url={https://doi.org/10.1007/978-3642-39698-4\_22},doi={10.1007/978-3-642-39698-4\_22}，时间戳={2023年2月17日星期五09:02:00+0100}，biburl={https://dblp.org/rec/conf/birthday/ZhaoZK13.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/icip/ZhaoFT13，author={赵恒军和Bin Fang和袁燕堂}，title={基于期望的无参考图像清晰度估计小波变换系数}，booktitle={{IEEE}国际图像处理会议，{ICIP}2013，澳大利亚墨尔本，2013年9月15日至18日}，页数={374--378}，publisher={{IEEE}}，年份={2013}，url={https://doi.org/10.109/ICIP.2013.6738077},doi={10.1109/ICIP.2013.6738077}，timestamp={2019年10月16日星期三14:14:52+0200}，biburl={https://dblp.org/rec/conf/icip/ZhaoFT13.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ictac/ZhanWZ13，author={Naijun Zhan和Shuling Wang和赵恒军}，编辑＝{刘志明和吉姆·伍德科克和朱慧标}，title={混合系统的形式化建模、分析和验证}，booktitle={统一编程理论和形式工程方法-国际软件工程培训学校在｛ICTAC｝举行2013年8月26日至30日，中国上海，高级讲座}，series={计算机科学讲稿}，体积={8050}，页数={207--281}，publisher={Springer}，年份={2013}，url={https://doi.org/10.1007/978-3-642-39721-9\_5},doi={10.1007/978-3-642-39721-9\5}，timestamp={2023年2月17日星期五09:02:01+0100}，biburl={https://dblp.org/rec/conf/ictac/ZhanWZ13.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-1304-0825，author={Deepak Kapur和Naijun Zhan和赵恒军}，title={用连续法综合混合系统的开关控制器不变量生成}，日志={CoRR}，体积={abs/1304.0825}，年份={2013}，url={http://arxiv.org/abs/1304.0825},eprinttype={arXiv}，eprint={1304.0825}，timestamp={2018年8月13日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-1304-0825.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/ijwmip/ShangZZ12，author={尚兆伟和张凌峰和赵恒军和张澜}，title={基于多向支持值变换的图像融合方法}，journal={国际J.小波多分辨率信息处理}，体积={10}，数字={5}，年份＝{2012}，url={https://doi.org/10.1142/S021969131250049X},doi＝{10.1142/S02196931250049X}，timestamp={2020年8月12日星期三01:00:00+0200}，biburl={https://dblp.org/rec/journals/ijwmip/ShangZZ12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jam/WangZ12c，author={Yin{-}夏Wang和赵恒军}，title={光滑解的对数改进爆破准则三维微极流体方程}，日志={J.应用数学}，卷={2012}，页码={541203:1--541203:13}，年份={2012}，url={https://doi.org/10.1155/2012/541203},doi={10.1155/2012/541203}，timestamp={2020年7月16日星期四01:00:00+0200}，biburl={https://dblp.org/rec/journals/jam/WangZ12c.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/mics/LiuZZ12，author={Jiang Liu和Naijun Zhan和赵恒军}，title={多项式松弛Lyapunov函数的自动发现动力系统}，journal={Math.Comput.Sci.}，体积={6}，数字={4}，页数={395--408}，年份={2012}，url={https://doi.org/10.1007/s11786-012-0133-6},doi={10.1007/S11786-012-0133-6}，timestamp={2020年8月12日星期三01:00:00+0200}，biburl={https://dblp.org/rec/journals/mics/LiuZZ12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/cso/NiuZ12，author={牛燕霞和赵恒军}，editor={郝燕玲和李煜}，title={全局连续优化问题的广义填充函数}，booktitle={第五届国际计算科学和优化，{CSO}2012，中国黑龙江省哈尔滨市，6月23-26日，2012},页码＝{362-366}，publisher={{IEEE}计算机协会}，年份={2012}，url={https://doi.org/10.1109/COS.2012.87},doi={10.1109/CSO.2012.87}，timestamp={2023年3月23日星期四00:00:00+0100}，biburl={https://dblp.org/rec/conf/cso/NiuZ12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/fm/ZhaoZKL12，author={赵恒军和Naijun Zhan和Deepak Kapur和Kim G.Larsen}，editor={Dimitra Giannakopoulou和多米尼克·M，title={一种综合最优控制器的“混合”方法混合动力系统：{A}油泵工业实例案例研究}，booktitle={{FM}2012:形式方法-第18届国际研讨会，法国巴黎，2012年8月27日至31日。诉讼}，series={计算机科学讲稿}，体积={7436}，页数={471--485}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32759-9\_38},doi={10.1007/978-3-642-32759-9\_38}，timestamp={2024年5月7日星期二01:00:00+0200}，biburl={https://dblp.org/rec/conf/fm/ZhaoZKL12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/icip/YangFTSZ12，author={Weibin Yang和Bin Fang和袁延堂和尚兆伟和赵恒军}，title={使用支持值变换进行视觉显著性估计}，booktitle={19{IEEE}国际图像处理会议，{ICIP}2012，2012年9月30日至10月3日，美国佛罗里达州奥兰多市布埃纳维斯塔湖}，页面＝{1069-1072}，publisher={{IEEE}}，年份＝{2012}，url={https://doi.org/10.1109/ICIP.2012.6467048},doi={10.1109/ICIP.2012.6467048}，时间戳＝｛2019年10月16日星期三14:52+0200｝，biburl={https://dblp.org/rec/conf/icip/YangFTSZ12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-1203-6025，author={赵恒军和Naijun Zhan和Deepak Kapur和Kim G.Larsen}，title={一种综合最优控制器的“混合”方法混合动力系统：{A}油泵工业实例案例研究}，日志={CoRR}，体积={abs/1203.6025}，年份={2012}，url={http://arxiv.org/abs/203.6025},eprinttype={arXiv}，eprint={1203.6025}，timestamp={2018年8月13日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-1203-6025.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/emsoft/LiuZZ11，author={Jiang Liu和Naijun Zhan和赵恒军}，editor={Samarjit Chakraborty和Ahmed Jerraya和Sanjoy K.Baruah和塞巴斯蒂安·费奇梅斯特}，title={计算多项式动力系统的半代数不变量}，booktitle={第十一届嵌入式软件国际会议论文集，{EMSOFT}2011，第七届嵌入式系统周，ESWeek 2011，台湾台北，2011年10月9日至14日}，页数={97--106}，publisher={{ACM}}，年份={2011}，url={https://doi.org/10.1145/2038642.2038659},doi={10.1145/2038642.2038659}，时间戳＝{2018年11月6日星期二00:00:00+0100}，biburl={https://dblp.org/rec/conf/emsoft/LiuZZ11.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-1102-0705，author={Jiang Liu和Naijun Zhan和赵恒军}，title＝｛多项式微分不变量生成的一种完整方法对于混合系统}，日志={CoRR}，体积={abs/1102.0705}，年份={2011}，url={http://arxiv.org/abs/102.0705},eprinttype={arXiv}，eprint={1102.0705}，timestamp={2018年8月13日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-1102-0705.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-1103-3372，author={Jiang Liu和Naijun Zhan和赵恒军}，title={多项式松弛Lyapunov函数的自动发现动力系统}，日志={CoRR}，体积={abs/1103.3372}，年份={2011}，url={http://arxiv.org/abs/103.3372},eprinttype={arXiv}，eprint={1103.3372}，timestamp={2018年8月13日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-1103-3372.2bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/aplas/LiuLQZZZ10，author={Jiang Liu和吕继东和赵全和Naijun Zhan和赵恒军和周朝晨和梁邹}，editor={Kazunori Ueda}，title={混合{CSP}}的微积分，booktitle＝{编程语言与系统-第八届亚洲研讨会，{APLAS}2010，2010年11月28日至12月1日，中国上海。诉讼程序}，series={计算机科学讲稿}，体积={6461}，页数＝{1-15}，publisher={Springer}，年份={2010}，url={https://doi.org/10.1007/978-3-642-17164-2\_1},doi={10.1007/978-3-642-17164-2\_1}，timestamp={2019年5月14日星期二10:00:41+0200}，biburl={https://dblp.org/rec/conf/aplas/LiuLQZZZ10.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/wkdd/ZhaoH09，author={赵恒军和长征河}，title={基于价值的客户细分方法中的目标聚类分析}，booktitle={第二届知识发现国际研讨会论文集和数据挖掘，{WKDD}2009，俄罗斯莫斯科，2009年1月23日至25日}，页数={484--487}，publisher={{IEEE}计算机协会}，年份={2009}，url={https://doi.org/10.109/WKDD.2009.161},doi={10.1109/WKDD.2009.161}，timestamp={2023年3月23日星期四00:00:00+0100}，biburl={https://dblp.org/rec/conf/wkdd/ZhaoH09.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
