[{"_id":"21037","publication_status":"epub_ahead","date_updated":"2026-02-12T13:05:19Z","intvolume":" 324","month":"01","quality_controlled":"1","date_published":"2026-01-12T00:00:00Z","article_processing_charge":"Yes (in subscription journal)","OA_type":"hybrid","doi":"10.1016/j.ces.2026.123348","article_number":"123348","publication":"Chemical Engineering Science","day":"12","citation":{"ista":"Shi C, Horta S, Ibáñez M, Kallio T, Martínez-Alanis PR, Wang X, Cabot A. 2026. Hydrogen induced palladium-based heterojunction electrocatalysts to enhance the oxygen reduction reaction performance. Chemical Engineering Science. 324, 123348.","mla":"Shi, Changwei, et al. “Hydrogen Induced Palladium-Based Heterojunction Electrocatalysts to Enhance the Oxygen Reduction Reaction Performance.” Chemical Engineering Science, vol. 324, 123348, Elsevier, 2026, doi:10.1016/j.ces.2026.123348.","ama":"Shi C, Horta S, Ibáñez M, et al. Hydrogen induced palladium-based heterojunction electrocatalysts to enhance the oxygen reduction reaction performance. Chemical Engineering Science. 2026;324. doi:10.1016/j.ces.2026.123348","chicago":"Shi, Changwei, Sharona Horta, Maria Ibáñez, Tanja Kallio, Paulina R. Martínez-Alanis, Xiang Wang, and Andreu Cabot. “Hydrogen Induced Palladium-Based Heterojunction Electrocatalysts to Enhance the Oxygen Reduction Reaction Performance.” Chemical Engineering Science. Elsevier, 2026. https://doi.org/10.1016/j.ces.2026.123348.","ieee":"C. Shi et al., “Hydrogen induced palladium-based heterojunction electrocatalysts to enhance the oxygen reduction reaction performance,” Chemical Engineering Science, vol. 324. Elsevier, 2026.","apa":"Shi, C., Horta, S., Ibáñez, M., Kallio, T., Martínez-Alanis, P. R., Wang, X., & Cabot, A. (2026). Hydrogen induced palladium-based heterojunction electrocatalysts to enhance the oxygen reduction reaction performance. Chemical Engineering Science. Elsevier. https://doi.org/10.1016/j.ces.2026.123348","short":"C. Shi, S. Horta, M. Ibáñez, T. Kallio, P.R. Martínez-Alanis, X. Wang, A. Cabot, Chemical Engineering Science 324 (2026)."},"oa_version":"Published Version","type":"journal_article","title":"Hydrogen induced palladium-based heterojunction electrocatalysts to enhance the oxygen reduction reaction performance","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"publisher","article_type":"original","volume":324,"publication_identifier":{"issn":["1873-4405"],"eissn":["0009-2509"]},"acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"NanoFab"}],"acknowledgement":"The authors thank the support from the National Natural Science Foundation of China (NSFC) (Grants No. 22302151) and Natural Science Foundation of Hubei Province (Grants No. 2024AFB755, 2024AFB267), Key Project of Hubei Provincial Department of Education Scientific Research Plan (F2023007). This work is supported by funding from Shandong Provincial Key Laboratory of MonocrystallineSilicon Semiconductor Materials and Technology (2025KFKT021). This research was supported by the Scientific Service Units (SSU) of ISTA Austria through resources provided by the Electron Microscopy Facility (EMF) and the Nanofabrication Facility (NNF). “M.I. and S.H. acknowledge financial support from ISTA and the Werner Siemens Foundation.”","abstract":[{"text":"The oxygen reduction reaction (ORR) remains a critical bottleneck in fuel cells and metal-air batteries due to the lack of highly efficient electrocatalysts. Here, we report a simple strategy for synthesizing a palladium-based heterostructured electrocatalyst supported on a carbon nitride matrix (PdH-Pd@CN), which exhibits remarkable ORR activity with a half-wave potential of 0.91 V and excellent durability in 0.1 M KOH. Within the heterostructure, hydrogen intercalation expands the Pd lattice, while interstitial hydrogen doping facilitates charge transfer from Pd to H owing to their electronegativity difference. These synergistic effects modulate the electronic structure, thereby enhancing both activity and stability. When employed in Zn-air batteries, PdH-Pd@CN delivers a maximum power density of 176 mW cm− (Liu et al., 2025) and capacity of 805 mAh g− (Sun et al., 2021) Zn. These findings demonstrate the strong potential of PdH-Pd@CN as an efficient ORR electrocatalyst for next-generation metal-air batteries and related energy technologies.","lang":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.ces.2026.123348"}],"date_created":"2026-01-25T23:01:39Z","publisher":"Elsevier","oa":1,"has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"project":[{"_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A","name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery"}],"ddc":["540"],"status":"public","department":[{"_id":"MaIb"}],"PlanS_conform":"1","author":[{"full_name":"Shi, Changwei","first_name":"Changwei","last_name":"Shi"},{"full_name":"Horta, Sharona","last_name":"Horta","id":"03a7e858-01b1-11ec-8b71-99ae6c4a05bc","first_name":"Sharona"},{"id":"43C61214-F248-11E8-B48F-1D18A9856A87","last_name":"Ibáñez","first_name":"Maria","orcid":"0000-0001-5013-2843","full_name":"Ibáñez, Maria"},{"last_name":"Kallio","first_name":"Tanja","full_name":"Kallio, Tanja"},{"last_name":"Martínez-Alanis","first_name":"Paulina R.","full_name":"Martínez-Alanis, Paulina R."},{"full_name":"Wang, Xiang","last_name":"Wang","first_name":"Xiang"},{"last_name":"Cabot","first_name":"Andreu","full_name":"Cabot, Andreu"}],"language":[{"iso":"eng"}],"year":"2026"},{"abstract":[{"text":"Little Red Dots (LRDs) are compact sources at z > 5 discovered through James Webb Space Telescope spectroscopy. Their spectra exhibit broad Balmer emission lines (>~1000 km s^−1), alongside absorption features and a pronounced Balmer break – evidence for a dense, neutral hydrogen medium, in which the n = 2 state is significantly populated. When interpreted as arising\r\nfrom active galactic nucleus broad-line regions, inferred black hole masses from local scaling relations exceed expectations given their stellar masses, challenging models of early black hole–galaxy co-evolution. However, radiative transfer effects in dense media may also impact the formation of hydrogen emission lines. We model three scattering processes shaping hydrogen\r\nline profiles: resonance scattering by hydrogen in the n = 2 state, Raman scattering of ultraviolet (UV) radiation by ground-state hydrogen, and Thomson scattering by free electrons. Using 3D Monte Carlo radiative transfer simulations, we examine their imprint on line shapes and ratios. Resonance scattering produces strong deviations from Case B flux ratios, clear differences\r\nbetween Hα and Hβ, and encodes gas kinematics in line profiles but cannot broaden Hβ due to conversion to Paα. While Raman scattering can yield broad wings, scattering of the UV continuum is disfavoured given the absence of strong full width at half-maximum variations across transitions. Raman scattering of higher Lyman-series emission can produce Hα/Hβ wing\r\nwidth ratios of >~1.28, agreeing with observations. Thomson scattering can reproduce the observed >~ 1000 km s^−1 wings under plausible conditions – e.g. Te ∼ 10^4 K and Ne ∼ 10^24 cm^−2 – and lead to black hole mass overestimates by factors 10. Our results provide a framework for interpreting hydrogen lines in LRDs and similar systems.","lang":"eng"}],"arxiv":1,"issue":"4","acknowledgement":"The authorsthank the anonymousreferee for constructive comments, which improved the clarity of this paper. SJC acknowledges support from the ERC synergy grant 101166930 – RECAP. MG thanks the Max Planck Society for support through the Max Planck Research Group, and the European Union forsupport through ERC-2024-STG 101165038 (ReMMU). JM acknowledges funding by the European Union (ERC, AGENTS, 101076224). CAM acknowledges support\r\nby the European Union ERC grant RISES (101163035), Carlsberg Foundation (CF22-1322), and VILLUM FONDEN (37459). Computations were performed on HPC systems Freya and Orion at the Max Planck Computing and Data Facility.","publication_identifier":{"eissn":["1365-2966"],"issn":["0035-8711"]},"volume":545,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","OA_place":"publisher","project":[{"grant_number":"101076224","_id":"bd9b2118-d553-11ed-ba76-db24564edfea","name":"Young galaxies as tracers and agents of cosmic reionization"}],"has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2026-01-25T23:01:39Z","publisher":"Oxford University Press","oa":1,"file_date_updated":"2026-02-12T12:44:33Z","status":"public","ddc":["520"],"author":[{"last_name":"Chang","first_name":"Seok Jun","full_name":"Chang, Seok Jun"},{"full_name":"Gronke, Max","last_name":"Gronke","first_name":"Max"},{"last_name":"Matthee","id":"7439a258-f3c0-11ec-9501-9df22fe06720","first_name":"Jorryt J","orcid":"0000-0003-2871-127X","full_name":"Matthee, Jorryt J"},{"first_name":"Charlotte","last_name":"Mason","full_name":"Mason, Charlotte"}],"year":"2026","language":[{"iso":"eng"}],"PlanS_conform":"1","DOAJ_listed":"1","department":[{"_id":"JoMa"}],"date_published":"2026-02-01T00:00:00Z","month":"02","intvolume":" 545","quality_controlled":"1","_id":"21038","date_updated":"2026-02-12T12:56:33Z","publication_status":"published","doi":"10.1093/mnras/staf2131","article_number":"staf2131","article_processing_charge":"Yes","OA_type":"gold","citation":{"apa":"Chang, S. J., Gronke, M., Matthee, J. J., & Mason, C. (2026). Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/staf2131","short":"S.J. Chang, M. Gronke, J.J. Matthee, C. Mason, Monthly Notices of the Royal Astronomical Society 545 (2026).","ieee":"S. J. Chang, M. Gronke, J. J. Matthee, and C. Mason, “Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots,” Monthly Notices of the Royal Astronomical Society, vol. 545, no. 4. Oxford University Press, 2026.","chicago":"Chang, Seok Jun, Max Gronke, Jorryt J Matthee, and Charlotte Mason. “Impact of Resonance, Raman, and Thomson Scattering on Hydrogen Line Formation in Little Red Dots.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2026. https://doi.org/10.1093/mnras/staf2131.","ama":"Chang SJ, Gronke M, Matthee JJ, Mason C. Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots. Monthly Notices of the Royal Astronomical Society. 2026;545(4). doi:10.1093/mnras/staf2131","mla":"Chang, Seok Jun, et al. “Impact of Resonance, Raman, and Thomson Scattering on Hydrogen Line Formation in Little Red Dots.” Monthly Notices of the Royal Astronomical Society, vol. 545, no. 4, staf2131, Oxford University Press, 2026, doi:10.1093/mnras/staf2131.","ista":"Chang SJ, Gronke M, Matthee JJ, Mason C. 2026. Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots. Monthly Notices of the Royal Astronomical Society. 545(4), staf2131."},"file":[{"date_updated":"2026-02-12T12:44:33Z","content_type":"application/pdf","file_size":5600366,"access_level":"open_access","file_name":"2026_MonthNoticesRAS_Chang.pdf","date_created":"2026-02-12T12:44:33Z","creator":"dernst","success":1,"file_id":"21220","relation":"main_file","checksum":"52ba7d7b5b80af0c50f57e4c2acc3930"}],"external_id":{"arxiv":["2508.08768"]},"publication":"Monthly Notices of the Royal Astronomical Society","day":"01","scopus_import":"1","title":"Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots","type":"journal_article","oa_version":"Published Version"},{"main_file_link":[{"url":"https://doi.org/10.1101/2025.07.05.662934","open_access":"1"}],"abstract":[{"lang":"eng","text":"Cellular plasticity, the ability of a differentiated cell to adopt another phenotypic identity, is restricted under basal conditions, but can be elicited upon damage. However, the molecular mechanism enabling such plasticity remains largely unexplored. Here, we report damage-induced cellular plasticity of secretory enteroendocrine cells (EEs) in the adult Drosophila midgut. Ionizing radiation induces EE fate conversion and activates stress-responsive programs in EE lineages, accompanied by the induction of the stress-inducible transcription factor Xrp1 and the cytokine gene upd3. Xrp1 and upd3 are both necessary for radiation-induced EE plasticity. Under basal conditions, EE-specific Xrp1 overexpression triggers ectopic expression of progenitor-specific genes, which is necessary for Xrp1 to drive EE plasticity. Our work identifies Xrp1 as a crucial regulator that coordinates damage-induced signaling and transcriptional reprogramming, enabling the reactivation of cellular plasticity in differentiated cells."}],"acknowledgement":"We thank Pierre Léopold, Tatsushi Igaki, Erik Storkebaum, Tobias Reiff, Masayuki Miura, Xiaohang Yang, Mikio Furuse, Bloomington Drosophila Stock Center and Developmental Studies Hybridoma Bank for providing us with fly stocks and reagents. We are also grateful to Hiromi Yanagisawa, Satoru Kobayashi, Md Al Amin Sheikh and Yaxuan Cui for allowing us to use their equipment, and to Allison Bardin, Pierre Léopold and Tadashi Uemura for helpful discussions.","issue":"2","publication_identifier":{"issn":["0950-1991"],"eissn":["1477-9129"]},"volume":153,"OA_place":"repository","article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"The Company of Biologists","oa":1,"date_created":"2026-01-25T23:01:39Z","status":"public","language":[{"iso":"eng"}],"year":"2026","author":[{"first_name":"Qingyin","last_name":"Qian","full_name":"Qian, Qingyin"},{"id":"608df3e6-e2ab-11ed-8890-c9318cec7da4","last_name":"Nagai","first_name":"Hiroki","orcid":"0000-0003-1671-9434","full_name":"Nagai, Hiroki"},{"last_name":"Sanaki","first_name":"Yuya","full_name":"Sanaki, Yuya"},{"full_name":"Hayashi, Makoto","last_name":"Hayashi","first_name":"Makoto"},{"last_name":"Kimura","first_name":"Kenichi","full_name":"Kimura, Kenichi"},{"full_name":"Nakajima, Yu Ichiro","last_name":"Nakajima","first_name":"Yu Ichiro"},{"full_name":"Niwa, Ryusuke","first_name":"Ryusuke","last_name":"Niwa"}],"department":[{"_id":"XiFe"}],"date_published":"2026-01-15T00:00:00Z","quality_controlled":"1","month":"01","intvolume":" 153","publication_status":"published","date_updated":"2026-02-12T12:41:18Z","_id":"21039","article_number":"dev205225","doi":"10.1242/dev.205225","OA_type":"green","article_processing_charge":"No","citation":{"apa":"Qian, Q., NAGAI, H., Sanaki, Y., Hayashi, M., Kimura, K., Nakajima, Y. I., & Niwa, R. (2026). Xrp1 drives damage-induced cellular plasticity of enteroendocrine cells in the adult Drosophila midgut. Development. The Company of Biologists. https://doi.org/10.1242/dev.205225","short":"Q. Qian, H. NAGAI, Y. Sanaki, M. Hayashi, K. Kimura, Y.I. Nakajima, R. Niwa, Development 153 (2026).","ieee":"Q. Qian et al., “Xrp1 drives damage-induced cellular plasticity of enteroendocrine cells in the adult Drosophila midgut,” Development, vol. 153, no. 2. The Company of Biologists, 2026.","chicago":"Qian, Qingyin, HIROKI NAGAI, Yuya Sanaki, Makoto Hayashi, Kenichi Kimura, Yu Ichiro Nakajima, and Ryusuke Niwa. “Xrp1 Drives Damage-Induced Cellular Plasticity of Enteroendocrine Cells in the Adult Drosophila Midgut.” Development. The Company of Biologists, 2026. https://doi.org/10.1242/dev.205225.","mla":"Qian, Qingyin, et al. “Xrp1 Drives Damage-Induced Cellular Plasticity of Enteroendocrine Cells in the Adult Drosophila Midgut.” Development, vol. 153, no. 2, dev205225, The Company of Biologists, 2026, doi:10.1242/dev.205225.","ama":"Qian Q, NAGAI H, Sanaki Y, et al. Xrp1 drives damage-induced cellular plasticity of enteroendocrine cells in the adult Drosophila midgut. Development. 2026;153(2). doi:10.1242/dev.205225","ista":"Qian Q, NAGAI H, Sanaki Y, Hayashi M, Kimura K, Nakajima YI, Niwa R. 2026. Xrp1 drives damage-induced cellular plasticity of enteroendocrine cells in the adult Drosophila midgut. Development. 153(2), dev205225."},"external_id":{"pmid":["41392708"]},"publication":"Development","day":"15","scopus_import":"1","title":"Xrp1 drives damage-induced cellular plasticity of enteroendocrine cells in the adult Drosophila midgut","pmid":1,"type":"journal_article","oa_version":"Preprint"},{"citation":{"ista":"Busato M, Tuccillo M, Celeste A, Tofoni A, Silvestri L, D’Angelo P, Freunberger SA, Brutti S. 2026. Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation. ACS Applied Energy Materials. 9(1), 686–697.","ama":"Busato M, Tuccillo M, Celeste A, et al. Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation. ACS Applied Energy Materials. 2026;9(1):686-697. doi:10.1021/acsaem.5c03511","mla":"Busato, Matteo, et al. “Structural Rearrangements of a Cobalt-Free Lithium-Rich Layered Oxide Cathode during Formation.” ACS Applied Energy Materials, vol. 9, no. 1, American Chemical Society, 2026, pp. 686–97, doi:10.1021/acsaem.5c03511.","chicago":"Busato, Matteo, Mariarosaria Tuccillo, Arcangelo Celeste, Alessandro Tofoni, Laura Silvestri, Paola D’Angelo, Stefan Alexander Freunberger, and Sergio Brutti. “Structural Rearrangements of a Cobalt-Free Lithium-Rich Layered Oxide Cathode during Formation.” ACS Applied Energy Materials. American Chemical Society, 2026. https://doi.org/10.1021/acsaem.5c03511.","ieee":"M. Busato et al., “Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation,” ACS Applied Energy Materials, vol. 9, no. 1. American Chemical Society, pp. 686–697, 2026.","apa":"Busato, M., Tuccillo, M., Celeste, A., Tofoni, A., Silvestri, L., D’Angelo, P., … Brutti, S. (2026). Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation. ACS Applied Energy Materials. American Chemical Society. https://doi.org/10.1021/acsaem.5c03511","short":"M. Busato, M. Tuccillo, A. Celeste, A. Tofoni, L. Silvestri, P. D’Angelo, S.A. Freunberger, S. Brutti, ACS Applied Energy Materials 9 (2026) 686–697."},"file":[{"creator":"dernst","success":1,"file_id":"21222","relation":"main_file","checksum":"81272c19df41c696c1737168d3ea8c16","file_size":5977526,"file_name":"2026_AppliedEnergyMaterials_Busato.pdf","access_level":"open_access","date_created":"2026-02-12T13:55:28Z","content_type":"application/pdf","date_updated":"2026-02-12T13:55:28Z"}],"publication":"ACS Applied Energy Materials","day":"12","scopus_import":"1","page":"686-697","title":"Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation","type":"journal_article","oa_version":"Published Version","date_published":"2026-01-12T00:00:00Z","quality_controlled":"1","month":"01","intvolume":" 9","date_updated":"2026-02-12T14:04:04Z","publication_status":"published","_id":"21040","doi":"10.1021/acsaem.5c03511","article_processing_charge":"Yes (via OA deal)","OA_type":"hybrid","status":"public","ddc":["540"],"language":[{"iso":"eng"}],"year":"2026","author":[{"last_name":"Busato","first_name":"Matteo","full_name":"Busato, Matteo"},{"first_name":"Mariarosaria","last_name":"Tuccillo","full_name":"Tuccillo, Mariarosaria"},{"full_name":"Celeste, Arcangelo","last_name":"Celeste","first_name":"Arcangelo"},{"full_name":"Tofoni, Alessandro","last_name":"Tofoni","first_name":"Alessandro"},{"full_name":"Silvestri, Laura","first_name":"Laura","last_name":"Silvestri"},{"full_name":"D’Angelo, Paola","last_name":"D’Angelo","first_name":"Paola"},{"first_name":"Stefan Alexander","last_name":"Freunberger","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","full_name":"Freunberger, Stefan Alexander","orcid":"0000-0003-2902-5319"},{"full_name":"Brutti, Sergio","first_name":"Sergio","last_name":"Brutti"}],"PlanS_conform":"1","corr_author":"1","department":[{"_id":"StFr"}],"abstract":[{"lang":"eng","text":"Formation during the first cycles of Li-rich layered oxide (LRLO) cathode materials consolidates the interphase and leads to structural changes that are decisive for long-term cyclability. However, the nature and effect of the changes are material-dependent and unknown for the important class of Co-free, Ni-poor LRLOs. Here, we analyze the processes during the tailored formation procedure of a typical class member, Li1.28Ni0.15Mn0.57O2, and demonstrate that it remarkably changes lattice composition and structure as a prerequisite for stable cycling. We combine electrochemistry, operando mass spectrometry, X-ray diffraction, and X-ray absorption spectroscopy with density functional theory simulations. Activation most prominently compresses the layer spacing along the c-axis and increases reversible structural breathing. The large capacity of ∼250 mAh g–1 originates from the Ni2+/Ni4+ and O2–/O– redox couples. Electron exchange during O-redox is smeared over the entire anionic sublattice rather than localized on specific oxygen atomic sites. This redox mechanism is reversible without detrimental oxygen evolution, avoiding continued degradation common in conventional LRLOs. Sequential Ni- and O-redox during activation irreversibly distorts the coordination of the redox-inactive Mn4+ centers. This structural evolution of the MnO6 octahedra appears to enable the superior electrochemical performance of this LRLO phase. These findings define an activation pathway for the important class of Co-free, Ni-poor LRLOs, offering potential guidance for the rational design of high-performance, more sustainable cathode materials."}],"acknowledgement":"Elettra-Sincrotrone Trieste S.C.p.A. and its staff are acknowledged for providing synchrotron radiation beamtime and laboratory facilities, in particular the MCX and XAFS beamlines, where the XRD and XAS experiments have been carried out, supported by the projects number: 20217082, 20205109, and 20195014. This study was carried out within the MOST─Sustainable Mobility Center and received funding from the European Union Next-Generation EU (PIANO NAZIONALE DI RIPRESA E RESILIENZA (PNRR)─MISSIONE 4 COMPONENTE 2, INVESTIMENTO 1.4─D.D. 1033 17/06/2022, CN00000023). Moreover, the contribution of S.B. and A.C. to this study was carried out within the NEST─Network for Energy Sustainable Transition and received funding from the European Union Next-Generation EU (PNRR─MISSIONE 4 COMPONENTE 2, INVESTIMENTO 1.3─D.D. 1561 11/10/2022, B53C22004070006). This manuscript reflects only the authors’ views and opinions, neither the European Union nor the European Commission can be considered responsible for them. Two of us, S.B. and S.A.F., would like to thank the Alistore ERI. L.S. received funds from the Ministry of Ecological Transition in the “Ricerca di Sistema Elettrico” framework. S.A.F. is indebted to ISTA for support. The Scientific Service Units of ISTA supported this research through resources provided by the Lab Support Facility and the Miba Machine Shop.","issue":"1","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"LifeSc"}],"volume":9,"publication_identifier":{"eissn":["2574-0962"]},"article_type":"original","OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","publisher":"American Chemical Society","oa":1,"date_created":"2026-01-25T23:01:40Z","file_date_updated":"2026-02-12T13:55:28Z"},{"citation":{"ama":"Mück N, Georges AL, Dreyer D, Garg D, Sammler MJ. Endangered by the language but saved by the compiler: Robust safety via semantic back-translation. Proceedings of the ACM on Programming Languages. 2026;10:1153-1182. doi:10.1145/3776682","mla":"Mück, Niklas, et al. “Endangered by the Language but Saved by the Compiler: Robust Safety via Semantic Back-Translation.” Proceedings of the ACM on Programming Languages, vol. 10, Association for Computing Machinery, 2026, pp. 1153–82, doi:10.1145/3776682.","chicago":"Mück, Niklas, Aïna Linn Georges, Derek Dreyer, Deepak Garg, and Michael Joachim Sammler. “Endangered by the Language but Saved by the Compiler: Robust Safety via Semantic Back-Translation.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2026. https://doi.org/10.1145/3776682.","ista":"Mück N, Georges AL, Dreyer D, Garg D, Sammler MJ. 2026. Endangered by the language but saved by the compiler: Robust safety via semantic back-translation. Proceedings of the ACM on Programming Languages. 10, 1153–1182.","ieee":"N. Mück, A. L. Georges, D. Dreyer, D. Garg, and M. J. Sammler, “Endangered by the language but saved by the compiler: Robust safety via semantic back-translation,” Proceedings of the ACM on Programming Languages, vol. 10. Association for Computing Machinery, pp. 1153–1182, 2026.","apa":"Mück, N., Georges, A. L., Dreyer, D., Garg, D., & Sammler, M. J. (2026). Endangered by the language but saved by the compiler: Robust safety via semantic back-translation. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3776682","short":"N. Mück, A.L. Georges, D. Dreyer, D. Garg, M.J. Sammler, Proceedings of the ACM on Programming Languages 10 (2026) 1153–1182."},"file":[{"content_type":"application/pdf","date_updated":"2026-02-12T13:51:03Z","checksum":"79be391061efbf9542638996959ce11a","relation":"main_file","file_id":"21221","success":1,"creator":"dernst","file_name":"2026_ProcACMProgrammingLanguages_Mueck.pdf","access_level":"open_access","date_created":"2026-02-12T13:51:03Z","file_size":1058876}],"day":"08","publication":"Proceedings of the ACM on Programming Languages","scopus_import":"1","type":"journal_article","title":"Endangered by the language but saved by the compiler: Robust safety via semantic back-translation","page":"1153-1182","oa_version":"Published Version","date_published":"2026-01-08T00:00:00Z","intvolume":" 10","month":"01","quality_controlled":"1","_id":"21041","publication_status":"published","date_updated":"2026-02-12T13:53:04Z","doi":"10.1145/3776682","OA_type":"hybrid","article_processing_charge":"Yes (via OA deal)","status":"public","ddc":["000"],"author":[{"last_name":"Mück","first_name":"Niklas","full_name":"Mück, Niklas"},{"last_name":"Georges","first_name":"Aïna Linn","full_name":"Georges, Aïna Linn"},{"full_name":"Dreyer, Derek","last_name":"Dreyer","first_name":"Derek"},{"full_name":"Garg, Deepak","first_name":"Deepak","last_name":"Garg"},{"full_name":"Sammler, Michael Joachim","first_name":"Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","last_name":"Sammler"}],"year":"2026","language":[{"iso":"eng"}],"PlanS_conform":"1","department":[{"_id":"MiSa"}],"abstract":[{"lang":"eng","text":"It is common for programmers to assemble their programs from a combination of trusted and untrusted components. In this context, a trusted program component is said to be robustly safe if it behaves safely when linked against arbitrary untrusted code. Prior work has shown how various encapsulation mechanisms (in both high- and low-level languages) can be used to protect code so that it is robustly safe, but none of the existing work has explored how robust safety can be achieved in a patently unsafe language like C.\r\nIn this paper, we show how to bring robust safety to a simple yet representative C-like language we call Rec. Although Rec (like C) is inherently ”dangerous” and thus not robustly safe, we can ”save” Rec programs via compilation to Cap, a CHERI-like capability machine. To formalize the benefits of such a hardening compiler, we develop Reckon, a separation logic for verifying robust safety of Rec programs. Reckon is not sound under Rec’s unsafe, C-like semantics, but it is sound when Rec programs are hardened via compilation and linked against untrusted code running on Cap. As a crucial step in proving soundness of Reckon, we introduce a novel technique of semantic back-translation, which we formalize by building on the DimSum framework for multi-language semantics. All our results are mechanized in the Rocq prover."}],"publication_identifier":{"eissn":["2475-1421"]},"volume":10,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","OA_place":"publisher","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","date_created":"2026-01-25T23:01:40Z","publisher":"Association for Computing Machinery","oa":1,"file_date_updated":"2026-02-12T13:51:03Z"},{"publication":"29th International Conference on Financial Cryptography and Data Security","day":"01","external_id":{"arxiv":["2502.10074"]},"citation":{"ista":"Neiheiser R, Kokoris Kogias E. 2026. Anthemius: Efficient and modular block assembly for concurrent execution. 29th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 15751, 307–323.","mla":"Neiheiser, Ray, and Eleftherios Kokoris Kogias. “Anthemius: Efficient and Modular Block Assembly for Concurrent Execution.” 29th International Conference on Financial Cryptography and Data Security, vol. 15751, Springer Nature, 2026, pp. 307–23, doi:10.1007/978-3-032-07024-1_18.","ama":"Neiheiser R, Kokoris Kogias E. Anthemius: Efficient and modular block assembly for concurrent execution. In: 29th International Conference on Financial Cryptography and Data Security. Vol 15751. Springer Nature; 2026:307-323. doi:10.1007/978-3-032-07024-1_18","chicago":"Neiheiser, Ray, and Eleftherios Kokoris Kogias. “Anthemius: Efficient and Modular Block Assembly for Concurrent Execution.” In 29th International Conference on Financial Cryptography and Data Security, 15751:307–23. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-07024-1_18.","ieee":"R. Neiheiser and E. Kokoris Kogias, “Anthemius: Efficient and modular block assembly for concurrent execution,” in 29th International Conference on Financial Cryptography and Data Security, Miyakojima, Japan, 2026, vol. 15751, pp. 307–323.","apa":"Neiheiser, R., & Kokoris Kogias, E. (2026). Anthemius: Efficient and modular block assembly for concurrent execution. In 29th International Conference on Financial Cryptography and Data Security (Vol. 15751, pp. 307–323). Miyakojima, Japan: Springer Nature. https://doi.org/10.1007/978-3-032-07024-1_18","short":"R. Neiheiser, E. Kokoris Kogias, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 307–323."},"oa_version":"Preprint","title":"Anthemius: Efficient and modular block assembly for concurrent execution","type":"conference","page":"307-323","scopus_import":"1","_id":"21042","date_updated":"2026-02-12T13:39:07Z","publication_status":"published","intvolume":" 15751","month":"01","quality_controlled":"1","date_published":"2026-01-01T00:00:00Z","OA_type":"green","article_processing_charge":"No","doi":"10.1007/978-3-032-07024-1_18","alternative_title":["LNCS"],"status":"public","conference":{"name":"FC: Financial Cryptography and Data Security","location":"Miyakojima, Japan","end_date":"2025-04-18","start_date":"2025-04-14"},"department":[{"_id":"KrPi"}],"corr_author":"1","author":[{"orcid":"0000-0001-7227-8309","full_name":"Neiheiser, Ray","last_name":"Neiheiser","id":"f09651b9-fec0-11ec-b5d8-934aff0e52a4","first_name":"Ray"},{"last_name":"Kokoris Kogias","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","first_name":"Eleftherios","orcid":"0000-0002-8827-3382","full_name":"Kokoris Kogias, Eleftherios"}],"language":[{"iso":"eng"}],"year":"2026","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"repository","volume":15751,"publication_identifier":{"eissn":["1611-3349"],"isbn":["9783032070234"],"issn":["0302-9743"]},"arxiv":1,"acknowledgement":"This work was supported by the Austrian Science Fund (FWF) SFB project SpyCoDe F8502 and the Vienna Science and Technology Fund (WWTF) project SCALE2 CT22-045.","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2502.10074","open_access":"1"}],"abstract":[{"text":"Many blockchains such as Ethereum execute all incoming transactions sequentially significantly limiting the potential throughput. A common approach to scale execution is parallel execution engines that fully utilize modern multi-core architectures. Parallel execution is then either done optimistically, by executing transactions in parallel and detecting conflicts on the fly, or guided, by requiring exhaustive client transaction hints and scheduling transactions accordingly.\r\n\r\nHowever, recent studies have shown that the performance of parallel execution engines depends on the nature of the underlying workload. In fact, in some cases, only a 60% speed-up compared to sequential execution could be obtained. This is the case, as transactions that access the same resources must be executed sequentially. For example, if 10% of the transactions in a block access the same resource, the execution cannot meaningfully scale beyond 10 cores. Therefore, a single popular application can bottleneck the execution and limit the potential throughput.\r\n\r\nIn this paper, we introduce Anthemius, a block construction algorithm that optimizes parallel transaction execution throughput. We evaluate Anthemius exhaustively under a range of workloads, and show that Anthemius enables the underlying parallel execution engine to process over twice as many transactions.","lang":"eng"}],"date_created":"2026-01-25T23:01:40Z","publisher":"Springer Nature","oa":1,"project":[{"grant_number":"F8502","_id":"34a1b658-11ca-11ed-8bc3-c75229f0241e","name":"Interface Theory for Security and Privacy"},{"_id":"7bdd2f70-9f16-11ee-852c-b7950bc6d277","grant_number":"ICT22-045","name":"SeCure, privAte, and interoperabLe layEr 2"}]},{"department":[{"_id":"JoMa"},{"_id":"GradSch"}],"corr_author":"1","PlanS_conform":"1","author":[{"full_name":"Torralba Torregrosa, Alberto","orcid":"0000-0001-5586-6950","first_name":"Alberto","id":"018f0249-0e87-11f0-b167-cbce08fbd541","last_name":"Torralba Torregrosa"},{"full_name":"Matthee, Jorryt J","orcid":"0000-0003-2871-127X","first_name":"Jorryt J","last_name":"Matthee","id":"7439a258-f3c0-11ec-9501-9df22fe06720"},{"last_name":"Pezzulli","first_name":"Gabriele","full_name":"Pezzulli, Gabriele"},{"first_name":"Tanya","last_name":"Urrutia","full_name":"Urrutia, Tanya"},{"first_name":"Max","last_name":"Gronke","full_name":"Gronke, Max"},{"full_name":"Mascia, Sara","first_name":"Sara","id":"edaf889c-c7cd-11ef-ab1b-bb28c431bd29","last_name":"Mascia"},{"full_name":"D’Eugenio, Francesco","last_name":"D’Eugenio","first_name":"Francesco"},{"full_name":"Di Cesare, Claudia","id":"2d002343-372f-11ef-98ec-a164d20427cb","last_name":"Di Cesare","first_name":"Claudia"},{"full_name":"Eilers, Anna Christina","last_name":"Eilers","first_name":"Anna Christina"},{"full_name":"Greene, Jenny E.","last_name":"Greene","first_name":"Jenny E."},{"first_name":"Edoardo","id":"4053390a-6b68-11ef-9828-a3b8adef8d0a","last_name":"Iani","full_name":"Iani, Edoardo","orcid":"0000-0001-8386-3546"},{"full_name":"Ishikawa, Yuzo","last_name":"Ishikawa","first_name":"Yuzo"},{"last_name":"Mackenzie","first_name":"Ruari","full_name":"Mackenzie, Ruari"},{"full_name":"Naidu, Rohan P.","first_name":"Rohan P.","last_name":"Naidu"},{"full_name":"Navarrete, Benjamín","id":"aa14a535-50c9-11ef-b52e-e0c373d10148","last_name":"Navarrete","first_name":"Benjamín"},{"full_name":"Kotiwale, Gauri","id":"1438afc8-1ff6-11ee-9fa6-cd4a75d66875","last_name":"Kotiwale","first_name":"Gauri"}],"language":[{"iso":"eng"}],"year":"2026","ddc":["520"],"status":"public","file_date_updated":"2026-02-16T07:35:03Z","date_created":"2026-01-25T23:01:41Z","oa":1,"publisher":"EDP Sciences","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"project":[{"name":"Young galaxies as tracers and agents of cosmic reionization","grant_number":"101076224","_id":"bd9b2118-d553-11ed-ba76-db24564edfea"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"publisher","article_type":"original","volume":705,"publication_identifier":{"issn":["0004-6361"],"eissn":["1432-0746"]},"arxiv":1,"acknowledgement":"We thank the anonymous referee for constructive and useful comments. We thank Sebastiano Cantalupo for comments on the draft. Based on observations collected at the European Organisation for Astronomical Research in the Southern Hemisphere under ESO programme 114.27M6.001. Funded by the European Union (ERC, AGENTS, 101076224). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them. We acknowledge funding from JWST program GO-3516. This work is based in part on observations made with the NASA/ESA/CSA James Webb Space Telescope. The data were obtained from the Mikulski Archive for Space Telescopes at the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-03127 for JWST. These observations are associated with program #3516. MG thanks the Max Planck Society for support through the MPRG. FDE acknowledges support by the Science and Technology Facilities Council (STFC), by the ERC through Advanced Grant 695671 “QUENCH”, and by the UKRI Frontier Research grant RISEandFALL. TU acknowledges funding from the ERC-AdG grant SPECMAP-CGM, GA 101020943. GK acknowledges support from the MERAC foundation.","abstract":[{"lang":"eng","text":"The abundant population of little red dots (LRDs), compact objects with red UV to optical colors and broad Balmer lines at high redshift, is revealing new insights into the properties of early active galactic nuclei (AGN). Perhaps the most surprising features of this population are the presence of Balmer absorption and ubiquitous strong Balmer breaks. Recent models link these features to an active supermassive black hole (SMBH) cocooned in very dense gas (NH ∼ 1024 cm−2). We present a stringent test of such models using VLT/MUSE observations of A2744-45924, the most luminous LRD known to date (LHα ≈ 1044 erg s−1), located behind the Abell-2744 lensing cluster at z = 4.464 (μ = 1.8). We detect a moderately extended Lyα nebula (h ≈ 5.7 pkpc), spatially offset from the point-like Hα seen by JWST by ≈1.6 pkpc. The Lyα emission is narrow (FWHM = 270 ± 15 km s−1), and faint (Lyα = 0.07Hα) compared to Lyα nebulae typically observed around quasars of similar luminosity. We detect compact N IV]λ1486 emission, spatially aligned with Hα, and a spatial shift in the far-UV continuum matching the Lyα offset. We discuss that Hα and Lyα have distinct physical origins: Hα originates from the AGN, while Lyα is powered by star formation. In the environment of A2744-45924, we identified four extended Lyα halos (Δz < 0.02, Δr < 100 pkpc). Their Lyα luminosities match the expectations based on Hα emission, and show no evidence for radiation from A2744-45924 affecting its surroundings. The lack of strong, compact, and broad Lyα and the absence of a luminous extended halo, suggest that the UV AGN light is obscured by dense gas cloaking the SMBH with a covering factor close to unity."}],"oa_version":"Published Version","type":"journal_article","title":"A weak Ly α halo for an extremely bright little red dot. Indications of enshrouded supermassive black hole growth","scopus_import":"1","day":"14","publication":"Astronomy and Astrophysics","external_id":{"arxiv":["2505.09542"]},"file":[{"date_updated":"2026-02-16T07:35:03Z","content_type":"application/pdf","access_level":"open_access","file_name":"2026_AstronomyAstrophysics_Torralba.pdf","date_created":"2026-02-16T07:35:03Z","file_size":2259914,"checksum":"3782e03bc0843438aae8487f6af779c5","relation":"main_file","file_id":"21224","success":1,"creator":"dernst"}],"citation":{"ieee":"A. Torralba Torregrosa et al., “A weak Ly α halo for an extremely bright little red dot. Indications of enshrouded supermassive black hole growth,” Astronomy and Astrophysics, vol. 705. EDP Sciences, 2026.","short":"A. Torralba Torregrosa, J.J. Matthee, G. Pezzulli, T. Urrutia, M. Gronke, S. Mascia, F. D’Eugenio, C. Di Cesare, A.C. Eilers, J.E. Greene, E. Iani, Y. Ishikawa, R. Mackenzie, R.P. Naidu, B. Navarrete, G. Kotiwale, Astronomy and Astrophysics 705 (2026).","apa":"Torralba Torregrosa, A., Matthee, J. J., Pezzulli, G., Urrutia, T., Gronke, M., Mascia, S., … Kotiwale, G. (2026). A weak Ly α halo for an extremely bright little red dot. Indications of enshrouded supermassive black hole growth. Astronomy and Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202555596","ista":"Torralba Torregrosa A, Matthee JJ, Pezzulli G, Urrutia T, Gronke M, Mascia S, D’Eugenio F, Di Cesare C, Eilers AC, Greene JE, Iani E, Ishikawa Y, Mackenzie R, Naidu RP, Navarrete B, Kotiwale G. 2026. A weak Ly α halo for an extremely bright little red dot. Indications of enshrouded supermassive black hole growth. Astronomy and Astrophysics. 705, A147.","mla":"Torralba Torregrosa, Alberto, et al. “A Weak Ly α Halo for an Extremely Bright Little Red Dot. Indications of Enshrouded Supermassive Black Hole Growth.” Astronomy and Astrophysics, vol. 705, A147, EDP Sciences, 2026, doi:10.1051/0004-6361/202555596.","ama":"Torralba Torregrosa A, Matthee JJ, Pezzulli G, et al. A weak Ly α halo for an extremely bright little red dot. Indications of enshrouded supermassive black hole growth. Astronomy and Astrophysics. 2026;705. doi:10.1051/0004-6361/202555596","chicago":"Torralba Torregrosa, Alberto, Jorryt J Matthee, Gabriele Pezzulli, Tanya Urrutia, Max Gronke, Sara Mascia, Francesco D’Eugenio, et al. “A Weak Ly α Halo for an Extremely Bright Little Red Dot. Indications of Enshrouded Supermassive Black Hole Growth.” Astronomy and Astrophysics. EDP Sciences, 2026. https://doi.org/10.1051/0004-6361/202555596."},"article_processing_charge":"No","OA_type":"diamond","doi":"10.1051/0004-6361/202555596","article_number":"A147","_id":"21045","date_updated":"2026-02-16T07:46:53Z","publication_status":"published","intvolume":" 705","month":"01","quality_controlled":"1","date_published":"2026-01-14T00:00:00Z"},{"external_id":{"arxiv":["2504.11203"]},"day":"07","publication":"Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms","citation":{"apa":"Chambers, E. W., Fillmore, C. D., Stephenson, E. R., & Wintraecken, M. (2026). Braiding Vineyards. In K. Green Larsen & B. Saha (Eds.), Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 6240–6263). Philadelphia, PA, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611978971.225","short":"E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, in:, K. Green Larsen, B. Saha (Eds.), Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, United States, 2026, pp. 6240–6263.","ieee":"E. W. Chambers, C. D. Fillmore, E. R. Stephenson, and M. Wintraecken, “Braiding Vineyards,” in Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, K. Green Larsen and B. Saha, Eds. Philadelphia, PA, United States: Society for Industrial and Applied Mathematics, 2026, pp. 6240–6263.","ista":"Chambers EW, Fillmore CD, Stephenson ER, Wintraecken M. 2026.Braiding Vineyards. In: Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms. , 6240–6263.","chicago":"Chambers, Erin W., Christopher D Fillmore, Elizabeth R Stephenson, and Mathijs Wintraecken. “Braiding Vineyards.” In Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, edited by Kasper Green Larsen and Barna Saha, 6240–63. Philadelphia, PA, United States: Society for Industrial and Applied Mathematics, 2026. https://doi.org/10.1137/1.9781611978971.225.","ama":"Chambers EW, Fillmore CD, Stephenson ER, Wintraecken M. Braiding Vineyards. In: Green Larsen K, Saha B, eds. Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia, PA, United States: Society for Industrial and Applied Mathematics; 2026:6240-6263. doi:10.1137/1.9781611978971.225","mla":"Chambers, Erin W., et al. “Braiding Vineyards.” Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, edited by Kasper Green Larsen and Barna Saha, Society for Industrial and Applied Mathematics, 2026, pp. 6240–63, doi:10.1137/1.9781611978971.225."},"oa_version":"Preprint","type":"book_chapter","title":"Braiding Vineyards","page":"6240-6263","month":"01","quality_controlled":"1","_id":"21056","publication_status":"published","date_updated":"2026-02-16T08:06:23Z","date_published":"2026-01-07T00:00:00Z","article_processing_charge":"No","OA_type":"green","doi":"10.1137/1.9781611978971.225","place":"Philadelphia, PA, United States","editor":[{"full_name":"Green Larsen, Kasper","last_name":"Green Larsen","first_name":"Kasper"},{"full_name":"Saha, Barna","last_name":"Saha","first_name":"Barna"}],"status":"public","department":[{"_id":"HeEd"}],"author":[{"first_name":"Erin W.","last_name":"Chambers","full_name":"Chambers, Erin W."},{"full_name":"Fillmore, Christopher D","last_name":"Fillmore","id":"35638A5C-AAC7-11E9-B0BF-5503E6697425","first_name":"Christopher D"},{"first_name":"Elizabeth R","last_name":"Stephenson","id":"2D04F932-F248-11E8-B48F-1D18A9856A87","full_name":"Stephenson, Elizabeth R","orcid":"0000-0002-6862-208X"},{"last_name":"Wintraecken","id":"307CFBC8-F248-11E8-B48F-1D18A9856A87","first_name":"Mathijs","orcid":"0000-0002-7472-2220","full_name":"Wintraecken, Mathijs"}],"year":"2026","language":[{"iso":"eng"}],"publication_identifier":{"eisbn":["9781611978971"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"21051"}]},"OA_place":"repository","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2504.11203","open_access":"1"}],"abstract":[{"lang":"eng","text":"In this work, we introduce and study what we believe is an intriguing, and, to the best of our knowledge, previously unknown connection between two fundamental areas in computational topology, namely topological data analysis (TDA) and knot theory. Given a function from a topological space to ℝ, TDA provides tools to simplify and study the importance of topological features: in particular, the 𝑙^𝑡ℎ-dimensional persistence diagram encodes the topological changes (or 𝑙-homology) in the sublevel set as the function value increases into a set of points in the plane. Given a continuous one parameter family of such functions, we can combine the persistence diagrams into an object known as a vineyard, which tracks the evolution of points in the persistence diagram as the function changes. If we further restrict that family of functions to be periodic, we identify the two ends of the vineyard, yielding a closed vineyard. This allows the study of monodromy, which in this context means that following the family of functions for a period permutes the set of points in a non-trivial way. Recent work has studied monodromy in the directional persistent homology transform, demonstrating some interesting connections between an input shape and monodromy in the persistent homology transform for 0-dimensional homology embedded in ℝ^2.\r\nIn this work, given a link and a value 𝑙, we construct a topological space (based on the given link) and periodic family of functions on this space (based on the Euclidean distance function), such that the closed 𝑙-vineyard contains this link. This shows that vineyards are topologically as rich as one could possibly hope, suggesting many future directions of work. Importantly, it has at least two immediate consequences we explicitly point out:\r\n1.\tMonodromy of any periodicity can occur in a 𝑙-vineyard for any 𝑙. This answers a variant of a question by Arya and collaborators. To exhibit this as a consequence of our first main result we also reformulate monodromy in a more geometric way, which may be of interest in itself.\r\n2.\tTopologically distinguishing closed vineyards is likely to be difficult (from a complexity theory as well as from a practical perspective) because of the difficulty of knot and link recognition, which have strong connections to many NP-hard problems."}],"arxiv":1,"acknowledgement":"We thank the reviewers for both SODA and ATMCS for their comments, whichimproved the exposition. We thank Kate Turner for discussion and Clément Maria for pointing out thatAlexander’s theorem was already (well) known. Mathijs Wintraecken would like to express his gratitude tothe administrative support he received from University of Notre Dame during his visit and from Sophie Honnoratand Stephanie Verdonck at Inria in general.This work has been supported by the ANR grant StratMesh, ANR-24-CE48-1899, by NSF award 2444309, andthe welcome package from IDEX of the Université Côte d’Azur, ANR-15-IDEX-01.","date_created":"2026-01-28T12:58:16Z","oa":1,"publisher":"Society for Industrial and Applied Mathematics"},{"date_updated":"2026-02-16T08:15:11Z","publication_status":"accepted","_id":"21113","month":"02","date_published":"2026-02-11T00:00:00Z","article_processing_charge":"No","OA_type":"gold","publication":"The 14th International Conference on Learning Representations","day":"11","external_id":{"arxiv":["2510.13583"]},"citation":{"apa":"Montagna, F. (n.d.). On the identifiability of causal graphs with multiple environments. In The 14th International Conference on Learning Representations. Rio de Janeiro, Brazil: OpenReview.","short":"F. Montagna, in:, The 14th International Conference on Learning Representations, OpenReview, n.d.","ieee":"F. Montagna, “On the identifiability of causal graphs with multiple environments,” in The 14th International Conference on Learning Representations, Rio de Janeiro, Brazil.","ista":"Montagna F. On the identifiability of causal graphs with multiple environments. The 14th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.","chicago":"Montagna, Francesco. “On the Identifiability of Causal Graphs with Multiple Environments.” In The 14th International Conference on Learning Representations. OpenReview, n.d.","ama":"Montagna F. On the identifiability of causal graphs with multiple environments. In: The 14th International Conference on Learning Representations. OpenReview.","mla":"Montagna, Francesco. “On the Identifiability of Causal Graphs with Multiple Environments.” The 14th International Conference on Learning Representations, OpenReview."},"oa_version":"Published Version","title":"On the identifiability of causal graphs with multiple environments","type":"conference","OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","arxiv":1,"abstract":[{"lang":"eng","text":"Causal discovery from i.i.d. observational data is known to be generally ill-posed. We demonstrate that if we have access to the distribution induced by a structural causal model, and additional data from (in the best case) only two environments that sufficiently differ in the noise statistics, the unique causal graph is identifiable. Notably, this is the first result in the literature that guarantees the entire causal graph recovery with a constant number of environments and arbitrary nonlinear mechanisms. Our only constraint is the Gaussianity of the noise terms; however, we propose potential ways to relax this requirement. Of interest on its own, we expand on the well-known duality between independent component analysis (ICA) and causal discovery; recent advancements have shown that nonlinear ICA can be solved from multiple environments, at least as many as the number of sources: we show that the same can be achieved for causal discovery while having access to much less auxiliary information."}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2510.13583","open_access":"1"}],"oa":1,"publisher":"OpenReview","date_created":"2026-01-30T08:16:25Z","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["000"],"status":"public","conference":{"name":"ICLR: International Conference on Learning Representations","end_date":"2026-04-27","start_date":"2026-04-23","location":"Rio de Janeiro, Brazil"},"department":[{"_id":"FrLo"}],"corr_author":"1","year":"2026","language":[{"iso":"eng"}],"author":[{"full_name":"Montagna, Francesco","last_name":"Montagna","id":"353afc8e-19f4-11f0-9db9-811f1723c83f","first_name":"Francesco"}]},{"title":"Persistence diagrams as morphological signatures of cells: A method to measure and compare cells within a population","type":"journal_article","pmid":1,"scopus_import":"1","oa_version":"Published Version","file":[{"relation":"main_file","checksum":"3899d929ee9be0453c95524e49992d72","file_id":"21204","success":1,"creator":"dernst","date_created":"2026-02-10T07:13:06Z","file_name":"2026_PloSCompBio_Bleile.pdf","access_level":"open_access","file_size":8908746,"content_type":"application/pdf","date_updated":"2026-02-10T07:13:06Z"}],"citation":{"ieee":"Y. Bleile, P. Yadav, P. Koehl, and F. Rehfeldt, “Persistence diagrams as morphological signatures of cells: A method to measure and compare cells within a population,” PLoS Computational Biology, vol. 22. Public Library of Science, 2026.","short":"Y. Bleile, P. Yadav, P. Koehl, F. Rehfeldt, PLoS Computational Biology 22 (2026).","apa":"Bleile, Y., Yadav, P., Koehl, P., & Rehfeldt, F. (2026). Persistence diagrams as morphological signatures of cells: A method to measure and compare cells within a population. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1013890","ista":"Bleile Y, Yadav P, Koehl P, Rehfeldt F. 2026. Persistence diagrams as morphological signatures of cells: A method to measure and compare cells within a population. PLoS Computational Biology. 22, e1013890.","mla":"Bleile, Yossi, et al. “Persistence Diagrams as Morphological Signatures of Cells: A Method to Measure and Compare Cells within a Population.” PLoS Computational Biology, vol. 22, e1013890, Public Library of Science, 2026, doi:10.1371/journal.pcbi.1013890.","ama":"Bleile Y, Yadav P, Koehl P, Rehfeldt F. Persistence diagrams as morphological signatures of cells: A method to measure and compare cells within a population. PLoS Computational Biology. 2026;22. doi:10.1371/journal.pcbi.1013890","chicago":"Bleile, Yossi, Pooja Yadav, Patrice Koehl, and Florian Rehfeldt. “Persistence Diagrams as Morphological Signatures of Cells: A Method to Measure and Compare Cells within a Population.” PLoS Computational Biology. Public Library of Science, 2026. https://doi.org/10.1371/journal.pcbi.1013890."},"publication":"PLoS Computational Biology","day":"28","external_id":{"pmid":["41604421"]},"article_number":"e1013890","doi":"10.1371/journal.pcbi.1013890","article_processing_charge":"Yes","OA_type":"gold","date_published":"2026-01-28T00:00:00Z","publication_status":"published","date_updated":"2026-02-12T14:23:54Z","_id":"21115","quality_controlled":"1","month":"01","intvolume":" 22","language":[{"iso":"eng"}],"year":"2026","author":[{"orcid":"0000-0002-4861-9174","full_name":"Bleile, Yossi","id":"920a7385-7995-11ef-9bfd-8c434cd8f3c2","last_name":"Bleile","first_name":"Yossi"},{"first_name":"Pooja","last_name":"Yadav","full_name":"Yadav, Pooja"},{"first_name":"Patrice","last_name":"Koehl","full_name":"Koehl, Patrice"},{"full_name":"Rehfeldt, Florian","last_name":"Rehfeldt","first_name":"Florian"}],"department":[{"_id":"HeEd"}],"DOAJ_listed":"1","corr_author":"1","PlanS_conform":"1","status":"public","ddc":["000"],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","file_date_updated":"2026-02-10T07:13:06Z","publisher":"Public Library of Science","oa":1,"date_created":"2026-01-30T10:36:32Z","acknowledgement":"We thank Stephan Huckemann, Katharine Turner, Benjamin Eltzner, Stephan Tillmann, Fariza Rashid, Vanessa Robins, and Lamiae Azizi for many useful discussions at various stages of this project. FR and PY gratefully acknowledge Matthias Weiss (Experimental Physics I, University of Bayreuth, Germany) for granting access to cell culture and laboratories, as well as funding consumables and the fruitful discussion that contributed to this work. For open access purposes, the author has applied a CC BY public copyright license to any author-accepted manuscript version arising from this submission.","abstract":[{"text":"Quantifying cell morphology is central to understanding cellular regulation, fate, and heterogeneity, yet conventional image-based analyses often struggle with diverse or irregular shapes. We present a computational framework that uses topological data analysis to characterise and compare single-cell morphologies from fluorescence microscopy. Each cell is represented by its contour together with the position of its nucleus, from which we construct a filtration based on a radial distance function and derive a persistence diagram encoding the shape’s topological evolution. The similarity between two cells is quantified using the 2-Wasserstein distance between their diagrams, yielding a shape distance we call the PH distance. We apply this method to two representative experimental systems—primary human mesenchymal stem cells (hMSCs) and HeLa cells—and show that PH distances enable the detection of outliers in those systems, the identification of sub-populations, and the quantification of shape heterogeneity. We benchmark PH against three established contour-based distances (aspect ratio, Fourier descriptors, and elastic shape analysis) and show that PH offers better separation between cell types and greater robustness when clustering heterogeneous populations. Together, these results demonstrate that persistent-homology-based signatures provide a principled and sensitive approach for analysing cell morphology in settings where traditional geometric or image-based descriptors are insufficient.","lang":"eng"}],"article_type":"original","OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"link":[{"relation":"software","url":"https://github.com/yossibokorbleile/correa"}]},"volume":22,"publication_identifier":{"issn":["1553-7358"]}},{"day":"2","citation":{"apa":"Layana Franco, L. A., Toups, M. A., & Vicoso, B. (2026). Research Data for “Causes and consequences of sex-chromosome turnovers in Diptera.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21116","short":"L.A. Layana Franco, M.A. Toups, B. Vicoso, (2026).","ieee":"L. A. Layana Franco, M. A. Toups, and B. Vicoso, “Research Data for ‘Causes and consequences of sex-chromosome turnovers in Diptera.’” Institute of Science and Technology Austria, 2026.","ista":"Layana Franco LA, Toups MA, Vicoso B. 2026. Research Data for ‘Causes and consequences of sex-chromosome turnovers in Diptera’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-21116.","chicago":"Layana Franco, Lorena Alexandra, Melissa A Toups, and Beatriz Vicoso. “Research Data for ‘Causes and Consequences of Sex-Chromosome Turnovers in Diptera.’” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-21116.","ama":"Layana Franco LA, Toups MA, Vicoso B. Research Data for “Causes and consequences of sex-chromosome turnovers in Diptera.” 2026. doi:10.15479/AT-ISTA-21116","mla":"Layana Franco, Lorena Alexandra, et al. Research Data for “Causes and Consequences of Sex-Chromosome Turnovers in Diptera.” Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21116."},"status":"public","file":[{"relation":"main_file","checksum":"0b79be6229f2ad9ac117ef00fc4f5c0e","file_id":"21117","creator":"llayanaf","success":1,"date_created":"2026-01-30T11:00:24Z","access_level":"open_access","file_name":"README.txt","file_size":1201,"content_type":"text/plain","date_updated":"2026-01-30T11:00:24Z"},{"date_updated":"2026-01-30T11:00:36Z","content_type":"application/zip","date_created":"2026-01-30T11:00:36Z","access_level":"open_access","file_name":"Supplementary_Tables.zip","file_size":572403,"file_id":"21118","checksum":"a3cda72e4177fa1e5d3f0f6a88f8a79b","relation":"main_file","creator":"llayanaf","success":1},{"date_updated":"2026-01-30T11:00:48Z","content_type":"application/zip","file_size":19054553,"access_level":"open_access","date_created":"2026-01-30T11:00:48Z","file_name":"Supplementary_Datasets.zip","success":1,"creator":"llayanaf","checksum":"efb5b64698d6ca9e7b675204f6fc1c29","relation":"main_file","file_id":"21119"},{"date_updated":"2026-01-30T11:00:56Z","content_type":"application/zip","access_level":"open_access","date_created":"2026-01-30T11:00:56Z","file_name":"Perl_scripts.zip","file_size":4575,"relation":"main_file","checksum":"254e050f648e9783ba8fe11adb3b49db","file_id":"21120","creator":"llayanaf","success":1}],"corr_author":"1","oa_version":"Published Version","department":[{"_id":"BeVi"}],"title":"Research Data for \"Causes and consequences of sex-chromosome turnovers in Diptera\"","type":"research_data","author":[{"id":"02814589-eb8f-11eb-b029-a70074f3f18f","last_name":"Layana Franco","first_name":"Lorena Alexandra","orcid":"0000-0002-1253-6297","full_name":"Layana Franco, Lorena Alexandra"},{"full_name":"Toups, Melissa A","orcid":"0000-0002-9752-7380","first_name":"Melissa A","id":"4E099E4E-F248-11E8-B48F-1D18A9856A87","last_name":"Toups"},{"first_name":"Beatriz","last_name":"Vicoso","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","full_name":"Vicoso, Beatriz","orcid":"0000-0002-4579-8306"}],"year":"2026","keyword":["Schizophora","sex chromosomes","sex-chromosome turnover","Diptera","genomic features","out-of-X movement."],"month":"01","_id":"21116","user_id":"68b8ca59-c5b3-11ee-8790-cd641c68093d","date_updated":"2026-02-12T12:58:00Z","date_published":"2026-01-02T00:00:00Z","abstract":[{"lang":"eng","text":"Sex-chromosome systems are highly variable across animals, but how they transition from one to another is not well understood. Diptera have undergone multiple sex-chromosome turnovers and expansions while maintaining their general chromosomal content, which makes them an ideal clade to study such transitions. We analyzed more than 100 dipteran whole-genome assemblies and identified 4 new lineages that underwent sex-chromosome turnover (in addition to the 5 previously reported). We find that the majority of turnovers happened in the group Schizophora, which tend to have fewer genes on Muller element F (the chromosome homologous to the ancestral insect X chromosome) than lower dipterans, a factor previously hypothesized to facilitate turnover. Most derived X chromosomes have higher GC content than autosomes, consistent with a high prevalence of male achiasmy in Diptera. In addition, an excess of gene movement out of the X is detected for most of these new X chromosomes, and many of these moved genes have high testis expression in Drosophila, suggesting that out-of-X gene movement contributes to the long-term demasculinization of X chromosomes."}],"date_created":"2026-01-30T11:04:14Z","publisher":"Institute of Science and Technology Austria","oa":1,"article_processing_charge":"No","file_date_updated":"2026-01-30T11:00:56Z","doi":"10.15479/AT-ISTA-21116","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"}},{"project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program"}],"date_created":"2026-02-01T23:01:43Z","oa":1,"publisher":"American Institute of Mathematical Sciences","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2412.10890","open_access":"1"}],"abstract":[{"text":"We unify the variational hypocoercivity framework established by D. Albritton, S. Armstrong, J.-C. Mourrat, and M. Novack [2], with the notion of second-order lifts of reversible diffusion processes, recently introduced by A. Eberle and the second author [30]. We give an abstract, yet fully constructive, presentation of the theory, so that it can be applied to a large class of linear kinetic equations. As this hypocoercivity technique does not twist the reference norm, we can recover accurate and sharp convergence rates in various models. Among those, adaptive Langevin dynamics (ALD) is discussed in full detail and we show that for near-quadratic potentials, with suitable choices of parameters, it is a near-optimal second-order lift of the overdamped Langevin dynamics. As a further consequence, we observe that the Generalised Langevin Equation (GLE) is also a second-order lift, as the standard (kinetic) Langevin dynamics are, of the overdamped Langevin dynamics. Then, convergence of (GLE) cannot exceed ballistic speed, i.e. the square root of the rate of the overdamped regime. We illustrate this phenomenon with explicit computations in a benchmark Gaussian case.","lang":"eng"}],"arxiv":1,"acknowledgement":"We would like to thank Andreas Eberle and Gabriel Stoltz for many helpful discussions. GB\r\nhas received funding from the European Union Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 101034413. FL wurde gefördert durch die Deutsche Forschungsgemeinschaft (DFG) im Rahmen der Exzellenzstrategie des Bundes und der Länder – GZ2047/1, Projekt-ID 390685813. LW is supported by the National Science Foundation via grant DMS-2407166. He is also indebted to the Mathematical Sciences department at Carnegie Mellon University for partly supporting his visit to Europe in July 2024. Part of this work was completed when GB and LW were visiting the Institute for Applied Mathematics in Bonn. GB and LW would like to thank IAM for their hospitality.","publication_identifier":{"issn":["1937-5093"],"eissn":["1937-5077"]},"volume":20,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","OA_place":"repository","author":[{"full_name":"Brigati, Giovanni","last_name":"Brigati","id":"63ff57e8-1fbb-11ee-88f2-f558ffc59cf1","first_name":"Giovanni"},{"first_name":"Francis","last_name":"Lörler","full_name":"Lörler, Francis"},{"full_name":"Wang, Lihan","first_name":"Lihan","last_name":"Wang"}],"year":"2026","language":[{"iso":"eng"}],"department":[{"_id":"JaMa"}],"status":"public","doi":"10.3934/krm.2025020","article_processing_charge":"No","OA_type":"green","date_published":"2026-02-01T00:00:00Z","ec_funded":1,"month":"02","intvolume":" 20","quality_controlled":"1","_id":"21132","date_updated":"2026-02-16T10:02:47Z","publication_status":"epub_ahead","scopus_import":"1","type":"journal_article","title":"Hypocoercivity meets lifts","page":"34-55","oa_version":"Preprint","citation":{"ista":"Brigati G, Lörler F, Wang L. 2026. Hypocoercivity meets lifts. Kinetic and Related Models. 20, 34–55.","mla":"Brigati, Giovanni, et al. “Hypocoercivity Meets Lifts.” Kinetic and Related Models, vol. 20, American Institute of Mathematical Sciences, 2026, pp. 34–55, doi:10.3934/krm.2025020.","ama":"Brigati G, Lörler F, Wang L. Hypocoercivity meets lifts. Kinetic and Related Models. 2026;20:34-55. doi:10.3934/krm.2025020","chicago":"Brigati, Giovanni, Francis Lörler, and Lihan Wang. “Hypocoercivity Meets Lifts.” Kinetic and Related Models. American Institute of Mathematical Sciences, 2026. https://doi.org/10.3934/krm.2025020.","ieee":"G. Brigati, F. Lörler, and L. Wang, “Hypocoercivity meets lifts,” Kinetic and Related Models, vol. 20. American Institute of Mathematical Sciences, pp. 34–55, 2026.","short":"G. Brigati, F. Lörler, L. Wang, Kinetic and Related Models 20 (2026) 34–55.","apa":"Brigati, G., Lörler, F., & Wang, L. (2026). Hypocoercivity meets lifts. Kinetic and Related Models. American Institute of Mathematical Sciences. https://doi.org/10.3934/krm.2025020"},"external_id":{"arxiv":["2412.10890"]},"publication":"Kinetic and Related Models","day":"01"},{"ddc":["000"],"conference":{"name":"CPP: Conference on Certified Programs and Proofs","location":"Rennes, France","end_date":"2026-01-13","start_date":"2026-01-12"},"status":"public","department":[{"_id":"MiSa"}],"language":[{"iso":"eng"}],"year":"2026","author":[{"full_name":"Elbeheiry, Laila","first_name":"Laila","last_name":"Elbeheiry"},{"full_name":"Sammler, Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","last_name":"Sammler","first_name":"Michael Joachim"},{"last_name":"Krebbers","first_name":"Robbert","full_name":"Krebbers, Robbert"},{"last_name":"Dreyer","first_name":"Derek","full_name":"Dreyer, Derek"},{"full_name":"Garg, Deepak","last_name":"Garg","first_name":"Deepak"}],"publication_identifier":{"isbn":["9798400723414"]},"OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Data structures based on trees and tree traversals are ubiquitous in computer systems. Many low-level programs, including some implementations of critical systems like page tables and the web browser DOM, rely on generic tree-traversal functions that traverse tree nodes in a pre-determined order, applying a client-provided operation to each visited node. Developing a general approach to specifying and verifying such traversals is tricky since the client-provided per-node operation can be stateful and may potentially depend on or modify the structure of the tree being traversed.\r\nIn this paper, we present a recipe for (semi-)automated verification of such generic, stateful tree traversals. Our recipe is (a) general: it applies to a range of tree traversals, in particular, pre-, post- and in-order depth-first traversals; (b) modular: parts of a traversal’s proof can be reused in verifying other similar traversals; (c) expressive: using the specification of a tree traversal, we can verify clients that use the traversal in a variety of different ways; and (d) automatable: many proof obligations can be discharged automatically.\r\nAt the heart of our recipe is a novel use of tree zippers to represent a logical abstraction of the tree traversal state, and zipper transitions as an abstraction of traversal steps. We realize our recipe in the RefinedC framework in Rocq, which allows us to verify a number of different tree traversals and their clients written in C."}],"acknowledgement":"We thank the anonymous reviewers for their insightful suggestions. This research is supported in part by generous awards from Android Security’s ASPIRE program and from Google Research. The third author is supported, in part, by ERC grant COCONUT (grant no. 101171349), funded by the European Union. Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them.","publisher":"Association for Computing Machinery","oa":1,"date_created":"2026-02-01T23:01:43Z","file_date_updated":"2026-02-16T08:40:29Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","day":"08","publication":"Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs","citation":{"short":"L. Elbeheiry, M.J. Sammler, R. Krebbers, D. Dreyer, D. Garg, in:, Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Association for Computing Machinery, 2026, pp. 339–352.","apa":"Elbeheiry, L., Sammler, M. J., Krebbers, R., Dreyer, D., & Garg, D. (2026). A recipe for modular verification of generic tree traversals. In Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 339–352). Rennes, France: Association for Computing Machinery. https://doi.org/10.1145/3779031.3779110","ieee":"L. Elbeheiry, M. J. Sammler, R. Krebbers, D. Dreyer, and D. Garg, “A recipe for modular verification of generic tree traversals,” in Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Rennes, France, 2026, pp. 339–352.","ista":"Elbeheiry L, Sammler MJ, Krebbers R, Dreyer D, Garg D. 2026. A recipe for modular verification of generic tree traversals. Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs. CPP: Conference on Certified Programs and Proofs, 339–352.","chicago":"Elbeheiry, Laila, Michael Joachim Sammler, Robbert Krebbers, Derek Dreyer, and Deepak Garg. “A Recipe for Modular Verification of Generic Tree Traversals.” In Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 339–52. Association for Computing Machinery, 2026. https://doi.org/10.1145/3779031.3779110.","mla":"Elbeheiry, Laila, et al. “A Recipe for Modular Verification of Generic Tree Traversals.” Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Association for Computing Machinery, 2026, pp. 339–52, doi:10.1145/3779031.3779110.","ama":"Elbeheiry L, Sammler MJ, Krebbers R, Dreyer D, Garg D. A recipe for modular verification of generic tree traversals. In: Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery; 2026:339-352. doi:10.1145/3779031.3779110"},"file":[{"date_updated":"2026-02-16T08:40:29Z","content_type":"application/pdf","file_name":"2026_CPP_Elbeheiry.pdf","date_created":"2026-02-16T08:40:29Z","access_level":"open_access","file_size":811872,"file_id":"21225","checksum":"7df99991493e907d83a197151f378e3e","relation":"main_file","success":1,"creator":"dernst"}],"oa_version":"Published Version","scopus_import":"1","page":"339-352","title":"A recipe for modular verification of generic tree traversals","type":"conference","quality_controlled":"1","month":"01","publication_status":"published","date_updated":"2026-02-16T08:43:24Z","_id":"21133","date_published":"2026-01-08T00:00:00Z","article_processing_charge":"No","OA_type":"gold","doi":"10.1145/3779031.3779110"},{"conference":{"name":"EMA4MICCAI: Efficient Medical Artificial Intelligence","start_date":"2025-09-23","end_date":"2025-09-23","location":"Daejeon, South Korea"},"alternative_title":["LNCS"],"status":"public","department":[{"_id":"JoDa"}],"author":[{"last_name":"Troidl","first_name":"Jakob","full_name":"Troidl, Jakob"},{"last_name":"Liang","first_name":"Yiqing","full_name":"Liang, Yiqing"},{"full_name":"Beyer, Johanna","first_name":"Johanna","last_name":"Beyer"},{"full_name":"Tavakoli, Mojtaba","orcid":"0000-0002-7667-6854","first_name":"Mojtaba","last_name":"Tavakoli","id":"3A0A06F4-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-8559-3973","full_name":"Danzl, Johann G","last_name":"Danzl","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","first_name":"Johann G"},{"last_name":"Hadwiger","first_name":"Markus","full_name":"Hadwiger, Markus"},{"last_name":"Pfister","first_name":"Hanspeter","full_name":"Pfister, Hanspeter"},{"full_name":"Tompkin, James","last_name":"Tompkin","first_name":"James"}],"language":[{"iso":"eng"}],"year":"2026","volume":16318,"publication_identifier":{"isbn":["9783032139603"],"issn":["0302-9743"],"eissn":["1611-3349"]},"related_material":{"link":[{"url":"https://github.com/jakobtroidl/niiv-miccai","relation":"software"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"repository","main_file_link":[{"url":"https://doi.org/10.1101/2024.09.07.611785","open_access":"1"}],"abstract":[{"text":"Three-dimensional (3D) microscopy data is often anisotropic with significantly lower resolution (up to 8x) along the z axis than along the xy axes. Computationally generating plausible isotropic resolution from anisotropic imaging data would benefit the visual analysis of large-scale volumes. This paper proposes niiv, a self-supervised method for isotropic reconstruction of 3D microscopy data that can quickly produce images at arbitrary output resolutions. The representation embeds a learned latent code within a neural field that describes the implicit higher-resolution isotropic image region. We use an attention-guided latent interpolation approach, which allows flexible information exchange over a local latent neighborhood. Under isotropic volume assumptions, we self-supervise this representation on low-/high-resolution lateral image pairs to reconstruct an isotropic volume from low-resolution axial images. We evaluate our method on simulated and real anisotropic electron (EM) and light microscopy (LM) data. Compared to diffusion-based baselines, niiv shows improved reconstruction quality (+1 dB PSNR) and is over three orders of magnitude faster (1,000x) to infer. Specifically, niiv reconstructs a 128^3 voxel volume in 2/10th of a second, renderable at varying (continuous) high resolutions for display. Our code is available at https://github.com/jakobtroidl/niiv-miccai.","lang":"eng"}],"acknowledgement":"This work was supported by NIH grants 1U01NS132158 and R01HD104969. We thank the reviewers for their constructive feedback.","date_created":"2026-02-01T23:01:44Z","oa":1,"publisher":"Springer Nature","publication":"1st International Workshop on Efficient Medical Artificial Intelligence","day":"03","citation":{"ista":"Troidl J, Liang Y, Beyer J, Tavakoli M, Danzl JG, Hadwiger M, Pfister H, Tompkin J. 2026. niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction. 1st International Workshop on Efficient Medical Artificial Intelligence. EMA4MICCAI: Efficient Medical Artificial Intelligence, LNCS, vol. 16318, 257–267.","ama":"Troidl J, Liang Y, Beyer J, et al. niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction. In: 1st International Workshop on Efficient Medical Artificial Intelligence. Vol 16318. Springer Nature; 2026:257-267. doi:10.1007/978-3-032-13961-0_26","mla":"Troidl, Jakob, et al. “Niiv: Interactive Self-Supervised Neural Implicit Isotropic Volume Reconstruction.” 1st International Workshop on Efficient Medical Artificial Intelligence, vol. 16318, Springer Nature, 2026, pp. 257–67, doi:10.1007/978-3-032-13961-0_26.","chicago":"Troidl, Jakob, Yiqing Liang, Johanna Beyer, Mojtaba Tavakoli, Johann G Danzl, Markus Hadwiger, Hanspeter Pfister, and James Tompkin. “Niiv: Interactive Self-Supervised Neural Implicit Isotropic Volume Reconstruction.” In 1st International Workshop on Efficient Medical Artificial Intelligence, 16318:257–67. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-13961-0_26.","ieee":"J. Troidl et al., “niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction,” in 1st International Workshop on Efficient Medical Artificial Intelligence, Daejeon, South Korea, 2026, vol. 16318, pp. 257–267.","short":"J. Troidl, Y. Liang, J. Beyer, M. Tavakoli, J.G. Danzl, M. Hadwiger, H. Pfister, J. Tompkin, in:, 1st International Workshop on Efficient Medical Artificial Intelligence, Springer Nature, 2026, pp. 257–267.","apa":"Troidl, J., Liang, Y., Beyer, J., Tavakoli, M., Danzl, J. G., Hadwiger, M., … Tompkin, J. (2026). niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction. In 1st International Workshop on Efficient Medical Artificial Intelligence (Vol. 16318, pp. 257–267). Daejeon, South Korea: Springer Nature. https://doi.org/10.1007/978-3-032-13961-0_26"},"oa_version":"Preprint","scopus_import":"1","title":"niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction","type":"conference","page":"257-267","month":"01","intvolume":" 16318","quality_controlled":"1","_id":"21135","publication_status":"published","date_updated":"2026-02-16T08:50:50Z","date_published":"2026-01-03T00:00:00Z","article_processing_charge":"No","OA_type":"green","doi":"10.1007/978-3-032-13961-0_26"},{"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2409.20314","open_access":"1"}],"abstract":[{"lang":"eng","text":"We consider several problems related to packing forests in graphs. The first one is to find k edge-disjoint forests in a directed graph G of maximal size such that the indegree of each vertex in these forests is at most k. We describe a min-max characterization for this problem and show that it can be solved in almost linear time for fixed k, extending the algorithm of [Gabow, 1995]. Specifically, the complexity is O(kδm log n), where n, m are the number of vertices and edges in G respectively, and δ = max{1, k − kG}, where kG is the edge connectivity of the graph. Using our solution to this problem, we improve complexities for two existing applications:(1) k-forest problem: find k forests in an undirected graph G maximizing the number of edges in their union. We show how to solve this problem in O(k3 min{kn, m} log2 n + k · MAXFLOW(m, m) log n) time, breaking the Ok(n3/2) complexity barrier of previously known approaches.(2) Directed edge-connectivity augmentation problem: find a smallest set of directed edges whose addition to the given directed graph makes it strongly k-connected. We improve the deterministic complexity for this problem from O(kδ(m + δn) log n) [Gabow, STOC 1994] to O(kδm log n). A similar approach with the same complexity also works for the undirected version of the problem."}],"arxiv":1,"publication_identifier":{"eisbn":["9781611978971"]},"OA_place":"repository","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"publisher":"Society for Industrial and Applied Mathematics","date_created":"2026-02-05T10:51:34Z","conference":{"name":"SODA: Symposium on Discrete Algorithms","start_date":"2026-01-11","end_date":"2026-01-14","location":"Vancouver, Canada"},"status":"public","language":[{"iso":"eng"}],"year":"2026","author":[{"first_name":"Pavel","last_name":"Arkhipov","id":"b25f2ab2-1fed-11ee-8599-fe02d211784f","full_name":"Arkhipov, Pavel"},{"full_name":"Kolmogorov, Vladimir","first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","last_name":"Kolmogorov"}],"corr_author":"1","department":[{"_id":"VlKo"}],"date_published":"2026-01-07T00:00:00Z","quality_controlled":"1","month":"01","publication_status":"published","date_updated":"2026-02-16T09:18:33Z","_id":"21140","doi":"10.1137/1.9781611978971.148","article_processing_charge":"No","OA_type":"green","citation":{"ista":"Arkhipov P, Kolmogorov V. 2026. Faster algorithms for packing forests in graphs and related problems. Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 4023–4042.","ama":"Arkhipov P, Kolmogorov V. Faster algorithms for packing forests in graphs and related problems. In: Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2026:4023-4042. doi:10.1137/1.9781611978971.148","mla":"Arkhipov, Pavel, and Vladimir Kolmogorov. “Faster Algorithms for Packing Forests in Graphs and Related Problems.” Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2026, pp. 4023–42, doi:10.1137/1.9781611978971.148.","chicago":"Arkhipov, Pavel, and Vladimir Kolmogorov. “Faster Algorithms for Packing Forests in Graphs and Related Problems.” In Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 4023–42. Society for Industrial and Applied Mathematics, 2026. https://doi.org/10.1137/1.9781611978971.148.","ieee":"P. Arkhipov and V. Kolmogorov, “Faster algorithms for packing forests in graphs and related problems,” in Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, Vancouver, Canada, 2026, pp. 4023–4042.","apa":"Arkhipov, P., & Kolmogorov, V. (2026). Faster algorithms for packing forests in graphs and related problems. In Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 4023–4042). Vancouver, Canada: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611978971.148","short":"P. Arkhipov, V. Kolmogorov, in:, Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2026, pp. 4023–4042."},"external_id":{"arxiv":["2409.20314"]},"publication":"Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms","day":"07","page":"4023-4042","type":"conference","title":"Faster algorithms for packing forests in graphs and related problems","oa_version":"Preprint"},{"ddc":["572"],"status":"public","contributor":[{"first_name":"Haohao","last_name":"Fu","contributor_type":"researcher"},{"first_name":"Benjamin","contributor_type":"researcher","id":"71cda2f3-e604-11ee-a1df-da10587eda3f","last_name":"Tatman"},{"first_name":"Matthias","last_name":"Dreydoppel","contributor_type":"researcher"},{"contributor_type":"researcher","last_name":"Kapitonova","id":"9fb2a840-89e1-11ee-a8b7-cc5c7ba62471","first_name":"Anna"},{"orcid":"0000-0001-7597-043X","contributor_type":"researcher","id":"302BADF6-85FC-11EA-9E3B-B9493DDC885E","last_name":"Balazs","first_name":"Daniel"},{"contributor_type":"researcher","last_name":"Weininger","first_name":"Ulrich"},{"last_name":"Engilberge","contributor_type":"researcher","first_name":"Sylvain"}],"department":[{"_id":"GradSch"},{"_id":"PaSc"}],"corr_author":"1","author":[{"last_name":"Becker","id":"36336939-eb97-11eb-a6c2-c83f1214ca79","first_name":"Lea Marie","orcid":"0000-0002-6401-5151","full_name":"Becker, Lea Marie"},{"full_name":"Schanda, Paul","orcid":"0000-0002-9350-7606","first_name":"Paul","last_name":"Schanda","id":"7B541462-FAF6-11E9-A490-E8DFE5697425"},{"full_name":"Chipot, Christophe","last_name":"Chipot","first_name":"Christophe"}],"year":"2026","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"20641"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledged_ssus":[{"_id":"NMR"},{"_id":"LifeSc"}],"acknowledgement":"We thank Nikolai R. Skrynnikov and Olga O. Lebedenko (St. Petersburg) for insightful discussions and for performing exploratory MD simulations. We are grateful to Tobias Schubeis (Lyon) for advice with GB1 crystallization, and Rebecca Schmid for initial crystallization trials.\r\nWe thank Sebastian Falkner for assistance with constructing the structural model of the IgG:GB1 complex.\r\nThis research was supported by the Scientific Service Units (SSU) of Institute of Science and Technology Austria (ISTA) through resources provided by the Nuclear Magnetic Resonance and the Lab Support Facilities. We thank Petra Rovó and Margarita Valhondo Falcón for excellent support of the NMR facility.\r\nLea M. Becker is recipient of a DOC fellowship of the Austrian Academy of Sciences at the Institute of Science and Technology Austria (grant no. PR10660EAW01). Christophe Chipot acknowledges the European Research Council (grant project 101097272 ``MilliInMicro'') and the Métropole du Grand Nancy (grant project ``ARC''). BM07-FIP2 is supported by the French ANR PIA3 (France 2030) EquipEx+ project MAGNIFIX under grant agreement ANR-21-ESRE-0011.","abstract":[{"text":"Protein conformational energy landscapes are shaped not only by intramolecular interactions but also by their environment. In protein crystals and protein-protein complexes, intermolecular contacts alter this energy landscape, but the exact nature of this alteration is difficult to decipher. Understanding how the crystal lattice affects protein dynamics is crucial for crystallography-based studies of motion, yet its influence on collective motions remains unclear. Aromatic ring flips in the hydrophobic core represent sensitive probes of such dynamics. Here, we compare the kinetics of aromatic ring flips in the protein GB1 in crystals, in complex with its binding partner IgG, and in solution, combining advanced isotope labeling with quantitative NMR methods. We show that rings in the core flip nearly a thousand times less frequently in crystals than in solution. Enhanced-sampling molecular dynamics simulations, based on a new crystal structure, reproduce these elevated barriers and reveal how the crystal restrains motions. ","lang":"eng"}],"file_date_updated":"2026-02-05T13:52:41Z","date_created":"2026-02-05T13:54:39Z","oa":1,"publisher":"Institute of Science and Technology Austria","tmp":{"image":"/images/cc_by_nc.png","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","short":"CC BY-NC (4.0)"},"has_accepted_license":"1","project":[{"grant_number":"26777","_id":"7be609c4-9f16-11ee-852c-85015ce2b9b0","name":"Exploring protein dynamics by solid-state MAS NMR through specific labeling approaches"}],"day":"09","file":[{"date_updated":"2026-02-05T13:52:37Z","content_type":"text/plain","access_level":"open_access","date_created":"2026-02-05T13:52:37Z","file_name":"README.txt","file_size":4263,"file_id":"21146","checksum":"02a419cce8cea450bc952f35488d2df5","relation":"table_of_contents","creator":"lbecker"},{"date_updated":"2026-02-05T13:52:41Z","content_type":"application/zip","file_name":"Research_Data.zip","access_level":"open_access","date_created":"2026-02-05T13:52:41Z","file_size":50647107,"file_id":"21147","checksum":"b0b82b1aa73985b0b308a3fa52d21aea","relation":"main_file","creator":"lbecker","success":1}],"citation":{"ista":"Becker LM, Schanda P, Chipot C. 2026. Additional Data for ‘Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-21145.","chicago":"Becker, Lea Marie, Paul Schanda, and Christophe Chipot. “Additional Data for ‘Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.’” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-21145.","ama":"Becker LM, Schanda P, Chipot C. Additional Data for “Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.” 2026. doi:10.15479/AT-ISTA-21145","mla":"Becker, Lea Marie, et al. Additional Data for “Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.” Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21145.","short":"L.M. Becker, P. Schanda, C. Chipot, (2026).","apa":"Becker, L. M., Schanda, P., & Chipot, C. (2026). Additional Data for “Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21145","ieee":"L. M. Becker, P. Schanda, and C. Chipot, “Additional Data for ‘Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.’” Institute of Science and Technology Austria, 2026."},"oa_version":"Published Version","type":"research_data","title":"Additional Data for \"Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes\"","_id":"21145","date_updated":"2026-02-18T10:04:44Z","month":"02","date_published":"2026-02-09T00:00:00Z","article_processing_charge":"No","doi":"10.15479/AT-ISTA-21145","license":"https://creativecommons.org/licenses/by-nc/4.0/"},{"abstract":[{"lang":"eng","text":"We present a general theoretical framework for helical dichroism (HD), establishing an explicit link between chiral resolution and orbital angular momentum (OAM) exchange in light–matter interaction. Tracing microscopic mechanisms of the OAM transfer, we derive rotational selection rules, which establish that HD emerges only from the spin–orbit coupling of light, even for beams without the far-field OAM. Our findings refine the conditions for observing HD, provide a tool to re-examine the outcome of prior experiments, and guide future designs for chiral sensing with structured light."}],"acknowledgement":"This research was funded in whole or in part by the Austrian Science Fund (FWF) [10.55776/F1004].","issue":"5","arxiv":1,"publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"volume":136,"article_type":"original","OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"grant_number":"F100403","_id":"7c040762-9f16-11ee-852c-dd79eeee4ab3","name":"Coherent Optical Metrology Beyond Electric-Dipole-Allowed Transitions"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","oa":1,"publisher":"American Physical Society","date_created":"2026-02-06T10:53:17Z","file_date_updated":"2026-02-10T11:25:46Z","status":"public","ddc":["530"],"language":[{"iso":"eng"}],"year":"2026","author":[{"full_name":"Hrast, Mateja","first_name":"Mateja","last_name":"Hrast","id":"48dbb294-2a9c-11ef-905d-f56be71f0e5d"},{"full_name":"Koutentakis, Georgios","first_name":"Georgios","last_name":"Koutentakis","id":"d7b23d3a-9e21-11ec-b482-f76739596b95"},{"id":"2E65BB0E-F248-11E8-B48F-1D18A9856A87","last_name":"Maslov","first_name":"Mikhail","orcid":"0000-0003-4074-2570","full_name":"Maslov, Mikhail"},{"last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","orcid":"0000-0002-6990-7802","full_name":"Lemeshko, Mikhail"}],"PlanS_conform":"1","corr_author":"1","department":[{"_id":"MiLe"}],"date_published":"2026-02-05T00:00:00Z","quality_controlled":"1","month":"02","intvolume":" 136","publication_status":"published","date_updated":"2026-02-10T11:30:37Z","_id":"21149","article_number":"053204","doi":"10.1103/fkf1-1jml","article_processing_charge":"Yes (via OA deal)","OA_type":"hybrid","citation":{"ieee":"M. Hrast, G. Koutentakis, M. Maslov, and M. Lemeshko, “Bottom-up analysis of rovibrational helical dichroism,” Physical Review Letters, vol. 136, no. 5. American Physical Society, 2026.","short":"M. Hrast, G. Koutentakis, M. Maslov, M. Lemeshko, Physical Review Letters 136 (2026).","apa":"Hrast, M., Koutentakis, G., Maslov, M., & Lemeshko, M. (2026). Bottom-up analysis of rovibrational helical dichroism. Physical Review Letters. American Physical Society. https://doi.org/10.1103/fkf1-1jml","ama":"Hrast M, Koutentakis G, Maslov M, Lemeshko M. Bottom-up analysis of rovibrational helical dichroism. Physical Review Letters. 2026;136(5). doi:10.1103/fkf1-1jml","mla":"Hrast, Mateja, et al. “Bottom-up Analysis of Rovibrational Helical Dichroism.” Physical Review Letters, vol. 136, no. 5, 053204, American Physical Society, 2026, doi:10.1103/fkf1-1jml.","chicago":"Hrast, Mateja, Georgios Koutentakis, Mikhail Maslov, and Mikhail Lemeshko. “Bottom-up Analysis of Rovibrational Helical Dichroism.” Physical Review Letters. American Physical Society, 2026. https://doi.org/10.1103/fkf1-1jml.","ista":"Hrast M, Koutentakis G, Maslov M, Lemeshko M. 2026. Bottom-up analysis of rovibrational helical dichroism. Physical Review Letters. 136(5), 053204."},"file":[{"content_type":"application/pdf","date_updated":"2026-02-10T11:25:46Z","file_id":"21210","relation":"main_file","checksum":"805c929fff9fd4d0e733293eaace67b8","success":1,"creator":"dernst","date_created":"2026-02-10T11:25:46Z","access_level":"open_access","file_name":"2026_PhysicalReviewLetters_Hrast.pdf","file_size":511312}],"external_id":{"arxiv":["2505.16393"]},"publication":"Physical Review Letters","day":"05","scopus_import":"1","type":"journal_article","title":"Bottom-up analysis of rovibrational helical dichroism","oa_version":"Published Version"},{"oa_version":"Published Version","pmid":1,"type":"journal_article","title":"O-GlcNAc and phosphorylation modifications on HtL1/FBA10 regulate wheat vernalization for flowering","scopus_import":"1","publication":"Nature Communications","day":"27","external_id":{"pmid":["41455723"]},"file":[{"file_name":"2026_NatureComm_Yang.pdf","access_level":"open_access","date_created":"2026-02-12T14:33:14Z","file_size":4685882,"file_id":"21223","checksum":"9ae170ec70ba1ab56b6f1ffe67d1de7f","relation":"main_file","creator":"dernst","success":1,"date_updated":"2026-02-12T14:33:14Z","content_type":"application/pdf"}],"citation":{"ista":"Yang P, Liu Y, Dong Q, Miao Y, Zhang J, Xu S, Zhao H, Niu Y, Zhang X, Xu Y, Guo Z, Xing L, Chong K. 2026. O-GlcNAc and phosphorylation modifications on HtL1/FBA10 regulate wheat vernalization for flowering. Nature Communications. 17, 999.","chicago":"Yang, Pengfang, Yangyang Liu, Qi Dong, Yuting Miao, Jianlong Zhang, Shujuan Xu, Hong Zhao, et al. “O-GlcNAc and Phosphorylation Modifications on HtL1/FBA10 Regulate Wheat Vernalization for Flowering.” Nature Communications. Springer Nature, 2026. https://doi.org/10.1038/s41467-025-67734-0.","ama":"Yang P, Liu Y, Dong Q, et al. O-GlcNAc and phosphorylation modifications on HtL1/FBA10 regulate wheat vernalization for flowering. Nature Communications. 2026;17. doi:10.1038/s41467-025-67734-0","mla":"Yang, Pengfang, et al. “O-GlcNAc and Phosphorylation Modifications on HtL1/FBA10 Regulate Wheat Vernalization for Flowering.” Nature Communications, vol. 17, 999, Springer Nature, 2026, doi:10.1038/s41467-025-67734-0.","apa":"Yang, P., Liu, Y., Dong, Q., Miao, Y., Zhang, J., Xu, S., … Chong, K. (2026). O-GlcNAc and phosphorylation modifications on HtL1/FBA10 regulate wheat vernalization for flowering. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-025-67734-0","short":"P. Yang, Y. Liu, Q. Dong, Y. Miao, J. Zhang, S. Xu, H. Zhao, Y. Niu, X. Zhang, Y. Xu, Z. Guo, L. Xing, K. Chong, Nature Communications 17 (2026).","ieee":"P. Yang et al., “O-GlcNAc and phosphorylation modifications on HtL1/FBA10 regulate wheat vernalization for flowering,” Nature Communications, vol. 17. Springer Nature, 2026."},"article_processing_charge":"Yes","OA_type":"gold","article_number":"999","doi":"10.1038/s41467-025-67734-0","date_updated":"2026-02-12T14:34:24Z","publication_status":"published","_id":"21158","quality_controlled":"1","month":"01","intvolume":" 17","date_published":"2026-01-27T00:00:00Z","department":[{"_id":"XiFe"}],"DOAJ_listed":"1","PlanS_conform":"1","language":[{"iso":"eng"}],"year":"2026","author":[{"first_name":"Pengfang","last_name":"Yang","full_name":"Yang, Pengfang"},{"last_name":"Liu","first_name":"Yangyang","full_name":"Liu, Yangyang"},{"full_name":"Dong, Qi","last_name":"Dong","first_name":"Qi"},{"first_name":"Yuting","last_name":"Miao","full_name":"Miao, Yuting"},{"full_name":"Zhang, Jianlong","last_name":"Zhang","first_name":"Jianlong"},{"full_name":"Xu, Shujuan","first_name":"Shujuan","last_name":"Xu","id":"9724dd9d-f591-11ee-bd51-e97ed0652286"},{"full_name":"Zhao, Hong","last_name":"Zhao","first_name":"Hong"},{"first_name":"Yuda","last_name":"Niu","full_name":"Niu, Yuda"},{"full_name":"Zhang, Xueyong","last_name":"Zhang","first_name":"Xueyong"},{"last_name":"Xu","first_name":"Yunyuan","full_name":"Xu, Yunyuan"},{"full_name":"Guo, Zifeng","first_name":"Zifeng","last_name":"Guo"},{"full_name":"Xing, Lijing","first_name":"Lijing","last_name":"Xing"},{"last_name":"Chong","first_name":"Kang","full_name":"Chong, Kang"}],"ddc":["580"],"status":"public","file_date_updated":"2026-02-12T14:33:14Z","oa":1,"publisher":"Springer Nature","date_created":"2026-02-08T23:02:48Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","OA_place":"publisher","article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["2041-1723"]},"volume":17,"acknowledgement":"This work was supported by the Basic Science Center Project of National Natural Science Foundation of China (32388201) to K.C and the National Natural Science Foundation of China (31970331) to L.X. We thank Dr. Zhuang Lu, Dr. Bin Han and Ms. Jingquan Li (Plant Science Facility of the Institute of Botany, Chinese Academy of Sciences) for their technical assistance in LC-MS/MS assay, small molecule compound analysis and the subcellular localization assay, respectively. We thank Dr. Wei Luo and Dr. Dongfeng Liu for helpful discussions.","abstract":[{"lang":"eng","text":"Vernalization-regulated flowering is vital for wheat yield and geographical distribution, and the diversity of flowering time genes is essential for the breeding of climate-resilient varieties. Sugars have long been recognized in regulating flowering; however, the intrinsic connection between carbohydrate metabolism and vernalization response remains largely unexplored. Here, we identify a fructose 1,6-bisphosphate aldolase (FBA) encoding gene, HtL1/FBA10, as a modulator of heading time variation based on a genome-wide association study utilizing wheat core germplasm collections. Evolutionary analysis shows a decrease in the proportion of haplotype-2 of HtL1, which is linked to delayed flowering, in Chinese and American wheat varieties compared to landraces. Vernalization reduces HtL1/FBA10 phosphorylation levels and increases its O-GlcNAcylation, which in turn enhances its enzymatic activity and facilitates VERNALIZATION 1 (VRN1) transcription by regulating histone acetylation at the VRN1 locus. Our findings provide mechanistic insights into the interplay between glucose metabolism and the epigenetic regulation of vernalization in winter wheat."}]},{"article_number":"5","doi":"10.1007/s00493-025-00194-8","OA_type":"hybrid","article_processing_charge":"Yes (via OA deal)","date_published":"2026-02-01T00:00:00Z","publication_status":"published","date_updated":"2026-02-16T09:55:17Z","_id":"21159","quality_controlled":"1","intvolume":" 46","month":"02","title":"Counting perfect matchings in Dirac hypergraphs","type":"journal_article","scopus_import":"1","oa_version":"Published Version","file":[{"date_updated":"2026-02-16T09:52:38Z","content_type":"application/pdf","file_name":"2026_Combinatorica_Kwan.pdf","date_created":"2026-02-16T09:52:38Z","access_level":"open_access","file_size":539646,"file_id":"21228","relation":"main_file","checksum":"47b0031d90b0e6b9a843f422a1486089","creator":"dernst","success":1}],"citation":{"ieee":"M. A. Kwan, R. Safavi Hemami, and Y. Wang, “Counting perfect matchings in Dirac hypergraphs,” Combinatorica, vol. 46. Springer Nature, 2026.","apa":"Kwan, M. A., Safavi Hemami, R., & Wang, Y. (2026). Counting perfect matchings in Dirac hypergraphs. Combinatorica. Springer Nature. https://doi.org/10.1007/s00493-025-00194-8","short":"M.A. Kwan, R. Safavi Hemami, Y. Wang, Combinatorica 46 (2026).","ista":"Kwan MA, Safavi Hemami R, Wang Y. 2026. Counting perfect matchings in Dirac hypergraphs. Combinatorica. 46, 5.","ama":"Kwan MA, Safavi Hemami R, Wang Y. Counting perfect matchings in Dirac hypergraphs. Combinatorica. 2026;46. doi:10.1007/s00493-025-00194-8","mla":"Kwan, Matthew Alan, et al. “Counting Perfect Matchings in Dirac Hypergraphs.” Combinatorica, vol. 46, 5, Springer Nature, 2026, doi:10.1007/s00493-025-00194-8.","chicago":"Kwan, Matthew Alan, Roodabeh Safavi Hemami, and Yiting Wang. “Counting Perfect Matchings in Dirac Hypergraphs.” Combinatorica. Springer Nature, 2026. https://doi.org/10.1007/s00493-025-00194-8."},"publication":"Combinatorica","day":"01","external_id":{"arxiv":["2408.09589"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","file_date_updated":"2026-02-16T09:52:38Z","oa":1,"publisher":"Springer Nature","date_created":"2026-02-08T23:02:49Z","acknowledgement":"We would like to thank the referees for a number of helpful comments and suggestions, which have substantially improved the paper. Open access funding provided by Institute of Science and Technology (IST Austria).","arxiv":1,"abstract":[{"text":"One of the foundational theorems of extremal graph theory is Dirac’s theorem, which\r\nsays that if an n-vertex graph G has minimum degree at least n/2, then G has a\r\nHamilton cycle, and therefore a perfect matching (if n is even). Later work by Sárközy,\r\nSelkow and Szemerédi showed that in fact Dirac graphs have many Hamilton cycles\r\nand perfect matchings, culminating in a result of Cuckler and Kahn that gives a precise\r\ndescription of the numbers of Hamilton cycles and perfect matchings in a Dirac graph\r\nG (in terms of an entropy-like parameter of G). In this paper we extend Cuckler\r\nand Kahn’s result to perfect matchings in hypergraphs. For positive integers d < k,\r\nand for n divisible by k, let md (k, n) be the minimum d-degree that ensures the\r\nexistence of a perfect matching in an n-vertex k-uniform hypergraph. In general, it is\r\nan open question to determine (even asymptotically) the values of md (k, n), but we are\r\nnonetheless able to prove an analogue of the Cuckler–Kahn theorem, showing that if\r\nan n-vertex k-uniform hypergraph G has minimum d-degree at least (1+γ )md (k, n)\r\n(for any constantγ > 0), then the number of perfect matchings in G is controlled by\r\nan entropy-like parameter of G. This strengthens cruder estimates arising from work\r\nof Kang–Kelly–Kühn–Osthus–Pfenninger and Pham–Sah–Sawhney–Simkin.","lang":"eng"}],"OA_place":"publisher","article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":46,"publication_identifier":{"issn":["0209-9683"],"eissn":["1439-6912"]},"year":"2026","language":[{"iso":"eng"}],"author":[{"last_name":"Kwan","id":"5fca0887-a1db-11eb-95d1-ca9d5e0453b3","first_name":"Matthew Alan","orcid":"0000-0002-4003-7567","full_name":"Kwan, Matthew Alan"},{"full_name":"Safavi Hemami, Roodabeh","last_name":"Safavi Hemami","id":"72ed2640-8972-11ed-ae7b-f9c81ec75154","first_name":"Roodabeh"},{"first_name":"Yiting","id":"1917d194-076e-11ed-97cd-837255f88785","last_name":"Wang","full_name":"Wang, Yiting","orcid":"0000-0002-2856-767X"}],"department":[{"_id":"MaKw"},{"_id":"MoHe"}],"corr_author":"1","PlanS_conform":"1","status":"public","ddc":["510"]},{"article_processing_charge":"No","OA_type":"diamond","article_number":"A14","doi":"10.1051/0004-6361/202557568","quality_controlled":"1","intvolume":" 706","month":"02","publication_status":"published","date_updated":"2026-02-16T09:36:24Z","_id":"21160","date_published":"2026-02-01T00:00:00Z","oa_version":"Published Version","scopus_import":"1","title":"The evolutionary history of ultra-compact accreting binaries: I. Chemical abundances and the formation channel of the eclipsing AM CVn system ZTF J225237.05-051917.4 from HST spectroscopy","type":"journal_article","external_id":{"arxiv":["2512.04147"]},"publication":"Astronomy and Astrophysics","day":"01","citation":{"ista":"Yu W, Pala AF, Kupfer T, Gänsicke BT, Koester D, Belloni D, Wong TLS, Schreiber MR, van Roestel JC, Brown AJ, Waagen EO, González-Carballo JL, Bednarz S, Bernacki K, De Martino D, Fernández Mañanes E, González Farfán R, Green MJ, Groot PJ, Hambsch FJ, Knigge C, Martin-Velasco JL, Morales-Aimar M, Myers G, Naves Nogues R, Poggiani R, Popowicz A, Ramsay G, Reina-Lorenz E, Rodríguez-Gil P, Salto-González JL, Sion EM, Steeghs D, Szkody P, Toloza O, Tovmassian G. 2026. The evolutionary history of ultra-compact accreting binaries: I. Chemical abundances and the formation channel of the eclipsing AM CVn system ZTF J225237.05-051917.4 from HST spectroscopy. Astronomy and Astrophysics. 706, A14.","chicago":"Yu, W., A. F. Pala, T. Kupfer, B. T. Gänsicke, D. Koester, D. Belloni, T. L.S. Wong, et al. “The Evolutionary History of Ultra-Compact Accreting Binaries: I. Chemical Abundances and the Formation Channel of the Eclipsing AM CVn System ZTF J225237.05-051917.4 from HST Spectroscopy.” Astronomy and Astrophysics. EDP Sciences, 2026. https://doi.org/10.1051/0004-6361/202557568.","ama":"Yu W, Pala AF, Kupfer T, et al. The evolutionary history of ultra-compact accreting binaries: I. Chemical abundances and the formation channel of the eclipsing AM CVn system ZTF J225237.05-051917.4 from HST spectroscopy. Astronomy and Astrophysics. 2026;706. doi:10.1051/0004-6361/202557568","mla":"Yu, W., et al. “The Evolutionary History of Ultra-Compact Accreting Binaries: I. Chemical Abundances and the Formation Channel of the Eclipsing AM CVn System ZTF J225237.05-051917.4 from HST Spectroscopy.” Astronomy and Astrophysics, vol. 706, A14, EDP Sciences, 2026, doi:10.1051/0004-6361/202557568.","apa":"Yu, W., Pala, A. F., Kupfer, T., Gänsicke, B. T., Koester, D., Belloni, D., … Tovmassian, G. (2026). The evolutionary history of ultra-compact accreting binaries: I. Chemical abundances and the formation channel of the eclipsing AM CVn system ZTF J225237.05-051917.4 from HST spectroscopy. Astronomy and Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202557568","short":"W. Yu, A.F. Pala, T. Kupfer, B.T. Gänsicke, D. Koester, D. Belloni, T.L.S. Wong, M.R. Schreiber, J.C. van Roestel, A.J. Brown, E.O. Waagen, J.L. González-Carballo, S. Bednarz, K. Bernacki, D. De Martino, E. Fernández Mañanes, R. González Farfán, M.J. Green, P.J. Groot, F.J. Hambsch, C. Knigge, J.L. Martin-Velasco, M. Morales-Aimar, G. Myers, R. Naves Nogues, R. Poggiani, A. Popowicz, G. Ramsay, E. Reina-Lorenz, P. Rodríguez-Gil, J.L. Salto-González, E.M. Sion, D. Steeghs, P. Szkody, O. Toloza, G. Tovmassian, Astronomy and Astrophysics 706 (2026).","ieee":"W. Yu et al., “The evolutionary history of ultra-compact accreting binaries: I. Chemical abundances and the formation channel of the eclipsing AM CVn system ZTF J225237.05-051917.4 from HST spectroscopy,” Astronomy and Astrophysics, vol. 706. EDP Sciences, 2026."},"file":[{"file_size":4020466,"access_level":"open_access","file_name":"2026_AstronomyAstrophysics_Yu.pdf","date_created":"2026-02-16T09:33:56Z","success":1,"creator":"dernst","relation":"main_file","checksum":"2faec710fd04f927aa43deb57e35c9b2","file_id":"21227","date_updated":"2026-02-16T09:33:56Z","content_type":"application/pdf"}],"oa":1,"publisher":"EDP Sciences","date_created":"2026-02-08T23:02:49Z","file_date_updated":"2026-02-16T09:33:56Z","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":706,"publication_identifier":{"issn":["0004-6361"],"eissn":["1432-0746"]},"article_type":"original","OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Context. AM Canum Venaticorum (AM CVn) stars are ultra-compact binary systems composed of a white dwarf primary accreting from a hydrogen-deficient donor. They play a crucial role in astrophysics as potential progenitors of Type Ia supernovae and as laboratories for gravitational wave studies. However, their formation and evolutionary history remain incomplete. Three formation channels have been discussed in the literature: the white dwarf, He-star, and cataclysmic variable channels.\r\n\r\nAims. The chemical composition of the accretor atmosphere reflects the material transferred from the donor. In this work we took the first accurate measurements of the fundamental parameters of the accreting white dwarf in ZTF J225237.05−051917.4, including the abundances of key elements such as carbon, nitrogen, and silicon, by analysing ultraviolet spectra obtained with the Hubble Space Telescope (HST). These measurements provide new insight into the evolutionary history of the system and, together with existing optical observations, establish it as a benchmark to develop our pipeline, paving the way for its application to a larger sample of AM CVn systems.\r\n\r\nMethods. We determined the binary parameters through photometric analysis and constrained the atmospheric parameters of the white dwarf accretor, including its effective temperature, surface gravity, and chemical abundances, by fitting the HST ultraviolet spectrum with synthetic spectral models. We then inferred the system’s formation channel by comparing the results with theoretical evolutionary models.\r\n\r\nResults. According to our measurements, the accretor’s effective temperature (Teff) is 23 300 ± 600 K and the surface gravity (log g) is 8.4 ± 0.3, which imply an accretor mass (MWD) of 0.86 ± 0.16 M⊙. We find a high nitrogen-to-carbon abundance ratio by mass of > 153.\r\n\r\nConclusions. The accretor is significantly hotter than previous estimates based on simplified blackbody fits to the spectral energy distribution, underscoring the importance of detailed spectral modelling for accurately determining system parameters. Our results show that ultraviolet spectroscopy is well suited to constraining the formation channels of AM CVn systems. Of the three proposed formation channels, the He-star channel can be excluded given the high nitrogen-to-carbon ratio. Our results are consistent with both the white dwarf and cataclysmic variable channels."}],"acknowledgement":"We thank Lars Bildsten for valuable insights and discussions. We acknowledge with thanks the variable star observations from the\r\nAAVSO International Database contributed by observers worldwide and used in this research. We thank the members of the Spanish Observers of Supernovae\r\n(ObSN) group for their valuable photometric contributions. This research was\r\nsupported by Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC 2121 “Quantum Universe”\r\n– 390833306. Co-funded by the European Union (ERC, CompactBINARIES,\r\n101078773). Views and opinions expressed are however those of the author(s)\r\nonly and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority\r\ncan be held responsible for them. DB acknowledges support from the São Paulo\r\nResearch Foundation (FAPESP), Brazil, Process Numbers #2024/03736-2 and\r\n#2025/00817-4. MRS is supported by Fondecyt (grant 1221059). MJG acknowledges support from the European Research Council through ERC Advanced\r\nGrant No. 101054731, from the National Aeronautics and Space Administration under grants 80NSSC24K0436, 80NSSC22K0479, and 80NSSC24K0380,\r\nand from the National Science Foundation under grant AST-2205736. PJG\r\nis supported by NRF SARChI grant 111692. PR-G acknowledges support by\r\nthe Agencia Estatal de Investigación del Ministerio de Ciencia e Innovación\r\n(MCIN/AEI) and the European Regional Development Fund (ERDF) under grant\r\nPID2021–124879NB–I00. DS is supported by the UK Science and Technology Facilities Council (STFC, grant numbers ST/T007184/1, ST/T003103/1,\r\nand ST/T000406/1). OT acknowledges Proyectos Internos USM 2025, PI-LII2025-03. GT was supported by grants IN109723 from the Programa de Apoyo a\r\nProyectos de Investigación e Innovación Tecnológica (PAPIIT). This project has\r\nreceived funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant agreement No. 101020057).","arxiv":1,"PlanS_conform":"1","department":[{"_id":"IlCa"}],"year":"2026","language":[{"iso":"eng"}],"author":[{"full_name":"Yu, W.","first_name":"W.","last_name":"Yu"},{"full_name":"Pala, A. F.","last_name":"Pala","first_name":"A. F."},{"last_name":"Kupfer","first_name":"T.","full_name":"Kupfer, T."},{"last_name":"Gänsicke","first_name":"B. T.","full_name":"Gänsicke, B. T."},{"full_name":"Koester, D.","first_name":"D.","last_name":"Koester"},{"last_name":"Belloni","first_name":"D.","full_name":"Belloni, D."},{"full_name":"Wong, T. L.S.","first_name":"T. L.S.","last_name":"Wong"},{"full_name":"Schreiber, M. R.","first_name":"M. R.","last_name":"Schreiber"},{"first_name":"Joannes C","id":"4d122fc8-6083-11f0-87a5-97d68b860333","last_name":"van Roestel","full_name":"van Roestel, Joannes C"},{"full_name":"Brown, A. J.","first_name":"A. J.","last_name":"Brown"},{"last_name":"Waagen","first_name":"E. O.","full_name":"Waagen, E. O."},{"full_name":"González-Carballo, J. L.","first_name":"J. L.","last_name":"González-Carballo"},{"full_name":"Bednarz, S.","first_name":"S.","last_name":"Bednarz"},{"first_name":"K.","last_name":"Bernacki","full_name":"Bernacki, K."},{"last_name":"De Martino","first_name":"D.","full_name":"De Martino, D."},{"full_name":"Fernández Mañanes, E.","last_name":"Fernández Mañanes","first_name":"E."},{"last_name":"González Farfán","first_name":"R.","full_name":"González Farfán, R."},{"full_name":"Green, M. J.","first_name":"M. J.","last_name":"Green"},{"first_name":"P. J.","last_name":"Groot","full_name":"Groot, P. J."},{"full_name":"Hambsch, F. J.","last_name":"Hambsch","first_name":"F. J."},{"full_name":"Knigge, C.","last_name":"Knigge","first_name":"C."},{"full_name":"Martin-Velasco, J. L.","last_name":"Martin-Velasco","first_name":"J. L."},{"first_name":"M.","last_name":"Morales-Aimar","full_name":"Morales-Aimar, M."},{"first_name":"G.","last_name":"Myers","full_name":"Myers, G."},{"full_name":"Naves Nogues, R.","first_name":"R.","last_name":"Naves Nogues"},{"full_name":"Poggiani, R.","first_name":"R.","last_name":"Poggiani"},{"full_name":"Popowicz, A.","last_name":"Popowicz","first_name":"A."},{"first_name":"G.","last_name":"Ramsay","full_name":"Ramsay, G."},{"full_name":"Reina-Lorenz, E.","first_name":"E.","last_name":"Reina-Lorenz"},{"last_name":"Rodríguez-Gil","first_name":"P.","full_name":"Rodríguez-Gil, P."},{"full_name":"Salto-González, J. L.","last_name":"Salto-González","first_name":"J. L."},{"last_name":"Sion","first_name":"E. M.","full_name":"Sion, E. M."},{"first_name":"D.","last_name":"Steeghs","full_name":"Steeghs, D."},{"full_name":"Szkody, P.","first_name":"P.","last_name":"Szkody"},{"last_name":"Toloza","first_name":"O.","full_name":"Toloza, O."},{"full_name":"Tovmassian, G.","first_name":"G.","last_name":"Tovmassian"}],"ddc":["520"],"status":"public"}]