A. Atserias, E. Maneva.
Sherali-Adams relaxations and indistinguishability in counting logics
To appear in SIAM Journal on Computing.
An extended abstract appeared in the 3rd Innovations in Theoretical Computer Science Conference (ITCS), 2012. pdf, slides
A. Atserias, E. Maneva. Mean-payoff games and propositional proofs
Information and Computation, Volume 209, Issue 4, pages 664-691, 2011.
An extended abstract appeared in the 34th International Colloquium on Automata, Languages and Programming (ICALP),
Volume 6198 of Lecture Notes in Computer Science, Springer-Verlag,
pages 102-113, 2010. pdf
N. Bhatnagar, E. Maneva. A computational method for bounding the probability of reconstruction on
SIAM Journal on Discrete Mathematics, Volume 25, Issue 2, pages 854-871, 2011.
M. Wainwright, E. Maneva, E. Martinian. Lossy source compression using low-density generator matrix codes: analysis
IEEE Transactions of Information Theory, Volume 56, Issue 3, pages 1351-1368,
A part of this work appeared
in IEEE International Symposium on Information Theory (ISIT),
pages 1493-1497, 2005. pdf
P. Gopalan, P. Kolaitis, E. Maneva, C. Papadimitriou. The connectivity of Boolean satisfiability: computational and structural
SIAM Journal on Computing, Volume 38, Issue 6, pages 2330-2355, 2009.
An extended abstract appeared in the 33rd
International Colloquium on Automata, Languages and
Volume 4051 of Lecture Notes in Computer Science, Springer-Verlag,
pages 346-357, 2006. ArXiv
F. Ardila, E. Maneva. Pruning processes and a new characterization of convex geometries
Discrete Mathematics, Volume 309, pages 3083-3091, 2009. Arxiv
E. Maneva, A. Sinclair. On the satisfiability threshold and clustering of solutions of random 3-SAT formulas
Theoretical Computer Science, Volume 407, pages 359-369, 2008. Arxiv
E. Maneva, E. Mossel, M. Wainwright. A new look at Survey Propagation and its generalizations
Journal of the ACM, Volume 54, Issue 4, pages 2-41, 2007.
A preliminary version appeared in the 16th ACM-SIAM Symposium on
Discrete Algorithms (SODA), pages 1089-1098, 2005. pdf
E. Maneva, A. Shokrollahi. New model for rigorous analysis of LT codes
IEEE International Symposium on Information Theory (ISIT),
pages 2677-2679, 2006. ArXiv
A. Bogdanov, E. Maneva, S. Riesenfeld. Power-aware base station positioning for sensor networks
23rd Conference of the IEEE Communications Society (INFOCOM), pages 575-585, 2004. pdf
A. Fabrikant, A. Luthra, E. Maneva, C. Papadimitriou, S. Shenker. On a network creation game
22nd ACM Symposium on Principles of Distributed Computing (PODC),
pages 347-351, 2003. pdf
E. Maneva, J. Smolin. Improved two-party and multi-party entanglement purification protocols
"Quantum Computation and Quantum Information Science", AMS
Contemporary Mathematics Series, Volume 305, pages 203-212, 2002. ArXiv
SAMPLE collaboration: D.T. Spayde et al. Parity violation in elastic electron-proton scattering and the proton's
strange magnetic form factor
Phys. Rev. Lett., Volume 84, pages 1106-1109, 2000. ArXiv