### 6 papers:

- STOC-2014-Massoulie #community #detection
- Community detection thresholds and the weak Ramanujan property (LM), pp. 694–703.
- STOC-2012-KaufmanL #graph #symmetry #transitive
- Edge transitive ramanujan graphs and symmetric LDPC good codes (TK, AL), pp. 359–366.
- STOC-2009-BatsonSS
- Twice-ramanujan sparsifiers (JDB, DAS, NS), pp. 255–262.
- STOC-2008-Ben-AroyaT #combinator #graph #using
- A combinatorial construction of almost-ramanujan graphs using the zig-zag product (ABA, ATS), pp. 325–334.
- CADE-1994-ClarkeZ #problem #proving #symbolic computation #theorem proving
- Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan (EMC, XZ), pp. 758–763.
- STOC-1986-LubotzkyPS
- Explicit Expanders and the Ramanujan Conjectures (AL, RP, PS), pp. 240–246.