Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6293 Publications
2025 |
Published |
Journal Article |
IST-REx-ID: 19729 |
De Leo A, Brizzolara S, Cavaiola M, He J, Stocchino A. Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow. Journal of Fluid Mechanics. 2025;1011. doi:10.1017/jfm.2025.362
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 19730 |
Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. Feigenbaum universality in subcritical Taylor-Couette flow. Journal of Fluid Mechanics. 2025;1010. doi:10.1017/jfm.2025.278
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 19731 |
Rayaroth Puthiyaveettil A, Fiedler C, Ibáñez M. Let us FIGURE it out: Why do scientists still make “bad” figures? ACS Materials Au. 2025;5(3):438-440. doi:10.1021/acsmaterialsau.5c00037
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19732 |
Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow. Journal of Fluid Mechanics. 2025;1011. doi:10.1017/jfm.2025.151
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 19733 |
Kun D, Strömberg KT, Spagnolo M, Dakić B, Rozema LA, Walther P. Direct and efficient detection of quantum superposition. Physical Review A. 2025;111(5). doi:10.1103/PhysRevA.111.L050402
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 19735 |
Bett VK, Trejo Arellano MS, Vicoso B. Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana. Molecular Biology and Evolution. 2025;42(5). doi:10.1093/molbev/msaf085
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19736
Vanneste S, Pei Y, Friml J. Mechanisms of auxin action in plant growth and development. Nature Reviews Molecular Cell Biology. 2025. doi:10.1038/s41580-025-00851-2
View
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 19737 |
Cipolloni G, Erdös L, Ji HC. Non–Hermitian spectral universality at critical points. Probability Theory and Related Fields. 2025. doi:10.1007/s00440-025-01384-7
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2025 |
Conference Paper |
IST-REx-ID: 19738 |
Acharya A, Azari K, Baig MA, Hofheinz D, Kamath C. Securely instantiating ‘Half Gates’ garbling in the standard model. In: 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. Vol 15677. Springer Nature; 2025:37-75. doi:10.1007/978-3-031-91829-2_2
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 19739 |
Chalupa M, Richter C. BUBAAK: Dynamic cooperative verification. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15698. Springer Nature; 2025:212-216. doi:10.1007/978-3-031-90660-2_14
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 19740 |
Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. 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. Springer Nature; 2025:217-236. doi:10.1007/978-3-031-90653-4_11
[Published Version]
View
| Files available
| DOI
| 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 |
Conference Paper |
IST-REx-ID: 19742 |
Budde CE, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. 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. Springer Nature; 2025:167-190. doi:10.1007/978-3-031-90643-5_9
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19743 |
Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. 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. Springer Nature; 2025:130-151. doi:10.1007/978-3-031-90653-4_7
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19744 |
Chatterjee K, Goharshady E, Novotný P, Zikelic D. Refuting equivalence in probabilistic programs with conditioning. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:279-300. doi:10.1007/978-3-031-90653-4_14
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19759 |
Prach B. Robust image classification with 1-Lipschitz networks. 2025. doi:10.15479/10.15479/at-ista-19759
[Published Version]
View
| Files available
| DOI
2025 |
Submitted |
Preprint |
IST-REx-ID: 19762 |
Cárdenas A, Çelik I, Espinós A, et al. Early indirect neurogenesis transitions to late direct neurogenesis in mouse cerebral cortex development. bioRxiv. doi:10.1101/2025.05.22.655488
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 |
Research Data Reference |
IST-REx-ID: 19769 |
Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). 2025. doi:10.5281/ZENODO.14602066
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Research Data Reference |
IST-REx-ID: 19771 |
Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Artifact: Fixed point certificates for reachability and expected rewards in MDPs. 2025. doi:10.5281/ZENODO.14626585
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Published |
Journal Article |
IST-REx-ID: 19776 |
Browning TD, Glas J, Wang V. Optimal sums of three cubes in Fq[t]. Mathematische Zeitschrift. 2025;310(4). doi:10.1007/s00209-025-03765-z
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv