Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

475 Publications

2019 | Journal Article | IST-REx-ID: 6609 | OA
S. Barzanjeh et al., “Stationary entangled radiation from micromechanical motion,” Nature, vol. 570. Nature Publishing Group, pp. 480–483, 2019.
View | DOI | Download Preprint (ext.) | arXiv

2019 | Journal Article | IST-REx-ID: 6053 | OA
M. Kalaee, M. Mirhosseini, P. B. Dieterle, M. Peruzzo, J. M. Fink, and O. Painter, “Quantum electromechanics of a hypersonic crystal,” Nature Nanotechnology, vol. 14, no. 4. Springer Nature, pp. 334–339, 2019.
View | DOI | Download Submitted Version (ext.)

2019 | Conference Paper | IST-REx-ID: 6780 | OA
M. Huang, H. Fu, K. Chatterjee, and A. K. Goharshady, “Modular verification for almost-sure termination of probabilistic programs,” in Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , Athens, Greece, 2019, vol. 3.
View | Files available | DOI | arXiv

2019 | Conference Paper | IST-REx-ID: 6175 | OA
P. Wang, H. Fu, A. K. Goharshady, K. Chatterjee, X. Qin, and W. Shi, “Cost analysis of nondeterministic probabilistic programs,” in PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, United States, 2019, pp. 204–220.
View | Files available | DOI | arXiv

2019 | Journal Article | IST-REx-ID: 7158 | OA
K. Chatterjee, A. K. Goharshady, P. Goyal, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth,” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4. ACM, 2019.
View | Files available | DOI

Filters and Search Terms



Filter Publications