×

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

最新的 引文 关联
阿利斯泰尔·斯图尔特；库沙·埃特萨米；米哈利斯·亚纳卡基斯

单调多项式系统上牛顿方法的上界，概率单计数器自动机的P时间模型检验。 （英语） Zbl 1426.68177号

美国临床医学杂志 62，第4号，第30条，33页（2015年）.
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Stewart}等人，J.ACM 62，第4号，第30条，33页（2015；Zbl 1426.68177）
全文： 内政部 arXiv公司
帕特丽斯·戈德弗里德；米哈利斯·亚纳卡基斯

布尔程序分析。 （英语） Zbl 1381.68164号

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795214-229（2013）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Godefroid}和\textit{M.Yannakakis}，莱克特。票据计算。科学。7795，214--229（2013；Zbl 1381.68164）
全文： 内政部
奥尔纳·库普弗曼；尤德·卢斯蒂格；莫舍·瓦尔迪。；米哈利斯·亚纳卡基斯

有界系统和环境的时间合成。 （英语） Zbl 1230.68144号

Schwentick，Thomas（编辑）等人，STACS 2011。2011年3月10日至12日，第28届计算机科学理论方面国际研讨会，德国多特蒙德。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-25-5）。LIPIcs–莱布尼茨国际信息学会议录9615-626，仅电子版（2011年）。
MSC公司：60年第68季度 65年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，LIPIcs——莱布尼茨国际程序。通知。9615--626（2011年；Zbl 1230.68144）
全文： 内政部 链接
库沙·埃特萨米；玛尔塔·奎亚特科夫斯卡；莫舍·瓦尔迪。；米哈利斯·亚纳卡基斯

马尔可夫决策过程的多目标模型检验。 （英语） Zbl 1161.68565号

日志。方法计算。科学。 4，第4期，论文8，21页（2008年）.
MSC公司：60年第68季度 90C29型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Etessami}等人，日志。方法计算。科学。4，第4期，论文8，21页（2008年；Zbl 1161.68565）
全文： 内政部
Etessami，K。；Kwiatkowska，M。；M.Y.瓦尔迪。；亚纳卡基斯，M。

马尔可夫决策过程的多目标模型检验。 （英语） Zbl 1186.68286号

Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424，50-65（2007）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Etessami}等人，Lect。票据计算。科学。4424、50-65（2007年；Zbl 1186.68286）
全文： 内政部
米哈利斯·亚纳卡基斯

递归概率模型分析。 （英语） Zbl 1161.68593号

Graf，Susanne（编辑）等人，《验证和分析自动化技术》。2006年10月23日至26日，第四届国际研讨会，ATVA 2006，中国北京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-47237-7/pbk）。计算机科学课堂讲稿4218，1-5（2006）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Yannakakis}，莱克特。票据计算。科学。4218，1--5（2006；Zbl 1161.68593）
全文： 内政部
库沙·埃特萨米；米哈利斯·亚纳卡基斯

递归并发随机博弈。 （英语） Zbl 1133.91317号

Bugliesi，Michele（编辑）等人，《自动化，语言和编程》。2006年7月10日至14日，意大利威尼斯，第33届国际学术讨论会，ICALP 2006。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-35907-4/pbk）。计算机科学课堂讲稿4052，324-335（2006）。
MSC公司：91A15型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Etessami}和\textit{M.Yannakakis}，莱克特。票据计算。科学。4052324--335（2006年；Zbl 1133.91317）
全文： 内政部 arXiv公司
库沙·埃特萨米；米哈利斯·亚纳卡基斯

递归马尔可夫决策过程和递归随机博弈。 （英语） Zbl 1085.68089号

Caires，Luís（编辑）等人，《自动化，语言和编程》。第32届国际学术讨论会，2005年ICALP，葡萄牙里斯本，2005年7月11日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27580-0/pbk）。计算机科学课堂讲稿3580891-903（2005）。
MSC公司：60年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{K.Etessami}和\textit{M.Yannakakis}，莱克特。票据计算。科学。3580、891--903（2005年；Zbl 1085.68089）
全文： 内政部
库沙·埃特萨米；米哈利斯·亚纳卡基斯

递归概率状态机的算法验证。 （英语） Zbl 1087.68054号

Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440253-270（2005）。
MSC公司：60年第68季度 65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Etessami}和\textit{M.Yannakakis}，莱克特。票据计算。科学。3440253--270（2005年；Zbl 1087.68054）
全文： 内政部
米哈利斯·亚纳卡基斯

测试、优化和游戏。 （英语） Zbl 1099.68662号

Díaz，Josep（编辑）等人，《自动化、语言和编程》。2004年7月12日至16日，芬兰图尔库，第31届国际学术讨论会，ICALP 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22849-7/pbk）。计算机科学讲义3142，28-45（2004）。
MSC公司：60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Yannakakis}，莱克特。票据计算。科学。3142，28-45（2004；Zbl 1099.68662）
全文： 内政部
米哈利斯·亚纳卡基斯

有限状态系统的测试和检查。 （英语） Zbl 1059.68529号

Rajsbaum，Sergio（编辑），拉丁语2002：理论信息学。第五届拉丁美洲研讨会，墨西哥坎昆，2002年4月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43400-3）。莱克特。票据计算。科学。2286, 14 (2002).
MSC公司：68米15 60年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{M.Yannakakis}，莱克特。票据计算。科学。2286、14（2002年；Zbl 1059.68529）
全文： 链接
亚历克斯·格罗斯；多龙·贝利德；米哈利斯·亚纳卡基斯

自适应模型检查。 （英语） Zbl 1043.68570号

Katoen，Joost-Pieter（ed.）等人，《系统构建和分析的工具和算法》。第八届国际会议，TACAS 2002。2002年4月8日至12日，作为欧洲软件理论与实践联合会议的一部分，在法国格勒诺布尔举行。柏林：施普林格出版社（ISBN 3-540-43419-4）。莱克特。票据计算。科学。2280, 357-370 (2002).
MSC公司：60年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{A.Groce}等人，Lect。票据计算。科学。2280357--370（2002年；Zbl 1043.68570）
全文： 链接
亚历克斯·格罗斯；多龙·贝利德；米哈利斯·亚纳卡基斯

AMC：自适应模型检查器。 （英语） Zbl 1010.68702号

Brinksma，Ed（编辑）等人，《计算机辅助验证》。2002年7月27日至31日，丹麦哥本哈根，第14届国际会议，CAV 2002。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2404, 521-525 (2002).
MSC公司：68单位99 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Groce}等人，Lect。票据计算。科学。2404521-525（2002年；兹比尔1010.68702）
全文： 链接
拉杰夫·阿鲁尔；库沙·埃特萨米；米哈利斯·亚纳卡基斯

递归状态机分析。 （英语） Zbl 0991.68535号

Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2102, 207-220 (2001).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，Lect。票据计算。科学。2102207-220（2001年；兹bl 0991.68535）
全文： 链接
拉杰夫·阿鲁尔；库沙·埃特萨米；米哈利斯·亚纳卡基斯

MSC图的可实现性和验证。 （英语） Zbl 0986.68518号

Orejas，Fernando（编辑）等人，《自动化、语言和编程》。2001年7月8日至12日在希腊克里特岛举行的第28届国际学术讨论会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2076, 797-808 (2001).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，Lect。票据计算。科学。2076、797--808（2001年；Zbl 0986.68518）
全文： 链接
奥尔纳·库普弗曼；罗伯特·P·库尔珊（Robert P.Kurshan）。；米哈利斯·亚纳卡基斯

存在还原层次结构。 （英语） Zbl 0909.68119号

尼尔森，莫根斯（编辑）等人，《计算机科学逻辑》。第11届国际研讨会，CSL’97。EACSL年会，丹麦奥胡斯，1997年8月23日至29日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1414, 327-340 (1998).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，Lect。票据计算。科学。1414327--340（1998年；Zbl 0909.68119）
杰拉德·J·霍尔兹曼。；多龙·贝利德；米哈利斯·亚纳卡基斯

嵌套深度优先搜索。 （英语） Zbl 0880.68084号

Grégoire，Jean-Charles（编辑）等人，《SPIN验证系统》。第二次研讨会，DIMACS研讨会的会议记录。美国新泽西州新不伦瑞克罗格斯大学；1996年8月5日。普罗维登斯，RI:AMS，美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。32, 23-31 (1997).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.J.Holzmann}等人，DIMACS，序列号。离散数学。西奥。计算。科学。32、23-31（1997年；Zbl 0880.68084）
库库贝蒂斯，C。；瓦尔迪，M。；P.沃尔珀。；亚纳卡基斯，M。

用于验证时间属性的内存高效算法。 （英语） Zbl 0786.68060号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 207-218 (1991).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Courcoubetis}等人，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。207--218（1991年；Zbl 0786.68060）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段