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 | OA
Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow
A. De Leo, S. Brizzolara, M. Cavaiola, J. He, A. Stocchino, Journal of Fluid Mechanics 1011 (2025).
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 19730 | OA
Feigenbaum universality in subcritical Taylor-Couette flow
B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, F. Mellibovsky, Journal of Fluid Mechanics 1010 (2025).
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 19731 | OA
Let us FIGURE it out: Why do scientists still make “bad” figures?
A. Rayaroth Puthiyaveettil, C. Fiedler, M. Ibáñez, ACS Materials Au 5 (2025) 438–440.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19732 | OA
Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow
B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, F. Mellibovsky, Journal of Fluid Mechanics 1011 (2025).
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 19733 | OA
Direct and efficient detection of quantum superposition
D. Kun, K.T. Strömberg, M. Spagnolo, B. Dakić, L.A. Rozema, P. Walther, Physical Review A 111 (2025).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19735 | OA
Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana
V.K. Bett, M.S. Trejo Arellano, B. Vicoso, Molecular Biology and Evolution 42 (2025).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19736
Mechanisms of auxin action in plant growth and development
S. Vanneste, Y. Pei, J. Friml, Nature Reviews Molecular Cell Biology (2025).
View | DOI | WoS | PubMed | Europe PMC
 
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19737 | OA
Non–Hermitian spectral universality at critical points
G. Cipolloni, L. Erdös, H.C. Ji, Probability Theory and Related Fields (2025).
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2025 | Conference Paper | IST-REx-ID: 19738 | OA
Securely instantiating ‘Half Gates’ garbling in the standard model
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.
[Preprint] View | DOI | Download Preprint (ext.)
 
2025 | Published | Conference Paper | IST-REx-ID: 19739 | OA
BUBAAK: Dynamic cooperative verification
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.
[Published Version] View | Files available | DOI
 
2025 | Published | Conference Paper | IST-REx-ID: 19740 | OA
Value iteration with guessing for Markov chains and Markov decision processes
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19741 | OA
Automating the analysis of quantitative automata with QuAK
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19742 | OA
Sound statistical model checking for probabilities and expected rewards
C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19743 | OA
Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19744 | OA
Refuting equivalence in probabilistic programs with conditioning
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19759 | OA
Robust image classification with 1-Lipschitz networks
B. Prach, Robust Image Classification with 1-Lipschitz Networks, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 
2025 | Submitted | Preprint | IST-REx-ID: 19762 | OA
Early indirect neurogenesis transitions to late direct neurogenesis in mouse cerebral cortex development
A. Cárdenas, I. Çelik, A. Espinós, C. Streicher, L. López-González, L. del-Valle-Anton, V. Fernández, S. Amin, E. Negri, E.F. Ortuño, S. Hippenmeyer, V. Borrell, BioRxiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.)
 
2025 | Research Data Reference | IST-REx-ID: 19769 | OA
Sound statistical model checking for probabilities and expected rewards (experimental reproduction package)
C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2025 | Research Data Reference | IST-REx-ID: 19771 | OA
Artifact: Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2025 | Published | Journal Article | IST-REx-ID: 19776 | OA
Optimal sums of three cubes in Fq[t]
T.D. Browning, J. Glas, V. Wang, Mathematische Zeitschrift 310 (2025).
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed