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.
4941 Publications
2021 | Conference Paper | IST-REx-ID: 10108 | 
Mühlböck F, Henzinger TA. Differential monitoring. In: International Conference on Runtime Verification. Vol 12974. Cham: Springer Nature; 2021:231-243. doi:10.1007/978-3-030-88494-9_12
[Preprint]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 10116 |
Vuong-Brender T, Flynn S, Vallis Y, de Bono M. Neuronal calmodulin levels are controlled by CAMTA transcription factors. eLife. 2021;10. doi:10.7554/eLife.68238
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10103 |
Obr M, Schur FK, Dick RA. A structural perspective of the role of IP6 in immature and mature retroviral assembly. Viruses. 2021;13(9). doi:10.3390/v13091853
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10067 |
Medina Ramos RA, Vasseur R, Serbyn M. Entanglement transitions from restricted Boltzmann machines. Physical Review B. 2021;104(10). doi:10.1103/physrevb.104.104205
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Technical Report | IST-REx-ID: 9946 |
Mühlböck F, Henzinger TA. Differential Monitoring. IST Austria; 2021. doi:10.15479/AT:ISTA:9946
[Published Version]
View
| Files available
| DOI