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.
1937 Publications
2022 | Published | Thesis | IST-REx-ID: 11879 | 
Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12366 |
Controllable states of superconducting Qubit ensembles
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11388 |
The genetic basis of complex traits studied via analysis of evolve and resequence experiments
S. Belohlavy, The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
S. Belohlavy, The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11393 |
Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, Institute of Science and Technology Austria, 2022.
2022 | Published | Journal Article | IST-REx-ID: 10703 |
WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues
F. Gaertner, P. Reis-Rodrigues, I. de Vries, M. Hons, J. Aguilera, M. Riedl, A.F. Leithner, S. Tasciyan, A. Kopf, J. Merrin, V. Zheden, W. Kaufmann, R. Hauschild, M.K. Sixt, Developmental Cell 57 (2022) 47–62.e9.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
F. Gaertner, P. Reis-Rodrigues, I. de Vries, M. Hons, J. Aguilera, M. Riedl, A.F. Leithner, S. Tasciyan, A. Kopf, J. Merrin, V. Zheden, W. Kaufmann, R. Hauschild, M.K. Sixt, Developmental Cell 57 (2022) 47–62.e9.
2022 | Published | Thesis | IST-REx-ID: 11193 |
Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, Institute of Science and Technology Austria, 2022.
2021 | Published | Journal Article | IST-REx-ID: 10000 |
Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression
H.M. Schmitt, R.L. Fehrman, M.E. Maes, H. Yang, L.W. Guo, C.L. Schlamp, H.R. Pelzel, R.W. Nickells, Investigative Ophthalmology and Visual Science 62 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H.M. Schmitt, R.L. Fehrman, M.E. Maes, H. Yang, L.W. Guo, C.L. Schlamp, H.R. Pelzel, R.W. Nickells, Investigative Ophthalmology and Visual Science 62 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 10002 |
Symbolic time and space tradeoffs for probabilistic verification
K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
2021 | Published | Conference Paper | IST-REx-ID: 10004 |
Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
2021 | Published | Thesis | IST-REx-ID: 10007 |
Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
2021 | Published | Thesis | IST-REx-ID: 10030 |
Discrete-to-continuum limits of transport problems and gradient flows in the space of measures
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 10033 |
The Atiyah-Bott formula and connectivity in chiral Koszul duality
Q.P. Ho, Advances in Mathematics 392 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Q.P. Ho, Advances in Mathematics 392 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 10052 |
Decomposing permutation automata
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10054 |
Faster algorithms for bounded liveness in graphs and game graphs
K. Chatterjee, M.H. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M.H. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10055 |
A Ramsey theorem for finite monoids
I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Published | Journal Article | IST-REx-ID: 10069 |
Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy
M.R. Robinson, M. Patxot, M. Stojanov, S. Blum, D. Baud, Scientific Reports 11 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.R. Robinson, M. Patxot, M. Stojanov, S. Blum, D. Baud, Scientific Reports 11 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 10075 |
A bit of nondeterminism makes pushdown automata expressive and succinct
S. Guha, I.R. Jecker, K. Lehtinen, M. Zimmermann, in:, 46th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
S. Guha, I.R. Jecker, K. Lehtinen, M. Zimmermann, in:, 46th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10076 |
Reactive key-loss protection in blockchains
S. Blackshear, K. Chalkias, P. Chatzigiannis, R. Faizullabhoy, I. Khaburzaniya, E. Kokoris Kogias, J. Lind, D. Wong, T. Zakian, in:, FC 2021 Workshops, Springer Nature, 2021, pp. 431–450.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
S. Blackshear, K. Chalkias, P. Chatzigiannis, R. Faizullabhoy, I. Khaburzaniya, E. Kokoris Kogias, J. Lind, D. Wong, T. Zakian, in:, FC 2021 Workshops, Springer Nature, 2021, pp. 431–450.
2021 | Published | Journal Article | IST-REx-ID: 10146
Structure and assembly of the mammalian mitochondrial supercomplex CIII2CIV
I. Vercellino, L.A. Sazanov, Nature 598 (2021) 364–367.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Vercellino, L.A. Sazanov, Nature 598 (2021) 364–367.
2021 | Submitted | Preprint | IST-REx-ID: 10174 |
Quantitative nonlinear homogenization: control of oscillations
N. Clozeau, A. Gloria, ArXiv (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
N. Clozeau, A. Gloria, ArXiv (n.d.).