Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13120
DOI: 10.4230/LIPIcs.ITP.2023.15
arXiv: 2302.06420

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

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

Curvature in biological systems: Its quantification, emergence, and implications across the scales
B. Schamberger, R. Ziege, K. Anselme, M. Ben Amar, M. Bykowski, A.P.G. Castro, A. Cipitria, R.A. Coles, R. Dimova, M. Eder, S. Ehrig, L.M. Escudero, M.E. Evans, P.R. Fernandes, P. Fratzl, L. Geris, N. Gierlinger, E.B. Hannezo, A. Iglid, J.J.K. Kirkensgaard, P. Kollmannsberger, . Kowalewska, N.A. Kurniawan, I. Papantoniou, L. Pieuchot, T.H.V. Pires, L.D. Renner, A.O. Sageman-Furnas, G.E. Schröder-Turk, A. Sengupta, V.R. Sharma, A. Tagua, C. Tomba, X. Trepat, S.L. Waters, E.F. Yeo, A. Roschger, C.M. Bidan, J.W.C. Dunlop, Advanced Materials 35 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12710
DOI: 10.1002/adma.202206110
WoS: 000941068900001
PMID: 36461812

Symmetry-restoring crossover from defect-free to defect-laden turbulence in polar active matter
B.H. Andersen, J.B. Renaud, J. Rønning, L. Angheluta, A. Doostmohammadi, Physical Review Fluids 8 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14377
DOI: 10.1103/physrevfluids.8.063101
arXiv: 2209.10916

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

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

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

Source data for the manuscript "CC acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration"
M.C. Ucar, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14279
DOI: 10.5281/ZENODO.8133960

Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.
LibreCat: https://research-explorer.ista.ac.at/record/10405
DOI: 10.1002/cpa.22028
WoS: 000724652500001
arXiv: 1912.04100

Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.
LibreCat: https://research-explorer.ista.ac.at/record/10770
DOI: 10.1007/s13235-022-00425-3
WoS: 000753777100001

Ergodic decomposition of Dirichlet forms via direct integrals and applications
L. Dello Schiavo, Potential Analysis 58 (2023) 573–615.
LibreCat: https://research-explorer.ista.ac.at/record/10145
DOI: 10.1007/s11118-021-09951-y
WoS: 000704213400001
arXiv: 2003.01366

Beyond transcription: compelling open questions in plant RNA biology
P.A. Manavella, M.A. Godoy Herz, A.R. Kornblihtt, R. Sorenson, L.E. Sieburth, K. Nakaminami, M. Seki, Y. Ding, Q. Sun, H. Kang, F.D. Ariel, M. Crespi, A.J. Giudicatti, Q. Cai, H. Jin, X. Feng, Y. Qi, C.S. Pikaard, The Plant Cell 35 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12669
DOI: 10.1093/plcell/koac346
PMID: 36477566

Asymmetric Ramsey properties of random graphs involving cliques and cycles
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.
LibreCat: https://research-explorer.ista.ac.at/record/11706
DOI: 10.1002/rsa.21106
WoS: 000828530400001

Small deviation estimates for the largest eigenvalue of Wigner matrices
L. Erdös, Y. Xu, Bernoulli 29 (2023) 1063–1079.
LibreCat: https://research-explorer.ista.ac.at/record/12707
DOI: 10.3150/22-BEJ1490
WoS: 000947270100008
arXiv: 2112.12093 

Cell cycle dynamics control fluidity of the developing mouse neuroepithelium
L. Bocanegra, A. Singh, E.B. Hannezo, M.P. Zagórski, A. Kicheva, Nature Physics 19 (2023) 1050–1058.
LibreCat: https://research-explorer.ista.ac.at/record/12837
DOI: 10.1038/s41567-023-01977-w
WoS: 000964029300003

Epithelial dynamics during mouse neural tube development
L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13081
DOI: 10.15479/at:ista:13081

Pollution impact on metal and biomarker responses in intestinal cytosol of freshwater fish
V. Filipovi Mariji, N. Krasnici, D. Vali, D. Kapetanovi, I. Vardi Smrzli, M. Jordanova, K. Rebok, S. Ramani, V. Kostov, R. Nastova, Z. Dragun, Environmental Science and Pollution Research 30 (2023) 63510–63521.
LibreCat: https://research-explorer.ista.ac.at/record/12863
DOI: 10.1007/s11356-023-26844-2
WoS: 000970917900012
PMID: 37055686

Optical manipulation of Layer–Valley coherence via strong exciton–photon coupling in microcavities
M. Khatoniar, N. Yama, A. Ghazaryan, S. Guddala, P. Ghaemi, K. Majumdar, V. Menon, Advanced Optical Materials 11 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12836
DOI: 10.1002/adom.202202631
WoS: 000963866700001
arXiv: 2211.08755

Homogenisation of dynamical optimal transport on periodic graphs
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Calculus of Variations and Partial Differential Equations 62 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12959
DOI: 10.1007/s00526-023-02472-z
WoS: 000980588900001
arXiv: 2110.15321