Mihalis Yannakakis

发表

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2005, Theor. Comput. Sci..

Mihalis Yannakakis, M. Yannakakis, 1992, SODA '92.

Mihalis Yannakakis, Jeffrey D. Ullman, 1991, SIAM J. Comput..

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1988, STOC 1988.

Mihalis Yannakakis, Damon Mosk-Aoyama, 2005, SODA '05.

Kousha Etessami, Mihalis Yannakakis, M. Yannakakis, 2010, SIAM J. Comput..

Mihalis Yannakakis, M. Yannakakis, 2000, IFIP TCS.

Rajeev Alur, Mihalis Yannakakis, M. Yannakakis, 1998, TOPL.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1981, Inf. Process. Lett..

Mihalis Yannakakis, M. Yannakakis, 2020, J. Comb. Theory, Ser. B.

Mihalis Yannakakis, Xi Chen, Chenghao Guo, 2020, STOC.

Mihalis Yannakakis, Vijay V. Vazirani, Naveen Garg, 1997, Algorithmica.

Kousha Etessami, Mihalis Yannakakis, Alistair Stewart, 2012, STOC '12.

Sergei Vassilvitskii, Mihalis Yannakakis, M. Yannakakis, 2005, Theoretical Computer Science.

Mihalis Yannakakis, Christos H. Papadimitriou, Elias Koutsoupias, 1996, ICALP.

Mihalis Yannakakis, Christos H. Papadimitriou, Pierluigi Crescenzi, 1998, J. Comput. Biol..

Mihalis Yannakakis, M. Yannakakis, 1982, SIAM J. Comput..

Alex Groce, Mihalis Yannakakis, Doron A. Peled, 2002, CAV.

Kousha Etessami, Mihalis Yannakakis, Moshe Y. Vardi, 2007, Log. Methods Comput. Sci..

David Lee, Mihalis Yannakakis, 1997, Formal Methods Syst. Des..

Alfred V. Aho, Mihalis Yannakakis, Jeffrey D. Ullman, 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

Mihalis Yannakakis, Saleh Soltan, Gil Zussman, 2015, SIGMETRICS 2015.

Mihalis Yannakakis, M. Yannakakis, 1991, STOC '88.

Mihalis Yannakakis, Christos H. Papadimitriou, David S. Johnson, 1988, Inf. Process. Lett..

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1982, STOC '82.

Mihalis Yannakakis, Fanica Gavril, M. Yannakakis, 1987, Inf. Process. Lett..

Mihalis Yannakakis, Christos H. Papadimitriou, 1979, ICALP.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1990, STOC '88.

Mihalis Yannakakis, M. Yannakakis, 1990, Symposium on Theoretical Aspects of Computer Science.

Kousha Etessami, Mihalis Yannakakis, Moshe Y. Vardi, 2007, TACAS.

Mihalis Yannakakis, Edward G. Coffman, David S. Johnson, 2000, SIAM J. Discret. Math..

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2001, TOPL.

Pierre Wolper, Mihalis Yannakakis, Moshe Y. Vardi, 1990, Formal Methods Syst. Des..

Sergei Vassilvitskii, Mihalis Yannakakis, M. Yannakakis, 2005, Theor. Comput. Sci..

David Lee, Mihalis Yannakakis, M. Yannakakis, 2002, IEEE Trans. Computers.

Mihalis Yannakakis, Doron A. Peled, Moshe Y. Vardi, 1999, FORTE.

David Lee, Mihalis Yannakakis, Christine Liu, 2004, OPODIS.

Tao Jiang, Mihalis Yannakakis, Avrim Blum, 1991, STOC '91.

Xi Chen, Mihalis Yannakakis, Ilias Diakonikolas, 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.

Mihalis Yannakakis, Jeffrey D. Ullman, M. Yannakakis, 1990, SPAA '90.

Kousha Etessami, Mihalis Yannakakis, M. Yannakakis, 2005, ICALP.

Kousha Etessami, Mihalis Yannakakis, 2006, ICALP.

Rajeev Alur, Mihalis Yannakakis, Costas Courcoubetis, 1995, STOC '95.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1982, JACM.

Mihalis Yannakakis, M. Yannakakis, 1981, VLDB.

Kousha Etessami, Mihalis Yannakakis, Aviad Rubinstein, 2019, ITCS.

Mihalis Yannakakis, Vijay V. Vazirani, 1989, Discret. Appl. Math..

Mihalis Yannakakis, Vijay V. Vazirani, Naveen Garg, 1993, SIAM J. Comput..

Mihalis Yannakakis, Marc H. Graham, 1982, PODS '82.

Mihalis Yannakakis, Patrice Godefroid, 2013, TACAS.

Carsten Lund, Mihalis Yannakakis, M. Yannakakis, 1993, STOC.

Mihalis Yannakakis, Christos H Papadimitriou, 2010, Proceedings of the National Academy of Sciences.

Mihalis Yannakakis, 2006, WINE.

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2005, Theor. Comput. Sci..

Xi Chen, Mihalis Yannakakis, Dimitris Paparas, 2017, ArXiv.

Mihalis Yannakakis, David Lee, M. Yannakakis, 1996, Proceedings of 1996 International Conference on Network Protocols (ICNP-96).

Mihalis Yannakakis, Christos H. Papadimitriou, Pierluigi Crescenzi, 1998, STOC '98.

Mihalis Yannakakis, Ilias Diakonikolas, M. Yannakakis, 2007, APPROX-RANDOM.

Mihalis Yannakakis, Costas Courcoubetis, M. Yannakakis, 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

Mihalis Yannakakis, Christos H. Papadimitriou, Paul Seymour, 1994, SIAM J. Comput..

Oliver Vornberger, Manuel Blum, Mihalis Yannakakis, 1981, Inf. Process. Lett..

Mihalis Yannakakis, Christos H. Papadimitriou, 1997, J. Comput. Syst. Sci..

Mihalis Yannakakis, M. Yannakakis, 1986, Aegean Workshop on Computing.

Mihalis Yannakakis, Vijay V. Vazirani, M. Yannakakis, 2011, JACM.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1982, STOC '82.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1997, PODS.

Mihalis Yannakakis, Saleh Soltan, Gil Zussman, 2019, PERV.

Kousha Etessami, Mihalis Yannakakis, M. Yannakakis, 2000, FORTE.

Mihalis Yannakakis, 1984, PODS '84.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1989, Theor. Comput. Sci..

Mihalis Yannakakis, Christos H. Papadimitriou, 1990, Comb..

Xi Chen, Mihalis Yannakakis, Ilias Diakonikolas, 2013, SODA.

Mihalis Yannakakis, Costas Courcoubetis, M. Yannakakis, 1995, JACM.

Mihalis Yannakakis, Ilias Diakonikolas, M. Yannakakis, 2009, SIAM J. Comput..

Mihalis Yannakakis, 2006, IFIP TCS.

Mihalis Yannakakis, M. Yannakakis, 2006, ATVA.

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2003, IEEE Trans. Software Eng..

Mihalis Yannakakis, 1996, SIGA.

David Lee, Mihalis Yannakakis, M. Yannakakis, 1998, CSL.

Sampath Kannan, Mihalis Yannakakis, M. Yannakakis, 2004, J. Comput. Syst. Sci..

Mihalis Yannakakis, Jeffrey D. Ullman, M. Yannakakis, 1990, SIGMOD '90.

Catriel Beeri, Mihalis Yannakakis, Ronald Fagin, 1981, STOC '81.

Mihalis Yannakakis, Ilias Diakonikolas, Constantinos Daskalakis, 2010, SODA.

David Lee, Mihalis Yannakakis, M. Yannakakis, 1996, Proc. IEEE.

Mihalis Yannakakis, David Maier, Yehoshua Sagiv, 1981, JACM.

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, 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

Mihalis Yannakakis, Ronald Fagin, David Maier, 1983, SIAM J. Comput..

Mihalis Yannakakis, Moshe Y. Vardi, Doron Peled, 1999 .

Kousha Etessami, Mihalis Yannakakis, M. Yannakakis, 2005, TACAS.

Alex Groce, Mihalis Yannakakis, Doron A. Peled, 2006, Log. J. IGPL.

Mihalis Yannakakis, David Lee, M. Yannakakis, 1991, STOC 1991.

David Lee, Mihalis Yannakakis, M. Yannakakis, 1997, Formal Methods Syst. Des..

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2001, CAV.

Esther M. Arkin, Mihalis Yannakakis, Christos H. Papadimitriou, 1991, JACM.

Kousha Etessami, Mihalis Yannakakis, Dominik Wojtczak, 2019, Theor. Comput. Sci..

Mihalis Yannakakis, Ouri Wolfson, M. Yannakakis, 1985, PODS '85.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1991, STOC '88.

Santosh S. Vempala, Mihalis Yannakakis, 1999, SODA '99.

Carsten Lund, Mihalis Yannakakis, M. Yannakakis, 1993, ICALP.

Mihalis Yannakakis, Christos H. Papadimitriou, Paolo Serafini, 1993, Discret. Appl. Math..

Catriel Beeri, Mihalis Yannakakis, Ronald Fagin, 1983, JACM.

Kousha Etessami, Mihalis Yannakakis, Dominik Wojtczak, 2008, ICALP.

Mihalis Yannakakis, M. Yannakakis, 2009, SAGT.

Mihalis Yannakakis, Wolfgang J. Paul, Maria M. Klawe, 1984, STOC '84.

Xi Chen, Mihalis Yannakakis, Dimitris Paparas, 2018, SODA.

Mihalis Yannakakis, M. Yannakakis, 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

Mihalis Yannakakis, M. Yannakakis, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1999, J. Comput. Syst. Sci..

Mihalis Yannakakis, Foto N. Afrati, Stavros S. Cosmadakis, 1995, J. Comput. Syst. Sci..

Mihalis Yannakakis, Ilias Diakonikolas, M. Yannakakis, 2008 .

Mihalis Yannakakis, M. Yannakakis, 1978, STOC.

Mihalis Yannakakis, Christos H. Papadimitriou, 1992, PODS '92.

John M. Lewis, Mihalis Yannakakis, M. Yannakakis, 1980, J. Comput. Syst. Sci..

Mihalis Yannakakis, Christos H. Papadimitriou, Matei T. Ciocarlie, 2018, Robotics: Science and Systems.

Mihalis Yannakakis, M. Yannakakis, 2003 .

Mihalis Yannakakis, Alejandro A. Schäffer, M. Yannakakis, 1991, SIAM J. Comput..

Pierre Wolper, Mihalis Yannakakis, Moshe Y. Vardi, 1990, Formal Methods Syst. Des..

Mihalis Yannakakis, Christos H. Papadimitriou, 2001, PODS '01.

Mihalis Yannakakis, Vijay V. Vazirani, Naveen Garg, 1996, SIAM J. Comput..

Pierre Wolper, Mihalis Yannakakis, Moshe Y. Vardi, 1990, Formal Methods Syst. Des..

Mihalis Yannakakis, M. Yannakakis, 1993, ISAAC.

Kousha Etessami, Mihalis Yannakakis, Alistair Stewart, 2017, SIAM J. Comput..

Mihalis Yannakakis, Spyridon Antonakopoulos, 2009 .

Mihalis Yannakakis, Costas Courcoubetis, M. Yannakakis, 1990, ICALP.

Mihalis Yannakakis, Yehoshua Sagiv, M. Yannakakis, 1978, VLDB.

Sampath Kannan, Rajeev Alur, Mihalis Yannakakis, 1999, ICALP.

Tao Jiang, Mihalis Yannakakis, Avrim Blum, 1994, JACM.

Mihalis Yannakakis, Yehoshua Sagiv, M. Yannakakis, 1980, J. ACM.

Kousha Etessami, Mihalis Yannakakis, M. Yannakakis, 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1991, PODC '91.

Mihalis Yannakakis, M. Yannakakis, 1989, J. Comput. Syst. Sci..

Mihalis Yannakakis, Robert P. Kurshan, Orna Kupferman, 1997, CSL.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1994, STOC '94.

Alon Itai, Rajeev Alur, Mihalis Yannakakis, 1992, CAV.

Mihalis Yannakakis, 2004, LICS 2004.

David Lee, Mihalis Yannakakis, M. Yannakakis, 1994, IEEE Trans. Computers.

Mihalis Yannakakis, M. Yannakakis, 1986, Symposium on the Theory of Computing.

Mihalis Yannakakis, Vijay V. Vazirani, M. Yannakakis, 1992, ICALP.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1990, SIAM J. Comput..

Mihalis Yannakakis, M. Yannakakis, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

Mihalis Yannakakis, Edward G. Coffman, M. Yannakakis, 1984, Math. Oper. Res..

Sujata Banerjee, Yifei Yuan, Vyas Sekar, 2019, NSDI.

Mihalis Yannakakis, Vijay V. Vazirani, Naveen Garg, 2004, J. Algorithms.

Venkatesan Guruswami, Rajmohan Rajaraman, Mihalis Yannakakis, 2003, J. Comput. Syst. Sci..

Mihalis Yannakakis, M. Yannakakis, 1981, SIAM J. Comput..

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

Mihalis Yannakakis, Gerard J. Holzmann, Doron A. Peled, 1996, The Spin Verification System.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1993, STOC.

Mihalis Yannakakis, M. Yannakakis, 2008, STACS.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1985, PODS '85.

Kousha Etessami, Mihalis Yannakakis, M. Yannakakis, 2012, TOCL.

Kousha Etessami, Mihalis Yannakakis, Alistair Stewart, 2018, ICALP.

Mihalis Yannakakis, 2002, LATIN.

Mihalis Yannakakis, Christos H. Papadimitriou, David S. Johnson, 1985, FOCS.

Kousha Etessami, Mihalis Yannakakis, Alistair Stewart, 2013, ICALP.

Mihalis Yannakakis, H. T. Kung, Christos H. Papadimitriou, 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

Mihalis Yannakakis, Christos H. Papadimitriou, Pierluigi Crescenzi, 1998, RECOMB '98.

Mihalis Yannakakis, Christos H. Papadimitriou, 1996, J. Comput. Syst. Sci..

Kousha Etessami, Mihalis Yannakakis, M. Yannakakis, 2005, JACM.

Alfred V. Aho, Mihalis Yannakakis, Jeffrey D. Ullman, 1983, STOC.

David Lee, Mihalis Yannakakis, M. Yannakakis, 1991, STOC '91.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

Mihalis Yannakakis, Richard E. Ladner, Peter Honeyman, 1980, Inf. Process. Lett..

Rajeev Alur, Mihalis Yannakakis, M. Yannakakis, 2001, SIGSOFT '98/FSE-6.

Mihalis Yannakakis, Costas Courcoubetis, M. Yannakakis, 1991, Formal Methods Syst. Des..

Swarat Chaudhuri, Sudipto Guha, Rajeev Alur, 2003, CONCUR.

Mihalis Yannakakis, Christos H. Papadimitriou, 1989, ICALP.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1986, Inf. Control..

Mihalis Yannakakis, Saleh Soltan, Gil Zussman, 2019, IEEE Transactions on Network Science and Engineering.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1981, FOCS 1981.

David Lee, Mihalis Yannakakis, M. Yannakakis, 1992, STOC '92.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1991, STOC '88.

Mihalis Yannakakis, Christos H. Papadimitriou, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

Mihalis Yannakakis, Ilias Diakonikolas, Constantinos Daskalakis, 2010, SODA '10.

Rajeev Alur, Mihalis Yannakakis, Robert P. Kurshan, 1992, Inf. Comput..

Mihalis Yannakakis, Saleh Soltan, Gil Zussman, 2018, IEEE Transactions on Control of Network Systems.

Mihalis Yannakakis, M. Yannakakis, 2004, ICALP.

Mihalis Yannakakis, Christos H. Papadimitriou, David S. Johnson, 1992, STOC '92.

Mihalis Yannakakis, 2012, MFCS.

Kousha Etessami, Mihalis Yannakakis, Dominik Wojtczak, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Xi Chen, Mihalis Yannakakis, Ilias Diakonikolas, 2018, Games Econ. Behav..

Mihalis Yannakakis, Alejandro A. Schäffer, Christos H. Papadimitriou, 1990, STOC 1990.

Mihalis Yannakakis, Foto N. Afrati, Stavros S. Cosmadakis, 1991, PODS '91.

Ilya Volkovich, Mihalis Yannakakis, Linh Le, 2019, Electron. Colloquium Comput. Complex..

Mihalis Yannakakis, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1993, Math. Oper. Res..

Mihalis Yannakakis, M. Yannakakis, 1990, PODS '90.

Mihalis Yannakakis, Jeffrey D. Ullman, 2005, Annals of Mathematics and Artificial Intelligence.

Thanasis Hadzilacos, Mihalis Yannakakis, 1985, PODS '86.

Mihalis Yannakakis, M. Yannakakis, 1982, JACM.

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1993, [1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference.

Mihalis Yannakakis, Christos H. Papadimitriou, David S. Johnson, 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

Mihalis Yannakakis, M. Yannakakis, 1995, ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems.

Alfred V. Aho, Mihalis Yannakakis, Jeffrey D. Ullman, 1982 .

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1979, SIAM J. Comput..

Mihalis Yannakakis, Christos H. Papadimitriou, Stavros S. Cosmadakis, 1983, ICALP.

Mihalis Yannakakis, M. Yannakakis, 1994, CIAC.

David Lee, Mihalis Yannakakis, 1995, J. Comput. Syst. Sci..

Mihalis Yannakakis, M. Yannakakis, 1988, Symposium on the Theory of Computing.

Mihalis Yannakakis, Orna Kupferman, Yoad Lustig, 2011, STACS.

Mihalis Yannakakis, Edward G. Coffman, Ardavan Nozari, 1989, Oper. Res..

Mihalis Yannakakis, M. Yannakakis, 1981, SIAM J. Comput..

Thanasis Hadzilacos, Mihalis Yannakakis, 1989, J. Comput. Syst. Sci..

Alex Groce, Mihalis Yannakakis, Doron A. Peled, 2002, Log. J. IGPL.

Rajeev Alur, Mihalis Yannakakis, M. Yannakakis, 1999, CONCUR.

Mihalis Yannakakis, Edward G. Coffman, Michael J. Magazine, 1991 .

Mihalis Yannakakis, Christos H. Papadimitriou, 1987, SIAM J. Comput..

Mihalis Yannakakis, Ilias Diakonikolas, M. Yannakakis, 2008, SODA '08.

Mihalis Yannakakis, Marc H. Graham, 1984, J. Comput. Syst. Sci..

Kousha Etessami, Mihalis Yannakakis, M. Yannakakis, 2010, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

Mihalis Yannakakis, M. Yannakakis, 2008, CIAA.

Kousha Etessami, Mihalis Yannakakis, 2005, ICALP.

Mihalis Yannakakis, M. Yannakakis, 2001, WADS.

David Lee, Mihalis Yannakakis, Guoqiang Shu, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

Mihalis Yannakakis, 1984, JACM.

Kousha Etessami, Mihalis Yannakakis, M. Yannakakis, 2005, ISAAC.

Mihalis Yannakakis, Vijay V. Vazirani, M. Yannakakis, 2020, ITCS.

Kousha Etessami, Mihalis Yannakakis, 2008, Log. Methods Comput. Sci..

Venkatesan Guruswami, Rajmohan Rajaraman, Mihalis Yannakakis, 1999, STOC '99.

David Lee, Mihalis Yannakakis, M. Yannakakis, 1996 .

Mihalis Yannakakis, Alejandro A. Schäffer, Christos H. Papadimitriou, 1990, STOC '90.

Mihalis Yannakakis, 2009, Comput. Sci. Rev..

Mihalis Yannakakis, Edward G. Coffman, David S. Johnson, 2002, SIAM Rev..

Mihalis Yannakakis, Vijay V. Vazirani, Naveen Garg, 1994, ICALP.

Carsten Lund, Mihalis Yannakakis, M. Yannakakis, 1994, JACM.

Mihalis Yannakakis, Saleh Soltan, Gil Zussman, 2016, SODA.

Mihalis Yannakakis, Vijay V. Vazirani, 1988, ICALP.

Mihalis Yannakakis, Ouri Wolfson, 1986, J. Comput. Syst. Sci..

Mihalis Yannakakis, Christos H. Papadimitriou, M. Yannakakis, 1981, Information Processing Letters.

Mihalis Yannakakis, Puneet Sharma, Joon-Myung Kang, 2021, 2021 International Conference on Computer Communications and Networks (ICCCN).

Mihalis Yannakakis, Binghui Peng, Xi Chen, 2021, SODA.

Mihalis Yannakakis, Christos Papadimitriou, Kiran Vodrahalli, 2020, WINE.

Mihalis Yannakakis, Wolfgang J. Paul, Nicholas Pippenger, 1984, Symposium on the Theory of Computing.

Kousha Etessami, Mihalis Yannakakis, GraphsRajeev Alur, 2001 .

Mihalis Yannakakis, Dimitris Paparas, Xi Chen, 2017 .

Mihalis Yannakakis, M. Yannakakis, F. Gavril, 1980 .