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.
4158 Publications
2023 | Book Chapter | IST-REx-ID: 12428 |

A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
View
| Files available
| DOI
| PubMed | Europe PMC
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
2023 | Journal Article | IST-REx-ID: 12430 |

Bogoliubov dynamics and higher-order corrections for the regularized Nelson model
M. Falconi, N.K. Leopold, D.J. Mitrouskas, S.P. Petrat, Reviews in Mathematical Physics (2023).
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Falconi, N.K. Leopold, D.J. Mitrouskas, S.P. Petrat, Reviews in Mathematical Physics (2023).
2023 | Journal Article | IST-REx-ID: 12427 |

Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups
F. Balestrieri, Proceedings of the American Mathematical Society 151 (2023) 907–914.
View
| DOI
| Download Preprint (ext.)
F. Balestrieri, Proceedings of the American Mathematical Society 151 (2023) 907–914.
2023 | Journal Article | IST-REx-ID: 12429 |

On the trace embedding and its applications to evolution equations
A. Agresti, N. Lindemulder, M. Veraar, Mathematische Nachrichten (2023).
View
| DOI
| Download Published Version (ext.)
A. Agresti, N. Lindemulder, M. Veraar, Mathematische Nachrichten (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.
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 | Journal Article | IST-REx-ID: 12515 |

The olfactory limbus of the red fox (Vulpes vulpes). New insights regarding a noncanonical olfactory bulb pathway
I. Ortiz-Leal, M.V. Torres, V.M. Vargas Barroso, L.E. Fidalgo, A.M. López-Beceiro, J.A. Larriva-Sahd, P. Sánchez-Quinteiro, Frontiers in Neuroanatomy 16 (2023).
View
| Files available
| DOI
| PubMed | Europe PMC
I. Ortiz-Leal, M.V. Torres, V.M. Vargas Barroso, L.E. Fidalgo, A.M. López-Beceiro, J.A. Larriva-Sahd, P. Sánchez-Quinteiro, Frontiers in Neuroanatomy 16 (2023).
2023 | Journal Article | IST-REx-ID: 12514 |

A multivariate view of the speciation continuum
D.I. Bolnick, A.K. Hund, P. Nosil, F. Peng, M. Ravinet, S. Stankowski, S. Subramanian, J.B.W. Wolf, R. Yukilevich, Evolution: International Journal of Organic Evolution 77 (2023) 318–328.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D.I. Bolnick, A.K. Hund, P. Nosil, F. Peng, M. Ravinet, S. Stankowski, S. Subramanian, J.B.W. Wolf, R. Yukilevich, Evolution: International Journal of Organic Evolution 77 (2023) 318–328.
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.
View
| Files available
| DOI
K. Kirillova, Panoramic Functional Gradients across the Mouse Retina, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 12521 |

Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution
A. Mrnjavac, K. Khudiakova, N.H. Barton, B. Vicoso, Evolution Letters (2023).
View
| DOI
| Download Published Version (ext.)
A. Mrnjavac, K. Khudiakova, N.H. Barton, B. Vicoso, Evolution Letters (2023).
2023 | Journal Article | IST-REx-ID: 12534 |

Dissipative dynamics of an impurity with spin-orbit coupling
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
View
| Files available
| DOI
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
2023 | Journal Article | IST-REx-ID: 12543 |

Pathogen evasion of social immunity
M. Stock, B. Milutinovic, M. Hönigsberger, A.V. Grasse, F. Wiesenhofer, N. Kampleitner, M. Narasimhan, T. Schmitt, S. Cremer, Nature Ecology and Evolution (2023).
View
| DOI
| Download Published Version (ext.)
M. Stock, B. Milutinovic, M. Hönigsberger, A.V. Grasse, F. Wiesenhofer, N. Kampleitner, M. Narasimhan, T. Schmitt, S. Cremer, Nature Ecology and Evolution (2023).
2023 | Journal Article | IST-REx-ID: 12542
Going back in time with TEMPO
A. Villalba Requena, S. Hippenmeyer, Neuron 111 (2023) 291–293.
View
| DOI
A. Villalba Requena, S. Hippenmeyer, Neuron 111 (2023) 291–293.
2023 | Journal Article | IST-REx-ID: 12544 |

Computing the volume, surface area, mean, and Gaussian curvatures of molecules and their derivatives
P. Koehl, A. Akopyan, H. Edelsbrunner, Journal of Chemical Information and Modeling (2023).
View
| DOI
| Download Published Version (ext.)
P. Koehl, A. Akopyan, H. Edelsbrunner, Journal of Chemical Information and Modeling (2023).
2023 | Conference Paper | IST-REx-ID: 12548 |

Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic
M. Forghani, C. Claramunt, F. Karimipour, G. Heiler, in:, 2022 IEEE International Conference on Data Mining Workshops, Institute of Electrical and Electronics Engineers, 2023.
View
| Files available
| DOI
M. Forghani, C. Claramunt, F. Karimipour, G. Heiler, in:, 2022 IEEE International Conference on Data Mining Workshops, Institute of Electrical and Electronics Engineers, 2023.
2023 | Journal Article | IST-REx-ID: 12562
Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons
D.R. Ladle, S. Hippenmeyer, Journal of Neurophysiology (n.d.).
View
| DOI
| PubMed | Europe PMC
D.R. Ladle, S. Hippenmeyer, Journal of Neurophysiology (n.d.).
2023 | Journal Article | IST-REx-ID: 12567 |

Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation
A. Mrestani, K. Lichter, A.L. Sirén, M. Heckmann, M.M. Paul, M. Pauli, International Journal of Molecular Sciences 24 (2023).
View
| Files available
| DOI
A. Mrestani, K. Lichter, A.L. Sirén, M. Heckmann, M.M. Paul, M. Pauli, International Journal of Molecular Sciences 24 (2023).
2023 | Journal Article | IST-REx-ID: 12566 |

Wait-free approximate agreement on graphs
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
View
| Files available
| DOI
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
2023 | Journal Article | IST-REx-ID: 12563 |

Topology and adjunction in promise constraint satisfaction
A. Krokhin, J. Opršal, M. Wrochna, S. Živný, SIAM Journal on Computing 52 (2023) 38–79.
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Krokhin, J. Opršal, M. Wrochna, S. Živný, SIAM Journal on Computing 52 (2023) 38–79.
2023 | Conference Paper | IST-REx-ID: 12467 |

Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, 2023.
View
| Files available
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, 2023.
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.
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: 11479 |

Ten years of demographic modelling of divergence and speciation in the sea
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
View
| Files available
| DOI
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
2023 | Journal Article | IST-REx-ID: 12681 |

Elasto-inertial turbulence
Y. Dubief, V.E. Terrapon, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 675–705.
View
| Files available
| DOI
Y. Dubief, V.E. Terrapon, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 675–705.
2023 | Conference Paper | IST-REx-ID: 12676 |

Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
View
| DOI
| Download Published Version (ext.)
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
2023 | Journal Article | IST-REx-ID: 12683 |

Dynamics of a rank-one perturbation of a Hermitian matrix
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.
View
| Files available
| DOI
| arXiv
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.
2023 | Journal Article | IST-REx-ID: 12682 |

Transition to turbulence in pipe flow
M. Avila, D. Barkley, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 575–602.
View
| Files available
| DOI
M. Avila, D. Barkley, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 575–602.
2023 | Journal Article | IST-REx-ID: 12679 |

Principles of neural stem cell lineage progression: Insights from developing cerebral cortex
S. Hippenmeyer, Current Opinion in Neurobiology 79 (2023).
View
| DOI
| Download Published Version (ext.)
S. Hippenmeyer, Current Opinion in Neurobiology 79 (2023).
2023 | Journal Article | IST-REx-ID: 12680 |

Erdős–Ko–Rado and Hilton–Milner theorems for two-forms
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).
2023 | Technical Report | IST-REx-ID: 12407 |

VAMOS: Middleware for Best-Effort Third-Party Monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
2023 | Preprint | IST-REx-ID: 12696 |

Trade-offs between immunity and competitive ability in fighting ant males
S. Metzler, J. Kirchner, A.V. Grasse, S. Cremer, BioRxiv (n.d.).
View
| Files available
| DOI
| Download Preprint (ext.)
S. Metzler, J. Kirchner, A.V. Grasse, S. Cremer, BioRxiv (n.d.).
2023 | Research Data | IST-REx-ID: 12693 |

Source data for Metzler et al, 2023: Trade-offs between immunity and competitive ability in fighting ant males
S. Cremer, (2023).
View
| Files available
| DOI
S. Cremer, (2023).
2023 | Journal Article | IST-REx-ID: 12697 |

Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media
G.M. Grosjean, S.R. Waitukaitis, Physical Review Letters 130 (2023).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G.M. Grosjean, S.R. Waitukaitis, Physical Review Letters 130 (2023).
2023 | Journal Article | IST-REx-ID: 12708 |

Steering self-organisation through confinement
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
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.
2023 | Journal Article | IST-REx-ID: 12705
Structure and elasticity of model disordered, polydisperse, and defect-free polymer networks
V. Sorichetti, A. Ninarello, J. Ruiz-Franco, V. Hugouvieux, E. Zaccarelli, C. Micheletti, W. Kob, L. Rovigatti, Journal of Chemical Physics 158 (2023).
View
| DOI
V. Sorichetti, A. Ninarello, J. Ruiz-Franco, V. Hugouvieux, E. Zaccarelli, C. Micheletti, W. Kob, L. Rovigatti, Journal of Chemical Physics 158 (2023).
2023 | Journal Article | IST-REx-ID: 12704 |

Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, IEEE Robotics and Automation Letters 8 (2023) 1595–1602.
View
| Files available
| DOI
| arXiv
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, IEEE Robotics and Automation Letters 8 (2023) 1595–1602.
2023 | Journal Article | IST-REx-ID: 12707 |

Small deviation estimates for the largest eigenvalue of Wigner matrices
L. Erdös, Y. Xu, Bernoulli 29 (2023) 1063–1079.
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, Y. Xu, Bernoulli 29 (2023) 1063–1079.
2023 | Journal Article | IST-REx-ID: 12421 |

Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM
F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.
View
| Files available
| DOI
F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.
2023 | Journal Article | IST-REx-ID: 12710
Curvature in biological systems: Its quantification, emergence, and implications across the scales
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
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.
2023 | Journal Article | IST-REx-ID: 12709 |

Computing the multicover bifiltration
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, Discrete and Computational Geometry (2023).
View
| Files available
| DOI
| arXiv
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, Discrete and Computational Geometry (2023).
2023 | Journal Article | IST-REx-ID: 12672
Extensive de novo activity stabilizes epigenetic inheritance of CG methylation in Arabidopsis transposons
D.B. Lyons, A. Briffa, S. He, J. Choi, E. Hollwey, J. Colicchio, I. Anderson, X. Feng, M. Howard, D. Zilberman, Cell Reports 42 (2023).
View
| Files available
| DOI
D.B. Lyons, A. Briffa, S. He, J. Choi, E. Hollwey, J. Colicchio, I. Anderson, X. Feng, M. Howard, D. Zilberman, Cell Reports 42 (2023).
2023 | Journal Article | IST-REx-ID: 12719 |

Refining epigenetic prediction of chronological and biological age
E. Bernabeu, D.L. Mccartney, D.A. Gadd, R.F. Hillary, A.T. Lu, L. Murphy, N. Wrobel, A. Campbell, S.E. Harris, D. Liewald, C. Hayward, C. Sudlow, S.R. Cox, K.L. Evans, S. Horvath, A.M. Mcintosh, M.R. Robinson, C.A. Vallejos, R.E. Marioni, Genome Medicine 15 (2023).
View
| Files available
| DOI
E. Bernabeu, D.L. Mccartney, D.A. Gadd, R.F. Hillary, A.T. Lu, L. Murphy, N. Wrobel, A. Campbell, S.E. Harris, D. Liewald, C. Hayward, C. Sudlow, S.R. Cox, K.L. Evans, S. Horvath, A.M. Mcintosh, M.R. Robinson, C.A. Vallejos, R.E. Marioni, Genome Medicine 15 (2023).
2023 | Journal Article | IST-REx-ID: 12702 |

Thermodynamics of diamond formation from hydrocarbon mixtures in planets
B. Cheng, S. Hamel, M. Bethkenhagen, Nature Communications 14 (2023).
View
| Files available
| DOI
| PubMed | Europe PMC
B. Cheng, S. Hamel, M. Bethkenhagen, Nature Communications 14 (2023).
2023 | Journal Article | IST-REx-ID: 12706 |

Empirical parameterisation and dynamical analysis of the allometric Rosenzweig-MacArthur equations
J.C. Mckerral, M. Kleshnina, V. Ejov, L. Bartle, J.G. Mitchell, J.A. Filar, PLoS One 18 (2023) e0279838.
View
| Files available
| DOI
| PubMed | Europe PMC
J.C. Mckerral, M. Kleshnina, V. Ejov, L. Bartle, J.G. Mitchell, J.A. Filar, PLoS One 18 (2023) e0279838.
2023 | Journal Article | IST-REx-ID: 12723 |

Spin-electric coupling in lead halide perovskites
A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review Letters 130 (2023).
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review Letters 130 (2023).
2023 | Book Chapter | IST-REx-ID: 12720
Molecular Cloning Using In Vivo DNA Assembly
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
View
| DOI
| PubMed | Europe PMC
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
2023 | Journal Article | IST-REx-ID: 12724 |

Effective model for studying optical properties of lead halide perovskites
A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review B 107 (2023).
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review B 107 (2023).
2023 | Conference Paper | IST-REx-ID: 12735 |

Fast and scalable channels in Kotlin Coroutines
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118.
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118.
2023 | Journal Article | IST-REx-ID: 12737
Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals
Á. García-Romero, J.E. Waters, R.B. Jethwa, A.D. Bond, A.L. Colebatch, R. García-Rodríguez, D.S. Wright, Inorganic Chemistry 62 (2023) 4625–4636.
View
| DOI
| PubMed | Europe PMC
Á. García-Romero, J.E. Waters, R.B. Jethwa, A.D. Bond, A.L. Colebatch, R. García-Rodríguez, D.S. Wright, Inorganic Chemistry 62 (2023) 4625–4636.
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 | Research Data | IST-REx-ID: 12497 |

Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues
L.M. Becker, P. Schanda, (2023).
View
| Files available
| DOI
L.M. Becker, P. Schanda, (2023).