托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 从模型检查到模型测量。 (英语) 兹比尔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 1186.68306号 Inf.流程。莱特。 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.普拉布。 在计时游戏中,用无限的内存换取均匀的随机性。 (英语) 兹比尔1143.68479 Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿498187-100(2008)。MSC公司:68问题85 65年第68季度 91A80型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。4981,87-100(2008年;Zbl 1143.68479) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 战略逻辑。 (英语) Zbl 1151.03327号 Caires,Luís(编辑)等人,CONCUR 2007–并发理论。第18届国际会议,2007年CONCUR,葡萄牙里斯本,2007年9月3-8日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74406-1/pbk)。计算机科学课堂讲稿4703,59-73(2007)。MSC公司:03B70号 05年3月 65年第68季度 68问题85 91A05型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。4703、59--73(2007年;Zbl 1151.03327) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。 随机拉宾和斯特雷特博弈的策略改进。 (英语) Zbl 1151.68474号 Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(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)。;鲁帕克·马朱姆达尔;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)。;鲁帕克·马朱姆达尔;玛丽·斯托琳加 计时游戏中的惊喜元素。 (英语) 兹比尔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)。;鲁帕克·马朱姆达尔 矩形混合系统的符号模型检查。 (英语) 兹伯利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)。;奥尔纳·库普弗曼;莫舍·瓦尔迪。 一种用于实时模型检查的空效实时算法。 (英语) 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。注释计算。科学。1119514-529(1996年;Zbl 1514.68168) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;彼得·科普克(Peter W.Kopke)。;Howard Wong-Toi,霍华德 时钟的表现力。 (英语) Zbl 1412.68131号 Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,匈牙利塞格德,第22届国际学术讨论会,ICALP’95。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。944, 417-428 (1995).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。944417-428(1995年;Zbl 1412.68131) 全文: 内政部