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.

2033 Publications


2026 | Published | Thesis | PhD | IST-REx-ID: 21393 | OA
Dvorak, Martin. Pursuit of Truth and Beauty in Lean 4 : Formally Verified Theory of Grammars, Optimization, Matroids. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21393.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 18478 | OA
Anastos, Michael, et al. “On the Chromatic Number of Powers of Subdivisions of Graphs.” Discrete Applied Mathematics, vol. 360, Elsevier, 2025, pp. 506–11, doi:10.1016/j.dam.2024.10.002.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 18580 | OA
Lipiński, Michał, et al. “Morse Predecomposition of an Invariant Set.” Qualitative Theory of Dynamical Systems, vol. 24, no. 1, 5, Springer Nature, 2025, doi:10.1007/s12346-024-01144-3.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 18631 | OA
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. 2025. Efficient formation of a massive quiescent galaxy at redshift 4.9. Nature Astronomy. 9, 280–292.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 18705 | OA
Glas, Jakob, and Leonhard Hochfilzer. “On a Question of Davenport and Diagonal Cubic Forms over Fq(T).” Mathematische Annalen, vol. 391, Springer Nature, 2025, pp. 5485–533, doi:10.1007/s00208-024-03035-z.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19778 | OA
Hoffmann, Charlotte, and Krzysztof Z. Pietrzak. “Watermarkable and Zero-Knowledge Verifiable Delay Functions from Any Proof of Exponentiation.” 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, vol. 15674, Springer Nature, 2025, pp. 36–66, doi:10.1007/978-3-031-91820-9_2.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 19784 | OA
de Graaff A, Brammer G, Weibel A, Lewis Z, Maseda MV, Oesch PA, Bezanson R, Boogaard LA, Cleri NJ, Cooper OR, Gottumukkala R, Greene JE, Hirschmann M, Hviding RE, Katz H, Labbé I, Leja J, Matthee JJ, McConachie I, Miller TB, Naidu RP, Price SH, Rix H-W, Setton DJ, Suess KA, Wang B, Whitaker KE, Williams CC. 2025. RUBIES: A complete census of the bright and red distant universe with JWST/NIRSpec. Astronomy & Astrophysics. 697, A189.
[Published Version] View | Files available | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 19798 | OA
Anastos, Michael, and Patrick Morris. “A Note on Finding Large Transversals Efficiently.” Journal of Combinatorial Designs, vol. 33, no. 9, Wiley, 2025, pp. 338–42, doi:10.1002/jcd.21990.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19841 | OA
Britavskiy N, Mahy L, Lennon DJ, Patrick LR, Sana H, Villaseñor JI, Shenar T, Bodensteiner J, Bernini-Peron M, Berlanas SR, Bowman DM, Crowther PA, De Mink SE, Evans CJ, Götberg YLL, Holgado G, Johnston C, Keszthelyi Z, Klencki J, Langer N, Mandel I, Menon A, Moe M, Oskinova LM, Pauli D, Pawlak M, Ramachandran V, Renzo M, Sander AAC, Schneider FRN, Schootemeijer A, Sen K, Simón-Díaz S, Van Loon JT, Vink JS. 2025. Binarity at LOw Metallicity (BLOeM): Multiplicity of early B-type supergiants in the Small Magellanic Cloud. Astronomy & Astrophysics. 698, A40.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19858 | OA
El-Hayek, Antoine, et al. “On B-Matching and Fully-Dynamic Maximum k-Edge Coloring.” 4th Symposium on Algorithmic Foundations of Dynamic Networks, vol. 330, 4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.SAND.2025.4.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19860 | OA
Aronov, Boris, et al. “Eight-Partitioning Points in 3D, and Efficiently Too.” Discrete & Computational Geometry, Springer Nature, 2025, doi:10.1007/s00454-025-00739-0.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19931 | OA
Furtak LJ, Secunda AR, Greene JE, Zitrin A, Labbé I, Golubchik M, Bezanson R, Kokorev V, Atek H, Brammer GB, Chemerynska I, Cutler SE, Dayal P, Feldmann R, Fujimoto S, Glazebrook K, Leja J, Ma Y, Matthee JJ, Naidu RP, Nelson EJ, Oesch PA, Pan R, Price SH, Suess KA, Wang B, Weaver JR, Whitaker KE. 2025. Investigating photometric and spectroscopic variability in the multiply imaged little red dot A2744-QSO1. Astronomy & Astrophysics. 698, A227.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19964 | OA
Cheng, Sihao, et al. “A Candidate Giant Planet Companion to the Massive, Young White Dwarf GALEX J071816.4+373139 Informs the Occurrence of Giant Planets Orbiting B Stars.” The Astronomical Journal, vol. 170, no. 1, 47, IOP Publishing, 2025, doi:10.3847/1538-3881/addd21.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20004 | OA
Streltsova, Elizaveta, and Uli Wagner. “Levels in Arrangements: Linear Relations, the g-Matrix, and Applications to Crossing Numbers.” 41st International Symposium on Computational Geometry, vol. 332, 75, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.SoCG.2025.75.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20008 | OA
Avvakumov, Sergey, et al. “Hardness of 4-Colouring G-Colourable Graphs.” Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 72–83, doi:10.1145/3717823.3718154.
[Published Version] View | Files available | DOI
 

2025 | Published | Conference Paper | IST-REx-ID: 20024
Richter, Cedric, et al. “Cooperative Software Verification via Dynamic Program Splitting.” 47th International Conference on Software Engineering, IEEE, 2025, pp. 2087–99, doi:10.1109/ICSE55347.2025.00092.
View | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 20030 | OA | PlanS
Ďurovčíková, Dominika, et al. “An Extremely Metal-Poor Lyα Emitter Candidate at z = 6 Revealed through Absorption Spectroscopy.” The Astrophysical Journal Letters, vol. 987, no. 2, L33, IOP Publishing, 2025, doi:10.3847/2041-8213/ade71c.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20055
Lee, Seungho, et al. “Reaction Precursor-Mediated Formation of Stable Supercrystals in Colloidal Nanocrystal Synthesis: PbTe Case.” Proceedings of the MATSUS Spring 2025 Conference, 173, Fundació de la comunitat valenciana SCITO, 2025, doi:10.29363/nanoge.matsusspring.2025.173.
View | DOI
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20074 | OA
Hübschmann, Verena. Human Microglia Impact Neuronal Development in Retinal Organoids. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20074.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20116 | OA
Xu, Faqing, et al. “Germin-like Protein 1 Interacts with Proteasome Regulator 1 to Regulate Auxin Signaling by Controlling Aux/IAA Homeostasis.” Cell Reports, vol. 44, no. 8, 116056, Elsevier, 2025, doi:10.1016/j.celrep.2025.116056.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed