Mathematics

Young-Bum Kim, Karl Stratos, Ruhi Sarikaya

Association for Computational Linguistics (ACL) | August 2015

Project Project

Young-Bum Kim, Ruhi Sarikaya

Association for Computational Linguistics (ACL) | August 2015

Project Project

Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan Yordanov

International Conference on DNA Computing and Molecular Programming | August 2015, Vol 9211

Project Project

Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev

August 2015

Brendan Lucier, Joel Oren, Yaron Singer

Knowledge Discovery and Data Mining 2015 | August 2015

ISBN: 978-1-4503-3664-2/15/08

Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

2015 Conference on Automated Deduction | July 2015

Github Project

Hu Fu, Nicole Immorlica, Brendan Lucier, Philipp Strack

ACM Conference on Electronic Commerce 2015 | July 2015

Andreas Blass, Yuri Gurevich

Springer series on Outstanding Contributions to Logic | July 2015

Annie Raymond, Mohit Singh, Rekha R. Thomas

July 2015

Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif

ACS Synthetic Biology | June 2015, Vol 4: pp. 898-913

Project Project