Compressively strained epitaxial Ge layers for quantum computing applications
Y. Shimura, C. Godfrin, A. Hikavyy, R. Li, J.L. Aguilera Servin, G. Katsaros, P. Favia, H. Han, D. Wan, K. de Greve, R. Loo, Materials Science in Semiconductor Processing 174 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15018
DOI: 10.1016/j.mssp.2024.108231

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

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

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

Fungal infection alters collective nutritional intake of ant colonies
E. Csata, A. Perez-Escudero, E. Laury, H. Leitner, G. Latil, J. Heinze, S. Simpson, S. Cremer, A. Dussutour, Current Biology 34 (2024) 902–909.e6.
LibreCat: https://research-explorer.ista.ac.at/record/14479
DOI: 10.1016/j.cub.2024.01.017
PMID: 38307022

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

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

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

Multipotent progenitors instruct ontogeny of the superior colliculus
G.T. Cheung, F. Pauler, P. Koppensteiner, T. Krausgruber, C. Streicher, M. Schrammel, N.Y. Özgen, A. Ivec, C. Bock, R. Shigemoto, S. Hippenmeyer, Neuron 112 (2024) 230–246.e11.
LibreCat: https://research-explorer.ista.ac.at/record/12875
DOI: 10.1016/j.neuron.2023.11.009
PMID: 38096816

Multi-modal cryo-EM reveals trimers of protein  to form the palisade layer in poxvirus cores
J. Datler, J. Hansen, A. Thader, A. Schlögl, L.W. Bauer, V.-V. Hodirnau, F.K. Schur, Nature Structural &; Molecular Biology (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14979
DOI: 10.1038/s41594-023-01201-6
PMID: 38316877

Friction forces determine cytoplasmic reorganization and shape changes of ascidian oocytes upon fertilization
S. Caballero Mancebo, R. Shinde, M. Bolger-Munro, M. Peruzzo, G. Szep, I. Steccari, D. Labrousse Arias, V. Zheden, J. Merrin, A. Callan-Jones, R. Voituriez, C.-P.J. Heisenberg, Nature Physics (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14846
DOI: 10.1038/s41567-023-02302-1

The genetic basis of a recent transition to live-bearing in marine snails
S. Stankowski, Z.B. Zagrodzka, M.D. Garlovsky, A. Pal, D. Shipilina, D.F. Garcia Castillo, H. Lifchitz, A. Le Moan, E. Leder, J. Reeve, K. Johannesson, A.M. Westram, R.K. Butlin, Science 383 (2024) 114–119.
LibreCat: https://research-explorer.ista.ac.at/record/14796
DOI: 10.1126/science.adi2982
PMID: 38175895

Genetic information and biological optimization
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

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

GABAB receptors induce phasic release from medial habenula terminals through activity-dependent recruitment of release-ready vesicles
P. Koppensteiner, P. Bhandari, C. Önal, C. Borges Merjane, E. Le Monnier, U. Roy, Y. Nakamura, T. Sadakata, M. Sanbo, M. Hirabayashi, J. Rhee, N. Brose, P.M. Jonas, R. Shigemoto, Proceedings of the National Academy of Sciences 121 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15084
DOI: 10.1073/pnas.2301449121
PMID: 38346189

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

Diverse pathways to speciation revealed by marine snails
K. Johannesson, R. Faria, A. Le Moan, M. Rafajlovi, A.M. Westram, R.K. Butlin, S. Stankowski, Trends in Genetics (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15099
DOI: 10.1016/j.tig.2024.01.002
PMID: 38395682

Proteins containing photosynthetic reaction centre domains modulate FtsZ-based archaeal cell division
P. Nußbaum, D. Kureisaite-Ciziene, D. Bellini, C. Van Der Does, M. Kojic, N. Taib, A. Yeates, M. Tourte, S. Gribaldo, M. Loose, J. Löwe, S.V. Albers, Nature Microbiology 9 (2024) 698–711.
LibreCat: https://research-explorer.ista.ac.at/record/15118
DOI: 10.1038/s41564-024-01600-5
PMID: 38443575

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

Structure, biophysics, and circuit function of a "giant" cortical presynaptic terminal
D.H. Vandael, P.M. Jonas, Science 383 (2024) ead57.
LibreCat: https://research-explorer.ista.ac.at/record/15117
DOI: 10.1126/science.adg6757
PMID: 38452088

Persistence and Morse theory for discrete geometric structures
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

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

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

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

A hybrid pathway for self-sustained luminescence
K.A. Palkina, T.A. Karataeva, M.M. Perfilov, L.I. Fakhranurova, N.M. Markina, L. Gonzalez Somermeyer, E. Garcia-Perez, M. Vazquez-Vilar, M. Rodriguez-Rodriguez, V. Vazquez-Vilriales, E.S. Shakhova, T. Mitiouchkina, O.A. Belozerova, S.I. Kovalchuk, A. Alekberova, A.K. Malyshevskaia, E.N. Bugaeva, E.B. Guglya, A. Balakireva, N. Sytov, A. Bezlikhotnova, D.I. Boldyreva, V.V. Babenko, F. Kondrashov, V.V. Choob, D. Orzaez, I.V. Yampolsky, A.S. Mishin, K.S. Sarkisyan, Science Advances 10 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15179
DOI: 10.1126/sciadv.adk1992

A route to high thermoelectric performance: Solutionbased control of microstructure and composition in ASe
T. Kleinhanns, F. Milillo, M. Calcabrini, C. Fiedler, S. Horta, D. Balazs, M.J. Strumolo, R. Hasler, J. Llorca, M. Tkadletz, R.L. Brutchey, M. Ibáñez, Advanced Energy Materials (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15182
DOI: 10.1002/aenm.202400408

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

Lift-out cryo-FIBSEM and cryo-ET reveal the ultrastructural landscape of extracellular matrix
B. Zens, F. Fäßler, J. Hansen, R. Hauschild, J. Datler, V.-V. Hodirnau, V. Zheden, J.H. Alanko, M.K. Sixt, F.K. Schur, Journal of Cell Biology 223 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15146
DOI: 10.1083/jcb.202309125
PMID: 38506714

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

Orphan lysosomal solute carrier MFS facilitates highly selective dipeptide transport
D. Boytsov, G.M. Madej, G. Horn, N. Blaha, T. Köcher, H.H. Sitte, D.E. Siekhaus, C. Ziegler, W. Sandtner, M. Roblek, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15250
DOI: 10.1073/pnas.2319686121
PMID: 38507452

Structure and function of the Arabidopsis ABC transporter ABC in brassinosteroid export
W. Ying, Y. Wang, H. Wei, Y. Luo, Q. Ma, H. Zhu, H. Janssens, N. Vukasinovi, M. Kvasnica, J.M. Winne, Y. Gao, S. Tan, J. Friml, X. Liu, E. Russinova, L. Sun, Science 383 (2024) eadj4591.
LibreCat: https://research-explorer.ista.ac.at/record/15251
DOI: 10.1126/science.adj4591
PMID: 38513023

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

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

Local adaptation, genetic load and extinction in metapopulations
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

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

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

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

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

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

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

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

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

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

Role of dynamin-related proteins 2 and S in clathrin-mediated endocytosis in Arabidopsis thaliana
N. Gnyliukh, A.J. Johnson, M. Nagel, A. Monzer, D. Babic, A. Hlavata, S. Alotaibi, E. Isono, M. Loose, J. Friml, Journal of Cell Science (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15330
DOI: 10.1242/jcs.261720
PMID: 38506228

Discovery of recessive effect of human polymerase ;4 proofreading deficiency through mutational analysis of POL-mutated normal and cancer cells
M.A. Andrianova, V.B. Seplyarskiy, M. Terradas, A.B. Sánchez-Heras, P. Mur, J.L. Soto, G. Aiza, E. Borràs, F. Kondrashov, A.S. Kondrashov, G.A. Bazykin, L. Valle, European Journal of Human Genetics (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15362
DOI: 10.1038/s41431-024-01598-8
PMID: 38658779

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

Limits to selection on standing variation in an asexual population
N.H. Barton, H. Sachdeva, Theoretical Population Biology 157 (2024) 129–137.
LibreCat: https://research-explorer.ista.ac.at/record/15358
DOI: 10.1016/j.tpb.2024.04.001
PMID: 38643838

SPs recruit auxilin-like vesicle uncoating factors for clathrin-mediated endocytosis
M. Adamowski, M. Randuch, I. Matijevic, M. Narasimhan, J. Friml, Cell Reports 43 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15374
DOI: 10.1016/j.celrep.2024.114195
PMID: 38717900

Enhancing thermoelectric performance of solutionpProcessed polycrystalline SnSe with PbSe nanocrystals
Y. Liu, S. Lee, C. Fiedler, M.C.  Spadaro, C. Chang, M. Li, M. Hong, J. Arbiol, M. Ibáñez, Chemical Engineering Journal 490 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15357
DOI: 10.1016/j.cej.2024.151405

Hippocampal cholecystokinin-expressing interneurons regulate temporal coding and contextual learning
D.K. Rangel Guerrero, K. Balueva, U. Barayeu, P. Baracskay, I. Gridchyn, M. Nardin, C.N. Roth, P. Wulff, J.L. Csicsvari, Neuron (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15381
DOI: 10.1016/j.neuron.2024.03.019

Wegner estimate and upper bound on the eigenvalue condition number of non-Hermitian random matrices
L. Erdös, H.C. Ji, Communications on Pure and Applied Mathematics (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15378
DOI: 10.1002/cpa.22201
arXiv: 2301.04981

Depth in arrangements: Dehn–Sommerville–Euler relations with applications
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15380
DOI: 10.1007/s41468-024-00173-w

Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording
J.S. Murmann, Investigating Acute Microglia Response to Seizure Activity in Vivo: Combining 2-Photon Imaging and EEG Recording, Institute of Science and Technology Austria, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15352
DOI: 10.15479/at:ista:15352

Shared behavioural impairments in visual perception and place avoidance across different autism models are driven by periaqueductal grey hypoexcitability in Set haploinsufficient mice
L. Burnett, P. Koppensteiner, O. Symonova, T. Masson, T.A. Vega Zuniga, X. Contreras, T. Rülicke, R. Shigemoto, G. Novarino, M.A. Jösch, (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15385
DOI: 10.15479/AT:ISTA:15385

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

Neurochemistry and circuit organization of the lateral spiriform nucleus of birds: A uniquely nonmammalian direct pathway component of the basal ganglia
A. Reiner, L. Medina, A. Abellan, Y. Deng, C.A.B. Toledo, H. Luksch, T.A. Vega Zuniga, N.B. Riley, W. Hodos, H.J. Karten, Journal of Comparative Neurology 532 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15404
DOI: 10.1002/cne.25620
PMID: 38733146

Integrin ;21–mediated mast cell immune-surveillance of blood vessel content
K. Link, L. Muhandes, A. Polikarpova, T. Lämmermann, M.K. Sixt, R. Fässler, A. Roers, Journal of Allergy and Clinical Immunology (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/15408
DOI: 10.1016/j.jaci.2024.03.022

Auction-based scheduling
G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.
LibreCat: https://research-explorer.ista.ac.at/record/15376
DOI: 10.1007/978-3-031-57256-2_8
arXiv: 2310.11798

Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization
L. Hörmayer, J.C. Montesinos López, N. Trozzi, L. Spona, S. Yoshida, P. Marhavá, S. Caballero Mancebo, E. Benková, C.-P.J. Heisenberg, Y. Dagdas, M. Majda, J. Friml, Dev Cell (2024) 34-5807(24)00177–1.
LibreCat: https://research-explorer.ista.ac.at/record/15301
DOI: 10.1016/j.devcel.2024.03.009
PMID: 38579717

Trapdoor memory-hard functions
B. Auerbach, C.U. Günther, K.Z. Pietrzak, in:, 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2024, pp. 315–344.
LibreCat: https://research-explorer.ista.ac.at/record/17051
DOI: 10.1007/978-3-031-58734-4_11

The translocation of a chloride channel from the Golgi to the plasma membrane helps plants adapt to salt stress
S. Rajappa, P. Krishnamurthy, H. Huang, D. Yu, J. Friml, J. Xu, P.P. Kumar, Nature Communications 15 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17048
DOI: 10.1038/s41467-024-48234-z
PMID: 38729926

Unveiling crucial chemical processing parameters influencing the performance of solution-processed inorganic thermoelectric materials
C. Fiedler, M. Calcabrini, Y. Liu, M. Ibáñez, Angewandte Chemie - International Edition (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17052
DOI: 10.1002/anie.202402628
PMID: 38623865

Optimal lower bound on eigenvector overlaps for non-Hermitian random matrices
G. Cipolloni, L. Erdös, S.J. Henheik, D.J. Schröder, Journal of Functional Analysis 287 (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/17049
DOI: 10.1016/j.jfa.2024.110495

Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse
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

Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse
J. Chen, W. Kaufmann, C. Chen,  itaru Arai, O. Kim, R. Shigemoto, P.M. Jonas, Neuron (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14843
DOI: 10.1016/j.neuron.2023.12.002
PMID: 38215739

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.
LibreCat: https://research-explorer.ista.ac.at/record/12428
DOI: 10.1007/978-1-0716-2887-4_12
PMID: 36653709

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 10.1137/1.9781611977554.ch173

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.
LibreCat: https://research-explorer.ista.ac.at/record/12735
DOI: 10.1145/3572848.3577481
arXiv: 2211.04986

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.
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism
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

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

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/12407
DOI: 10.15479/AT:ISTA:12407

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

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

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

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

Neural control of optic flow-based navigation in Drosophila melanogaster
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

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

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

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

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

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

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

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

Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
LibreCat: https://research-explorer.ista.ac.at/record/13292
DOI: 10.4230/LIPIcs.ICALP.2023.129
arXiv: 2305.03447

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

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

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/11479
DOI: 10.1111/eva.13428
WoS: 000815663700001

Antiviral immune response reveals host-specific virus infections in natural ant populations
L. Viljakainen, M. Fürst, A.V. Grasse, J. Jurvansuu, J. Oh, L. Tolonen, T. Eder, T. Rattei, S. Cremer, Frontiers in Microbiology 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12469
DOI: 10.3389/fmicb.2023.1119002
WoS: 000961542100001
PMID: PPR559293 

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

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/12421
DOI: 10.1042/bst20220221
WoS: 000926043100001

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/12427
DOI: 10.1090/proc/15239
WoS: 000898440000001

Going back in time with TEMPO
A. Villalba Requena, S. Hippenmeyer, Neuron 111 (2023) 291–293.
LibreCat: https://research-explorer.ista.ac.at/record/12542
DOI: 10.1016/j.neuron.2023.01.006
WoS: 000994473300001

Wait-free approximate agreement on graphs
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12566
DOI: 10.1016/j.tcs.2023.113733
WoS: 000934262700001

Elasto-inertial turbulence
Y. Dubief, V.E. Terrapon, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 675–705.
LibreCat: https://research-explorer.ista.ac.at/record/12681
DOI: 10.1146/annurev-fluid-032822-025933
WoS: 000915418100026