塞尔吉奥·莫弗；亚历山德罗·西马蒂；阿尔贝托·格里乔；艾哈迈德·伊尔凡；斯特凡诺·托内塔 多项式动力系统的隐式半代数抽象。 （英语） 兹比尔1493.68217 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 529-551 (2021).MSC公司：60年第68季度 03B70号 34A34飞机 PDF格式BibTeX公司 XML格式引用 \textit{S.Mover}等人，Lect。注释计算。科学。12759529--551（2021；Zbl 1493.68217） 全文： 内政部
尼克拉斯·克鲁夫；克里斯托夫·吕德斯；奥维迪乌·拉杜列斯库；托马斯·斯特姆；塞巴斯蒂安·沃尔彻 多时间尺度生物网络的算法约简。 （英语） Zbl 1484.13058号 数学。计算。科学。 第3期第15页，第499-534页（2021）. 审核人：哈米德·拉科伊（萨尔布吕肯） MSC公司：13页第10页 68瓦30 34E15号机组 第37页第10页 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kruff}等人，数学。计算。科学。15，编号3，499–534（2021；兹bl 1484.13058） 全文： 内政部 arXiv公司
马西莫·贝内雷切蒂；马可·费拉 跟踪多面体边界上的可微分轨迹。 （英语） Zbl 1361.68115号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。193-202 (2013).MSC公司：65年第68季度 34A38型 34A60型 60年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}和\textit{M.Faella}，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。193-202（2013；Zbl 1361.68115） 全文： 内政部
马蒂亚斯·阿尔霍夫 使用保守多项式和非凸集对非线性系统进行可达性分析。 （英语） 兹比尔1362.93011 第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8日至11日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。173-182 (2013).MSC公司：93个B03 34A38型 34A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Althoff}，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，费城，宾夕法尼亚州，美国，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。173-182（2013；Zbl 1362.93011） 全文： 内政部 链接
蒂莫西·布鲁克；马克·普泽特 Zélus：与ODE同步的语言。 （英语） Zbl 1361.68026号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。113-118 (2013).MSC公司：68甲15 34A38型 65C20个 65年第68季度 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Bourke}和\textit{M.Pouzet}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。113-118（2013；Zbl 1361.68026） 全文： 内政部
希思·J·勒布朗。；Koutsoukos，Xenofon D。 鲁棒网络化多智能体系统中的弹性同步。 （英语） Zbl 1361.68278号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。21-30 (2013).MSC公司：68T42型 34D06型 93甲14 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.J.LeBlanc}和\textit{X.D.Koutsoukos}，摘自：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8日至11日。纽约州纽约市：计算机协会（ACM）。21-30（2013年；Zbl 1361.68278） 全文： 内政部