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. Unraveling the role of Pten in cortical stem cell lineage progression using MADM. 2025. doi: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. Introducing certificates to the hardware model checking competition. In: 37th International Conference on Computer Aided Verification. Vol 15931. Springer Nature; 2025:281-295. doi:10.1007/978-3-031-98668-0_14
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20225 |
Henzinger TA, Mallik K, Sadeghi P, Zikelic D. Supermartingale certificates for quantitative omega-regular verification and control. In: 37th International Conference on Computer Aided Verification. Vol 15932. Springer Nature; 2025:29-55. doi: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 EW, Fillmore CD, Stephenson ER, Wintraecken M. Burning or collapsing the medial axis is unstable. La Matematica. 2025. doi:10.1007/s44007-025-00170-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 | Published | Thesis | IST-REx-ID: 19395 |
Monzer A. Cell-Surface Auxin Signaling: Linking molecular pathways to plant development. 2025. doi:10.15479/AT-ISTA-19395
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19393 |
Karle V. Non-equilibrium topological phases with periodically driven molecules and quantum rotors. 2025. doi:10.15479/AT-ISTA-19393
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 15121 |
Zheng DW, Henzinger M. Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. 2025;210:881-894. doi: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 TA, Mazzocchi NA, Sarac NE. 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. Springer Nature; 2025:303-312. doi:10.1007/978-3-031-90643-5_16
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20276 |
Bhargava M. Design and control of deformable structures: From PCB lighting displays to elastomer robots. 2025. doi: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. Hardness of 4-colouring G-colourable graphs. In: Proceedings of the 57th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2025:72-83. doi:10.1145/3717823.3718154
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20167
Schön H. The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. 2025. doi:10.15479/AT-ISTA-20167
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 17240 |
|
|
Lauritsen AB. Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion. Annales Henri Poincare. 2025;26:203-243. doi: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. On the (k + 2, k)-problem of Brown, Erdős, and Sós for k = 5,6,7. Canadian Journal of Mathematics. 2025:1-43. doi:10.4153/s0008414x25000021
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19039 |
Ji HC, Park J. Tracy-Widom limit for free sum of random matrices. The Annals of Probability. 2025;53(1):239-298. doi: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, et al. 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. 2025;537(3):2535-2558. doi: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, et al. Laser-assisted thermoelectric-enhanced hydrogen peroxide biosensors based on Ag2Se nanofilms for sensitive detection of bacterial pathogens. Nanoscale. 2025;17(10):5858-5868. doi: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. Tight bounds on list-decodable and list-recoverable zero-rate codes. In: 16th Innovations in Theoretical Computer Science Conference. Vol 325. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.ITCS.2025.82
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20203 |
Sobarzo Ponce JCA. Tribocharging of identical insulators : Triboelectric series, triboelectric cycles and surface charges. 2025. doi: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, et al. 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. Springer Nature; 2025:97-120. doi:10.1007/978-3-031-82703-7_5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv