Algorithms

Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg

CAV’14 | July 2014

Alekh Agarwal, Sham Kakade, Nikos Karampatziakis, Le Song, Gregory Valiant

July 2014

Shaolei Ren, Yuxiong He, Kathryn S McKinley

MSR-TR-2014-101 | July 2014

Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Rümmer

Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) | July 2014

Best paper award

Alekh Agarwal, Ashwinkumar Badanidiyuru, Miroslav Dudik, Robert E. Schapire, Aleksandrs Slivkins, Aleksandrs Slivkins, Miro Dudík

27th Conf. on Learning Theory (COLT) | July 2014

27th Conf. on Learning Theory (COLT)

Bojun Huang, Thomas Moscibroda

July 2014

Qihang Lin, Zhaosong Lu, Lin Xiao

MSR-TR-2014-94 | July 2014

Edith Cohen

ACM PODC 2014 | July 2014

This is a full version of a PODC 2014 paper

M. Rötteler, R. Steinwandt, Martin Roetteler

Quant. Inform. & Comp. | July 2014, Vol 14(9-10): pp. 888-900

Accepted for publication. See also arXiv preprint arXiv:1306.1161

Project

Nishanth Chandran, Srinivasan Raghuraman, Dhinakaran Vinayagamurthy

IACR Cryptology ePrint Archive | July 2014, Vol 2014: pp. 522