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.

7090 Publications


2025 | Published | Journal Article | IST-REx-ID: 18705 | OA
Glas, J., & Hochfilzer, L. (2025). On a question of Davenport and diagonal cubic forms over Fq(t). Mathematische Annalen. Springer Nature. https://doi.org/10.1007/s00208-024-03035-z
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 18936 | OA
Grah, R., Guet, C. C., Tkačik, G., & Lagator, M. (2025). Linking molecular mechanisms to their evolutionary consequences: a primer. Genetics. Oxford University Press. https://doi.org/10.1093/genetics/iyae191
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 18984 | OA
Xing, Z., Torres Rodriguez, S., Götberg, Y. L. L., Trani, A. A., Korol, V., & Cuadra, J. (2025). Combining REBOUND and MESA: Dynamical evolution of planets orbiting interacting binaries. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stae2820
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19001 | OA
Erdös, L., Henheik, S. J., & Kolupaiev, O. (2025). Loschmidt echo for deformed Wigner matrices. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-025-01904-5
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 18850 | OA
Perkins, M. L., Crocker, J., & Tkačik, G. (2025). Chromatin enables precise and scalable gene regulation with factors of limited specificity. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2411887121
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Conference Paper | IST-REx-ID: 19281 | OA
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 | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19712 | OA
Cueto Noval, M., Merz, S.-P., Stählin, P., & Ünal, A. (2025). On the soundness of algebraic attacks against code-based assumptions. In 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques (Vol. 15606, pp. 385–415). Madrid, Spain: Springer Nature. https://doi.org/10.1007/978-3-031-91095-1_14
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 19713 | OA
Talaei, S., Ansaripour, M., Nadiradze, G., & Alistarh, D.-A. (2025). Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence. Proceedings of The39th AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i19.34290
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Preprint | IST-REx-ID: 19717 | OA
Varela-Martínez, I., Villalba Requena, A., Garcia-Marqués, J., Hippenmeyer, S., & Nieto, M. (2025). Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis. bioRxiv. https://doi.org/10.1101/2025.05.07.652665
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 19728 | OA
Zhang, Y., Bao, Z., Smoljan, A., Liu, Y., Wang, H., & Friml, J. (2025). Foraging for water by MIZ1-mediated antagonism between root gravitropism and hydrotropism. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2427315122
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 19729 | OA
De Leo, A., Brizzolara, S., Cavaiola, M., He, J., & Stocchino, A. (2025). Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2025.362
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 19730 | OA
Wang, B., Ayats López, R., Deguchi, K., Meseguer, A., & Mellibovsky, F. (2025). Feigenbaum universality in subcritical Taylor-Couette flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2025.278
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 19735 | OA
Bett, V. K., Trejo Arellano, M. S., & Vicoso, B. (2025). Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msaf085
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 19732 | OA
Wang, B., Ayats López, R., Deguchi, K., Meseguer, A., & Mellibovsky, F. (2025). Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2025.151
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 19733 | OA
Kun, D., Strömberg, K. T., Spagnolo, M., Dakić, B., Rozema, L. A., & Walther, P. (2025). Direct and efficient detection of quantum superposition. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.111.L050402
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 10011 | OA
Hensel, S., & Laux, T. (2025). A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. Journal of Differential Geometry. International Press. https://doi.org/10.4310/jdg/1747065796
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19727 | OA
Wang, V. (2025). Asymptotic growth of translation-dilation orbits. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2025.110341
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19737 | OA
Cipolloni, G., Erdös, L., & Ji, H. C. (2025). Non–Hermitian spectral universality at critical points. Probability Theory and Related Fields. Springer Nature. https://doi.org/10.1007/s00440-025-01384-7
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 19740 | OA
Chatterjee, K., Jafariraviz, M., Saona Urmeneta, R. J., & Svoboda, J. (2025). Value iteration with guessing for Markov chains and Markov decision processes. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15697, pp. 217–236). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90653-4_11
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19739 | OA
Chalupa, M., & Richter, C. (2025). BUBAAK: Dynamic cooperative verification. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15698, pp. 212–216). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90660-2_14
[Published Version] View | Files available | DOI
 

2025 | Conference Paper | IST-REx-ID: 19738 | OA
Acharya, A., Azari, K., Baig, M. A., Hofheinz, D., & Kamath, C. (2025). Securely instantiating ‘Half Gates’ garbling in the standard model. In 28th IACR International Conference on Practice and Theory of Public-Key Cryptography (Vol. 15677, pp. 37–75). Roros, Norway: Springer Nature. https://doi.org/10.1007/978-3-031-91829-2_2
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 19743 | OA
Chatterjee, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T., & Zilken, D. (2025). Fixed point certificates for reachability and expected rewards in MDPs. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15697, pp. 130–151). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90653-4_7
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19742 | OA
Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). Sound statistical model checking for probabilities and expected rewards. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15696, pp. 167–190). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90643-5_9
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19744 | OA
Chatterjee, K., Goharshady, E., Novotný, P., & Zikelic, D. (2025). Refuting equivalence in probabilistic programs with conditioning. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15697, pp. 279–300). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90653-4_14
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19741 | OA
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 | Journal Article | IST-REx-ID: 18848 | OA
Ocampo, R. F., Bravo, J. P. K., Dangerfield, T. L., Nocedal, I., Jirde, S. A., Alexander, L. M., … Taylor, D. W. (2025). DNA targeting by compact Cas9d and its resurrected ancestor. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-55573-4
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Research Data Reference | IST-REx-ID: 19771 | OA
Chatterjee, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T., & Zilken, D. (2025). Artifact: Fixed point certificates for reachability and expected rewards in MDPs. Zenodo. https://doi.org/10.5281/ZENODO.14626585
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2025 | Submitted | Preprint | IST-REx-ID: 19762 | OA
Cárdenas, A., Çelik, I., Espinós, A., Streicher, C., López-González, L., del-Valle-Anton, L., … Borrell, V. (n.d.). Early indirect neurogenesis transitions to late direct neurogenesis in mouse cerebral cortex development. bioRxiv. https://doi.org/10.1101/2025.05.22.655488
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Research Data Reference | IST-REx-ID: 19769 | OA
Budde, C., Hartmanns, A., Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). Zenodo. https://doi.org/10.5281/ZENODO.14602066
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2025 | Published | Thesis | IST-REx-ID: 19393 | OA
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: 19777 | OA
Bernat, M., Miles, E. S., Kneib, M., Fujita, K., Sasaki, O., Shaw, T., & Pellicciotti, F. (2025). Precipitation phase drives seasonal and decadal snowline changes in high mountain Asia. Environmental Research Letters. IOP Publishing. https://doi.org/10.1088/1748-9326/adcf39
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 19776 | OA
Browning, T. D., Glas, J., & Wang, V. (2025). Optimal sums of three cubes in Fq[t]. Mathematische Zeitschrift. Springer Nature. https://doi.org/10.1007/s00209-025-03765-z
[Published Version] View | Files available | DOI | arXiv
 

2025 | Research Data Reference | IST-REx-ID: 19780 | OA
Bernat, M. (2025). Snow line altitude in high mountain Asia derived from satellite imagery (LS5, LS7, LS8 & S2) between 1999 and 2019. Zenodo. https://doi.org/10.5281/ZENODO.15223343
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 19778 | OA
Hoffmann, C., & Pietrzak, K. Z. (2025). Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation. In 28th IACR International Conference on Practice and Theory of Public-Key Cryptography (Vol. 15674, pp. 36–66). Roros, Norway: Springer Nature. https://doi.org/10.1007/978-3-031-91820-9_2
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 19783 | OA
Hurm, C., & Moser, M. (2025). Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor growth model. GAMM-Mitteilungen. Wiley. https://doi.org/10.1002/gamm.70003
[Published Version] View | Files available | DOI | arXiv
 

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
 

2025 | Published | Journal Article | IST-REx-ID: 19785 | OA
Kavcic, B., & Tkačik, G. (2025). Token-driven totally asymmetric simple exclusion processes. Physical Review E. American Physical Society. https://doi.org/10.1103/physreve.111.054122
[Published Version] View | Files available | DOI
 

2025 | Research Data | IST-REx-ID: 19658 | OA
Tkačik, G. (2025). Token-driven totally asymmetric simple exclusion processes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:19658
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 19795 | OA
Vorlaufer, J., Semenov, N., Kreuzinger, C., Javoor, M., Zens, B., Agudelo Duenas, N., … Danzl, J. G. (2025). Image-based 3D active sample stabilization on the nanometer scale for optical microscopy. Biophysical Reports. Elsevier. https://doi.org/10.1016/j.bpr.2025.100211
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 19796 | OA
Trinh, V. G., Park, K. H., Pastva, S., & Rozum, J. C. (2025). Mapping the attractor landscape of Boolean networks with biobalm. Bioinformatics. Oxford University Press. https://doi.org/10.1093/bioinformatics/btaf280
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19794 | OA
Currin, C., Burman, R. J., Fedele, T., Ramantani, G., Rosch, R. E., Sprekeler, H., & Raimondo, J. V. (2025). Network models incorporating chloride dynamics predict optimal strategies for terminating status epilepticus. Neurobiology of Disease. Elsevier. https://doi.org/10.1016/j.nbd.2025.106966
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19798 | OA
Anastos, M., & Morris, P. (2025). A note on finding large transversals efficiently. Journal of Combinatorial Designs. Wiley. https://doi.org/10.1002/jcd.21990
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19401 | OA
Janik, M., Roux, K. E. R., Borja Espinosa, C. N., Sagi, O., Baghdadi, A., Adletzberger, T., … Katsaros, G. (2025). Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-025-57252-4
[Published Version] View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19566 | OA
Schoot Uiterkamp, F. E., Maes, M. E., Alamalhoda, M., Firoozi, A., Colombo, G., & Siegert, S. (2025). Optic nerve crush does not induce retinal ganglion cell loss in the contralateral eye. Investigative Ophthalmology & Visual Science. Association for Research in Vision and Ophthalmology. https://doi.org/10.1167/iovs.66.3.49
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 19076 | OA
Vega Zuniga, T. A., Sumser, A. L., Symonova, O., Koppensteiner, P., Schmidt, F., & Jösch, M. A. (2025). A thalamic hub-and-spoke network enables visual perception during action by coordinating visuomotor dynamics. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/s41593-025-01874-w
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 19403 | OA
Roos, B., & Seiringer, R. (2025). BCS critical temperature on half-spaces. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-025-02088-x
[Published Version] View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2025 | Research Data | IST-REx-ID: 18886 | OA
Janik, M. (2025). Research data for publication “Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:18886
View | Files available | DOI
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19555 | OA
Rohden, D., Toscano, G., Schanda, P., & Lichtenecker, R. J. (2025). Synthesis of selectively 13C/2H/15N- labeled arginine to probe protein conformation and interaction by NMR spectroscopy. Chemistry - A European Journal. Wiley. https://doi.org/10.1002/chem.202500408
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 18778 | OA
Tluckova, K., Kaczmarek, B. M., Testa Salmazo, A. P., & Bernecky, C. (2025). Mechanism of mammalian transcriptional repression by noncoding RNA. Nature Structural & Molecular Biology. Springer Nature. https://doi.org/10.1038/s41594-024-01448-7
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Research Data | IST-REx-ID: 19409 | OA
Saez Mollejo, J. (2025). Exchange anisotropies in microwave-driven singlet-triplet qubits. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:19409
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed