Stephen A. Cook

发表

Dai Tri Man Le, Stephen A. Cook, 2011, LICS.
Stephen A. Cook, S. Cook, 1978, SIAM J. Comput..
Allan Borodin, Stephen A. Cook, Walter L. Ruzzo, 1989, SIAM J. Comput..
Stephen A. Cook, S. Cook, 1972, J. Comput. Syst. Sci..
Stephen A. Cook, Pierre McKenzie, S. Cook, 1987, SIAM J. Comput..
Russell Impagliazzo, Stephen A. Cook, Tomoyuki Yamakami, 1997, Inf. Comput..
Stephen A. Cook, Ravi Sethi, S. Cook, 1974, STOC '74.
Mark Braverman, Rahul Santhanam, Stephen A. Cook, 2009, FSTTCS.
Stephen A. Cook, Iddo Tzameret, 2018, Electron. Colloquium Comput. Complex..
Stephen A. Cook, 1973, J. Comput. Syst. Sci..
Stephen A. Cook, Neil Thapen, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Toniann Pitassi, Stephen A. Cook, 1990, Inf. Process. Lett..
Dai Tri Man Le, Stephen A. Cook, Yuval Filmus, 2012, TOCT.
Allan Borodin, Stephen A. Cook, 1982, SIAM J. Comput..
Stephen A. Cook, Armin Haken, S. Cook, 1999, J. Comput. Syst. Sci..
Toniann Pitassi, Stephen A. Cook, Jeff Edmonds, 2016, ICALP.
Allan Borodin, Stephen A. Cook, Walter L. Ruzzo, 1988, [1988] Proceedings. Structure in Complexity Theory Third Annual Conference.
Stephen A. Cook, H. James Hoover, Paul Beame, 1984, SIAM J. Comput..
Stephen A. Cook, Antonina Kolokolova, 2003, Ann. Pure Appl. Log..
Stephen A. Cook, Pierre McKenzie, S. Cook, 1987, J. Algorithms.
Toniann Pitassi, Stephen A. Cook, Benjamin Rossman, 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS).
Russell Impagliazzo, Toniann Pitassi, Stephen A. Cook, 1995, STOC '95.
Stephen A. Cook, 2012, ArXiv.
Stephen A. Cook, S. Cook, 2007 .
Stephen A. Cook, Patrick W. Dymond, S. Cook, 1989, Inf. Comput..
Toniann Pitassi, Stephen A. Cook, Arkadev Chattopadhyay, 2012, 2012 IEEE 27th Conference on Computational Complexity.
Dai Tri Man Le, Stephen A. Cook, S. Cook, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Stephen A. Cook, Phuong Nguyen, 2004, LICS.
Toniann Pitassi, Stephen A. Cook, Arkadev Chattopadhyay, 2012, Computational Complexity Conference.
Stephen A. Cook, Akitoshi Kawamura, S. Cook, 2012, TOCT.
Stephen A. Cook, Akitoshi Kawamura, 2012, TOCT.
Stephen A. Cook, Phuong Nguyen, S. Cook, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Stephen A. Cook, S. Cook, 1969, STOC.
Stephen A. Cook, Alasdair Urquhart, 1993, Ann. Pure Appl. Log..
Stephen A. Cook, Valentine Kabanets, Charles Rackoff, 2000, Electron. Colloquium Comput. Complex..
Stephen A. Cook, H. James Hoover, Paul Beame, 1986, SIAM J. Comput..
Stephen A. Cook, S. Cook, 1971, STOC.
Stephen A. Cook, Rüdiger Reischuk, Cynthia Dwork, 1986, SIAM J. Comput..
Stephen A. Cook, Charles E. K. Morris, Richard W. Tyson, 2004 .
Bruce M. Kapron, Stephen A. Cook, 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.
Stephen A. Cook, S. Cook, 2003, JACM.
Allan Borodin, Stephen A. Cook, Nicholas Pippenger, 1984, Inf. Control..
Stephen A. Cook, Antonina Kolokolova, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Stephen A. Cook, Patrick Dymond, 1980, FOCS 1980.
Stephen A. Cook, S. Cook, 1983, CACM.
Stephen A. Cook, Kaveh Ghasemloo, 2013, CSL.
Stephen A. Cook, Patrick W. Dymond, S. Cook, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Allan Borodin, Stephen A. Cook, A. Borodin, 1980, STOC '80.
Stephen A. Cook, Alasdair Urquhart, A. Urquhart, 1989, STOC '89.
Stephen A. Cook, Pierre McKenzie, S. Cook, 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).
Stephen A. Cook, Michael Soltys, 2004, Ann. Pure Appl. Log..
Bruce M. Kapron, Stephen A. Cook, B. M. Kapron, 1989, 30th Annual Symposium on Foundations of Computer Science.
Stephen A. Cook, Charles Rackoff, S. Cook, 1980, SIAM J. Comput..
Stephen A. Cook, Antonina Kolokolova, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Stephen A. Cook, 1970, STOC '70.
Stephen A. Cook, S. Cook, 1971, IFIP Congress.
Rahul Santhanam, Stephen A. Cook, Pierre McKenzie, 2009 .
Stephen A. Cook, Derek C. Oppen, D. Oppen, 1975, STOC.
Bruce M. Kapron, Stephen A. Cook, B. M. Kapron, 2017, Electron. Colloquium Comput. Complex..
Stephen A. Cook, Robert A. Reckhow, S. Cook, 1979, Journal of Symbolic Logic.
Stephen A. Cook, Cynthia Dwork, 1982, STOC '82.
Samuel R. Buss, V. Ramachandran, Stephen A. Cook, 1992, SIAM J. Comput..
Stephen A. Cook, Tsuyoshi Morioka, S. Cook, 2005, Arch. Math. Log..
Stephen A. Cook, Robert A. Reckhow, S. Cook, 1972, J. Comput. Syst. Sci..
Stephen A. Cook, Klaus Aehlig, Phuong Nguyen, 2007, CSL.
Allan Borodin, Stephen A. Cook, Walter L. Ruzzo, 1989, SIAM J. Comput..
Stephen A. Cook, S. Cook, 1985, Inf. Control..
Stephen A. Cook, Ravi Sethi, S. Cook, 1976, J. Comput. Syst. Sci..
Stephen A. Cook, Phuong Nguyen, 2007, LICS.
Stephen A. Cook, Lila Fontes, 2010, CSL.
David G. Mitchell, Stephen A. Cook, S. Cook, 1996, Satisfiability Problem: Theory and Applications.
Dai Tri Man Le, Stephen A. Cook, Yuli Ye, 2011, ArXiv.
Stephen A. Cook, S. Cook, 2002, Logic in Computer Science.
Stephen A. Cook, S. Cook, 1974, J. Comput. Syst. Sci..
Mark Braverman, Rahul Santhanam, Stephen A. Cook, 2009, MFCS.
Stephen A. Cook, Lila Fontes, S. Cook, 2010, CSL.
Stephen A. Cook, Stephen Bellantoni, S. Cook, 1992, STOC '92.
Stephen A. Cook, Robert A. Reckhow, S. Cook, 1973, J. Comput. Syst. Sci..
Mark Braverman, Rahul Santhanam, Stephen A. Cook, 2012, TOCT.
Stephen A. Cook, Neil Thapen, 2004, LICS.
Kurt Mehlhorn, Stephen A. Cook, Burchard von Braunmühl, 1983, Inf. Control..
Stephen A. Cook, Antonina Kolokolova, 2001, Electron. Colloquium Comput. Complex..
Jan Krajícek, Stephen A. Cook, 2007, J. Symb. Log..
Stephen A. Cook, Michael Soltys, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Bruce M. Kapron, Stephen A. Cook, B. M. Kapron, 1996, SIAM J. Comput..
Stephen A. Cook, H. James Hoover, S. Cook, 1985, SIAM J. Comput..
Stephen A. Cook, Phuong Nguyen, S. Cook, 2005, Log. Methods Comput. Sci..
Stephen A. Cook, Klaus Aehlig, Phuong Nguyen, 2007, computational complexity.
Stephen A. Cook, Jan K. Pachl, Irwin S. Pressman, 1992, CASCON.
Stephen A. Cook, Iddo Tzameret, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Allan Borodin, Stephen A. Cook, A. Borodin, 1976, SIAM J. Comput..
Stephen A. Cook, S. Cook, 1988, Inf. Process. Lett..
Stephen A. Cook, Derek C. Oppen, D. Oppen, 1975, POPL '75.
Stephen A. Cook, S. Cook, 1973, J. Comput. Syst. Sci..
Stephen A. Cook, Patrick W. Dymond, S. Cook, 2005, computational complexity.
Stephen A. Cook, Jan K. Pachl, Irwin S. Pressman, 2002, Distributed Computing.
Stephen A. Cook, Charles E. Hall, Mark S. Whorton, 2007 .
Mark Braverman, Stephen A. Cook, S. Cook, 2005, ArXiv.
Russell Impagliazzo, Toniann Pitassi, Stephen A. Cook, 1998, J. Comput. Syst. Sci..
Stephen A. Cook, Yongmei Liu, 2002, J. Log. Comput..
Toniann Pitassi, Stephen A. Cook, Yuval Filmus, 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science.
Stephen A. Cook, Charles Rackoff, Xudong Fu, 1996 .
Allan Borodin, Stephen A. Cook, N. Pippenger, 1983 .
Stephen A. Cook, Tomoyuki Yamakami, 1997 .
Stephen A. Cook, Valentine Kabanets, S. Cook, 2000 .