Tan，Yong Kiam先生；安德烈·普拉泽 微分方程存在性和活性的公理方法。 （英语） Zbl 1519.68141号 正式Asp。计算。 33，编号4-5，461-518（2021）.MSC公司：60年第68季度 03B70号 34甲12 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}和\textit{A.Platzer}，正式Asp。计算。33，编号4--5，461--518（2021；Zbl 1519.68141） 全文： 内政部 arXiv公司
安德烈·桑德勒；奥尔加·特维雷蒂纳 ParaPlan：平面多边形微分包含系统的并行可达性分析工具。 （英语） Zbl 1483.68205号 Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256283-296（2017）。MSC公司：60年第68季度 34A60型 68单位05 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Sandler}和\textit{O.Tveretina}，电子。程序。西奥。计算。科学。（EPTCS）256283--296（2017；Zbl 1483.68205） 全文： arXiv公司 链接
桑卡拉纳拉亚南，斯里拉姆 非线性混合系统的变基抽象。 （英语） Zbl 1329.93046号 非线性分析。，混合系统。 19, 107-133 (2016).MSC公司：93B17号机组 93立方厘米 93二氧化碳 34A26型 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}，非线性分析。，混合系统。19、107——133（2016年；Zbl 1329.93046） 全文： 内政部 arXiv公司
桑卡拉纳拉亚南，斯里拉姆 利用理想不动点自动生成混合系统的不变量。 （英语） Zbl 1360.34082号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。221-230 (2010).MSC公司：34立方厘米 13N10型 34A38型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Sankaranarayanan｝，在：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。221--230（2010年；Zbl 1360.34082） 全文： 内政部
埃里克·D·B·温德尔。；亚伦·D·埃姆斯。 混合系统Poincaré映射的秩性质及其在两足步行中的应用。 （英语） Zbl 1360.37066号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。151-160 (2010).MSC公司：37C55美元 34A38型 70B15号机组 70K42型 PDF格式BibTeX公司 XML格式引用 \textit{E.D.B.Wendel}和\textit{A.D.Ames}，in：第13届ACM混合系统国际会议论文集：计算和控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。151-160（2010年；Zbl 1360.37066） 全文： 内政部
鹿岛，Kenji；川村康之；Jun-ichi Imura公司 线性耦合分段仿射系统的振动分析。 （英语） Zbl 1360.92047号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。121-130 (2010).MSC公司：92立方厘米 34A60型 34立方厘米 34D05型 35B05型 35立方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Kashima}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。121-130（2010年；Zbl 1360.92047） 全文： 内政部
丹尼尔·格拉萨（Daniel S.Graça）。；豪尔赫·布埃斯库；曼努埃尔·坎帕尼洛。 对于多项式常微分方程，定义域的有界性是不可判定的。 （英语） Zbl 1262.34010号 Dilhage，R.（ed.）等人，《第四届分析可计算性和复杂性国际会议论文集》（CCA 2007），意大利锡耶纳，2007年6月16日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记202，49-57（2008）。MSC公司：34甲12 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Graça}等人，《电子》。注释Theor。计算。科学。202、49-57（2008；Zbl 1262.34010） 全文： 内政部
戈登·佩斯。；杰拉尔多·施奈德 放松善良仍然是好的。 （英语） Zbl 1161.93316号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160274-289（2008）。MSC公司：93立方 34A60型 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{G.J.佩斯}和\textit{G.Schneider}，莱克特。注释计算。科学。5160274--289（2008年；Zbl 1161.93316） 全文： 内政部 链接
高凤音；钟寿明；高秀芝 一类具有离散和分布时滞的线性切换系统的时滞相关稳定性。 （英语） Zbl 1144.34050号 申请。数学。计算。 196，第1期，24-39（2008）. 审核人：Bernhard Lani Wayda（吉森） MSC公司：34K20码 PDF格式BibTeX公司 XML格式引用 \textit{F.Gao}等人，应用。数学。计算。196，编号1，24-39（2008；Zbl 1144.34050） 全文： 内政部
尤金·亚萨林；杰拉尔多·施奈德；塞尔吉奥·尤文 多边形混合系统的算法分析。一： 可达性。 （英语） Zbl 1121.68071号 西奥。计算。科学。 379，编号1-2，231-265（2007）.MSC公司：60年第68季度 34A60型 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人，Theor。计算。科学。379，编号1--2，231--265（2007；Zbl 1121.68071） 全文： 内政部