米里亚姆·加西亚·索托;托马斯·亨辛格（Thomas A.Henzinger）。;克里斯蒂安·席林 从时间序列合成参数混合自动机。 （英文） Zbl 1522.68318号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 337-353 (2022).MSC公司：60年第68季度 65年第68季度 93亿B50 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛M.García Soto｝等人，Lect。注释计算。科学。13505337--353（2022年；Zbl 1522.68318） 全文： 内政部 arXiv公司
米丽亚姆·加西亚·索托;托马斯·亨辛格（Thomas A.Henzinger）。;克里斯蒂安·席林 从时间序列数据合成仿射动力学混合自动机。 （英文） Zbl 07807675号 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2021年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Soto}等人，in：第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2021；Zbl 07807675） 全文： 内政部 arXiv公司
米里亚姆·加西亚·索托;托马斯·亨辛格（Thomas A.Henzinger）。;克里斯蒂安·席林;卢卡·泽勒兹尼克 基于成员关系的线性混合自动机综合。 （英文） 兹伯利07805538 Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 297-314 (2019).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.García Soto｝等人，Lect。注释计算。科学。11561，297--314（2019；Zbl 07805538） 全文： 内政部
戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。 时空插值。 （英文） Zbl 1511.68155号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 468-486 (2018).MSC公司：60年第68季度 65年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit｛G.Frehse｝等人，Lect。注释计算。科学。10981468--486（2018年；Zbl 1511.68155） 全文： 内政部
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 嵌套加权自动机。 （英文） Zbl 1407.68248号 ACM事务处理。计算。日志。 18，第4号，第31条，第44页（2017）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《美国医学杂志》。计算。日志。18，第4号，第31条，第44页（2017；Zbl 1407.68248） 全文： 内政部 链接
托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 离散和混合系统的模型测量。 （英文） Zbl 1401.68198号 非线性分析。，混合系统。 23, 166-190 (2017).MSC公司：60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{J.Otop}，非线性分析。，混合系统。23、166--190（2017；Zbl 1401.68198） 全文： 内政部
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 定量监控自动机。 （英文） Zbl 1394.68207号 对手，Xavier（编辑），静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-53412-0/pbk；978-3-562-53413-7/电子书）。计算机科学讲座笔记9837，23-38（2016）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，Lect。注释计算。科学。9837，23-38（2016；Zbl 1394.68207） 全文： 内政部
斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格（Thomas A.Henzinger）。;泰勒·T·约翰逊。;普拉卡什，普拉迪约特 非线性系统分析的可伸缩静态杂交方法。 （英文） Zbl 1364.68243号 第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。155-164 (2016).MSC公司：65年第68季度 34A38型 60年第68季度 68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人，in：第19届ACM混合系统国际会议论文集：计算与控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。155-164（2016年；Zbl 1364.68243） 全文： 内政部
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 嵌套加权自动机。 （英文） Zbl 1401.68154号 2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。725-737 (2015).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，in：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。725-737（2015年；兹比尔1401.68154） 全文： 内政部 arXiv公司
托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 混合系统的模型测量。 （英文） 兹比尔1362.68173 第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-2732-9）。213-222 (2014).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{J.Otop}，摘自：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。213--222（2014；Zbl 1362.68173） 全文： 内政部
乌迪·博克;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼 具有累计值的时间规格。 （英文） Zbl 1354.68169号 ACM事务处理。计算。日志。 第15号第4条第27条第25页（2014年）.MSC公司：60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}等人，ACM Trans。计算。日志。15，第4号，第27条，第25页（2014；Zbl 1354.68169） 全文： 内政部
乌迪·博克;托马斯·亨辛格（Thomas A.Henzinger）。 折扣和自动机的精确和近似确定。 （英文） Zbl 1325.68126号 日志。方法计算。科学。 10，第1号，第10号论文，33页（2014年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛U.Boker｝和\textit｛T.A.Henzinger｝，日志。方法计算。科学。10，第1号，第10号论文，33页（2014；Zbl 1325.68126） 全文： 内政部 arXiv公司
托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 从模型检查到模型测量。 （英文） Zbl 1390.68428号 D'Argenio，Pedro R.（编辑）等，CONCUR 2013–并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。计算机科学课堂讲稿8052，273-287（2013）。MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{J.Otop}，莱克特。注释计算。科学。8052，273--287（2013；Zbl 1390.68428） 全文： 内政部 链接
乔恩，帕沃;马丁·奇梅利克;托马斯·亨辛格（Thomas A.Henzinger）。;阿琼·拉德哈克利什纳 接口模拟距离。 （英文） Zbl 1459.68097号 Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，29-42（2012）。MSC公司：65年第68季度 60年第68季度 91A80 PDF格式BibTeX公司 XML格式引用 \textit｛P.Černý｝等人，电子。程序。西奥。计算。科学。（EPTCS）96，29-42（2012；Zbl 1459.68097） 全文： 链接
乌迪·博克;托马斯·亨辛格（Thomas A.Henzinger）。 确定折扣和自动机。 （英文） Zbl 1247.68128号 Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，82-96，仅电子版（2011年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}和\textit{T.A.Henzinger}，LIPIcs——莱布尼茨国际程序。通知。12、82-96（2011；Zbl 1247.68128） 全文： 内政部 链接
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 定量语言。 （英文） Zbl 1351.68155号 ACM事务处理。计算。日志。 11，第4号，第23条，第38页（2010年）.MSC公司：60年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《美国医学杂志》。计算。日志。11，第4号，第23条，第38页（2010年；Zbl 1351.68155） 全文： 内政部
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 定量语言的表达性和闭包属性。 （英文） Zbl 1200.68135号 日志。方法计算。科学。 6，第3号，第10号论文，23页（2010年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，日志。方法计算。科学。6，第3号，第10号论文，23页（2010；Zbl 1200.68135） 全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;霍恩，弗洛里安 目标有限的随机博弈。 （英文） Zbl 1250.68185号 Královič，Rastislav（编辑）等人，2009年计算机科学数学基础。2009年8月24-28日，斯洛伐克High Tatras，Novy Smokovec，第34届国际研讨会，MFCS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03815-0/pbk）。计算机科学课堂讲稿5734，34-54（2009）。MSC公司：60年第68季度 65年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，Lect。注释计算。科学。5734、34-54（2009年；Zbl 1250.68185） 全文： 内政部
罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼 通过量化目标提高合成质量。 （英文） Zbl 1242.68151号 Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。第21届国际会议，CAV 2009，法国格勒诺布尔，2009年6月26日-7月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。计算机科学讲座笔记5643140-156（2009）。MSC公司：60年第68季度 65年第68季度 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Lect。注释计算。科学。5643、140-156（2009年；Zbl 1242.68151） 全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。 将随机奇偶性简化为随机平均对赌游戏。 （英文） Zbl 1186.68306号 信息处理。莱特。 106，第1号，1-7（2008）.MSC公司：第68季度第65季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{T.A.Henzinger}，Inf.Process。莱特。106，编号1，1--7（2008；Zbl 1186.68306） 全文： 内政部
托马斯·布里海耶;托马斯·亨辛格（Thomas A.Henzinger）。;Vinayak S.普拉布。;Jean-François拉斯金 限时游戏中的最短时间可达性。 （英文） Zbl 1171.68526号 Arge，Lars（编辑）等人，《自动化，语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会，ICALP 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73419-2/pbk）。计算机科学课堂讲稿4596825-837（2007）。MSC公司：65年第68季度 60年第68季度 91A80 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，Lect。注释计算。科学。4596、825--837（2007年；Zbl 1171.68526） 全文： 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。 数量并发奇偶博弈的复杂性。 （英文） Zbl 1192.68430号 第十七届ACM-SIAM离散算法年会论文集，佛罗里达州迈阿密，2006年1月22日至24日。纽约州纽约市：计算机机械协会（ACM）；宾夕法尼亚州费城：工业和应用数学学会（SIAM）（ISBN 0-89871-605-5）。678-687 (2006).MSC公司：60年第68季度 05年3月 65年第68季度 91A05型 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，in：第十七届ACM-SIAM离散算法年度研讨会论文集，SODA 2006，佛罗里达州迈阿密，2006年1月22日至24日。纽约州纽约市：计算机机械协会（ACM）；宾夕法尼亚州费城：工业和应用数学学会（SIAM）。678——687（2006年；兹bl 1192.68430） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;尼尔·皮特曼 不确定地解决游戏。 （英文） Zbl 1225.68118号 埃西克，佐尔坦（编辑），《计算机科学逻辑》。2006年9月25日至29日在匈牙利塞格德举行的第20届CSL国际研讨会，第15届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45458-8/pbk）。计算机科学课堂讲稿4207395-410（2006）。MSC公司：60年第68季度 05年3月 91A05型 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{N.Piterman}，莱克特。注释计算。科学。4207395-410（2006年；Zbl 1225.68118） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;Vinayak S.普拉布。 定时交替时间时序逻辑。 （英文） Zbl 1142.68049号 Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，巴黎，法国，2006年9月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学讲义4202，1-17（2006）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{V.S.Prabhu}，莱克特。注释计算。科学。4202年1月17日（2006年；Zbl 1142.68049） 全文： 内政部
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。 随机拉宾和斯特雷特博弈的策略改进。 （英文） Zbl 1151.68474号 Baier，Christel（编辑）等人，CONCUR 2006–并发理论。2006年8月27日至30日，德国波恩，2006年第17届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲义4137，375-389（2006）。MSC公司：60年第68季度 65年第68季度 68问题85 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{T.A.Henzinger}，莱克特。注释计算。科学。41375--389（2006年；Zbl 1151.68474） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;鲁帕克·马朱姆达尔 关于（mu）-演算的普遍片段和存在片段。 （英文） Zbl 1088.68106号 西奥。计算。科学。 354，第2期，173-186（2006）.MSC公司：60年第68季度 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人，Theor。计算。科学。354，编号2，173--186（2006；Zbl 1088.68106） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;鲁帕克·马朱姆达尔;Jean-François拉斯金 符号转换系统的分类。 （英文） Zbl 1367.68193号 ACM事务处理。计算。日志。 6，第1期，1-32页（2005年）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人，ACM Trans。计算。日志。6，第1号，1--32（2005；Zbl 1367.68193） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;鲁帕克·马朱姆达尔;Vinayak S.普拉布。 量化定时系统之间的相似性。 （英文） Zbl 1175.68281号 Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829226-241（2005）。MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人，Lect。注释计算。科学。3829、226--241（2005；Zbl 1175.68281） 全文： 内政部
劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;Jean-François拉斯金 仿射混合系统的自动矩形精化。 （英文） Zbl 1175.68243号 Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三次国际会议，FORMATS 2005，瑞典乌普萨拉，2005年9月26日至28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829144-161（2005）。MSC公司：65年第68季度 60年第68季度 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人，Lect。注释计算。科学。3829144-161（2005；Zbl 1175.68243） 全文： 内政部
卢卡·德·阿尔法罗;马可·费拉;托马斯·亨辛格（Thomas A.Henzinger）。;鲁帕克·马朱姆达尔;马里耶·斯托林加 计时游戏中的惊喜元素。 （英文） Zbl 1262.68141号 Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761, 144-158 (2003).MSC公司：68问题85 65年第68季度 60年第68季度 91A05型 91A80 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}等人，Lect。注释计算。科学。2761144-158（2003年；Zbl 1262.68141） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;鲁帕克·马朱姆达尔 矩形混合系统的符号模型检查。 （英文） Zbl 0960.68117号 Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1785, 142-156 (2000).MSC公司：68问题85 65年第68季度 60年第68季度 93B99号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{R.Majumdar}，莱克特。注释计算。科学。1785年、142年至156年（2000年；Zbl 0960.68117）
托马斯·亨辛格（Thomas A.Henzinger）。;彼得·科普克（Peter W.Kopke）。 矩形混合自动机的离散时间控制。 （英文） Zbl 0930.68086号 西奥。计算。科学。 221，第1-2号，369-392（1999）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{P.W.Kopke}，Theor。计算。科学。221，编号1--2，369--392（1999；Zbl 0930.68086） 全文： 内政部
拉杰夫·阿鲁尔;菲克斯，利莫;托马斯·亨辛格（Thomas A.Henzinger）。 事件锁自动机：时间自动机的一个可确定类。 （英文） Zbl 0912.68132号 西奥。计算。科学。 211，编号1-2，253-273（1999）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Theor。计算。科学。211，编号1--2，253--273（1999；Zbl 0912.68132） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;何佩欣;Howard Wong-Toi，霍华德 HyTech：混合系统的模型检查器。 （英文） Zbl 1060.68603号 国际期刊软件。技术工具。Transf公司。第1卷，第1-2期，第110-122页（1997年）。MSC公司：65年第68季度 60年第68季度 93A30型 PDF格式BibTeX公司 XML格式 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;彼得·科普克。 矩形混合自动机的状态等价性。 （英文） Zbl 1514.68101号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 530-545 (1996).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{P.W.Kopke}，莱克特。注释计算。科学。1119、530--545（1996年；Zbl 1514.68101） 全文： 内政部 链接
托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;莫舍·瓦尔迪。 一种用于实时模型检查的空效实时算法。 （英文） Zbl 1514.68168号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 514-529 (1996).MSC公司：68问题85 03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人，Lect。注释计算。科学。11191514-529（1996年；兹bl 1514.68168） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。 具有有限互模拟的混合自动机。 （英文） Zbl 1412.68130号 Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 324-335 (1995).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}，莱克特。注释计算。科学。944324-335（1995年；Zbl 1412.68130） 全文： 内政部
拉杰夫·阿鲁尔;托马斯·亨辛格（Thomas A.Henzinger）。;莫舍·瓦尔迪。 参数化实时推理。 （英文） Zbl 1310.68139号 第25届ACM计算理论年会论文集，STOC'93。1993年5月16日至18日，美国加利福尼亚州圣地亚哥。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-591-7）。592-601 (1993).MSC公司：60年第68季度 65年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《第25届ACM计算理论研讨会论文集》，STOC'93。1993年5月16日至18日，美国加利福尼亚州圣地亚哥。纽约州纽约市：计算机协会（ACM）。592--601（1993；Zbl 1310.68139） 全文： 内政部 链接