Boocock DR, Hirashima T, Hannezo EB. 2023. Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers. PRX Life. 1(1), 013001.
LibreCat: https://research-explorer.ista.ac.at/record/14277
DOI: 10.1103/prxlife.1.013001

Nardin M, Käfer K, Stella F, Csicsvari JL. 2023. Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions. Cell Reports. 42(9), 113015.
LibreCat: https://research-explorer.ista.ac.at/record/14314
DOI: 10.1016/j.celrep.2023.113015
PMID: 37632747

Cho UH, Hetzer M. 2023. Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress. eLife. 12, 6.
LibreCat: https://research-explorer.ista.ac.at/record/14315
DOI: 10.7554/eLife.89066
PMID: 37665327

Anastos M, Fabian D, Müyesser A, Szabó T. 2023. Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets. Electronic Journal of Combinatorics. 30(3), .10.
LibreCat: https://research-explorer.ista.ac.at/record/14319
DOI: 10.37236/11714
arXiv: 2212.03100

Sun Y, Fu H, Chatterjee K, Goharshady AK. 2023. Automated tail bound analysis for probabilistic recurrence relations. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 16–39.
LibreCat: https://research-explorer.ista.ac.at/record/14318
DOI: 10.1007/978-3-031-37709-9_2

Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. 2023. MDPs as distribution transformers: Affine invariant synthesis for safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 86–112.
LibreCat: https://research-explorer.ista.ac.at/record/14317
DOI: 10.1007/978-3-031-37709-9_5

Nagano M, Aoshima K, Shimamura H, Siekhaus DE, Toshima JY, Toshima J. 2023. Distinct role of TGN-resident clathrin adaptors for Vpp activation in the TGN-endosome trafficking pathway. Journal of Cell Science. 136(17), j48.
LibreCat: https://research-explorer.ista.ac.at/record/14316
DOI: 10.1242/jcs.261448
PMID: 37539494

Henderson PM, Ghazaryan A, Zibrov AA, Young AF, Serbyn M. 2023. Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene. Physical Review B. 108(12), 125411.
LibreCat: https://research-explorer.ista.ac.at/record/14320
DOI: 10.1103/physrevb.108.125411
arXiv: 2210.06310

Brighi P. 2023. Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12732
DOI: 10.15479/at:ista:12732

Brighi P, Ljubotina M, Serbyn M. 2023. Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models. SciPost Physics. 15(3), 093.
LibreCat: https://research-explorer.ista.ac.at/record/14334
DOI: 10.21468/scipostphys.15.3.093
arXiv: 2210.15607

Al Hyder R, Cappellaro A, Lemeshko M, Volosniev A. 2023. Achiral dipoles on a ferromagnet can affect its magnetization direction. The Journal of Chemical Physics. 159(10), 104103.
LibreCat: https://research-explorer.ista.ac.at/record/14321
DOI: 10.1063/5.0165806
PMID: 37694742
arXiv: 2306.17592

Lorenc D, Alpichshev Z. 2023. Mid-infrared Kerr index evaluation via cross-phase modulation with a near-infrared probe beam. Applied Physics Letters. 123(9), 091104.
LibreCat: https://research-explorer.ista.ac.at/record/14342
DOI: 10.1063/5.0161713
arXiv: 2306.09043

Scarselli D, Lopez Alonso JM, Varshney A, Hof B. 2023. Turbulence suppression by cardiac-cycle-inspired driving of pipe flow. Nature. 621(7977), 71–74.
LibreCat: https://research-explorer.ista.ac.at/record/14341
DOI: 10.1038/s41586-023-06399-5
PMID: 37673988

Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: International Conference on Interactive Theorem Proving, LIPIcs, vol. 268, 15.
LibreCat: https://research-explorer.ista.ac.at/record/13120
DOI: 10.4230/LIPIcs.ITP.2023.15
arXiv: 2302.06420

Arroyo Guevara AM, Felsner S. 2023. Approximating the bundled crossing number. Journal of Graph Algorithms and Applications. 27(6), 433–457.
LibreCat: https://research-explorer.ista.ac.at/record/13969
DOI: 10.7155/jgaa.00629
arXiv: 2109.14892

Anastos M. 2023. Fast algorithms for solving the Hamilton cycle problem with high probability. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2023, 2286–2323.
LibreCat: https://research-explorer.ista.ac.at/record/14344
DOI: 10.1137/1.9781611977554.ch88
arXiv: 2111.14759

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, Iglid 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. 35(13), 2206110.
LibreCat: https://research-explorer.ista.ac.at/record/12710
DOI: 10.1002/adma.202206110
WoS: 000941068900001
PMID: 36461812

Gemen J, Church JR, Ruoko T-P, Durandin N, Biaek MJ, Weissenfels M, Feller M, Kazes M, Borin VA, Odaybat M, Kalepu R, Diskin-Posner Y, Oron D, Fuchter MJ, Priimagi A, Schapiro I, Klajn R. 2023. Disequilibrating azoarenes by visible-light sensitization under confinement. Science. 381(6664), 1357–1363.
LibreCat: https://research-explorer.ista.ac.at/record/13340
DOI: 10.1126/science.adh9059

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.
LibreCat: https://research-explorer.ista.ac.at/record/12705
DOI: 10.1063/5.0134271
WoS: 000936943800002
PMID: 36813705
arXiv: 2211.04810

Chatterjee K, Katoen JP, Mohr S, Weininger M, Winkler T. 2023. Stochastic games with lexicographic objectives. Formal Methods in System Design.
LibreCat: https://research-explorer.ista.ac.at/record/12738
DOI: 10.1007/s10703-023-00411-4
WoS: 000946174300001