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.
414 Publications
2022 | Published | Journal Article | IST-REx-ID: 9311 | 
Chatterjee, K., Saona Urmeneta, R. J., & Ziliotto, B. (2022). Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2020.1116
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 11775 |
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In 22nd International Conference on Runtime Verification (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature. https://doi.org/10.1007/978-3-031-17196-3_11
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 11839 |
Prach, B., & Lampert, C. (2022). Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In Computer Vision – ECCV 2022 (Vol. 13681, pp. 350–365). Tel Aviv, Israel: Springer Nature. https://doi.org/10.1007/978-3-031-19803-8_21
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Thesis | IST-REx-ID: 11362 |
Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11362
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12291 |
Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Thesis | IST-REx-ID: 11196 |
Kim, O. (2022). Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11196
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12366 |
Redchenko, E. (2022). Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12132
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11193 |
Wachner, S. (2022). Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11193
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11932 |
Nardin, M. (2022). On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11932
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12378 |
Colombo, G. (2022). MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12378
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11388 |
Belohlavy, S. (2022). The genetic basis of complex traits studied via analysis of evolve and resequence experiments. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11388
[Published Version]
View
| Files available
| DOI
2022 | Research Data | IST-REx-ID: 11653 |
Elkrewi, M. N. (2022). Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:11653
[Published Version]
View
| Files available
| DOI
2022 | Research Data | IST-REx-ID: 10934 |
Radler, P. (2022). In vitro reconstitution of Escherichia coli divisome activation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:10934
[Submitted Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 10727 |
Metzler, S. (2022). Pathogen-mediated sexual selection and immunization in ant colonies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:10727
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11879 |
Artner, C. (2022). Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11879
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12364 |
Dotter, C. (2022). Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12094
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11393 |
Jevtic, M. (2022). Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11393
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12401 |
Tasciyan, S. (2022). Role of microenvironment heterogeneity in cancer cell invasion. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12401
[Published Version]
View
| Files available
| DOI
2021 | Submitted | Preprint | IST-REx-ID: 14278 |
Koval, I. (n.d.). Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. arXiv. https://doi.org/10.48550/ARXIV.2111.12171
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10422 |
Piankov, A. (2021). Towards designer materials using customizable particle shape. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10422
[Published Version]
View
| Files available
| DOI