Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
240 Publications
2023 | Conference Paper | IST-REx-ID: 13120 | 
Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” In 14th International Conference on Interactive Theorem Proving, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ITP.2023.15.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Thesis | IST-REx-ID: 13081
Bocanegra, Laura. “Epithelial Dynamics during Mouse Neural Tube Development.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13081.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12349 |
Gupta, Divyansh, Wiktor F Mlynarski, Anton L Sumser, Olga Symonova, Jan Svaton, and Maximilian A Jösch. “Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields.” Nature Neuroscience. Springer Nature, 2023. https://doi.org/10.1038/s41593-023-01280-0.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12370 |
Gupta, Divyansh, Anton L Sumser, and Maximilian A Jösch. “Research Data for: Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12370.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 13331 |
Köse, Seyda. “Exterior Algebra and Combinatorics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13331.
[Published Version]
View
| Files available
| DOI