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 | 
Chiossi, Heloisa S. C. “Adaptive Hierarchical Representations in the Hippocampus.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:14821.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18661 |
Santana de Freitas Amaral, Miguel. “Archaeal Membranes : In Silico Modelling and Design.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18661.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18642 |
Machnik, Nick N. “Algorithms for Causal Learning and Comparative Analysis for Genomic Data.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18642.
[Published Version]
View
| Files available
| DOI
2024 | Published | Preprint | IST-REx-ID: 18648 |
Machnik, Nick N, Seyed Mahdi Mahmoudi, Malgorzata Borczyk, Ilse Krätschmer, Markus J. Bauer, and Matthew Richard Robinson. “Causal Inference for Multiple Risk Factors and Diseases from Genomics Data.” BioRxiv, 2024. https://doi.org/10.1101/2023.12.06.570392.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2024 | Draft | Preprint | IST-REx-ID: 18670 |
Santana de Freitas Amaral, Miguel, Felix F Frey, Xiuyun Jiang, Buzz Baum, and Anđela Šarić. “Stability vs Flexibility: Reshaping Archaeal Membranes in Silico.” BioRxiv, n.d. https://doi.org/10.1101/2024.10.18.619072.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2024 | Published | Thesis | IST-REx-ID: 17119 |
Kelemen, Réka K. “Characterizing the Sequence and Expression Evolution of the T-Haplotype, a Model Meiotic Driver.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17119.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18531 |
Mrnjavac, Andrea. “Early Stages of Sex Chromosome Evolution.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18531.
[Published Version]
View
| Files available
| DOI
2024 | Draft | Preprint | IST-REx-ID: 18549 |
Mrnjavac, Andrea, and Beatriz Vicoso. “Evidence of a Slower-Z Effect in Schistosoma Japonicum.” BioRxiv, n.d. https://doi.org/10.1101/2024.07.02.601697.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 13139 |
Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13993:489–507. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30823-9_25.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13141 |
Anand, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30820-8_15.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13143 |
Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.” In Public-Key Cryptography - PKC 2023, 13940:530–53. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-31368-4_19.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 13165 |
Fang, Lixing, Hao Huang, János Pach, Gábor Tardos, and Junchi Zuo. “Successive Vertex Orderings of Fully Regular Graphs.” Journal of Combinatorial Theory. Series A. Elsevier, 2023. https://doi.org/10.1016/j.jcta.2023.105776.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13168 |
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
2023 | Published | Journal Article | IST-REx-ID: 13177 |
Hua, Bobo, Matthias Keller, Michael Schwarz, and Melchior Wirth. “Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure.” Proceedings of the American Mathematical Society. American Mathematical Society, 2023. https://doi.org/10.1090/proc/14361.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13179 |
Koval, Nikita, Dmitry Khalanskiy, and Dan-Adrian Alistarh. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery , 2023. https://doi.org/10.1145/3591230.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13180 |
Browning, Timothy D, Julian Lyczak, and Roman Sarapin. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/involve.2023.16.331.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13209 |
Xia, Jing, Mengjuan Kong, Zhisen Yang, Lianghanxiao Sun, Yakun Peng, Yanbo Mao, Hong Wei, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications. Elsevier , 2023. https://doi.org/10.1016/j.xplc.2023.100632.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13213 |
Chen, C, Y Zhang, J Cai, Y Qiu, L Li, C Gao, Y Gao, et al. “Multi-Copper Oxidases SKU5 and SKS1 Coordinate Cell Wall Formation Using Apoplastic Redox-Based Reactions in Roots.” Plant Physiology. American Society of Plant Biologists, 2023. https://doi.org/10.1093/plphys/kiad207.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13216 |
Bunting, Rhys, Felix Wodaczek, Tina Torabi, and Bingqing Cheng. “Reactivity of Single-Atom Alloy Nanoparticles: Modeling the Dehydrogenation of Propane.” Journal of the American Chemical Society. American Chemical Society, 2023. https://doi.org/10.1021/jacs.3c04030.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13230 |
Charlton, Julie A., Wiktor F Mlynarski, Yoon H. Bai, Ann M. Hermundstad, and Robbe L.T. Goris. “Environmental Dynamics Shape Perceptual Decision Bias.” PLoS Computational Biology. Public Library of Science, 2023. https://doi.org/10.1371/journal.pcbi.1011104.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC