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.
5595 Publications
2023 | Published | 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 | Published | Conference Paper | IST-REx-ID: 13053 |
Krumes A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. 2023. CrAM: A Compression-Aware Minimizer. 11th International Conference on Learning Representations . ICLR: International Conference on Learning Representations.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14058 |
Puixeu Sala G. 2023. 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.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 12817 |
Danzl JG. 2023. Research data for the publication ‘Dense 4D nanoscale reconstruction of living brain tissue’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12817.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14770
Danzl JG, Velicky P. 2023. LIONESS enables 4D nanoscale reconstruction of living brain tissue. Nature Methods. 20(8), 1141–1142.
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13267 |
Velicky P, Miguel Villalba E, Michalska JM, Lyudchik J, Wei D, Lin Z, Watson J, Troidl J, Beyer J, Ben Simon Y, Sommer CM, Jahr W, Cenameri A, Broichhagen J, Grant SGN, Jonas PM, Novarino G, Pfister H, Bickel B, Danzl JG. 2023. Dense 4D nanoscale reconstruction of living brain tissue. Nature Methods. 20, 1256–1265.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12788 |
Karle V, Ghazaryan A, Lemeshko M. 2023. Topological charges of periodically kicked molecules. Physical Review Letters. 130(10), 103202.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Thesis | IST-REx-ID: 13074 |
Krumes A. 2023. Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria.
[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 D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2023. Why extension-based proofs fail. SIAM Journal on Computing. 52(4), 913–944.
[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 NH. 2023. The infinitesimal model with dominance, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12949.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13173 |
Shigemoto R. 2023. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals, Institute of Science and Technology Austria, 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