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.
658 Publications
2023 | Journal Article | IST-REx-ID: 14778 | 
Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. 2023. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 35(2), 11.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Thesis | IST-REx-ID: 12885 |
Calcabrini M. 2023. Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12166 |
Westram AM, Butlin R. 2023. Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize. Molecular Ecology. 32(1), 26–29.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Conference Paper | IST-REx-ID: 15364 |
Charikar M, Hu L, Henzinger MH, Vötsch M, Waingarten E. 2023. Simple, scalable and effective clustering via one-dimensional projections. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, NeurIPS, vol. 36.
[Published Version]
View
| Files available
| arXiv
2023 | Conference Paper | IST-REx-ID: 15363 |
Safaryan M, Krumes A, Alistarh D-A. 2023. Knowledge distillation performs partial variance reduction. 36th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, NeurIPS, vol. 36.
[Published Version]
View
| Files available
| arXiv
2023 | Thesis | IST-REx-ID: 12491 |
Zens B. 2023. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12964 |
Boocock DR. 2023. Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12891 |
Schauer A. 2023. Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12809 |
Alcarva C. 2023. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12781 |
Kravchuk V. 2023. Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI