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.

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.

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.

Barton, Nicholas H., and Himani Sachdeva. “Limits to Selection on Standing Variation in an Asexual Population.”10.1016/j.tpb.2024.04.001__Theoretical Population Biology, vol. 157, Elsevier, 2024, pp. 129–37, doi:10.1016/j.tpb.2024.04.001.

Hibshman, Grace N., et al. “Unraveling the Mechanisms of PAMless DNA Interrogation by SpRY-Ca.”10.1038/s41467-024-47830-3__Nature Communications, vol. 15, 3663, Springer Nature, 2024, doi:10.1038/s41467-024-47830-3.

Avni, Guy, et al. “Auction-Based Scheduling.”10.1007/978-3-031-57256-2_8__30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 153–72, doi:10.1007/978-3-031-57256-2_8.

Majumdar, Rupak, et al. “Rabin Games and Colourful Universal Trees.”10.1007/978-3-031-57256-2_11__30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 213–31, doi:10.1007/978-3-031-57256-2_11.

Schanda, Paul. Raw Data to “MAS NMR Experiments of Corynebacterial Cell Walls: Complementary 1H- and CPMAS CryoProbe-Enhanced 13C-Detected Experiments.” ISTA, 2024, doi:10.15479/AT:ISTA:17042.

Auerbach, Benedikt, et al. “Trapdoor Memory-Hard Functions.”10.1007/978-3-031-58734-4_11__43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, vol. 14653, Springer Nature, 2024, pp. 315–44, doi:10.1007/978-3-031-58734-4_11.

Zakerinia, Hossein, et al. “Communication-Efficient Federated Learning with Data and Client Heterogeneity.” Proceedings of the 27th International Conference on Artificial Intelligence and Statistics, vol. 238, ML Research Press, 2024, pp. 3448–56.

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.

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.

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.

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.

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.

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.

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.

García-Romero, Álvaro, et al. “Highly Adaptive Nature of Group 15 Tris(Quinolyl) Ligandsstudies with Coinage Metals.”10.1021/acs.inorgchem.3c00057__Inorganic Chemistry, vol. 62, no. 11, American Chemical Society, 2023, pp. 4625–36, doi:10.1021/acs.inorgchem.3c00057.

Karle, Volker, et al. “Topological Charges of Periodically Kicked Molecules.”10.1103/PhysRevLett.130.103202__Physical Review Letters, vol. 130, no. 10, 103202, American Physical Society, 2023, doi:10.1103/PhysRevLett.130.103202.

Ljubotina, Marko, et al. “Superdiffusive Energy Transport in Kinetically Constrained Models.”10.1103/PhysRevX.13.011033__Physical Review X, vol. 13, no. 1, 011033, American Physical Society, 2023, doi:10.1103/PhysRevX.13.011033.

Clozeau, Nicolas, et al. “Bias in the Representative Volume Element Method: Periodize the Ensemble Instead of Its Realizations.”10.1007/s10208-023-09613-y__Foundations of Computational Mathematics, Springer Nature, 2023, doi:10.1007/s10208-023-09613-y.

Madani, Amiera, et al. “Visible-Light-Mediated Oxidative Debenzylation of 3-O-Benzyl-1,2:5,6-Di-O-Isopropylidene-;1-D-Glucofuranose.”10.15227/orgsyn.100.0271__Organic Syntheses, vol. 100, Organic Syntheses, 2023, pp. 271–86, doi:10.15227/orgsyn.100.0271.

Wang, Siqi, et al. “Fine Tuning of Defects Enables High Carrier Mobility and Enhanced Thermoelectric Performance of N-Type PbTe.”10.1021/acs.chemmater.2c03542__Chemistry of Materials, vol. 35, no. 2, American Chemical Society, 2023, pp. 755–63, doi:10.1021/acs.chemmater.2c03542.

Yeung, Jake, et al. “ScChIX-Seq Infers Dynamic Relationships between Histone Modifications in Single Cells.”10.1038/s41587-022-01560-3__Nature Biotechnology, vol. 41, Springer Nature, 2023, pp. 813–823, doi:10.1038/s41587-022-01560-3.

Boccato, Chiara, and Robert Seiringer. “The Bose Gas in a Box with Neumann Boundary Conditions.”10.1007/s00023-022-01252-3__Annales Henri Poincare, vol. 24, Springer Nature, 2023, pp. 1505–60, doi:10.1007/s00023-022-01252-3.

Hales, Jordyn, et al. “Witnessing Light-Driven Entanglement Using Time-Resolved Resonant Inelastic X-Ray Scattering.”10.1038/s41467-023-38540-3__Nature Communications, vol. 14, 3512, Springer Nature, 2023, doi:10.1038/s41467-023-38540-3.

Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13175.

Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, 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.

Glajzer, Jacek, et al. “Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer: A Multicenter Retrospective Study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) Consortium.”10.1245/s10434-022-12459-3__Annals of Surgical Oncology, vol. 30, Springer Nature, 2023, pp. 35–45, doi:10.1245/s10434-022-12459-3.

Kretinsky, Jan, et al. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.”10.1007/978-3-031-37706-8_20__35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 390–414, doi:10.1007/978-3-031-37706-8_20.

Sun, Yican, et al. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.”10.1007/978-3-031-37709-9_2__Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 16–39, doi:10.1007/978-3-031-37709-9_2.

Akshay, S., et al. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.”10.1007/978-3-031-37709-9_5__International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 86–112, doi:10.1007/978-3-031-37709-9_5.

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.

Graham, Thomas, et al. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.”10.1007/s13235-022-00425-3__Dynamic Games and Applications, vol. 13, Springer Nature, 2023, pp. 231–64, doi:10.1007/s13235-022-00425-3.

Wagner, Bernhard, et al. “A Comparison between Common Marmosets (Callithrix Jacchus) and Human Infants Sheds Light on Traits Proposed to Be at the Root of Human Octave Equivalence.”10.1111/desc.13395__Developmental Science, vol. 26, no. 5, e13395, Wiley, 2023, doi:10.1111/desc.13395.

Corbet, René, et al. “Computing the Multicover Bifiltration.”10.1007/s00454-022-00476-8__Discrete and Computational Geometry, vol. 70, Springer Nature, 2023, pp. 376–405, doi:10.1007/s00454-022-00476-8.

Boissonnat, Jean Daniel, and Mathijs Wintraecken. “The Reach of Subsets of Manifolds.”10.1007/s41468-023-00116-x__Journal of Applied and Computational Topology, vol. 7, Springer Nature, 2023, pp. 619–41, doi:10.1007/s41468-023-00116-x.

Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.”10.1007/978-3-031-40773-4_6__International Workshop on Reproducible Research in Pattern Recognition, vol. 14068, Springer Nature, 2023, pp. 67–73, doi:10.1007/978-3-031-40773-4_6.

Dodis, Yevgeniy, et al. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.”10.1007/978-3-031-38545-2_17__43rd Annual International Cryptology Conference, vol. 14082, Springer Nature, 2023, pp. 514–46, doi:10.1007/978-3-031-38545-2_17.

Qiu, Liu, et al. “Coherent Optical Control of a Superconducting Microwave Cavity via Electro-Optical Dynamical Back-Action.”10.1038/s41467-023-39493-3__Nature Communications, vol. 14, 3784, Nature Research, 2023, doi:10.1038/s41467-023-39493-3.

Dubach, Guillaume, and László Erdös. “Dynamics of a Rank-One Perturbation of a Hermitian Matrix.”10.1214/23-ECP516__Electronic Communications in Probability, vol. 28, Institute of Mathematical Statistics, 2023, pp. 1–13, doi:10.1214/23-ECP516.

Browning, Timothy D., et al. “The Hasse Principle for Random Fano Hypersurfaces.”10.4007/annals.2023.197.3.3__Annals of Mathematics, vol. 197, no. 3, Princeton University, 2023, pp. 1115–203, doi:10.4007/annals.2023.197.3.3.

Hoffmann, Charlotte, and Mark Simkin. “Stronger Lower Bounds for Leakage-Resilient Secret Sharing.”10.1007/978-3-031-44469-2_11__8th International Conference on Cryptology and Information Security in Latin America, vol. 14168, Springer Nature, 2023, pp. 215–28, doi:10.1007/978-3-031-44469-2_11.

Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness under Partial Observations.”10.1007/978-3-031-44267-4_15__23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 291–311, doi:10.1007/978-3-031-44267-4_15.

Brooks, Morris, and Robert Seiringer. “The Fröhlich Polaron at Strong Coupling: Part I - The Quantum Correction to the Classical Energy.”10.1007/s00220-023-04841-3__Communications in Mathematical Physics, vol. 404, Springer Nature, 2023, pp. 287–337, doi:10.1007/s00220-023-04841-3.

Rao, Pramod, et al. “A Deeper Analysis of Volumetric Relightiable Faces.”10.1007/s11263-023-01899-3__International Journal of Computer Vision, Springer Nature, 2023, doi:10.1007/s11263-023-01899-3.

Beaver, Donald, et al. “STROBE: Streaming Threshold Random Beacons.”10.4230/LIPIcs.AFT.2023.7__5th Conference on Advances in Financial Technologies, vol. 282, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.AFT.2023.7.

Helson, Victor, et al. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.”10.1038/s41586-023-06018-3__Nature, vol. 618, Springer Nature, 2023, pp. 716–20, doi:10.1038/s41586-023-06018-3.

Bhattacharya, Sayan, et al. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.”10.1137/21M1428649__SIAM Journal on Computing, vol. 52, no. 5, Society for Industrial and Applied Mathematics, 2023, pp. 1132–92, doi:10.1137/21M1428649.

Ansaripour, Matin, et al. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.”10.1007/978-3-031-45329-8_17__21st International Symposium on Automated Technology for Verification and Analysis, vol. 14215, Springer Nature, 2023, pp. 357–79, doi:10.1007/978-3-031-45329-8_17.

Fäßler, Florian, et al. “Arp Isoforms Regulate Ar/3 Complex–Dependent Protrusion through Differential Ena/VASP Positioning.”10.1126/sciadv.add6495__Science Advances, vol. 9, no. 3, add6495, American Association for the Advancement of Science, 2023, doi:10.1126/sciadv.add6495.

Schur, Florian KM. Research Data of the Publication “Arp Isoforms Regulate Ar/3 Complex-Dependent Protrusion through Differential Ena/VASP Positioning.” Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:14562.

Bussi, Claudio, et al. “Stress Granules Plug and Stabilize Damaged Endolysosomal Membranes.”10.1038/s41586-023-06726-w__Nature, Springer Nature, 2023, doi:10.1038/s41586-023-06726-w.

Schmid, Stefan, et al. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.”10.1007/978-3-031-32733-9_26__SIROCCO 2023: Structural Information and Communication Complexity , vol. 13892, Springer Nature, 2023, pp. 576–94, doi:10.1007/978-3-031-32733-9_26.

Scarpetta, Silvia, et al. “Criticality of Neuronal Avalanches in Human Sleep and Their Relationship with Sleep Macro- and Micro-Architecture.”10.1016/j.isci.2023.107840__IScience, vol. 26, no. 10, Elsevier, 2023, p. 107840, doi:10.1016/j.isci.2023.107840.

Hassani, Farid, et al. “Inductively Shunted Transmons Exhibit Noise Insensitive Plasmon States and a Fluxon Decay Exceeding 3 Hours.”10.1038/s41467-023-39656-2__Nature Communications, vol. 14, 3968, Springer Nature, 2023, doi:10.1038/s41467-023-39656-2.

Zhang, Haonan. “Some Convexity and Monotonicity Results of Trace Functionals.”10.1007/s00023-023-01345-7__Annales Henri Poincare, Springer Nature, 2023, doi:10.1007/s00023-023-01345-7.

Sugimoto, Shoki, et al. “Eigenstate Thermalisation Hypothesis for Translation Invariant Spin Systems.”10.1007/s10955-023-03132-4__Journal of Statistical Physics, vol. 190, no. 7, 128, Springer Nature, 2023, doi:10.1007/s10955-023-03132-4.

Fulek, Radoslav, et al. “The Crossing Tverberg Theorem.”10.1007/s00454-023-00532-x__Discrete and Computational Geometry, Springer Nature, 2023, doi:10.1007/s00454-023-00532-x.

Méhes, Elod, et al. “D Cell Segregation Geometry and Dynamics Are Governed by Tissue Surface Tension Regulation.”10.1038/s42003-023-05181-7__Communications Biology, vol. 6, 817, Springer Nature, 2023, doi:10.1038/s42003-023-05181-7.

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.

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.

Zeng, Guifang, et al. “A Layered Bi2Te3@PPy Cathode for Aqueous Zinc Ion Batteries: Mechanism and Application in Printed Flexible Batteries.”10.1002/adma.202305128__Advanced Materials, 2305128, Wiley, doi:10.1002/adma.202305128.

Hoffmann, Charlotte, et al. “(Verifiable) Delay Functions from Lucas Sequences.”10.1007/978-3-031-48624-1_13__21st International Conference on Theory of Cryptography, vol. 14372, Springer Nature, 2023, pp. 336–62, doi:10.1007/978-3-031-48624-1_13.

Auerbach, Benedikt, et al. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.”10.1007/978-3-031-48621-0_10__21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 271–300, doi:10.1007/978-3-031-48621-0_10.

Auerbach, Benedikt, et al. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.”10.1007/978-3-031-48621-0_11__21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 301–30, doi:10.1007/978-3-031-48621-0_11.

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.

Pastva, Samuel, and Thomas A. Henzinger. “Binary Decision Diagrams on Modern Hardware.”10.34727/2023/isbn.978-3-85448-060-0_20__Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–31, doi:10.34727/2023/isbn.978-3-85448-060-0_20.

Zhou, Liang-Zi, et al. “The RALF Signaling Pathway Regulates Cell Wall Integrity during Pollen Tube Growth in Maize.”10.1093/plcell/koad324__The Plant Cell, koad324, Oxford University Press, 2023, doi:10.1093/plcell/koad324.

Biniaz, Ahmad, et al. “Token Swapping on Trees.”10.46298/DMTCS.8383__Discrete Mathematics and Theoretical Computer Science, vol. 24, no. 2, 9, EPI Sciences, 2023, doi:10.46298/DMTCS.8383.

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.

Bastankhah, Mahsa, et al. “: Boosting Liquidity in Payment Channel Networks with Online Admission Control.”10.1007/978-3-031-47754-6_18__27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 309–25, doi:10.1007/978-3-031-47754-6_18.

Avarikioti, Zeta, et al. “Divide &; Scale: Formalization and Roadmap to Robust Sharding.”10.1007/978-3-031-32733-9_10__30th International Colloquium on Structural Information and Communication Complexity, vol. 13892, Springer Nature, 2023, pp. 199–245, doi:10.1007/978-3-031-32733-9_10.

Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.”10.1109/tit.2023.3257239__IEEE Transactions on Information Theory, vol. 69, no. 7, Institute of Electrical and Electronics Engineers, 2023, pp. 4093–127, doi:10.1109/tit.2023.3257239.

Teplova, Anastasiia, et al. “Phytaspase Is Capable of Detaching the Endoplasmic Reticulum Retrieval Signal from Tobacco Calreticulin-3.”10.3390/ijms242216527__International Journal of Molecular Sciences, vol. 24, no. 22, 16527, MDPI, 2023, doi:10.3390/ijms242216527.

Schnelli, Kevin, and Yuanyuan Xu. “Convergence Rate to the Tracy–Widom Laws for the Largest Eigenvalue of Sample Covariance Matrices.”10.1214/22-aap1826__The Annals of Applied Probability, vol. 33, no. 1, Institute of Mathematical Statistics, 2023, pp. 677–725, doi:10.1214/22-aap1826.

Dymond, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.”10.1007/s10711-023-00862-3__Geometriae Dedicata, 15, Springer Nature, 2023, doi:10.1007/s10711-023-00862-3.

Cohen-Addad, Vincent, et al. “Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation.”10.1109/focs57990.2023.00066__2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–30, doi:10.1109/focs57990.2023.00066.

Baldauf, Lucia, et al. “Branched Actin Cortices Reconstituted in Vesicles Sense Membrane Curvature.”10.1016/j.bpj.2023.02.018__Biophysical Journal, vol. 122, no. 11, Elsevier, 2023, pp. 2311–24, doi:10.1016/j.bpj.2023.02.018.

Zikelic, Dorde. Automated Verification and Control of Infinite State Stochastic Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/14539.

Kisan, Jan Matyás, and Jakub Svoboda. “Shortest Dominating Set Reconfiguration under Token Sliding.”10.1007/978-3-031-43587-4_24__24th International Symposium on Fundamentals of Computation Theory, vol. 14292, Springer Nature, 2023, pp. 333–47, doi:10.1007/978-3-031-43587-4_24.

Cohen, Shir, et al. “Proof of Availability and Retrieval in a Modular Blockchain Architecture.”10.1007/978-3-031-47751-5_3__27th International Conference on Financial Cryptography and Data Security, vol. 13951, Springer Nature, 2023, pp. 36–53, doi:10.1007/978-3-031-47751-5_3.

Zikelic, Dorde, et al. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.”10.1609/aaai.v37i10.26407__Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 10, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–35, doi:10.1609/aaai.v37i10.26407.

Sahu, Rishabh, et al. “Entangling Microwaves and Telecom Wavelength Light.”10.1364/ls.2023.lm1f.3__Frontiers in Optics + Laser Science 2023, LM1F.3, Optica Publishing Group, 2023, doi:10.1364/ls.2023.lm1f.3.

Qi, Linlin, and Jií Friml. “Tale of CAMP as a Second Messenger in Auxin Signaling and Beyond.”10.1111/nph.19123__New Phytologist, vol. 240, no. 2, Wiley, 2023, pp. 489–95, doi:10.1111/nph.19123.

Polyanskii, Nikita, and Yihan Zhang. “Codes for the Z-Channel.”10.1109/TIT.2023.3292219__IEEE Transactions on Information Theory, vol. 69, no. 10, Institute of Electrical and Electronics Engineers, 2023, pp. 6340–57, doi:10.1109/TIT.2023.3292219.

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.

Xia, Jing, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.”10.1016/j.xplc.2023.100632__Plant Communications, vol. 4, no. 6, 100632, Elsevier , 2023, doi:10.1016/j.xplc.2023.100632.

Fang, Lixing, et al. “Successive Vertex Orderings of Fully Regular Graphs.”10.1016/j.jcta.2023.105776__Journal of Combinatorial Theory. Series A, vol. 199, no. 10, 105776, Elsevier, 2023, doi:10.1016/j.jcta.2023.105776.

Mahato, Neelima, et al. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.”10.1016/j.synthmet.2023.117463__Synthetic Metals, vol. 299, 117463, Elsevier, 2023, doi:10.1016/j.synthmet.2023.117463.

Banerjee, Tamajit, et al. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.”10.46298/theoretics.23.4__TheoretiCS, vol. 2, 4, EPI Sciences, 2023, doi:10.46298/theoretics.23.4.

Montagna, Francesco, et al. “Shortcuts for Causal Discovery of Nonlinear Models by Score Matching.”10.48550/arXiv.2310.14246__ArXiv, 2310.14246, doi:10.48550/arXiv.2310.14246.

Benes, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.”10.1007/978-3-031-42697-1_2__21st International Conference on Computational Methods in Systems Biology, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:10.1007/978-3-031-42697-1_2.

Lewin, Mathieu, et al. “Universal Functionals in Density Functional Theory.”10.1007/978-3-031-22340-2_3__Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., Springer, 2023, pp. 115–82, doi:10.1007/978-3-031-22340-2_3.

Radler, Philipp. Spatiotemporal Signaling during Assembly of the Bacterial Divisome. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14280.

Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.”10.1007/978-3-031-37709-9_1__35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.