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.

4442 Publications


2017 | Journal Article | IST-REx-ID: 10374 | OA
G. Meisl et al., “Scaling behaviour and rate-determining steps in filamentous self-assembly,” Chemical Science, vol. 8, no. 10. Royal Society of Chemistry, pp. 7087–7097, 2017.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 10375 | OA
A. Vahid, A. Šarić, and T. Idema, “Curvature variation controls particle aggregation on fluid vesicles,” Soft Matter, vol. 13, no. 28. Royal Society of Chemistry, pp. 4924–4930, 2017.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 10416 | OA
K. Chatterjee, B. Choudhary, and A. Pavlogiannis, “Optimal Dyck reachability for data-dependence and Alias analysis,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 10417 | OA
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, “Data-centric dynamic partial order reduction,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 10418 | OA
A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View | DOI | Download Published Version (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications