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.
2030 Publications
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18568 |
Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster
R.K. Satapathy, Mechanisms of Visual Integration and Competition in Innate Behaviours in Drosophila Melanogaster, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
R.K. Satapathy, Mechanisms of Visual Integration and Competition in Innate Behaviours in Drosophila Melanogaster, Institute of Science and Technology Austria, 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
| WoS
| 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: 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
| WoS
| 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 |
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
| WoS
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
2024 |
Published |
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.)
| WoS
| 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 |
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
| WoS
| arXiv
D. Beďatš, Journal of Algebra 651 (2024) 281–304.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18667 |
New methods for applying topological data analysis to materials science
T. Heiss, New Methods for Applying Topological Data Analysis to Materials Science, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
T. Heiss, New Methods for Applying Topological Data Analysis to Materials Science, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18674 |
Image analysis for brain tissue reconstruction with super-resolution light microscopy
J. Lyudchik, Image Analysis for Brain Tissue Reconstruction with Super-Resolution Light Microscopy, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Lyudchik, Image Analysis for Brain Tissue Reconstruction with Super-Resolution Light Microscopy, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18681
Developing molecular and structural tools for studying brain architecture with super resolution expansion microscopy. LICONN: Molecularly-informed connectomics reconstruction with light microscopy
M. Tavakoli, Developing Molecular and Structural Tools for Studying Brain Architecture with Super Resolution Expansion Microscopy. LICONN: Molecularly-Informed Connectomics Reconstruction with Light Microscopy, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M. Tavakoli, Developing Molecular and Structural Tools for Studying Brain Architecture with Super Resolution Expansion Microscopy. LICONN: Molecularly-Informed Connectomics Reconstruction with Light Microscopy, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Conference Paper |
IST-REx-ID: 18702 |
The cost of maintaining keys in dynamic groups with applications to multicast encryption and group messaging
M. Anastos, B. Auerbach, M.A. Baig, M. Cueto Noval, M.A. Kwan, G. Pascual Perez, K.Z. Pietrzak, in:, 22nd International Conference on Theory of Cryptography, Springer Nature, 2024, pp. 413–443.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
M. Anastos, B. Auerbach, M.A. Baig, M. Cueto Noval, M.A. Kwan, G. Pascual Perez, K.Z. Pietrzak, in:, 22nd International Conference on Theory of Cryptography, Springer Nature, 2024, pp. 413–443.
2024 |
Published |
Journal Article |
IST-REx-ID: 13129 |
Bias in the representative volume element method: Periodize the ensemble instead of its realizations
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics 24 (2024) 1305–1387.
[Published Version]
View
| Files available
| DOI
| WoS
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics 24 (2024) 1305–1387.
2024 |
Published |
Journal Article |
IST-REx-ID: 13271 |
Some convexity and monotonicity results of trace functionals
H. Zhang, Annales Henri Poincare 25 (2024) 2087–2106.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Zhang, Annales Henri Poincare 25 (2024) 2087–2106.
2024 |
Published |
Journal Article |
IST-REx-ID: 20039
A protocol for data harmonization in large cohorts
Neidhart M, Kjelkenes R, Jansone K, Rehák Bučková B, Holz N, Nees F, Walter H, Schumann G, Rapp MA, Banaschewski T, Schwarz E, Marquand A, Ogoh G, Stahl B, Young AH, Desrivières S, Clinton N, Thompson P, Schwalber A, Liu J, Calhoun V, Chang X, Xia Y, Gong Y, Jia T, Renner P, Hese S, Giner A, Sanchez M, Alvarez E, Spanlang B, Pearmund C, Athanasiadis AP, Otten L, Pitel S, Petkoski S, Jirsa V, Schmitt K, Wilbertz J, Patraskaki M, Sommer P, Heilmann-Heimbach S, Mathey CM, Miller A, Claus I, Nöthen MM, Hoffmann P, Forstner AJ, Pastor A, Gallego J, Orosa FE, Viapiana GF, Slater M, Marr L, Novarino G, Böttger SJ, Tschorn M, Rapp M, Ask H, Fernandez S, Van Der Meer D, Westlye LT, Andreassen OA, Aden R, Seefried B, Siehl S, Nees F, Stringaris A, Tost H, Meyer-Lindenberg A, Christmann N, Banks J, Schepanski K, Schütz T, Taron UH, Eils R, Roy JC, Lett TA, Kebir H, Polemiti E, Hitchen E, Jentsch M, Serin E, Bernas A, Vaidya N, Twardziok S, Ralser M, Heinz A. 2024. A protocol for data harmonization in large cohorts. Nature Mental Health. 2(10), 1134–1137.
View
| DOI
Neidhart M, Kjelkenes R, Jansone K, Rehák Bučková B, Holz N, Nees F, Walter H, Schumann G, Rapp MA, Banaschewski T, Schwarz E, Marquand A, Ogoh G, Stahl B, Young AH, Desrivières S, Clinton N, Thompson P, Schwalber A, Liu J, Calhoun V, Chang X, Xia Y, Gong Y, Jia T, Renner P, Hese S, Giner A, Sanchez M, Alvarez E, Spanlang B, Pearmund C, Athanasiadis AP, Otten L, Pitel S, Petkoski S, Jirsa V, Schmitt K, Wilbertz J, Patraskaki M, Sommer P, Heilmann-Heimbach S, Mathey CM, Miller A, Claus I, Nöthen MM, Hoffmann P, Forstner AJ, Pastor A, Gallego J, Orosa FE, Viapiana GF, Slater M, Marr L, Novarino G, Böttger SJ, Tschorn M, Rapp M, Ask H, Fernandez S, Van Der Meer D, Westlye LT, Andreassen OA, Aden R, Seefried B, Siehl S, Nees F, Stringaris A, Tost H, Meyer-Lindenberg A, Christmann N, Banks J, Schepanski K, Schütz T, Taron UH, Eils R, Roy JC, Lett TA, Kebir H, Polemiti E, Hitchen E, Jentsch M, Serin E, Bernas A, Vaidya N, Twardziok S, Ralser M, Heinz A. 2024. A protocol for data harmonization in large cohorts. Nature Mental Health. 2(10), 1134–1137.
2024 |
Published |
Journal Article |
IST-REx-ID: 20157
Rethinking ethics in interdisciplinary and big data-driven neuroscience projects
Stahl B, Ogoh G, Schumann G, Walter H, Stahl B, Young AH, Desrivières S, Clinton N, Thompson P, Schwalber A, Liu J, Calhoun V, Chang X, Xia Y, Gong Y, Jia T, Renner P, Hese S, Giner A, Sanchez M, Alvarez E, Spanlang B, Pearmund C, Athanasiadis AP, Otten L, Pitel S, Petkoski S, Jirsa V, Schmitt K, Wilbertz J, Patraskaki M, Sommer P, Heilmann-Heimbach S, Mathey CM, Miller A, Claus I, Nöthen MM, Hoffmann P, Forstner AJ, Pastor A, Gallego J, Orosa FE, Viapiana GF, Slater M, Marr L, Novarino G, Marquand A, Böttger SJ, Tschorn M, Rapp M, Ask H, Kjelkenes R, Fernandez S, Van Der Meer D, Westlye LT, Andreassen OA, Aden R, Seefried B, Siehl S, Nees F, Neidhart M, Stringaris A, Schwarz E, Holz N, Tost H, Meyer-Lindenberg A, Christmann N, Jansone K, Banaschewski T, Banks J, Schepanski K, Schütz T, Taron UH, Eils R, Roy JC, Lett TA, Kebir H, Polemiti E, Hitchen E, Jentsch M, Serin E, Bernas A, Vaidya N, Twardziok S, Ralser M, Heinz A, Walter H. 2024. Rethinking ethics in interdisciplinary and big data-driven neuroscience projects. Nature Mental Health. 2(10), 1128–1130.
View
| DOI
Stahl B, Ogoh G, Schumann G, Walter H, Stahl B, Young AH, Desrivières S, Clinton N, Thompson P, Schwalber A, Liu J, Calhoun V, Chang X, Xia Y, Gong Y, Jia T, Renner P, Hese S, Giner A, Sanchez M, Alvarez E, Spanlang B, Pearmund C, Athanasiadis AP, Otten L, Pitel S, Petkoski S, Jirsa V, Schmitt K, Wilbertz J, Patraskaki M, Sommer P, Heilmann-Heimbach S, Mathey CM, Miller A, Claus I, Nöthen MM, Hoffmann P, Forstner AJ, Pastor A, Gallego J, Orosa FE, Viapiana GF, Slater M, Marr L, Novarino G, Marquand A, Böttger SJ, Tschorn M, Rapp M, Ask H, Kjelkenes R, Fernandez S, Van Der Meer D, Westlye LT, Andreassen OA, Aden R, Seefried B, Siehl S, Nees F, Neidhart M, Stringaris A, Schwarz E, Holz N, Tost H, Meyer-Lindenberg A, Christmann N, Jansone K, Banaschewski T, Banks J, Schepanski K, Schütz T, Taron UH, Eils R, Roy JC, Lett TA, Kebir H, Polemiti E, Hitchen E, Jentsch M, Serin E, Bernas A, Vaidya N, Twardziok S, Ralser M, Heinz A, Walter H. 2024. Rethinking ethics in interdisciplinary and big data-driven neuroscience projects. Nature Mental Health. 2(10), 1128–1130.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18766 |
Elucidating the structural determinants of the poxvirus core using multi-modal cryo-EM
J. Datler, Elucidating the Structural Determinants of the Poxvirus Core Using Multi-Modal Cryo-EM, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Datler, Elucidating the Structural Determinants of the Poxvirus Core Using Multi-Modal Cryo-EM, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Book (Editor) |
IST-REx-ID: 18899
Optimal Transport on Quantum Structures
J. Maas, S.A.E. Rademacher, T. Titkos, D. Virosztek, eds., Optimal Transport on Quantum Structures, Springer Nature, Cham, 2024.
View
| DOI
J. Maas, S.A.E. Rademacher, T. Titkos, D. Virosztek, eds., Optimal Transport on Quantum Structures, Springer Nature, Cham, 2024.
2024 |
Published |
Conference Paper |
IST-REx-ID: 18922
Computing the 3-edge-connected components of directed graphs in linear time
L. Georgiadis, G.F. Italiano, E. Kosinas, in:, 65th Annual Symposium on Foundations of Computer Science, IEEE, 2024, pp. 62–85.
View
| DOI
| WoS
L. Georgiadis, G.F. Italiano, E. Kosinas, in:, 65th Annual Symposium on Foundations of Computer Science, IEEE, 2024, pp. 62–85.
2024 |
Published |
Journal Article |
IST-REx-ID: 18923 |
Solving nonnative combinatorial optimization problems using hybrid quantum–classical algorithms
J. Wurtz, S. Sack, S.-T. Wang, IEEE Transactions on Quantum Engineering 5 (2024) 1–14.
[Published Version]
View
| Files available
| DOI
J. Wurtz, S. Sack, S.-T. Wang, IEEE Transactions on Quantum Engineering 5 (2024) 1–14.
2024 |
Published |
Conference Paper |
IST-REx-ID: 18928 |
On the complexity of algorithms with predictions for dynamic graph problems
M. Henzinger, B. Saha, M.P. Seybold, C. Ye, in:, 15th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 62:1-62:25.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Henzinger, B. Saha, M.P. Seybold, C. Ye, in:, 15th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 62:1-62:25.
2024 |
Published |
Journal Article |
IST-REx-ID: 18944 |
Seascape genetic study on Laminaria digitata underscores the critical role of sampling schemes
L. Fouqueau, L. Reynes, F. Tempera, T. Bajjouk, A. Blanfuné, C. Chevalier, M. Laurans, S. Mauger, M. Sourisseau, J. Assis, L. Lévêque, M. Valero, Marine Ecology Progress Series 740 (2024) 23–42.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
L. Fouqueau, L. Reynes, F. Tempera, T. Bajjouk, A. Blanfuné, C. Chevalier, M. Laurans, S. Mauger, M. Sourisseau, J. Assis, L. Lévêque, M. Valero, Marine Ecology Progress Series 740 (2024) 23–42.