Arslan FN, Hannezo EB, Merrin J, Loose M, Heisenberg C-PJ. Adhesion-induced cortical flows pattern E-cadherin-mediated cell contacts. Current Biology. 2024;34(1):171-182.e8. doi:10.1016/j.cub.2023.11.067
LibreCat: https://research-explorer.ista.ac.at/record/14795
DOI: 10.1016/j.cub.2023.11.067

Diorico FR, Zhutov A, Hosten O. Laser-cavity locking utilizing beam ellipticity: accessing the 10<sup>7</sup> instability scale relative to cavity linewidth. Optica. 2024;11(1):26-31. doi:10.1364/optica.507451
LibreCat: https://research-explorer.ista.ac.at/record/14802
DOI: 10.1364/optica.507451

Schmid S, Svoboda J, Yeo MX. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. 2024;989. doi:10.1016/j.tcs.2023.114353
LibreCat: https://research-explorer.ista.ac.at/record/14820
DOI: 10.1016/j.tcs.2023.114353

Valentini M, Sagi O, Baghumyan L, et al. Parity-conserving Cooper-pair transport and ideal superconducting diode in planar germanium. Nature Communications. 2024;15. doi:10.1038/s41467-023-44114-0
LibreCat: https://research-explorer.ista.ac.at/record/14793
DOI: 10.1038/s41467-023-44114-0
PMID: 38167818

Hansen AH, Hippenmeyer S. Time-lapse imaging of cortical projection neuron migration in mice using mosaic analysis with double markers. STAR Protocols. 2024;5(1). doi:10.1016/j.xpro.2023.102795
LibreCat: https://research-explorer.ista.ac.at/record/14794
DOI: 10.1016/j.xpro.2023.102795
PMID: 38165800

Kuhn A, Roosjen M, Mutte S, et al. RAF-like protein kinases mediate a deeply conserved, rapid auxin response. Cell. 2024;187(1):130-148.e17. doi:10.1016/j.cell.2023.11.021
LibreCat: https://research-explorer.ista.ac.at/record/14826
DOI: 10.1016/j.cell.2023.11.021
PMID: 38128538

Radler P, Loose M. A dynamic duo: Understanding the roles of FtsZ and FtsA for Escherichia coli cell division through in vitro approaches. European Journal of Cell Biology. 2024;103(1). doi:10.1016/j.ejcb.2023.151380
LibreCat: https://research-explorer.ista.ac.at/record/14834
DOI: 10.1016/j.ejcb.2023.151380
PMID: 38218128

Dome T, Volosniev A, Ghazaryan A, Safari L, Schmidt R, Lemeshko M. Linear rotor in an ideal Bose gas near the threshold for binding. Physical Review B. 2024;109(1). doi:10.1103/PhysRevB.109.014102
LibreCat: https://research-explorer.ista.ac.at/record/14845
DOI: 10.1103/PhysRevB.109.014102

De Nooijer P, Terziadis S, Weinberger A, et al. Removing popular faces in curve arrangements. In: 31st International Symposium on Graph Drawing and Network Visualization. Vol 14466. Springer Nature; 2024:18-33. doi:10.1007/978-3-031-49275-4_2
LibreCat: https://research-explorer.ista.ac.at/record/14888
DOI: 10.1007/978-3-031-49275-4_2
arXiv: 2202.12175

Tang H, Lu K, Zhang Y, Cheng Y, Tu S, Friml J. Divergence of trafficking and polarization mechanisms for PIN auxin transporters during land plant evolution. Plant Communications. 2024;5(1). doi:10.1016/j.xplc.2023.100669
LibreCat: https://research-explorer.ista.ac.at/record/14251
DOI: 10.1016/j.xplc.2023.100669
PMID: 37528584

Lorenc D, Alpichshev Z. Dispersive effects in ultrafast nonlinear phenomena: The case of optical Kerr effect. Physical Review Research. 2024;6(1). doi:10.1103/PhysRevResearch.6.013042
LibreCat: https://research-explorer.ista.ac.at/record/14886
DOI: 10.1103/PhysRevResearch.6.013042

Chiossi HSC. Adaptive hierarchical representations in the hippocampus. 2024. doi:10.15479/at:ista:14821
LibreCat: https://research-explorer.ista.ac.at/record/14821
DOI: 10.15479/at:ista:14821

Hausel T, Letellier E, Rodriguez-Villegas F. Locally free representations of quivers over commutative Frobenius algebras. Selecta Mathematica. 2024;30(2). doi:10.1007/s00029-023-00914-2
LibreCat: https://research-explorer.ista.ac.at/record/14930
DOI: 10.1007/s00029-023-00914-2

Agafonova S, Mishra U, Diorico FR, Hosten O. Zigzag optical cavity for sensing and controlling torsional motion. Physical Review Research. 2024;6(1). doi:10.1103/physrevresearch.6.013141
LibreCat: https://research-explorer.ista.ac.at/record/14980
DOI: 10.1103/physrevresearch.6.013141
arXiv: 2306.12804

Karle V, Lemeshko M. Die faszinierende Topologie rotierender Quanten. Physik in unserer Zeit. 2024;55(1):28-33. doi:10.1002/piuz.202301690
LibreCat: https://research-explorer.ista.ac.at/record/14851
DOI: 10.1002/piuz.202301690

Hirvonen J, Schmid L, Chatterjee K, Schmid S. On the convergence time in graphical games: A locality-sensitive approach. In: 27th International Conference on Principles of Distributed Systems. Vol 286. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.OPODIS.2023.11
LibreCat: https://research-explorer.ista.ac.at/record/15006
DOI: 10.4230/LIPIcs.OPODIS.2023.11
arXiv: 2102.13457

Alpos O, Amores-Sesar I, Cachin C, Yeo MX. Eating sandwiches: Modular and lightweight elimination of transaction reordering attacks. In: 27th International Conference on Principles of Distributed Systems. Vol 286. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.OPODIS.2023.12
LibreCat: https://research-explorer.ista.ac.at/record/15007
DOI: 10.4230/LIPIcs.OPODIS.2023.12
arXiv: 2307.02954

Bett VK, Macon A, Vicoso B, Elkrewi MN. Chromosome-level assembly of Artemia franciscana sheds light on sex chromosome differentiation. Genome Biology and Evolution. 2024;16(1). doi:10.1093/gbe/evae006
LibreCat: https://research-explorer.ista.ac.at/record/15009
DOI: 10.1093/gbe/evae006
PMID: 38245839

Karle V, Lemeshko M. Modeling laser pulses as ;4 kicks: Reevaluating the impulsive limit in molecular rotational dynamics. Physical Review A. 2024;109(2). doi:10.1103/PhysRevA.109.023101
LibreCat: https://research-explorer.ista.ac.at/record/15004
DOI: 10.1103/PhysRevA.109.023101
arXiv: 2307.07256

Elkrewi MN. Data from “Chromosome-level assembly of Artemia franciscana sheds light on sex-chromosome differentiation.”10.15479/AT:ISTA:14705__2024. doi:10.15479/AT:ISTA:14705
LibreCat: https://research-explorer.ista.ac.at/record/14705
DOI: 10.15479/AT:ISTA:14705

Shimura Y, Godfrin C, Hikavyy A, et al. Compressively strained epitaxial Ge layers for quantum computing applications. Materials Science in Semiconductor Processing. 2024;174(5). doi:10.1016/j.mssp.2024.108231
LibreCat: https://research-explorer.ista.ac.at/record/15018
DOI: 10.1016/j.mssp.2024.108231

Kurtic E, Hoefler T, Alistarh D-A. How to prune your language model: Recovering accuracy on the “Sparsity May Cry” benchmark. In: Proceedings of Machine Learning Research. Vol 234. ML Research Press; 2024:542-553.
LibreCat: https://research-explorer.ista.ac.at/record/15011
arXiv: 2312.13547

Erdös L, McKenna B. Extremal statistics of quadratic forms of GOE/GUE eigenvectors. Annals of Applied Probability. 2024;34(1B):1623-1662. doi:10.1214/23-AAP2000
LibreCat: https://research-explorer.ista.ac.at/record/15025
DOI: 10.1214/23-AAP2000
arXiv: 2208.12206

Adamowski M, Matijevic I, Friml J. Developmental patterning function of GNOM ARF-GEF mediated from the cell periphery. eLife. 2024;13. doi:10.7554/elife.68993
LibreCat: https://research-explorer.ista.ac.at/record/15033
DOI: 10.7554/elife.68993

Csata E, Perez-Escudero A, Laury E, et al. Fungal infection alters collective nutritional intake of ant colonies. Current Biology. 2024;34(4):902-909.e6. doi:10.1016/j.cub.2024.01.017
LibreCat: https://research-explorer.ista.ac.at/record/14479
DOI: 10.1016/j.cub.2024.01.017
PMID: 38307022

Varshney A, Ghazaryan A, Volosniev A. Classical ‘spin’ filtering with two degrees of freedom and dissipation. Few-Body Systems. 2024;65. doi:10.1007/s00601-024-01880-x
LibreCat: https://research-explorer.ista.ac.at/record/15045
DOI: 10.1007/s00601-024-01880-x
arXiv: 2401.08454

Schauer A, Pranjic-Ferscha K, Hauschild R, Heisenberg C-PJ. Robust axis elongation by Nodal-dependent restriction of BMP signaling. Development. 2024;151(4):1-18. doi:10.1242/dev.202316
LibreCat: https://research-explorer.ista.ac.at/record/15048
DOI: 10.1242/dev.202316

Hauschild R. Matlab script for analysis of clone dispersal. 2024. doi:10.15479/AT:ISTA:14926
LibreCat: https://research-explorer.ista.ac.at/record/14926
DOI: 10.15479/AT:ISTA:14926

Cheung GT, Pauler F, Koppensteiner P, et al. Multipotent progenitors instruct ontogeny of the superior colliculus. Neuron. 2024;112(2):230-246.e11. doi:10.1016/j.neuron.2023.11.009
LibreCat: https://research-explorer.ista.ac.at/record/12875
DOI: 10.1016/j.neuron.2023.11.009
PMID: 38096816

Datler J, Hansen J, Thader A, et al. Multi-modal cryo-EM reveals trimers of protein10.1038/s41594-023-01201-6__to form the palisade layer in poxvirus cores. Nature Structural &; Molecular Biology. 2024. doi:10.1038/s41594-023-01201-6
LibreCat: https://research-explorer.ista.ac.at/record/14979
DOI: 10.1038/s41594-023-01201-6
PMID: 38316877

Caballero Mancebo S, Shinde R, Bolger-Munro M, et al. Friction forces determine cytoplasmic reorganization and shape changes of ascidian oocytes upon fertilization. Nature Physics. 2024. doi:10.1038/s41567-023-02302-1
LibreCat: https://research-explorer.ista.ac.at/record/14846
DOI: 10.1038/s41567-023-02302-1

Stankowski S, Zagrodzka ZB, Garlovsky MD, et al. The genetic basis of a recent transition to live-bearing in marine snails. Science. 2024;383(6678):114-119. doi:10.1126/science.adi2982
LibreCat: https://research-explorer.ista.ac.at/record/14796
DOI: 10.1126/science.adi2982
PMID: 38175895

Hledik M. Genetic information and biological optimization. 2024. doi:10.15479/at:ista:15020
LibreCat: https://research-explorer.ista.ac.at/record/15020
DOI: 10.15479/at:ista:15020

Benková E. Eva Benkova. Vol 34. Elsevier; 2024:-. doi:10.1016/j.cub.2023.11.039
LibreCat: https://research-explorer.ista.ac.at/record/14842
DOI: 10.1016/j.cub.2023.11.039

Koppensteiner P, Bhandari P, Önal C, et al. GABAB receptors induce phasic release from medial habenula terminals through activity-dependent recruitment of release-ready vesicles. Proceedings of the National Academy of Sciences. 2024;121(8). doi:10.1073/pnas.2301449121
LibreCat: https://research-explorer.ista.ac.at/record/15084
DOI: 10.1073/pnas.2301449121
PMID: 38346189

Hübner V, Staab M, Hilbe C, Chatterjee K, Kleshnina M. Efficiency and resilience of cooperation in asymmetric social dilemmas. Proceedings of the National Academy of Sciences. 2024;121(10). doi:10.1073/pnas.2315558121
LibreCat: https://research-explorer.ista.ac.at/record/15083
DOI: 10.1073/pnas.2315558121
PMID: 38408249

Johannesson K, Faria R, Le Moan A, et al. Diverse pathways to speciation revealed by marine snails. Trends in Genetics. 2024. doi:10.1016/j.tig.2024.01.002
LibreCat: https://research-explorer.ista.ac.at/record/15099
DOI: 10.1016/j.tig.2024.01.002
PMID: 38395682

Nußbaum P, Kureisaite-Ciziene D, Bellini D, et al. Proteins containing photosynthetic reaction centre domains modulate FtsZ-based archaeal cell division. Nature Microbiology. 2024;9(3):698-711. doi:10.1038/s41564-024-01600-5
LibreCat: https://research-explorer.ista.ac.at/record/15118
DOI: 10.1038/s41564-024-01600-5
PMID: 38443575

Habig M, Grasse AV, Müller J, Stukenbrock EH, Leitner H, Cremer S. Frequent horizontal chromosome transfer between asexual fungal insect pathogens. Proceedings of the National Academy of Sciences of the United States of America. 2024;121(11). doi:10.1073/pnas.2316284121
LibreCat: https://research-explorer.ista.ac.at/record/14478
DOI: 10.1073/pnas.2316284121
PMID: 38442176

Vandael DH, Jonas PM. Structure, biophysics, and circuit function of a “giant”10.1126/science.adg6757__cortical presynaptic terminal. Science. 2024;383(6687):ead57. doi:10.1126/science.adg6757
LibreCat: https://research-explorer.ista.ac.at/record/15117
DOI: 10.1126/science.adg6757
PMID: 38452088

Cultrera di Montesano S. Persistence and Morse theory for discrete geometric structures. 2024. doi:10.15479/at:ista:15094
LibreCat: https://research-explorer.ista.ac.at/record/15094
DOI: 10.15479/at:ista:15094

Cultrera di Montesano S, Edelsbrunner H, Henzinger MH, Ost L. Dynamically maintaining the persistent homology of time series. In: Woodruff DP, ed. Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics; 2024:243-295. doi:10.1137/1.9781611977912.11
LibreCat: https://research-explorer.ista.ac.at/record/15093
DOI: 10.1137/1.9781611977912.11
arXiv: 2311.01115

Cultrera di Montesano S, Draganov O, Edelsbrunner H, Saghafian M. Chromatic alpha complexes. arXiv.
LibreCat: https://research-explorer.ista.ac.at/record/15091
arXiv: 2212.03128

Filakovský M, Nakajima TV, Oprsal J, Tasinato G, Wagner U. Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs. In: 41st International Symposium on Theoretical Aspects of Computer Science. Vol 289. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.STACS.2024.34
LibreCat: https://research-explorer.ista.ac.at/record/15168
DOI: 10.4230/LIPIcs.STACS.2024.34
arXiv: 2312.12981

Palkina KA, Karataeva TA, Perfilov MM, et al. A hybrid pathway for self-sustained luminescence. Science Advances. 2024;10(10). doi:10.1126/sciadv.adk1992
LibreCat: https://research-explorer.ista.ac.at/record/15179
DOI: 10.1126/sciadv.adk1992

Kleinhanns T, Milillo F, Calcabrini M, et al. A route to high thermoelectric performance: Solutionbased control of microstructure and composition in ASe. Advanced Energy Materials. 2024. doi:10.1002/aenm.202400408
LibreCat: https://research-explorer.ista.ac.at/record/15182
DOI: 10.1002/aenm.202400408

Jakhar N, Ibáñez M. Electron highways are cooler. Science. 2024;383(6688):1184. doi:10.1126/science.ado4077
LibreCat: https://research-explorer.ista.ac.at/record/15166
DOI: 10.1126/science.ado4077

Zens B, Fäßler F, Hansen J, et al. Lift-out cryo-FIBSEM and cryo-ET reveal the ultrastructural landscape of extracellular matrix. Journal of Cell Biology. 2024;223(6). doi:10.1083/jcb.202309125
LibreCat: https://research-explorer.ista.ac.at/record/15146
DOI: 10.1083/jcb.202309125
PMID: 38506714

Lauritsen AB, Seiringer R. Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion. Journal of Functional Analysis. 2024;286(7). doi:10.1016/j.jfa.2024.110320
LibreCat: https://research-explorer.ista.ac.at/record/14931
DOI: 10.1016/j.jfa.2024.110320
arXiv: 2301.04894

Boytsov D, Madej GM, Horn G, et al. Orphan lysosomal solute carrier MFS facilitates highly selective dipeptide transport. Proceedings of the National Academy of Sciences of the United States of America. 2024;121(13). doi:10.1073/pnas.2319686121
LibreCat: https://research-explorer.ista.ac.at/record/15250
DOI: 10.1073/pnas.2319686121
PMID: 38507452

Ying W, Wang Y, Wei H, et al. Structure and function of the Arabidopsis ABC transporter ABC in brassinosteroid export. Science. 2024;383(6689):eadj4591. doi:10.1126/science.adj4591
LibreCat: https://research-explorer.ista.ac.at/record/15251
DOI: 10.1126/science.adj4591
PMID: 38513023

Kulich I, Schmid J, Teplova A, Qi L, Friml J. Rapid translocation of NGR proteins driving polarization of PIN-activating10.7554/elife.91523.3__protein kinase during root gravitropism. eLife. 2024;12. doi:10.7554/elife.91523.3
LibreCat: https://research-explorer.ista.ac.at/record/15257
DOI: 10.7554/elife.91523.3

Svoboda J, Joshi SS, Tkadlec J, Chatterjee K. Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating. PLoS Computational Biology. 2024;20(3). doi:10.1371/journal.pcbi.1012008
LibreCat: https://research-explorer.ista.ac.at/record/15297
DOI: 10.1371/journal.pcbi.1012008
arXiv: 2401.14914

Hörmayer L, Montesinos López JC, Trozzi N, et al. Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization. Dev Cell. 2024:34-5807(24)00177-1. doi:10.1016/j.devcel.2024.03.009
LibreCat: https://research-explorer.ista.ac.at/record/15301
DOI: 10.1016/j.devcel.2024.03.009
PMID: 38579717

Olusanya OO. Local adaptation, genetic load and extinction in metapopulations. 2024. doi:10.15479/at:ista:14711
LibreCat: https://research-explorer.ista.ac.at/record/14711
DOI: 10.15479/at:ista:14711

Sobarzo Ponce JCA, Waitukaitis SR. Multiple charge carrier species as a possible cause for triboelectric cycles. Physical Review E. 2024;109(3). doi:10.1103/PhysRevE.109.L032108
LibreCat: https://research-explorer.ista.ac.at/record/15322
DOI: 10.1103/PhysRevE.109.L032108

Bossmann L, Leopold NK, Mitrouskas DJ, Petrat SP. A note on the binding energy for Bosons in the mean-field limit. Journal of Statistical Physics. 2024;191(4). doi:10.1007/s10955-024-03260-5
LibreCat: https://research-explorer.ista.ac.at/record/15318
DOI: 10.1007/s10955-024-03260-5
arXiv: 2307.13115

Dello Schiavo L, Portinale L, Sau F. Scaling limits of random walks, harmonic profiles, and stationary nonequilibrium states in Lipschitz domains. Annals of Applied Probability. 2024;34(2):1789-1845. doi:10.1214/23-AAP2007
LibreCat: https://research-explorer.ista.ac.at/record/15317
DOI: 10.1214/23-AAP2007
arXiv: 2112.14196

Vercellino I, Sazanov LA. SCA drives the compositional diversity of mammalian respirasomes. Nature Structural and Molecular Biology. 2024. doi:10.1038/s41594-024-01255-0
LibreCat: https://research-explorer.ista.ac.at/record/15323
DOI: 10.1038/s41594-024-01255-0
PMID: 38575788

Seoane Souto R, Leijnse M, Schrade C, Valentini M, Katsaros G, Danon J. Tuning the Josephson diode response with an ac current. Physical Review Research. 2024;6(2). doi:10.1103/PhysRevResearch.6.L022002
LibreCat: https://research-explorer.ista.ac.at/record/15320
DOI: 10.1103/PhysRevResearch.6.L022002

González M, Hausel T. Hitchin map on even very stable upward flows. International Journal of Mathematics. 2024. doi:10.1142/S0129167X2441009X
LibreCat: https://research-explorer.ista.ac.at/record/15339
DOI: 10.1142/S0129167X2441009X
arXiv: 2303.01404

Bonolis D, Browning TD, Huang Z. Density of rational points on some quadric bundle threefolds. Mathematische Annalen. 2024. doi:10.1007/s00208-024-02854-4
LibreCat: https://research-explorer.ista.ac.at/record/15337
DOI: 10.1007/s00208-024-02854-4
arXiv: 2204.09322

Browning TD, Pierce LB, Schindler D. Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. 2024. doi:10.1017/S1474748024000161
LibreCat: https://research-explorer.ista.ac.at/record/15338
DOI: 10.1017/S1474748024000161
arXiv: 2212.11038

Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 2024. doi:10.1007/s10107-024-02064-5
LibreCat: https://research-explorer.ista.ac.at/record/10045
DOI: 10.1007/s10107-024-02064-5
arXiv: 2109.10203

Chen J. Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse. 2024. doi:10.15479/at:ista:15101
LibreCat: https://research-explorer.ista.ac.at/record/15101
DOI: 10.15479/at:ista:15101

Chen J, Kaufmann W, Chen C, et al. Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. doi:10.1016/j.neuron.2023.12.002
LibreCat: https://research-explorer.ista.ac.at/record/14843
DOI: 10.1016/j.neuron.2023.12.002
PMID: 38215739

Browning TD, Shparlinski IE. Square-free values of random polynomials. Journal of Number Theory. 2024;261:220-240. doi:10.1016/j.jnt.2024.02.013
LibreCat: https://research-explorer.ista.ac.at/record/15312
DOI: 10.1016/j.jnt.2024.02.013
arXiv: 2305.15493

Gnyliukh N, Johnson AJ, Nagel M, et al. Role of dynamin-related proteins 2 and S in clathrin-mediated endocytosis in Arabidopsis thaliana. Journal of Cell Science. 2024. doi:10.1242/jcs.261720
LibreCat: https://research-explorer.ista.ac.at/record/15330
DOI: 10.1242/jcs.261720
PMID: 38506228

Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi:10.1007/978-1-0716-2887-4_12
LibreCat: https://research-explorer.ista.ac.at/record/12428
DOI: 10.1007/978-1-0716-2887-4_12
PMID: 36653709

Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 2023;5(1). doi:10.1103/physrevresearch.5.013029
LibreCat: https://research-explorer.ista.ac.at/record/12534
DOI: 10.1103/physrevresearch.5.013029

Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 10.1137/1.9781611977554.ch173

Koval N, Alistarh D-A, Elizarov R. Fast and scalable channels in Kotlin Coroutines. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2023:107-118. doi:10.1145/3572848.3577481
LibreCat: https://research-explorer.ista.ac.at/record/12735
DOI: 10.1145/3572848.3577481
arXiv: 2211.04986

Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716
LibreCat: https://research-explorer.ista.ac.at/record/12716
DOI: 10.15479/at:ista:12716

Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407
LibreCat: https://research-explorer.ista.ac.at/record/12407
DOI: 10.15479/AT:ISTA:12407

Lieutier A, Wintraecken M. Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2023:1768-1776. doi:10.1145/3564246.3585113
LibreCat: https://research-explorer.ista.ac.at/record/13048
DOI: 10.1145/3564246.3585113
arXiv: 2303.04014

Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. In: 11th International Conference on Learning Representations .
LibreCat: https://research-explorer.ista.ac.at/record/13053
arXiv: 2207.14200

Hoffmann C, Hubádek P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19

Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 10.1007/978-3-031-30823-9_1

Pokusaeva V. Neural control of optic flow-based navigation in Drosophila melanogaster. 2023. doi:10.15479/at:ista:12826
LibreCat: https://research-explorer.ista.ac.at/record/12826
DOI: 10.15479/at:ista:12826

Edelsbrunner H, Osang GF. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 2023;85:277-295. doi:10.1007/s00453-022-01027-6
LibreCat: https://research-explorer.ista.ac.at/record/12086
DOI: 10.1007/s00453-022-01027-6
WoS: 000846967100001

Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230
LibreCat: https://research-explorer.ista.ac.at/record/13179
DOI: 10.1145/3591230

Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. Involve. 2023;16(2):331-342. doi:10.2140/involve.2023.16.331
LibreCat: https://research-explorer.ista.ac.at/record/13180
DOI: 10.2140/involve.2023.16.331
arXiv: 2203.06881

Elefante S, Stadlbauer S, Alexander MF, Schlögl A. Cryo-EM software packages: A sys-admins point of view. In: ASHP - Austrian-Slovenian HPC Meeting 2023. EuroCC; :42-42.
LibreCat: https://research-explorer.ista.ac.at/record/13162

Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. In: ASHP - Austrian-Slovenian HPC Meeting 2023. EuroCC; :59-59.
LibreCat: https://research-explorer.ista.ac.at/record/13161

Wei Y, Volosniev A, Lorenc D, et al. Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. 2023;14(27):6309-6314. doi:10.1021/acs.jpclett.3c01158
LibreCat: https://research-explorer.ista.ac.at/record/13251
DOI: 10.1021/acs.jpclett.3c01158
WoS: 001022811500001
arXiv: 2304.14198

Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129
LibreCat: https://research-explorer.ista.ac.at/record/13292
DOI: 10.4230/LIPIcs.ICALP.2023.129
arXiv: 2305.03447

Tucci G, De Nicola S, Wald S, Gambassi A. Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. 2023;6(2). doi:10.21468/scipostphyscore.6.2.029
LibreCat: https://research-explorer.ista.ac.at/record/13277
DOI: 10.21468/scipostphyscore.6.2.029
arXiv: 2211.01923

Rammelmüller L, Huber D, Volosniev A. A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. 2023. doi:10.21468/scipostphyscodeb.12
LibreCat: https://research-explorer.ista.ac.at/record/13276
DOI: 10.21468/scipostphyscodeb.12
arXiv: 2202.04603

Rammelmüller L, Huber D, Volosniev A. Codebase release 1.0 for FermiFCI. 2023. doi:10.21468/scipostphyscodeb.12-r1.0
LibreCat: https://research-explorer.ista.ac.at/record/13275
DOI: 10.21468/scipostphyscodeb.12-r1.0

De Jode A, Le Moan A, Johannesson K, et al. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 2023;16(2):542-559. doi:10.1111/eva.13428
LibreCat: https://research-explorer.ista.ac.at/record/11479
DOI: 10.1111/eva.13428
WoS: 000815663700001

Viljakainen L, Fürst M, Grasse AV, et al. Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. 2023;14. doi:10.3389/fmicb.2023.1119002
LibreCat: https://research-explorer.ista.ac.at/record/12469
DOI: 10.3389/fmicb.2023.1119002
WoS: 000961542100001
PMID: PPR559293 

Boissonnat J-D, Dyer R, Ghosh A, Wintraecken M. Local criteria for triangulating general manifolds. Discrete &; Computational Geometry. 2023;69:156-191. doi:10.1007/s00454-022-00431-7
LibreCat: https://research-explorer.ista.ac.at/record/12287
DOI: 10.1007/s00454-022-00431-7
WoS: 000862193600001

Hof B. Directed percolation and the transition to turbulence. Nature Reviews Physics. 2023;5:62-72. doi:10.1038/s42254-022-00539-y
LibreCat: https://research-explorer.ista.ac.at/record/12165
DOI: 10.1038/s42254-022-00539-y
WoS: 000890148700002

Fäßler F, Javoor M, Schur FK. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. 2023;51(1):87-99. doi:10.1042/bst20220221
LibreCat: https://research-explorer.ista.ac.at/record/12421
DOI: 10.1042/bst20220221
WoS: 000926043100001

Marensi E, Yalniz G, Hof B, Budanur NB. Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. 2023;954. doi:10.1017/jfm.2022.1001
LibreCat: https://research-explorer.ista.ac.at/record/12105
DOI: 10.1017/jfm.2022.1001
WoS: 000903336600001
arXiv: 2101.07516

Balestrieri F. Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. 2023;151(3):907-914. doi:10.1090/proc/15239
LibreCat: https://research-explorer.ista.ac.at/record/12427
DOI: 10.1090/proc/15239
WoS: 000898440000001