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.
7224 Publications
2017 | Journal Article | IST-REx-ID: 10374 | 
Meisl, G., Rajah, L., Cohen, S. A. I., Pfammatter, M., Šarić, A., Hellstrand, E., … Knowles, T. P. J. (2017). Scaling behaviour and rate-determining steps in filamentous self-assembly. Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/c7sc01965c
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 10375 |
Vahid, A., Šarić, A., & Idema, T. (2017). Curvature variation controls particle aggregation on fluid vesicles. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c7sm00433h
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2017 | Journal Article | IST-REx-ID: 10416 |
Chatterjee, K., Choudhary, B., & Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158118
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 10417 |
Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., & Vaidya, K. (2017). Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158119
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 10418 |
Mciver, A., Morgan, C., Kaminski, B. L., & Katoen, J. P. (2017). A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158121
View
| DOI
| Download Published Version (ext.)
| arXiv