米里亚姆·加西亚·索托;托马斯·亨辛格(Thomas A.Henzinger)。;克里斯蒂安·席林 从时间序列合成参数混合自动机。 (英语) Zbl 1522.68318号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,2022年亚洲电视协会,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13505, 337-353 (2022).MSC公司:第68季度第60季度 第68季度第45季度 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季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Soto}等人,在:第24届ACM混合系统国际会议论文集:计算和控制,HSCC 2021,CPS物联网周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第2号论文,第11页(2021;Zbl 07807675) 全文: 内政部 arXiv公司
米拉德·阿加乔哈里;阿夫尼,盖伊;托马斯·亨辛格(Thomas A.Henzinger)。 离散投标无限长博弈中的确定性。 (英语) Zbl 1509.91007号 日志。计算方法。科学。 17,第1号,第10号论文,23页(2021年).MSC公司:91A43型 65年第68季度 91A50型 PDF格式BibTeX公司 XML格式引用 \textit{M.Aghajohari}等人,日志。计算方法。科学。17,第1号,第10号文件,第23页(2021;兹bl 1509.91007) 全文: arXiv公司 链接
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 概率语义下的定量自动机。 (英语) Zbl 1442.68086号 日志。计算方法。科学。 15,第3号,第16号论文,45页(2019年).MSC公司:65年第68季度 03B25号 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,日志。计算方法。科学。15,第3号,第16号论文,45页(2019年;Zbl 1442.68086) 全文: arXiv公司
戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。 时空插值。 (英语) Zbl 1511.68155号 Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第一部分:查姆:斯普林格公开赛。莱克特。注释计算。科学。10981, 468-486 (2018).MSC公司:第68季度第60季度 65年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{G.Frehse}等人,Lect。注释计算。科学。10981468--486(2018年;Zbl 1511.68155) 全文: 内政部
费雷尔,托马斯;托马斯·亨辛格(Thomas A.Henzinger)。;萨拉索,N.Ege 寄存器监视器理论。 (英语) 兹比尔1497.68261 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。394-403 (2018).MSC公司:65年第68季度 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ferrère}等人,in:2018年第33届ACM/IEEE计算机科学逻辑年会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。394--403(2018年;Zbl 1497.68261) 全文: 内政部
塞尔吉·博戈莫洛夫;戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。 模板多面体的反例引导细化。 (英语) Zbl 1452.68099号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 589-606 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,Lect。注释计算。科学。10205、589--606(2017;Zbl 1452.68099) 全文: 内政部 链接
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 双向嵌套加权自动机。 (英语) Zbl 1442.68087号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第5条,第16页(2017年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,LIPIcs——莱布尼茨国际程序。通知。85,第5条,第16页(2017年;Zbl 1442.68087) 全文: 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 嵌套加权自动机。 (英语) Zbl 1407.68248号 ACM事务处理。计算。日志。 第18条第4款第31条第44页(2017年).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《美国医学杂志》。计算。日志。18,第4号,第31条,第44页(2017;Zbl 1407.68248) 全文: 内政部 链接
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;拉斯穆斯·易卜森·延森;奥托普,简 编辑下推自动机的距离。 (英语) Zbl 1440.68152号 日志。计算方法。科学。 13,第3号,第23号论文,23页(2017年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,日志。计算方法。科学。13,第3号,第23号论文,23页(2017;Zbl 1440.68152) 全文: 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简;纱线维纳 定量公平模拟游戏。 (英语) Zbl 1370.68165号 Inf.计算。 254,第2部分,143-166(2017).MSC公司:65年第68季度 第68季度25 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《信息计算》。254,第2部分,143--166(2017;Zbl 1370.68165) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 离散和混合系统的模型测量。 (英语) Zbl 1401.68198号 非线性分析。,混合系统。 166-190年(2017年).MSC公司:第68季度第60季度 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季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。9837,23-38(2016;Zbl 1394.68207) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 概率语义下的定量自动机。 (英语) Zbl 1401.68155号 2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。76-85 (2016).MSC公司:65年第68季度 03B25号 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,摘自:2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集,2016年LICS,美国纽约市,2016年7月5-8日。纽约州纽约市:计算机协会(ACM)。76-85(2016;Zbl 1401.68155) 全文: 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 有界宽度的嵌套加权极限平均自动机。 (英语) Zbl 1398.68305号 Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-016-3)。LIPIcs–《莱布尼茨国际信息学论文集》58,第24条,第14页(2016)。MSC公司:65年第68季度 2017年第68季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,LIPIcs——莱布尼茨国际程序。通知。58,第24条,第14页(2016;Zbl 1398.68305) 全文: 内政部 arXiv公司
斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格(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公司:第68季度第45季度 第34页38 第68季度第60季度 68岁20岁 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)。;奥托普,简;萨曼塔(Samanta,Roopsha) 定时I/O系统的Lipschitz鲁棒性。 (英语) Zbl 1475.68154号 Jobstmann,Barbara(编辑)等人,《验证、模型检查和抽象解释》。2016年1月17日至19日,第17届国际会议,VMCAI 2016,美国佛罗里达州圣彼得堡。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9583, 250-267 (2016).MSC公司:65年第68季度 2006年第68季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。9583、250-267(2016年;Zbl 1475.68154) 全文: 内政部 arXiv公司
乌迪·博克;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 目标折扣额问题。 (英语) Zbl 1401.68149号 2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,2015年7月6日至10日,日本京都,LICS 2015。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4799-8875-4)。750-761(2015年)。MSC公司:第68季度第45季度 03B25号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}等人,2015年7月6日至10日,日本京都,2015年第30届ACM/IEEE计算机科学逻辑年度研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。750-761(2015;Zbl 1401.68149) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(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季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,in:2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,2015年LICS,日本京都,2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。725--737(2015;Zbl 1401.68154) 全文: 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;拉斯穆斯·易卜森·延森;奥托普,简 编辑下推自动机的距离。 (英语) Zbl 1440.68151号 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 121-133 (2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。9135121-133(2015;Zbl 1440.68151) 全文: 内政部 链接
托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 混合系统的模型测量。 (英语) Zbl 1362.68173号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。213-222 (2014).MSC公司:第68季度第60季度 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)。;奥托普,简;萨曼塔(Samanta,Roopsha) 有限状态传感器的Lipschitz鲁棒性。 (英语) 兹比尔1360.68559 Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29,431-443(2014)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,LIPIcs——莱布尼茨国际程序。通知。29、431--443(2014年;Zbl 1360.68559) 全文: 内政部 arXiv公司
乔恩,帕沃;马丁·奇梅利克;托马斯·亨辛格(Thomas A.Henzinger)。;阿琼·拉德哈克利什纳 接口模拟距离。 (英语) Zbl 1303.68076号 西奥。计算。科学。 560,第3部分,348-363(2014).MSC公司:65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.乔恩}等人,Theor。计算。科学。560,第3部分,348-363(2014年;兹bl 1303.68076) 全文: 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格(Thomas A.Henzinger)。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 合成鲁棒系统。 (英语) Zbl 1302.93079号 学报信息。 51,编号3-4193-220(2014).MSC公司:93B35型 93亿B50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,Acta Inf.51,No.3--4,193-220(2014;Zbl 1302.93079) 全文: 内政部
乌迪·博克;托马斯·亨辛格(Thomas A.Henzinger)。 折扣和自动机的精确和近似确定。 (英语) 兹比尔1325.68126 日志。计算方法。科学。 10,第1号,第10号论文,33页(2014年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}和\textit{T.A.Henzinger},Log。计算方法。科学。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公司:第68季度第60季度 第68季度第45季度 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季度 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.乔恩}等人,《电子》。程序。西奥。计算。科学。(EPTCS)96,29-42(2012年;兹bl 1459.68097) 全文: 链接
乌迪·博克;托马斯·亨辛格(Thomas A.Henzinger)。 定量自动机的近似确定。 (英语) Zbl 1354.68147号 D’Souza,Deepak(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2012)。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-47-7)。LIPIcs–莱布尼茨国际信息学论文集18,362-373(2012)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}和\textit{T.A.Henzinger},LIPIcs——莱布尼茨国际程序。通知。18、362--373(2012年;Zbl 1354.68147) 全文: 内政部
乌迪·博克;托马斯·亨辛格(Thomas A.Henzinger)。 确定折扣和自动机。 (英语) 兹比尔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)。;Vinayak S.普拉布。 定时奇偶游戏:复杂性和健壮性。 (英语) Zbl 1237.68112号 日志。计算方法。科学。 7,第4号,第8号论文,55页(2011年).MSC公司:65年第68季度 91A43型 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,日志。计算方法。科学。7,第4号,第8号文件,第55页(2011年;Zbl 1237.68112) 全文: 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。 定量语言。 (英语) Zbl 1351.68155号 ACM事务处理。计算。日志。 11,第4号,第23条,第38页(2010年).MSC公司:第68季度第60季度 第68季度25 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《美国医学杂志》。计算。日志。11,第4号,第23条,第38页(2010年;Zbl 1351.68155) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。 无限单词上的概率自动机:可判定性和不可判定性的结果。 (英语) Zbl 1305.68112号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。2010年9月21日至24日,第八届国际研讨会,ATVA 2010,新加坡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15642-7/pbk)。计算机科学讲座笔记6252,1-16(2010)。MSC公司:65年第68季度 03年2月25日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{T.A.Henzinger},莱克特。注释计算。科学。6252,1--16(2010年;Zbl 1305.68112) 全文: 内政部
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(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 1287.68093号 Gastin,Paul(编辑)等人,CONCUR 2010–并发理论。第21届国际会议,CONCUR 2010,法国巴黎,2010年8月31日至9月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15374-7/pbk)。计算机科学课堂讲稿6269269-283(2010)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。6269269-283(2010年;兹比尔1287.68093) 全文: 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 战略逻辑。 (英语) Zbl 1205.68197号 Inf.计算。 208,第6期,677-693(2010).MSC公司:65年第68季度 91A05级 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,信息计算。208,第6号,677--693(2010;Zbl 1205.68197) 全文: 内政部 链接
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。 概率加权自动机。 (英语) Zbl 1254.68133号 Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。第20届国际会议,CONCUR 2009,意大利博洛尼亚,2009年9月1-4日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。计算机科学课堂讲稿5710,244-258(2009)。MSC公司:第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。5710244--258(2009年;Zbl 1254.68133) 全文: 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。 交替加权自动机。 (英语) 兹比尔1252.68167 库蒂·奥斯基(Kutyłowski),米洛斯·aw(编辑)等,《计算理论基础》。2009年9月2日至4日在波兰Wrocław举行的FCT 2009第17届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03408-4/pbk)。计算机科学讲座笔记5699,3-13(2009)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。5699,3--13(2009年;Zbl 1252.68167) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;霍恩,弗洛里安 目标有限的随机博弈。 (英语) 兹比尔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公司:第68季度第60季度 65年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。5734,34-54(2009年;兹比尔1250.68185) 全文: 内政部
罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;芭芭拉·乔布斯曼 通过量化目标提高合成质量。 (英语) Zbl 1242.68151号 Bouajjani,Ahmed(编辑)等人,《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02657-7/pbk)。计算机科学讲座笔记5643140-156(2009)。MSC公司:第68季度第60季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,Lect。注释计算。科学。5643、140-156(2009年;Zbl 1242.68151) 全文: 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;Vinayak S.普拉布。 定时奇偶游戏:复杂性和健壮性。 (英语) 兹比尔1171.68527 Cassez,Franck(编辑)等,时间系统的形式化建模和分析。2008年9月15日至17日,第六届国际会议,FORMATS 2008,法国圣马洛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85777-8/pbk)。计算机科学课堂讲稿5215,124-140(2008)。MSC公司:65年第68季度 91A05级 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。5215、124--140(2008年;Zbl 1171.68527) 全文: 内政部 链接
劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;让-弗朗索瓦·拉斯金 标记马尔可夫链的等价性。 (英语) Zbl 1155.68035号 发现的国际期刊。计算。科学。 第3期第19页,第549-563页(2008年).MSC公司:65年第68季度 60J10型 2010年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人,国际发现杂志。计算。科学。19,第3号,549--563(2008;Zbl 1155.68035) 全文: 内政部
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。 定量语言。 (英语) Zbl 1156.68449号 迈克尔·卡明斯基(编辑)等人,《计算机科学逻辑》。2008年9月16日至19日,在意大利贝蒂诺罗举行的第22届CSL国际研讨会,第17届EACSL年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87530-7/pbk)。计算机科学课堂讲稿5213,385-400(2008)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。5213,385--400(2008;Zbl 1156.68449) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;Vinayak S.普拉布。 在计时游戏中,用无限的内存换取均匀的随机性。 (英语) Zbl 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 1144.93312号 Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿4981,72-86(2008)。MSC公司:93亿B50 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。4981、72--86(2008年;Zbl 1144.93312) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(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月 第68季度第45季度 68问题85 91A05级 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。4703、59--73(2007年;Zbl 1151.03327) 全文: 内政部
托马斯·布里海耶;托马斯·亨辛格(Thomas A.Henzinger)。;Vinayak S.普拉布。;让-弗朗索瓦·拉斯金 限时游戏中的最短时间可达性。 (英语) 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季度 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,Lect。注释计算。科学。4596、825--837(2007年;Zbl 1171.68526) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 广义平价博弈。 (英语) Zbl 1195.68053号 Seidl,Helmut(编辑),《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007,该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71388-3/pbk)。计算机科学课堂讲稿4423153-167(2007)。MSC公司:65年第68季度 第68季度25 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。4423、153--167(2007年;Zbl 1195.68053) 全文: 内政部
托马斯·亨辛格(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公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{V.S.Prabhu},莱克特。注释计算。科学。4202年1月17日(2006年;Zbl 1142.68049) 全文: 内政部
De Wulf,M。;Doyen,L。;亨廷格,T.A。;J.-F.拉斯金。 反链:一种检查有限自动机通用性的新算法。 (英语) Zbl 1188.68171号 Ball,Thomas(编辑)等人,《计算机辅助验证》。第18届国际会议,CAV 2006,美国华盛顿州西雅图,2006年8月17日至20日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37406-X/pbk)。计算机科学讲义414417-30(2006)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人,Lect。注释计算。科学。4144,17--30(2006年;Zbl 1188.68171) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(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公司:第68季度第60季度 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公司:第68季度第60季度 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Theor。计算。科学。354,编号2,173--186(2006;Zbl 1088.68106) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;让-弗朗索瓦·拉斯金 符号转换系统的分类。 (英语) Zbl 1367.68193号 ACM事务处理。计算。日志。 6,第1期,1-32页(2005年).MSC公司:第68季度第60季度 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季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。3829、226--241(2005;Zbl 1175.68281) 全文: 内政部
劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;让-弗朗索瓦·拉斯金 仿射混合系统的自动矩形精化。 (英语) Zbl 1175.68243号 Pettersson,Paul(编辑)等人,定时系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829144-161(2005)。MSC公司:65年第68季度 第68季度第60季度 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人,Lect。注释计算。科学。3829144-161(2005;Zbl 1175.68243) 全文: 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格(Thomas A.Henzinger)。 随机拉宾和斯特雷特博弈的复杂性。 (英语) Zbl 1085.68060号 Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿3580878-890(2005)。MSC公司:2017年第68季度 65年第68季度 91A15型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。3580、878--890(2005年;Zbl 1085.68060) 全文: 内政部
卢卡·德·阿尔法罗;马可·费拉;托马斯·亨辛格(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 第68季度第45季度 第68季度第60季度 91A05级 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}等人,Lect。注释计算。科学。2761144-158(2003年;Zbl 1262.68141) 全文: 内政部
弗兰克·卡塞兹;托马斯·亨辛格(Thomas A.Henzinger)。;让-弗朗索瓦·拉斯金 定时系统和混合系统控制问题的比较。 (英语) Zbl 1044.93518号 Tomlin,Claire J.(编辑)等人,《混合系统:计算和控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43321-X)。莱克特。注释计算。科学。2289, 134-148 (2002).MSC公司:93立方 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人,Lect。注释计算。科学。2289、134--148(2002年;Zbl 1044.93518) 全文: 链接
托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔 矩形混合系统的符号模型检查。 (英语) Zbl 0960.68117号 Graf,Susanne(编辑)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1785, 142-156 (2000).MSC公司:68问题85 第68季度第45季度 第68季度第60季度 93B99号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{R.Majumdar},莱克特。注释计算。科学。1785年、142年至156年(2000年;Zbl 0960.68117)
托马斯·亨辛格(Thomas A.Henzinger)。 混合自动机理论。 (英语) Zbl 0959.68073号 Inan,M.Kemal(编辑)等人,《数字和混合系统的验证》。《北约ASI会议记录》,土耳其安塔利亚,1997年5月26日至6月6日。柏林:斯普林格。北约ASI系列。,序列号。F、 计算。系统。科学。170, 265-292 (2000).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger},北约ASI Ser。,序列号。F、 计算。系统。科学。170、265--292(2000;Zbl 0959.68073)
托马斯·亨辛格(Thomas A.Henzinger)。;让-弗朗索瓦·拉斯金 定时系统和混合系统的鲁棒不可判定性。 (英语) Zbl 0944.93018号 Lynch,Nancy(编辑)等人,《混合系统:计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1790, 145-159 (2000). 审核人:D.Franke(汉堡) MSC公司:93立方 93立方65 第68季度第45季度 93C73号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{J.-F.Raskin},莱克特。注释计算。科学。1790、145--159(2000;Zbl 0944.93018)
托马斯·亨辛格(Thomas A.Henzinger)。;彼得·科普克。 矩形混合自动机的离散时间控制。 (英语) Zbl 0930.68086号 西奥。计算。科学。 221,第1-2号,369-392(1999).MSC公司:第68季度第60季度 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公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Theor。计算。科学。211,编号1--2,253--273(1999;Zbl 0912.68132) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;彼得·科普克。;阿努吉·普里;普拉文·瓦莱亚 混合自动机的决定因素是什么? (英语) 兹布尔0920.68091 J.计算。系统。科学。 57,第1期,94-124(1998).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,《计算杂志》。系统。科学。57,第1号,94-124(1998;Zbl 0920.68091) 全文: 内政部 链接
托马斯·亨辛格(Thomas A.Henzinger)。;何培欣;Howard Wong-Toi,霍华德 非线性混合系统的算法分析。 (英语) Zbl 0918.93019号 IEEE传输。自动化。控制 43,第4期,540-554(1998). 审核人:M.G.内鲁卡(卡姆登) MSC公司:93立方 65年第68季度 93立方厘米 93B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,IEEE Trans。自动化。控制43,编号4,540--554(1998;Zbl 0918.93019) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;彼得·科普克(Peter W.Kopke)。 矩形混合自动机的离散时间控制。 (英语) Zbl 1401.93099号 Degano,Pierpaolo(编辑)等人,《自动化,语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林:Springer-Verlag(ISBN 978-3-540-63165-1/pbk;978-3-540-69194-5/电子书)。计算机科学课堂讲稿1256,582-593(1997)。MSC公司:93亿B50 2017年第68季度 65年第68季度 93立方 93元62角 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{P.W.Kopke},莱克特。注释计算。科学。1256582-593(1997年;Zbl 1401.93099) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;何培欣;Howard Wong-Toi,霍华德 HyTech:混合系统的模型检查器。 (英语) Zbl 1060.68603号 国际期刊软件。技术工具。Transf公司。第1卷,第1-2期,第110-122页(1997年)。MSC公司:65年第68季度 第68季度第60季度 93A30型 PDF格式BibTeX公司 XML格式 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;彼得·科普克(Peter W.Kopke)。 矩形混合自动机的状态等价性。 (英语) Zbl 1514.68101号 Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第1119530-545页(1996年)。MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{P.W.Kopke},莱克特。注释计算。科学。1119、530--545(1996年;Zbl 1514.68101) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼;莫舍·瓦尔迪。 一种用于实时模型检查的空效实时算法。 (英语) 兹比尔1514.68168 Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1119, 514-529 (1996).MSC公司:68问题85 03B44号 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。1119514-529(1996年;Zbl 1514.68168) 全文: 内政部
阿鲁尔,R。;库库贝蒂斯,C。;北卡罗来纳州Halbwachs。;亨廷格,T.A。;Ho、P.-H、。 混合系统的算法分析。 (英语) Zbl 0874.68206号 西奥。计算。科学。 138,第1期,第3-34页(1995年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Theor。计算。科学。138,第1号,第3--34号(1995;Zbl 0874.68206) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;彼得·科普克。;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) 全文: 内政部
托马斯·亨辛格(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季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \文本{T.A.Henzinger},Lect。注释计算。科学。944324-335(1995年;Zbl 1412.68130) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;彼得·科普克(Peter W.Kopke)。;阿努吉·普里;普拉文·瓦莱亚 混合自动机的决定因素是什么? (英语) Zbl 0978.68534号 第27届ACM计算理论年会论文集。1995年5月29日至6月1日,美国内华达州拉斯维加斯。纽约州纽约市:ACM,373-382(1995)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,《第27届ACM计算理论年度研讨会论文集》,STOC’95。美国内华达州拉斯维加斯,1995年5月29日至6月1日。纽约州纽约市:ACM。373--382(1995年;Zbl 0978.68534)
Alur,R。;库库贝蒂斯,C。;亨辛格,T。;何,P。;尼克林,X。;奥利维罗,A。;J.西法基斯。;尤文,S。 混合系统的算法分析。 (英语) Zbl 0823.68067号 Cohen,Guy(编辑)等人,第11届系统分析和优化国际会议:离散事件系统。索菲亚·安蒂波利斯,法国,1994年6月15日至17日。柏林:Springer-Verlag。莱克特。票据控制信息科学。199331-351(1994)中描述。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。票据控制信息科学。199331-351(1994年;兹bl 0823.68067)
拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。;莫舍·瓦尔迪。 参数实时推理。 (英语) Zbl 1310.68139号 第25届ACM计算理论年会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-591-7)。592-601 (1993).MSC公司:第68季度第60季度 65年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《第25届ACM计算理论研讨会论文集》,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)。592--601(1993;Zbl 1310.68139) 全文: 内政部 链接
拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。 回到未来:走向定时正则语言理论。 (英语) Zbl 0977.68548号 第33届计算机科学基础年会。《程序集》,美国宾夕法尼亚州匹兹堡,1992年10月24日至27日。华盛顿特区:IEEE计算机学会出版社,177-186(1992)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{T.A.Henzinger},in:第33届计算机科学基础年会(FOCS)。《程序集》,宾夕法尼亚州匹兹堡,美国,1992年10月24日至27日。华盛顿特区:IEEE计算机学会出版社。177--186(1992年;Zbl 0977.68548)