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.
4258 Publications
2023 | Conference Paper | IST-REx-ID: 12467 | 
Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures.
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.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 11479 |
De Jode A, Le Moan A, Johannesson K, Faria R, Stankowski S, Westram AM, Butlin RK, Rafajlović M, Fraisse C. 2023. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 16(2), 542–559.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12681 |
Dubief Y, Terrapon VE, Hof B. 2023. Elasto-inertial turbulence. Annual Review of Fluid Mechanics. 55(1), 675–705.
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12676 |
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. 2023. Faster algorithm for turn-based stochastic games with bounded treewidth. Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 4590–4605.
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12683 |
Dubach G, Erdös L. 2023. Dynamics of a rank-one perturbation of a Hermitian matrix. Electronic Communications in Probability. 28, 1–13.
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12682 |
Avila M, Barkley D, Hof B. 2023. Transition to turbulence in pipe flow. Annual Review of Fluid Mechanics. 55, 575–602.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12679 |
Hippenmeyer S. 2023. Principles of neural stem cell lineage progression: Insights from developing cerebral cortex. Current Opinion in Neurobiology. 79(4), 102695.
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12680 |
Ivanov G, Köse S. 2023. Erdős–Ko–Rado and Hilton–Milner theorems for two-forms. Discrete Mathematics. 346(6), 113363.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 12696 |
Metzler S, Kirchner J, Grasse AV, Cremer S. Trade-offs between immunity and competitive ability in fighting ant males. bioRxiv, 10.1101/2023.01.30.526206.
View
| Files available
| DOI
| Download Preprint (ext.)
2023 | Research Data | IST-REx-ID: 12693 |
Cremer S. 2023. Source data for Metzler et al, 2023: Trade-offs between immunity and competitive ability in fighting ant males , Institute of Science and Technology Austria, 10.15479/AT:ISTA:12693.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12697 |
Grosjean GM, Waitukaitis SR. 2023. Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media. Physical Review Letters. 130(9), 098202.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12708 |
Araújo NAM, Janssen LMC, Barois T, Boffetta G, Cohen I, Corbetta A, Dauchot O, Dijkstra M, Durham WM, Dussutour A, Garnier S, Gelderblom H, Golestanian R, Isa L, Koenderink GH, Löwen H, Metzler R, Polin M, Royall CP, Šarić A, Sengupta A, Sykes C, Trianni V, Tuval I, Vogel N, Yeomans JM, Zuriguel I, Marin A, Volpe G. 2023. Steering self-organisation through confinement. Soft Matter. 19, 1695–1704.
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12705
Sorichetti V, Ninarello A, Ruiz-Franco J, Hugouvieux V, Zaccarelli E, Micheletti C, Kob W, Rovigatti L. 2023. Structure and elasticity of model disordered, polydisperse, and defect-free polymer networks. Journal of Chemical Physics. 158(7), 074905.
View
| DOI
2023 | Journal Article | IST-REx-ID: 12704 |
Lechner M, Amini A, Rus D, Henzinger TA. 2023. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. IEEE Robotics and Automation Letters. 8(3), 1595–1602.
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12707 |
Erdös L, Xu Y. 2023. Small deviation estimates for the largest eigenvalue of Wigner matrices. Bernoulli. 29(2), 1063–1079.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12421 |
Fäßler F, Javoor M, Schur FK. 2023. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. 51(1), 87–99.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12710
Schamberger B, Ziege R, Anselme K, Ben Amar M, Bykowski M, Castro APG, Cipitria A, Coles RA, Dimova R, Eder M, Ehrig S, Escudero LM, Evans ME, Fernandes PR, Fratzl P, Geris L, Gierlinger N, Hannezo EB, Iglič A, Kirkensgaard JJK, Kollmannsberger P, Kowalewska Ł, Kurniawan NA, Papantoniou I, Pieuchot L, Pires THV, Renner LD, Sageman-Furnas AO, Schröder-Turk GE, Sengupta A, Sharma VR, Tagua A, Tomba C, Trepat X, Waters SL, Yeo EF, Roschger A, Bidan CM, Dunlop JWC. 2023. Curvature in biological systems: Its quantification, emergence, and implications across the scales. Advanced Materials., 2206110.
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12709 |
Corbet R, Kerber M, Lesnick M, Osang GF. 2023. Computing the multicover bifiltration. Discrete and Computational Geometry.
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12719 |
Bernabeu E, Mccartney DL, Gadd DA, Hillary RF, Lu AT, Murphy L, Wrobel N, Campbell A, Harris SE, Liewald D, Hayward C, Sudlow C, Cox SR, Evans KL, Horvath S, Mcintosh AM, Robinson MR, Vallejos CA, Marioni RE. 2023. Refining epigenetic prediction of chronological and biological age. Genome Medicine. 15, 12.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12702 |
Cheng B, Hamel S, Bethkenhagen M. 2023. Thermodynamics of diamond formation from hydrocarbon mixtures in planets. Nature Communications. 14, 1104.
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12706 |
Mckerral JC, Kleshnina M, Ejov V, Bartle L, Mitchell JG, Filar JA. 2023. Empirical parameterisation and dynamical analysis of the allometric Rosenzweig-MacArthur equations. PLoS One. 18(2), e0279838.
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12723 |
Volosniev A, Shiva Kumar A, Lorenc D, Ashourishokri Y, Zhumekenov AA, Bakr OM, Lemeshko M, Alpichshev Z. 2023. Spin-electric coupling in lead halide perovskites. Physical Review Letters. 130(10), 106901.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Book Chapter | IST-REx-ID: 12720
Arroyo-Urea S, Watson J, García-Nafría J. 2023.Molecular Cloning Using In Vivo DNA Assembly. In: DNA Manipulation and Analysis. Methods in Molecular Biology, vol. 2633, 33–44.
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12724 |
Volosniev A, Shiva Kumar A, Lorenc D, Ashourishokri Y, Zhumekenov A, Bakr OM, Lemeshko M, Alpichshev Z. 2023. Effective model for studying optical properties of lead halide perovskites. Physical Review B. 107(12), 125201.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 12735 |
Koval N, Alistarh D-A, Elizarov R. 2023. Fast and scalable channels in Kotlin Coroutines. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP: Sympopsium on Principles and Practice of Parallel Programming, 107–118.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12737
García-Romero Á, Waters JE, Jethwa RB, Bond AD, Colebatch AL, García-Rodríguez R, Wright DS. 2023. Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals. Inorganic Chemistry. 62(11), 4625–4636.
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12738
Chatterjee K, Katoen JP, Mohr S, Weininger M, Winkler T. 2023. Stochastic games with lexicographic objectives. Formal Methods in System Design.
View
| Files available
| DOI
2023 | Conference Poster | IST-REx-ID: 12736 |
Aksenov V, Brown TA, Fedorov A, Kokorin I. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12760 |
Henzinger MH, Neumann S, Räcke H, Schmid S. 2023. Dynamic maintenance of monotone dynamic programs and applications. 40th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 254, 36.
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12759 |
Rothman JS, Borges Merjane C, Holderith N, Jonas PM, Angus Silver R. 2023. Validation of a stereological method for estimating particle size and density from 2D projections with high accuracy. PLoS ONE. 18(3 March), e0277148.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12756 |
Hurtig F, Burgers TCQ, Cezanne A, Jiang X, Mol FN, Traparić J, Pulschen AA, Nierhaus T, Tarrason-Risa G, Harker-Kirschneck L, Löwe J, Šarić A, Vlijm R, Baum B. 2023. The patterned assembly and stepwise Vps4-mediated disassembly of composite ESCRT-III polymers drives archaeal cell division. Science Advances. 9(11), eade5224.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12758 |
Pak MA, Markhieva KA, Novikova MS, Petrov DS, Vorobyev IS, Maksimova E, Kondrashov F, Ivankov DN. 2023. Using AlphaFold to predict the impact of single mutations on protein stability and function. PLoS ONE. 18(3), e0282689.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12757 |
Sazanov LA. 2023. From the ‘black box’ to ‘domino effect’ mechanism: What have we learned from the structures of respiratory complex I. The Biochemical Journal. 480(5), 319–333.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12762 |
Lombardi F, Pepic S, Shriki O, Tkačik G, De Martino D. 2023. Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. Nature Computational Science.
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12761 |
Cipolloni G, Erdös L, Schröder DJ. 2023. Functional central limit theorems for Wigner matrices. Annals of Applied Probability. 33(1), 447–489.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 12726
Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12764 |
Kourimska H. 2023. Discrete yamabe problem for polyhedral surfaces. Discrete and Computational Geometry.
View
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 12732 |
Brighi P. 2023. Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. Institute of Science and Technology Austria.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12787 |
Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. 2023. Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 479(2271), 20220685.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12786 |
Zhang D, Lape R, Shaikh SA, Kohegyi BK, Watson J, Cais O, Nakagawa T, Greger IH. 2023. Modulatory mechanisms of TARP γ8-selective AMPA receptor therapeutics. Nature Communications. 14, 1659.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12790 |
Ghazaryan A, Holder T, Berg E, Serbyn M. 2023. Multilayer graphenes as a platform for interaction-driven physics and topological superconductivity. Physical Review B. 107(10), 104502.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | 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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12791 |
Clark Di Leoni P, Agasthya LN, Buzzicotti M, Biferale L. 2023. Reconstructing Rayleigh–Bénard flows out of temperature-only measurements using Physics-Informed Neural Networks. The European Physical Journal E. 46(3), 16.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 12370 |
Gupta D, Sumser AL, Jösch MA. 2023. Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12370.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12349 |
Gupta D, Mlynarski WF, Sumser AL, Symonova O, Svaton J, Jösch MA. 2023. Panoramic visual statistics shape retina-wide organization of receptive fields. Nature Neuroscience.
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 12716 |
Burnett L. 2023. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. Institute of Science and Technology Austria.
View
| Files available
| DOI