Schmid, S., Svoboda, J., &; Yeo, M. X. (2024). Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2023.114353 

Hansen, A. H., &; Hippenmeyer, S. (2024). Time-lapse imaging of cortical projection neuron migration in mice using mosaic analysis with double markers. STAR Protocols. Elsevier.https://doi.org/10.1016/j.xpro.2023.102795 

Kramarenko, I., Kerutt, J., Verhamme, A., Oesch, P. A., Barrufet, L., Matthee, J. J.,https://doi.org/10.1093/mnras/stad3853__Thai, T. T. (2024). Linking UV spectral properties of MUSE Ly;1 emitters at zhttps://doi.org/10.1093/mnras/stad3853__3 to Lyman continuum escape. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stad3853 

De Nooijer, P., Terziadis, S., Weinberger, A., Masárová, Z., Mchedlidze, T., Löffler, M., &; Rote, G. (2024). Removing popular faces in curve arrangements. In 31st International Symposium on Graph Drawing and Network Visualization (Vol. 14466, pp. 18–33). Isola delle Femmine, Palermo, Italy: Springer Nature.https://doi.org/10.1007/978-3-031-49275-4_2 

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

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

Pach, J., Saghafian, M., &; Schnider, P. (2024). Decomposition of geometric graphs into star-forests. In 31st International Symposium on Graph Drawing and Network Visualization (Vol. 14465, pp. 339–346). Isola delle Femmine, Palermo, Italy: Springer Nature.https://doi.org/10.1007/978-3-031-49272-3_23 

Goranci, G., Henzinger, M. H., Räcke, H., Sachdeva, S., &; Sricharan, A. R. (2024). Electrical flows for polylogarithmic competitive oblivious routing. In 15th Innovations in Theoretical Computer Science Conference (Vol. 287). Berkeley, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ITCS.2024.55 

Franco, D. G., Avalos, R., Hafner, D., Modic, K. A., Prots, Y., Stockert, O.,https://doi.org/10.1103/PhysRevB.109.054405__Geibel, C. (2024). Frustrated magnetism in octahedra-based Ce6 Ni6 . Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.109.054405 

Shimura, Y., Godfrin, C., Hikavyy, A., Li, R., Aguilera Servin, J. L., Katsaros, G.,https://doi.org/10.1016/j.mssp.2024.108231__Loo, R. (2024). Compressively strained epitaxial Ge layers for quantum computing applications. Materials Science in Semiconductor Processing. Elsevier.https://doi.org/10.1016/j.mssp.2024.108231 

Hledik, M. (2024). Genetic information and biological optimization. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:15020 

Zheng, D. W., &; Henzinger, M. H. (2024). Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. Springer Nature.https://doi.org/10.1007/s10107-024-02066-3 

Greene, J. E., Labbe, I., Goulding, A. D., Furtak, L. J., Chemerynska, I., Kokorev, V.,https://doi.org/10.3847/1538-4357/ad1e5f__Zitrin, A. (2024). UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z &; 5. Astrophysical Journal. IOP Publishing.https://doi.org/10.3847/1538-4357/ad1e5f 

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

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

Matthee, J. J., Naidu, R. P., Brammer, G., Chisholm, J., Eilers, A.-C., Goulding, A.,https://doi.org/10.3847/1538-4357/ad2345__Yue, M. (2024). 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. American Astronomical Society.https://doi.org/10.3847/1538-4357/ad2345 

Matthee, J. J., Golling, C., Mackenzie, R., Pezzulli, G., Lilly, S., Schaye, J.,https://doi.org/10.1093/mnras/stae673__Wisotzki, L. (2024). Large-scale excess H I absorption around zhttps://doi.org/10.1093/mnras/stae673__4 galaxies detected in a background galaxy spectrum in the MUSE eXtremely deep field. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stae673 

Olusanya, O. O. (2024). Local adaptation, genetic load and extinction in metapopulations. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14711 

Mahato, N., Singh, S., Sreekanth, T. V. M., Yoo, K., &; Kim, J. (2024). 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. Elsevier.https://doi.org/10.1016/j.est.2024.111464 

Pensabene, A., Cantalupo, S., Cicone, C., Decarli, R., Galbiati, M., Ginolfi, M.,https://doi.org/10.1051/0004-6361/202348659__Maseda, M. V. (2024). 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. EDP Sciences.https://doi.org/10.1051/0004-6361/202348659 

Zeng, Z., Shen, X., Cheng, R., Perez, O., Ouyang, N., Fan, Z.,https://doi.org/10.1038/s41467-024-46799-3__Chen, Y. (2024). Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-46799-3 

Browning, T. D., &; Shparlinski, I. E. (2024). Square-free values of random polynomials. Journal of Number Theory. Elsevier.https://doi.org/10.1016/j.jnt.2024.02.013 

Chalupa, M., &; Richter, C. (2024). 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, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature.https://doi.org/10.1007/978-3-031-57256-2_20 

Mahato, N., Singh, S., Sreekanth, T. V. M., Yoo, K., &; Kim, J. (2024). In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage. Materials Letters. Elsevier.https://doi.org/10.1016/j.matlet.2024.136483 

Barton, N. H., &; Sachdeva, H. (2024). Limits to selection on standing variation in an asexual population. Theoretical Population Biology. Elsevier.https://doi.org/10.1016/j.tpb.2024.04.001 

Hibshman, G. N., Bravo, J. P. K., Hooper, M. M., Dangerfield, T. L., Zhang, H., Finkelstein, I. J.,https://doi.org/10.1038/s41467-024-47830-3__Taylor, D. W. (2024). Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Ca. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-47830-3 

Avni, G., Mallik, K., &; Sadhukhan, S. (2024). Auction-based scheduling. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 153–172). Luxembourg City, Luxembourg: Springer Nature.https://doi.org/10.1007/978-3-031-57256-2_8 

Majumdar, R., Saflam, I., &; Thejaswini, K. S. (2024). Rabin games and colourful universal trees. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 213–231). Springer Nature.https://doi.org/10.1007/978-3-031-57256-2_11 

Schanda, P. (2024). Raw data to “MAS NMR experiments of corynebacterial cell walls: complementary 1H- and CPMAS CryoProbe-enhanced 13C-detected experiments.”https://doi.org/10.15479/AT:ISTA:17042__ISTA.https://doi.org/10.15479/AT:ISTA:17042 

Auerbach, B., Günther, C. U., &; Pietrzak, K. Z. (2024). Trapdoor memory-hard functions. In 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques (Vol. 14653, pp. 315–344). Zurich, Switzerland: Springer Nature.https://doi.org/10.1007/978-3-031-58734-4_11 

Zeller, P., Yeung, J., Viñas Gaza, H., de Barbanson, B. A., Bhardwaj, V., Florescu, M.,https://doi.org/10.1038/s41588-022-01260-3__van Oudenaarden, A. (2023). Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. Springer Nature.https://doi.org/10.1038/s41588-022-01260-3 

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

Aksenov, V., Brown, T. A., Fedorov, A., &; Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery.https://doi.org/10.1145/3572848.3577512 

Chalupa, M., &; Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_32 

Chalupa, M., Mühlböck, F., Muroya Lei, S., &; Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30826-0_15 

Hoffmann, C., Hubádek, P., Kamath, C., &; Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-31368-4_19 

Chatterjee, K., Henzinger, T. A., Lechner, M., &; Zikelic, D. (2023). 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, pp. 3–25). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30823-9_1 

Anand, A., Mallik, K., Nayak, S. P., &; Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_15 

Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30829-1_17 

García-Romero, Á., Waters, J. E., Jethwa, R. B., Bond, A. D., Colebatch, A. L., García-Rodríguez, R., &; Wright, D. S. (2023). Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies with coinage metals. Inorganic Chemistry. American Chemical Society.https://doi.org/10.1021/acs.inorgchem.3c00057 

Karle, V., Ghazaryan, A., &; Lemeshko, M. (2023). Topological charges of periodically kicked molecules. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.130.103202 

Ljubotina, M., Desaules, J. Y., Serbyn, M., &; Papi, Z. (2023). Superdiffusive energy transport in kinetically constrained models. Physical Review X. American Physical Society.https://doi.org/10.1103/PhysRevX.13.011033 

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

Madani, A., Sletten, E. T., Cavedon, C., Seeberger, P. H., &; Pieber, B. (2023). Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-;1-D-glucofuranose. Organic Syntheses. Organic Syntheses.https://doi.org/10.15227/orgsyn.100.0271 

Wang, S., Chang, C., Bai, S., Qin, B., Zhu, Y., Zhan, S.,https://doi.org/10.1021/acs.chemmater.2c03542__Zhao, L. D. (2023). Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. American Chemical Society.https://doi.org/10.1021/acs.chemmater.2c03542 

Yeung, J., Florescu, M., Zeller, P., De Barbanson, B. A., Wellenstein, M. D., &; Van Oudenaarden, A. (2023). scChIX-seq infers dynamic relationships between histone modifications in single cells. Nature Biotechnology. Springer Nature.https://doi.org/10.1038/s41587-022-01560-3 

Boccato, C., &; Seiringer, R. (2023). The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. Springer Nature.https://doi.org/10.1007/s00023-022-01252-3 

Hales, J., Bajpai, U., Liu, T., Baykusheva, D. R., Li, M., Mitrano, M., &; Wang, Y. (2023). Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-023-38540-3 

Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13175 

Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12900 

Henzinger, T. A., Karimi, M., Kueffner, K., &; Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37703-7_17 

Glajzer, J., Castillo-Tong, D. C., Richter, R., Vergote, I., Kulbe, H., Vanderstichele, A.,https://doi.org/10.1245/s10434-022-12459-3__Braicu, E. I. (2023). 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. Springer Nature.https://doi.org/10.1245/s10434-022-12459-3 

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

Sun, Y., Fu, H., Chatterjee, K., &; Goharshady, A. K. (2023). Automated tail bound analysis for probabilistic recurrence relations. In Computer Aided Verification (Vol. 13966, pp. 16–39). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37709-9_2 

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

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

Graham, T., Kleshnina, M., &; Filar, J. A. (2023). Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. Springer Nature.https://doi.org/10.1007/s13235-022-00425-3 

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

Corbet, R., Kerber, M., Lesnick, M., &; Osang, G. F. (2023). Computing the multicover bifiltration. Discrete and Computational Geometry. Springer Nature.https://doi.org/10.1007/s00454-022-00476-8 

Boissonnat, J. D., &; Wintraecken, M. (2023). The reach of subsets of manifolds. Journal of Applied and Computational Topology. Springer Nature.https://doi.org/10.1007/s41468-023-00116-x 

Tomaszewska, P., &; Lampert, C. (2023). 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, pp. 67–73). Montreal, Canada: Springer Nature.https://doi.org/10.1007/978-3-031-40773-4_6 

Dodis, Y., Ferguson, N., Goldin, E., Hall, P., &; Pietrzak, K. Z. (2023). Random oracle combiners: Breaking the concatenation barrier for collision-resistance. In 43rd Annual International Cryptology Conference (Vol. 14082, pp. 514–546). Santa Barbara, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-38545-2_17 

Qiu, L., Sahu, R., Hease, W. J., Arnold, G. M., &; Fink, J. M. (2023). Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. Nature Research.https://doi.org/10.1038/s41467-023-39493-3 

Dubach, G., &; Erdös, L. (2023). Dynamics of a rank-one perturbation of a Hermitian matrix. Electronic Communications in Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/23-ECP516 

Browning, T. D., Boudec, P. L., &; Sawin, W. (2023). The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. Princeton University.https://doi.org/10.4007/annals.2023.197.3.3 

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

Henzinger, T. A., Kueffner, K., &; Mallik, K. (2023). Monitoring algorithmic fairness under partial observations. In 23rd International Conference on Runtime Verification (Vol. 14245, pp. 291–311). Thessaloniki, Greece: Springer Nature.https://doi.org/10.1007/978-3-031-44267-4_15 

Brooks, M., &; Seiringer, R. (2023). The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s00220-023-04841-3 

Rao, P., Mallikarjun, B. R., Fox, G., Weyrich, T., Bickel, B., Pfister, H.,https://doi.org/10.1007/s11263-023-01899-3__Elgharib, M. (2023). A deeper analysis of volumetric relightiable faces. International Journal of Computer Vision. Springer Nature.https://doi.org/10.1007/s11263-023-01899-3 

Beaver, D., Kelkar, M., Lewi, K., Nikolaenko, V., Sonnino, A., Chalkias, K.,https://doi.org/10.4230/LIPIcs.AFT.2023.7__Roy, A. (2023). STROBE: Streaming Threshold Random Beacons. In 5th Conference on Advances in Financial Technologies (Vol. 282). Princeton, NJ, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.AFT.2023.7 

Helson, V., Zwettler, T., Mivehvar, F., Colella, E., Roux, K. E. R., Konishi, H.,https://doi.org/10.1038/s41586-023-06018-3__Brantut, J. P. (2023). Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. Springer Nature.https://doi.org/10.1038/s41586-023-06018-3 

Bhattacharya, S., Henzinger, M. H., Nanongkai, D., &; Wu, X. (2023). Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. Society for Industrial and Applied Mathematics.https://doi.org/10.1137/21M1428649 

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

Fäßler, F., Javoor, M., Datler, J., Döring, H., Hofer, F., Dimchev, G. A.,https://doi.org/10.1126/sciadv.add6495__Schur, F. K. (2023). Arp isoforms regulate Ar/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. American Association for the Advancement of Science.https://doi.org/10.1126/sciadv.add6495 

Schur, F. K. (2023). Research data of the publication “Arp isoforms regulate Ar/3 complex-dependent protrusion through differential Ena/VASP positioning.”https://doi.org/10.15479/AT:ISTA:14562__Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:14562 

Bussi, C., Mangiarotti, A., Vanhille-Campos, C. E., Aylan, B., Pellegrino, E., Athanasiadi, N.,https://doi.org/10.1038/s41586-023-06726-w__Gutierrez, M. G. (2023). Stress granules plug and stabilize damaged endolysosomal membranes. Nature. Springer Nature.https://doi.org/10.1038/s41586-023-06726-w 

Schmid, S., Svoboda, J., &; Yeo, M. X. (2023). Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. In SIROCCO 2023: Structural Information and Communication Complexity  (Vol. 13892, pp. 576–594). Alcala de Henares, Spain: Springer Nature.https://doi.org/10.1007/978-3-031-32733-9_26 

Scarpetta, S., Morrisi, N., Mutti, C., Azzi, N., Trippi, I., Ciliento, R.,https://doi.org/10.1016/j.isci.2023.107840__Vaudano, A. E. (2023). Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture. IScience. Elsevier.https://doi.org/10.1016/j.isci.2023.107840 

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

Zhang, H. (2023). Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. Springer Nature.https://doi.org/10.1007/s00023-023-01345-7 

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

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

Méhes, E., Mones, E., Varga, M., Zsigmond, Á., Biri-Kovács, B., Nyitray, L.,https://doi.org/10.1038/s42003-023-05181-7__Vicsek, T. (2023). 3D cell segregation geometry and dynamics are governed by tissue surface tension regulation. Communications Biology. Springer Nature.https://doi.org/10.1038/s42003-023-05181-7 

Puixeu Sala, G. (2023). 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.https://doi.org/10.15479/at:ista:14058 

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

Zeng, G., Sun, Q., Horta, S., Wang, S., Lu, X., Zhang, C.,https://doi.org/10.1002/adma.202305128__Cabot, A. (n.d.). A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. Advanced Materials. Wiley.https://doi.org/10.1002/adma.202305128 

Hoffmann, C., Hubádek, P., Kamath, C., &; Krák, T. (2023). (Verifiable) delay functions from Lucas sequences. In 21st International Conference on Theory of Cryptography (Vol. 14372, pp. 336–362). Taipei, Taiwan: Springer Nature.https://doi.org/10.1007/978-3-031-48624-1_13 

Auerbach, B., Cueto Noval, M., Pascual Perez, G., &; Pietrzak, K. Z. (2023). On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 271–300). Taipei, Taiwan: Springer Nature.https://doi.org/10.1007/978-3-031-48621-0_10 

Auerbach, B., Hoffmann, C., &; Pascual Perez, G. (2023). Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 301–330). Springer Nature.https://doi.org/10.1007/978-3-031-48621-0_11 

Stopp, J. A. (2023). Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14697 

Pastva, S., &; Henzinger, T. A. (2023). Binary decision diagrams on modern hardware. In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design (pp. 122–131). Ames, IA, United States: TU Vienna Academic Press.https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20 

Zhou, L.-Z., Wang, L., Chen, X., Ge, Z., Mergner, J., Li, X.,https://doi.org/10.1093/plcell/koad324__Dresselhaus, T. (2023). The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize. The Plant Cell. Oxford University Press.https://doi.org/10.1093/plcell/koad324 

Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D.,https://doi.org/10.46298/DMTCS.8383__Turcotte, A. (2023). Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. EPI Sciences.https://doi.org/10.46298/DMTCS.8383 

Stefo, C., Xiang, Z., &; Kokoris Kogias, E. (2023). Executing and proving over dirty ledgers. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 3–20). Bol, Brac, Croatia: Springer Nature.https://doi.org/10.1007/978-3-031-47754-6_1 

Bastankhah, M., Chatterjee, K., Maddah-Ali, M. A., Schmid, S., Svoboda, J., &; Yeo, M. X. (2023). : Boosting liquidity in payment channel networks with online admission control. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 309–325). Bol, Brac, Croatia: Springer Nature.https://doi.org/10.1007/978-3-031-47754-6_18 

Avarikioti, Z., Desjardins, A., Kokoris Kogias, E., &; Wattenhofer, R. (2023). Divide &; Scale: Formalization and roadmap to robust sharding. In 30th International Colloquium on Structural Information and Communication Complexity (Vol. 13892, pp. 199–245). Alcalá de Henares, Spain: Springer Nature.https://doi.org/10.1007/978-3-031-32733-9_10 

Zhang, Y. (2023). Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/tit.2023.3257239 

Teplova, A., Pigidanov, A. A., Serebryakova, M. V., Golyshev, S. A., Galiullina, R. A., Chichkova, N. V., &; Vartapetian, A. B. (2023). Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3. International Journal of Molecular Sciences. MDPI.https://doi.org/10.3390/ijms242216527 

Schnelli, K., &; Xu, Y. (2023). Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices. The Annals of Applied Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/22-aap1826 

Dymond, M., &; Kaluza, V. (2023). Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. Springer Nature.https://doi.org/10.1007/s10711-023-00862-3