安德烈亚斯·艾格斯;纳西·拉姆达尼;内迪亚科夫;马丁·范策尔 通过组合不同的封闭方法改进SAT模ODE以用于混合系统分析。 （英文） Zbl 1350.68231号 Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。《计算机科学讲义》7041、172-187（2011）。MSC公司：68吨15 34-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。7041172--187（2011年；Zbl 1350.68231） 全文： 内政部
安德烈亚斯·艾格斯;叶夫根·克鲁格洛夫;斯特凡·库普弗施米德;卡斯滕·谢布勒;蒂诺·特伊格;克里斯托夫·韦登巴赫 叠加模非线性算法。 （英文） Zbl 1348.68218号 Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，119-134（2011）。MSC公司：68吨15 03B62号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。6989、119--134（2011；Zbl 1348.68218） 全文： 内政部
蒂诺·特伊格;安德烈亚斯·艾格斯;马丁·范策尔 并发概率混合系统的基于约束的分析：网络自动化系统的应用。 （英文） Zbl 1225.93102号 非线性分析。，混合系统。 5，第2期，343-366（2011）.MSC公司：93E03型 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}等人，《非线性分析》。，混合系统。5，第2号，343--366（2011；Zbl 1225.93102） 全文： 内政部
马丁·范策尔;蒂诺·特伊格;安德烈亚斯·艾格斯 概率混合自动机自动分析的工程约束求解器。 （英文） Zbl 1205.68252号 J.日志。阿尔盖布。程序。 79，第7期，436-466（2010）.MSC公司：87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Fränzle}等人，J.Log。阿尔盖布。程序。79，编号7，436--466（2010；Zbl 1205.68252） 全文： 内政部
安德烈亚斯·艾格斯;纳塔利亚·卡林尼克;Stefan Kupferschmid;蒂诺·特伊格 混合系统基于约束分析的挑战。 （英文） Zbl 1248.68328号 Oddi，Angelo（编辑）等人，约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2008，罗马，意大利，2008年6月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03250-9/pbk）。计算机科学讲座笔记5655。人工智能课堂讲稿，51-65（2009）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。5655、51-65（2009年；Zbl 1248.68328） 全文： 内政部
安德烈亚斯·艾格斯;马丁·范策尔;克里斯蒂安·赫尔德 SAT模ODE：混合系统的直接SAT方法。 （英文） Zbl 1183.68369号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，亚洲电视协会，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311171-185（2008）。MSC公司：60年第68季度 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。5311、171--185（2008年；Zbl 1183.68369） 全文： 内政部