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.




238 Publications

2023 | Conference Paper | IST-REx-ID: 13120 | OA
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Thesis | IST-REx-ID: 13081
Epithelial dynamics during mouse neural tube development
L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 12349 | OA
Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Research Data | IST-REx-ID: 12370 | OA [Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 13331 | OA
Exterior algebra and combinatorics
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

Search

Filter Publications