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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 

Search

Filter Publications