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.
1966 Publications
2025 | Published | Thesis | IST-REx-ID: 20212
Miranda, O. (2025). Unraveling the role of Pten in cortical stem cell lineage progression using MADM. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20212
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20189 | 
Froleyks, N., Yu, E., Preiner, M., Biere, A., & Heljanko, K. (2025). Introducing certificates to the hardware model checking competition. In 37th International Conference on Computer Aided Verification (Vol. 15931, pp. 281–295). Zagreb, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-98668-0_14
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20225 |
Henzinger, T. A., Mallik, K., Sadeghi, P., & Zikelic, D. (2025). Supermartingale certificates for quantitative omega-regular verification and control. In 37th International Conference on Computer Aided Verification (Vol. 15932, pp. 29–55). Zagreb, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-98679-6_2
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20260 |
| 
|
Chambers, E. W., Fillmore, C. D., Stephenson, E. R., & Wintraecken, M. (2025). Burning or collapsing the medial axis is unstable. La Matematica. Springer Nature. https://doi.org/10.1007/s44007-025-00170-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 | Published | Thesis | IST-REx-ID: 19395 |
Monzer, A. (2025). Cell-Surface Auxin Signaling: Linking molecular pathways to plant development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19395
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19393 |
Karle, V. (2025). Non-equilibrium topological phases with periodically driven molecules and quantum rotors. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19393
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 15121 |
Zheng, D. W., & Henzinger, M. (2025). Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. Springer Nature. https://doi.org/10.1007/s10107-024-02066-3
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19741 |
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). Automating the analysis of quantitative automata with QuAK. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15696, pp. 303–312). Springer Nature. https://doi.org/10.1007/978-3-031-90643-5_16
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20276 |
Bhargava, M. (2025). Design and control of deformable structures: From PCB lighting displays to elastomer robots. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20276
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20008 |
Avvakumov, S., Filakovský, M., Opršal, J., Tasinato, G., & Wagner, U. (2025). Hardness of 4-colouring G-colourable graphs. In Proceedings of the 57th Annual ACM Symposium on Theory of Computing (pp. 72–83). Prague, Czechia: Association for Computing Machinery. https://doi.org/10.1145/3717823.3718154
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20167
Schön, H. (2025). The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20167
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 17240 |
|
|
Lauritsen, A. B. (2025). Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-024-01450-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19017 |
Glock, S., Kim, J., Lichev, L., Pikhurko, O., & Sun, S. (2025). On the (k + 2, k)-problem of Brown, Erdős, and Sós for k = 5,6,7. Canadian Journal of Mathematics. Cambridge University Press. https://doi.org/10.4153/s0008414x25000021
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19039 |
Ji, H. C., & Park, J. (2025). Tracy-Widom limit for free sum of random matrices. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/24-aop1705
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19066 |
Claeyssens, A., Adamo, A., Messa, M., Dessauges-Zavadsky, M., Richard, J., Kramarenko, I., … Naidu, R. P. (2025). Tracing star formation across cosmic time at tens of parsec-scales in the lensing cluster field Abell 2744. Monthly Notices of the Royal Astronomical Society. Oxford Academic. https://doi.org/10.1093/mnras/staf058
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19075
Ma, H., Pu, S., Jia, S., Xu, S., Yu, Q., Yang, L., … Sun, Q. (2025). Laser-assisted thermoelectric-enhanced hydrogen peroxide biosensors based on Ag2Se nanofilms for sensitive detection of bacterial pathogens. Nanoscale. Royal Society of Chemistry. https://doi.org/10.1039/d4nr04860a
View
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19284 |
Covelo-Paz A, Giovinazzo E, Oesch PA, Meyer RA, Weibel A, Brammer G, Fudamoto Y, Kerutt J, Lin J, Matharu J, Naidu RP, Velichko A, Bollo V, Bouwens R, Chisholm J, Illingworth GD, Kramarenko I, Magee D, Maseda M, Matthee JJ, Nelson E, Reddy N, Schaerer D, Stefanon M, Xiao M. 2025. An Hα view of galaxy buildup in the first 2 Gyr: Luminosity functions at z ∼ 4−6.5 from NIRCam/grism spectroscopy. Astronomy and Astrophysics. 694, A178.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19281 |
Resch, N., Yuan, C., & Zhang, Y. (2025). Tight bounds on list-decodable and list-recoverable zero-rate codes. In 16th Innovations in Theoretical Computer Science Conference (Vol. 325). New York, NY, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITCS.2025.82
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20203 |
Sobarzo Ponce, J. C. A. (2025). Tribocharging of identical insulators : Triboelectric series, triboelectric cycles and surface charges. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20203
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19375 |
Azeem, M., Chakraborty, D., Kanav, S., Kretinsky, J., Mohagheghi, M., Mohr, S., & Weininger, M. (2025). 1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization. In 26th International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 15530, pp. 97–120). Denver, CO, United States: Springer Nature. https://doi.org/10.1007/978-3-031-82703-7_5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv