جائزة جودل (Arabic Wikipedia)

Analysis of information sources in references of the Wikipedia article "جائزة جودل" in Arabic language version.

refsWebsite

Global rank Arabic rank

36doi.org

2^nd place

5^th place

28web.archive.org

1^st place

24worldcat.org

5^th place

4^th place

5arxiv.org

69^th place

207^th place

4kfupm.edu.sa

low place

3,100^th place

3ams.org

451^st place

1,108^th place

3eatcs.org

low place

3acm.org

1,185^th place

1,160^th place

2mcgill.ca

2,527^th place

3,587^th place

2umd.edu

1,747^th place

2,171^st place

2sigact.org

low place

1umass.edu

3,341^st place

7,005^th place

1cornell.edu

332^nd place

400^th place

1tamu.edu

1,672^nd place

2,551^st place

1princeton.edu

741^st place

826^th place

1mit.edu

415^th place

424^th place

1tu-dortmund.de

low place

1brown.edu

2,481^st place

4,953^rd place

1tau.ac.il

4,464^th place

2,072^nd place

1berkeley.edu

580^th place

842^nd place

1jstor.org

26^th place

31^st place

1weizmann.ac.il

4,983^rd place

3,788^th place

1kth.se

low place

1springer.com

274^th place

307^th place

1rjlipton.wordpress.com

low place

acm.org

"Three Papers Cited for Laying Foundation of Growth in Algorithmic Game Theory". 16 مايو 2012. مؤرشف من الأصل في 2013-07-18. اطلع عليه بتاريخ 2012-05-16.
ACM Group Presents Gödel Prize for Advances in Cryptography: Three Computer Scientists Cited for Innovations that Improve Security نسخة محفوظة 2013-06-01 على موقع واي باك مشين., رابطة مكائن الحوسبة, May 29, 2013. ^{[وصلة مكسورة]}

dl.acm.org

Regev، Oded. "On lattices, learning with errors, random linear codes, and cryptography". مؤرشف من الأصل في 2018-11-18.

ams.org

mathscinet.ams.org

Reingold، Omer؛ Vadhan، Salil؛ Wigderson، Avi (2002)، "Entropy waves, the zig-zag graph product, and new constant-degree expanders" (PDF)، حوليات الرياضيات، Annals of Mathematics، ج. 155، ص. 157–187، DOI:10.2307/3062153، ISSN:0003-486X، JSTOR:3062153، MR:1888797، مؤرشف من الأصل (PDF) في 2022-01-24^{[وصلة مكسورة]}
Boneh، Dan؛ Franklin، Matthew (2003). "Identity-based encryption from the Weil pairing". SIAM Journal on Computing. ج. 32 ع. 3: 586–615. DOI:10.1137/S0097539701398521. MR:2001745.
Joux، Antoine (2004). "A one round protocol for tripartite Diffie-Hellman". Journal of Cryptology. ج. 17 ع. 4: 263–276. DOI:10.1007/s00145-004-0312-y. MR:2090557.

arxiv.org

Halpern، Joseph؛ Moses، Yoram (1990)، "Knowledge and common knowledge in a distributed environment" (PDF)، Journal of the ACM، ج. 37، ص. 549–587، arXiv:cs/0006009، DOI:10.1145/79147.79161، مؤرشف من الأصل (PDF) في 2019-02-02
Shor، Peter W. (1997)، "Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 26، ص. 1484–1509، arXiv:quant-ph/9508027، DOI:10.1137/S0097539795293172، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2022-01-28^{[وصلة مكسورة]}
Spielman، Daniel A.؛ Teng، Shang-Hua (2011). "Spectral Sparsification of Graphs". SIAM Journal on Computing. ج. 40 ع. 4: 981–1025. arXiv:0808.4134. DOI:10.1137/08074489X. ISSN:0097-5397.
Spielman، Daniel A.؛ Teng، Shang-Hua (2013). "A Local Clustering Algorithm for Massive Graphs and Its Application to Nearly Linear Time Graph Partitioning". SIAM Journal on Computing. ج. 42 ع. 1: 1–26. arXiv:0809.3232. DOI:10.1137/080744888. ISSN:0097-5397.
Spielman، Daniel A.؛ Teng، Shang-Hua (2014). "Nearly Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems". SIAM Journal on Matrix Analysis and Applications. ج. 35 ع. 3: 835–885. arXiv:cs/0607105. DOI:10.1137/090771430. ISSN:0895-4798.

berkeley.edu

math.berkeley.edu

Agrawal، M.؛ Kayal، N.؛ Saxena، N. (2004)، "PRIMES is in P" (PDF)، حوليات الرياضيات، ج. 160، ص. 781–793، DOI:10.4007/annals.2004.160.781، ISSN:0003-486X، مؤرشف من الأصل (PDF) في 2011-06-07

brown.edu

cs.brown.edu

Herlihy، Maurice؛ Shavit، Nir (1999)، "The topological structure of asynchronous computability" (PDF)، Journal of the ACM، ج. 46، ص. 858–923، DOI:10.1145/331524.331529، مؤرشف من الأصل (PDF) في 2023-01-27. Gödel prize lecture

cornell.edu

cs.cornell.edu

Halpern، Joseph؛ Moses، Yoram (1990)، "Knowledge and common knowledge in a distributed environment" (PDF)، Journal of the ACM، ج. 37، ص. 549–587، arXiv:cs/0006009، DOI:10.1145/79147.79161، مؤرشف من الأصل (PDF) في 2019-02-02

doi.org

Babai، László؛ Moran، Shlomo (1988)، "Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class" (PDF)، Journal of Computer and System Sciences، Boston, MA: Academic Press، ج. 36، ص. 254–276، DOI:10.1016/0022-0000(88)90028-1، ISSN:0022-0000، مؤرشف من الأصل (PDF) في 2019-04-10
Goldwasser، S.؛ Micali، S.؛ Rackoff، C. (1989)، "The knowledge complexity of interactive proof systems" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 18، ص. 186–208، DOI:10.1137/0218012، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-11
Immerman، Neil (1988)، "Nondeterministic space is closed under complementation" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 17، ص. 935–938، DOI:10.1137/0217058، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-02
Szelepcsényi، R. (1988)، "The method of forced enumeration for nondeterministic automata"، Acta Informatica، Springer-Verlag New York, Inc.، ج. 26، ص. 279–284، DOI:10.1007/BF00299636
Sinclair، A.؛ Jerrum، M. (1989)، "Approximate counting, uniform generation and rapidly mixing Markov chains"، Information and Computation، إلزيفير، ج. 82، ص. 93–133، DOI:10.1016/0890-5401(89)90067-9، ISSN:0890-5401
Jerrum، M.؛ Sinclair، Alistair (1989)، "Approximating the permanent"، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 18، ص. 1149–1178، DOI:10.1137/0218077، ISSN:1095-7111
Halpern، Joseph؛ Moses، Yoram (1990)، "Knowledge and common knowledge in a distributed environment" (PDF)، Journal of the ACM، ج. 37، ص. 549–587، arXiv:cs/0006009، DOI:10.1145/79147.79161، مؤرشف من الأصل (PDF) في 2019-02-02
Toda، Seinosuke (1991)، "PP is as hard as the polynomial-time hierarchy" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 20، ص. 865–877، DOI:10.1137/0220053، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-11
Shor، Peter W. (1997)، "Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 26، ص. 1484–1509، arXiv:quant-ph/9508027، DOI:10.1137/S0097539795293172، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2022-01-28^{[وصلة مكسورة]}
Vardi، Moshe Y.؛ Wolper، Pierre (1994)، "Reasoning about infinite computations" (PDF)، Information and Computation، Boston, MA: Academic Press، ج. 115، ص. 1–37، DOI:10.1006/inco.1994.1092، ISSN:0890-5401، مؤرشف من الأصل (PDF) في 2011-08-25
Feige، Uriel؛ Goldwasser، Shafi؛ Lovász، Laszlo؛ Safra، Shmuel؛ Szegedy، Mario (1996)، "Interactive proofs and the hardness of approximating cliques" (PDF)، Journal of the ACM، ACM، ج. 43، ص. 268–292، DOI:10.1145/226643.226652، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2018-11-05
Arora، Sanjeev؛ Safra، Shmuel (1998)، "Probabilistic checking of proofs: a new characterization of NP" (PDF)، Journal of the ACM، ACM، ج. 45، ص. 70–122، DOI:10.1145/273865.273901، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2011-06-10
Arora، Sanjeev؛ Lund، Carsten؛ Motwani، Rajeev؛ Sudan، Madhu؛ Szegedy، Mario (1998)، "Proof verification and the hardness of approximation problems" (PDF)، Journal of the ACM، ACM، ج. 45، ص. 501–555، DOI:10.1145/278298.278306، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2011-06-10
Sénizergues، Géraud (2001)، "L(A) = L(B)? decidability results from complete formal systems"، Theor. Comput. Sci.، Essex, UK: Elsevier Science Publishers Ltd.، ج. 251، ص. 1–166، DOI:10.1016/S0304-3975(00)00285-1، ISSN:0304-3975
Freund، Y.؛ Schapire، R.E. (1997)، "A decision-theoretic generalization of on-line learning and an application to boosting" (PDF)، Journal of Computer and System Sciences، إلزيفير، ج. 55، ص. 119–139، DOI:10.1006/jcss.1997.1504، ISSN:1090-2724، مؤرشف من الأصل (PDF) في 2012-03-01
Herlihy، Maurice؛ Shavit، Nir (1999)، "The topological structure of asynchronous computability" (PDF)، Journal of the ACM، ج. 46، ص. 858–923، DOI:10.1145/331524.331529، مؤرشف من الأصل (PDF) في 2023-01-27. Gödel prize lecture
Saks، Michael؛ Zaharoglou، Fotios (2000)، "Wait-free k-set agreement is impossible: The topology of public knowledge"، SIAM Journal on Computing، ج. 29، ص. 1449–1483، DOI:10.1137/S0097539796307698
Alon، Noga؛ Matias، Yossi؛ Szegedy، Mario (1999)، "The space complexity of approximating the frequency moments" (PDF)، Journal of Computer and System Sciences، ج. 58، ص. 137–147، DOI:10.1006/jcss.1997.1545، مؤرشف من الأصل (PDF) في 2022-10-31. First presented at the Symposium on Theory of Computing (STOC) in 1996.
Agrawal، M.؛ Kayal، N.؛ Saxena، N. (2004)، "PRIMES is in P" (PDF)، حوليات الرياضيات، ج. 160، ص. 781–793، DOI:10.4007/annals.2004.160.781، ISSN:0003-486X، مؤرشف من الأصل (PDF) في 2011-06-07
Razborov، Alexander A.؛ Rudich، Steven (1997)، "Natural proofs"، Journal of Computer and System Sciences، Boston, MA: Academic Press، ج. 55، ص. 24–35، DOI:10.1006/jcss.1997.1494، ISSN:0022-0000، قالب:ECCC
Spielman، Daniel A.؛ Teng، Shang-Hua (2004)، "Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time" (PDF)، J. ACM، ACM، ج. 51، ص. 385–463، DOI:10.1145/990308.990310، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2022-01-24^{[وصلة مكسورة]}
Reingold، Omer؛ Vadhan، Salil؛ Wigderson، Avi (2002)، "Entropy waves, the zig-zag graph product, and new constant-degree expanders" (PDF)، حوليات الرياضيات، Annals of Mathematics، ج. 155، ص. 157–187، DOI:10.2307/3062153، ISSN:0003-486X، JSTOR:3062153، MR:1888797، مؤرشف من الأصل (PDF) في 2022-01-24^{[وصلة مكسورة]}
Reingold، Omer (2008)، "Undirected connectivity in log-space"، J. ACM، ACM، ج. 55، ص. 1–24، DOI:10.1145/1391289.1391291، ISSN:0004-5411، مؤرشف من الأصل في 2022-10-31^{[وصلة مكسورة]}
Arora، Sanjeev (1998)، "Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems"، Journal of the ACM، ACM، ج. 45، ص. 753–782، DOI:10.1145/290179.290180، ISSN:0004-5411
Mitchell، Joseph S. B. (1999)، "Guillotine Subdivisions Approximate Polygonal Subdivisions: A Simple Polynomial-Time Approximation Scheme for Geometric TSP, k-MST, and Related Problems"، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 28، ص. 1298–1309، DOI:10.1137/S0097539796309764، ISSN:1095-7111
Håstad، Johan (2001)، "Some optimal inapproximability results" (PDF)، Journal of the ACM، ACM، ج. 48، ص. 798–859، DOI:10.1145/502090.502098، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2019-07-11
Koutsoupias، Elias؛ Papadimitriou, Christos (2009). "Worst-case equilibria". Computer Science Review. ج. 3 ع. 2: 65–69. DOI:10.1016/j.cosrev.2009.04.003.
Roughgarden، Tim؛ Tardos, Éva (2002). "How bad is selfish routing?". Journal of the ACM. ج. 49 ع. 2: 236–259. DOI:10.1145/506147.506153.
Nisan، Noam؛ Ronen, Amir (2001). "Algorithmic Mechanism Design". Games and Economic Behavior. ج. 35 ع. 1–2: 166–196. DOI:10.1006/game.1999.0790.
Boneh، Dan؛ Franklin، Matthew (2003). "Identity-based encryption from the Weil pairing". SIAM Journal on Computing. ج. 32 ع. 3: 586–615. DOI:10.1137/S0097539701398521. MR:2001745.
Joux، Antoine (2004). "A one round protocol for tripartite Diffie-Hellman". Journal of Cryptology. ج. 17 ع. 4: 263–276. DOI:10.1007/s00145-004-0312-y. MR:2090557.
Fagin، Ronald؛ Lotem، Amnon؛ Naor، Moni (2003). "Optimal aggregation algorithms for middleware". Journal of Computer and System Sciences. ج. 66 ع. 4: 614–656. DOI:10.1016/S0022-0000(03)00026-6.
Spielman، Daniel A.؛ Teng، Shang-Hua (2011). "Spectral Sparsification of Graphs". SIAM Journal on Computing. ج. 40 ع. 4: 981–1025. arXiv:0808.4134. DOI:10.1137/08074489X. ISSN:0097-5397.
Spielman، Daniel A.؛ Teng، Shang-Hua (2013). "A Local Clustering Algorithm for Massive Graphs and Its Application to Nearly Linear Time Graph Partitioning". SIAM Journal on Computing. ج. 42 ع. 1: 1–26. arXiv:0809.3232. DOI:10.1137/080744888. ISSN:0097-5397.
Spielman، Daniel A.؛ Teng، Shang-Hua (2014). "Nearly Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems". SIAM Journal on Matrix Analysis and Applications. ج. 35 ع. 3: 835–885. arXiv:cs/0607105. DOI:10.1137/090771430. ISSN:0895-4798.
Dwork، Cynthia؛ McSherry، Frank؛ Nissim، Kobbi؛ Smith، Adam (2006). "Calibrating Noise to Sensitivity in Private Data Analysis". في Halevi، Shai؛ Rabin، Tal (المحررون). Theory of Cryptography (TCC). Lecture Notes in Computer Science. Springer-Verlag. ج. 3876. ص. 265–284. DOI:10.1007/11681878_14. ISBN:978-3-540-32731-8. مؤرشف من الأصل في 2018-12-02.

eatcs.org

"2017 Gödel Prize". European Association for Theoretical Computer Science. EATCS. مؤرشف من الأصل في 2019-04-16. اطلع عليه بتاريخ 2017-03-29.
Recipients Achieved Groundbreaking Results for Aggregating Data from Multiple Sources, رابطة مكائن الحوسبة, April 30, 2014. نسخة محفوظة 12 مارس 2016 على موقع واي باك مشين.
"2018 Gödel Prize citation". مؤرشف من الأصل في 2018-10-05.

jstor.org

Reingold، Omer؛ Vadhan، Salil؛ Wigderson، Avi (2002)، "Entropy waves, the zig-zag graph product, and new constant-degree expanders" (PDF)، حوليات الرياضيات، Annals of Mathematics، ج. 155، ص. 157–187، DOI:10.2307/3062153، ISSN:0003-486X، JSTOR:3062153، MR:1888797، مؤرشف من الأصل (PDF) في 2022-01-24^{[وصلة مكسورة]}

kfupm.edu.sa

reference.kfupm.edu.sa

Håstad، Johan (1989)، "Almost Optimal Lower Bounds for Small Depth Circuits"، في Micali، Silvio (المحرر)، Randomness and Computation (PDF)، Advances in Computing Research، JAI Press، ج. 5، ص. 6–20، ISBN:0-89232-896-7، مؤرشف من الأصل (PDF) في 2012-02-22
Vardi، Moshe Y.؛ Wolper، Pierre (1994)، "Reasoning about infinite computations" (PDF)، Information and Computation، Boston, MA: Academic Press، ج. 115، ص. 1–37، DOI:10.1006/inco.1994.1092، ISSN:0890-5401، مؤرشف من الأصل (PDF) في 2011-08-25

eprints.kfupm.edu.sa

Spielman، Daniel A.؛ Teng، Shang-Hua (2004)، "Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time" (PDF)، J. ACM، ACM، ج. 51، ص. 385–463، DOI:10.1145/990308.990310، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2022-01-24^{[وصلة مكسورة]}
Reingold، Omer؛ Vadhan، Salil؛ Wigderson، Avi (2002)، "Entropy waves, the zig-zag graph product, and new constant-degree expanders" (PDF)، حوليات الرياضيات، Annals of Mathematics، ج. 155، ص. 157–187، DOI:10.2307/3062153، ISSN:0003-486X، JSTOR:3062153، MR:1888797، مؤرشف من الأصل (PDF) في 2022-01-24^{[وصلة مكسورة]}

kth.se

nada.kth.se

Håstad، Johan (2001)، "Some optimal inapproximability results" (PDF)، Journal of the ACM، ACM، ج. 48، ص. 798–859، DOI:10.1145/502090.502098، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2019-07-11

mcgill.ca

crypto.cs.mcgill.ca

Babai، László؛ Moran، Shlomo (1988)، "Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class" (PDF)، Journal of Computer and System Sciences، Boston, MA: Academic Press، ج. 36، ص. 254–276، DOI:10.1016/0022-0000(88)90028-1، ISSN:0022-0000، مؤرشف من الأصل (PDF) في 2019-04-10
Goldwasser، S.؛ Micali، S.؛ Rackoff، C. (1989)، "The knowledge complexity of interactive proof systems" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 18، ص. 186–208، DOI:10.1137/0218012، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-11

mit.edu

groups.csail.mit.edu

Feige، Uriel؛ Goldwasser، Shafi؛ Lovász، Laszlo؛ Safra، Shmuel؛ Szegedy، Mario (1996)، "Interactive proofs and the hardness of approximating cliques" (PDF)، Journal of the ACM، ACM، ج. 43، ص. 268–292، DOI:10.1145/226643.226652، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2018-11-05

princeton.edu

physics.princeton.edu

Shor، Peter W. (1997)، "Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 26، ص. 1484–1509، arXiv:quant-ph/9508027، DOI:10.1137/S0097539795293172، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2022-01-28^{[وصلة مكسورة]}

rjlipton.wordpress.com

The Gödel Letter | Gödel's Lost Letter and P=NP نسخة محفوظة 30 يناير 2019 على موقع واي باك مشين.

sigact.org

وصلة مرجع: https://sigact.org/prizes/g%C3%B6del.html.
2015 Gödel Prize announcement نسخة محفوظة 2017-12-09 على موقع واي باك مشين. by رابطة مكائن الحوسبة. ^{[وصلة مكسورة]}

springer.com

link.springer.com

Dwork، Cynthia؛ McSherry، Frank؛ Nissim، Kobbi؛ Smith، Adam (2006). "Calibrating Noise to Sensitivity in Private Data Analysis". في Halevi، Shai؛ Rabin، Tal (المحررون). Theory of Cryptography (TCC). Lecture Notes in Computer Science. Springer-Verlag. ج. 3876. ص. 265–284. DOI:10.1007/11681878_14. ISBN:978-3-540-32731-8. مؤرشف من الأصل في 2018-12-02.

tamu.edu

people.engr.tamu.edu

Toda، Seinosuke (1991)، "PP is as hard as the polynomial-time hierarchy" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 20، ص. 865–877، DOI:10.1137/0220053، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-11

tau.ac.il

math.tau.ac.il

Alon، Noga؛ Matias، Yossi؛ Szegedy، Mario (1999)، "The space complexity of approximating the frequency moments" (PDF)، Journal of Computer and System Sciences، ج. 58، ص. 137–147، DOI:10.1006/jcss.1997.1545، مؤرشف من الأصل (PDF) في 2022-10-31. First presented at the Symposium on Theory of Computing (STOC) in 1996.

tu-dortmund.de

www-ai.cs.tu-dortmund.de

Freund، Y.؛ Schapire، R.E. (1997)، "A decision-theoretic generalization of on-line learning and an application to boosting" (PDF)، Journal of Computer and System Sciences، إلزيفير، ج. 55، ص. 119–139، DOI:10.1006/jcss.1997.1504، ISSN:1090-2724، مؤرشف من الأصل (PDF) في 2012-03-01

umass.edu

cs.umass.edu

Immerman، Neil (1988)، "Nondeterministic space is closed under complementation" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 17، ص. 935–938، DOI:10.1137/0217058، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-02

umd.edu

cs.umd.edu

Arora، Sanjeev؛ Safra، Shmuel (1998)، "Probabilistic checking of proofs: a new characterization of NP" (PDF)، Journal of the ACM، ACM، ج. 45، ص. 70–122، DOI:10.1145/273865.273901، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2011-06-10
Arora، Sanjeev؛ Lund، Carsten؛ Motwani، Rajeev؛ Sudan، Madhu؛ Szegedy، Mario (1998)، "Proof verification and the hardness of approximation problems" (PDF)، Journal of the ACM، ACM، ج. 45، ص. 501–555، DOI:10.1145/278298.278306، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2011-06-10

web.archive.org

Babai، László؛ Moran، Shlomo (1988)، "Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class" (PDF)، Journal of Computer and System Sciences، Boston, MA: Academic Press، ج. 36، ص. 254–276، DOI:10.1016/0022-0000(88)90028-1، ISSN:0022-0000، مؤرشف من الأصل (PDF) في 2019-04-10
Goldwasser، S.؛ Micali، S.؛ Rackoff، C. (1989)، "The knowledge complexity of interactive proof systems" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 18، ص. 186–208، DOI:10.1137/0218012، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-11
Håstad، Johan (1989)، "Almost Optimal Lower Bounds for Small Depth Circuits"، في Micali، Silvio (المحرر)، Randomness and Computation (PDF)، Advances in Computing Research، JAI Press، ج. 5، ص. 6–20، ISBN:0-89232-896-7، مؤرشف من الأصل (PDF) في 2012-02-22
Immerman، Neil (1988)، "Nondeterministic space is closed under complementation" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 17، ص. 935–938، DOI:10.1137/0217058، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-02
Halpern، Joseph؛ Moses، Yoram (1990)، "Knowledge and common knowledge in a distributed environment" (PDF)، Journal of the ACM، ج. 37، ص. 549–587، arXiv:cs/0006009، DOI:10.1145/79147.79161، مؤرشف من الأصل (PDF) في 2019-02-02
Toda، Seinosuke (1991)، "PP is as hard as the polynomial-time hierarchy" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 20، ص. 865–877، DOI:10.1137/0220053، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-11
Shor، Peter W. (1997)، "Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 26، ص. 1484–1509، arXiv:quant-ph/9508027، DOI:10.1137/S0097539795293172، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2022-01-28^{[وصلة مكسورة]}
Vardi، Moshe Y.؛ Wolper، Pierre (1994)، "Reasoning about infinite computations" (PDF)، Information and Computation، Boston, MA: Academic Press، ج. 115، ص. 1–37، DOI:10.1006/inco.1994.1092، ISSN:0890-5401، مؤرشف من الأصل (PDF) في 2011-08-25
Feige، Uriel؛ Goldwasser، Shafi؛ Lovász، Laszlo؛ Safra، Shmuel؛ Szegedy، Mario (1996)، "Interactive proofs and the hardness of approximating cliques" (PDF)، Journal of the ACM، ACM، ج. 43، ص. 268–292، DOI:10.1145/226643.226652، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2018-11-05
Arora، Sanjeev؛ Safra، Shmuel (1998)، "Probabilistic checking of proofs: a new characterization of NP" (PDF)، Journal of the ACM، ACM، ج. 45، ص. 70–122، DOI:10.1145/273865.273901، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2011-06-10
Arora، Sanjeev؛ Lund، Carsten؛ Motwani، Rajeev؛ Sudan، Madhu؛ Szegedy، Mario (1998)، "Proof verification and the hardness of approximation problems" (PDF)، Journal of the ACM، ACM، ج. 45، ص. 501–555، DOI:10.1145/278298.278306، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2011-06-10
Freund، Y.؛ Schapire، R.E. (1997)، "A decision-theoretic generalization of on-line learning and an application to boosting" (PDF)، Journal of Computer and System Sciences، إلزيفير، ج. 55، ص. 119–139، DOI:10.1006/jcss.1997.1504، ISSN:1090-2724، مؤرشف من الأصل (PDF) في 2012-03-01
Herlihy، Maurice؛ Shavit، Nir (1999)، "The topological structure of asynchronous computability" (PDF)، Journal of the ACM، ج. 46، ص. 858–923، DOI:10.1145/331524.331529، مؤرشف من الأصل (PDF) في 2023-01-27. Gödel prize lecture
Alon، Noga؛ Matias، Yossi؛ Szegedy، Mario (1999)، "The space complexity of approximating the frequency moments" (PDF)، Journal of Computer and System Sciences، ج. 58، ص. 137–147، DOI:10.1006/jcss.1997.1545، مؤرشف من الأصل (PDF) في 2022-10-31. First presented at the Symposium on Theory of Computing (STOC) in 1996.
Agrawal، M.؛ Kayal، N.؛ Saxena، N. (2004)، "PRIMES is in P" (PDF)، حوليات الرياضيات، ج. 160، ص. 781–793، DOI:10.4007/annals.2004.160.781، ISSN:0003-486X، مؤرشف من الأصل (PDF) في 2011-06-07
Spielman، Daniel A.؛ Teng، Shang-Hua (2004)، "Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time" (PDF)، J. ACM، ACM، ج. 51، ص. 385–463، DOI:10.1145/990308.990310، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2022-01-24^{[وصلة مكسورة]}
Reingold، Omer؛ Vadhan، Salil؛ Wigderson، Avi (2002)، "Entropy waves, the zig-zag graph product, and new constant-degree expanders" (PDF)، حوليات الرياضيات، Annals of Mathematics، ج. 155، ص. 157–187، DOI:10.2307/3062153، ISSN:0003-486X، JSTOR:3062153، MR:1888797، مؤرشف من الأصل (PDF) في 2022-01-24^{[وصلة مكسورة]}
Reingold، Omer (2008)، "Undirected connectivity in log-space"، J. ACM، ACM، ج. 55، ص. 1–24، DOI:10.1145/1391289.1391291، ISSN:0004-5411، مؤرشف من الأصل في 2022-10-31^{[وصلة مكسورة]}
Håstad، Johan (2001)، "Some optimal inapproximability results" (PDF)، Journal of the ACM، ACM، ج. 48، ص. 798–859، DOI:10.1145/502090.502098، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2019-07-11
Dwork، Cynthia؛ McSherry، Frank؛ Nissim، Kobbi؛ Smith، Adam (2006). "Calibrating Noise to Sensitivity in Private Data Analysis". في Halevi، Shai؛ Rabin، Tal (المحررون). Theory of Cryptography (TCC). Lecture Notes in Computer Science. Springer-Verlag. ج. 3876. ص. 265–284. DOI:10.1007/11681878_14. ISBN:978-3-540-32731-8. مؤرشف من الأصل في 2018-12-02.
Regev، Oded. "On lattices, learning with errors, random linear codes, and cryptography". مؤرشف من الأصل في 2018-11-18.
The Gödel Letter | Gödel's Lost Letter and P=NP نسخة محفوظة 30 يناير 2019 على موقع واي باك مشين.
"2017 Gödel Prize". European Association for Theoretical Computer Science. EATCS. مؤرشف من الأصل في 2019-04-16. اطلع عليه بتاريخ 2017-03-29.
"Three Papers Cited for Laying Foundation of Growth in Algorithmic Game Theory". 16 مايو 2012. مؤرشف من الأصل في 2013-07-18. اطلع عليه بتاريخ 2012-05-16.
ACM Group Presents Gödel Prize for Advances in Cryptography: Three Computer Scientists Cited for Innovations that Improve Security نسخة محفوظة 2013-06-01 على موقع واي باك مشين., رابطة مكائن الحوسبة, May 29, 2013. ^{[وصلة مكسورة]}
Recipients Achieved Groundbreaking Results for Aggregating Data from Multiple Sources, رابطة مكائن الحوسبة, April 30, 2014. نسخة محفوظة 12 مارس 2016 على موقع واي باك مشين.
2015 Gödel Prize announcement نسخة محفوظة 2017-12-09 على موقع واي باك مشين. by رابطة مكائن الحوسبة. ^{[وصلة مكسورة]}
"2018 Gödel Prize citation". مؤرشف من الأصل في 2018-10-05.

weizmann.ac.il

Reingold، Omer (2008)، "Undirected connectivity in log-space"، J. ACM، ACM، ج. 55، ص. 1–24، DOI:10.1145/1391289.1391291، ISSN:0004-5411، مؤرشف من الأصل في 2022-10-31^{[وصلة مكسورة]}

worldcat.org

Babai، László؛ Moran، Shlomo (1988)، "Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class" (PDF)، Journal of Computer and System Sciences، Boston, MA: Academic Press، ج. 36، ص. 254–276، DOI:10.1016/0022-0000(88)90028-1، ISSN:0022-0000، مؤرشف من الأصل (PDF) في 2019-04-10
Goldwasser، S.؛ Micali، S.؛ Rackoff، C. (1989)، "The knowledge complexity of interactive proof systems" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 18، ص. 186–208، DOI:10.1137/0218012، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-11
Immerman، Neil (1988)، "Nondeterministic space is closed under complementation" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 17، ص. 935–938، DOI:10.1137/0217058، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-02
Sinclair، A.؛ Jerrum، M. (1989)، "Approximate counting, uniform generation and rapidly mixing Markov chains"، Information and Computation، إلزيفير، ج. 82، ص. 93–133، DOI:10.1016/0890-5401(89)90067-9، ISSN:0890-5401
Jerrum، M.؛ Sinclair، Alistair (1989)، "Approximating the permanent"، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 18، ص. 1149–1178، DOI:10.1137/0218077، ISSN:1095-7111
Toda، Seinosuke (1991)، "PP is as hard as the polynomial-time hierarchy" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 20، ص. 865–877، DOI:10.1137/0220053، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2020-05-11
Shor، Peter W. (1997)، "Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 26، ص. 1484–1509، arXiv:quant-ph/9508027، DOI:10.1137/S0097539795293172، ISSN:1095-7111، مؤرشف من الأصل (PDF) في 2022-01-28^{[وصلة مكسورة]}
Vardi، Moshe Y.؛ Wolper، Pierre (1994)، "Reasoning about infinite computations" (PDF)، Information and Computation، Boston, MA: Academic Press، ج. 115، ص. 1–37، DOI:10.1006/inco.1994.1092، ISSN:0890-5401، مؤرشف من الأصل (PDF) في 2011-08-25
Feige، Uriel؛ Goldwasser، Shafi؛ Lovász، Laszlo؛ Safra، Shmuel؛ Szegedy، Mario (1996)، "Interactive proofs and the hardness of approximating cliques" (PDF)، Journal of the ACM، ACM، ج. 43، ص. 268–292، DOI:10.1145/226643.226652، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2018-11-05
Arora، Sanjeev؛ Safra، Shmuel (1998)، "Probabilistic checking of proofs: a new characterization of NP" (PDF)، Journal of the ACM، ACM، ج. 45، ص. 70–122، DOI:10.1145/273865.273901، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2011-06-10
Arora، Sanjeev؛ Lund، Carsten؛ Motwani، Rajeev؛ Sudan، Madhu؛ Szegedy، Mario (1998)، "Proof verification and the hardness of approximation problems" (PDF)، Journal of the ACM، ACM، ج. 45، ص. 501–555، DOI:10.1145/278298.278306، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2011-06-10
Sénizergues، Géraud (2001)، "L(A) = L(B)? decidability results from complete formal systems"، Theor. Comput. Sci.، Essex, UK: Elsevier Science Publishers Ltd.، ج. 251، ص. 1–166، DOI:10.1016/S0304-3975(00)00285-1، ISSN:0304-3975
Freund، Y.؛ Schapire، R.E. (1997)، "A decision-theoretic generalization of on-line learning and an application to boosting" (PDF)، Journal of Computer and System Sciences، إلزيفير، ج. 55، ص. 119–139، DOI:10.1006/jcss.1997.1504، ISSN:1090-2724، مؤرشف من الأصل (PDF) في 2012-03-01
Agrawal، M.؛ Kayal، N.؛ Saxena، N. (2004)، "PRIMES is in P" (PDF)، حوليات الرياضيات، ج. 160، ص. 781–793، DOI:10.4007/annals.2004.160.781، ISSN:0003-486X، مؤرشف من الأصل (PDF) في 2011-06-07
Razborov، Alexander A.؛ Rudich، Steven (1997)، "Natural proofs"، Journal of Computer and System Sciences، Boston, MA: Academic Press، ج. 55، ص. 24–35، DOI:10.1006/jcss.1997.1494، ISSN:0022-0000، قالب:ECCC
Spielman، Daniel A.؛ Teng، Shang-Hua (2004)، "Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time" (PDF)، J. ACM، ACM، ج. 51، ص. 385–463، DOI:10.1145/990308.990310، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2022-01-24^{[وصلة مكسورة]}
Reingold، Omer؛ Vadhan، Salil؛ Wigderson، Avi (2002)، "Entropy waves, the zig-zag graph product, and new constant-degree expanders" (PDF)، حوليات الرياضيات، Annals of Mathematics، ج. 155، ص. 157–187، DOI:10.2307/3062153، ISSN:0003-486X، JSTOR:3062153، MR:1888797، مؤرشف من الأصل (PDF) في 2022-01-24^{[وصلة مكسورة]}
Reingold، Omer (2008)، "Undirected connectivity in log-space"، J. ACM، ACM، ج. 55، ص. 1–24، DOI:10.1145/1391289.1391291، ISSN:0004-5411، مؤرشف من الأصل في 2022-10-31^{[وصلة مكسورة]}
Arora، Sanjeev (1998)، "Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems"، Journal of the ACM، ACM، ج. 45، ص. 753–782، DOI:10.1145/290179.290180، ISSN:0004-5411
Mitchell، Joseph S. B. (1999)، "Guillotine Subdivisions Approximate Polygonal Subdivisions: A Simple Polynomial-Time Approximation Scheme for Geometric TSP, k-MST, and Related Problems"، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 28، ص. 1298–1309، DOI:10.1137/S0097539796309764، ISSN:1095-7111
Håstad، Johan (2001)، "Some optimal inapproximability results" (PDF)، Journal of the ACM، ACM، ج. 48، ص. 798–859، DOI:10.1145/502090.502098، ISSN:0004-5411، مؤرشف من الأصل (PDF) في 2019-07-11
Spielman، Daniel A.؛ Teng، Shang-Hua (2011). "Spectral Sparsification of Graphs". SIAM Journal on Computing. ج. 40 ع. 4: 981–1025. arXiv:0808.4134. DOI:10.1137/08074489X. ISSN:0097-5397.
Spielman، Daniel A.؛ Teng، Shang-Hua (2013). "A Local Clustering Algorithm for Massive Graphs and Its Application to Nearly Linear Time Graph Partitioning". SIAM Journal on Computing. ج. 42 ع. 1: 1–26. arXiv:0809.3232. DOI:10.1137/080744888. ISSN:0097-5397.
Spielman، Daniel A.؛ Teng، Shang-Hua (2014). "Nearly Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems". SIAM Journal on Matrix Analysis and Applications. ج. 35 ع. 3: 835–885. arXiv:cs/0607105. DOI:10.1137/090771430. ISSN:0895-4798.