M. Yannakakis
发表
M. Yannakakis,
1981
.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1990,
SIAM J. Comput..
M. Yannakakis,
1991,
Symposium on the Theory of Computing.
M. Yannakakis,
David Lee,
2003
.
Moshe Y. Vardi,
M. Yannakakis,
Ibm Almaden,
1992
.
Catriel Beeri,
Mihalis Yannakakis,
Ronald Fagin,
1983,
JACM.
Robert E. Tarjan,
Mihalis Yannakakis,
M. Yannakakis,
1984,
SIAM J. Comput..
Alfred V. Aho,
Mihalis Yannakakis,
Jeffrey D. Ullman,
1983,
STOC.
Mihalis Yannakakis,
Alejandro A. Schäffer,
M. Yannakakis,
1991,
SIAM J. Comput..
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1989,
Theor. Comput. Sci..
Mihalis Yannakakis,
Costas Courcoubetis,
M. Yannakakis,
1991,
Formal Methods Syst. Des..
M. Yannakakis,
V. Vazirani,
Naveen Garg,
1993
.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1994,
STOC '94.
Mihalis Yannakakis,
Costas Courcoubetis,
M. Yannakakis,
1990,
ICALP.
David S. Johnson,
M. Yannakakis,
M. Garey,
1983
.
Pierre Wolper,
Mihalis Yannakakis,
Moshe Y. Vardi,
1990,
Formal Methods Syst. Des..
Kousha Etessami,
Mihalis Yannakakis,
Moshe Y. Vardi,
2007,
Log. Methods Comput. Sci..
M. Yannakakis,
1982
.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1991,
STOC '88.
Mihalis Yannakakis,
Christos H. Papadimitriou,
Paul Seymour,
1994,
SIAM J. Comput..
Mihalis Yannakakis,
Vijay V. Vazirani,
Naveen Garg,
1994,
ICALP.
Mihalis Yannakakis,
Christos H. Papadimitriou,
David S. Johnson,
1992,
STOC '92.
Mihalis Yannakakis,
Christos H. Papadimitriou,
David S. Johnson,
1985,
26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
Mihalis Yannakakis,
M. Yannakakis,
1992,
SODA '92.
Mihalis Yannakakis,
Vijay V. Vazirani,
Naveen Garg,
1996,
SIAM J. Comput..
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2010,
SIAM J. Comput..
Mihalis Yannakakis,
M. Yannakakis,
1991,
STOC '88.
David Lee,
Mihalis Yannakakis,
M. Yannakakis,
1992,
STOC '92.
Oliver Vornberger,
Manuel Blum,
Mihalis Yannakakis,
1981,
Inf. Process. Lett..
Mihalis Yannakakis,
Wolfgang J. Paul,
Maria M. Klawe,
1984,
STOC '84.
Carsten Lund,
Mihalis Yannakakis,
M. Yannakakis,
1994,
JACM.
David Lee,
Mihalis Yannakakis,
M. Yannakakis,
1991,
STOC '91.
Mihalis Yannakakis,
H. T. Kung,
Christos H. Papadimitriou,
1979,
20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1986,
Inf. Control..
Xi Chen,
Mihalis Yannakakis,
Ilias Diakonikolas,
2013,
SODA.
M. Yannakakis,
2009
.
M. Yannakakis,
K. Etessami,
2006
.
M. Yannakakis,
2016,
Symposium on the Theory of Computing.
Mihalis Yannakakis,
M. Yannakakis,
F. Gavril,
1980
.
M. Yannakakis,
Ilias Diakonikolas,
2022
.
Mihalis Yannakakis,
Ilias Diakonikolas,
M. Yannakakis,
2007,
APPROX-RANDOM.
M. Yannakakis,
David Lee,
2009
.
Moshe Y. Vardi,
M. Yannakakis,
M. Kwiatkowska,
2007
.
Ilya Volkovich,
Mihalis Yannakakis,
Linh Le,
2019,
Electron. Colloquium Comput. Complex..
Tao Jiang,
Mihalis Yannakakis,
Avrim Blum,
1994,
JACM.
M. Yannakakis,
2016
.
Mihalis Yannakakis,
Christos H. Papadimitriou,
David S. Johnson,
1985,
26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
Mihalis Yannakakis,
Ilias Diakonikolas,
M. Yannakakis,
2008
.
Steven F Knittel,
M. Yannakakis,
B. Kernighan,
1996
.
Mihalis Yannakakis,
M. Yannakakis,
1986,
Symposium on the Theory of Computing.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1982,
STOC '82.
Mihalis Yannakakis,
Richard E. Ladner,
Peter Honeyman,
1980,
Inf. Process. Lett..
M. Yannakakis,
2022
.
M. Yannakakis,
2022,
SIGMOD Rec..
Christos H. Papadimitriou,
M. Yannakakis,
Daniel Mitropolsky,
2022,
NALOMA.
Mihalis Yannakakis,
M. Yannakakis,
1986,
Aegean Workshop on Computing.
Mihalis Yannakakis,
Dimitris Paparas,
Xi Chen,
2017
.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1981,
Inf. Process. Lett..
Mihalis Yannakakis,
Alejandro A. Schäffer,
Christos H. Papadimitriou,
1990,
STOC 1990.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1981,
FOCS 1981.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1988,
STOC 1988.
Mihalis Yannakakis,
Christos H. Papadimitriou,
Stavros S. Cosmadakis,
1983,
ICALP.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1980,
21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1981,
Information Processing Letters.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1985,
PODS '85.
Robert E. Tarjan,
Mihalis Yannakakis,
M. Yannakakis,
1985,
SIAM J. Comput..
Mihalis Yannakakis,
Ouri Wolfson,
M. Yannakakis,
1985,
PODS '85.
Sergei Vassilvitskii,
Mihalis Yannakakis,
M. Yannakakis,
2005,
Theoretical Computer Science.
M. Yannakakis,
David Lee,
Yow-Jian Lin,
1998,
Formal Techniques for (Networked and) Distributed Systems.
Mihalis Yannakakis,
David Lee,
M. Yannakakis,
1991,
STOC 1991.
Sampath Kannan,
Mihalis Yannakakis,
M. Yannakakis,
2004,
J. Comput. Syst. Sci..
Mihalis Yannakakis,
M. Yannakakis,
1990,
STACS.
Mihalis Yannakakis,
Chris Edmondson-Yurkanan,
M. Yannakakis,
1988,
ACM SIGMOD Conference.
Mihalis Yannakakis,
M. Yannakakis,
2003
.
Mihalis Yannakakis,
Wolfgang J. Paul,
Nicholas Pippenger,
1984,
Symposium on the Theory of Computing.
Mihalis Yannakakis,
M. Yannakakis,
1988,
Symposium on the Theory of Computing.
David Lee,
Mihalis Yannakakis,
M. Yannakakis,
1996
.
Mihalis Yannakakis,
M. Yannakakis,
1994,
CIAC.
Pierre Wolper,
Mihalis Yannakakis,
Moshe Y. Vardi,
1990,
Formal Methods Syst. Des..
Mihalis Yannakakis,
Vijay V. Vazirani,
Naveen Garg,
1993,
ICALP.
Mihalis Yannakakis,
M. Yannakakis,
1995,
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems.
Mihalis Yannakakis,
Vijay V. Vazirani,
M. Yannakakis,
2020,
ITCS.
M. Yannakakis,
Christos Papadimitriou,
Amol Pasarkar,
2022,
ITCS.
M. Yannakakis,
X. Chen,
Dimitris Paparas,
2012,
STOC '13.
M. Yannakakis,
Miranda Christ,
2022,
STOC.
M. Yannakakis,
Alistair Stewart,
K. Etessami,
2016
.
David Lee,
Mihalis Yannakakis,
M. Yannakakis,
1996,
Proc. IEEE.
Upper Bounds for Newton’s Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata
pdf
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2013,
J. ACM.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2005,
ICALP.
Carsten Lund,
Mihalis Yannakakis,
M. Yannakakis,
1993,
STOC.
Mihalis Yannakakis,
Jeffrey D. Ullman,
M. Yannakakis,
1990,
SIGMOD '90.
M. Yannakakis,
Dimitris Paparas,
Xi Chen,
2017
.
Mihalis Yannakakis,
Christos H. Papadimitriou,
Pierluigi Crescenzi,
1998,
J. Comput. Biol..
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2005,
JACM.
John M. Lewis,
Mihalis Yannakakis,
M. Yannakakis,
1980,
J. Comput. Syst. Sci..
Mihalis Yannakakis,
M. Yannakakis,
1978,
STOC.
Tao Jiang,
Mihalis Yannakakis,
Avrim Blum,
1991,
STOC '91.
Mihalis Yannakakis,
M. Yannakakis,
2008,
CIAA.
Mihalis Yannakakis,
M. Yannakakis,
2006,
ATVA.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2005,
ISAAC.
Mihalis Yannakakis,
Vijay V. Vazirani,
Naveen Garg,
1997,
Algorithmica.
Mihalis Yannakakis,
Costas Courcoubetis,
M. Yannakakis,
1995,
JACM.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1982,
JACM.
Mihalis Yannakakis,
M. Yannakakis,
1981,
SIAM J. Comput..
David Lee,
Mihalis Yannakakis,
M. Yannakakis,
1997,
Formal Methods Syst. Des..
David Lee,
Mihalis Yannakakis,
M. Yannakakis,
2002,
IEEE Trans. Computers.
Mihalis Yannakakis,
M. Yannakakis,
2000,
IFIP TCS.
Costas Courcoubetis,
M. Yannakakis,
C. Courcoubetis,
1991,
Formal Methods Syst. Des..
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1990,
STOC '88.
Alfred V. Aho,
Mihalis Yannakakis,
Jeffrey D. Ullman,
1982
.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2010,
48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).
Mihalis Yannakakis,
Vijay V. Vazirani,
Naveen Garg,
2004,
J. Algorithms.
Mihalis Yannakakis,
Christos H. Papadimitriou,
David S. Johnson,
1988,
Inf. Process. Lett..
Mihalis Yannakakis,
M. Yannakakis,
1981,
VLDB.
Mihalis Yannakakis,
Yehoshua Sagiv,
M. Yannakakis,
1980,
J. ACM.
Mihalis Yannakakis,
Foto N. Afrati,
Stavros S. Cosmadakis,
1995,
J. Comput. Syst. Sci..
A Note on the Complexity of Comparing Succinctly Represented Integers, with an Application to Maximum Probability Parsing
pdf
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2013,
TOCT.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1981,
22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
Mihalis Yannakakis,
Saleh Soltan,
Gil Zussman,
2018,
IEEE Transactions on Control of Network Systems.
Mihalis Yannakakis,
Saleh Soltan,
Gil Zussman,
2015,
SIGMETRICS 2015.
Mihalis Yannakakis,
Ilias Diakonikolas,
Constantinos Daskalakis,
2010,
SODA '10.
Mihalis Yannakakis,
Ilias Diakonikolas,
M. Yannakakis,
2009,
SIAM J. Comput..
Mihalis Yannakakis,
Ilias Diakonikolas,
M. Yannakakis,
2008,
SODA '08.
Sergei Vassilvitskii,
Mihalis Yannakakis,
M. Yannakakis,
2005,
Theor. Comput. Sci..
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
2000,
Proceedings 41st Annual Symposium on Foundations of Computer Science.
Sampath Kannan,
Rajeev Alur,
Mihalis Yannakakis,
1999,
ICALP.
Mihalis Yannakakis,
Vijay V. Vazirani,
M. Yannakakis,
2012
.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1982,
STOC '82.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1991,
STOC '88.
Mihalis Yannakakis,
Jeffrey D. Ullman,
M. Yannakakis,
1990,
SPAA '90.
Mihalis Yannakakis,
M. Yannakakis,
1993,
ISAAC.
Mihalis Yannakakis,
M. Yannakakis,
1983,
24th Annual Symposium on Foundations of Computer Science (sfcs 1983).
Mihalis Yannakakis,
M. Yannakakis,
1982,
JACM.
Mihalis Yannakakis,
M. Yannakakis,
1982,
SIAM J. Comput..
Mihalis Yannakakis,
M. Yannakakis,
1980,
21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1979,
SIAM J. Comput..
Rajeev Alur,
Kousha Etessami,
Mihalis Yannakakis,
2001,
TOPL.
Pierre Wolper,
Mihalis Yannakakis,
Moshe Y. Vardi,
1990,
Formal Methods Syst. Des..
Mihalis Yannakakis,
Christos Papadimitriou,
Kiran Vodrahalli,
2020,
WINE.
Mihalis Yannakakis,
Christos H. Papadimitriou,
Elias Koutsoupias,
1996,
ICALP.
Mihalis Yannakakis,
Vijay V. Vazirani,
Naveen Garg,
1993,
SIAM J. Comput..
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1993,
Math. Oper. Res..
Mihalis Yannakakis,
M. Yannakakis,
1979,
JACM.
Rajeev Alur,
Mihalis Yannakakis,
Robert P. Kurshan,
1992,
Inf. Comput..
Carsten Lund,
Mihalis Yannakakis,
M. Yannakakis,
1993,
ICALP.
Mihalis Yannakakis,
M. Yannakakis,
1990,
PODS.
Rajeev Alur,
Mihalis Yannakakis,
Costas Courcoubetis,
1995,
STOC '95.
Mihalis Yannakakis,
M. Yannakakis,
2009,
SAGT.
Kousha Etessami,
Mihalis Yannakakis,
Dominik Wojtczak,
2008,
ICALP.
Mihalis Yannakakis,
M. Yannakakis,
2008,
STACS.
Mihalis Yannakakis,
Edward G. Coffman,
Michael J. Magazine,
1991
.
Mihalis Yannakakis,
Edward G. Coffman,
David S. Johnson,
2002,
SIAM Rev..
Mihalis Yannakakis,
Doron A. Peled,
Moshe Y. Vardi,
1999,
FORTE.
David Lee,
Mihalis Yannakakis,
M. Yannakakis,
1994,
IEEE Trans. Computers.
Mihalis Yannakakis,
Saleh Soltan,
Gil Zussman,
2016,
SODA.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2012,
TOCL.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2005,
Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
Alex Groce,
Mihalis Yannakakis,
Doron A. Peled,
2002,
Log. J. IGPL.
Rajeev Alur,
Mihalis Yannakakis,
M. Yannakakis,
2001,
SIGSOFT '98/FSE-6.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2000,
FORTE.
Rajeev Alur,
Mihalis Yannakakis,
M. Yannakakis,
1999,
CONCUR.
Rajeev Alur,
Mihalis Yannakakis,
M. Yannakakis,
1998,
TOPL.
Mihalis Yannakakis,
Costas Courcoubetis,
M. Yannakakis,
1988,
[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.
Mihalis Yannakakis,
Orna Kupferman,
Yoad Lustig,
2011,
STACS.
Mihalis Yannakakis,
Gerard J. Holzmann,
Doron A. Peled,
1996,
The Spin Verification System.
Mihalis Yannakakis,
M. Yannakakis,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Mihalis Yannakakis,
M. Yannakakis,
2004,
ICALP.
David Lee,
Mihalis Yannakakis,
M. Yannakakis,
1998,
CSL.
Mihalis Yannakakis,
David Lee,
M. Yannakakis,
1996,
Proceedings of 1996 International Conference on Network Protocols (ICNP-96).
Rajeev Alur,
Kousha Etessami,
Mihalis Yannakakis,
2000,
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Mihalis Yannakakis,
M. Yannakakis,
2001,
WADS.
Mihalis Yannakakis,
Yehoshua Sagiv,
M. Yannakakis,
1978,
VLDB.
Mihalis Yannakakis,
M. Yannakakis,
1995,
Proceedings of IEEE 36th Annual Foundations of Computer Science.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1993,
[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference.
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2012,
STOC '12.
Polynomial Time Algorithms for Multi-Type Branching Processes and Stochastic Context-Free Grammars
pdf
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2012,
ArXiv.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2005,
TACAS.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2006,
STACS.
Mihalis Yannakakis,
David Maier,
Yehoshua Sagiv,
1981,
JACM.
Mihalis Yannakakis,
Binghui Peng,
Xi Chen,
2021,
SODA.
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2018,
Inf. Comput..
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2018,
ICALP.
Mihalis Yannakakis,
Vijay V. Vazirani,
M. Yannakakis,
1992,
ICALP.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1993,
STOC.
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1991,
PODC '91.
Sujata Banerjee,
Yifei Yuan,
Vyas Sekar,
2019,
NSDI.
Mihalis Yannakakis,
Alejandro A. Schäffer,
Christos H. Papadimitriou,
1990,
STOC '90.
Mihalis Yannakakis,
Puneet Sharma,
Joon-Myung Kang,
2021,
2021 International Conference on Computer Communications and Networks (ICCCN).
Mihalis Yannakakis,
M. Yannakakis,
1981,
SIAM J. Comput..
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1999,
J. Comput. Syst. Sci..
Mihalis Yannakakis,
M. Yannakakis,
2020,
J. Comb. Theory, Ser. B.
Mihalis Yannakakis,
M. Yannakakis,
1989,
J. Comput. Syst. Sci..
Esther M. Arkin,
Mihalis Yannakakis,
Christos H. Papadimitriou,
1991,
JACM.
Mihalis Yannakakis,
Fanica Gavril,
M. Yannakakis,
1987,
Inf. Process. Lett..
Mihalis Yannakakis,
Christos H. Papadimitriou,
Pierluigi Crescenzi,
1998,
STOC '98.
Rajeev Alur,
Kousha Etessami,
Mihalis Yannakakis,
2005,
Theor. Comput. Sci..
Puneet Sharma,
Diman Zad Tootaghaj,
Faraz Ahmed,
2020,
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications.
Mihalis Yannakakis,
Edward G. Coffman,
M. Yannakakis,
1984,
Math. Oper. Res..
Mihalis Yannakakis,
Foto N. Afrati,
Stavros S. Cosmadakis,
1991,
PODS '91.
David Lee,
Mihalis Yannakakis,
Christine Liu,
2004,
OPODIS.
Venkatesan Guruswami,
Rajmohan Rajaraman,
Mihalis Yannakakis,
1999,
STOC '99.
M. Yannakakis,
K. Etessami,
2006,
Log. Methods Comput. Sci..
Kousha Etessami,
Mihalis Yannakakis,
Aviad Rubinstein,
2019,
ITCS.
M. Yannakakis,
K. Etessami,
2005,
TACAS.
M. Yannakakis,
Alistair Stewart,
K. Etessami,
2017,
SIAM J. Comput..
Alfred V. Aho,
Mihalis Yannakakis,
Jeffrey D. Ullman,
1979,
20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
Mihalis Yannakakis,
Edward G. Coffman,
Ardavan Nozari,
1989,
Oper. Res..
Mihalis Yannakakis,
Christos H. Papadimitriou,
M. Yannakakis,
1997,
PODS.
Alex Groce,
Mihalis Yannakakis,
Doron A. Peled,
2002,
CAV.
Kousha Etessami,
Mihalis Yannakakis,
Dominik Wojtczak,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
M. Yannakakis,
K. Etessami,
2010,
48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).
Mihalis Yannakakis,
Christos H. Papadimitriou,
Paolo Serafini,
1993,
Discret. Appl. Math..
David S. Johnson,
M. Yannakakis,
C. Papadimitriou,
1985,
J. Comput. Syst. Sci..
Mihalis Yannakakis,
Saleh Soltan,
Gil Zussman,
2019,
PERV.
Mihalis Yannakakis,
Theodosios Pavlidis,
M. Yannakakis,
1979,
Inf. Control..
Mihalis Yannakakis,
Christos H. Papadimitriou,
Pierluigi Crescenzi,
1998,
RECOMB '98.
Mihalis Yannakakis,
Edward G. Coffman,
David S. Johnson,
1991,
STOC '91.