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.
5779 Publications
2024 | Published | Thesis | IST-REx-ID: 14821 | 
Adaptive hierarchical representations in the hippocampus
H.S.C. Chiossi, Adaptive Hierarchical Representations in the Hippocampus, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
H.S.C. Chiossi, Adaptive Hierarchical Representations in the Hippocampus, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 18661 |
Archaeal membranes : In silico modelling and design
M. Santana de Freitas Amaral, Archaeal Membranes : In Silico Modelling and Design, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M. Santana de Freitas Amaral, Archaeal Membranes : In Silico Modelling and Design, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 18642 |
Algorithms for causal learning and comparative analysis for genomic data
N.N. Machnik, Algorithms for Causal Learning and Comparative Analysis for Genomic Data, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
N.N. Machnik, Algorithms for Causal Learning and Comparative Analysis for Genomic Data, Institute of Science and Technology Austria, 2024.
2024 | Published | Preprint | IST-REx-ID: 18648 |
Causal inference for multiple risk factors and diseases from genomics data
N.N. Machnik, S.M. Mahmoudi, M. Borczyk, I. Krätschmer, M.J. Bauer, M.R. Robinson, BioRxiv (2024).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
N.N. Machnik, S.M. Mahmoudi, M. Borczyk, I. Krätschmer, M.J. Bauer, M.R. Robinson, BioRxiv (2024).
2024 | Draft | Preprint | IST-REx-ID: 18670 |
Stability vs flexibility: Reshaping archaeal membranes in silico
M. Santana de Freitas Amaral, F.F. Frey, X. Jiang, B. Baum, A. Šarić, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
M. Santana de Freitas Amaral, F.F. Frey, X. Jiang, B. Baum, A. Šarić, BioRxiv (n.d.).
2024 | Published | Thesis | IST-REx-ID: 17119 |
Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver
R.K. Kelemen, Characterizing the Sequence and Expression Evolution of the T-Haplotype, a Model Meiotic Driver, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
R.K. Kelemen, Characterizing the Sequence and Expression Evolution of the T-Haplotype, a Model Meiotic Driver, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 18531 |
Early stages of sex chromosome evolution
A. Mrnjavac, Early Stages of Sex Chromosome Evolution, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A. Mrnjavac, Early Stages of Sex Chromosome Evolution, Institute of Science and Technology Austria, 2024.
2024 | Draft | Preprint | IST-REx-ID: 18549 |
Evidence of a Slower-Z effect in Schistosoma japonicum
A. Mrnjavac, B. Vicoso, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
A. Mrnjavac, B. Vicoso, BioRxiv (n.d.).
2023 | Published | Conference Paper | IST-REx-ID: 13139 |
Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
2023 | Published | Conference Paper | IST-REx-ID: 13141 |
Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
[Published Version]
View
| Files available
| DOI
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
2023 | Published | Conference Paper | IST-REx-ID: 13143 |
Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
2023 | Published | Journal Article | IST-REx-ID: 13165 |
Successive vertex orderings of fully regular graphs
L. Fang, H. Huang, J. Pach, G. Tardos, J. Zuo, Journal of Combinatorial Theory. Series A 199 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
L. Fang, H. Huang, J. Pach, G. Tardos, J. Zuo, Journal of Combinatorial Theory. Series A 199 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13168 |
Effects of urban living environments on mental health in adults
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
[Published Version]
View
| Files available
| DOI
| WoS
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
2023 | Published | Journal Article | IST-REx-ID: 13177 |
Sobolev-type inequalities and eigenvalue growth on graphs with finite measure
B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414.
2023 | Published | Journal Article | IST-REx-ID: 13179 |
CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
[Published Version]
View
| Files available
| DOI
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13180 |
Local solubility for a family of quadrics over a split quadric surface
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
2023 | Published | Journal Article | IST-REx-ID: 13209 |
Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13213 |
Multi-copper oxidases SKU5 and SKS1 coordinate cell wall formation using apoplastic redox-based reactions in roots
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.
2023 | Published | Journal Article | IST-REx-ID: 13216 |
Reactivity of single-atom alloy nanoparticles: Modeling the dehydrogenation of propane
R. Bunting, F. Wodaczek, T. Torabi, B. Cheng, Journal of the American Chemical Society 145 (2023) 14894–14902.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Bunting, F. Wodaczek, T. Torabi, B. Cheng, Journal of the American Chemical Society 145 (2023) 14894–14902.
2023 | Published | Journal Article | IST-REx-ID: 13230 |
Environmental dynamics shape perceptual decision bias
J.A. Charlton, W.F. Mlynarski, Y.H. Bai, A.M. Hermundstad, R.L.T. Goris, PLoS Computational Biology 19 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J.A. Charlton, W.F. Mlynarski, Y.H. Bai, A.M. Hermundstad, R.L.T. Goris, PLoS Computational Biology 19 (2023).