薛、白；王秋叶；詹乃军；马丁·范策尔 状态约束摄动多项式系统的鲁棒不变集生成。 （英语） Zbl 07120148号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。128-137 (2019).MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人，in：《第22届ACM混合系统国际会议论文集：计算与控制》，2019年HSCC，加拿大魁北克省蒙特利尔，2019月16-18日。纽约州纽约市：计算机协会（ACM）。128-137（2019年；Zbl 07120148） 全文： 内政部
马丁·范策尔；保罗·克罗格 魔鬼、赌徒和工程师。协调混合系统理论与计量学。 （英语） Zbl 1518.68170号 Jones，Cliff（编辑）等人，实时和混合系统研讨会。在周朝晨教授80岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11180, 165-185 (2018).MSC公司：65年第68季度 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}和\textit{P.Kröger}，Lect。注释计算。科学。11180165-185（2018年；兹比尔1518.68170） 全文： 内政部
马丁·范策尔；塞巴斯蒂安·格温；保罗·克罗格；亚历山德罗·阿巴特；Joost-Pieter卡托恩 概率混合系统中的多目标参数综合。 （英语） Zbl 1465.68177号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268，93-107（2015年）。MSC公司：60年第68季度 65年第68季度 87年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。9268、93-107（2015年；Zbl 1465.68177） 全文： 内政部
马丁·范策尔（编辑）；安东尼奥斯·索尔多斯（编辑） 2013年6月6日，德国萨尔布吕肯，第一届混合自动系统研讨会论文集。 （英语） Zbl 1310.68009号 理论计算机科学电子笔记297.阿姆斯特丹：爱思唯尔。88页。，仅电子版（2013年）。MSC公司：68-06 93-06 65年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}（编辑）和\textit{A.Tsordos}（编），混合自治系统第一次研讨会论文集，德国萨尔布吕肯，2013年6月6日。阿姆斯特丹：爱思唯尔（2013；Zbl 1310.68009） 全文： 链接
马丁·范策尔；恩斯特·莫里茨·哈恩；霍尔格·赫尔曼斯；尼科拉斯·沃尔维克；张丽君 随机混合系统的可测性和安全性验证。 （英语） Zbl 1362.68170号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。43-52 (2011).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。43-52（2011年；Zbl 1362.68170） 全文： 内政部
贾·戴维德·奎塞尔；马丁·范策尔；达姆，沃纳 跨越类似游戏之间的桥梁。 （英语） Zbl 1348.68147号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，160-176（2011）。MSC公司：60年第68季度 65年第68季度 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.-D.Quesel}等人，Lect。注释计算。科学。6919、160--176（2011年；Zbl 1348.68147） 全文： 内政部
马丁·范策尔；蒂诺·特伊格；安德烈亚斯·艾格斯 概率混合自动机自动分析的工程约束求解器。 （英语） Zbl 1205.68252号 J.日志。阿尔盖布。程序。 79，第7期，436-466（2010）.MSC公司：87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，J.Log。阿尔盖布。程序。79，编号7，436--466（2010；Zbl 1205.68252） 全文： 内政部
马丁·范策尔；霍尔格·赫尔曼斯；蒂诺·特伊格 随机可满足性模理论：概率混合系统分析的新技术。 （英语） 兹比尔1143.68452 Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981172-186（2008）。MSC公司：60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。4981、172--186（2008年；Zbl 1143.68452） 全文： 内政部
马丁·范策尔 多项式混合自动机的最终结果是什么？ （英语） Zbl 1087.68571号 Kobayashi，Naoki（编辑）等人，《计算机软件的理论方面》。2001年10月29日至31日，第四届国际研讨会，TACS 2001，日本仙台。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42736-8/pbk）。《计算机科学讲义》2215、340-359（2001）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛M.Fränzle｝，Lect。注释计算。科学。2215、340-359（2001年；Zbl 1087.68571） 全文： 链接
马丁·范策尔 混合系统分析：一盎司现实主义可以拯救无限状态。 （英语） Zbl 0944.68119号 Flum，Jörg（编辑）等人，《计算机科学逻辑》。第十三届国际研讨会，CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1683, 126-140 (1999).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛M.Fränzle｝，Lect。注释计算。科学。1683126-140（1999年；Zbl 0944.68119）