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.




6173 Publications

2025 | Published | Preprint | IST-REx-ID: 19717 | OA
Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis
I. Varela-Martínez, A. Villalba Requena, J. Garcia-Marqués, S. Hippenmeyer, M. Nieto, BioRxiv (2025).
[Preprint] View | DOI | Download Preprint (ext.)
 
2025 | Published | Journal Article | IST-REx-ID: 10011 | OA
A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness
S. Hensel, T. Laux, Journal of Differential Geometry 130 (2025) 209–268.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
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: 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 | 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: 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: 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: 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 | 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 | 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 | Published | Journal Article | IST-REx-ID: 19783 | OA
Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor growth model
C. Hurm, M. Moser, GAMM-Mitteilungen 48 (2025).
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Thesis | IST-REx-ID: 18979 | OA
Structures and computations in topological data analysis
O. Draganov, Structures and Computations in Topological Data Analysis, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 
2025 | Published | Thesis | IST-REx-ID: 19722
Molecular mechanisms of microtubule reorganization in elongating root epidermal cells
S. Inumella, Molecular Mechanisms of Microtubule Reorganization in Elongating Root Epidermal Cells, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 
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: 19859 | OA
Color-avoiding percolation on the Erdős–Rényi random graph
L. Lichev, B. Schapira, Annales Henri Lebesgue 8 (2025) 35–65.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19666 | OA
Solving robust Markov decision processes: Generic, reliable, efficient
T. Meggendorfer, M. Weininger, P. Wienhöft, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26631–26641.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19936 | OA
RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers
K. Bedarkar, L. Elbeheiry, M.J. Sammler, L. Gäher, B. Brandenburg, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 9 (2025) 73–97.
[Published Version] View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 19935 | OA
Destabilizing Iris
S. Spies, N. Mück, H. Zeng, M.J. Sammler, A. Lattuada, P. Müller, D. Dreyer, Proceedings of the ACM on Programming Languages 9 (2025) 848–873.
[Published Version] View | Files available | DOI
 
2025 | Research Data | IST-REx-ID: 19885 | OA
Automated All-RF Tuning for Spin Qubit Readout and Control
J. Saez Mollejo, (2025).
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed