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.
5730 Publications
2023 | Published | 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 | Published | Conference Paper | IST-REx-ID: 13053 |
Krumes, Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” 11th International Conference on Learning Representations , OpenReview, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14058 |
Puixeu Sala, Gemma. The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14058.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 12817 |
Danzl, Johann G. Research Data for the Publication “Dense 4D Nanoscale Reconstruction of Living Brain Tissue.” Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12817.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14770
Danzl, Johann G., and Philipp Velicky. “LIONESS Enables 4D Nanoscale Reconstruction of Living Brain Tissue.” Nature Methods, vol. 20, no. 8, Springer Nature, 2023, pp. 1141–42, doi:10.1038/s41592-023-01937-5.
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13267 |
Velicky, Philipp, et al. “Dense 4D Nanoscale Reconstruction of Living Brain Tissue.” Nature Methods, vol. 20, Springer Nature, 2023, pp. 1256–65, doi:10.1038/s41592-023-01936-6.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12788 |
Karle, Volker, et al. “Topological Charges of Periodically Kicked Molecules.” Physical Review Letters, vol. 130, no. 10, 103202, American Physical Society, 2023, doi:10.1103/PhysRevLett.130.103202.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Thesis | IST-REx-ID: 13074 |
Krumes, Alexandra. Efficiency and Generalization of Sparse Neural Networks. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13074.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14216 |
Norelli, Antonio, ASIF: Coupled data turns unimodal models to multimodal without training. 37th Conference on Neural Information Processing Systems 36. 2023
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14364 |
Alistarh, Dan-Adrian, et al. “Why Extension-Based Proofs Fail.” SIAM Journal on Computing, vol. 52, no. 4, Society for Industrial and Applied Mathematics, 2023, pp. 913–44, doi:10.1137/20M1375851.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14742 |
Lucek, Kay, The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. Cold Spring Harbor Perspectives in Biology 15 (11). 2023
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13260 |
De Castro Barbosa Rodrigues Barata, Carolina, Selection on the fly: Short-term adaptation to an altered sexual selection regime in Drosophila pseudoobscura. Genome biology and evolution 15 (7). 2023
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13263 |
Trinh, Van Giang, Trap spaces of multi-valued networks: Definition, computation, and applications. Bioinformatics 39 (Supplement_1). 2023
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13976 |
Wolfsberger, Walter, Scientists without borders: Lessons from Ukraine. GigaScience 12. 2023
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 9034 |
Wilsch, Florian Alexander, Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices 2023 (8). 2023
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12876 |
Beneš, Nikola, Boolean network sketches: A unifying framework for logical model inference. Bioinformatics 39 (4). 2023
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14452 |
Barton, Nicholas H, The infinitesimal model with dominance. Genetics 225 (2). 2023
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Research Data | IST-REx-ID: 12949 |
Barton, Nicholas H. The Infinitesimal Model with Dominance. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12949.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13173 |
Shigemoto, Ryuichi. Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:13173.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12563 |
Krokhin, Andrei, Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing 52 (1). 2023
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv