×

找到59个文档（结果1-59）

最新 引文 关联
托马斯·亨辛格（Thomas A.Henzinger）。;尼古拉斯·马佐奇;萨拉索，N.Ege

定量安全性和活性。 （英语） Zbl 07770345号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 349-370 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛T.A.Henzinger｝等人，Lect。注释计算。科学。13992、349--370（2023；Zbl 07770345）
全文： 内政部 arXiv公司
Bose，Sougata公司;托马斯·亨辛格（Thomas A.Henzinger）。;卡罗琳娜·莱赫蒂宁;斯文·舍韦;帕特里克·托茨克

历史确定的时间自动机是不可确定的。 （英语） Zbl 07714977号

Lin，Anthony W.（编辑）等人，《可达性问题》。第16届国际会议，RP 2022，德国凯泽斯劳滕，2022年10月17日至21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13608, 67-76 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Bose}等人，Lect。注释计算。科学。13608，67-76（2022；Zbl 07714977）
全文： 内政部 哈尔
米拉德·阿加乔哈里;阿夫尼，盖伊;托马斯·亨辛格（Thomas A.Henzinger）。

离散投标无限长博弈中的确定性。 （英语） 兹比尔1509.91007

日志。方法计算。科学。 17，第1号，第10号论文，23页（2021年）.
MSC公司：91A43型 65年第68季度 91A50型
PDF格式BibTeX公司 XML格式引用
\textit{M.Aghajohari}等人，日志。方法计算。科学。17，第1号，第10号论文，23页（2021；Zbl 1509.91007）
全文： arXiv公司 链接
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

状态向量加法系统的多维长期平均问题。 （英语） Zbl 07559479号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。171，第23条，第22页（2020年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。171，第23条，22 p.（2020；Zbl 07559479）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

带状态向量加法系统的长期平均行为。 （英语） Zbl 07649935号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第27条，第16页（2019年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。140，第27条，第16页（2019年；Zbl 07649935）
全文： 内政部 arXiv公司
米拉德·阿加乔哈里;阿夫尼，盖伊;托马斯·亨辛格（Thomas A.Henzinger）。

离散投标无限长博弈中的确定性。 （英语） Zbl 07649928号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第20条，第17页（2019年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{M.Aghajohari}等人，LIPIcs--Leibniz Int.Proc。通知。140，第20条，第17页（2019年；Zbl 07649928）
全文： 内政部
克里希南德·查特吉;托马斯·亨辛格（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 1520.68029号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118，第21条，第17页（2018年）。
MSC公司：68号30 60年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{B.Kragl}等人，LIPIcs——莱布尼茨国际程序。通知。118，第21条，第17页（2018；Zbl 1520.68029）
全文： 内政部
阿夫尼，盖伊;托马斯·亨辛格（Thomas A.Henzinger）。;拉斯穆斯·易卜森·延森

无限期穷人竞价游戏。 （英语） Zbl 1443.91070号

Christodoulou，George（编辑）等人，《网络和互联网经济学》。2018年12月15日至17日在英国牛津举行的2018年WINE第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11316, 21-36 (2018).
MSC公司：91A43型 91A05型 05第57页 91A68型
PDF格式BibTeX公司 XML格式引用
\textit{G.Avni}等人，Lect。注释计算。科学。11316、21-36（2018年；Zbl 1443.91070）
全文： 内政部 arXiv公司
埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;赫尔穆特·维思

模型检查简介。 （英语） Zbl 1392.68242号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1-26（2018年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke}等人，in：模型检查手册。查姆：斯普林格。1-26（2018；Zbl 1392.68242）
全文： 内政部
阿夫尼，盖伊;Shubham Goel公司;托马斯·亨辛格（Thomas A.Henzinger）。;吉列尔莫罗德里格斯-纳瓦斯

计算具有概率故障的交换网络中的转发方案得分。 （英语） Zbl 1452.68021号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206, 169-187 (2017).
MSC公司：64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{G.Avni}等人，Lect。注释计算。科学。10206、169--187（2017；Zbl 1452.68021）
全文： 内政部 arXiv公司 链接
阿夫尼，盖伊;托马斯·亨辛格（Thomas A.Henzinger）。;文西斯拉夫·乔涅夫

无限期竞标游戏。 （英语） Zbl 1448.91061号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5日至8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。85，第21条，第18页（2017年）。
MSC公司：91A43型 05第57页 91A05型 91A20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Avni}等人，LIPIcs——莱布尼茨国际程序。通知。85，第21条，第18页（2017年；Zbl 1448.91061）
全文： 内政部
米尔科·贾科布;猜猜，柯林·C。;阿什图什·古普塔;托马斯·亨辛格（Thomas A.Henzinger）。;提亚哥，派克斯昂;佩特罗夫，塔贾纳

检查基因调控网络进化的模型。 （英语） Zbl 1380.68273号

学报信息。 54，第8期，765-787（2017）.
MSC公司：60年第68季度 92立方厘米 92D10型 92D15型
PDF格式BibTeX公司 XML格式引用
\textit{M.Giacobbe}等人，《学报》第54期，第8期，第765--787页（2017年；Zbl 1380.68273）
全文： 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·柯尼霍费尔

合成鲁棒系统。 （英语） Zbl 1302.93079号

学报信息。 51，编号3-4193-220（2014）.
MSC公司：93B35型 93B50个 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Bloem｝等人，Acta Inf.51，No.3-4193-220（2014；兹bl 1302.93079）
全文： 内政部
达米安·祖弗里;托马斯·怀斯;托马斯·亨辛格（Thomas A.Henzinger）。

结构良好的转换系统的理想抽象。 （英语） 兹比尔1326.68205

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学讲义7148445-460（2012）。
MSC公司：第68季度85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Zufferey}等人，Lect。注释计算。科学。7148445--460（2012年；Zbl 1326.68205）
全文： 内政部
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼;罗希特·辛格

QUASY：定量合成工具。 （英语） Zbl 1316.68071号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605267-271（2011）。
MSC公司：60年第68季度 90立方厘米 91-04 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。6605267--271（2011；Zbl 1316.68071）
全文： 内政部
Černý，帕沃尔;托马斯·亨辛格（Thomas A.Henzinger）。;阿琼·拉德哈克利什纳

定量模拟游戏。 （英语） Zbl 1288.68180号

Manna，Zohar（编辑）等人，《验证时间》。纪念阿米尔·普努利的文章。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲义6200，42-60（2010）。
MSC公司：第68季度85 91A43型 91A80型 94B70型
PDF格式BibTeX公司 XML格式引用
\textit{P.乔恩}等人，Lect。注释计算。科学。6200，42-60（2010；Zbl 1288.68180）
全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼;维雷娜·沃尔夫

指定马尔科夫人口模型的形式化。 （英语） Zbl 1260.68284号

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿5797，3-23（2009）。
MSC公司：87年第68季度 60J27型 65立方厘米 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛T.A.Henzinger｝等人，Lect。注释计算。科学。5797，3--23（2009年；Zbl 1260.68284）
全文： 内政部 链接
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（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公司：65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。5710244--258（2009年；Zbl 1254.68133）
全文： 内政部 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季度 第91页第15页
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。5734、34-54（2009年；Zbl 1250.68185）
全文： 内政部
迪特马尔·伯旺格;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;桑格拉姆·拉杰

不完全信息奇偶博弈的策略构造。 （英语） Zbl 1160.68455号

van Breugel，Franck（编辑）等人，CONCUR 2008——并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学课堂讲稿5201，325-339（2008）。
MSC公司：第68季度85 03B70号 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{D.Berwanger}等人，Lect。注释计算。科学。5201325--339（2008年；Zbl 1160.68455）
全文： 内政部 链接
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。

价值迭代。 （英语） Zbl 1143.68042号

Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。《计算机科学讲义》5000107-138（2008）。
MSC公司：60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{T.A.Henzinger}，莱克特。注释计算。科学。5000、107——138（2008；Zbl 1143.68042）
全文： 内政部
贾斯敏·费希尔;托马斯·亨辛格（Thomas A.Henzinger）。;玛丽亚·马泰斯库;尼尔·皮特曼

有界异步：用于建模细胞间交互的并发性。 （英语） Zbl 1375.92018年

Jasmin Fisher（编辑），《系统生物学中的形式方法》。第一次国际研讨会，2008年6月4日至5日，英国剑桥，FMSB 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68410-7/pbk）。计算机科学课堂讲稿5054。生物信息学课堂讲稿，17-32（2008）。
MSC公司：92立方37 60年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{J.Fisher}等人，Lect。注释计算。科学。5054，17-32（2008；Zbl 1375.92018）
全文： 内政部 链接
托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;Rajamani，Sriram K。

公平模拟。 （英语） Zbl 1512.68168号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 273-287 (1997).
MSC公司：第68季度85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛T.A.Henzinger｝等人，Lect。注释计算。科学。1243273-287（1997年；Zbl 1512.68168）
全文： 内政部
拉杰夫·阿鲁尔;托马斯·亨辛格（Thomas A.Henzinger）。

定时和混合系统的模块化。 （英语） Zbl 1512.68146号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243，74-88（1997）中所述。
MSC公司：60年第68季度 第68季度85 91A80型 93立方
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}和\textit{T.A.Henzinger}，莱克特。注释计算。科学。1243、74-88（1997年；Zbl 1512.68146）
全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;彼得·科普克。

矩形混合自动机的离散时间控制。 （英语） 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公司：93B50个 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）。;彼得·科普克。

矩形混合自动机的状态等价性。 （英语） 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}，莱克特。注释计算。科学。1119530-545（1996年；兹bl 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。注释计算。科学。1119514-529（1996年；Zbl 1514.68168）
全文： 内政部
托马斯·亨辛格（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季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}，莱克特。注释计算。科学。944324-335（1995年；Zbl 1412.68130）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件