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.
9087 Publications
2021 | Conference Paper | IST-REx-ID: 10108 | 
Mühlböck, Fabian, and Thomas A. Henzinger. “Differential Monitoring.” International Conference on Runtime Verification, vol. 12974, Springer Nature, 2021, pp. 231–43, doi:10.1007/978-3-030-88494-9_12.
[Preprint]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 10116 |
Vuong-Brender, Thanh, et al. “Neuronal Calmodulin Levels Are Controlled by CAMTA Transcription Factors.” ELife, vol. 10, e68238, eLife Sciences Publications, 2021, doi:10.7554/eLife.68238.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10103 |
Obr, Martin, et al. “A Structural Perspective of the Role of IP6 in Immature and Mature Retroviral Assembly.” Viruses, vol. 13, no. 9, 1853, MDPI, 2021, doi:10.3390/v13091853.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10067 |
Medina Ramos, Raimel A., et al. “Entanglement Transitions from Restricted Boltzmann Machines.” Physical Review B, vol. 104, no. 10, 104205, American Physical Society, 2021, doi:10.1103/physrevb.104.104205.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Technical Report | IST-REx-ID: 9946 |
Mühlböck, Fabian, and Thomas A. Henzinger. Differential Monitoring. IST Austria, 2021, doi:10.15479/AT:ISTA:9946.
[Published Version]
View
| Files available
| DOI