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.
10467 Publications
2024 | Epub ahead of print | Conference Paper | IST-REx-ID: 18600 | 
Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report
Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18605 |
Moist convective scaling: Insights from an idealised model
L.N. Agasthya, C.J. Muller, M. Cheve, Quarterly Journal of the Royal Meteorological Society (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
L.N. Agasthya, C.J. Muller, M. Cheve, Quarterly Journal of the Royal Meteorological Society (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18599
Monitoring extended hypernode logic
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
View
| DOI
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
2024 | Published | Thesis | IST-REx-ID: 18515 |
Effect of population structure on neutral genetic variation and barriers to gene exchange
P. Surendranadh, Effect of Population Structure on Neutral Genetic Variation and Barriers to Gene Exchange, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
P. Surendranadh, Effect of Population Structure on Neutral Genetic Variation and Barriers to Gene Exchange, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 18587 |
Toward a common interpretation of the 3Rs principles in animal research
Lauwereyns J, Bajramovic J, Bert B, Camenzind S, De Kock J, Elezović A, Erden S, Gonzalez-Uarquin F, Ulman YI, Hoffmann OI, Kitsara M, Kostomitsopoulos N, Neuhaus W, Petit-Demouliere B, Pollo S, Riso B, Schober S, Sotiropoulos A, Thomas A, Vitale A, Wilflingseder D, Ahluwalia A. 2024. Toward a common interpretation of the 3Rs principles in animal research. Lab Animal. 53, 347–350.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Lauwereyns J, Bajramovic J, Bert B, Camenzind S, De Kock J, Elezović A, Erden S, Gonzalez-Uarquin F, Ulman YI, Hoffmann OI, Kitsara M, Kostomitsopoulos N, Neuhaus W, Petit-Demouliere B, Pollo S, Riso B, Schober S, Sotiropoulos A, Thomas A, Vitale A, Wilflingseder D, Ahluwalia A. 2024. Toward a common interpretation of the 3Rs principles in animal research. Lab Animal. 53, 347–350.
2024 | Published | Journal Article | IST-REx-ID: 18582 |
Over 25 years of decrypting PIN-mediated plant development
C. Luschnig, J. Friml, Nature Communications 15 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Luschnig, J. Friml, Nature Communications 15 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18586 |
The central limit theorem and rate of mixing for simple random walks on the circle
K.S. CZUDEK, D. Dolgopyat, Alea 21 (2024) 1853–1865.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K.S. CZUDEK, D. Dolgopyat, Alea 21 (2024) 1853–1865.
2024 | Published | Journal Article | IST-REx-ID: 18630 |
Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, Logical Methods in Computer Science 20 (2024) 11:1-11:34.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, L. Doyen, Logical Methods in Computer Science 20 (2024) 11:1-11:34.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18631 |
Efficient formation of a massive quiescent galaxy at redshift 4.9
De Graaff A, Setton DJ, Brammer G, Cutler S, Suess KA, Labbé I, Leja J, Weibel A, Maseda MV, Whitaker KE, Bezanson R, Boogaard LA, Cleri NJ, De Lucia G, Franx M, Greene JE, Hirschmann M, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Price SH, Rix HW, Valentino F, Wang B, Williams CC. 2024. Efficient formation of a massive quiescent galaxy at redshift 4.9. Nature Astronomy.
[Published Version]
View
| DOI
| Download Published Version (ext.)
De Graaff A, Setton DJ, Brammer G, Cutler S, Suess KA, Labbé I, Leja J, Weibel A, Maseda MV, Whitaker KE, Bezanson R, Boogaard LA, Cleri NJ, De Lucia G, Franx M, Greene JE, Hirschmann M, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Price SH, Rix HW, Valentino F, Wang B, Williams CC. 2024. Efficient formation of a massive quiescent galaxy at redshift 4.9. Nature Astronomy.
2024 | Published | Journal Article | IST-REx-ID: 18493 |
Charting the Lyman-α escape fraction in the range 2.9 < z < 6.7 and consequences for the LAE reionisation contribution
I. Goovaerts, T.T. Thai, R. Pello, P. Tuan-Anh, N. Laporte, J.J. Matthee, T. Nanayakkara, J. Pharo, Astronomy and Astrophysics 690 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
I. Goovaerts, T.T. Thai, R. Pello, P. Tuan-Anh, N. Laporte, J.J. Matthee, T. Nanayakkara, J. Pharo, Astronomy and Astrophysics 690 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18628 |
The importance of solving Subglaciar hydrology in modeling glacier retreat: A case study of Hansbreen, Svalbard
E. De Andrés, J.M. Muñoz Hermosilla, K. Shahateet, J. Otero, Hydrology 11 (2024).
[Published Version]
View
| Files available
| DOI
E. De Andrés, J.M. Muñoz Hermosilla, K. Shahateet, J. Otero, Hydrology 11 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18629 |
Anisotropic potential immersed in a dipolar Bose-Einstein condensate
N. Shukla, A. Volosniev, J.R. Armstrong, Physical Review A 110 (2024).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Shukla, A. Volosniev, J.R. Armstrong, Physical Review A 110 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18617 |
Separation of variables for scalar-valued polynomials in the non-stable range
D. Beďatš, Journal of Algebra 651 (2024) 281–304.
[Published Version]
View
| Files available
| DOI
| arXiv
D. Beďatš, Journal of Algebra 651 (2024) 281–304.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18619 |
Structural insights into brassinosteroid export mediated by the Arabidopsis ABC transporter ABCB1
H. Wei, H. Zhu, W. Ying, H. Janssens, M. Kvasnica, J. Winne, Y. Gao, J. Friml, Q. Ma, S. Tan, X. Liu, E. Russinova, L. Sun, Plant Communications (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H. Wei, H. Zhu, W. Ying, H. Janssens, M. Kvasnica, J. Winne, Y. Gao, J. Friml, Q. Ma, S. Tan, X. Liu, E. Russinova, L. Sun, Plant Communications (2024).
2024 | Published | Journal Article | IST-REx-ID: 18616
Quantum scars make their mark in graphene
D. Abanin, M. Serbyn, Nature 635 (2024) 825–826.
View
| DOI
| PubMed | Europe PMC
D. Abanin, M. Serbyn, Nature 635 (2024) 825–826.
2024 | Published | Journal Article | IST-REx-ID: 18584 |
Medium bands, mega science: A JWST/NIRCam medium-band imaging survey of A2744
Suess KA, Weaver JR, Price SH, Pan R, Wang B, Bezanson R, Brammer G, Cutler SE, Labbé I, Leja J, Williams CC, Whitaker KE, Atek H, Dayal P, De Graaff A, Feldmann R, Franx M, Fudamoto Y, Fujimoto S, Furtak LJ, Goulding AD, Greene JE, Khullar G, Kokorev V, Kriek M, Lorenz B, Marchesini D, Maseda MV, Matthee JJ, Miller TB, Mitsuhashi I, Mowla LA, Muzzin A, Naidu RP, Nanayakkara T, Nelson EJ, Oesch PA, Setton DJ, Shipley H, Smit R, Spilker JS, Van Dokkum P, Zitrin A. 2024. Medium bands, mega science: A JWST/NIRCam medium-band imaging survey of A2744. Astrophysical Journal. 976(1), 101.
[Published Version]
View
| Files available
| DOI
| arXiv
Suess KA, Weaver JR, Price SH, Pan R, Wang B, Bezanson R, Brammer G, Cutler SE, Labbé I, Leja J, Williams CC, Whitaker KE, Atek H, Dayal P, De Graaff A, Feldmann R, Franx M, Fudamoto Y, Fujimoto S, Furtak LJ, Goulding AD, Greene JE, Khullar G, Kokorev V, Kriek M, Lorenz B, Marchesini D, Maseda MV, Matthee JJ, Miller TB, Mitsuhashi I, Mowla LA, Muzzin A, Naidu RP, Nanayakkara T, Nelson EJ, Oesch PA, Setton DJ, Shipley H, Smit R, Spilker JS, Van Dokkum P, Zitrin A. 2024. Medium bands, mega science: A JWST/NIRCam medium-band imaging survey of A2744. Astrophysical Journal. 976(1), 101.
2024 | Published | Journal Article | IST-REx-ID: 18581 |
Prolonged cultivation enhances the stimulatory activity of hiPSC mesenchymal progenitor-derived conditioned medium
D. Marolt Presen, V. Goeschl, D. Hanetseder, L. Ogrin, A.L. Stetco, A. Tansek, L. Pozenel, B. Bruszel, G. Mitulovic, J. Oesterreicher, J. Zipperle, B. Schaedl, W. Holnthoner, J. Grillari, H. Redl, Stem Cell Research and Therapy 15 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Marolt Presen, V. Goeschl, D. Hanetseder, L. Ogrin, A.L. Stetco, A. Tansek, L. Pozenel, B. Bruszel, G. Mitulovic, J. Oesterreicher, J. Zipperle, B. Schaedl, W. Holnthoner, J. Grillari, H. Redl, Stem Cell Research and Therapy 15 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18583 |
Partitioning problems via random processes
M. Anastos, O. Cooley, M. Kang, M.A. Kwan, Journal of the London Mathematical Society 110 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Anastos, O. Cooley, M. Kang, M.A. Kwan, Journal of the London Mathematical Society 110 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18645 |
Nucleosome-bound NR5A2 structure reveals pioneer factor mechanism by DNA minor groove anchor competition
W. Kobayashi, A.H. Sappler, D. Bollschweiler, M. Kümmecke, J. Basquin, E.N. Arslantas, S. Ruangroengkulrith, R. Hornberger, K. Duderstadt, K. Tachibana, Nature Structural & Molecular Biology 31 (2024) 757–766.
[Published Version]
View
| DOI
| Download Published Version (ext.)
W. Kobayashi, A.H. Sappler, D. Bollschweiler, M. Kümmecke, J. Basquin, E.N. Arslantas, S. Ruangroengkulrith, R. Hornberger, K. Duderstadt, K. Tachibana, Nature Structural & Molecular Biology 31 (2024) 757–766.
2024 | Published | Thesis | IST-REx-ID: 17133 |
Superconducting qubits capable of dynamic switching between protected and high-speed control regimes
F. Hassani, Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
F. Hassani, Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes, Institute of Science and Technology Austria, 2024.