Hledik, Michal. Genetic Information and Biological Optimization. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15020.
LibreCat: https://research-explorer.ista.ac.at/record/15020
DOI: 10.15479/at:ista:15020

Cultrera di Montesano, Sebastiano. Persistence and Morse Theory for Discrete Geometric Structures. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15094.
LibreCat: https://research-explorer.ista.ac.at/record/15094
DOI: 10.15479/at:ista:15094

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

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

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

Murmann, Julie Stefanie. Investigating Acute Microglia Response to Seizure Activity in Vivo: Combining 2-Photon Imaging and EEG Recording. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15352.
LibreCat: https://research-explorer.ista.ac.at/record/15352
DOI: 10.15479/at:ista:15352

Finegar, Jernej Rudi, et al. “Quantum-Informed Recursive Optimization Algorithms.”10.1103/PRXQuantum.5.020327__PRX Quantum, vol. 5, no. 2, 020327, American Physical Society, 2024, doi:10.1103/PRXQuantum.5.020327.
LibreCat: https://research-explorer.ista.ac.at/record/15407
DOI: 10.1103/PRXQuantum.5.020327
arXiv: 2308.13607

Dubach, Guillaume, and Jana Reker. “Dynamics of a Rank-One Multiplicative Perturbation of a Unitary Matrix.”10.1142/s2010326324500072__Random Matrices: Theory and Applications, World Scientific Publishing, 2024, doi:10.1142/s2010326324500072.
LibreCat: https://research-explorer.ista.ac.at/record/17047
DOI: 10.1142/s2010326324500072
arXiv: 2212.14638

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

Attia, Luc, et al. “Marginal Values of a Stochastic Game.”10.1287/moor.2023.0297__Mathematics of Operations Research, Institute for Operations Research and the Management Sciences, 2024, doi:10.1287/moor.2023.0297.
LibreCat: https://research-explorer.ista.ac.at/record/17037
DOI: 10.1287/moor.2023.0297

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

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

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

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

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

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

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

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

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

Volosniev, Artem, et al. “Spin-Electric Coupling in Lead Halide Perovskites.”10.1103/physrevlett.130.106901__Physical Review Letters, vol. 130, no. 10, 106901, American Physical Society, 2023, doi:10.1103/physrevlett.130.106901.
LibreCat: https://research-explorer.ista.ac.at/record/12723
DOI: 10.1103/physrevlett.130.106901
WoS: 000982435900002
arXiv: 2203.09443

Volosniev, Artem, et al. “Effective Model for Studying Optical Properties of Lead Halide Perovskites.”10.1103/physrevb.107.125201__Physical Review B, vol. 107, no. 12, 125201, American Physical Society, 2023, doi:10.1103/physrevb.107.125201.
LibreCat: https://research-explorer.ista.ac.at/record/12724
DOI: 10.1103/physrevb.107.125201
WoS: 000972602200006
arXiv: 2204.04022

Vetrova, Alexandra A., et al. “The Evolutionary History of Brachyury Genes in Hydrozoa Involves Duplications, Divergence, and Neofunctionalization.”10.1038/s41598-023-35979-8__Scientific Reports, vol. 13, 9382, Springer Nature, 2023, doi:10.1038/s41598-023-35979-8.
LibreCat: https://research-explorer.ista.ac.at/record/13166
DOI: 10.1038/s41598-023-35979-8
WoS: 001006690200045
PMID: 37296138

Orlov, Pavel, et al. “Adiabatic Eigenstate Deformations and Weak Integrability Breaking of Heisenberg Chain.”10.1103/PhysRevB.107.184312__Physical Review B, vol. 107, no. 18, 184312, American Physical Society, 2023, doi:10.1103/PhysRevB.107.184312.
LibreCat: https://research-explorer.ista.ac.at/record/13138
DOI: 10.1103/PhysRevB.107.184312
WoS: 001003686900004
arXiv: 2303.00729

Peste, Elena-Alexandra. Efficiency and Generalization of Sparse Neural Networks. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13074.
LibreCat: https://research-explorer.ista.ac.at/record/13074
DOI: 10.15479/at:ista:13074

Mrnjavac, Andrea, et al. “Slower-X: Reduced Efficiency of Selection in the Early Stages of X Chromosome Evolution.”10.1093/evlett/qrac004__Evolution Letters, vol. 7, no. 1, qr, Oxford University Press, 2023, doi:10.1093/evlett/qrac004.
LibreCat: https://research-explorer.ista.ac.at/record/12521
DOI: 10.1093/evlett/qrac004
WoS: 001021692200001
PMID: 37065438

Lombardi, Fabrizio, et al. “Statistical Modeling of Adaptive Neural Networks Explains Co-Existence of Avalanches and Oscillations in Resting Human Brain.”10.1038/s43588-023-00410-9__Nature Computational Science, vol. 3, Springer Nature, 2023, pp. 254–63, doi:10.1038/s43588-023-00410-9.
LibreCat: https://research-explorer.ista.ac.at/record/12762
DOI: 10.1038/s43588-023-00410-9
arXiv: 2108.06686

Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13175.
LibreCat: https://research-explorer.ista.ac.at/record/13175
DOI: 10.15479/at:ista:13175

Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12900.
LibreCat: https://research-explorer.ista.ac.at/record/12900
DOI: 10.15479/at:ista:12900

Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.”10.1007/978-3-031-37703-7_17__Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:10.1007/978-3-031-37703-7_17.
LibreCat: https://research-explorer.ista.ac.at/record/13310
DOI: 10.1007/978-3-031-37703-7_17
arXiv: 2305.15979

Gamper, Jakob, et al. “Accessing Position Space Wave Functions in Band Structure Calculations of Periodic Systems - a Generalized, Adapted Numerov Implementation for One-, Two-, and Three-Dimensional Quantum Problems.”10.1021/acs.jpclett.3c01707__Journal of Physical Chemistry Letters, vol. 14, no. 33, American Chemical Society, 2023, pp. 7395–403, doi:10.1021/acs.jpclett.3c01707.
LibreCat: https://research-explorer.ista.ac.at/record/14261
DOI: 10.1021/acs.jpclett.3c01707
WoS: 001048165800001
PMID: 37566743

Brighi, Pietro. Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12732.
LibreCat: https://research-explorer.ista.ac.at/record/12732
DOI: 10.15479/at:ista:12732

Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.”10.4230/LIPIcs.ITP.2023.15__14th International Conference on Interactive Theorem Proving, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ITP.2023.15.
LibreCat: https://research-explorer.ista.ac.at/record/13120
DOI: 10.4230/LIPIcs.ITP.2023.15
arXiv: 2302.06420

Gupta, Divyansh, et al. “Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields.”10.1038/s41593-023-01280-0__Nature Neuroscience, vol. 26, Springer Nature, 2023, pp. 606–14, doi:10.1038/s41593-023-01280-0.
LibreCat: https://research-explorer.ista.ac.at/record/12349
DOI: 10.1038/s41593-023-01280-0
WoS: 000955258300002
PMID: 36959418

Gupta, Divyansh, et al. Research Data for: Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12370.
LibreCat: https://research-explorer.ista.ac.at/record/12370
DOI: 10.15479/AT:ISTA:12370

Köse, Seyda. Exterior Algebra and Combinatorics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13331.
LibreCat: https://research-explorer.ista.ac.at/record/13331
DOI: 10.15479/at:ista:13331

Ivanov, Grigory, and Seyda Köse. “Erds-Ko-Rado and Hilton-Milner Theorems for Two-Forms.”10.1016/j.disc.2023.113363__Discrete Mathematics, vol. 346, no. 6, 113363, Elsevier, 2023, doi:10.1016/j.disc.2023.113363.
LibreCat: https://research-explorer.ista.ac.at/record/12680
DOI: 10.1016/j.disc.2023.113363
arXiv: 2201.10892

Boker, Udi, et al. “Safety and Liveness of Quantitative Automata.”10.4230/LIPIcs.CONCUR.2023.17__34th International Conference on Concurrency Theory, vol. 279, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.CONCUR.2023.17.
LibreCat: https://research-explorer.ista.ac.at/record/13221
DOI: 10.4230/LIPIcs.CONCUR.2023.17
arXiv: 2307.06016

Diao, Yijie. “Density of the Union of Positive Diagonal Binary Quadratic Forms.”10.4064/aa210830-24-11__Acta Arithmetica, vol. 207, Instytut Matematyczny, 2023, pp. 1–17, doi:10.4064/aa210830-24-11.
LibreCat: https://research-explorer.ista.ac.at/record/12406
DOI: 10.4064/aa210830-24-11
WoS: 000912903000001
arXiv: 2103.08268

Confavreux, Basile J. Synapseek: Meta-Learning Synaptic Plasticity Rules. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14422.
LibreCat: https://research-explorer.ista.ac.at/record/14422
DOI: 10.15479/at:ista:14422

Roos, Barbara. Boundary Superconductivity in BCS Theory. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14374.
LibreCat: https://research-explorer.ista.ac.at/record/14374
DOI: 10.15479/at:ista:14374

Hainzl, Christian, et al. “Boundary Superconductivity in the BCS Model.”10.4171/JST/439__Journal of Spectral Theory, vol. 12, no. 4, EMS Press, 2023, pp. 1507–1540, doi:10.4171/JST/439.
LibreCat: https://research-explorer.ista.ac.at/record/13207
DOI: 10.4171/JST/439
WoS: 000997933500008
arXiv: 2201.08090

Aksenov, Vitaly, et al. “Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures.”10.4230/LIPIcs.DISC.2023.35__37th International Symposium on Distributed Computing, vol. 281, 35, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.DISC.2023.35.
LibreCat: https://research-explorer.ista.ac.at/record/14485
DOI: 10.4230/LIPIcs.DISC.2023.35

Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. Research Data for: A Stochastic Cellular Automaton Model of Culture Formation. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12869.
LibreCat: https://research-explorer.ista.ac.at/record/12869
DOI: 10.15479/AT:ISTA:12869

Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. “Stochastic Cellular Automaton Model of Culture Formation.”10.1103/PhysRevE.108.054307__Physical Review E, vol. 108, no. 5, 054307, American Physical Society, 2023, doi:10.1103/PhysRevE.108.054307.
LibreCat: https://research-explorer.ista.ac.at/record/12890
DOI: 10.1103/PhysRevE.108.054307
arXiv: 2305.02153

Kaiyrzhanov, Rauan, et al. “Bi-Allelic ACB Variants Lead to a Neurodevelopmental Syndrome with Progressive and Complex Movement Disorders.”10.1093/brain/awad380__Brain, awad380, Oxford University Press, 2023, doi:10.1093/brain/awad380.
LibreCat: https://research-explorer.ista.ac.at/record/14543
DOI: 10.1093/brain/awad380

Henheik, Sven Joscha, et al. “Universality in Low-Dimensional BCS Theory.”10.1142/s0129055x2360005x__Reviews in Mathematical Physics, 2360005, World Scientific Publishing, 2023, doi:10.1142/s0129055x2360005x.
LibreCat: https://research-explorer.ista.ac.at/record/14542
DOI: 10.1142/s0129055x2360005x
arXiv: 2301.05621

Yeo, Michelle X. Advances in Efficiency and Privacy in Payment Channel Network Analysis. Institute of Science and Technology Austria, 2023, doi:10.15479/14506.
LibreCat: https://research-explorer.ista.ac.at/record/14506
DOI: 10.15479/14506

Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12726.
LibreCat: https://research-explorer.ista.ac.at/record/12726
DOI: 10.15479/at:ista:12726

Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 2023, doi:10.15479/14530.
LibreCat: https://research-explorer.ista.ac.at/record/14530
DOI: 10.15479/14530

Phan, Duc T. Resonant Microwave Spectroscopy of Al-InAs. Institute of Science and Technology Austria, 2023, doi:10.15479/14547.
LibreCat: https://research-explorer.ista.ac.at/record/14547
DOI: 10.15479/14547

Makatura, Liane, et al. “Procedural Metamaterials: A Unified Procedural Graph for Metamaterial Design.”10.1145/3605389__ACM Transactions on Graphics, vol. 42, no. 5, 168, Association for Computing Machinery, 2023, doi:10.1145/3605389.
LibreCat: https://research-explorer.ista.ac.at/record/14628
DOI: 10.1145/3605389

Kluibenschedl, Florian, et al. “Advanced Motion Tracking for Interactive Mass Spectrometry Imaging (IMSI).”10.1016/j.ijms.2023.117168__International Journal of Mass Spectrometry, vol. 495, 117168, Elsevier, 2023, doi:10.1016/j.ijms.2023.117168.
LibreCat: https://research-explorer.ista.ac.at/record/14653
DOI: 10.1016/j.ijms.2023.117168

Paranjape, Chaitanya S., et al. “Direct Path from Turbulence to Time-Periodic Solutions.”10.1103/physrevlett.131.034002__Physical Review Letters, vol. 131, no. 3, 034002, American Physical Society, 2023, doi:10.1103/physrevlett.131.034002.
LibreCat: https://research-explorer.ista.ac.at/record/13274
DOI: 10.1103/physrevlett.131.034002
WoS: 001052929900004
arXiv: 2306.05098

Puixeu Sala, Gemma. The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14058.
LibreCat: https://research-explorer.ista.ac.at/record/14058
DOI: 10.15479/at:ista:14058

Puixeu Sala, Gemma, et al. “Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.”10.1093/g3journal/jkad121__: Genes, Genomes, Genetics, vol. 13, no. 8, Oxford University Press, 2023, doi:10.1093/g3journal/jkad121.
LibreCat: https://research-explorer.ista.ac.at/record/14077
DOI: 10.1093/g3journal/jkad121
WoS: 001002997200001

Puixeu Sala, Gemma. Data from: Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12933.
LibreCat: https://research-explorer.ista.ac.at/record/12933
DOI: 10.15479/AT:ISTA:12933

Cipolloni, Giorgio, et al. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.”10.1017/fms.2023.70__Forum of Mathematics, Sigma, vol. 11, e74, Cambridge University Press, 2023, doi:10.1017/fms.2023.70.
LibreCat: https://research-explorer.ista.ac.at/record/14343
DOI: 10.1017/fms.2023.70
WoS: 001051980200001
arXiv: 2301.05181

Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles at a Point Source.”10.1088/1751-8121/acfe62__Journal of Physics A: Mathematical and Theoretical, vol. 56, no. 44, 445201, IOP Publishing, 2023, doi:10.1088/1751-8121/acfe62.
LibreCat: https://research-explorer.ista.ac.at/record/14421
DOI: 10.1088/1751-8121/acfe62
WoS: 001080908000001
arXiv: 2211.16606

Zeng, Zezhu, et al. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.”10.1038/s41467-023-41865-8__Nature Communications, vol. 14, 6131, Springer Nature, 2023, doi:10.1038/s41467-023-41865-8.
LibreCat: https://research-explorer.ista.ac.at/record/14425
DOI: 10.1038/s41467-023-41865-8
WoS: 001084354900008
PMID: 37783698
arXiv: 2303.07433

Sack, Stefan. Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14622.
LibreCat: https://research-explorer.ista.ac.at/record/14622
DOI: 10.15479/at:ista:14622

Stopp, Julian A. Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14697.
LibreCat: https://research-explorer.ista.ac.at/record/14697
DOI: 10.15479/at:ista:14697

Arathoon, Louise S. Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14651.
LibreCat: https://research-explorer.ista.ac.at/record/14651
DOI: 10.15479/at:ista:14651

Ishida, Sadashige, and Hugo Lavenant. “Quantitative Convergence of a Discretization of Dynamic Optimal Transport Using the Dual Formulation.”10.48550/arXiv.2312.12213__ArXiv, 2312.12213, doi:10.48550/arXiv.2312.12213.
LibreCat: https://research-explorer.ista.ac.at/record/14703
DOI: 10.48550/arXiv.2312.12213
arXiv: 2312.12213

Stefo, Christos, et al. “Executing and Proving over Dirty Ledgers.”10.1007/978-3-031-47754-6_1__27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 3–20, doi:10.1007/978-3-031-47754-6_1.
LibreCat: https://research-explorer.ista.ac.at/record/14735
DOI: 10.1007/978-3-031-47754-6_1

Zikelic, Dorde. Automated Verification and Control of Infinite State Stochastic Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/14539.
LibreCat: https://research-explorer.ista.ac.at/record/14539
DOI: 10.15479/14539

Polesello, Andrea, et al. “Intensification Mechanisms of Tropical Cyclones.”10.5194/egusphere-egu23-6157__EGU General Assembly 2023, EG-6157, European Geosciences Union, 2023, doi:10.5194/egusphere-egu23-6157.
LibreCat: https://research-explorer.ista.ac.at/record/14863
DOI: 10.5194/egusphere-egu23-6157

Freire, Marco, et al. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.”10.1145/3592411__Transactions on Graphics, vol. 42, no. 4, 142, Association for Computing Machinery, 2023, doi:10.1145/3592411.
LibreCat: https://research-explorer.ista.ac.at/record/13049
DOI: 10.1145/3592411
WoS: 001044671300108

Mukhopadhyay, Soham, et al. “Superconductivity from a Melted Insulator in Josephson Junction Arrays.”10.1038/s41567-023-02161-w__Nature Physics, vol. 19, Springer Nature, 2023, pp. 1630–35, doi:10.1038/s41567-023-02161-w.
LibreCat: https://research-explorer.ista.ac.at/record/14032
DOI: 10.1038/s41567-023-02161-w
WoS: 001054563800006

Mohammadi, Ali, et al. “An Energy Decomposition Theorem for Matrices and Related Questions.”10.4153/S000843952300036X__Canadian Mathematical Bulletin, vol. 66, no. 4, Cambridge University Press, 2023, pp. 1280–95, doi:10.4153/S000843952300036X.
LibreCat: https://research-explorer.ista.ac.at/record/13128
DOI: 10.4153/S000843952300036X
WoS: 001011963000001
arXiv: 2106.07328

Rønning, Jonas, et al. “Spontaneous Flows and Dynamics of Full-Integer Topological Defects in Polar Active Matter.”10.1039/d3sm00316g__Soft Matter, vol. 39, Royal Society of Chemistry, 2023, pp. 7513–27, doi:10.1039/d3sm00316g.
LibreCat: https://research-explorer.ista.ac.at/record/14087
DOI: 10.1039/d3sm00316g
WoS: 001035766100001
arXiv: 2303.07063

Bombari, Simone, et al. “Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels.” Proceedings of the 40th International Conference on Machine Learning, vol. 202, ML Research Press, 2023, pp. 2738–76.
LibreCat: https://research-explorer.ista.ac.at/record/12859
arXiv: 2302.01629

Knaus, Lisa. The Metabolism of the Developing Brainf: How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13107.
LibreCat: https://research-explorer.ista.ac.at/record/13107
DOI: 10.15479/at:ista:13107

Marensi, Elena, et al. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.”10.1017/jfm.2023.780__Journal of Fluid Mechanics, vol. 974, , Cambridge University Press, 2023, doi:10.1017/jfm.2023.780.
LibreCat: https://research-explorer.ista.ac.at/record/14466
DOI: 10.1017/jfm.2023.780
WoS: 001088363700001
arXiv: 2212.12406

Jethwa, Rajesh B., et al. “To DISP or Not? The Farreaching Reaction Mechanisms Underpinning Lithiumair Batteries.”10.1002/anie.202316476__Angewandte Chemie International Edition, e202316476, Wiley, 2023, doi:10.1002/anie.202316476.
LibreCat: https://research-explorer.ista.ac.at/record/14687
DOI: 10.1002/anie.202316476

Becker, Lea Marie, et al. “The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by MagicAngle Spinning NMR of Aromatic Residues.”10.1002/anie.202219314__Angewandte Chemie International Edition, vol. 62, no. 19, e202219314, Wiley, 2023, doi:10.1002/anie.202219314.
LibreCat: https://research-explorer.ista.ac.at/record/12675
DOI: 10.1002/anie.202219314
WoS: 000956919900001
PMID: 36738230

Becker, Lea Marie, and Paul Schanda. Research Data to: The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic-Angle-Spinning NMR Spectroscopy of Aromatic Residues. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12497.
LibreCat: https://research-explorer.ista.ac.at/record/12497
DOI: 10.15479/AT:ISTA:12497

Dunajova, Zuzana, et al. “Chiral and Nematic Phases of Flexible Active Filaments.”10.1038/s41567-023-02218-w__Nature Physics, vol. 19, Springer Nature, 2023, pp. 1916–26, doi:10.1038/s41567-023-02218-w.
LibreCat: https://research-explorer.ista.ac.at/record/13314
DOI: 10.1038/s41567-023-02218-w
PMID: 38075437

Radler, Philipp. Spatiotemporal Signaling during Assembly of the Bacterial Divisome. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14280.
LibreCat: https://research-explorer.ista.ac.at/record/14280
DOI: 10.15479/at:ista:14280

Valentini, Marco. Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevicesf: From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13286.
LibreCat: https://research-explorer.ista.ac.at/record/13286
DOI: 10.15479/at:ista:13286

Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.”10.1007/978-3-031-37706-8_8__35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.
LibreCat: https://research-explorer.ista.ac.at/record/14260
DOI: 10.1007/978-3-031-37706-8_8

Franschitz, Anna. Individual and Social Immunity against Viral Infections in Ants. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13984.
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 10.15479/at:ista:13984

Prach, Bernd, and Christoph Lampert. “-Lipschitz Neural Networks Are More Expressive with N-Activations.”10.48550/ARXIV.2311.06103__ArXiv, 2311.06103, doi:10.48550/ARXIV.2311.06103.
LibreCat: https://research-explorer.ista.ac.at/record/15039
DOI: 10.48550/ARXIV.2311.06103
arXiv: 2311.06103

Kuzmicz-Kowalska, Katarzyna. Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14323.
LibreCat: https://research-explorer.ista.ac.at/record/14323
DOI: 10.15479/at:ista:14323

Marveggio, Alice. Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14587.
LibreCat: https://research-explorer.ista.ac.at/record/14587
DOI: 10.15479/at:ista:14587

Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.”10.48550/arXiv.2301.01712__ArXiv, 2301.01712, doi:10.48550/arXiv.2301.01712.
LibreCat: https://research-explorer.ista.ac.at/record/15128
DOI: 10.48550/arXiv.2301.01712
arXiv: 2301.01712

Fedorov, Alexander, et al. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.”10.1145/3558481.3591082__Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–71, doi:10.1145/3558481.3591082.
LibreCat: https://research-explorer.ista.ac.at/record/13262
DOI: 10.1145/3558481.3591082
arXiv: 2304.09331

Hennessey-Wesen, Mike. Adaptive Mutation in E. Coli Modulated by LuxS. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14641.
LibreCat: https://research-explorer.ista.ac.at/record/14641
DOI: 10.15479/at:ista:14641

Calcabrini, Mariano. Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12885.
LibreCat: https://research-explorer.ista.ac.at/record/12885
DOI: 10.15479/at:ista:12885

Zens, Bettina. Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12491.
LibreCat: https://research-explorer.ista.ac.at/record/12491
DOI: 10.15479/at:ista:12491

Bocanegra, Laura. Epithelial Dynamics during Mouse Neural Tube Development. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13081.
LibreCat: https://research-explorer.ista.ac.at/record/13081
DOI: 10.15479/at:ista:13081

Boocock, Daniel R. Mechanochemical Pattern Formation across Biological Scales. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12964.
LibreCat: https://research-explorer.ista.ac.at/record/12964
DOI: 10.15479/at:ista:12964

Alcarva, Catarina. Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12809.
LibreCat: https://research-explorer.ista.ac.at/record/12809
DOI: 10.15479/at:ista:12809

Schauer, Alexandra. Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12891.
LibreCat: https://research-explorer.ista.ac.at/record/12891
DOI: 10.15479/at:ista:12891

Kravchuk, Vladyslav. Structural and Mechanistic Study of Bacterial Complex I and Its Cyanobacterial Ortholog. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12781.
LibreCat: https://research-explorer.ista.ac.at/record/12781
DOI: 10.15479/at:ista:12781

Stephenson, Elizabeth R. Generalizing Medial Axes with Homology Switches. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14226.
LibreCat: https://research-explorer.ista.ac.at/record/14226
DOI: 10.15479/at:ista:14226

Kirillova, Kseniia. Panoramic Functional Gradients across the Mouse Retina. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12531.
LibreCat: https://research-explorer.ista.ac.at/record/12531
DOI: 10.15479/at:ista:12531

Julseth, Mara. The Effect of Local Population Structure on Genetic Variation at Selected Loci in the A. Majus Hybrid Zone. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12800.
LibreCat: https://research-explorer.ista.ac.at/record/12800
DOI: 10.15479/at:ista:12800

Gnyliukh, Nataliia. Mechanism of Clathrin-Coated Vesicle  Formation during Endocytosis in Plants. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14510.
LibreCat: https://research-explorer.ista.ac.at/record/14510
DOI: 10.15479/at:ista:14510

Hafner, Christian. Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12897.
LibreCat: https://research-explorer.ista.ac.at/record/12897
DOI: 10.15479/at:ista:12897

Michalska, Julia M. A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12470.
LibreCat: https://research-explorer.ista.ac.at/record/12470
DOI: 10.15479/at:ista:12470