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
2021 | Conference Paper | IST-REx-ID: 10108 |
Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
[Preprint]
View
| Files available
| DOI
| WoS
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
2021 | Journal Article | IST-REx-ID: 10116 |
Neuronal calmodulin levels are controlled by CAMTA transcription factors
T. Vuong-Brender, S. Flynn, Y. Vallis, M. de Bono, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T. Vuong-Brender, S. Flynn, Y. Vallis, M. de Bono, ELife 10 (2021).
2021 | Journal Article | IST-REx-ID: 10103 |
A structural perspective of the role of IP6 in immature and mature retroviral assembly
M. Obr, F.K. Schur, R.A. Dick, Viruses 13 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Obr, F.K. Schur, R.A. Dick, Viruses 13 (2021).
2021 | Journal Article | IST-REx-ID: 10067 |
Entanglement transitions from restricted Boltzmann machines
R.A. Medina Ramos, R. Vasseur, M. Serbyn, Physical Review B 104 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R.A. Medina Ramos, R. Vasseur, M. Serbyn, Physical Review B 104 (2021).
2021 | Technical Report | IST-REx-ID: 9946 |
Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
[Published Version]
View
| Files available
| DOI
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.