Henzinger, Monika H., et al. “A Unifying Framework for Differentially Private Sums under Continual Observation.”10.1137/1.9781611977912.38__Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 2024, Society for Industrial and Applied Mathematics, 2024, pp. 995–1018, doi:10.1137/1.9781611977912.38.
LibreCat: https://research-explorer.ista.ac.at/record/15253
DOI: 10.1137/1.9781611977912.38
arXiv: 2307.08970

Matthee, Jorryt J., et al. “Large-Scale Excess H I Absorption around z10.1093/mnras/stae673__4 Galaxies Detected in a Background Galaxy Spectrum in the MUSE EXtremely Deep Field.”10.1093/mnras/stae673__Monthly Notices of the Royal Astronomical Society, vol. 529, no. 3, Oxford University Press, 2024, pp. 2794–806, doi:10.1093/mnras/stae673.
LibreCat: https://research-explorer.ista.ac.at/record/15249
DOI: 10.1093/mnras/stae673
arXiv: 2305.15346

Boytsov, Danila, et al. “Orphan Lysosomal Solute Carrier MFS Facilitates Highly Selective Dipeptide Transport.”10.1073/pnas.2319686121__Proceedings of the National Academy of Sciences of the United States of America, vol. 121, no. 13, e2319686121, Proceedings of the National Academy of Sciences, 2024, doi:10.1073/pnas.2319686121.
LibreCat: https://research-explorer.ista.ac.at/record/15250
DOI: 10.1073/pnas.2319686121
PMID: 38507452

Ying, Wei, et al. “Structure and Function of the Arabidopsis ABC Transporter ABC in Brassinosteroid Export.”10.1126/science.adj4591__Science, vol. 383, no. 6689, American Association for the Advancement of Science, 2024, p. eadj4591, doi:10.1126/science.adj4591.
LibreCat: https://research-explorer.ista.ac.at/record/15251
DOI: 10.1126/science.adj4591
PMID: 38513023

Shen, Shiyu. “Mirror Symmetry for Parabolic Higgs Bundles via P-Adic Integration.”10.1016/j.aim.2024.109616__Advances in Mathematics, vol. 443, no. 5, 109616, Elsevier, 2024, doi:10.1016/j.aim.2024.109616.
LibreCat: https://research-explorer.ista.ac.at/record/15248
DOI: 10.1016/j.aim.2024.109616

Frankl, Peter, et al. “Odd-Sunflowers.”10.1016/j.jcta.2024.105889__Journal of Combinatorial Theory, Series A, vol. 206, no. 8, 105889, Elsevier, 2024, doi:10.1016/j.jcta.2024.105889.
LibreCat: https://research-explorer.ista.ac.at/record/15247
DOI: 10.1016/j.jcta.2024.105889
arXiv: 2310.16701

Dello Schiavo, Lorenzo. “A Characterization of Maps of Bounded Compression.” Mathematical Communications, vol. 29, no. 1, Udruga Matematicara Osijek, 2024, pp. 137–42.
LibreCat: https://research-explorer.ista.ac.at/record/15252
arXiv: 2304.11348

Kulich, Ivan, et al. “Rapid Translocation of NGR Proteins Driving Polarization of PIN-Activating10.7554/elife.91523.3__Protein Kinase during Root Gravitropism.”10.7554/elife.91523.3__ELife, vol. 12, 91523, eLife Sciences Publications, 2024, doi:10.7554/elife.91523.3.
LibreCat: https://research-explorer.ista.ac.at/record/15257
DOI: 10.7554/elife.91523.3

Hall, Siobhan Mackenzie, et al. “Ten Simple Rules for Pushing Boundaries of Inclusion at Academic Events.”10.1371/journal.pcbi.1011797__PLOS Computational Biology, vol. 20, no. 3, e1011797, Public Library of Science, 2024, doi:10.1371/journal.pcbi.1011797.
LibreCat: https://research-explorer.ista.ac.at/record/15258
DOI: 10.1371/journal.pcbi.1011797
PMID: 38427633

Buri, Pascal, et al. “Land Surface Modeling Informed by Earth Observation Data: Toward Understanding Blue–Green–White Water Fluxes in High Mountain Asia.”10.1080/10095020.2024.2330546__Geo-Spatial Information Science, Taylor &; Francis, doi:10.1080/10095020.2024.2330546.
LibreCat: https://research-explorer.ista.ac.at/record/15298
DOI: 10.1080/10095020.2024.2330546

Beyer, Chad, et al. “Meta-Analysis of the Comparative Efficacy of Benzodiazepines and Antidepressants for Psychic versus Somatic Symptoms of Generalized Anxiety Disorder.”10.1016/j.comppsych.2024.152479__Comprehensive Psychiatry, vol. 132, 152479, Elsevier, doi:10.1016/j.comppsych.2024.152479.
LibreCat: https://research-explorer.ista.ac.at/record/15295
DOI: 10.1016/j.comppsych.2024.152479
PMID: 38564872

Lopushanski, Mariana, and Grigory Ivanov. “A Constructive Algorithm for Building Rectifiable Curves in Weakly Convex Sets.”10.1063/5.0195908__AIP Conference Proceedings, vol. 3030, no. 1, 080002, AIP Publishing, 2024, doi:10.1063/5.0195908.
LibreCat: https://research-explorer.ista.ac.at/record/15296
DOI: 10.1063/5.0195908

Svoboda, Jakub, et al. “Amplifiers of Selection for the Moran Process with Both Birth-Death and Death-Birth Updating.”10.1371/journal.pcbi.1012008__PLoS Computational Biology, vol. 20, no. 3, e1012008, Public Library of Science, 2024, 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, Lukas, et al. “Mechanical Forces in Plant Tissue Matrix Orient Cell Divisions via Microtubule Stabilization.”10.1016/j.devcel.2024.03.009__Dev Cell, Elsevier, 2024, pp. 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, Oluwafunmilola O. Local Adaptation, Genetic Load and Extinction in Metapopulations. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:14711.
LibreCat: https://research-explorer.ista.ac.at/record/14711
DOI: 10.15479/at:ista:14711

Sobarzo Ponce, Juan Carlos A., and Scott R. Waitukaitis. “Multiple Charge Carrier Species as a Possible Cause for Triboelectric Cycles.”10.1103/PhysRevE.109.L032108__Physical Review E, vol. 109, no. 3, L032108, American Physical Society, 2024, doi:10.1103/PhysRevE.109.L032108.
LibreCat: https://research-explorer.ista.ac.at/record/15322
DOI: 10.1103/PhysRevE.109.L032108

Bossmann, Lea, et al. “A Note on the Binding Energy for Bosons in the Mean-Field Limit.”10.1007/s10955-024-03260-5__Journal of Statistical Physics, vol. 191, no. 4, 48, Springer Nature, 2024, 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, Lorenzo, et al. “Scaling Limits of Random Walks, Harmonic Profiles, and Stationary Nonequilibrium States in Lipschitz Domains.”10.1214/23-AAP2007__Annals of Applied Probability, vol. 34, no. 2, Institute of Mathematical Statistics, 2024, pp. 1789–845, doi:10.1214/23-AAP2007.
LibreCat: https://research-explorer.ista.ac.at/record/15317
DOI: 10.1214/23-AAP2007
arXiv: 2112.14196

Vercellino, Irene, and Leonid A. Sazanov. “SCA Drives the Compositional Diversity of Mammalian Respirasomes.”10.1038/s41594-024-01255-0__Nature Structural and Molecular Biology, Springer Nature, 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

Huebbers, Jan W., et al. “Interplay of EXO70 and MLO Proteins Modulates Trichome Cell Wall Composition and Susceptibility to Powdery Mildew.”10.1093/plcell/koad319__Plant Cell, vol. 36, no. 4, Oxford University Press, 2024, pp. 1007–35, doi:10.1093/plcell/koad319.
LibreCat: https://research-explorer.ista.ac.at/record/15319
DOI: 10.1093/plcell/koad319
PMID: 38124479

Seoane Souto, Rubén, et al. “Tuning the Josephson Diode Response with an Ac Current.”10.1103/PhysRevResearch.6.L022002__Physical Review Research, vol. 6, no. 2, L022002, American Physical Society, 2024, doi:10.1103/PhysRevResearch.6.L022002.
LibreCat: https://research-explorer.ista.ac.at/record/15320
DOI: 10.1103/PhysRevResearch.6.L022002

Brückner, David, and Chase P. Broedersz. “Learning Dynamical Models of Single and Collective Cell Migration: A Review.”10.1088/1361-6633/ad36d2__Reports on Progress in Physics, vol. 87, no. 5, 056601, IOP Publishing, 2024, doi:10.1088/1361-6633/ad36d2.
LibreCat: https://research-explorer.ista.ac.at/record/15315
DOI: 10.1088/1361-6633/ad36d2

Agasthya, Lokahith N., and Caroline J. Muller. “Dynamics and Scaling of Internally Cooled Convection.”10.1016/j.cnsns.2024.108011__Communications in Nonlinear Science and Numerical Simulation, vol. 134, 108011, Elsevier, 2024, doi:10.1016/j.cnsns.2024.108011.
LibreCat: https://research-explorer.ista.ac.at/record/15313
DOI: 10.1016/j.cnsns.2024.108011
arXiv: 2311.04114

Mahato, Neelima, et al. “Polycrystalline Phases Engineered In-Situ in Polyaniline-Graphene Composite Evoluting an Exceptional Stability and High Charge Storage Capacity: An EIS Investigative Approach to Evaluate Material’s Stability.”10.1016/j.est.2024.111464__Journal of Energy Storage, vol. 88, 111464, Elsevier, 2024, doi:10.1016/j.est.2024.111464.
LibreCat: https://research-explorer.ista.ac.at/record/15314
DOI: 10.1016/j.est.2024.111464

Trinh, Giang, et al. “Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.”10.1609/aaai.v38i9.28943__Proceedings of the 38th AAAI Conference on Artificial Intelligence, vol. 38, no. 9, Association for the Advancement of Artificial Intelligence, 2024, pp. 10714–22, doi:10.1609/aaai.v38i9.28943.
LibreCat: https://research-explorer.ista.ac.at/record/15321
DOI: 10.1609/aaai.v38i9.28943

Zocher, Sara, et al. “Lifelong Persistence of Nuclear RNAs in the Mouse Brain.”10.1126/science.adf3481__Science, vol. 384, no. 6691, AAAS, 2024, pp. 53–59, doi:10.1126/science.adf3481.
LibreCat: https://research-explorer.ista.ac.at/record/15316
DOI: 10.1126/science.adf3481
PMID: 38574132

González, Miguel, and Tamás Hausel. “Hitchin Map on Even Very Stable Upward Flows.”10.1142/S0129167X2441009X__International Journal of Mathematics, 2441009, World Scientific Publishing, 2024, doi:10.1142/S0129167X2441009X.
LibreCat: https://research-explorer.ista.ac.at/record/15339
DOI: 10.1142/S0129167X2441009X
arXiv: 2303.01404

Bonolis, Dante, et al. “Density of Rational Points on Some Quadric Bundle Threefolds.”10.1007/s00208-024-02854-4__Mathematische Annalen, Springer Nature, 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

Pensabene, A., et al. “ALMA Survey of a Massive Node of the Cosmic Web at z c 3: I. Discovery of a Large Overdensity of CO Emitters.”10.1051/0004-6361/202348659__Astronomy and Astrophysics, vol. 684, 9, EDP Sciences, 2024, doi:10.1051/0004-6361/202348659.
LibreCat: https://research-explorer.ista.ac.at/record/15336
DOI: 10.1051/0004-6361/202348659
arXiv: 2401.04765

Godavarthi, Swetha K., et al. “Postsynaptic Receptors Regulate Presynaptic Transmitter Stability through Transsynaptic Bridges.”10.1073/pnas.2318041121__PNAS, vol. 121, no. 15, e2318041121, Proceedings of the National Academy of Sciences, 2024, doi:10.1073/pnas.2318041121.
LibreCat: https://research-explorer.ista.ac.at/record/15335
DOI: 10.1073/pnas.2318041121
PMID: 38568976

Abels, Helmut, et al. “Sharp Interface Limit for a Navier–Stokes/Allen–Cahn System in the Case of a Vanishing Mobility.”10.1007/s00526-024-02715-7__Calculus of Variations and Partial Differential Equations, vol. 63, no. 4, 94, Springer Nature, 2024, doi:10.1007/s00526-024-02715-7.
LibreCat: https://research-explorer.ista.ac.at/record/15334
DOI: 10.1007/s00526-024-02715-7
arXiv: 2304.12096

Browning, Timothy D., et al. “Generalised Quadratic Forms over Totally Real Number Fields.”10.1017/S1474748024000161__Journal of the Institute of Mathematics of Jussieu, Cambridge University Press, 2024, doi:10.1017/S1474748024000161.
LibreCat: https://research-explorer.ista.ac.at/record/15338
DOI: 10.1017/S1474748024000161
arXiv: 2212.11038

Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.”10.1007/s10107-024-02064-5__Mathematical Programming, Springer Nature, 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

Zeng, Zezhu, et al. “Pushing Thermal Conductivity to Its Lower Limit in Crystals with Simple Structures.”10.1038/s41467-024-46799-3__Nature Communications, vol. 15, 3007, Springer Nature, 2024, doi:10.1038/s41467-024-46799-3.
LibreCat: https://research-explorer.ista.ac.at/record/15311
DOI: 10.1038/s41467-024-46799-3
arXiv: 2310.01838

Browning, Timothy D., and Igor E. Shparlinski. “Square-Free Values of Random Polynomials.”10.1016/j.jnt.2024.02.013__Journal of Number Theory, vol. 261, Elsevier, 2024, pp. 220–40, 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

Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).”10.1007/978-3-031-57256-2_20__30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 353–358, doi:10.1007/978-3-031-57256-2_20.
LibreCat: https://research-explorer.ista.ac.at/record/15333
DOI: 10.1007/978-3-031-57256-2_20

Gnyliukh, Nataliia, et al. “Role of Dynamin-Related Proteins 2 and S in Clathrin-Mediated Endocytosis in Arabidopsis Thaliana.”10.1242/jcs.261720__Journal of Cell Science, jcs. 261720, The Company of Biologists, 2024, doi:10.1242/jcs.261720.
LibreCat: https://research-explorer.ista.ac.at/record/15330
DOI: 10.1242/jcs.261720
PMID: 38506228

Mahato, Neelima, et al. “In-Situ Engineered Highly Crystalline Polythiophene Empowered Electrochemical Capacitor-I: Synthesis, Characterization, and Electrochemical Charge Storage.”10.1016/j.matlet.2024.136483__Materials Letters, vol. 365, 136483, Elsevier, 2024, doi:10.1016/j.matlet.2024.136483.
LibreCat: https://research-explorer.ista.ac.at/record/15348
DOI: 10.1016/j.matlet.2024.136483

Rouzé, Cambyse, et al. “Quantum Talagrand, KKL and Friedgut’s Theorems and the Learnability of Quantum Boolean Functions.”10.1007/s00220-024-04981-0__Communications in Mathematical Physics, vol. 405, no. 4, 95, Springer Nature, 2024, doi:10.1007/s00220-024-04981-0.
LibreCat: https://research-explorer.ista.ac.at/record/15350
DOI: 10.1007/s00220-024-04981-0
arXiv: 2209.07279

Kolisnyk, Dmytro, et al. “Floquet Analysis of a Superradiant Many-Qutrit Refrigerator.”10.1103/PhysRevApplied.21.044050__Physical Review Applied, vol. 21, no. 4, 044050, American Physical Society, 2024, doi:10.1103/PhysRevApplied.21.044050.
LibreCat: https://research-explorer.ista.ac.at/record/15360
DOI: 10.1103/PhysRevApplied.21.044050
arXiv: 2310.18126

Jayasree, Aswathy, et al. “Protein-Protein Interactions Visualized by Bimolecular Fluorescence Complementation in Arabidopsis Thaliana Protoplasts from Leaf.”10.1007/978-1-0716-3778-4_21__Plant Functional Genomics, edited by Fatemeh Maghuly, vol. 2787, Springer Nature, 2024, pp. 305–13, doi:10.1007/978-1-0716-3778-4_21.
LibreCat: https://research-explorer.ista.ac.at/record/15361
DOI: 10.1007/978-1-0716-3778-4_21
PMID: 38656499

Andrianova, Maria A., et al. “Discovery of Recessive Effect of Human Polymerase ;4 Proofreading Deficiency through Mutational Analysis of POL-Mutated Normal and Cancer Cells.”10.1038/s41431-024-01598-8__European Journal of Human Genetics, Springer Nature, 2024, doi:10.1038/s41431-024-01598-8.
LibreCat: https://research-explorer.ista.ac.at/record/15362
DOI: 10.1038/s41431-024-01598-8
PMID: 38658779

Babkin, Serafim, et al. “Proximity-Induced Gapless Superconductivity in Two-Dimensional Rashba Semiconductor in Magnetic Field.”10.21468/scipostphys.16.5.115__SciPost Physics, vol. 16, no. 5, 115, SciPost Foundation, 2024, doi:10.21468/scipostphys.16.5.115.
LibreCat: https://research-explorer.ista.ac.at/record/15367
DOI: 10.21468/scipostphys.16.5.115
arXiv: 2311.09347

Chen, JingJing. Developmental Transformation of Nanodomain Coupling between C+ Channels and Release Sensors at a Central GABAergic Synapse. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15101.
LibreCat: https://research-explorer.ista.ac.at/record/15101
DOI: 10.15479/at:ista:15101

Chen, JingJing, et al. “Developmental Transformation of C+ Channel-Vesicle Nanotopography at a Central GABAergic Synapse.”10.1016/j.neuron.2023.12.002__Neuron, Elsevier, 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

Hannezo, Edouard B., and Colinda L. G. J. Scheele. “A Guide Toward Multi-Scale and Quantitative Branching Analysis in the Mammary Gland.”10.1007/978-1-0716-2887-4_12__Cell Migration in Three Dimensions, edited by Coert Margadant, vol. 2608, Springer Nature, 2023, pp. 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, Areg, et al. “Dissipative Dynamics of an Impurity with Spin-Orbit Coupling.”10.1103/physrevresearch.5.013029__Physical Review Research, vol. 5, no. 1, 013029, American Physical Society, 2023, doi:10.1103/physrevresearch.5.013029.
LibreCat: https://research-explorer.ista.ac.at/record/12534
DOI: 10.1103/physrevresearch.5.013029

Zeller, Peter, et al. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.”10.1038/s41588-022-01260-3__Nature Genetics, vol. 55, Springer Nature, 2023, pp. 333–45, doi:10.1038/s41588-022-01260-3.
LibreCat: https://research-explorer.ista.ac.at/record/12158
DOI: 10.1038/s41588-022-01260-3

Chatterjee, Krishnendu, et al. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.”10.1137/1.9781611977554.ch173__Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–605, doi:10.1137/1.9781611977554.ch173.
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 10.1137/1.9781611977554.ch173

Arroyo-Urea, Sandra, et al. “Molecular Cloning Using In Vivo DNA Assembly.”10.1007/978-1-0716-3004-4_3__DNA Manipulation and Analysis, edited by Garry Scarlett, vol. 2633, Springer Nature, 2023, pp. 33–44, doi:10.1007/978-1-0716-3004-4_3.
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

Koval, Nikita, et al. “Fast and Scalable Channels in Kotlin Coroutines.”10.1145/3572848.3577481__Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–18, doi:10.1145/3572848.3577481.
LibreCat: https://research-explorer.ista.ac.at/record/12735
DOI: 10.1145/3572848.3577481
arXiv: 2211.04986

Aksenov, Vitaly, et al. “Unexpected Scaling in Path Copying Trees.”10.1145/3572848.3577512__Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 438–40, doi:10.1145/3572848.3577512.
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

Henzinger, Monika H., et al. “Dynamic Maintenance of Monotone Dynamic Programs and Applications.”10.4230/LIPIcs.STACS.2023.36__40th International Symposium on Theoretical Aspects of Computer Science, vol. 254, 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.STACS.2023.36.
LibreCat: https://research-explorer.ista.ac.at/record/12760
DOI: 10.4230/LIPIcs.STACS.2023.36
arXiv: 2301.01744

Burnett, Laura. 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, doi:10.15479/at:ista:12716.
LibreCat: https://research-explorer.ista.ac.at/record/12716
DOI: 10.15479/at:ista:12716

Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.”10.1007/978-3-031-30820-8_32__Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, 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

Chern, Albert, and Sadashige Ishida. “Area Formula for Spherical Polygons via Prequantization.”10.48550/arXiv.2303.14555__ArXiv, 2303.14555, doi:10.48550/arXiv.2303.14555.
LibreCat: https://research-explorer.ista.ac.at/record/12846
DOI: 10.48550/arXiv.2303.14555
arXiv: 2303.14555

Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.”10.1007/978-3-031-30826-0_15__Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, 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, Marek, et al. 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

Currin, Christopher, and Chad Beyer. “Altered Childhood Brain Development in Autism and Epilepsy.”10.1016/b978-0-12-818872-9.00129-1__Encyclopedia of Child and Adolescent Health, edited by Bonnie Halpern-Felsher, 1st ed., Elsevier, 2023, pp. 86–98, doi:10.1016/b978-0-12-818872-9.00129-1.
LibreCat: https://research-explorer.ista.ac.at/record/12866
DOI: 10.1016/b978-0-12-818872-9.00129-1

Zhao, Long, et al. “Dynamic Chromatin Regulatory Programs during Embryogenesis of Hexaploid Wheat.”10.1186/s13059-022-02844-2__Genome Biology, vol. 24, 7, Springer Nature, 2023, doi:10.1186/s13059-022-02844-2.
LibreCat: https://research-explorer.ista.ac.at/record/12668
DOI: 10.1186/s13059-022-02844-2
PMID: 36639687

Traxler, Michael, et al. “Programmable Photocatalytic Activity of Multicomponent Covalent Organic Frameworks Used as Metallaphotocatalysts.”10.1002/chem.202202967__Chemistry – A European Journal, vol. 29, no. 4, e202202967, Wiley, 2023, doi:10.1002/chem.202202967.
LibreCat: https://research-explorer.ista.ac.at/record/12920
DOI: 10.1002/chem.202202967

Madani, Amiera, and Bartholomäus Pieber. “In Situ Reaction Monitoring in Photocatalytic Organic Synthesis.”10.1002/cctc.202201583__ChemCatChem, vol. 15, no. 7, e202201583, Wiley, 2023, doi:10.1002/cctc.202201583.
LibreCat: https://research-explorer.ista.ac.at/record/12921
DOI: 10.1002/cctc.202201583

Murakami, Sho, et al. “Photocatalytic Cleavage of Trityl Protected Thiols and Alcohols.”10.1055/a-1979-5933__Synthesis, vol. 55, no. 09, Georg Thieme Verlag, 2023, pp. 1367–74, doi:10.1055/a-1979-5933.
LibreCat: https://research-explorer.ista.ac.at/record/12919
DOI: 10.1055/a-1979-5933

Lieutier, André, and Mathijs Wintraecken. “Hausdorff and Gromov-Hausdorff Stable Subsets of the Medial Axis.”10.1145/3564246.3585113__Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–76, doi:10.1145/3564246.3585113.
LibreCat: https://research-explorer.ista.ac.at/record/13048
DOI: 10.1145/3564246.3585113
arXiv: 2303.04014

Peste, Elena-Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” 11th International Conference on Learning Representations .
LibreCat: https://research-explorer.ista.ac.at/record/13053
arXiv: 2207.14200

Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.”10.1007/978-3-031-31368-4_19__Public-Key Cryptography - PKC 2023, vol. 13940, Springer Nature, 2023, pp. 530–53, 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, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.”10.1007/978-3-031-30823-9_1__Tools and Algorithms for the Construction and Analysis of Systems , vol. 13993, Springer Nature, 2023, pp. 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

Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.”10.1007/978-3-031-30820-8_15__TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 211–28, doi:10.1007/978-3-031-30820-8_15.
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

Pokusaeva, Victoria. Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12826.
LibreCat: https://research-explorer.ista.ac.at/record/12826
DOI: 10.15479/at:ista:12826

Edelsbrunner, Herbert, and Georg F. Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.”10.1007/s00453-022-01027-6__Algorithmica, vol. 85, Springer Nature, 2023, pp. 277–95, 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

Dello Schiavo, Lorenzo, and Melchior Wirth. “Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms.”10.1007/s00028-022-00859-7__Journal of Evolution Equations, vol. 23, no. 1, 9, Springer Nature, 2023, doi:10.1007/s00028-022-00859-7.
LibreCat: https://research-explorer.ista.ac.at/record/12104
DOI: 10.1007/s00028-022-00859-7
WoS: 000906214600004

GOSWAMI, BIDYUT B. “Role of the Eastern Equatorial Indian Ocean Warming in the Indian Summer Monsoon Rainfall Trend.”10.1007/s00382-022-06337-7__Climate Dynamics, vol. 60, Springer Nature, 2023, pp. 427–42, doi:10.1007/s00382-022-06337-7.
LibreCat: https://research-explorer.ista.ac.at/record/11434
DOI: 10.1007/s00382-022-06337-7
WoS: 000803119400002

Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.”10.1007/978-3-031-30829-1_17__26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, 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, Nikita, et al. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.”10.1145/3591230__Proceedings of the ACM on Programming Languages, vol. 7, 116, Association for Computing Machinery , 2023, doi:10.1145/3591230.
LibreCat: https://research-explorer.ista.ac.at/record/13179
DOI: 10.1145/3591230

Browning, Timothy D., et al. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.”10.2140/involve.2023.16.331__Involve, vol. 16, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–42, 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, Stefano, et al. “Cryo-EM Software Packages: A Sys-Admins Point of View.” ASHP - Austrian-Slovenian HPC Meeting 2023, EuroCC, pp. 42–42.
LibreCat: https://research-explorer.ista.ac.at/record/13162

Schlögl, Alois, et al. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” ASHP - Austrian-Slovenian HPC Meeting 2023, EuroCC, pp. 59–59.
LibreCat: https://research-explorer.ista.ac.at/record/13161

Wei, Yujing, et al. “Bond Polarizability as a Probe of Local Crystal Fields in Hybrid Lead-Halide Perovskites.”10.1021/acs.jpclett.3c01158__The Journal of Physical Chemistry Letters, vol. 14, no. 27, American Chemical Society, 2023, pp. 6309–14, 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, Thomas A., et al. “Regular Methods for Operator Precedence Languages.”10.4230/LIPIcs.ICALP.2023.129__50th International Colloquium on Automata, Languages, and Programming, vol. 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 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, Gennaro, et al. “Stochastic Representation of the Quantum Quartic Oscillator.”10.21468/scipostphyscore.6.2.029__SciPost Physics Core, vol. 6, no. 2, 029, SciPost Foundation, 2023, 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, Lukas, et al. “A Modular Implementation of an Effective Interaction Approach for Harmonically Trapped Fermions in 1D.”10.21468/scipostphyscodeb.12__SciPost Physics Codebases, 12, SciPost Foundation, 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, Lukas, et al. Codebase Release 1.0 for FermiFCI. SciPost Foundation, 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, Aurélien, et al. “Ten Years of Demographic Modelling of Divergence and Speciation in the Sea.”10.1111/eva.13428__Evolutionary Applications, vol. 16, no. 2, Wiley, 2023, pp. 542–59, doi:10.1111/eva.13428.
LibreCat: https://research-explorer.ista.ac.at/record/11479
DOI: 10.1111/eva.13428
WoS: 000815663700001

Gómez, Arturo, and Goncalo Oliveira. “New Approaches to Epidemic Modeling on Networks.”10.1038/s41598-022-19827-9__Scientific Reports, vol. 13, 468, Springer Nature, 2023, doi:10.1038/s41598-022-19827-9.
LibreCat: https://research-explorer.ista.ac.at/record/12329
DOI: 10.1038/s41598-022-19827-9
WoS: 001003345000051

Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.”10.1093/imrn/rnac048__International Mathematics Research Notices, vol. 2023, no. 8, Oxford Academic, 2023, pp. 6780–808, doi:10.1093/imrn/rnac048.
LibreCat: https://research-explorer.ista.ac.at/record/9034
DOI: 10.1093/imrn/rnac048
WoS: 000773116000001
arXiv: 1901.08503

Viljakainen, Lumi, et al. “Antiviral Immune Response Reveals Host-Specific Virus Infections in Natural Ant Populations.”10.3389/fmicb.2023.1119002__Frontiers in Microbiology, vol. 14, 1119002, Frontiers, 2023, 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, Jean-Daniel, et al. “Local Criteria for Triangulating General Manifolds.”10.1007/s00454-022-00431-7__Discrete &; Computational Geometry, vol. 69, Springer Nature, 2023, pp. 156–91, 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, Björn. “Directed Percolation and the Transition to Turbulence.”10.1038/s42254-022-00539-y__Nature Reviews Physics, vol. 5, Springer Nature, 2023, pp. 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, Florian, et al. “Deciphering the Molecular Mechanisms of Actin Cytoskeleton Regulation in Cell Migration Using Cryo-EM.”10.1042/bst20220221__Biochemical Society Transactions, vol. 51, no. 1, Portland Press, 2023, pp. 87–99, doi:10.1042/bst20220221.
LibreCat: https://research-explorer.ista.ac.at/record/12421
DOI: 10.1042/bst20220221
WoS: 000926043100001

Marensi, Elena, et al. “Symmetry-Reduced Dynamic Mode Decomposition of near-Wall Turbulence.”10.1017/jfm.2022.1001__Journal of Fluid Mechanics, vol. 954, , Cambridge University Press, 2023, 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

Bolnick, Daniel I., et al. “A Multivariate View of the Speciation Continuum.”10.1093/evolut/qpac004__Evolution: International Journal of Organic Evolution, vol. 77, no. 1, Oxford University Press, 2023, pp. 318–28, doi:10.1093/evolut/qpac004.
LibreCat: https://research-explorer.ista.ac.at/record/12514
DOI: 10.1093/evolut/qpac004
WoS: 001021686300024
PMID: 36622661

Forghani, Mohammad, et al. “Visual Analytics of Mobility Network Changes Observed Using Mobile Phone Data during COVID-19 Pandemic.”10.1109/icdmw58026.2022.00093__2022 IEEE International Conference on Data Mining Workshops, 00093, Institute of Electrical and Electronics Engineers, 2023, doi:10.1109/icdmw58026.2022.00093.
LibreCat: https://research-explorer.ista.ac.at/record/12548
DOI: 10.1109/icdmw58026.2022.00093
WoS: 000971492200145

Krokhin, Andrei, et al. “Topology and Adjunction in Promise Constraint Satisfaction.”10.1137/20m1378223__SIAM Journal on Computing, vol. 52, no. 1, Society for Industrial &; Applied Mathematics, 2023, pp. 38–79, doi:10.1137/20m1378223.
LibreCat: https://research-explorer.ista.ac.at/record/12563
DOI: 10.1137/20m1378223
WoS: 000955000000001
arXiv: 2003.11351

Rojas Vega, Mauricio Nicolas, et al. “Wetting Dynamics by Mixtures of Fast and Slow Self-Propelled Particles.”10.1103/PhysRevE.107.014608__Physical Review E, vol. 107, no. 1, 014608, American Physical Society, 2023, doi:10.1103/PhysRevE.107.014608.
LibreCat: https://research-explorer.ista.ac.at/record/12545
DOI: 10.1103/PhysRevE.107.014608
WoS: 000963909800006
arXiv: 2301.01856

Balestrieri, Francesca. “Some Remarks on Strong Approximation and Applications to Homogeneous Spaces of Linear Algebraic Groups.”10.1090/proc/15239__Proceedings of the American Mathematical Society, vol. 151, no. 3, American Mathematical Society, 2023, pp. 907–14, doi:10.1090/proc/15239.
LibreCat: https://research-explorer.ista.ac.at/record/12427
DOI: 10.1090/proc/15239
WoS: 000898440000001

Villalba Requena, Ana, and Simon Hippenmeyer. “Going Back in Time with TEMPO.”10.1016/j.neuron.2023.01.006__Neuron, vol. 111, no. 3, Elsevier, 2023, pp. 291–93, doi:10.1016/j.neuron.2023.01.006.
LibreCat: https://research-explorer.ista.ac.at/record/12542
DOI: 10.1016/j.neuron.2023.01.006
WoS: 000994473300001

Mrestani, Achmed, et al. “Single-Molecule Localization Microscopy of Presynaptic Active Zones in Drosophila Melanogaster after Rapid Cryofixation.”10.3390/ijms24032128__International Journal of Molecular Sciences, vol. 24, no. 3, 2128, MDPI, 2023, doi:10.3390/ijms24032128.
LibreCat: https://research-explorer.ista.ac.at/record/12567
DOI: 10.3390/ijms24032128
WoS: 000930324700001

Alistarh, Dan-Adrian, et al. “Wait-Free Approximate Agreement on Graphs.”10.1016/j.tcs.2023.113733__Theoretical Computer Science, vol. 948, no. 2, 113733, Elsevier, 2023, doi:10.1016/j.tcs.2023.113733.
LibreCat: https://research-explorer.ista.ac.at/record/12566
DOI: 10.1016/j.tcs.2023.113733
WoS: 000934262700001

Dubief, Yves, et al. “Elasto-Inertial Turbulence.”10.1146/annurev-fluid-032822-025933__Annual Review of Fluid Mechanics, vol. 55, no. 1, Annual Reviews, 2023, pp. 675–705, doi:10.1146/annurev-fluid-032822-025933.
LibreCat: https://research-explorer.ista.ac.at/record/12681
DOI: 10.1146/annurev-fluid-032822-025933
WoS: 000915418100026

Avila, Marc, et al. “Transition to Turbulence in Pipe Flow.”10.1146/annurev-fluid-120720-025957__Annual Review of Fluid Mechanics, vol. 55, Annual Reviews, 2023, pp. 575–602, doi:10.1146/annurev-fluid-120720-025957.
LibreCat: https://research-explorer.ista.ac.at/record/12682
DOI: 10.1146/annurev-fluid-120720-025957
WoS: 000915418100023