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.
665 Publications
2021 | Conference Abstract | IST-REx-ID: 15280 | 
Balazs D, Cimada da Silva J, Dunbar T, Ibáñez M, Hanrath T. 2021. Controlled reactive assembly of colloidal nanocrystal superlattices: Mechanism and kinetics. Proceedings of the Internet NanoGe Conference on Nanocrystals. iNCNC: Internet nanoGe Conference on Nanocrystals, 050.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 | Conference Paper | IST-REx-ID: 10414 |
Chatterjee K, Goharshady EK, Novotný P, Zárevúcky J, Zikelic D. 2021. On lexicographic proof rules for probabilistic termination. 24th International Symposium on Formal Methods. FM: Formal Methods, LNCS, vol. 13047, 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 8602 |
Boocock DR, Hino N, Ruzickova N, Hirashima T, Hannezo EB. 2021. Theory of mechanochemical patterning and optimal migration in cell monolayers. Nature Physics. 17, 267–274.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 | Journal Article | IST-REx-ID: 9438 |
Vandael DH, Okamoto Y, Borges Merjane C, Vargas Barroso VM, Suter B, Jonas PM. 2021. Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses. Nature Protocols. 16(6), 2947–2967.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC