Please note that ISTA 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.

4142 Publications

2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., & Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer.
View | Files available | DOI

2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon, A., Henzinger, T. A., Nori, A., & Rajamani, S. (2014). Probabilistic programming. In Proceedings of the on Future of Software Engineering (pp. 167–181). Hyderabad, India: ACM.
View | DOI | Download Published Version (ext.)

2014 | Conference Paper | IST-REx-ID: 1507 | OA
Erdös, L. (2014). Random matrices, log-gases and Hölder regularity (Vol. 3, pp. 214–236). Presented at the ICM: International Congress of Mathematicians, Seoul, Korea: Kyung Moon SA Co. Ltd.
View | Download Submitted Version (ext.)

2014 | Conference Paper | IST-REx-ID: 1516 | OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2014). On the BCS gap equation for superfluid fermionic gases. In Proceedings of the QMath12 Conference (pp. 127–137). Berlin, Germany: World Scientific Publishing.
View | DOI | Download Preprint (ext.) | arXiv

2014 | Journal Article | IST-REx-ID: 10382 | OA
Šarić, A., Chebaro, Y. C., Knowles, T. P. J., & Frenkel, D. (2014). Crucial role of nonspecific interactions in amyloid nucleation. Proceedings of the National Academy of Sciences. National Academy of Sciences.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv

Filters and Search Terms



Filter Publications