S. Schmid, J. Svoboda, and M. X. Yeo, “Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation,” Theoretical Computer Science, vol. 989. Elsevier, 2024.

A. H. Hansen and S. Hippenmeyer, “Time-lapse imaging of cortical projection neuron migration in mice using mosaic analysis with double markers,” STAR Protocols, vol. 5, no. 1. Elsevier, 2024.

G. K. Kiran et al., “Interface engineering modulation combined with electronic structure modification of Zn-doped NiO heterostructure for efficient water-splitting activity,” ACS Applied Energy Materials, vol. 7, no. 1. American Chemical Society, pp. 214–229, 2024.

J. Clatot et al., “A structurally precise mechanism links an epilepsy-associated KCN potassium channel mutation to interneuron dysfunction,” Proceedings of the National Academy of Sciences of the United States of America, vol. 121, no. 3. Proceedings of the National Academy of Sciences, 2024.

I. Kramarenko et al., “Linking UV spectral properties of MUSE Ly;1 emitters at z  3 to Lyman continuum escape,” Monthly Notices of the Royal Astronomical Society, vol. 527, no. 4. Oxford University Press, pp. 9853–9871, 2024.

P. De Nooijer et al., “Removing popular faces in curve arrangements,” in 31st International Symposium on Graph Drawing and Network Visualization, Isola delle Femmine, Palermo, Italy, 2024, vol. 14466, pp. 18–33.

E. Davoli, L. D’Elia, and J. Ingmanns, “Stochastic homogenization of micromagnetic energies and emergence of magnetic skyrmions,” Journal of Nonlinear Science, vol. 34, no. 2. Springer Nature, 2024.

A. Pimenta-Marques et al., “An/C is an essential player in the centrosome maintenance program regulated by Polo kinase and the PCM,” EMBO reports, vol. 25, no. 1. Embo Press, pp. 102–127, 2024.

T. Shaw, P. Buri, M. McCarthy, E. S. Miles, and F. Pellicciotti, “Local controls on near-surface glacier cooling under warm atmospheric conditions,” Journal of Geophysical Research: Atmospheres, vol. 129, no. 2. Wiley, 2024.

S. Fugger et al., “Hydrological regimes and evaporative flux partitioning at the climatic ends of High Mountain Asia,” Environmental Research Letters. IOP Publishing.

J. Pach, M. Saghafian, and P. Schnider, “Decomposition of geometric graphs into star-forests,” in 31st International Symposium on Graph Drawing and Network Visualization, Isola delle Femmine, Palermo, Italy, 2024, vol. 14465, pp. 339–346.

G. Goranci, M. H. Henzinger, H. Räcke, S. Sachdeva, and A. R. Sricharan, “Electrical flows for polylogarithmic competitive oblivious routing,” in 15th Innovations in Theoretical Computer Science Conference, Berkeley, CA, United States, 2024, vol. 287.

D. G. Franco et al., “Frustrated magnetism in octahedra-based Ce6 Ni6 ,” Physical Review B, vol. 109, no. 5. American Physical Society, 2024.

Y. Shimura et al., “Compressively strained epitaxial Ge layers for quantum computing applications,” Materials Science in Semiconductor Processing, vol. 174, no. 5. Elsevier, 2024.

J. Datler et al., “Multi-modal cryo-EM reveals trimers of protein  to form the palisade layer in poxvirus cores,” Nature Structural &; Molecular Biology. Springer Nature, 2024.

M. Hledik, “Genetic information and biological optimization,” Institute of Science and Technology Austria, 2024.

D. W. Zheng and M. H. Henzinger, “Multiplicative auction algorithm for approximate maximum weight bipartite matching,” Mathematical Programming. Springer Nature, 2024.

J. E. Greene et al., “UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z &; 5,” Astrophysical Journal, vol. 964. IOP Publishing, 2024.

M. Filakovský, T. V. Nakajima, J. Oprsal, G. Tasinato, and U. Wagner, “Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs,” in 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France, 2024, vol. 289.

R. Campbell, F. Hörsch, and B. Moore, “Decompositions into two linear forests of bounded lengths,” Discrete Mathematics, vol. 347, no. 6. Elsevier, 2024.

J. J. Matthee et al., “Little Red Dots: An abundant population of faint active galactic nuclei at z c 5 revealed by the EIGER and FRESCO JWST surveys,” The Astrophysical Journal, vol. 963, no. 2. American Astronomical Society, 2024.

J. J. Matthee et al., “Large-scale excess H I absorption around z  4 galaxies detected in a background galaxy spectrum in the MUSE eXtremely deep field,” Monthly Notices of the Royal Astronomical Society, vol. 529, no. 3. Oxford University Press, pp. 2794–2806, 2024.

O. O. Olusanya, “Local adaptation, genetic load and extinction in metapopulations,” Institute of Science and Technology Austria, 2024.

R. Seoane Souto, M. Leijnse, C. Schrade, M. Valentini, G. Katsaros, and J. Danon, “Tuning the Josephson diode response with an ac current,” Physical Review Research, vol. 6, no. 2. American Physical Society, 2024.

N. Mahato, S. Singh, T. V. M. Sreekanth, K. Yoo, and J. Kim, “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,” Journal of Energy Storage, vol. 88. Elsevier, 2024.

A. Pensabene 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,” Astronomy and Astrophysics, vol. 684. EDP Sciences, 2024.

Z. Zeng et al., “Pushing thermal conductivity to its lower limit in crystals with simple structures,” Nature Communications, vol. 15. Springer Nature, 2024.

T. D. Browning and I. E. Shparlinski, “Square-free values of random polynomials,” Journal of Number Theory, vol. 261. Elsevier, pp. 220–240, 2024.

M. Chalupa and C. Richter, “Bubaak-SpLit: Split what you cannot verify (Competition contribution),” in 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, 2024, vol. 14572, pp. 353–358.

N. Mahato, S. Singh, T. V. M. Sreekanth, K. Yoo, and J. Kim, “In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage,” Materials Letters, vol. 365. Elsevier, 2024.

N. H. Barton and H. Sachdeva, “Limits to selection on standing variation in an asexual population,” Theoretical Population Biology, vol. 157. Elsevier, pp. 129–137, 2024.

G. N. Hibshman et al., “Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Ca,” Nature Communications, vol. 15. Springer Nature, 2024.

P. Zeller et al., “Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis,” Nature Genetics, vol. 55. Springer Nature, pp. 333–345, 2023.

S. Arroyo-Urea, J. Watson, and J. García-Nafría, “Molecular Cloning Using In Vivo DNA Assembly,” in DNA Manipulation and Analysis, vol. 2633, G. Scarlett, Ed. New York, NY, United States: Springer Nature, 2023, pp. 33–44.

V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.

M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.

M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.

C. Hoffmann, P. Hubádek, C. Kamath, and K. Z. Pietrzak, “Certifying giant nonprimes,” in Public-Key Cryptography - PKC 2023, Atlanta, GA, United States, 2023, vol. 13940, pp. 530–553.

K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “A learner-verifier framework for neural network controllers and certificates of stochastic systems,” in Tools and Algorithms for the Construction and Analysis of Systems , Paris, France, 2023, vol. 13993, pp. 3–25.

A. Anand, K. Mallik, S. P. Nayak, and A. K. Schmuck, “Computing adequately permissive assumptions for synthesis,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 211–228.

H. Edelsbrunner and G. F. Osang, “A simple algorithm for higher-order Delaunay mosaics and alpha shapes,” Algorithmica, vol. 85. Springer Nature, pp. 277–295, 2023.

T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in 26th International Conference Foundations of Software Science and Computation Structures, Paris, France, 2023, vol. 13992, pp. 349–370.

Á. García-Romero et al., “Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies with coinage metals,” Inorganic Chemistry, vol. 62, no. 11. American Chemical Society, pp. 4625–4636, 2023.

V. Karle, A. Ghazaryan, and M. Lemeshko, “Topological charges of periodically kicked molecules,” Physical Review Letters, vol. 130, no. 10. American Physical Society, 2023.

M. Ljubotina, J. Y. Desaules, M. Serbyn, and Z. Papi, “Superdiffusive energy transport in kinetically constrained models,” Physical Review X, vol. 13, no. 1. American Physical Society, 2023.

E. Redchenko, A. V. Poshakinskiy, R. Sett, M. Zemlicka, A. N. Poddubny, and J. M. Fink, “Tunable directional photon scattering from a pair of superconducting qubits,” Nature Communications, vol. 14. Springer Nature, 2023.

N. Clozeau, M. Josien, F. Otto, and Q. Xu, “Bias in the representative volume element method: Periodize the ensemble instead of its realizations,” Foundations of Computational Mathematics. Springer Nature, 2023.

D. R. Boocock, “Mechanochemical pattern formation across biological scales,” Institute of Science and Technology Austria, 2023.

A. Madani, E. T. Sletten, C. Cavedon, P. H. Seeberger, and B. Pieber, “Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-;1-D-glucofuranose,” Organic Syntheses, vol. 100. Organic Syntheses, pp. 271–286, 2023.

M. Dymond and V. Kaluza, “Highly irregular separated nets,” Israel Journal of Mathematics, vol. 253. Springer Nature, pp. 501–554, 2023.

S. Wang et al., “Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe,” Chemistry of Materials, vol. 35, no. 2. American Chemical Society, pp. 755–763, 2023.

J. Yeung, M. Florescu, P. Zeller, B. A. De Barbanson, M. D. Wellenstein, and A. Van Oudenaarden, “scChIX-seq infers dynamic relationships between histone modifications in single cells,” Nature Biotechnology, vol. 41. Springer Nature, pp. 813–823, 2023.

C. Boccato and R. Seiringer, “The Bose Gas in a box with Neumann boundary conditions,” Annales Henri Poincare, vol. 24. Springer Nature, pp. 1505–1560, 2023.

M. Stock et al., “Pathogen evasion of social immunity,” Nature Ecology and Evolution, vol. 7. Springer Nature, pp. 450–460, 2023.

J. Hales et al., “Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering,” Nature Communications, vol. 14. Springer Nature, 2023.

R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.

R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.

T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness,” in Computer Aided Verification, Paris, France, 2023, vol. 13965, pp. 358–382.

J. Glajzer 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,” Annals of Surgical Oncology, vol. 30. Springer Nature, pp. 35–45, 2023.

N. C. Vierra et al., “Neuronal ER-plasma membrane junctions couple excitation to C+-activated PKA signaling,” Nature Communications, vol. 14. Springer Nature, 2023.

J. Kretinsky, T. Meggendorfer, M. Prokop, and S. Rieder, “Guessing winning policies in LTL synthesis by semantic learning,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 390–414.

M. Anastos, D. Fabian, A. Müyesser, and T. Szabó, “Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets,” Electronic Journal of Combinatorics, vol. 30, no. 3. Electronic Journal of Combinatorics, 2023.

Y. Sun, H. Fu, K. Chatterjee, and A. K. Goharshady, “Automated tail bound analysis for probabilistic recurrence relations,” in Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 16–39.

S. Akshay, K. Chatterjee, T. Meggendorfer, and D. Zikelic, “MDPs as distribution transformers: Affine invariant synthesis for safety objectives,” in International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 86–112.

M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268.

T. Graham, M. Kleshnina, and J. A. Filar, “Where do mistakes lead? A survey of games with incompetent players,” Dynamic Games and Applications, vol. 13. Springer Nature, pp. 231–264, 2023.

B. Wagner, V. Slipogor, J. Oh, M. Varga, and M. Hoeschele, “A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence,” Developmental Science, vol. 26, no. 5. Wiley, 2023.

G. Ivanov and S. Köse, “Erds-Ko-Rado and Hilton-Milner theorems for two-forms,” Discrete Mathematics, vol. 346, no. 6. Elsevier, 2023.

R. Corbet, M. Kerber, M. Lesnick, and G. F. Osang, “Computing the multicover bifiltration,” Discrete and Computational Geometry, vol. 70. Springer Nature, pp. 376–405, 2023.

J. D. Boissonnat and M. Wintraecken, “The reach of subsets of manifolds,” Journal of Applied and Computational Topology, vol. 7. Springer Nature, pp. 619–641, 2023.

P. Tomaszewska and C. Lampert, “On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift,” in International Workshop on Reproducible Research in Pattern Recognition, Montreal, Canada, 2023, vol. 14068, pp. 67–73.

Y. Dodis, N. Ferguson, E. Goldin, P. Hall, and K. Z. Pietrzak, “Random oracle combiners: Breaking the concatenation barrier for collision-resistance,” in 43rd Annual International Cryptology Conference, Santa Barbara, CA, United States, 2023, vol. 14082, pp. 514–546.

L. Qiu, R. Sahu, W. J. Hease, G. M. Arnold, and J. M. Fink, “Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action,” Nature Communications, vol. 14. Nature Research, 2023.

G. Dubach and L. Erdös, “Dynamics of a rank-one perturbation of a Hermitian matrix,” Electronic Communications in Probability, vol. 28. Institute of Mathematical Statistics, pp. 1–13, 2023.

T. D. Browning, P. L. Boudec, and W. Sawin, “The Hasse principle for random Fano hypersurfaces,” Annals of Mathematics, vol. 197, no. 3. Princeton University, pp. 1115–1203, 2023.

C. Hoffmann and M. Simkin, “Stronger lower bounds for leakage-resilient secret sharing,” in 8th International Conference on Cryptology and Information Security in Latin America, Quito, Ecuador, 2023, vol. 14168, pp. 215–228.

T. A. Henzinger, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness under partial observations,” in 23rd International Conference on Runtime Verification, Thessaloniki, Greece, 2023, vol. 14245, pp. 291–311.

M. Brooks and R. Seiringer, “The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy,” Communications in Mathematical Physics, vol. 404. Springer Nature, pp. 287–337, 2023.

P. Rao et al., “A deeper analysis of volumetric relightiable faces,” International Journal of Computer Vision. Springer Nature, 2023.

D. Beaver et al., “STROBE: Streaming Threshold Random Beacons,” in 5th Conference on Advances in Financial Technologies, Princeton, NJ, United States, 2023, vol. 282.

V. Helson et al., “Density-wave ordering in a unitary Fermi gas with photon-mediated interactions,” Nature, vol. 618. Springer Nature, pp. 716–720, 2023.

S. Bhattacharya, M. H. Henzinger, D. Nanongkai, and X. Wu, “Deterministic near-optimal approximation algorithms for dynamic set cover,” SIAM Journal on Computing, vol. 52, no. 5. Society for Industrial and Applied Mathematics, pp. 1132–1192, 2023.

M. Ansaripour, K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “Learning provably stabilizing neural controllers for discrete-time stochastic systems,” in 21st International Symposium on Automated Technology for Verification and Analysis, Singapore, Singapore, 2023, vol. 14215, pp. 357–379.

R. Kaiyrzhanov et al., “Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders,” Brain. Oxford University Press, 2023.

F. Fäßler et al., “Arp isoforms regulate Ar/3 complex–dependent protrusion through differential Ena/VASP positioning,” Science Advances, vol. 9, no. 3. American Association for the Advancement of Science, 2023.

F. K. Schur, “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.

C. Bussi et al., “Stress granules plug and stabilize damaged endolysosomal membranes,” Nature. Springer Nature, 2023.

S. Schmid, J. Svoboda, and M. X. Yeo, “Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation,” in SIROCCO 2023: Structural Information and Communication Complexity , Alcala de Henares, Spain, 2023, vol. 13892, pp. 576–594.

S. Scarpetta et al., “Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture,” iScience, vol. 26, no. 10. Elsevier, p. 107840, 2023.

N. P. Benedikter, M. Porta, B. Schlein, and R. Seiringer, “Correlation energy of a weakly interacting Fermi gas with large interaction potential,” Archive for Rational Mechanics and Analysis, vol. 247, no. 4. Springer Nature, 2023.

F. Hassani, M. Peruzzo, L. Kapoor, A. Trioni, M. Zemlicka, and J. M. Fink, “Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours,” Nature Communications, vol. 14. Springer Nature, 2023.

H. Zhang, “Some convexity and monotonicity results of trace functionals,” Annales Henri Poincare. Springer Nature, 2023.

S. Sugimoto, S. J. Henheik, V. Riabov, and L. Erdös, “Eigenstate thermalisation hypothesis for translation invariant spin systems,” Journal of Statistical Physics, vol. 190, no. 7. Springer Nature, 2023.

R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, and U. Wagner, “The crossing Tverberg theorem,” Discrete and Computational Geometry. Springer Nature, 2023.

E. Méhes et al., “D cell segregation geometry and dynamics are governed by tissue surface tension regulation,” Communications Biology, vol. 6. Springer Nature, 2023.

Z. Zhao et al., “The Ycf48 accessory factor occupies the site of the oxygen-evolving manganese cluster during photosystem II biogenesis,” Nature Communications, vol. 14. Springer Nature, 2023.

G. Puixeu Sala, “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.

G. Puixeu Sala, A. Macon, and B. Vicoso, “Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster,” : Genes, Genomes, Genetics, vol. 13, no. 8. Oxford University Press, 2023.

H. Edelsbrunner, A. Garber, M. Ghafari, T. Heiss, and M. Saghafian, “On angles in higher order Brillouin tessellations and related tilings in the plane,” Discrete and Computational Geometry. Springer Nature, 2023.

G. Zeng et al., “A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries,” Advanced Materials. Wiley.