Schmid S, Svoboda J, Yeo MX. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. 2024;989. doi:10.1016/j.tcs.2023.114353

Hansen AH, Hippenmeyer S. Time-lapse imaging of cortical projection neuron migration in mice using mosaic analysis with double markers. STAR Protocols. 2024;5(1). doi:10.1016/j.xpro.2023.102795

Kiran GK, Singh S, Mahato N, et al. Interface engineering modulation combined with electronic structure modification of Zn-doped NiO heterostructure for efficient water-splitting activity. ACS Applied Energy Materials. 2024;7(1):214-229. doi:10.1021/acsaem.3c02519

Clatot J, Currin C, Liang Q, 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. 2024;121(3). doi:10.1073/pnas.2307776121

Kramarenko I, Kerutt J, Verhamme A, et al. Linking UV spectral properties of MUSE Ly;1 emitters at z10.1093/mnras/stad3853__3 to Lyman continuum escape. Monthly Notices of the Royal Astronomical Society. 2024;527(4):9853-9871. doi:10.1093/mnras/stad3853

De Nooijer P, Terziadis S, Weinberger A, et al. Removing popular faces in curve arrangements. In: 31st International Symposium on Graph Drawing and Network Visualization. Vol 14466. Springer Nature; 2024:18-33. doi:10.1007/978-3-031-49275-4_2

Davoli E, D’Elia L, Ingmanns J. Stochastic homogenization of micromagnetic energies and emergence of magnetic skyrmions. Journal of Nonlinear Science. 2024;34(2). doi:10.1007/s00332-023-10005-3

Pimenta-Marques A, Perestrelo T, Dos Reis Rodrigues P, et al. An/C is an essential player in the centrosome maintenance program regulated by Polo kinase and the PCM. EMBO reports. 2024;25(1):102-127. doi:10.1038/s44319-023-00020-6

Shaw T, Buri P, McCarthy M, Miles ES, Pellicciotti F. Local controls on near-surface glacier cooling under warm atmospheric conditions. Journal of Geophysical Research: Atmospheres. 2024;129(2). doi:10.1029/2023JD040214

Fugger S, Shaw T, Jouberton A, et al. Hydrological regimes and evaporative flux partitioning at the climatic ends of High Mountain Asia. Environmental Research Letters. doi:10.1088/1748-9326/ad25a0

Pach J, Saghafian M, Schnider P. Decomposition of geometric graphs into star-forests. In: 31st International Symposium on Graph Drawing and Network Visualization. Vol 14465. Springer Nature; 2024:339-346. doi:10.1007/978-3-031-49272-3_23

Goranci G, Henzinger MH, Räcke H, Sachdeva S, Sricharan AR. Electrical flows for polylogarithmic competitive oblivious routing. In: 15th Innovations in Theoretical Computer Science Conference. Vol 287. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.ITCS.2024.55

Franco DG, Avalos R, Hafner D, et al. Frustrated magnetism in octahedra-based Ce6 Ni6 . Physical Review B. 2024;109(5). doi:10.1103/PhysRevB.109.054405

Shimura Y, Godfrin C, Hikavyy A, et al. Compressively strained epitaxial Ge layers for quantum computing applications. Materials Science in Semiconductor Processing. 2024;174(5). doi:10.1016/j.mssp.2024.108231

Datler J, Hansen J, Thader A, et al. Multi-modal cryo-EM reveals trimers of protein10.1038/s41594-023-01201-6__to form the palisade layer in poxvirus cores. Nature Structural &; Molecular Biology. 2024. doi:10.1038/s41594-023-01201-6

Hledik M. Genetic information and biological optimization. 2024. doi:10.15479/at:ista:15020

Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. 2024. doi:10.1007/s10107-024-02066-3

Greene JE, Labbe I, Goulding AD, et al. UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z &; 5. Astrophysical Journal. 2024;964. doi:10.3847/1538-4357/ad1e5f

Filakovský M, Nakajima TV, Oprsal J, Tasinato G, Wagner U. Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs. In: 41st International Symposium on Theoretical Aspects of Computer Science. Vol 289. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.STACS.2024.34

Campbell R, Hörsch F, Moore B. Decompositions into two linear forests of bounded lengths. Discrete Mathematics. 2024;347(6). doi:10.1016/j.disc.2024.113962

Matthee JJ, Naidu RP, Brammer G, 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. 2024;963(2). doi:10.3847/1538-4357/ad2345

Matthee JJ, Golling C, Mackenzie R, 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. Monthly Notices of the Royal Astronomical Society. 2024;529(3):2794-2806. doi:10.1093/mnras/stae673

Olusanya OO. Local adaptation, genetic load and extinction in metapopulations. 2024. doi:10.15479/at:ista:14711

Seoane Souto R, Leijnse M, Schrade C, Valentini M, Katsaros G, Danon J. Tuning the Josephson diode response with an ac current. Physical Review Research. 2024;6(2). doi:10.1103/PhysRevResearch.6.L022002

Mahato N, Singh S, Sreekanth TVM, Yoo K, Kim J. 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. 2024;88. doi:10.1016/j.est.2024.111464

Pensabene A, Cantalupo S, Cicone C, 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. 2024;684. doi:10.1051/0004-6361/202348659

Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 2024. doi:10.1007/s10107-024-02064-5

Zeng Z, Shen X, Cheng R, et al. Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. 2024;15. doi:10.1038/s41467-024-46799-3

Browning TD, Shparlinski IE. Square-free values of random polynomials. Journal of Number Theory. 2024;261:220-240. doi:10.1016/j.jnt.2024.02.013

Chalupa M, Richter C. Bubaak-SpLit: Split what you cannot verify (Competition contribution). In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:353–358. doi:10.1007/978-3-031-57256-2_20

Mahato N, Singh S, Sreekanth TVM, Yoo K, Kim J. In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage. Materials Letters. 2024;365. doi:10.1016/j.matlet.2024.136483

Zeller P, Yeung J, Viñas Gaza H, et al. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 2023;55:333-345. doi:10.1038/s41588-022-01260-3

Arroyo-Urea S, Watson J, García-Nafría J. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023:33-44. doi:10.1007/978-1-0716-3004-4_3

Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512

Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32

Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15

Hoffmann C, Hubádek P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19

Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1

Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi:10.1007/978-3-031-30820-8_15

Edelsbrunner H, Osang GF. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 2023;85:277-295. doi:10.1007/s00453-022-01027-6

Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17

García-Romero Á, Waters JE, Jethwa RB, et al. Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies with coinage metals. Inorganic Chemistry. 2023;62(11):4625-4636. doi:10.1021/acs.inorgchem.3c00057

Karle V, Ghazaryan A, Lemeshko M. Topological charges of periodically kicked molecules. Physical Review Letters. 2023;130(10). doi:10.1103/PhysRevLett.130.103202

Ljubotina M, Desaules JY, Serbyn M, Papi Z. Superdiffusive energy transport in kinetically constrained models. Physical Review X. 2023;13(1). doi:10.1103/PhysRevX.13.011033

Liu Z, Piovarci M, Hafner C, Charrondiere R, Bickel B. Directionality-aware design of embroidery patterns. Computer Graphics Forum. 2023;42(2):397-409. doi:10.1111/cgf.14770 

Redchenko E, Poshakinskiy AV, Sett R, Zemlicka M, Poddubny AN, Fink JM. Tunable directional photon scattering from a pair of superconducting qubits. Nature Communications. 2023;14. doi:10.1038/s41467-023-38761-6

Clozeau N, Josien M, Otto F, Xu Q. Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics. 2023. doi:10.1007/s10208-023-09613-y

Boocock DR. Mechanochemical pattern formation across biological scales. 2023. doi:10.15479/at:ista:12964

Madani A, Sletten ET, Cavedon C, Seeberger PH, Pieber B. Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-;1-D-glucofuranose. Organic Syntheses. 2023;100:271-286. doi:10.15227/orgsyn.100.0271

Calcabrini M. Nanoparticle-based semiconductor solids: From synthesis to consolidation. 2023. doi:10.15479/at:ista:12885

Dymond M, Kaluza V. Highly irregular separated nets. Israel Journal of Mathematics. 2023;253:501-554. doi:10.1007/s11856-022-2448-6

Wang S, Chang C, Bai S, et al. Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. 2023;35(2):755-763. doi:10.1021/acs.chemmater.2c03542

Yeung J, Florescu M, Zeller P, De Barbanson BA, Wellenstein MD, Van Oudenaarden A. scChIX-seq infers dynamic relationships between histone modifications in single cells. Nature Biotechnology. 2023;41:813–823. doi:10.1038/s41587-022-01560-3

Boccato C, Seiringer R. The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. 2023;24:1505-1560. doi:10.1007/s00023-022-01252-3

Stock M, Milutinovic B, Hönigsberger M, et al. Pathogen evasion of social immunity. Nature Ecology and Evolution. 2023;7:450-460. doi:10.1038/s41559-023-01981-6

Hales J, Bajpai U, Liu T, et al. Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. 2023;14. doi:10.1038/s41467-023-38540-3

Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:13175

Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:12900

Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi:10.1007/978-3-031-37703-7_17

Glajzer J, Castillo-Tong DC, Richter R, 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. 2023;30:35-45. doi:10.1245/s10434-022-12459-3

Vierra NC, Ribeiro-Silva L, Kirmiz M, et al. Neuronal ER-plasma membrane junctions couple excitation to C+-activated PKA signaling. Nature Communications. 2023;14. doi:10.1038/s41467-023-40930-6

Kretinsky J, Meggendorfer T, Prokop M, Rieder S. Guessing winning policies in LTL synthesis by semantic learning. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:390-414. doi:10.1007/978-3-031-37706-8_20

Anastos M, Fabian D, Müyesser A, Szabó T. Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets. Electronic Journal of Combinatorics. 2023;30(3). doi:10.37236/11714

Sun Y, Fu H, Chatterjee K, Goharshady AK. Automated tail bound analysis for probabilistic recurrence relations. In: Computer Aided Verification. Vol 13966. Springer Nature; 2023:16-39. doi:10.1007/978-3-031-37709-9_2

Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In: International Conference on Computer Aided Verification. Vol 13966. Springer Nature; 2023:86-112. doi:10.1007/978-3-031-37709-9_5

Dvorak M, Blanchette J. Closure properties of general grammars - formally verified. In: 14th International Conference on Interactive Theorem Proving. Vol 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ITP.2023.15

Graham T, Kleshnina M, Filar JA. Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. 2023;13:231-264. doi:10.1007/s13235-022-00425-3

Wagner B, Slipogor V, Oh J, Varga M, Hoeschele M. 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. 2023;26(5). doi:10.1111/desc.13395

Ivanov G, Köse S. Erds-Ko-Rado and Hilton-Milner theorems for two-forms. Discrete Mathematics. 2023;346(6). doi:10.1016/j.disc.2023.113363

Corbet R, Kerber M, Lesnick M, Osang GF. Computing the multicover bifiltration. Discrete and Computational Geometry. 2023;70:376-405. doi:10.1007/s00454-022-00476-8

Boissonnat JD, Wintraecken M. The reach of subsets of manifolds. Journal of Applied and Computational Topology. 2023;7:619-641. doi:10.1007/s41468-023-00116-x

Tomaszewska P, Lampert C. On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift. In: International Workshop on Reproducible Research in Pattern Recognition. Vol 14068. Springer Nature; 2023:67-73. doi:10.1007/978-3-031-40773-4_6

Dodis Y, Ferguson N, Goldin E, Hall P, Pietrzak KZ. Random oracle combiners: Breaking the concatenation barrier for collision-resistance. In: 43rd Annual International Cryptology Conference. Vol 14082. Springer Nature; 2023:514-546. doi:10.1007/978-3-031-38545-2_17

Qiu L, Sahu R, Hease WJ, Arnold GM, Fink JM. Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. 2023;14. doi:10.1038/s41467-023-39493-3

Dubach G, Erdös L. Dynamics of a rank-one perturbation of a Hermitian matrix. Electronic Communications in Probability. 2023;28:1-13. doi:10.1214/23-ECP516

Browning TD, Boudec PL, Sawin W. The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. 2023;197(3):1115-1203. doi:10.4007/annals.2023.197.3.3

Hoffmann C, Simkin M. Stronger lower bounds for leakage-resilient secret sharing. In: 8th International Conference on Cryptology and Information Security in Latin America. Vol 14168. Springer Nature; 2023:215-228. doi:10.1007/978-3-031-44469-2_11

Henzinger TA, Kueffner K, Mallik K. Monitoring algorithmic fairness under partial observations. In: 23rd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:291-311. doi:10.1007/978-3-031-44267-4_15

Brooks M, Seiringer R. The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy. Communications in Mathematical Physics. 2023;404:287-337. doi:10.1007/s00220-023-04841-3

Rao P, Mallikarjun BR, Fox G, et al. A deeper analysis of volumetric relightiable faces. International Journal of Computer Vision. 2023. doi:10.1007/s11263-023-01899-3

Beaver D, Kelkar M, Lewi K, et al. STROBE: Streaming Threshold Random Beacons. In: 5th Conference on Advances in Financial Technologies. Vol 282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.AFT.2023.7

Helson V, Zwettler T, Mivehvar F, et al. Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. 2023;618:716-720. doi:10.1038/s41586-023-06018-3

Bhattacharya S, Henzinger MH, Nanongkai D, Wu X. Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. 2023;52(5):1132-1192. doi:10.1137/21M1428649

Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D. Learning provably stabilizing neural controllers for discrete-time stochastic systems. In: 21st International Symposium on Automated Technology for Verification and Analysis. Vol 14215. Springer Nature; 2023:357-379. doi:10.1007/978-3-031-45329-8_17

Kaiyrzhanov R, Rad A, Lin S-J, et al. Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain. 2023. doi:10.1093/brain/awad380

Fäßler F, Javoor M, Datler J, et al. Arp isoforms regulate Ar/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. 2023;9(3). doi:10.1126/sciadv.add6495

Schur FK. Research data of the publication “Arp isoforms regulate Ar/3 complex-dependent protrusion through differential Ena/VASP positioning.”10.15479/AT:ISTA:14562__2023. doi:10.15479/AT:ISTA:14562

Bussi C, Mangiarotti A, Vanhille-Campos CE, et al. Stress granules plug and stabilize damaged endolysosomal membranes. Nature. 2023. doi:10.1038/s41586-023-06726-w

Schmid S, Svoboda J, Yeo MX. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. In: SIROCCO 2023: Structural Information and Communication Complexity . Vol 13892. Springer Nature; 2023:576-594. doi:10.1007/978-3-031-32733-9_26

Scarpetta S, Morrisi N, Mutti C, et al. Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture. iScience. 2023;26(10):107840. doi:10.1016/j.isci.2023.107840

Liao K, Tricard T, Piovarci M, Seidel H-P, Babaei V. Learning deposition policies for fused multi-material 3D printing. In: 2023 IEEE International Conference on Robotics and Automation. Vol 2023. IEEE; 2023:12345-12352. doi:10.1109/ICRA48891.2023.10160465

Benedikter NP, Porta M, Schlein B, Seiringer R. Correlation energy of a weakly interacting Fermi gas with large interaction potential. Archive for Rational Mechanics and Analysis. 2023;247(4). doi:10.1007/s00205-023-01893-6

Hassani F, Peruzzo M, Kapoor L, Trioni A, Zemlicka M, Fink JM. Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours. Nature Communications. 2023;14. doi:10.1038/s41467-023-39656-2

Zhang H. Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. 2023. doi:10.1007/s00023-023-01345-7

Sugimoto S, Henheik SJ, Riabov V, Erdös L. Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. 2023;190(7). doi:10.1007/s10955-023-03132-4

Fulek R, Gärtner B, Kupavskii A, Valtr P, Wagner U. The crossing Tverberg theorem. Discrete and Computational Geometry. 2023. doi:10.1007/s00454-023-00532-x

Méhes E, Mones E, Varga M, et al. 3D cell segregation geometry and dynamics are governed by tissue surface tension regulation. Communications Biology. 2023;6. doi:10.1038/s42003-023-05181-7

Zhao Z, Vercellino I, Knoppová J, et al. The Ycf48 accessory factor occupies the site of the oxygen-evolving manganese cluster during photosystem II biogenesis. Nature Communications. 2023;14. doi:10.1038/s41467-023-40388-6

Puixeu Sala G. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. 2023. doi:10.15479/at:ista:14058

Puixeu Sala G, Macon A, Vicoso B. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. : Genes, Genomes, Genetics. 2023;13(8). doi:10.1093/g3journal/jkad121