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.




6608 Publications

2025 | Published | Journal Article | IST-REx-ID: 19732 | OA
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: 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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 
2025 | Published | Journal Article | IST-REx-ID: 19777 | OA
Bernat M, Miles ES, Kneib M, et al. Precipitation phase drives seasonal and decadal snowline changes in high mountain Asia. Environmental Research Letters. 2025;20(6). doi:10.1088/1748-9326/adcf39
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Conference Paper | IST-REx-ID: 19778 | OA
Hoffmann C, Pietrzak KZ. 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. Springer Nature; 2025: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: 19779
Negi P, He B, Ukolov D, et al. Evidence of ferroelectric distortions in topological crystalline insulators via transverse thermoelectric measurements. Journal of the American Chemical Society. 2025;147(22):18704-18711. doi:10.1021/jacs.5c01700
View | DOI | WoS | PubMed | Europe PMC
 
2025 | Research Data Reference | IST-REx-ID: 19780 | OA
Bernat M. Snow line altitude in high mountain Asia derived from satellite imagery (LS5, LS7, LS8 & S2) between 1999 and 2019. 2025. doi:10.5281/ZENODO.15223343
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2025 | Published | Journal Article | IST-REx-ID: 19783 | OA
Hurm C, Moser M. Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor growth model. GAMM-Mitteilungen. 2025;48(2). doi:10.1002/gamm.70003
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed