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.
656 Publications
2023 | Journal Article | IST-REx-ID: 14778 |
Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” Formal Aspects of Computing, vol. 35, no. 2, 11, Association for Computing Machinery, 2023, doi:10.1145/3585391.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Thesis | IST-REx-ID: 12885 |
Calcabrini, Mariano. Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12885.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12166 |
Westram, Anja M., and Roger Butlin. “Professor Kerstin Johannesson–Winner of the 2022 Molecular Ecology Prize.” Molecular Ecology, vol. 32, no. 1, Wiley, 2023, pp. 26–29, doi:10.1111/mec.16779.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 12491 |
Zens, Bettina. Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12491.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12964 |
Boocock, Daniel R. Mechanochemical Pattern Formation across Biological Scales. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12964.
[Published Version]
View
| Files available
| DOI