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
Unraveling the role of Pten in cortical stem cell lineage progression using MADM
O. Miranda, Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
O. Miranda, Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM, Institute of Science and Technology Austria, 2025.
2025 | Published | Conference Paper | IST-REx-ID: 20189 | 
Introducing certificates to the hardware model checking competition
N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295.
[Published Version]
View
| Files available
| DOI
N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295.
2025 | Published | Conference Paper | IST-REx-ID: 20225 |
Supermartingale certificates for quantitative omega-regular verification and control
T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20260 |
| 
|
Burning or collapsing the medial axis is unstable
E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, La Matematica (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, La Matematica (2025).
2025 | Published | Thesis | IST-REx-ID: 19395 |
Cell-Surface Auxin Signaling: Linking molecular pathways to plant development
A. Monzer, Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A. Monzer, Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19393 |
Non-equilibrium topological phases with periodically driven molecules and quantum rotors
V. Karle, Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
V. Karle, Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 15121 |
Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M. Henzinger, Mathematical Programming 210 (2025) 881–894.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.W. Zheng, M. Henzinger, Mathematical Programming 210 (2025) 881–894.
2025 | Published | Conference Paper | IST-REx-ID: 19741 |
Automating the analysis of quantitative automata with QuAK
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.
2025 | Published | Thesis | IST-REx-ID: 20276 |
Design and control of deformable structures: From PCB lighting displays to elastomer robots
M. Bhargava, Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
M. Bhargava, Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots, Institute of Science and Technology Austria, 2025.
2025 | Published | Conference Paper | IST-REx-ID: 20008 |
Hardness of 4-colouring G-colourable graphs
S. Avvakumov, M. Filakovský, J. Opršal, G. Tasinato, U. Wagner, in:, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 72–83.
[Published Version]
View
| Files available
| DOI
S. Avvakumov, M. Filakovský, J. Opršal, G. Tasinato, U. Wagner, in:, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 72–83.
2025 | Published | Thesis | IST-REx-ID: 20167
The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs
H. Schön, The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
H. Schön, The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 17240 |
|
|
Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion
A.B. Lauritsen, Annales Henri Poincare 26 (2025) 203–243.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.B. Lauritsen, Annales Henri Poincare 26 (2025) 203–243.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19017 |
On the (k + 2, k)-problem of Brown, Erdős, and Sós for k = 5,6,7
S. Glock, J. Kim, L. Lichev, O. Pikhurko, S. Sun, Canadian Journal of Mathematics (2025) 1–43.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
S. Glock, J. Kim, L. Lichev, O. Pikhurko, S. Sun, Canadian Journal of Mathematics (2025) 1–43.
2025 | Published | Journal Article | IST-REx-ID: 19039 |
Tracy-Widom limit for free sum of random matrices
H.C. Ji, J. Park, The Annals of Probability 53 (2025) 239–298.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H.C. Ji, J. Park, The Annals of Probability 53 (2025) 239–298.
2025 | Published | Journal Article | IST-REx-ID: 19066 |
Tracing star formation across cosmic time at tens of parsec-scales in the lensing cluster field Abell 2744
A. Claeyssens, A. Adamo, M. Messa, M. Dessauges-Zavadsky, J. Richard, I. Kramarenko, J.J. Matthee, R.P. Naidu, Monthly Notices of the Royal Astronomical Society 537 (2025) 2535–2558.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Claeyssens, A. Adamo, M. Messa, M. Dessauges-Zavadsky, J. Richard, I. Kramarenko, J.J. Matthee, R.P. Naidu, Monthly Notices of the Royal Astronomical Society 537 (2025) 2535–2558.
2025 | Published | Journal Article | IST-REx-ID: 19075
Laser-assisted thermoelectric-enhanced hydrogen peroxide biosensors based on Ag2Se nanofilms for sensitive detection of bacterial pathogens
H. Ma, S. Pu, S. Jia, S. Xu, Q. Yu, L. Yang, H. Wu, Q. Sun, Nanoscale 17 (2025) 5858–5868.
View
| DOI
| WoS
| PubMed | Europe PMC
H. Ma, S. Pu, S. Jia, S. Xu, Q. Yu, L. Yang, H. Wu, Q. Sun, Nanoscale 17 (2025) 5858–5868.
2025 | Published | Journal Article | IST-REx-ID: 19284 |
An Hα view of galaxy buildup in the first 2 Gyr: Luminosity functions at z ∼ 4−6.5 from NIRCam/grism spectroscopy
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
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.
2025 | Published | Conference Paper | IST-REx-ID: 19281 |
Tight bounds on list-decodable and list-recoverable zero-rate codes
N. Resch, C. Yuan, Y. Zhang, in:, 16th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
N. Resch, C. Yuan, Y. Zhang, in:, 16th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 | Published | Thesis | IST-REx-ID: 20203 |
Tribocharging of identical insulators : Triboelectric series, triboelectric cycles and surface charges
J.C.A. Sobarzo Ponce, Tribocharging of Identical Insulators : Triboelectric Series, Triboelectric Cycles and Surface Charges, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
J.C.A. Sobarzo Ponce, Tribocharging of Identical Insulators : Triboelectric Series, Triboelectric Cycles and Surface Charges, Institute of Science and Technology Austria, 2025.
2025 | Published | Conference Paper | IST-REx-ID: 19375 |
1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization
M. Azeem, D. Chakraborty, S. Kanav, J. Kretinsky, M. Mohagheghi, S. Mohr, M. Weininger, in:, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2025, pp. 97–120.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Azeem, D. Chakraborty, S. Kanav, J. Kretinsky, M. Mohagheghi, S. Mohr, M. Weininger, in:, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2025, pp. 97–120.