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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Peste, Elena-Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” 11th International Conference on Learning Representations .

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Elefante, Stefano, et al. “Cryo-EM Software Packages: A Sys-Admins Point of View.” ASHP - Austrian-Slovenian HPC Meeting 2023, EuroCC, pp. 42–42.

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.

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.

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.

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.

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.

Rammelmüller, Lukas, et al. Codebase Release 1.0 for FermiFCI. SciPost Foundation, 2023, 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.

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.

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.

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.

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.