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.
8157 Publications
2023 | Journal Article | IST-REx-ID: 12738
Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
View
| Files available
| DOI
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
2023 | Conference Poster | IST-REx-ID: 12736 | 
Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
View
| DOI
| Download Published Version (ext.)
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
2023 | Conference Paper | IST-REx-ID: 12760 |
Dynamic maintenance of monotone dynamic programs and applications
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
View
| Files available
| DOI
| arXiv
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Journal Article | IST-REx-ID: 12759 |
Validation of a stereological method for estimating particle size and density from 2D projections with high accuracy
J.S. Rothman, C. Borges Merjane, N. Holderith, P.M. Jonas, R. Angus Silver, PLoS ONE 18 (2023).
View
| Files available
| DOI
J.S. Rothman, C. Borges Merjane, N. Holderith, P.M. Jonas, R. Angus Silver, PLoS ONE 18 (2023).
2023 | Journal Article | IST-REx-ID: 12756 |
The patterned assembly and stepwise Vps4-mediated disassembly of composite ESCRT-III polymers drives archaeal cell division
F. Hurtig, T.C.Q. Burgers, A. Cezanne, X. Jiang, F.N. Mol, J. Traparić, A.A. Pulschen, T. Nierhaus, G. Tarrason-Risa, L. Harker-Kirschneck, J. Löwe, A. Šarić, R. Vlijm, B. Baum, Science Advances 9 (2023).
View
| Files available
| DOI
F. Hurtig, T.C.Q. Burgers, A. Cezanne, X. Jiang, F.N. Mol, J. Traparić, A.A. Pulschen, T. Nierhaus, G. Tarrason-Risa, L. Harker-Kirschneck, J. Löwe, A. Šarić, R. Vlijm, B. Baum, Science Advances 9 (2023).
2023 | Journal Article | IST-REx-ID: 12758 |
Using AlphaFold to predict the impact of single mutations on protein stability and function
M.A. Pak, K.A. Markhieva, M.S. Novikova, D.S. Petrov, I.S. Vorobyev, E. Maksimova, F. Kondrashov, D.N. Ivankov, PLoS ONE 18 (2023).
View
| Files available
| DOI
M.A. Pak, K.A. Markhieva, M.S. Novikova, D.S. Petrov, I.S. Vorobyev, E. Maksimova, F. Kondrashov, D.N. Ivankov, PLoS ONE 18 (2023).
2023 | Journal Article | IST-REx-ID: 12757 |
From the 'black box' to 'domino effect' mechanism: What have we learned from the structures of respiratory complex I
L.A. Sazanov, The Biochemical Journal 480 (2023) 319–333.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
L.A. Sazanov, The Biochemical Journal 480 (2023) 319–333.
2023 | Journal Article | IST-REx-ID: 12762 |
Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, Nature Computational Science (2023).
View
| DOI
| Download Published Version (ext.)
| arXiv
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, Nature Computational Science (2023).
2023 | Journal Article | IST-REx-ID: 12763
The reach of subsets of manifolds
J.D. Boissonnat, M. Wintraecken, Journal of Applied and Computational Topology (2023).
View
| DOI
J.D. Boissonnat, M. Wintraecken, Journal of Applied and Computational Topology (2023).
2023 | Journal Article | IST-REx-ID: 12761 |
Functional central limit theorems for Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Annals of Applied Probability 33 (2023) 447–489.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Annals of Applied Probability 33 (2023) 447–489.
2023 | Thesis | IST-REx-ID: 12726
Synchronization in collectively moving active matter
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 12765
Behavioural defences against parasites across host social structures
S. Stockmaier, Y. Ulrich, G.F. Albery, S. Cremer, P.C. Lopes, Functional Ecology (2023).
View
| DOI
S. Stockmaier, Y. Ulrich, G.F. Albery, S. Cremer, P.C. Lopes, Functional Ecology (2023).
2023 | Journal Article | IST-REx-ID: 12764 |
Discrete yamabe problem for polyhedral surfaces
H. Kourimska, Discrete and Computational Geometry (2023).
View
| DOI
| Download Published Version (ext.)
H. Kourimska, Discrete and Computational Geometry (2023).
2023 | Thesis | IST-REx-ID: 12732 |
Ergodicity breaking in disordered and kinetically constrained quantum many-body systems
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 12787 |
Coexistence times in the Moran process with environmental heterogeneity
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).
View
| Files available
| DOI
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).
2023 | Journal Article | IST-REx-ID: 12786 |
Modulatory mechanisms of TARP γ8-selective AMPA receptor therapeutics
D. Zhang, R. Lape, S.A. Shaikh, B.K. Kohegyi, J. Watson, O. Cais, T. Nakagawa, I.H. Greger, Nature Communications 14 (2023).
View
| Files available
| DOI
D. Zhang, R. Lape, S.A. Shaikh, B.K. Kohegyi, J. Watson, O. Cais, T. Nakagawa, I.H. Greger, Nature Communications 14 (2023).
2023 | Journal Article | IST-REx-ID: 12789
Accurate determination of the shapes of granular charge distributions
N. Mujica, S.R. Waitukaitis, Physical Review E 107 (2023).
View
| DOI
N. Mujica, S.R. Waitukaitis, Physical Review E 107 (2023).
2023 | Journal Article | IST-REx-ID: 12791 |
Reconstructing Rayleigh–Bénard flows out of temperature-only measurements using Physics-Informed Neural Networks
P. Clark Di Leoni, L.N. Agasthya, M. Buzzicotti, L. Biferale, The European Physical Journal E 46 (2023).
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Clark Di Leoni, L.N. Agasthya, M. Buzzicotti, L. Biferale, The European Physical Journal E 46 (2023).
2023 | Research Data | IST-REx-ID: 12370 |
Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, A.L. Sumser, M.A. Jösch, (2023).
View
| Files available
| DOI
D. Gupta, A.L. Sumser, M.A. Jösch, (2023).
2023 | Journal Article | IST-REx-ID: 12349 |
Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience (2023).
View
| Files available
| DOI
| Download Published Version (ext.)
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience (2023).