Algorithms

Kristin Lauter

Publications de Mathematiques de Besancon | March 2015

Margus Veanes, Nikolaj Bjørner

Information Processing Letters | March 2015, Vol 115(3): pp. 418-424

Ankush Desai, Shaz Qadeer, Sanjit Seshia

MSR-TR-2015-25 | March 2015

Neeraj Kayal, Chandan Saha

Symposium on Theoretical Aspects of Computer Science (STACS) | March 2015

Symposium on Theoretical Aspects of Computer Science (STACS)

Yu Sun, Jianzhong Qi, Yu Zheng, Rui Zhang

Proceedings of the 18th International Conference on Extending Database Technology | March 2015

Project

Nathan Wiebe, Ashish Kapoor, Krysta M. Svore

Quantum Information and Computation | March 2015, Vol 15(3-4): pp. 318-358

Kristin Lauter, Adriana Lopez-Alt, Michael Naehrig

Progress in Cryptology-LATINCRYPT 2014 | March 2015

Progress in Cryptology-LATINCRYPT 2014

Alex Bocharov, Martin Roetteler, Krysta M. Svore, Krysta M. Svore

Physical Review Letters | February 2015, Vol 114: pp. 80502

Jing Zhang, Zhanpeng Fang, Wei Chen, Jie Tang

IEEE Transactions on Knowledge and Data Engineering | February 2015, Vol 37(8): pp. 2093