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 RJ, Ziliotto B. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 2022;47(1):100-119. doi:10.1287/moor.2020.1116
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 11775 |
Henzinger TA, Mazzocchi NA, Sarac NE. Abstract monitors for quantitative specifications. In: 22nd International Conference on Runtime Verification. Vol 13498. Springer Nature; 2022:200-220. doi: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. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In: Computer Vision – ECCV 2022. Vol 13681. Springer Nature; 2022:350-365. doi: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. Learning verifiable representations. 2022. doi: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. Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses. 2022. doi:10.15479/at:ista:11196
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12366 |
Redchenko E. Controllable states of superconducting Qubit ensembles. 2022. doi:10.15479/at:ista:12132
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11193 |
Wachner S. Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. 2022. doi:10.15479/at:ista:11193
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11932 |
Nardin M. On the encoding, transfer, and consolidation of spatial memories. 2022. doi:10.15479/at:ista:11932
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12378 |
Colombo G. MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. 2022. doi:10.15479/at:ista:12378
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11388 |
Belohlavy S. The genetic basis of complex traits studied via analysis of evolve and resequence experiments. 2022. doi:10.15479/at:ista:11388
[Published Version]
View
| Files available
| DOI
2022 | Research Data | IST-REx-ID: 11653 |
Elkrewi MN. Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.” 2022. doi:10.15479/AT:ISTA:11653
[Published Version]
View
| Files available
| DOI
2022 | Research Data | IST-REx-ID: 10934 |
Radler P. In vitro reconstitution of Escherichia coli divisome activation. 2022. doi:10.15479/AT:ISTA:10934
[Submitted Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 10727 |
Metzler S. Pathogen-mediated sexual selection and immunization in ant colonies. 2022. doi:10.15479/AT:ISTA:10727
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11879 |
Artner C. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. 2022. doi:10.15479/at:ista:11879
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12364 |
Dotter C. Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. 2022. doi:10.15479/at:ista:12094
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11393 |
Jevtic M. Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. 2022. doi:10.15479/at:ista:11393
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12401 |
Tasciyan S. Role of microenvironment heterogeneity in cancer cell invasion. 2022. doi:10.15479/at:ista:12401
[Published Version]
View
| Files available
| DOI
2021 | Submitted | Preprint | IST-REx-ID: 14278 |
Koval I. Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. arXiv. doi:10.48550/ARXIV.2111.12171
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10422 |
Piankov A. Towards designer materials using customizable particle shape. 2021. doi:10.15479/at:ista:10422
[Published Version]
View
| Files available
| DOI