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.
4959 Publications
2021 | Conference Paper | IST-REx-ID: 9356 | 
Henzinger TA, Sarac NE. 2021. Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 9470547.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9439 |
Mlynarski WF, Hermundstad AM. 2021. Efficient and adaptive sensory codes. Nature Neuroscience. 24, 998–1009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Journal Article | IST-REx-ID: 9443 |
Ruiz-Lopez N, Pérez-Sancho J, Esteban Del Valle A, Haslam R, Vanneste S, Catalá R, Perea-Resa C, Van Damme D, García-Hernández S, Albert A, Vallarino J, Lin J, Friml J, Macho A, Salinas J, Rosado A, Napier J, Amorim-Silva V, Botella M. 2021. Synaptotagmins at the endoplasmic reticulum-plasma membrane contact sites maintain diacylglycerol homeostasis during abiotic stress. Plant Cell. 33(7), 2431–2453.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9431 |
Obr M, Ricana CL, Nikulin N, Feathers J-PR, Klanschnig M, Thader A, Johnson MC, Vogt VM, Schur FK, Dick RA. 2021. Structure of the mature Rous sarcoma virus lattice reveals a role for IP6 in the formation of the capsid hexamer. Nature Communications. 12(1), 3226.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9467 |
Marensi E, He S, Willis AP. 2021. Suppression of turbulence and travelling waves in a vertical heated pipe. Journal of Fluid Mechanics. 919, A17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv