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

Mapping the brain’s gene-regulatory maze
G. Novarino, C. Bock, Science 384 (2024) 860–861.
LibreCat: https://research-explorer.ista.ac.at/record/17091
DOI: 10.1126/science.adp4663
PMID: 38781359

Phase locking of hippocampal C neurons to distal C theta oscillations selectively predicts memory performance
S.P. Ku, E. Atucha, N. Alavi, H. Mulla-Osman, R. Kayumova, M. Yoshida, J.L. Csicsvari, M.M. Sauvage, Cell Reports 43 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17089
DOI: 10.1016/j.celrep.2024.114276

Communication-efficient federated learning with data and client heterogeneity
H. Zakerinia, S. Talaei, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 27th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2024, pp. 3448–3456.
LibreCat: https://research-explorer.ista.ac.at/record/17093
arXiv: 2206.10032

Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17094
DOI: 10.1007/s10703-024-00447-0
arXiv: 2002.06465

Deterministic sub-exponential algorithm for discounted-sum games with unary weights
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/17098
DOI: 10.48550/arXiv.2405.02479
arXiv: 2405.02479

Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/17099
DOI: 10.48550/arXiv.2405.02486
arXiv: 2405.02486

Mechanically-driven stem cell separation in tissues caused by proliferating daughter cells
J.C. Krämer, E.B. Hannezo, G. Gompper, J. Elgeti, SciPost Physics 16 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17104
DOI: 10.21468/scipostphys.16.4.097
arXiv: 2310.04272

Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast
L. Jiang, X. Zhang, Y. Zhao, H. Zhu, Q. Fu, X. Lu, W. Huang, X. Yang, X. Zhou, L. Wu, A. Yang, X. He, M. Dong, Z. Peng, J. Yang, L. Guo, J. Wen, H. Huang, Y. Xie, S. Zhu, C. Li, X. He, Y. Zhu, J. Friml, Y. Du, Nature Communications 15 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17103
DOI: 10.1038/s41467-024-47746-y
PMID: 38653755

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

Transition to turbulence in pipe flow
M. Avila, D. Barkley, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 575–602.
LibreCat: https://research-explorer.ista.ac.at/record/12682
DOI: 10.1146/annurev-fluid-120720-025957
WoS: 000915418100023

Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, IEEE Robotics and Automation Letters 8 (2023) 1595–1602.
LibreCat: https://research-explorer.ista.ac.at/record/12704
DOI: 10.1109/LRA.2023.3240930
WoS: 000936534100012
arXiv: 2204.07373

Spin-electric coupling in lead halide perovskites
A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review Letters 130 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12723
DOI: 10.1103/physrevlett.130.106901
WoS: 000982435900002
arXiv: 2203.09443

Effective model for studying optical properties of lead halide perovskites
A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review B 107 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12724
DOI: 10.1103/physrevb.107.125201
WoS: 000972602200006
arXiv: 2204.04022

Validation of a stereological method for estimating particle size and density from 2D projections with high accuracy
J.S. Rothman, C. Borges Merjane, N. Holderith, P.M. Jonas, R. Angus Silver, PLoS ONE 18 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12759
DOI: 10.1371/journal.pone.0277148
WoS: 001024737400001

Using AlphaFold to predict the impact of single mutations on protein stability and function
M.A. Pak, K.A. Markhieva, M.S. Novikova, D.S. Petrov, I.S. Vorobyev, E. Maksimova, F. Kondrashov, D.N. Ivankov, PLoS ONE 18 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12758
DOI: 10.1371/journal.pone.0282689
WoS: 000985134400106

From the 'black box' to 'domino effect' mechanism: What have we learned from the structures of respiratory complex I
L.A. Sazanov, The Biochemical Journal 480 (2023) 319–333.
LibreCat: https://research-explorer.ista.ac.at/record/12757
DOI: 10.1042/BCJ20210285
WoS: 000957065700001
PMID: 36920092

Coexistence times in the Moran process with environmental heterogeneity
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12787
DOI: 10.1098/rspa.2022.0685
WoS: 000957125500002

Topological charges of periodically kicked molecules
V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12788
DOI: 10.1103/PhysRevLett.130.103202
WoS: 000957635500003
arXiv: 2206.07067

Multilayer graphenes as a platform for interaction-driven physics and topological superconductivity
A. Ghazaryan, T. Holder, E. Berg, M. Serbyn, Physical Review B 107 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12790
DOI: 10.1103/PhysRevB.107.104502
WoS: 000945526400003
arXiv: 2211.02492

A hydraulic feedback loop between mesendoderm cell migration and interstitial fluid relocalization promotes embryonic axis formation in zebrafish
K. Huljev, S. Shamipour, D.C. Nunes Pinheiro, F. Preusser, I. Steccari, C.M. Sommer, S. Naik, C.-P.J. Heisenberg, Developmental Cell 58 (2023) 582–596.e7.
LibreCat: https://research-explorer.ista.ac.at/record/12830
DOI: 10.1016/j.devcel.2023.02.016
WoS: 000982111800001

Variational theory of angulons and their rotational spectroscopy
Z. Zeng, E. Yakaboylu, M. Lemeshko, T. Shi, R. Schmidt, The Journal of Chemical Physics 158 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12831
DOI: 10.1063/5.0135893
WoS: 000970038800001
arXiv: 2211.08070