F. N. Arslan, E. B. Hannezo, J. Merrin, M. Loose, and C.-P. J. Heisenberg, “Adhesion-induced cortical flows pattern E-cadherin-mediated cell contacts,” Current Biology, vol. 34, no. 1. Elsevier, p. 171–182.e8, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14795
DOI: 10.1016/j.cub.2023.11.067

F. R. Diorico, A. Zhutov, and O. Hosten, “Laser-cavity locking utilizing beam ellipticity: accessing the 10<sup>7</sup> instability scale relative to cavity linewidth,” Optica, vol. 11, no. 1. Optica Publishing Group, pp. 26–31, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14802
DOI: 10.1364/optica.507451

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

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

A. H. Hansen and S. Hippenmeyer, “Time-lapse imaging of cortical projection neuron migration in mice using mosaic analysis with double markers,” STAR Protocols, vol. 5, no. 1. Elsevier, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14794
DOI: 10.1016/j.xpro.2023.102795
PMID: 38165800

A. Kuhn et al., “RAF-like protein kinases mediate a deeply conserved, rapid auxin response,” Cell, vol. 187, no. 1. Elsevier, p. 130–148.e17, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14826
DOI: 10.1016/j.cell.2023.11.021
PMID: 38128538

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

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

P. De Nooijer et al., “Removing popular faces in curve arrangements,” in 31st International Symposium on Graph Drawing and Network Visualization, Isola delle Femmine, Palermo, Italy, 2024, vol. 14466, pp. 18–33.
LibreCat: https://research-explorer.ista.ac.at/record/14888
DOI: 10.1007/978-3-031-49275-4_2
arXiv: 2202.12175

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

D. Lorenc and Z. Alpichshev, “Dispersive effects in ultrafast nonlinear phenomena: The case of optical Kerr effect,” Physical Review Research, vol. 6, no. 1. American Physical Society, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14886
DOI: 10.1103/PhysRevResearch.6.013042

H. S. C. Chiossi, “Adaptive hierarchical representations in the hippocampus,” Institute of Science and Technology Austria, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14821
DOI: 10.15479/at:ista:14821

T. Hausel, E. Letellier, and F. Rodriguez-Villegas, “Locally free representations of quivers over commutative Frobenius algebras,” Selecta Mathematica, vol. 30, no. 2. Springer Nature, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14930
DOI: 10.1007/s00029-023-00914-2

S. Agafonova, U. Mishra, F. R. Diorico, and O. Hosten, “Zigzag optical cavity for sensing and controlling torsional motion,” Physical Review Research, vol. 6, no. 1. American Physical Society, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14980
DOI: 10.1103/physrevresearch.6.013141
arXiv: 2306.12804

V. Karle and M. Lemeshko, “Die faszinierende Topologie rotierender Quanten,” Physik in unserer Zeit, vol. 55, no. 1. Wiley, pp. 28–33, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14851
DOI: 10.1002/piuz.202301690

J. Hirvonen, L. Schmid, K. Chatterjee, and S. Schmid, “On the convergence time in graphical games: A locality-sensitive approach,” in 27th International Conference on Principles of Distributed Systems, Tokyo, Japan, 2024, vol. 286.
LibreCat: https://research-explorer.ista.ac.at/record/15006
DOI: 10.4230/LIPIcs.OPODIS.2023.11
arXiv: 2102.13457

O. Alpos, I. Amores-Sesar, C. Cachin, and M. X. Yeo, “Eating sandwiches: Modular and lightweight elimination of transaction reordering attacks,” in 27th International Conference on Principles of Distributed Systems, Tokyo, Japan, 2024, vol. 286.
LibreCat: https://research-explorer.ista.ac.at/record/15007
DOI: 10.4230/LIPIcs.OPODIS.2023.12
arXiv: 2307.02954

V. K. Bett, A. Macon, B. Vicoso, and M. N. Elkrewi, “Chromosome-level assembly of Artemia franciscana sheds light on sex chromosome differentiation,” Genome Biology and Evolution, vol. 16, no. 1. Oxford University Press, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15009
DOI: 10.1093/gbe/evae006
PMID: 38245839

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

M. N. Elkrewi, “Data from ‘Chromosome-level assembly of Artemia franciscana sheds light on sex-chromosome differentiation.’” Institute of Science and Technology Austria, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14705
DOI: 10.15479/AT:ISTA:14705

Y. Shimura et al., “Compressively strained epitaxial Ge layers for quantum computing applications,” Materials Science in Semiconductor Processing, vol. 174, no. 5. Elsevier, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15018
DOI: 10.1016/j.mssp.2024.108231

E. Kurtic, T. Hoefler, and D.-A. Alistarh, “How to prune your language model: Recovering accuracy on the ‘Sparsity May Cry’ benchmark,” in Proceedings of Machine Learning Research, Hongkong, China, 2024, vol. 234, pp. 542–553.
LibreCat: https://research-explorer.ista.ac.at/record/15011
arXiv: 2312.13547

L. Erdös and B. McKenna, “Extremal statistics of quadratic forms of GOE/GUE eigenvectors,” Annals of Applied Probability, vol. 34, no. 1B. Institute of Mathematical Statistics, pp. 1623–1662, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15025
DOI: 10.1214/23-AAP2000
arXiv: 2208.12206

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

E. Csata et al., “Fungal infection alters collective nutritional intake of ant colonies,” Current Biology, vol. 34, no. 4. Elsevier, p. 902–909.e6, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14479
DOI: 10.1016/j.cub.2024.01.017
PMID: 38307022

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

A. Schauer, K. Pranjic-Ferscha, R. Hauschild, and C.-P. J. Heisenberg, “Robust axis elongation by Nodal-dependent restriction of BMP signaling,” Development, vol. 151, no. 4. The Company of Biologists, pp. 1–18, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15048
DOI: 10.1242/dev.202316

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

G. T. Cheung et al., “Multipotent progenitors instruct ontogeny of the superior colliculus,” Neuron, vol. 112, no. 2. Elsevier, p. 230–246.e11, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/12875
DOI: 10.1016/j.neuron.2023.11.009
PMID: 38096816

J. Datler et al., “Multi-modal cryo-EM reveals trimers of protein  to form the palisade layer in poxvirus cores,” Nature Structural &; Molecular Biology. Springer Nature, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14979
DOI: 10.1038/s41594-023-01201-6
PMID: 38316877

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

S. Stankowski et al., “The genetic basis of a recent transition to live-bearing in marine snails,” Science, vol. 383, no. 6678. American Association for the Advancement of Science, pp. 114–119, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14796
DOI: 10.1126/science.adi2982
PMID: 38175895

M. Hledik, “Genetic information and biological optimization,” Institute of Science and Technology Austria, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15020
DOI: 10.15479/at:ista:15020

E. Benková, Eva Benkova, vol. 34, no. 1. Elsevier, 2024, pp. –.
LibreCat: https://research-explorer.ista.ac.at/record/14842
DOI: 10.1016/j.cub.2023.11.039

P. Koppensteiner 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, vol. 121, no. 8. Proceedings of the National Academy of Sciences, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15084
DOI: 10.1073/pnas.2301449121
PMID: 38346189

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

K. Johannesson et al., “Diverse pathways to speciation revealed by marine snails,” Trends in Genetics. Cell Press, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15099
DOI: 10.1016/j.tig.2024.01.002
PMID: 38395682

P. Nußbaum et al., “Proteins containing photosynthetic reaction centre domains modulate FtsZ-based archaeal cell division,” Nature Microbiology, vol. 9, no. 3. Springer Nature, pp. 698–711, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15118
DOI: 10.1038/s41564-024-01600-5
PMID: 38443575

M. Habig, A. V. Grasse, J. Müller, E. H. Stukenbrock, H. Leitner, and S. Cremer, “Frequent horizontal chromosome transfer between asexual fungal insect pathogens,” Proceedings of the National Academy of Sciences of the United States of America, vol. 121, no. 11. Proceedings of the National Academy of Sciences, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14478
DOI: 10.1073/pnas.2316284121
PMID: 38442176

D. H. Vandael and P. M. Jonas, “Structure, biophysics, and circuit function of a ‘giant’ cortical presynaptic terminal,” Science, vol. 383, no. 6687. AAAS, p. ead57, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15117
DOI: 10.1126/science.adg6757
PMID: 38452088

S. Cultrera di Montesano, “Persistence and Morse theory for discrete geometric structures,” Institute of Science and Technology Austria, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15094
DOI: 10.15479/at:ista:15094

S. Cultrera di Montesano, H. Edelsbrunner, M. H. Henzinger, and L. Ost, “Dynamically maintaining the persistent homology of time series,” in Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Alexandria, VA, USA, 2024, pp. 243–295.
LibreCat: https://research-explorer.ista.ac.at/record/15093
DOI: 10.1137/1.9781611977912.11
arXiv: 2311.01115

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

M. Filakovský, T. V. Nakajima, J. Oprsal, G. Tasinato, and U. Wagner, “Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs,” in 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France, 2024, vol. 289.
LibreCat: https://research-explorer.ista.ac.at/record/15168
DOI: 10.4230/LIPIcs.STACS.2024.34
arXiv: 2312.12981

K. A. Palkina et al., “A hybrid pathway for self-sustained luminescence,” Science Advances, vol. 10, no. 10. American Association for the Advancement of Science, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15179
DOI: 10.1126/sciadv.adk1992

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

N. Jakhar and M. Ibáñez, “Electron highways are cooler,” Science, vol. 383, no. 6688. American Association for the Advancement of Science, p. 1184, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15166
DOI: 10.1126/science.ado4077

B. Zens et al., “Lift-out cryo-FIBSEM and cryo-ET reveal the ultrastructural landscape of extracellular matrix,” Journal of Cell Biology, vol. 223, no. 6. Rockefeller University Press, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15146
DOI: 10.1083/jcb.202309125
PMID: 38506714

A. B. Lauritsen and R. Seiringer, “Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion,” Journal of Functional Analysis, vol. 286, no. 7. Elsevier, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14931
DOI: 10.1016/j.jfa.2024.110320
arXiv: 2301.04894

D. Boytsov 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, vol. 121, no. 13. Proceedings of the National Academy of Sciences, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15250
DOI: 10.1073/pnas.2319686121
PMID: 38507452

W. Ying et al., “Structure and function of the Arabidopsis ABC transporter ABC in brassinosteroid export,” Science, vol. 383, no. 6689. American Association for the Advancement of Science, p. eadj4591, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15251
DOI: 10.1126/science.adj4591
PMID: 38513023

I. Kulich, J. Schmid, A. Teplova, L. Qi, and J. Friml, “Rapid translocation of NGR proteins driving polarization of PIN-activating  protein kinase during root gravitropism,” eLife, vol. 12. eLife Sciences Publications, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15257
DOI: 10.7554/elife.91523.3

J. Svoboda, S. S. Joshi, J. Tkadlec, and K. Chatterjee, “Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating,” PLoS Computational Biology, vol. 20, no. 3. Public Library of Science, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15297
DOI: 10.1371/journal.pcbi.1012008
arXiv: 2401.14914

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

O. O. Olusanya, “Local adaptation, genetic load and extinction in metapopulations,” Institute of Science and Technology Austria, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14711
DOI: 10.15479/at:ista:14711

J. C. A. Sobarzo Ponce and S. R. Waitukaitis, “Multiple charge carrier species as a possible cause for triboelectric cycles,” Physical Review E, vol. 109, no. 3. American Physical Society, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15322
DOI: 10.1103/PhysRevE.109.L032108

L. Bossmann, N. K. Leopold, D. J. Mitrouskas, and S. P. Petrat, “A note on the binding energy for Bosons in the mean-field limit,” Journal of Statistical Physics, vol. 191, no. 4. Springer Nature, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15318
DOI: 10.1007/s10955-024-03260-5
arXiv: 2307.13115

L. Dello Schiavo, L. Portinale, and F. Sau, “Scaling limits of random walks, harmonic profiles, and stationary nonequilibrium states in Lipschitz domains,” Annals of Applied Probability, vol. 34, no. 2. Institute of Mathematical Statistics, pp. 1789–1845, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15317
DOI: 10.1214/23-AAP2007
arXiv: 2112.14196

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

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

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

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

T. D. Browning, L. B. Pierce, and D. Schindler, “Generalised quadratic forms over totally real number fields,” Journal of the Institute of Mathematics of Jussieu. Cambridge University Press, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15338
DOI: 10.1017/S1474748024000161
arXiv: 2212.11038

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

T. D. Browning and I. E. Shparlinski, “Square-free values of random polynomials,” Journal of Number Theory, vol. 261. Elsevier, pp. 220–240, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15312
DOI: 10.1016/j.jnt.2024.02.013
arXiv: 2305.15493

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

M. A. Andrianova et al., “Discovery of recessive effect of human polymerase ;4 proofreading deficiency through mutational analysis of POL-mutated normal and cancer cells,” European Journal of Human Genetics. Springer Nature, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15362
DOI: 10.1038/s41431-024-01598-8
PMID: 38658779

S. Babkin, A. P. Higginbotham, and M. Serbyn, “Proximity-induced gapless superconductivity in two-dimensional Rashba semiconductor in magnetic field,” SciPost Physics, vol. 16, no. 5. SciPost Foundation, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15367
DOI: 10.21468/scipostphys.16.5.115
arXiv: 2311.09347

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

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

E. B. Hannezo and C. L. G. J. Scheele, “A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland,” in Cell Migration in Three Dimensions, vol. 2608, C. Margadant, Ed. Springer Nature, 2023, pp. 183–205.
LibreCat: https://research-explorer.ista.ac.at/record/12428
DOI: 10.1007/978-1-0716-2887-4_12
PMID: 36653709

A. Ghazaryan, A. Cappellaro, M. Lemeshko, and A. Volosniev, “Dissipative dynamics of an impurity with spin-orbit coupling,” Physical Review Research, vol. 5, no. 1. American Physical Society, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12534
DOI: 10.1103/physrevresearch.5.013029

K. Chatterjee, T. Meggendorfer, R. J. Saona Urmeneta, and J. Svoboda, “Faster algorithm for turn-based stochastic games with bounded treewidth,” in Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 2023, pp. 4590–4605.
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 10.1137/1.9781611977554.ch173

N. Koval, D.-A. Alistarh, and R. Elizarov, “Fast and scalable channels in Kotlin Coroutines,” in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Montreal, QC, Canada, 2023, pp. 107–118.
LibreCat: https://research-explorer.ista.ac.at/record/12735
DOI: 10.1145/3572848.3577481
arXiv: 2211.04986

V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

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

M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

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

A. Lieutier and M. Wintraecken, “Hausdorff and Gromov-Hausdorff stable subsets of the medial axis,” in Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Orlando, FL, United States, 2023, pp. 1768–1776.
LibreCat: https://research-explorer.ista.ac.at/record/13048
DOI: 10.1145/3564246.3585113
arXiv: 2303.04014

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

C. Hoffmann, P. Hubádek, C. Kamath, and K. Z. Pietrzak, “Certifying giant nonprimes,” in Public-Key Cryptography - PKC 2023, Atlanta, GA, United States, 2023, vol. 13940, pp. 530–553.
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19

K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “A learner-verifier framework for neural network controllers and certificates of stochastic systems,” in Tools and Algorithms for the Construction and Analysis of Systems , Paris, France, 2023, vol. 13993, pp. 3–25.
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 10.1007/978-3-031-30823-9_1

V. Pokusaeva, “Neural control of optic flow-based navigation in Drosophila melanogaster,” Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12826
DOI: 10.15479/at:ista:12826

H. Edelsbrunner and G. F. Osang, “A simple algorithm for higher-order Delaunay mosaics and alpha shapes,” Algorithmica, vol. 85. Springer Nature, pp. 277–295, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12086
DOI: 10.1007/s00453-022-01027-6
WoS: 000846967100001

T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in 26th International Conference Foundations of Software Science and Computation Structures, Paris, France, 2023, vol. 13992, pp. 349–370.
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

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

T. D. Browning, J. Lyczak, and R. Sarapin, “Local solubility for a family of quadrics over a split quadric surface,” Involve, vol. 16, no. 2. Mathematical Sciences Publishers, pp. 331–342, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13180
DOI: 10.2140/involve.2023.16.331
arXiv: 2203.06881

S. Elefante, S. Stadlbauer, M. F. Alexander, and A. Schlögl, “Cryo-EM software packages: A sys-admins point of view,” in ASHP - Austrian-Slovenian HPC Meeting 2023, Maribor, Slovenia, pp. 42–42.
LibreCat: https://research-explorer.ista.ac.at/record/13162

A. Schlögl, S. Elefante, and V.-V. Hodirnau, “Running Windows-applications on a Linux HPC cluster using WINE,” in ASHP - Austrian-Slovenian HPC Meeting 2023, Maribor, Slovenia, pp. 59–59.
LibreCat: https://research-explorer.ista.ac.at/record/13161

Y. Wei et al., “Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites,” The Journal of Physical Chemistry Letters, vol. 14, no. 27. American Chemical Society, pp. 6309–6314, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13251
DOI: 10.1021/acs.jpclett.3c01158
WoS: 001022811500001
arXiv: 2304.14198

T. A. Henzinger, P. Kebis, N. A. Mazzocchi, and N. E. Sarac, “Regular methods for operator precedence languages,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261, p. 129:1--129:20.
LibreCat: https://research-explorer.ista.ac.at/record/13292
DOI: 10.4230/LIPIcs.ICALP.2023.129
arXiv: 2305.03447

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

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

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

A. De Jode et al., “Ten years of demographic modelling of divergence and speciation in the sea,” Evolutionary Applications, vol. 16, no. 2. Wiley, pp. 542–559, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/11479
DOI: 10.1111/eva.13428
WoS: 000815663700001

L. Viljakainen et al., “Antiviral immune response reveals host-specific virus infections in natural ant populations,” Frontiers in Microbiology, vol. 14. Frontiers, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12469
DOI: 10.3389/fmicb.2023.1119002
WoS: 000961542100001
PMID: PPR559293 

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

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

F. Fäßler, M. Javoor, and F. K. Schur, “Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM,” Biochemical Society Transactions, vol. 51, no. 1. Portland Press, pp. 87–99, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12421
DOI: 10.1042/bst20220221
WoS: 000926043100001