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.
5760 Publications
2018 | Book Chapter | IST-REx-ID: 86 | 
Chatterjee K, Henzinger TA, Otop J. Computing average response time. In: Lohstroh M, Derler P, Sirjani M, eds. Principles of Modeling. Vol 10760. Springer; 2018:143-161. doi:10.1007/978-3-319-95246-8_9
[Submitted Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 9062 |
Aubret A, Youssef M, Sacanna S, Palacci JA. Targeted assembly and synchronization of self-spinning microgears. Nature Physics. 2018;14(11):1114-1118. doi:10.1038/s41567-018-0227-4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 9229 |
Danzl JG. Diffraction-unlimited optical imaging for synaptic physiology. Opera Medica et Physiologica. 2018;4(S1):11. doi:10.20388/omp2018.00s1.001
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Conference Paper | IST-REx-ID: 6005 |
Avni G, Guha S, Kupferman O. Timed network games with clocks. In: Vol 117. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPICS.MFCS.2018.23
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 9668 |
Cheng B, Dellago C, Ceriotti M. Theoretical prediction of the homogeneous ice nucleation rate: Disentangling thermodynamics and kinetics. Physical Chemistry Chemical Physics. 2018;20(45):28732-28740. doi:10.1039/c8cp04561e
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv