Prix Gödel 1993 :
László Babai et Shlomo Moran, « Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class », Journal of Computer and System Sciences, vol. 36, no 2, , p. 254–276 (DOI10.1016/0022-0000(88)90028-1, lire en ligne).
Prix Gödel 2003 :
Y. Freund et R.E. Schapire, « A decision-theoretic generalization of on-line learning and an application to boosting », Journal of Computer and System Sciences, vol. 55, no 1, , p. 119–139 (DOI10.1006/jcss.1997.1504, lire en ligne).
Prix Gödel 2005 :
Noga Alon, Yossi Matias et Mario Szegedy, « The space complexity of approximating the frequency moments », Journal of Computer and System Sciences, vol. 58, no 1, , p. 137–147 (DOI10.1006/jcss.1997.1545, lire en ligne)
Prix Gödel 2007 :
Alexander A. Razborov et Steven Rudich, « Natural proofs », Journal of Computer and System Sciences, vol. 55, no 1, , p. 24–35 (DOI10.1006/jcss.1997.1494).
Prix Gödel 2014 :
Ronald Fagin, Amnon Lotem et Moni Naor, « Optimal aggregation algorithms for middleware », Journal of Computer and System Sciences, vol. 66, no 4, , p. 614-656 (DOI10.1016/S0022-0000(03)00026-6).
Prix Gödel 1993 :
László Babai et Shlomo Moran, « Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class », Journal of Computer and System Sciences, vol. 36, no 2, , p. 254–276 (DOI10.1016/0022-0000(88)90028-1, lire en ligne).
tau.ac.il
math.tau.ac.il
Prix Gödel 2005 :
Noga Alon, Yossi Matias et Mario Szegedy, « The space complexity of approximating the frequency moments », Journal of Computer and System Sciences, vol. 58, no 1, , p. 137–147 (DOI10.1006/jcss.1997.1545, lire en ligne)
tu-dortmund.de
www-ai.cs.tu-dortmund.de
Prix Gödel 2003 :
Y. Freund et R.E. Schapire, « A decision-theoretic generalization of on-line learning and an application to boosting », Journal of Computer and System Sciences, vol. 55, no 1, , p. 119–139 (DOI10.1006/jcss.1997.1504, lire en ligne).