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.
8978 Publications
2023 | Conference Paper | IST-REx-ID: 14758 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version]
View
| Files available
| DOI
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
2023 | Journal Article | IST-REx-ID: 14654 |
Assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, Journal of Advances in Modeling Earth Systems 15 (2023).
[Published Version]
View
| Files available
| DOI
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, Journal of Advances in Modeling Earth Systems 15 (2023).
2023 | Conference Paper | IST-REx-ID: 13139 |
Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
2023 | Research Data Reference | IST-REx-ID: 14991 |
Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
2023 | Research Data Reference | IST-REx-ID: 14990 |
Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Meggendorfer, (2023).
2023 | Conference Paper | IST-REx-ID: 14260 |
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
[Published Version]
View
| Files available
| DOI
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
2023 | Research Data Reference | IST-REx-ID: 14995 |
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
2023 | Research Data Reference | IST-REx-ID: 14994 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
2023 | Conference Paper | IST-REx-ID: 15023 |
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
2023 | Conference Paper | IST-REx-ID: 14993 |
A framework for grassroots research collaboration in machine learning and global health
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
[Published Version]
View
| Download Published Version (ext.)
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
2023 | Conference Paper | IST-REx-ID: 12979 |
Gloss-aware color correction for 3D printing
J. Condor, M. Piovarci, B. Bickel, P. Didyk, in:, SIGGRAPH ’23 Conference Proceedings, Association for Computing Machinery, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
J. Condor, M. Piovarci, B. Bickel, P. Didyk, in:, SIGGRAPH ’23 Conference Proceedings, Association for Computing Machinery, 2023.
2023 | Conference Paper | IST-REx-ID: 14076 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
[Published Version]
View
| Files available
| DOI
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
2023 | Conference Paper | IST-REx-ID: 14743 |
QuePaxa: Escaping the tyranny of timeouts in consensus
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.
2023 | Conference Abstract | IST-REx-ID: 14748
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
View
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
2023 | Research Data Reference | IST-REx-ID: 15035 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Chalupa, T.A. Henzinger, (2023).
2023 | Thesis | IST-REx-ID: 13984
Individual and social immunity against viral infections in ants
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
2023 | Preprint | IST-REx-ID: 15039 |
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, ArXiv (n.d.).
2023 | Research Data Reference | IST-REx-ID: 14812 |
Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails
S. Stankowski, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Stankowski, (2023).
2023 | Journal Article | IST-REx-ID: 13214 |
Nitrate, auxin and cytokinin - a trio to tango
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
2023 | Thesis | IST-REx-ID: 14323
Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
2023 | Conference Paper | IST-REx-ID: 14974 |
Causality in the time of LLMs: Round table discussion results of CLeaR 2023
C. Zhang, D. Janzing, M. van der Schaar, F. Locatello, P. Spirtes, K. Zhang, B. Schölkopf, C. Uhler, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
[Submitted Version]
View
| Files available
C. Zhang, D. Janzing, M. van der Schaar, F. Locatello, P. Spirtes, K. Zhang, B. Schölkopf, C. Uhler, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
2023 | Research Data | IST-REx-ID: 13173 |
Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
[Published Version]
View
| Files available
| DOI
R. Shigemoto, (2023).
2023 | Journal Article | IST-REx-ID: 15085 |
An observed population of intermediate-mass helium stars that have been stripped in binaries
M.R. Drout, Y.L.L. Götberg, B.A. Ludwig, J.H. Groh, S.E. de Mink, A.J.G. O’Grady, N. Smith, Science 382 (2023) 1287–1291.
View
| Files available
| DOI
| Download None (ext.)
| PubMed | Europe PMC
| arXiv
M.R. Drout, Y.L.L. Götberg, B.A. Ludwig, J.H. Groh, S.E. de Mink, A.J.G. O’Grady, N. Smith, Science 382 (2023) 1287–1291.
2023 | Conference Paper | IST-REx-ID: 13236 |
Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, in:, International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2023, pp. 453–465.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D.W. Zheng, M.H. Henzinger, in:, International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2023, pp. 453–465.
2023 | Journal Article | IST-REx-ID: 13182 |
Geometric characterization of the persistence of 1D maps
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2023).
[Published Version]
View
| Files available
| DOI
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2023).
2023 | Journal Article | IST-REx-ID: 13044 |
Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions (2023).
2023 | Thesis | IST-REx-ID: 14641
Adaptive mutation in E. coli modulated by luxS
M. Hennessey-Wesen, Adaptive Mutation in E. Coli Modulated by LuxS, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Hennessey-Wesen, Adaptive Mutation in E. Coli Modulated by LuxS, Institute of Science and Technology Austria, 2023.
2023 | Thesis | IST-REx-ID: 14587 |
Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.
2023 | Conference Paper | IST-REx-ID: 14922 |
Concentration without independence via information measures
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
2023 | Journal Article | IST-REx-ID: 15173 |
Enumerating matroids and linear spaces
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
[Published Version]
View
| Files available
| DOI
| arXiv
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
2023 | Journal Article | IST-REx-ID: 14772 |
Maximal Lp-regularity and H∞-calculus for block operator matrices and applications
A. Agresti, A. Hussein, Journal of Functional Analysis 285 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Agresti, A. Hussein, Journal of Functional Analysis 285 (2023).
2023 | Journal Article | IST-REx-ID: 15148 |
Cooperation between bHLH transcription factors and histones for DNA access
Michael AK, Stoos L, Crosby P, Eggers N, Nie XY, Makasheva K, Minnich M, Healy KL, Weiss J, Kempf G, Cavadini S, Kater L, Seebacher J, Vecchia L, Chakraborty D, Isbel L, Grand RS, Andersch F, Fribourgh JL, Schübeler D, Zuber J, Liu AC, Becker PB, Fierz B, Partch CL, Menet JS, Thomä NH. 2023. Cooperation between bHLH transcription factors and histones for DNA access. Nature. 619(7969), 385–393.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Michael AK, Stoos L, Crosby P, Eggers N, Nie XY, Makasheva K, Minnich M, Healy KL, Weiss J, Kempf G, Cavadini S, Kater L, Seebacher J, Vecchia L, Chakraborty D, Isbel L, Grand RS, Andersch F, Fribourgh JL, Schübeler D, Zuber J, Liu AC, Becker PB, Fierz B, Partch CL, Menet JS, Thomä NH. 2023. Cooperation between bHLH transcription factors and histones for DNA access. Nature. 619(7969), 385–393.
2023 | Journal Article | IST-REx-ID: 15149 |
Readout of histone methylation by Trim24 locally restricts chromatin opening by p53
L. Isbel, M. Iskar, S. Durdu, J. Weiss, R.S. Grand, E. Hietter-Pfeiffer, Z. Kozicka, A.K. Michael, L. Burger, N.H. Thomä, D. Schübeler, Nature Structural & Molecular Biology 30 (2023) 948–957.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
L. Isbel, M. Iskar, S. Durdu, J. Weiss, R.S. Grand, E. Hietter-Pfeiffer, Z. Kozicka, A.K. Michael, L. Burger, N.H. Thomä, D. Schübeler, Nature Structural & Molecular Biology 30 (2023) 948–957.
2023 | Preprint | IST-REx-ID: 15128 |
Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Riabov, ArXiv (n.d.).
2023 | Thesis | IST-REx-ID: 12491 |
Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 13201 |
The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation
Y. Wang, Z. Yuan, J. Wang, H. Xiao, L. Wan, L. Li, Y. Guo, Z. Gong, J. Friml, J. Zhang, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Wang, Z. Yuan, J. Wang, H. Xiao, L. Wan, L. Li, Y. Guo, Z. Gong, J. Friml, J. Zhang, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).
2023 | Thesis | IST-REx-ID: 14226 |
Generalizing medial axes with homology switches
E.R. Stephenson, Generalizing Medial Axes with Homology Switches, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
E.R. Stephenson, Generalizing Medial Axes with Homology Switches, Institute of Science and Technology Austria, 2023.
2023 | Thesis | IST-REx-ID: 12470 |
A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy
J.M. Michalska, A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
J.M. Michalska, A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy, Institute of Science and Technology Austria, 2023.
2023 | Thesis | IST-REx-ID: 12531 |
Panoramic functional gradients across the mouse retina
K. Kirillova, Panoramic Functional Gradients across the Mouse Retina, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
K. Kirillova, Panoramic Functional Gradients across the Mouse Retina, Institute of Science and Technology Austria, 2023.
2023 | Thesis | IST-REx-ID: 12800 |
The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone
M. Julseth, The Effect of Local Population Structure on Genetic Variation at Selected Loci in the A. Majus Hybrid Zone, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Julseth, The Effect of Local Population Structure on Genetic Variation at Selected Loci in the A. Majus Hybrid Zone, Institute of Science and Technology Austria, 2023.
2023 | Thesis | IST-REx-ID: 14510
Mechanism of clathrin-coated vesicle formation during endocytosis in plants
N. Gnyliukh, Mechanism of Clathrin-Coated Vesicle Formation during Endocytosis in Plants, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
N. Gnyliukh, Mechanism of Clathrin-Coated Vesicle Formation during Endocytosis in Plants, Institute of Science and Technology Austria, 2023.
2023 | Thesis | IST-REx-ID: 12897 |
Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 13188 |
The design space of Kirchhoff rods
C. Hafner, B. Bickel, ACM Transactions on Graphics 42 (2023).
[Submitted Version]
View
| Files available
| DOI
| WoS
C. Hafner, B. Bickel, ACM Transactions on Graphics 42 (2023).
2022 | Journal Article | IST-REx-ID: 10652 |
Constraints on probing quantum coherence to infer gravitational entanglement
O. Hosten, Physical Review Research 4 (2022).
[Published Version]
View
| Files available
| DOI
O. Hosten, Physical Review Research 4 (2022).
2022 | Journal Article | IST-REx-ID: 10758 |
1H NMR chemical exchange techniques reveal local and global effects of oxidized cytosine derivatives
R.C.A. Dubini, E. Korytiaková, T. Schinkel, P. Heinrichs, T. Carell, P. Rovo, ACS Physical Chemistry Au 2 (2022) 237–246.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
R.C.A. Dubini, E. Korytiaková, T. Schinkel, P. Heinrichs, T. Carell, P. Rovo, ACS Physical Chemistry Au 2 (2022) 237–246.
2022 | Conference Paper | IST-REx-ID: 10774 |
Flavors of sequential information flow
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2022, pp. 1–19.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2022, pp. 1–19.
2022 | Journal Article | IST-REx-ID: 10769 |
Non relativistic quantum field theory: Dynamics and irreversibility
L. Daguerre, G. Torroba, R.A. Medina Ramos, M. Solís, Anales de la Asociacion Fisica Argentina 32 (2022) 93–98.
[Published Version]
View
| Files available
| DOI
L. Daguerre, G. Torroba, R.A. Medina Ramos, M. Solís, Anales de la Asociacion Fisica Argentina 32 (2022) 93–98.
2022 | Preprint | IST-REx-ID: 10821 |
Alpha rhythm induces attenuation-amplification dynamics in neural activity cascades
F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano, L. de Arcangelis, O. Shriki, BioRxiv (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano, L. de Arcangelis, O. Shriki, BioRxiv (2022).
2022 | Journal Article | IST-REx-ID: 10845 |
Impurity with a resonance in the vicinity of the Fermi energy
M. Maslov, M. Lemeshko, A. Volosniev, Physical Review Research 4 (2022).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Maslov, M. Lemeshko, A. Volosniev, Physical Review Research 4 (2022).
2022 | Journal Article | IST-REx-ID: 10939 |
Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level
A. Davidović, R.P. Chait, G. Batt, J. Ruess, PLoS Computational Biology 18 (2022).
[Published Version]
View
| Files available
| DOI
A. Davidović, R.P. Chait, G. Batt, J. Ruess, PLoS Computational Biology 18 (2022).