|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Authoritative sources in a hyperlinked environment显示文摘 | Jon M. Kleinberg | 1999 | Journal of the ACM (JACM)1999，，5： | 6 |
| 2 | An optimal algorithm for approximate nearest neighbor searching fixed dimensions显示文摘 | Sunil Arya David M. Mount Nathan S. Netanyahu Ruth Silverman Angela Y. Wu | 1998 | Journal of the ACM (JACM)1998，，6： | 2 |
| 3 | On lattices, learning with errors, random linear codes, and cryptography显示文摘 | Oded Regev | 2009 | Journal of the ACM (JACM)2009，，6： | 2 |
| 4 | An Algorithm for Subgraph Isomorphism显示文摘 | J. R. Ullmann | 1976 | Journal of the ACM (JACM)1976，，1： | 2 |
| 5 | Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment显示文摘 | C. L. Liu James W. Layland | 1973 | Journal of the ACM (JACM)1973，，1： | 2 |
| 6 | On Ideal Lattices and Learning with Errors over Rings显示文摘 | Vadim Lyubashevsky Chris Peikert Oded Regev | 2013 | Journal of the ACM (JACM)2013，，6： | 2 |
| 7 | On lattices, learning with errors, random linear codes, and cryptography显示文摘 | Oded Regev | 2009 | Journal of the ACM (JACM)2009，，6： | 2 |
| 8 | Alternating-time temporal logic显示文摘 | Alur R Henzinger T A Kupferman O | 2002 | Journal of the ACM(JACM)2002，49，5： | 1 |
| 9 | Robust principal component analysis? 显示文摘 | Emmanuel J Cands Li Xiaodong Ma Yi | 2011 | Journal of the ACM (JACM)2011，58，3： | 1 |
| 10 | A Machine-Oriented Logic Based on the Resolution Principle显示文摘 | John Alan Robinson | 1965 | JACM1965，12，1： | 1 |
| 11 | Authoritative sources in a hyperlinked environment显示文摘 | Kleinberg J M | 1999 | Journal of the ACM (JACM)1999，46，： | 1 |
| 12 | Counterexample-guided abstraction refinement for symbolic model checking 显示文摘 | Clarke E Grumberg O Jha S | 2003 | Journal of the ACM (JACM)2003，50，5： | 1 |
| 13 | An optimal algorithm for in- tersecting line segments in the plane显示文摘 | Chazelle B Edelsbrunner H | 1992 | JACM1992，39，： | 1 |
| 14 | On XML integrity constraints in the presence of DTDs显示文摘 | Fan W Libkin L | 2002 | Journal of the ACM(JACM)2002，49，3： | 1 |
| 15 | On lattices, learning with errors, random linear codes, and cryptography显示文摘 | REGEV O | 2009 | Journal of the ACM (JACM)2009，56，6： | 1 |
| 16 | Program improvement by source-to-source transformation 显示文摘 | Loveman D | 1997 | Journal of the ACM (JACM)1997，24，1： | 1 |
| 17 | On lattices,learning with errors,random linear codes,and cryptography显示文摘 | REGEV O | 2009 | Joumal of the ACM(JACM)2009，56，6： | 1 |
| 18 | Robust principal component analysis显示文摘 | Candès E J Li X Ma Y | 2011 | Journal of the ACM (JACM)2011，58，3： | 1 |
| 19 | Lattice problems in NP ∩ coNP显示文摘 | Dorit Aharonov Oded Regev | 2005 | Journal of the ACM (JACM)2005，，5： | 1 |
| 20 | Analyzing security protocols with secrecy types and logic programs显示文摘 | ABADI M BLANCHET B | 2005 | Journal of the ACM (JACM)2005，52，1： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员