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.
7668 Publications
2022 |
Published |
Conference Paper |
IST-REx-ID: 12000 |
Sound and complete certificates for auantitative termination analysis of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.
2022 |
Published |
Journal Article |
IST-REx-ID: 12001 |
Differing associations between sex determination and sex-linked inversions in two ecotypes of Littorina saxatilis
K.E. Hearn, E.L. Koch, S. Stankowski, R.K. Butlin, R. Faria, K. Johannesson, A.M. Westram, Evolution Letters 6 (2022) 358–374.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K.E. Hearn, E.L. Koch, S. Stankowski, R.K. Butlin, R. Faria, K. Johannesson, A.M. Westram, Evolution Letters 6 (2022) 358–374.
2022 |
Published |
Journal Article |
IST-REx-ID: 12007 |
Role of the Tibetan plateau glaciers in the Asian summer monsoon
B.B. GOSWAMI, S.-I. An, R. Murtugudde, Climatic Change 173 (2022).
[Published Version]
View
| Files available
| DOI
B.B. GOSWAMI, S.-I. An, R. Murtugudde, Climatic Change 173 (2022).
2022 |
Published |
Journal Article |
IST-REx-ID: 12009 |
Developmental depression-to-facilitation shift controls excitation-inhibition balance
D.W. Jia, T.P. Vogels, R.P. Costa, Communications Biology 5 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
D.W. Jia, T.P. Vogels, R.P. Costa, Communications Biology 5 (2022).
2022 |
Published |
Conference Paper |
IST-REx-ID: 12010 |
Latent imagination facilitates zero-shot transfer in autonomous racing
A. Brunnbauer, L. Berducci, A. Brandstatter, M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, 2022 International Conference on Robotics and Automation, IEEE, 2022, pp. 7513–7520.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Brunnbauer, L. Berducci, A. Brandstatter, M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, 2022 International Conference on Robotics and Automation, IEEE, 2022, pp. 7513–7520.
2022 |
Published |
Conference Paper |
IST-REx-ID: 12011 |
The capacity of causal adversarial channels
Y. Zhang, S. Jaggi, M. Langberg, A.D. Sarwate, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2523–2528.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Zhang, S. Jaggi, M. Langberg, A.D. Sarwate, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2523–2528.
2022 |
Published |
Conference Paper |
IST-REx-ID: 12012 |
Heterogeneous differential privacy via graphs
S. Torkamani, J.B. Ebrahimi, P. Sadeghi, R.G.L. D’Oliveira, M. Médard, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 1623–1628.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Torkamani, J.B. Ebrahimi, P. Sadeghi, R.G.L. D’Oliveira, M. Médard, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 1623–1628.
2022 |
Published |
Conference Paper |
IST-REx-ID: 12016 |
Polar coded computing: The role of the scaling exponent
D. Fathollahi, M. Mondelli, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2154–2159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Fathollahi, M. Mondelli, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2154–2159.
2022 |
Published |
Journal Article |
IST-REx-ID: 12051 |
The human RNA polymerase I structure reveals an HMG-like docking domain specific to metazoans
J.L. Daiß, M. Pilsl, K. Straub, A. Bleckmann, M. Höcherl, F.B. Heiss, G. Abascal-Palacios, E.P. Ramsay, K. Tluckova, J.-C. Mars, T. Fürtges, A. Bruckmann, T. Rudack, C. Bernecky, V. Lamour, K. Panov, A. Vannini, T. Moss, C. Engel, Life Science Alliance 5 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
J.L. Daiß, M. Pilsl, K. Straub, A. Bleckmann, M. Höcherl, F.B. Heiss, G. Abascal-Palacios, E.P. Ramsay, K. Tluckova, J.-C. Mars, T. Fürtges, A. Bruckmann, T. Rudack, C. Bernecky, V. Lamour, K. Panov, A. Vannini, T. Moss, C. Engel, Life Science Alliance 5 (2022).
2022 |
Published |
Journal Article |
IST-REx-ID: 12052 |
WAVY GROWTH Arabidopsis E3 ubiquitin ligases affect apical PIN sorting decisions
N. Konstantinova, L. Hörmayer, M. Glanc, R. Keshkeih, S. Tan, M. Di Donato, K. Retzer, J. Moulinier-Anzola, M. Schwihla, B. Korbei, M. Geisler, J. Friml, C. Luschnig, Nature Communications 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N. Konstantinova, L. Hörmayer, M. Glanc, R. Keshkeih, S. Tan, M. Di Donato, K. Retzer, J. Moulinier-Anzola, M. Schwihla, B. Korbei, M. Geisler, J. Friml, C. Luschnig, Nature Communications 13 (2022).
2022 |
Published |
Journal Article |
IST-REx-ID: 12053 |
Strigolactones act downstream of gibberellins to regulate fiber cell elongation and cell wall thickness in cotton (Gossypium hirsutum)
Z. Tian, Y. Zhang, L. Zhu, B. Jiang, H. Wang, R. Gao, J. Friml, G. Xiao, The Plant Cell 34 (2022) 4816–4839.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Z. Tian, Y. Zhang, L. Zhu, B. Jiang, H. Wang, R. Gao, J. Friml, G. Xiao, The Plant Cell 34 (2022) 4816–4839.
2022 |
Published |
Journal Article |
IST-REx-ID: 12054 |
Structural insights into auxin recognition and efflux by Arabidopsis PIN1
Z. Yang, J. Xia, J. Hong, C. Zhang, H. Wei, W. Ying, C. Sun, L. Sun, Y. Mao, Y. Gao, S. Tan, J. Friml, D. Li, X. Liu, L. Sun, Nature 609 (2022) 611–615.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Z. Yang, J. Xia, J. Hong, C. Zhang, H. Wei, W. Ying, C. Sun, L. Sun, Y. Mao, Y. Gao, S. Tan, J. Friml, D. Li, X. Liu, L. Sun, Nature 609 (2022) 611–615.
2022 |
Published |
Journal Article |
IST-REx-ID: 12065 |
Exclusive solution discharge in Li-O₂ batteries?
C. Prehal, S. Mondal, L. Lovicar, S.A. Freunberger, ACS Energy Letters 7 (2022) 3112–3119.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Prehal, S. Mondal, L. Lovicar, S.A. Freunberger, ACS Energy Letters 7 (2022) 3112–3119.
2022 |
Published |
Journal Article |
IST-REx-ID: 12067 |
Benzylic fluorination induced by a charge-transfer complex with a solvent-dependent selectivity switch
A. Madani, L. Anghileri, M. Heydenreich, H.M. Möller, B. Pieber, Organic Letters 24 (2022) 5376–5380.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Madani, L. Anghileri, M. Heydenreich, H.M. Möller, B. Pieber, Organic Letters 24 (2022) 5376–5380.
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12072 |
Existence and density problems in Diophantine geometry: From norm forms to Campana points
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
2022 |
Published |
Journal Article |
IST-REx-ID: 12079 |
Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime
S. Hensel, M. Moser, Calculus of Variations and Partial Differential Equations 61 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
S. Hensel, M. Moser, Calculus of Variations and Partial Differential Equations 61 (2022).
2022 |
Published |
Journal Article |
IST-REx-ID: 12081 |
Accumulation and maintenance of information in evolution
M. Hledik, N.H. Barton, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 119 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Hledik, N.H. Barton, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 119 (2022).
2022 |
Published |
Journal Article |
IST-REx-ID: 12082 |
Depletion of endogenously biotinylated carboxylases enhances the sensitivity of TurboID-mediated proximity labeling in Caenorhabditis elegans
M. Artan, M. Hartl, W. Chen, M. de Bono, Journal of Biological Chemistry 298 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Artan, M. Hartl, W. Chen, M. de Bono, Journal of Biological Chemistry 298 (2022).
2022 |
Published |
Journal Article |
IST-REx-ID: 12083 |
Dependent random variables in quantum dynamics
S.A.E. Rademacher, Journal of Mathematical Physics 63 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.A.E. Rademacher, Journal of Mathematical Physics 63 (2022).
2022 |
Published |
Journal Article |
IST-REx-ID: 12084 |
Regimes and mechanisms of transient amplification in abstract and biological neural networks
G. Christodoulou, T.P. Vogels, E.J. Agnes, PLoS Computational Biology 18 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G. Christodoulou, T.P. Vogels, E.J. Agnes, PLoS Computational Biology 18 (2022).