陈曦；伊利亚斯·迪亚科尼科拉斯；安提·奥法努；迪米特里斯·帕帕拉斯；孙晓瑞；米哈利斯·亚纳卡基斯 单位需求购买者最优彩票定价和随机机制的复杂性。 （英语） Zbl 07534659号 SIAM J.计算。 51，第3期，492-548（2022年）.MSC公司：2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人，SIAM J.Compute。51，编号3，492--548（2022；Zbl 07534659） 全文： 内政部
库沙·埃特萨米；克里斯托斯·帕帕迪米特里奥；阿维亚德·鲁宾斯坦；米哈利斯·亚纳卡基斯 塔斯基定理、超模博弈和平衡的复杂性。 （英语） Zbl 07650366号 Vidick，Thomas（编辑），第11届理论计算机科学创新会议，ITCS 2020，美国华盛顿州西雅图，2020年1月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。151，第18条，第19页（2020年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人，LIPIcs——莱布尼茨国际程序。通知。151，第18条，第19页（2020；Zbl 07650366） 全文： 内政部 arXiv公司
陈曦；郭成浩；维拉塔基斯·格卡拉古尼斯（Vlatakis-Gkaragkounis），埃马努伊尔·五世（Emmanouil V.）。；米哈利斯·亚纳卡基斯；张新志 平滑了局部max-cut和二进制max-CSP的复杂性。 （英语） Zbl 07298309号 Makarychev，Konstantin（ed.）等人，第52届ACM SIGACT计算理论年度研讨会论文集，STOC’20，芝加哥，伊利诺伊州，美国，2020年6月22日至26日。纽约州纽约市：计算机协会（ACM）。1052-1065 (2020).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人，in：第52届ACM SIGACT计算理论研讨会论文集，STOC’20，芝加哥，伊利诺伊州，美国，2020年6月22日至26日。纽约州纽约市：计算机协会（ACM）。1052--1065（2020；Zbl 07298309） 全文： 内政部 arXiv公司
库沙·埃特萨米；阿利斯泰尔·斯图尔特；米哈利斯·亚纳卡基斯 分支马尔可夫决策过程的多项式时间算法和概率最小（最大）多项式Bellman方程。 （英语） 兹比尔1437.90157 数学。操作。物件。 45，编号1，34-62（2020）.MSC公司：90立方厘米 60焦耳80 65年第68季度 90C53型 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人，《数学》。操作。第45号决议，第1号，第34-62号（2020年；Zbl 1437.90157） 全文： 内政部 arXiv公司
桑贾纳·科利塞蒂；Le，Linh（林·勒）；伊利亚·沃尔科维奇；米哈利斯·亚纳卡基斯 在正则图中寻找（S）因子的复杂性。 （英语） 兹伯利07650318 Chattopadhyay，Arkadev（ed.）等人，第39届IARCS软件技术和理论计算机科学基础年会，2019年12月11-13日，印度孟买，FSTTCS 2019。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150，第21条，第12页（2019年）。MSC公司：68号30 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Kolisetty}等人，LIPIcs——莱布尼茨国际程序。通知。150，第21条，第12页（2019年；Zbl 07650318） 全文： 内政部
库沙·埃特萨米；伊曼纽尔·马丁诺夫；阿利斯泰尔·斯图尔特；米哈利斯·亚纳卡基斯 分支并发随机对策的可达性。 （英语） Zbl 07561608号 Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第115条，第14页（2019年）。MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人，LIPIcs——莱布尼茨国际程序。通知。132，第115条，第14页（2019年；Zbl 07561608） 全文： 内政部 arXiv公司
米哈伊利斯·扬纳卡基斯 定点计算问题和复杂性方面（邀请谈话）。 （英语） Zbl 07561498号 Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第5条，第1页（2019年）。MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}，LIPIcs——莱布尼茨国际程序。通知。132，第5条，第1页（2019年；Zbl 07561498） 全文： 内政部
库沙·埃特萨米；多米尼克·沃伊特扎克；米哈利斯·亚纳卡基斯 具有正报酬的递归随机博弈。 （英语） Zbl 1431.91022号 西奥。计算。科学。 777, 308-328 (2019). 审核人：Tadeusz Radzik（杰列尼亚·戈拉） MSC公司：91A15型 91A68型 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人，Theor。计算。科学。777308-328（2019年；Zbl 1431.91022） 全文： 内政部 链接
陈曦；伊利亚斯·迪亚科尼科拉斯；迪米特里斯·帕帕拉斯；孙晓瑞；米哈利斯·亚纳卡基斯 单位需求买方最优多维定价的复杂性。 （英语） Zbl 1400.91214号 游戏经济。行为。 110, 139-164 (2018).MSC公司：91B26型 2017年第68季度 91B24型 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人，《游戏经济》。行为。110、139--164（2018；Zbl 1400.91214） 全文： 内政部
陈曦；乔治·马蒂卡斯；迪米特里斯·帕帕拉斯；米哈利斯·亚纳卡基斯 关于加法买方的简单和最优确定性机制的复杂性。 （英语） Zbl 1403.91163号 Czumaj，Artur（编辑），第29届年度ACM-SIAM离散算法研讨会论文集，2018年SODA，美国洛杉矶新奥尔良，2018年1月7日至10日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）（ISBN 978-1-61197-503-1/电子书）。2036-2049 (2018).MSC公司：91B26型 91A40型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人，in：第29届年度ACM-SIAM离散算法研讨会论文集，SODA 2018，美国洛杉矶新奥尔良，2018年1月7日至10日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。2036年-2049年（2018年；Zbl 1403.91163） 全文： arXiv公司 链接
陈曦；迪米特里斯·帕帕拉斯；米哈利斯·亚纳卡基斯 非单调市场的复杂性。 （英语） Zbl 1427.91130号 美国临床医学杂志 第64条第3款第20条第56页（2017年）.MSC公司：91B24型 2017年第68季度 91B52型 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人，J.ACM 64，第3号，第20条，56页（2017；Zbl 1427.91130） 全文： 内政部 arXiv公司 链接
库沙·埃特萨米；阿利斯泰尔·斯图尔特；米哈伊利斯·扬纳卡基斯 计算多类型分支过程消亡概率的多项式时间算法。 （英语） Zbl 1378.68074号 SIAM J.计算。 46，第5期，1515-1553（2017）.MSC公司：65年第68季度 60G07年 60焦耳80 第68季度第42季度 87年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人，SIAM J.Compute。46，No.5，1515--1553（2017；Zbl 1378.68074） 全文： 内政部
君士坦丁·达斯卡拉基斯；伊利亚斯·迪亚科尼科拉斯；米哈利斯·亚纳卡基斯 Chord算法有多好？ （英语） Zbl 1344.68284号 SIAM J.计算。 45，第3号，811-858（2016）.MSC公司：68周25 65年第68季度 2017年第68季度 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{C.Daskalakis}等人，SIAM J.Compute。45，第3号，811--858（2016；Zbl 1344.68284） 全文： 内政部
阿利斯泰尔·斯图尔特；库沙·埃特萨米；米哈利斯·亚纳卡基斯 单调多项式系统上牛顿方法的上界，概率单计数器自动机的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 1333.91005号 美国临床医学杂志 62，第2号，第11条，第69页（2015年）.MSC公司：91A15型 60焦耳80 65年第68季度 第68季度第42季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛K.Etessami｝和\textit｛M.Yannakakis｝，J.ACM 62，第2号，第11条，第69页（2015；Zbl 1333.91005） 全文： 内政部 链接
陈曦；伊利亚斯·迪亚科尼科拉斯；迪米特里斯·帕帕拉斯；孙晓瑞；米哈利斯·亚纳卡基斯 最优多维定价的复杂性。 （英语） Zbl 1425.91184号 Chekuri，Chandra（编辑），第25届ACM-SIAM离散算法年度研讨会论文集，SODA 2014，波特兰，俄勒冈州，美国，2014年1月5-7日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1319-1328 (2014).MSC公司：91B26型 2017年第68季度 91B24型 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人，《第25届ACM-SIAM离散算法年度研讨会论文集》，SODA 2014，波特兰，俄勒冈州，美国，2014年1月5-7日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1319-1328（2014年；1425.91184兹罗提） 全文： 内政部 arXiv公司 链接
库沙·埃特萨米；阿利斯泰尔·斯图尔特；米哈利斯·亚纳卡基斯 关于比较简洁表示的整数的复杂性的说明，以及最大概率解析的应用。 （英语） Zbl 1321.68309号 ACM事务处理。计算。理论 6，第2号，第9条，23页（2014年）.MSC公司：65年第68季度 2016年11月 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人，ACM Trans。计算。理论6，第2号，第9条，23页（2014年；Zbl 1321.68309） 全文： 内政部 arXiv公司 链接
陈曦；迪米特里斯·帕帕拉斯；米哈利斯·亚纳卡基斯 非单调市场的复杂性。 （英语） Zbl 1293.91065号 第45届ACM计算理论年会论文集，STOC’13。2013年6月1日至4日，美国加利福尼亚州帕洛阿尔托。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2029-0）。181-190年（2013年）。MSC公司：91B16号 91B52型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛X.Chen｝等人，在：第45届美国计算机学会计算理论年度研讨会论文集，STOC’13。2013年6月1-4日，美国加利福尼亚州帕洛阿尔托。纽约州纽约市：计算机协会（ACM）。181-190（2013年；Zbl 1293.91065） 全文： 内政部 链接
库沙·埃特萨米；阿利斯泰尔·斯图尔特；米哈利斯·亚纳卡基斯 随机上下文无关文法、正则语言和牛顿方法。 （英语） Zbl 1334.68111号 Fomin，Fedor V.（编辑）等人，自动机、语言和编程。2013年7月8日至12日，第40届国际学术讨论会，ICALP 2013，拉脱维亚里加，会议记录，第二部分。柏林：施普林格出版社（ISBN 978-3-642-39211-5/pbk）。计算机科学课堂讲稿7966199-211（2013）。MSC公司：第68季度第42季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人，Lect。注释计算。科学。7966，199--211（2013；Zbl 1334.68111） 全文： 内政部 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 1351.68159号 ACM事务处理。计算。日志。 第13号第2条第12条第40页（2012年）.MSC公司：60年第68季度 65年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}和\textit{M.Yannakakis}，ACM Trans。计算。日志。13，第2号，第12条，第40页（2012年；兹bl 1351.68159） 全文： 内政部
库沙·埃特萨米；阿利斯泰尔·斯图尔特；米哈伊利斯·扬纳卡基斯 多类型分支过程和随机上下文无关文法的多项式时间算法。 （英语） Zbl 1286.68188号 Karloff，Howard J.（编辑）等人，第44届ACM计算理论研讨会论文集，STOC 2012。2012年5月19日至22日，美国纽约州纽约市。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1245-5）。579-588 (2012).MSC公司：2017年第68季度 65年第68季度 87年第68季度 60焦耳80 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人，in：第44届ACM计算理论研讨会论文集，STOC 2012。2012年5月19日至22日，美国纽约州纽约市。纽约州纽约市：计算机协会（ACM）。579-588（2012年；Zbl 1286.68188） 全文： 内政部 arXiv公司
库沙·埃特萨米；阿利斯泰尔·斯图尔特；米哈利斯·亚纳卡基斯 分支马尔可夫决策过程的多项式时间算法和概率最小（最大）多项式Bellman方程。 （英语） Zbl 1272.68458号 Czumaj，Artur（编辑）等人，《自动化、语言和编程》。2012年7月9日至13日，第39届国际学术讨论会，ICALP 2012，英国沃里克。会议记录，第一部分，柏林：施普林格出版社（ISBN 978-3-642-31593-0/pbk）。计算机科学课堂讲稿7391，314-326（2012）。MSC公司：68周25 65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人，Lect。注释计算。科学。7391、314--326（2012年；Zbl 1272.68458） 全文： 内政部 链接
奥尔纳·库普弗曼；尤德·卢斯蒂格；莫舍·瓦尔迪。；米哈利斯·亚纳卡基斯 有界系统和环境的时间合成。 （英语） Zbl 1230.68144号 Schwentick，Thomas（编辑）等人，STACS 2011。第28届计算机科学理论方面国际研讨会，德国多特蒙德，2011年3月10日至12日。瓦登：达格斯图尔宫（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） 全文： 内政部 链接
维杰·V·瓦齐拉尼。；米哈利斯·亚纳卡基斯 可分离分段线性凹效用下的市场均衡。 （英语） Zbl 1327.91042号 美国临床医学杂志 58，第3号，第10条，第25页（2011年）.MSC公司：91B50型 2017年第68季度 91B26型 PDF格式BibTeX公司 XML格式引用 \textit｛V.V.Vazirani｝和\textit｛M.Yannakakis｝，J.ACM 58，第3号，第10条，第25页（2011年；Zbl 1327.91042） 全文： 内政部
君士坦丁·达斯卡拉基斯；伊利亚斯·迪亚科尼科拉斯；米哈利斯·亚纳卡基斯 和弦算法有多好？ （英语） Zbl 1288.68261号 Moses Charikar（编辑），第21届ACM-SIAM离散算法年度研讨会论文集，SODA 2010，奥斯汀，德克萨斯州，美国，2010年1月17日至19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）（ISBN 978-0-89871-698-6/CD-ROM）。978-991 (2010).MSC公司：68周25 65年第68季度 2017年第68季度 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{C.Daskalakis}等人，in：第21届ACM-SIAM离散算法年度研讨会论文集，SODA 2010，奥斯汀，德克萨斯州，美国，2010年1月17-19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。978-991（2010年；Zbl 1288.68261） 全文： arXiv公司
库沙·埃特萨米；米哈利斯·亚纳卡基斯 关于纳什均衡和其他不动点的复杂性。 （英语） Zbl 1204.91003号 SIAM J.计算。 39，第6期，2531-2597（2010）. 审核人：米兰马雷什（普拉哈） MSC公司：91A05型 91A10号 2017年第68季度 47甲10 PDF格式BibTeX公司 XML格式引用 \textit｛K.Etessami｝和\textit｛M.Yannakakis｝，SIAM J.Comput。39，第6号，2531--2597（2010；Zbl 1204.91003） 全文： 内政部 链接
库沙·埃特萨米；米哈利斯·亚纳卡基斯 递归马尔可夫链、随机文法和非线性方程的单调系统。 （英语） 兹比尔1325.68091 美国临床医学杂志 56，第1号，第1条，66页（2009年）.MSC公司：2005年第68季度 65立方厘米 65H10型 65年第68季度 第68季度第42季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}和\textit{M.Yannakakis}，J.ACM 56，第1号，第1条，66页（2009年；Zbl 1325.68091） 全文： 内政部
米哈利斯·亚纳卡基斯 平衡、不动点和复杂性类。 （英语） Zbl 1302.68143号 计算。科学。版次。 3，第2期，71-85（2009）.MSC公司：65年第68季度 2015年第68季度 91A05型 91A06型 91A10号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}，计算。科学。第3版，第2号，71--85（2009；Zbl 1302.68143） 全文： 内政部 链接
米哈利斯·亚纳卡基斯 平衡、不动点和复杂性类。 （英语） Zbl 1259.68075号 Albers，Susanne（编辑）等人，STACS 2008。第25届计算机科学理论方面国际研讨会，法国波尔多，2008年2月21日至23日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-06-4）。LIPIcs–莱布尼茨国际信息学会议录1，19-38，仅电子版（2008年）。MSC公司：2015年第68季度 65年第68季度 91A40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}，LIPIcs——莱布尼茨国际程序。通知。1、19-38（2008年；Zbl 1259.68075） 全文： 内政部 链接
伊利亚斯·迪亚科尼科拉斯；米哈利斯·亚纳卡基斯 简洁近似凸Pareto曲线。 （英语） 兹比尔1192.90190 第十九届ACM-SIAM离散算法年度研讨会论文集，加利福尼亚州旧金山，2008年1月20日至22日。纽约州纽约市：计算机协会（ACM）；宾夕法尼亚州费城：工业和应用数学学会（SIAM）（ISBN 978-0-898716-47-4）。74-83 (2008).MSC公司：90C29型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Diakonikolas}和\textit{M.Yannakakis}，摘自：第十九届年度ACM-SIAM离散算法研讨会论文集，SODA 2008，加利福尼亚州旧金山，2008年1月20-22日。纽约州纽约市：计算机协会（ACM）；宾夕法尼亚州费城：工业和应用数学学会（SIAM）。74-83（2008；Zbl 1192.90190）
库沙·埃特萨米；玛尔塔·奎亚特科夫斯卡；莫舍·瓦尔迪。；米哈利斯·亚纳卡基斯 马尔可夫决策过程的多目标模型检验。 （英语） 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） 全文： 内政部
库沙·埃特萨米；米哈利斯·亚纳卡基斯 递归并发随机博弈。 （英语） Zbl 1161.68619号 日志。方法计算。科学。 4，第4期，论文7，21页（2008年）.MSC公司：68问题85 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}和\textit{M.Yannakakis}，Log。方法计算。科学。4，第4号，论文7，第21页（2008年；兹bl 1161.68619） 全文： 内政部
米哈利斯·亚纳卡基斯 自动机、概率和递归。 （英语） Zbl 1172.68533号 Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2008年7月21日至24日，美国加利福尼亚州旧金山，CIAA 2008第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70843-8/pbk）。计算机科学课堂讲稿514823-32（2008）。MSC公司：65年第68季度 60J10型 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}，莱克特。注释计算。科学。5148，23-32（2008；Zbl 1172.68533） 全文： 内政部
库沙·埃特萨米；多米尼克·沃伊特扎克；米哈利斯·亚纳卡基斯 具有正回报的递归随机游戏。 （英语） Zbl 1153.91328号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。会议记录，第一部分，柏林：施普林格出版社（ISBN 978-3-540-70574-1/pbk）。计算机科学课堂讲稿5125711-723（2008）。MSC公司：91A15型 90立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人，Lect。注释计算。科学。5125、711--723（2008年；Zbl 1153.91328） 全文： 内政部 链接
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 1136.90499号 Durand，Bruno（编辑）等人，STACS 2006。2006年2月23日至25日在法国马赛举行的第23届计算机科学理论方面年度研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-32301-3/pbk）。计算机科学课堂讲稿3884634-645（2006）。MSC公司：90立方厘米 91A15型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}和\textit{M.Yannakakis}，莱克特。注释计算。科学。3884634-645（2006年；兹bl 1136.90499） 全文： 内政部 链接
库沙·埃特萨米；米哈利斯·亚纳卡基斯 递归并发随机博弈。 （英语） 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 1108.68073号 日志。J.IGPL公司 14，第5期，729-744（2006）.MSC公司：60年第68季度 68问题32 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Groce}等人，《日志》。J.IGPL 14，第5号，729--744（2006；Zbl 1108.68073） 全文： 内政部 链接
Mosk-Aoyama，达蒙；米哈利斯·亚纳卡基斯 测试分层系统。 （英语） Zbl 1297.68095号 2005年1月23日至25日，加拿大不列颠哥伦比亚省温哥华市，第十六届ACM-SIAM离散算法年会论文集，SODA 2005。纽约州纽约市：ACM出版社（ISBN 0-89871-585-7）。1126-1135 (2005).MSC公司：65年第68季度 2017年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{D.Mosk-Aoyama}和\textit{M.Yannakakis}，摘自：第十六届ACM-SIAM离散算法年会论文集，SODA 2005，加拿大不列颠哥伦比亚省温哥华，2005年1月23日至25日。纽约州纽约市：ACM出版社。1126-1135（2005年；兹bl 1297.68095）
库沙·埃特萨米；米哈利斯·亚纳卡基斯 递归马尔可夫决策过程和递归随机博弈。 （英语） Zbl 1085.68089号 Caires，Luís（编辑）等人，《自动化，语言和编程》。2005年7月11日至15日，葡萄牙里斯本，第32届国际学术讨论会，ICALP 2005。诉讼程序。柏林：施普林格出版社（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 1118.68497号 Diekert，Volker（编辑）等人，STACS 2005。第22届计算机科学理论方面年度研讨会，德国斯图加特，2005年2月24日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24998-2/pbk）。计算机科学课堂讲稿3404、340-352（2005）。MSC公司：2010年第68季度 第68季度第42季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}和\textit{M.Yannakakis}，莱克特。注释计算。科学。3404、340-352（2005年；Zbl 1118.68497） 全文： 内政部
库沙·埃特萨米；米哈利斯·亚纳卡基斯 递归概率状态机的算法验证。 （英语） 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） 全文： 内政部
拉杰夫·阿鲁尔；库沙·埃特萨米；米哈利斯·亚纳卡基斯 MSC图的可实现性和验证。 （英语） Zbl 1088.68097号 西奥。计算。科学。 331，第1期，97-114（2005）.MSC公司：60年第68季度 68号30 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Theor。计算。科学。331，第1号，97--114（2005；Zbl 1088.68097） 全文： 内政部 链接
米哈利斯·亚纳卡基斯 测试、优化和游戏。 （英语） 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 1274.68118号 Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761，42-56（2003年）。MSC公司：68页30 第68季度第42季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Lect。注释计算。科学。2761，42-56（2003年；兹bl 1274.68118） 全文： 内政部
文凯特桑·古鲁斯瓦米；桑吉夫·坎纳；拉贾拉曼·拉杰莫汉；布鲁斯·谢泼德；米哈利斯·亚纳卡基斯 边不相交路径和相关问题的近最优硬度结果和近似算法。 （英语） Zbl 1114.68430号 J.计算。系统。科学。 67，第3期，473-496（2003）.MSC公司：65年第68季度 05C20号 2017年第68季度 68兰特 68周25 PDF格式BibTeX公司 XML格式引用 \textit{V.Guruswami}等人，《计算杂志》。系统。科学。67，第3号，473--496（2003；Zbl 1114.68430） 全文： 内政部
大卫·李；米哈利斯·亚纳卡基斯 闭分区格和机器分解。 （英语） Zbl 1392.68270号 IEEE传输。计算。 51，第216-228号（2002年）.MSC公司：70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lee}和\textit{M.Yannakakis}，IEEE Trans。计算。51，第2号，216--228（2002；Zbl 1392.68270） 全文： 内政部
米哈利斯·亚纳卡基斯 有限状态系统的测试和检查。 （英语） 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） 全文： 链接
多龙·贝利德；莫舍·瓦尔迪。；米哈利斯·亚纳卡基斯 黑盒检查。 （英语） Zbl 1046.68072号 J.汽车。语言梳。 7，第2期，225-246（2002）.MSC公司：68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}等人，J.Autom。Lang.梳。7，第2号，225--246（2002；Zbl 1046.68072）
亚历克斯·格罗斯；多龙·贝利德；米哈利斯·亚纳卡基斯 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 0997.68563号 Dehne，Frank（编辑）等人，《算法和数据结构》。2001年8月8日至10日在美国罗得岛州普罗维登斯举行的WADS 2001第七届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2125, 1 (2001).MSC公司：68单位99 68周25 90C27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}，莱克特。注释计算。科学。2125，1（2001；Zbl 0997.68563） 全文： 链接
拉杰夫·阿鲁尔；库沙·埃特萨米；米哈利斯·亚纳卡基斯 递归状态机分析。 （英语） 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；Zbl 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） 全文： 链接
米哈利斯·亚纳卡基斯 分级状态机。 （英语） Zbl 0998.68525号 van Leeuwen，Jan（编辑）等人，《理论计算机科学》。探索理论信息学的新领域。2000年8月17日至19日在日本仙台举行的IFIP TCS 2000国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1872, 315-330 (2000).MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}，莱克特。注释计算。科学。1872315-330（2000年；Zbl 0998.68525）
文凯特桑·古鲁斯瓦米；桑吉夫·坎纳；拉贾拉曼·拉杰莫汉；布鲁斯·谢泼德；米哈利斯·亚纳卡基斯 边不相交路径和相关问题的近最优硬度结果和近似算法。 （英语） Zbl 1346.68102号 Vitter，Jeffrey Scott（编辑）等人，第31届ACM计算理论研讨会论文集，STOC 1999。1999年5月1日至4日，美国佐治亚州亚特兰大。纽约州纽约市：ACM，计算机协会（ISBN 1-58113-067-8）。19-28 (1999).MSC公司：2017年第68季度 05C85号 68周25 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Guruswami}等人，in：第31届ACM计算理论研讨会论文集，STOC 1999。1999年5月1日至4日，美国佐治亚州亚特兰大。纽约州纽约市：ACM，计算机协会。19-28（1999年；Zbl 1346.68102） 全文： 内政部 链接
多龙·贝利德；莫舍·瓦尔迪。；米哈利斯·亚纳卡基斯 黑盒检查。 （英语） Zbl 0952.68012号 吴建平（编辑）等，协议工程和分布式系统的形式化方法。99年第十二堡/第十九电视台。IFIP TC6 WG6.1分布式系统和通信协议形式描述技术（FORTE XII）和协议规范、测试和验证（PSTV XIX）联合国际会议。中国北京，1999年10月5日至8日。波士顿：Kluwer学术出版社。国际联邦信息流程。，IFIP。28, 225-240 (1999).MSC公司：68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}等人，in：协议工程和分布式系统的形式化方法。99年第十二堡/第十九电视台。IFIP TC6 WG6。1分布式系统和通信协议形式化描述技术国际联合会议（FORTE XII）和协议规范、测试和验证国际联合会议（PSTV XIX）。中国北京，1999年10月5-8日。波士顿：Kluwer学术出版社。225-240（1999年；Zbl 0952.68012）
皮埃尔路易吉·克雷森齐；戈德曼，黛博拉；克里斯托斯·帕帕迪米特里奥；安东尼奥·皮科波尼；米哈利斯·亚纳卡基斯 蛋白质折叠的复杂性（扩展摘要）。 （英语） 兹比尔1007.68511 98年STOC。1998年5月23日至26日在美国德克萨斯州达拉斯举行的第30届ACM计算理论年会论文集。纽约州纽约市：ACM，计算机协会。597-603 (1998).MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Crescenzi}等人，《第30届ACM计算理论研讨会论文集》，STOC’98。美国德克萨斯州达拉斯，1998年5月23日至26日。纽约州纽约市：ACM，计算机协会。597--603（1998年；Zbl 1007.68511）
奥尔纳·库普弗曼；罗伯特·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）
米哈伊利斯·扬纳卡基斯 计算复杂性。 （英语） Zbl 0966.90506号 Emile Aarts（编辑）等人，组合优化中的局部搜索。奇切斯特：威利。19-55 (1997).MSC公司：90C27型 90C60型 2015年第68季度 2005年5月 PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}，in：组合优化中的局部搜索。奇切斯特：威利。19-55（1997年；Zbl 0966.90506）
杰拉德·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）
北加格。；瓦齐拉尼，V.V。；亚纳卡基斯，M。 树中积分流和多截的原对偶近似算法。 （英语） Zbl 0873.68075号 算法 18，第1号，3-20（1997）.MSC公司：90立方厘米 05C85号 65年第68季度 90B10型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{N.Garg}等人，《算法18》，第1期，第3--20页（1997；Zbl 0873.68075） 全文： 内政部
克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；米哈利斯·亚纳卡基斯 关于V-C维的有限不确定性和复杂性。 （英语） Zbl 0859.68031号 J.计算。系统。科学。 53，第2期，161-170（1996）.MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou}和\textit{M.Yannakakis}，J.Compute。系统。科学。53，第2号，161--170（1996；Zbl 0859.68031） 全文： 内政部
埃利亚斯·库索皮亚斯；克里斯托斯·帕帕迪米特里奥；米哈利斯·亚纳卡基斯 搜索固定图形。 （英语） Zbl 1045.90532号 Meyer auf der Heide，Friedhem（编辑）等人，《自动化，语言和编程》。1996年7月8日至12日，第23届国际学术讨论会，ICALP’96，德国帕德博恩。诉讼程序。柏林：施普林格出版社（ISBN 3-540-61440-0/pbk）。莱克特。注释计算。科学。1099200-289（1996年）。MSC公司：90C27型 90立方厘米 68T20型 2017年第68季度 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{E.Koutsopuias}等人，Lect。注释计算。科学。1099280-289（1996年；Zbl 1045.90532）
米哈利斯·亚纳卡基斯；大卫·李 测试有限状态机：故障检测。 （英语） Zbl 0826.68044号 J.计算。系统。科学。 50，第2期，209-227（1995）.MSC公司：2005年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}和\textit{D.Lee}，J.Compute。系统。科学。50，第2号，209--227（1995；Zbl 0826.68044） 全文： 内政部
阿鲁尔，R。；A.伊泰。；库尔山，R.P。；亚纳卡基斯，M。 通过逐次逼近进行计时验证。 （英语） 兹伯利0939.68705 Inf.计算。 118，第1期，142-157（1995）.MSC公司：60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《信息计算》。118，第1号，142--157（1995；Zbl 0939.68705） 全文： 内政部
拉杰夫·阿鲁尔；科斯塔斯·库库贝蒂斯；米哈利斯·亚纳卡基斯 区分非确定性机器和概率机器的测试。 （英语） Zbl 0978.68522号 第27届ACM计算理论年会论文集。1995年5月29日至6月1日，美国内华达州拉斯维加斯。纽约州纽约市：ACM，363-372（1995）。MSC公司：2005年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《第27届ACM计算理论研讨会论文集》，STOC'95。美国内华达州拉斯维加斯，1995年5月29日至6月1日。纽约州纽约市：ACM。363--372（1995年；Zbl 0978.68522）
科斯塔斯·库库贝蒂斯；米哈利斯·亚纳卡基斯 概率验证的复杂性。 （英语） Zbl 0885.68109号 J.助理计算。机器。 42，第4期，857-907（1995）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}和\textit{M.Yannakakis}，J.协会计算。机器。42，第4号，857--907（1995；Zbl 0885.68109） 全文： 内政部
卡斯滕·隆德；米哈利斯·亚纳卡基斯 关于逼近极小化问题的困难。 （英语） Zbl 0814.68064号 J.助理计算。机器。 41，第5号，960-981（1994）.MSC公司：2015年第68季度 68宽10 68卢比 68兰特 PDF格式BibTeX公司 XML格式引用 \textit｛C.Lund｝和\textit｛M.Yannakakis｝，J.计算机助理。机器。41，第5号，960--981（1994；Zbl 0814.68064） 全文： 内政部
加格，纳文；维杰·V·瓦齐拉尼。；米哈利斯·亚纳卡基斯 有向图和节点加权图中的多路切割（扩展抽象）。 （英语） Zbl 1418.68168号 Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。第21届国际学术讨论会，ICALP’94，以色列耶路撒冷，1994年7月11日至14日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。820, 487-498 (1994).MSC公司：68兰特 05C20号 05C21号 05C22号 05C85号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Garg}等人，Lect。注释计算。科学。820487-498（1994年；Zbl 1418.68168） 全文： 内政部
米哈利斯·亚纳卡基斯 关于最大可满足性的逼近。 （英语） Zbl 0820.68056号 J.算法 17，第3期，475-502（1994）.MSC公司：65年第68季度 90C60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}，J.算法17，No.3，475--502（1994；Zbl 0820.68056） 全文： 内政部
大卫·李；米哈利斯·亚纳卡基斯 测试有限状态机：状态识别和验证。 （英语） Zbl 1395.68173号 IEEE传输。计算。 43，第3号，306-320（1994）.MSC公司：65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lee}和\textit{M.Yannakakis}，IEEE Trans。计算。43，第3号，306--320（1994；Zbl 1395.68173） 全文： 内政部 链接
阿夫林·布鲁姆；姜涛；李明；约翰·特朗普；米哈利斯·亚纳卡基斯 最短超弦的线性近似。 （英语） Zbl 0812.68075号 J.助理计算。机器。 41，第4期，630-647（1994）.MSC公司：68瓦32 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{A.Blum}等人，J.协会计算。机器。41，第4号，630--647（1994；Zbl 0812.68075） 全文： 内政部 链接
克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；米哈利斯·亚纳卡基斯 将复杂性视为有限理性（扩展抽象）。 （英语） Zbl 1345.68216号 第26届ACM计算理论年度研讨会论文集，STOC'94，加拿大蒙特利尔，1994年5月23日至25日。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-663-8）。726-733 (1994).MSC公司：65年第68季度 2015年第68季度 65年第68季度 91A20型 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou}和\textit{M.Yannakakis}，摘自：第26届ACM计算理论年度研讨会论文集，STOC'94，加拿大蒙特利尔，1994年5月23日至25日。纽约州纽约市：计算机协会（ACM）。726--733（1994；Zbl 1345.68216） 全文： 内政部
Dahlhaus，E。；D.S.约翰逊。；Papadimitriou，C.H。；P.D.西摩。；亚纳卡基斯，M。 多端切割的复杂性。 （英语） Zbl 0809.68075号 SIAM J.计算。 23,4号，864-894（1994）.MSC公司：65年第68季度 90B10型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.Dahlhaus}等人，SIAM J.Compute。23，第4号，864--894（1994；Zbl 0809.68075） 全文： 内政部
纳文·加格；维杰·V·瓦齐拉尼。；米哈利斯·亚纳卡基斯 树中积分流和多截的原对偶近似算法，以及匹配和设置覆盖的应用。 （英语） Zbl 1418.68244号 Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 64-75 (1993).MSC公司：68周25 05二氧化碳 05C21号 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Garg}等人，Lect。注释计算。科学。700、64-75（1993年；Zbl 1418.68244） 全文： 内政部
卡斯滕·隆德；米哈利斯·亚纳卡基斯 最大子图问题的近似。 （英语） Zbl 1422.68087号 Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 40-51 (1993).MSC公司：2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.Lund}和\textit{M.Yannakakis}，莱克特。注释计算。科学。700、40-51（1993年；Zbl 1422.68087） 全文： 内政部
纳文·加格；维杰·V·瓦齐拉尼。；米哈利斯·亚纳卡基斯 近似最大流最小（多）割定理及其应用。 （英语） Zbl 1310.05198号 第25届ACM计算理论年会论文集，STOC'93。1993年5月16日至18日，美国加利福尼亚州圣地亚哥。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-591-7）。698-707（1993年）。MSC公司：05C85号 05C21号 65年第68季度 68周25 90B10型 PDF格式BibTeX公司 XML格式引用 \textit{N.Garg}等人，《第25届ACM计算理论研讨会论文集》，STOC'93。美国加利福尼亚州圣地亚哥，1993年5月16日至18日。纽约州纽约市：计算机协会（ACM）。698--707（1993年；Zbl 1310.05198） 全文： 内政部
卡斯滕·隆德；米哈利斯·亚纳卡基斯 关于逼近极小化问题的困难。 （英语） Zbl 1310.68094号 第25届ACM计算理论年会论文集，STOC'93。1993年5月16日至18日，美国加利福尼亚州圣地亚哥。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-591-7）。286-293 (1993).MSC公司：2017年第68季度 68卢比 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.Lund}和\textit{M.Yannakakis}，摘自：第25届ACM计算理论研讨会论文集，STOC'93。美国加利福尼亚州圣地亚哥，1993年5月16日至18日。纽约州纽约市：计算机协会（ACM）。286--293（1993；Zbl 1310.68094） 全文： 内政部
克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；米哈利斯·亚纳卡基斯 没有矩阵的线性规划。 （英语） 兹比尔1310.90073 第25届ACM计算理论年会论文集，STOC'93。1993年5月16日至18日，美国加利福尼亚州圣地亚哥。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-591-7）。121-129 (1993).MSC公司：90C05（二氧化碳） 65年第68季度 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou}和\textit{M.Yannakakis}，摘自：第25届ACM计算理论研讨会论文集，STOC’93。美国加利福尼亚州圣地亚哥，1993年5月16日至18日。纽约州纽约市：计算机协会（ACM）。121-129（1993年；Zbl 1310.90073） 全文： 内政部
科斯塔斯·库库贝蒂斯；米哈利斯·亚纳卡基斯 实时系统中的最小和最大延迟问题。 （英语） Zbl 0777.68045号 形式方法系统。设计。 1，第4期，385-415（1992）. 审核人：C.库尔布贝提斯 MSC公司：65年第68季度 68兰特 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}和\textit{M.Yannakakis}，《形式与方法系统》。设计。1，第4号，385--415（1992；Zbl 0777.68045） 全文： 内政部
克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；米哈利斯·亚纳卡基斯 关于信息在分布式决策中的价值（扩展摘要）。 （英语） Zbl 1314.91068号 1991年8月19日至21日，加拿大魁北克省蒙特利尔市，第十届ACM分布式计算原理年度研讨会论文集，PODC’91。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-439-2）。61-64 (1991).MSC公司：91A80型 64岁以下 68平方米 2010年第68季度 91A12号机组 91A43型 91B06型 PDF格式BibTeX公司 XML格式引用 \textit｛C.H.Papadimitriou｝和\textit｛M.Yannakakis｝，载于：第十届ACM分布式计算原理年度研讨会论文集，PODC'91，加拿大蒙特利尔，QC，1991年8月19-21日。纽约州纽约市：计算机协会（ACM）。61-64（1991年；Zbl 1314.91068） 全文： 内政部
克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；米哈利斯·亚纳卡基斯 没有地图的最短路径。 （英语） Zbl 0733.68065号 西奥。计算。科学。 84，第1期，127-150（1991）.MSC公司：68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou}和\textit{M.Yannakakis}，Theor。计算。科学。84，编号1，127--150（1991；Zbl 0733.68065） 全文： 内政部
亚历杭德罗·施费尔。；米哈利斯·亚纳卡基斯 很难解决的简单本地搜索问题。 （英语） 兹比尔0716.68048 SIAM J.计算。 20，第1号，56-87（1991）.MSC公司：65年第68季度 90C27型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Schäffer}和\textit{M.Yannakakis}，SIAM J.Compute。20，编号1，56--87（1991；Zbl 0716.68048） 全文： 内政部
杰弗里·乌尔曼。；米哈利斯·亚纳卡基斯 高概率并行传递闭包算法。 （英语） Zbl 0716.68041号 SIAM J.计算。 20，第1期，100-125页（1991年）.MSC公司：68宽15 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Ullman}和\textit{M.Yannakakis}，SIAM J.Compute。20，第1号，100--125（1991；Zbl 0716.68041） 全文： 内政部
克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；米哈利斯·亚纳卡基斯 优化、近似和复杂性类。 （英语） Zbl 0765.68036号 J.计算。系统。科学。 43，第3期，425-440（1991）. 审核人：I.马罗斯（布达佩斯） MSC公司：2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou}和\textit{M.Yannakakis}，J.Compute。系统。科学。43，第3号，425--440（1991；Zbl 0765.68036） 全文： 内政部
库库贝蒂斯，C。；瓦尔迪，M。；P.沃尔珀。；亚纳卡基斯，M。 用于验证时间属性的内存高效算法。 （英语） 兹比尔0765.68120 计算机辅助验证程序。第二届国际会议，CAV’90，新不伦瑞克/新泽西州（美国），Lect。注释计算。科学。531, 233-242 (1991).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}等人，Lect。注释计算。科学。531233-242（1991年；Zbl 0765.68120）
库库贝蒂斯，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）
Papadimitriou，C.H。；亚纳卡基斯，M。 关于识别整数多面体。 （英语） Zbl 0718.68044号 组合数学 10，第1期，107-109（1990）. 审核人：杜定珠（明尼阿波利斯） MSC公司：65年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou}和\textit{M.Yannakakis}，Combinatorica 10，No.1，107--109（1990；Zbl 0718.68044） 全文： 内政部
克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；米哈利斯·亚纳卡基斯 面向并行算法的架构相关分析。 （英语） Zbl 0692.68032号 SIAM J.计算。 19，第2期，322-328（1990）.MSC公司：65年第68季度 68平方米 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou}和\textit{M.Yannakakis}，SIAM J.Compute。19，第2号，322--328（1990；Zbl 0692.68032） 全文： 内政部
科斯塔斯·库库贝蒂斯；米哈利斯·亚纳卡基斯 马尔可夫决策过程和常规事件。 （英语） Zbl 0765.68152号 自动化、语言和编程、Proc。第17国际学院，沃里克/GB 1990，法律。注释计算。科学。443, 336-349 (1990).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}和\textit{M.Yannakakis}，莱克特。注释计算。科学。44336--349（1990年；Zbl 0765.68152）
维杰·V·瓦齐拉尼。；米哈利斯·亚纳卡基斯 有向图中的Pfaffian方向、0-1永久数和偶数圈。 （英语） Zbl 0696.68076号 离散应用程序。数学。 25，编号1-2，179-190（1989）. 审核人：李高伟 MSC公司：65年第68季度 05立方38 68兰特 15甲15 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Vazirani}和\textit{M.Yannakakis}，离散应用程序。数学。25，编号1--2179-190（1989；Zbl 0696.68076） 全文： 内政部
大卫·约翰逊。；克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；米哈利斯·亚纳卡基斯 本地搜索有多容易？ （英语） Zbl 0655.68074号 J.计算。系统。科学。 37，第1号，79-100（1988）.MSC公司：68页第10页 90C27型 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Johnson}等人，J.Compute。系统。科学。37，编号1，79--100（1988；Zbl 0655.68074） 全文： 内政部
大卫·约翰逊。；米哈伊利斯·扬纳卡基斯；克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。 关于生成所有最大独立集。 （英语） Zbl 0654.68086号 信息处理。莱特。 27，第3期，119-123（1988）.MSC公司：68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Johnson}等人，《Inf.过程》。莱特。27，第3号，119--123（1988；Zbl 0654.68086） 全文： 内政部
维杰·V·瓦齐拉尼。；米哈利斯·亚纳卡基斯 有向图中的Pfaffian方向、0/1永久数和偶数圈。 （英语） Zbl 0648.68060号 自动化、语言和编程、Proc。第15国际集团，坦佩雷/芬兰。1988年，Lect。注释计算。科学。317, 667-681 (1988).MSC公司：65年第68季度 68兰特 15甲15 05立方38 05C70号 PDF格式BibTeX公司 XML格式
克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；米哈利斯·亚纳卡基斯 可靠并发控制的复杂性。 （英语） Zbl 0654.68034号 SIAM J.计算。 16, 538-553 (1987).MSC公司：68平方米 65年第68季度 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou}和\textit{M.Yannakakis}，SIAM J.Compute。16、538--553（1987年；Zbl 0654.68034） 全文： 内政部
米哈利斯·亚纳卡基斯；法尼卡·加维尔 弦图的最大k着色子图问题。 （英语） Zbl 0653.68070号 信息处理。莱特。 24, 133-137 (1987).MSC公司：68兰特 65年第68季度 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}和\textit{F.Gavril}，Inf.过程。莱特。24133-137（1987年；兹bl 0653.68070） 全文： 内政部
克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；米哈利斯·亚纳卡基斯 关于图的简洁表示的注记。 （英语） Zbl 0616.68041号 Inf.控制 71, 181-185 (1986).MSC公司：65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou}和\textit{M.Yannakakis}，Inf.Control 71，181--185（1986；Zbl 0616.68041） 全文： 内政部