[{"oa":1,"article_processing_charge":"Yes (in subscription journal)","article_number":"2550011","department":[{"_id":"RoSe"}],"date_published":"2025-07-01T00:00:00Z","month":"07","article_type":"original","APC_amount":"2320,48 EUR","date_updated":"2026-05-06T13:03:25Z","publication_status":"published","PlanS_conform":"1","publisher":"World Scientific Publishing","ec_funded":1,"year":"2025","status":"public","issue":"6","has_accepted_license":"1","OA_place":"publisher","publication_identifier":{"eissn":["1793-6659"],"issn":["0129-055X"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"date_updated":"2025-12-30T08:23:12Z","success":1,"creator":"dernst","file_size":484646,"access_level":"open_access","checksum":"559d97ee2da28bf0bd2c6af507f3a914","content_type":"application/pdf","file_id":"20893","relation":"main_file","file_name":"2025_ReviewsMathPhysics_Fialova.pdf","date_created":"2025-12-30T08:23:12Z"}],"oa_version":"Published Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"OA_type":"hybrid","title":"Virtual bound states of the Pauli operator with an Aharonov–Bohm potential","language":[{"iso":"eng"}],"file_date_updated":"2025-12-30T08:23:12Z","volume":37,"abstract":[{"lang":"eng","text":"A maximal realization of the two-dimensional Pauli operator, subject to Aharonov–Bohm magnetic field, is investigated. Contrary to the case of the Pauli operator with regular magnetic potentials, it is shown that both components of the Pauli operator are critical. Asymptotics of the weakly coupled eigenvalues, generated by electric (not necessarily self-adjoint) perturbations, are derived."}],"day":"01","date_created":"2025-05-18T22:02:51Z","scopus_import":"1","isi":1,"quality_controlled":"1","author":[{"id":"e9c9844d-9e21-11ec-b482-f96fc09f7c4d","full_name":"Fialova, Marie","first_name":"Marie","last_name":"Fialova"},{"first_name":"David","full_name":"Krejčiřík, David","last_name":"Krejčiřík"}],"doi":"10.1142/S0129055X25500114","_id":"19705","project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program"}],"type":"journal_article","publication":"Reviews in Mathematical Physics","acknowledgement":"Thanks belong to Johannes Ageskov and Matˇej Tuˇsek for helpful discussions on some technical details. M. F. would further like to acknowledge support for research on this paper from the European Unions Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie Grant Agreement No. 101034413 as well as support by funding from Villum Fonden through the QMATH Centreof Excellence Grant No. 10059. D. K. was supported by the EXPRO Grant No.20-17749X of the Czech Science Foundation (GACR).","citation":{"mla":"Fialova, Marie, and David Krejčiřík. “Virtual Bound States of the Pauli Operator with an Aharonov–Bohm Potential.” <i>Reviews in Mathematical Physics</i>, vol. 37, no. 6, 2550011, World Scientific Publishing, 2025, doi:<a href=\"https://doi.org/10.1142/S0129055X25500114\">10.1142/S0129055X25500114</a>.","ieee":"M. Fialova and D. Krejčiřík, “Virtual bound states of the Pauli operator with an Aharonov–Bohm potential,” <i>Reviews in Mathematical Physics</i>, vol. 37, no. 6. World Scientific Publishing, 2025.","ama":"Fialova M, Krejčiřík D. Virtual bound states of the Pauli operator with an Aharonov–Bohm potential. <i>Reviews in Mathematical Physics</i>. 2025;37(6). doi:<a href=\"https://doi.org/10.1142/S0129055X25500114\">10.1142/S0129055X25500114</a>","apa":"Fialova, M., &#38; Krejčiřík, D. (2025). Virtual bound states of the Pauli operator with an Aharonov–Bohm potential. <i>Reviews in Mathematical Physics</i>. World Scientific Publishing. <a href=\"https://doi.org/10.1142/S0129055X25500114\">https://doi.org/10.1142/S0129055X25500114</a>","ista":"Fialova M, Krejčiřík D. 2025. Virtual bound states of the Pauli operator with an Aharonov–Bohm potential. Reviews in Mathematical Physics. 37(6), 2550011.","short":"M. Fialova, D. Krejčiřík, Reviews in Mathematical Physics 37 (2025).","chicago":"Fialova, Marie, and David Krejčiřík. “Virtual Bound States of the Pauli Operator with an Aharonov–Bohm Potential.” <i>Reviews in Mathematical Physics</i>. World Scientific Publishing, 2025. <a href=\"https://doi.org/10.1142/S0129055X25500114\">https://doi.org/10.1142/S0129055X25500114</a>."},"external_id":{"isi":["001481012500001"],"arxiv":["2501.17029"]},"ddc":["530","510"],"arxiv":1,"intvolume":"        37"},{"author":[{"last_name":"Cueto Noval","orcid":"0000-0002-2505-4246","id":"ffc563a3-f6e0-11ea-865d-e3cce03d17cc","full_name":"Cueto Noval, Miguel","first_name":"Miguel"},{"first_name":"Simon-Philipp","full_name":"Merz, Simon-Philipp","last_name":"Merz"},{"last_name":"Stählin","full_name":"Stählin, Patrick","first_name":"Patrick"},{"first_name":"Akin","full_name":"Ünal, Akin","id":"f6b56fb6-dc63-11ee-9dbf-f6780863a85a","orcid":"0000-0002-8929-0221","last_name":"Ünal"}],"page":"385-415","quality_controlled":"1","doi":"10.1007/978-3-031-91095-1_14","_id":"19712","type":"conference","publication":"44th Annual International Conference on the Theory and Applications of Cryptographic Techniques","intvolume":"     15606","citation":{"ieee":"M. Cueto Noval, S.-P. Merz, P. Stählin, and A. Ünal, “On the soundness of algebraic attacks against code-based assumptions,” in <i>44th Annual International Conference on the Theory and Applications of Cryptographic Techniques</i>, Madrid, Spain, 2025, vol. 15606, pp. 385–415.","mla":"Cueto Noval, Miguel, et al. “On the Soundness of Algebraic Attacks against Code-Based Assumptions.” <i>44th Annual International Conference on the Theory and Applications of Cryptographic Techniques</i>, vol. 15606, Springer Nature, 2025, pp. 385–415, doi:<a href=\"https://doi.org/10.1007/978-3-031-91095-1_14\">10.1007/978-3-031-91095-1_14</a>.","ama":"Cueto Noval M, Merz S-P, Stählin P, Ünal A. On the soundness of algebraic attacks against code-based assumptions. In: <i>44th Annual International Conference on the Theory and Applications of Cryptographic Techniques</i>. Vol 15606. Springer Nature; 2025:385-415. doi:<a href=\"https://doi.org/10.1007/978-3-031-91095-1_14\">10.1007/978-3-031-91095-1_14</a>","apa":"Cueto Noval, M., Merz, S.-P., Stählin, P., &#38; Ünal, A. (2025). On the soundness of algebraic attacks against code-based assumptions. In <i>44th Annual International Conference on the Theory and Applications of Cryptographic Techniques</i> (Vol. 15606, pp. 385–415). Madrid, Spain: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-91095-1_14\">https://doi.org/10.1007/978-3-031-91095-1_14</a>","ista":"Cueto Noval M, Merz S-P, Stählin P, Ünal A. 2025. On the soundness of algebraic attacks against code-based assumptions. 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques. EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol. 15606, 385–415.","short":"M. Cueto Noval, S.-P. Merz, P. Stählin, A. Ünal, in:, 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2025, pp. 385–415.","chicago":"Cueto Noval, Miguel, Simon-Philipp Merz, Patrick Stählin, and Akin Ünal. “On the Soundness of Algebraic Attacks against Code-Based Assumptions.” In <i>44th Annual International Conference on the Theory and Applications of Cryptographic Techniques</i>, 15606:385–415. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-031-91095-1_14\">https://doi.org/10.1007/978-3-031-91095-1_14</a>."},"acknowledgement":"We thank Pierre Briaud and Morten Øygarden for helpful discussions on algebraic attacks on RSD, and the EC reviewers for helpful comments.","volume":15606,"title":"On the soundness of algebraic attacks against code-based assumptions","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://www.research-collection.ethz.ch/handle/20.500.11850/732894","open_access":"1"}],"day":"28","abstract":[{"text":"We study recent algebraic attacks (Briaud-Øygarden EC’23) on the Regular Syndrome Decoding (RSD) problem and the assumptions underlying the correctness of their attacks’ complexity estimates. By relating these assumptions to interesting algebraic-combinatorial problems, we prove that they do not hold in full generality. However, we show that they are (asymptotically) true for most parameter sets, supporting the soundness of algebraic attacks on RSD. Further, we prove—without any heuristics or assumptions—that RSD can be broken in polynomial time whenever the number of error blocks times the square of the size of error blocks is larger than 2 times the square of the dimension of the code.\r\nAdditionally, we use our methodology to attack a variant of the Learning With Errors problem where each error term lies in a fixed set of constant size. We prove that this problem can be broken in polynomial time, given a sufficient number of samples. This result improves on the seminal work by Arora and Ge (ICALP’11), as the attack’s time complexity is independent of the LWE modulus.","lang":"eng"}],"date_created":"2025-05-19T14:15:01Z","scopus_import":"1","status":"public","year":"2025","corr_author":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"repository","publication_identifier":{"eisbn":["9783031910951"],"eissn":["1611-3349"],"isbn":["9783031910944"],"issn":["0302-9743"]},"OA_type":"green","alternative_title":["LNCS"],"oa_version":"Submitted Version","oa":1,"department":[{"_id":"KrPi"}],"conference":{"end_date":"2025-05-08","location":"Madrid, Spain","start_date":"2025-05-04","name":"EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques"},"article_processing_charge":"No","date_published":"2025-04-28T00:00:00Z","month":"04","date_updated":"2025-05-28T06:12:39Z","publication_status":"published","publisher":"Springer Nature"},{"project":[{"grant_number":"805223","call_identifier":"H2020","name":"Elastic Coordination for Scalable Machine Learning","_id":"268A44D6-B435-11E9-9278-68D0E5697425"}],"_id":"19713","doi":"10.1609/aaai.v39i19.34290","author":[{"last_name":"Talaei","full_name":"Talaei, Shayan","first_name":"Shayan"},{"full_name":"Ansaripour, Matin","first_name":"Matin","last_name":"Ansaripour"},{"id":"3279A00C-F248-11E8-B48F-1D18A9856A87","first_name":"Giorgi","full_name":"Nadiradze, Giorgi","last_name":"Nadiradze","orcid":"0000-0001-5634-0731"},{"orcid":"0000-0003-3650-940X","last_name":"Alistarh","first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"}],"page":"20778-20786","quality_controlled":"1","intvolume":"        39","arxiv":1,"external_id":{"arxiv":["2210.07703"]},"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement\r\nNo 805223 ScaleML). The authors would like to acknowledge Eugenia Iofinova for useful discussions during the inception of this project.","citation":{"chicago":"Talaei, Shayan, Matin Ansaripour, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Hybrid Decentralized Optimization: Leveraging Both First- and Zeroth-Order Optimizers for Faster Convergence.” <i>Proceedings of the 39th AAAI Conference on Artificial Intelligence</i>. Association for the Advancement of Artificial Intelligence, 2025. <a href=\"https://doi.org/10.1609/aaai.v39i19.34290\">https://doi.org/10.1609/aaai.v39i19.34290</a>.","short":"S. Talaei, M. Ansaripour, G. Nadiradze, D.-A. Alistarh, Proceedings of the 39th AAAI Conference on Artificial Intelligence 39 (2025) 20778–20786.","ista":"Talaei S, Ansaripour M, Nadiradze G, Alistarh D-A. 2025. Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence. Proceedings of the 39th AAAI Conference on Artificial Intelligence. 39(19), 20778–20786.","apa":"Talaei, S., Ansaripour, M., Nadiradze, G., &#38; Alistarh, D.-A. (2025). Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence. <i>Proceedings of the 39th AAAI Conference on Artificial Intelligence</i>. Association for the Advancement of Artificial Intelligence. <a href=\"https://doi.org/10.1609/aaai.v39i19.34290\">https://doi.org/10.1609/aaai.v39i19.34290</a>","ama":"Talaei S, Ansaripour M, Nadiradze G, Alistarh D-A. Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence. <i>Proceedings of the 39th AAAI Conference on Artificial Intelligence</i>. 2025;39(19):20778-20786. doi:<a href=\"https://doi.org/10.1609/aaai.v39i19.34290\">10.1609/aaai.v39i19.34290</a>","ieee":"S. Talaei, M. Ansaripour, G. Nadiradze, and D.-A. Alistarh, “Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence,” <i>Proceedings of the 39th AAAI Conference on Artificial Intelligence</i>, vol. 39, no. 19. Association for the Advancement of Artificial Intelligence, pp. 20778–20786, 2025.","mla":"Talaei, Shayan, et al. “Hybrid Decentralized Optimization: Leveraging Both First- and Zeroth-Order Optimizers for Faster Convergence.” <i>Proceedings of the 39th AAAI Conference on Artificial Intelligence</i>, vol. 39, no. 19, Association for the Advancement of Artificial Intelligence, 2025, pp. 20778–86, doi:<a href=\"https://doi.org/10.1609/aaai.v39i19.34290\">10.1609/aaai.v39i19.34290</a>."},"publication":"Proceedings of the 39th AAAI Conference on Artificial Intelligence","type":"journal_article","date_created":"2025-05-19T14:15:35Z","abstract":[{"lang":"eng","text":"Distributed optimization is the standard way of speeding up machine learning training, and most of the research in the area focuses on distributed first-order, gradient-based methods. Yet, there are settings where some computationally-bounded nodes may not be able to implement first-order, gradient-based optimization, while they could still contribute to joint optimization tasks. In this paper, we initiate the study of hybrid decentralized optimization, studying settings where nodes with zeroth-order and first-order optimization capabilities co-exist in a distributed system, and attempt to jointly solve an optimization task over some data distribution. We essentially show that, under reasonable parameter settings, such a system can not only withstand noisier zeroth-order agents but can even benefit from integrating such agents into the optimization process, rather than ignoring their information. At the core of our approach is a new analysis of distributed optimization with noisy and possibly-biased gradient estimators, which may be of independent interest. Our results hold for both convex and non-convex objectives. Experimental results on standard optimization tasks confirm our analysis, showing that hybrid first-zeroth order optimization can be practical, even when training deep neural networks."}],"day":"11","volume":39,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1609/aaai.v39i19.34290"}],"related_material":{"link":[{"url":"https://github.com/ShayanTalaei/HDO","relation":"software"}]},"language":[{"iso":"eng"}],"title":"Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence","scopus_import":"1","corr_author":"1","year":"2025","issue":"19","status":"public","OA_type":"free access","oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["2159-5399"],"eissn":["2374-3468"]},"OA_place":"publisher","department":[{"_id":"DaAl"}],"article_processing_charge":"No","oa":1,"ec_funded":1,"publisher":"Association for the Advancement of Artificial Intelligence","date_updated":"2026-02-16T12:34:44Z","publication_status":"published","date_published":"2025-04-11T00:00:00Z","article_type":"original","month":"04"},{"department":[{"_id":"SiHi"}],"date_created":"2025-05-20T10:19:29Z","abstract":[{"lang":"eng","text":"Radial glial progenitors (RGPs) generate all projection neurons (PNs) in the cerebral cortex through incompletely understood processes. Herein, we combine Mosaic Analysis with Double Markers (MADM)-based clonal analysis at embryonic days 12.5 and 13.5 with early postnatal callosal tracing to reveal a lineage progression that challenges the inside-outside model of cortical development and the conventional view of an invariable sequence of asymmetric neurogenic divisions. Our data demonstrate that early multipotent RGPs generate all extra-telencephalic (ET) and intra-telencephalic (IT) PNs across all layers through parallel sublineages and the random specification, during the earliest neurogenic divisions, of fate-restricted daughter RGPs. While the neuronal production of the parental multipotent RGPs consists of small ET-PN or IT-PN outputs, fate-restricted RGPs produce larger translaminar outputs spanning deep and upper layers of only IT-PNs, the predominant mammalian PN subtype. We further show that the emergence of IT-PN fate-restricted RGPs also leads to quantitatively and temporally stereotyped neurogenesis population-wise."}],"article_processing_charge":"No","day":"07","oa":1,"language":[{"iso":"eng"}],"main_file_link":[{"url":"https://doi.org/10.1101/2025.05.07.652665","open_access":"1"}],"title":"Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis","publication_status":"published","date_updated":"2025-05-28T06:37:46Z","month":"05","date_published":"2025-05-07T00:00:00Z","_id":"19717","doi":"10.1101/2025.05.07.652665","status":"public","year":"2025","author":[{"last_name":"Varela-Martínez","first_name":"I","full_name":"Varela-Martínez, I"},{"full_name":"Villalba Requena, Ana","first_name":"Ana","id":"68cb85a0-39f7-11eb-9559-9aaab4f6a247","orcid":"0000-0002-5615-5277","last_name":"Villalba Requena"},{"last_name":"Garcia-Marqués","full_name":"Garcia-Marqués, J.","first_name":"J."},{"first_name":"Simon","full_name":"Hippenmeyer, Simon","id":"37B36620-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2279-1061","last_name":"Hippenmeyer"},{"first_name":"M.","full_name":"Nieto, M.","last_name":"Nieto"}],"OA_type":"green","oa_version":"Preprint","citation":{"ista":"Varela-Martínez I, Villalba Requena A, Garcia-Marqués J, Hippenmeyer S, Nieto M. 2025. Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis. bioRxiv, <a href=\"https://doi.org/10.1101/2025.05.07.652665\">10.1101/2025.05.07.652665</a>.","chicago":"Varela-Martínez, I, Ana Villalba Requena, J. Garcia-Marqués, Simon Hippenmeyer, and M. Nieto. “Early Emergence of Projection-Subtype Fate-Restricted Radial Glial Progenitors Orchestrates Neocortical Neurogenesis.” <i>BioRxiv</i>, 2025. <a href=\"https://doi.org/10.1101/2025.05.07.652665\">https://doi.org/10.1101/2025.05.07.652665</a>.","short":"I. Varela-Martínez, A. Villalba Requena, J. Garcia-Marqués, S. Hippenmeyer, M. Nieto, BioRxiv (2025).","ieee":"I. Varela-Martínez, A. Villalba Requena, J. Garcia-Marqués, S. Hippenmeyer, and M. Nieto, “Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis,” <i>bioRxiv</i>. 2025.","mla":"Varela-Martínez, I., et al. “Early Emergence of Projection-Subtype Fate-Restricted Radial Glial Progenitors Orchestrates Neocortical Neurogenesis.” <i>BioRxiv</i>, 2025, doi:<a href=\"https://doi.org/10.1101/2025.05.07.652665\">10.1101/2025.05.07.652665</a>.","apa":"Varela-Martínez, I., Villalba Requena, A., Garcia-Marqués, J., Hippenmeyer, S., &#38; Nieto, M. (2025). Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis. <i>bioRxiv</i>. <a href=\"https://doi.org/10.1101/2025.05.07.652665\">https://doi.org/10.1101/2025.05.07.652665</a>","ama":"Varela-Martínez I, Villalba Requena A, Garcia-Marqués J, Hippenmeyer S, Nieto M. Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis. <i>bioRxiv</i>. 2025. doi:<a href=\"https://doi.org/10.1101/2025.05.07.652665\">10.1101/2025.05.07.652665</a>"},"acknowledgement":"We thank M. Caouyette for the plasmid construction for Pou3f1 overexpression; C. Varela747 Martínez for help with the code for graphical analysis; all members from the Nieto’s lab for\r\ncomment on the manuscript, specially to F. Martín for the insightful discussions;J.C. Oliveros\r\nand J.A. García from the computational service of the CNB for help with the analysis of\r\nRNAseq dataset, C.O. Sorzano for the help with statistical analysis, and the service of\r\nAdvance Optical Microscopy of the CNB for their technical advice.\r\nI.V.M holds a fellowship funded by MCICIU (PRE-2018-083376), the work was funded by\r\nPID2020-112831GB-I00 funded by MCIN/AEI /10.13039/501100011033.\r\n","publication":"bioRxiv","type":"preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"repository"},{"intvolume":"        93","external_id":{"isi":["001496227000001"],"pmid":["40383049"]},"ddc":["570"],"citation":{"ama":"Pipicelli F, Villalba Requena A, Hippenmeyer S. How radial glia progenitor lineages generate cell-type diversity in the developing cerebral cortex. <i>Current Opinion in Neurobiology</i>. 2025;93. doi:<a href=\"https://doi.org/10.1016/j.conb.2025.103046\">10.1016/j.conb.2025.103046</a>","apa":"Pipicelli, F., Villalba Requena, A., &#38; Hippenmeyer, S. (2025). How radial glia progenitor lineages generate cell-type diversity in the developing cerebral cortex. <i>Current Opinion in Neurobiology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.conb.2025.103046\">https://doi.org/10.1016/j.conb.2025.103046</a>","mla":"Pipicelli, Fabrizia, et al. “How Radial Glia Progenitor Lineages Generate Cell-Type Diversity in the Developing Cerebral Cortex.” <i>Current Opinion in Neurobiology</i>, vol. 93, 103046, Elsevier, 2025, doi:<a href=\"https://doi.org/10.1016/j.conb.2025.103046\">10.1016/j.conb.2025.103046</a>.","ieee":"F. Pipicelli, A. Villalba Requena, and S. Hippenmeyer, “How radial glia progenitor lineages generate cell-type diversity in the developing cerebral cortex,” <i>Current Opinion in Neurobiology</i>, vol. 93. Elsevier, 2025.","short":"F. Pipicelli, A. Villalba Requena, S. Hippenmeyer, Current Opinion in Neurobiology 93 (2025).","chicago":"Pipicelli, Fabrizia, Ana Villalba Requena, and Simon Hippenmeyer. “How Radial Glia Progenitor Lineages Generate Cell-Type Diversity in the Developing Cerebral Cortex.” <i>Current Opinion in Neurobiology</i>. Elsevier, 2025. <a href=\"https://doi.org/10.1016/j.conb.2025.103046\">https://doi.org/10.1016/j.conb.2025.103046</a>.","ista":"Pipicelli F, Villalba Requena A, Hippenmeyer S. 2025. How radial glia progenitor lineages generate cell-type diversity in the developing cerebral cortex. Current Opinion in Neurobiology. 93, 103046."},"acknowledgement":"We wish to thank all members of the Hippenmeyer laboratory at ISTA for exciting discussions on the subject of this review. We apologize to colleagues whose work we could not cite and/or discuss in the frame of the available space. Work in the Hippenmeyer laboratory on the discussed topic is supported by ISTA institutional funds, an EMBO LTF (ALTF 994–2023) to F.P, and FWF SFB F78 to S.H.","type":"journal_article","publication":"Current Opinion in Neurobiology","project":[{"_id":"059F6AB4-7A3F-11EA-A408-12923DDC885E","name":"Stem Cell Modulation in Neural Development and Regeneration/ P05-Molecular Mechanisms of Neural Stem Cell Lineage Progression","grant_number":"F7805"},{"grant_number":"ALTF 994-2023","name":"Role of cell lineage in generating cell-type diversity in developing neocortex’","_id":"7c084566-9f16-11ee-852c-c88a1dbbf1cf"}],"_id":"19718","doi":"10.1016/j.conb.2025.103046","author":[{"first_name":"Fabrizia","full_name":"Pipicelli, Fabrizia","id":"649134fd-d012-11ed-8f82-db1e5050f9ba","last_name":"Pipicelli"},{"orcid":"0000-0002-5615-5277","last_name":"Villalba Requena","full_name":"Villalba Requena, Ana","first_name":"Ana","id":"68cb85a0-39f7-11eb-9559-9aaab4f6a247"},{"full_name":"Hippenmeyer, Simon","first_name":"Simon","id":"37B36620-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2279-1061","last_name":"Hippenmeyer"}],"quality_controlled":"1","pmid":1,"isi":1,"scopus_import":"1","date_created":"2025-05-20T10:20:09Z","abstract":[{"lang":"eng","text":"The cerebral cortex is arguably the most complex organ in humans. The cortical architecture is characterized by a remarkable diversity of neuronal and glial cell types that make up its neuronal circuits. Following a precise temporally ordered program, radial glia progenitor (RGP) cells generate all cortical excitatory projection neurons and glial cell-types. Cortical excitatory projection neurons are produced either directly or via intermediate progenitors, through indirect neurogenesis. How the extensive cortical cell-type diversity is generated during cortex development remains, however, a fundamental open question. How do RGPs quantitatively and qualitatively generate all the neocortical neurons? How does direct and indirect neurogenesis contribute to the establishment of neuronal and lineage heterogeneity? Whether RGPs represent a homogeneous and/or multipotent progenitor population, or if RGPs consist of heterogeneous groups is currently also not known. In this review, we will summarize the latest findings that contributed to a deeper insight into the above key questions."}],"day":"01","volume":93,"file_date_updated":"2025-12-30T08:25:49Z","language":[{"iso":"eng"}],"title":"How radial glia progenitor lineages generate cell-type diversity in the developing cerebral cortex","OA_type":"hybrid","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"oa_version":"Published Version","file":[{"file_id":"20894","relation":"main_file","date_created":"2025-12-30T08:25:49Z","file_name":"2025_CurrentOpNeurobiology_Pipicelli.pdf","date_updated":"2025-12-30T08:25:49Z","success":1,"checksum":"05bacb4acbe6275d43e873dec9ba1d52","file_size":1592649,"access_level":"open_access","content_type":"application/pdf","creator":"dernst"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["0959-4388"]},"OA_place":"publisher","has_accepted_license":"1","corr_author":"1","year":"2025","status":"public","publisher":"Elsevier","PlanS_conform":"1","publication_status":"published","date_updated":"2025-12-30T10:54:14Z","article_type":"original","month":"08","date_published":"2025-08-01T00:00:00Z","article_number":"103046","department":[{"_id":"SiHi"}],"article_processing_charge":"Yes (via OA deal)","oa":1},{"pmid":1,"isi":1,"scopus_import":"1","abstract":[{"lang":"eng","text":"Protein-protein interactions (PPIs) mediate many fundamental cellular processes. Control of PPIs through optically or chemically responsive protein domains has had a profound impact on basic research and some clinical applications. Most chemogenetic methods induce the association, i.e., dimerization or oligomerization, of target proteins, whilst the few available dissociation approaches either break large oligomeric protein clusters or heteromeric complexes. Here, we have exploited the controlled dissociation of a homodimeric oxidoreductase from mycobacteria (MSMEG_2027) by its native cofactor, F420, which is not present in mammals, as a bioorthogonal monomerization switch. Using X-ray crystallography, we found that in the absence of F420 MSMEG_2027 forms a unique domain-swapped dimer that occludes the cofactor binding site. Rearrangement of the N-terminal helix upon F420 binding results in the dissolution of the dimer. We then showed that MSMEG_2027 can be fused to proteins of interest in human cells and applied it as a tool to induce and release MAPK/ERK signalling downstream of a chimeric fibroblast growth factor receptor 1 (FGFR1) tyrosine kinase. This F420-dependent chemogenetic de-homodimerization tool is stoichiometric and based on a single domain and thus represents a novel mechanism to investigate protein complexes in situ."}],"day":"01","date_created":"2025-05-25T22:16:39Z","file_date_updated":"2025-12-30T08:18:07Z","volume":437,"title":"A F420-dependent single domain chemogenetic tool for protein de-dimerization","language":[{"iso":"eng"}],"intvolume":"       437","citation":{"ieee":"J. Antoney <i>et al.</i>, “A F420-dependent single domain chemogenetic tool for protein de-dimerization,” <i>Journal of Molecular Biology</i>, vol. 437, no. 17. Elsevier, 2025.","mla":"Antoney, James, et al. “A F420-Dependent Single Domain Chemogenetic Tool for Protein de-Dimerization.” <i>Journal of Molecular Biology</i>, vol. 437, no. 17, 169184, Elsevier, 2025, doi:<a href=\"https://doi.org/10.1016/j.jmb.2025.169184\">10.1016/j.jmb.2025.169184</a>.","apa":"Antoney, J., Kainrath, S., Dubowsky, J. G., Ahmed, F. H., Kang, S. W., Mackie, E. R. R., … Janovjak, H. L. (2025). A F420-dependent single domain chemogenetic tool for protein de-dimerization. <i>Journal of Molecular Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jmb.2025.169184\">https://doi.org/10.1016/j.jmb.2025.169184</a>","ama":"Antoney J, Kainrath S, Dubowsky JG, et al. A F420-dependent single domain chemogenetic tool for protein de-dimerization. <i>Journal of Molecular Biology</i>. 2025;437(17). doi:<a href=\"https://doi.org/10.1016/j.jmb.2025.169184\">10.1016/j.jmb.2025.169184</a>","ista":"Antoney J, Kainrath S, Dubowsky JG, Ahmed FH, Kang SW, Mackie ERR, Bracho Granado G, Soares Da Costa TP, Jackson CJ, Janovjak HL. 2025. A F420-dependent single domain chemogenetic tool for protein de-dimerization. Journal of Molecular Biology. 437(17), 169184.","chicago":"Antoney, James, Stephanie Kainrath, Joshua G. Dubowsky, F. Hafna Ahmed, Suk Woo Kang, Emily R.R. Mackie, Gustavo Bracho Granado, Tatiana P. Soares Da Costa, Colin J. Jackson, and Harald L Janovjak. “A F420-Dependent Single Domain Chemogenetic Tool for Protein de-Dimerization.” <i>Journal of Molecular Biology</i>. Elsevier, 2025. <a href=\"https://doi.org/10.1016/j.jmb.2025.169184\">https://doi.org/10.1016/j.jmb.2025.169184</a>.","short":"J. Antoney, S. Kainrath, J.G. Dubowsky, F.H. Ahmed, S.W. Kang, E.R.R. Mackie, G. Bracho Granado, T.P. Soares Da Costa, C.J. Jackson, H.L. Janovjak, Journal of Molecular Biology 437 (2025)."},"acknowledgement":"We thank J. Kaczmarski for advice on isothermal titration calorimetry and helpful comments, and Alexandra Tichy, Elliot Gerrard and Rahkesh T Sabapathy for assistance with experiments. This study was supported by grants of the Australian Research Council (FT200100519 and DP200102093, to H.J.; DE190100806, DP220101901, FT230100203, and DP250102939 to T.P.S.D.C; DP200102093, CE200100029 and CE200100012 to C.J.J.), the National Health and Medical Research Council (APP1187638, to H.J.). S.K. was supported by the graduate program MolecularDrugTargets (Austrian Science Fund FWF W1232). The Australian Regenerative Medicine Institute is supported by grants from the State Government of Victoria and the Australian Government. The EMBL Australia Partnership Laboratory (EMBL Australia) is supported by the National Collaborative Research Infrastructure Strategy (NCRIS) of the Australian Government. T.P.S.D.C. acknowledges the University of Adelaide for a Future Making Fellowship. E.R.R.M acknowledges the Grains Research and Development Corporation (9176977) for support through a PhD scholarship and operational funding. J.A. and E.R.R.M. were supported by Australian Research Training Program scholarship. MicroMon of Monash University provided Sanger sequencing services. Imaging was performed in the CellScreen SA screening center of Flinders University. C.J.J. thanks the ARC Centre of Excellence for Innovations in Peptide and Protein Science and the ARC Centre of Excellence in Synthetic Biology. We thank the staff of the MX2 beamline at the Australian Synchrotron, part of ANSTO, which made use of the Australian Cancer Research Foundation (ACRF) detector.","external_id":{"isi":["001494762800001"],"pmid":["40324743"]},"ddc":["570"],"publication":"Journal of Molecular Biology","type":"journal_article","project":[{"call_identifier":"FWF","grant_number":"W1232-B24","name":"Molecular Drug Targets","_id":"255A6082-B435-11E9-9278-68D0E5697425"}],"doi":"10.1016/j.jmb.2025.169184","_id":"19725","author":[{"last_name":"Antoney","full_name":"Antoney, James","first_name":"James"},{"last_name":"Kainrath","orcid":"0000-0002-6709-2195","id":"32CFBA64-F248-11E8-B48F-1D18A9856A87","full_name":"Kainrath, Stephanie","first_name":"Stephanie"},{"full_name":"Dubowsky, Joshua G.","first_name":"Joshua G.","last_name":"Dubowsky"},{"full_name":"Ahmed, F. Hafna","first_name":"F. Hafna","last_name":"Ahmed"},{"last_name":"Kang","full_name":"Kang, Suk Woo","first_name":"Suk Woo"},{"last_name":"Mackie","full_name":"Mackie, Emily R.R.","first_name":"Emily R.R."},{"last_name":"Bracho Granado","full_name":"Bracho Granado, Gustavo","first_name":"Gustavo"},{"last_name":"Soares Da Costa","first_name":"Tatiana P.","full_name":"Soares Da Costa, Tatiana P."},{"full_name":"Jackson, Colin J.","first_name":"Colin J.","last_name":"Jackson"},{"last_name":"Janovjak","orcid":"0000-0002-8023-9315","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","full_name":"Janovjak, Harald L","first_name":"Harald L"}],"quality_controlled":"1","publisher":"Elsevier","PlanS_conform":"1","article_type":"original","date_published":"2025-09-01T00:00:00Z","month":"09","date_updated":"2025-12-30T08:18:25Z","publication_status":"published","department":[{"_id":"CaGu"}],"article_number":"169184","article_processing_charge":"Yes (in subscription journal)","oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"OA_type":"hybrid","file":[{"file_id":"20892","relation":"main_file","file_name":"2025_JourMolecularBiology_Antoney.pdf","date_created":"2025-12-30T08:18:07Z","date_updated":"2025-12-30T08:18:07Z","success":1,"creator":"dernst","access_level":"open_access","checksum":"fb6e84ba7dc92faee97647fd2bc8cca8","file_size":1682721,"content_type":"application/pdf"}],"oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"publisher","publication_identifier":{"eissn":["1089-8638"],"issn":["0022-2836"]},"has_accepted_license":"1","year":"2025","issue":"17","status":"public"},{"doi":"10.1016/j.cej.2025.163491","_id":"19726","author":[{"last_name":"Mejia-Centeno","first_name":"Karol V.","full_name":"Mejia-Centeno, Karol V."},{"first_name":"Guillem","full_name":"Montaña-Mora, Guillem","last_name":"Montaña-Mora"},{"full_name":"Chacón-Borrero, Jesús","first_name":"Jesús","last_name":"Chacón-Borrero"},{"first_name":"Qian","full_name":"Xue, Qian","last_name":"Xue"},{"last_name":"Gong","full_name":"Gong, Li","first_name":"Li"},{"first_name":"Sara","full_name":"Martí-Sánchez, Sara","last_name":"Martí-Sánchez"},{"last_name":"Berlanga-Vázquez","full_name":"Berlanga-Vázquez, Armando","first_name":"Armando"},{"full_name":"Llorca, Jordi","first_name":"Jordi","last_name":"Llorca"},{"last_name":"Ibáñez","orcid":"0000-0001-5013-2843","id":"43C61214-F248-11E8-B48F-1D18A9856A87","full_name":"Ibáñez, Maria","first_name":"Maria"},{"first_name":"Jordi","full_name":"Arbiol, Jordi","last_name":"Arbiol"},{"last_name":"Qi","first_name":"Xueqiang","full_name":"Qi, Xueqiang"},{"last_name":"Martinez-Alanis","first_name":"Paulina R.","full_name":"Martinez-Alanis, Paulina R."},{"last_name":"Cabot","full_name":"Cabot, Andreu","first_name":"Andreu"}],"quality_controlled":"1","intvolume":"       515","acknowledgement":"This work was financially supported by the SyDECat and AmaDE projects from the Spanish MCIN/AEI/FEDER (PID2022-136883OB-C22 & PID2023-149158OB-C43). The authors acknowledge funding from Generalitat de Catalunya 2021SGR01581, 2021SGR00457 and European Union Next Generation EU/PRTR. KVMC acknowledges the grant from Call 906 of 2021 for Doctorates Abroad from the Ministry of Science, Technology, and Innovation of Colombia. PRMA acknowledges support from the Ramón y Cajal grant RYC2023-042982-I, funded by MICIU/AEI (10.13039/501100011033) and co-financed by FSE+. This study is part of the Advanced Materials programme and was supported by MCIN with funding from European Union NextGenerationEU (PRTR-C17.I1) and by Generalitat de Catalunya (In-CAEM Project). ICN2 is supported by the Severo Ochoa program from Spanish MCIN / AEI (Grant No.: CEX2021-001214-S) and is funded by the CERCA Programme / Generalitat de Catalunya. ICN2 is founding member of e-DREAM. [76] J.L. is a Serra Húnter Fellow and is grateful to the ICREA Academia program and to projects PID2021-124572OB-C31 and CEX2023-001300-M funded by MCIN/AEI/10.13039/501100011033, EU and FEDER, and to the GC 2021 SGR 01061 grant.","citation":{"apa":"Mejia-Centeno, K. V., Montaña-Mora, G., Chacón-Borrero, J., Xue, Q., Gong, L., Martí-Sánchez, S., … Cabot, A. (2025). Glucose electrooxidation with simultaneous H2 production on nickel-zinc electrocatalysts derived from an ethylenediamine-functionalized zeolitic imidazole framework. <i>Chemical Engineering Journal</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cej.2025.163491\">https://doi.org/10.1016/j.cej.2025.163491</a>","ama":"Mejia-Centeno KV, Montaña-Mora G, Chacón-Borrero J, et al. Glucose electrooxidation with simultaneous H2 production on nickel-zinc electrocatalysts derived from an ethylenediamine-functionalized zeolitic imidazole framework. <i>Chemical Engineering Journal</i>. 2025;515. doi:<a href=\"https://doi.org/10.1016/j.cej.2025.163491\">10.1016/j.cej.2025.163491</a>","ieee":"K. V. Mejia-Centeno <i>et al.</i>, “Glucose electrooxidation with simultaneous H2 production on nickel-zinc electrocatalysts derived from an ethylenediamine-functionalized zeolitic imidazole framework,” <i>Chemical Engineering Journal</i>, vol. 515. Elsevier, 2025.","mla":"Mejia-Centeno, Karol V., et al. “Glucose Electrooxidation with Simultaneous H2 Production on Nickel-Zinc Electrocatalysts Derived from an Ethylenediamine-Functionalized Zeolitic Imidazole Framework.” <i>Chemical Engineering Journal</i>, vol. 515, 163491, Elsevier, 2025, doi:<a href=\"https://doi.org/10.1016/j.cej.2025.163491\">10.1016/j.cej.2025.163491</a>.","chicago":"Mejia-Centeno, Karol V., Guillem Montaña-Mora, Jesús Chacón-Borrero, Qian Xue, Li Gong, Sara Martí-Sánchez, Armando Berlanga-Vázquez, et al. “Glucose Electrooxidation with Simultaneous H2 Production on Nickel-Zinc Electrocatalysts Derived from an Ethylenediamine-Functionalized Zeolitic Imidazole Framework.” <i>Chemical Engineering Journal</i>. Elsevier, 2025. <a href=\"https://doi.org/10.1016/j.cej.2025.163491\">https://doi.org/10.1016/j.cej.2025.163491</a>.","short":"K.V. Mejia-Centeno, G. Montaña-Mora, J. Chacón-Borrero, Q. Xue, L. Gong, S. Martí-Sánchez, A. Berlanga-Vázquez, J. Llorca, M. Ibáñez, J. Arbiol, X. Qi, P.R. Martinez-Alanis, A. Cabot, Chemical Engineering Journal 515 (2025).","ista":"Mejia-Centeno KV, Montaña-Mora G, Chacón-Borrero J, Xue Q, Gong L, Martí-Sánchez S, Berlanga-Vázquez A, Llorca J, Ibáñez M, Arbiol J, Qi X, Martinez-Alanis PR, Cabot A. 2025. Glucose electrooxidation with simultaneous H2 production on nickel-zinc electrocatalysts derived from an ethylenediamine-functionalized zeolitic imidazole framework. Chemical Engineering Journal. 515, 163491."},"external_id":{"isi":["001501928300003"]},"publication":"Chemical Engineering Journal","type":"journal_article","day":"01","abstract":[{"lang":"eng","text":"The oxidation of biomass-derived compounds such as glucose within electrochemical cells enables both the energy-efficient production of hydrogen and the generation of additional added-value chemicals from biomass. However, for this biomass valorization approach to become commercially viable, selective, cost-effective, and highly active electrooxidation catalysts need to be developed. In this work, we detail the synthesis of a nickel (Ni) and zinc (Zn)-based electrocatalyst for the glucose oxidation reaction (GOR) to formic acid (FoA) via calcination of a Zn-based zeolitic imidazole framework (ZIF) functionalized with ethylenediamine and doped with Ni. The structure, morphology, and electrochemical performance of the catalysts towards the anodic GOR to FoA coupled with the cathodic hydrogen evolution reaction (HER) are subsequently studied. Chronopotentiometry tests with 0.1 M of glucose show a conversion of 94 % at 250 mA in only 70 min, with a Faradaic efficiency (FE) of 91 % toward the production of FoA. Meanwhile, at the cathode, the HER FE is close to 98 %."}],"date_created":"2025-05-25T22:16:40Z","volume":515,"title":"Glucose electrooxidation with simultaneous H2 production on nickel-zinc electrocatalysts derived from an ethylenediamine-functionalized zeolitic imidazole framework","language":[{"iso":"eng"}],"isi":1,"scopus_import":"1","year":"2025","status":"public","OA_type":"closed access","oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["1385-8947"]},"department":[{"_id":"MaIb"}],"article_number":"163491","article_processing_charge":"No","publisher":"Elsevier","article_type":"original","date_published":"2025-07-01T00:00:00Z","month":"07","date_updated":"2025-12-30T08:28:59Z","publication_status":"published"},{"type":"journal_article","publication":"Advances in Mathematics","ddc":["510"],"external_id":{"isi":["001495142300002"],"arxiv":["2309.07626"]},"acknowledgement":"I thank Yuri Tschinkel for introducing me to the beautiful paper [53] and associated open questions, and thank him as well as Ramin Takloo-Bighash and Sho Tanimoto for their encouragement and comments. Also, I thank Tim Browning and Dan Loughran for comments and suggestions concerning Manin–Peyre, homogeneous spaces, and splitness. Thanks also to Anshul Adve, Peter Sarnak, Philip Tosteson, Katy Woo, and Nina Zubrilina for some interesting discussions. I thank the Browning Group and Andy O'Desky for many conversations. This project has received funding from the European Union's Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant Agreement No. 101034413. Finally, I thank the editors and referees for their detailed input, which substantially improved the paper.","citation":{"short":"V. Wang, Advances in Mathematics 475 (2025).","chicago":"Wang, Victor. “Asymptotic Growth of Translation-Dilation Orbits.” <i>Advances in Mathematics</i>. Elsevier, 2025. <a href=\"https://doi.org/10.1016/j.aim.2025.110341\">https://doi.org/10.1016/j.aim.2025.110341</a>.","ista":"Wang V. 2025. Asymptotic growth of translation-dilation orbits. Advances in Mathematics. 475, 110341.","ama":"Wang V. Asymptotic growth of translation-dilation orbits. <i>Advances in Mathematics</i>. 2025;475. doi:<a href=\"https://doi.org/10.1016/j.aim.2025.110341\">10.1016/j.aim.2025.110341</a>","apa":"Wang, V. (2025). Asymptotic growth of translation-dilation orbits. <i>Advances in Mathematics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.aim.2025.110341\">https://doi.org/10.1016/j.aim.2025.110341</a>","ieee":"V. Wang, “Asymptotic growth of translation-dilation orbits,” <i>Advances in Mathematics</i>, vol. 475. Elsevier, 2025.","mla":"Wang, Victor. “Asymptotic Growth of Translation-Dilation Orbits.” <i>Advances in Mathematics</i>, vol. 475, 110341, Elsevier, 2025, doi:<a href=\"https://doi.org/10.1016/j.aim.2025.110341\">10.1016/j.aim.2025.110341</a>."},"intvolume":"       475","arxiv":1,"quality_controlled":"1","author":[{"last_name":"Wang","orcid":"0000-0002-0704-7026","id":"76096395-aea4-11ed-a680-ab8ebbd3f1b9","full_name":"Wang, Victor","first_name":"Victor"}],"_id":"19727","doi":"10.1016/j.aim.2025.110341","project":[{"name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020","grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"}],"scopus_import":"1","isi":1,"language":[{"iso":"eng"}],"title":"Asymptotic growth of translation-dilation orbits","volume":475,"file_date_updated":"2025-12-30T08:30:17Z","date_created":"2025-05-25T22:16:41Z","abstract":[{"text":"By studying some Clausen-like multiple Dirichlet series, we complete the proof of Manin's conjecture for sufficiently split smooth equivariant compactifications of the translation-dilation group over the rationals. Secondary terms remain elusive in general.","lang":"eng"}],"day":"01","publication_identifier":{"issn":["0001-8708"],"eissn":["1090-2082"]},"OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Published Version","file":[{"creator":"dernst","file_size":1592341,"content_type":"application/pdf","access_level":"open_access","checksum":"01f2589b678ba840d6a4066c1d8d7642","success":1,"date_updated":"2025-12-30T08:30:17Z","file_name":"2025_AdvMathematics_Wang.pdf","date_created":"2025-12-30T08:30:17Z","relation":"main_file","file_id":"20895"}],"OA_type":"hybrid","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"year":"2025","status":"public","has_accepted_license":"1","corr_author":"1","publication_status":"published","date_updated":"2025-12-30T08:30:30Z","date_published":"2025-07-01T00:00:00Z","article_type":"original","month":"07","PlanS_conform":"1","publisher":"Elsevier","ec_funded":1,"oa":1,"article_processing_charge":"Yes (via OA deal)","article_number":"110341","department":[{"_id":"TiBr"}]},{"type":"journal_article","publication":"Proceedings of the National Academy of Sciences","acknowledgement":"This work was supported by the European Union’s Horizon 2020 research and innovation Programme (European Research Council grant agreement number 742985), Austrian Science Fund (FWF, grant number I 3630-B25), (Institute of Science and Technology Austria) Fellow program, the Qin Chuangyuan High-level Innovation and Entrepreneurship Talent Program (QCYRCXM-2022-237), the Fundamental Research Funds for Northwest A&F University and partly supported by the open funds of the State Key Laboratory of Plant Environmental Resilience (SKLPERKF2416). We also thank the Teaching and Research Core Facility at the College of Life Sciences, Northwest A&F University, particularly Dr. Ningjuan Fan for technical assistance.","citation":{"short":"Y. Zhang, Z. Bao, A. Smoljan, Y. Liu, H. Wang, J. Friml, Proceedings of the National Academy of Sciences 122 (2025).","chicago":"Zhang, Yuzhou, Zhulatai Bao, Adrijana Smoljan, Yifan Liu, Huihui Wang, and Jiří Friml. “Foraging for Water by MIZ1-Mediated Antagonism between Root Gravitropism and Hydrotropism.” <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences, 2025. <a href=\"https://doi.org/10.1073/pnas.2427315122\">https://doi.org/10.1073/pnas.2427315122</a>.","ista":"Zhang Y, Bao Z, Smoljan A, Liu Y, Wang H, Friml J. 2025. Foraging for water by MIZ1-mediated antagonism between root gravitropism and hydrotropism. Proceedings of the National Academy of Sciences. 122(20), e2427315122.","ama":"Zhang Y, Bao Z, Smoljan A, Liu Y, Wang H, Friml J. Foraging for water by MIZ1-mediated antagonism between root gravitropism and hydrotropism. <i>Proceedings of the National Academy of Sciences</i>. 2025;122(20). doi:<a href=\"https://doi.org/10.1073/pnas.2427315122\">10.1073/pnas.2427315122</a>","apa":"Zhang, Y., Bao, Z., Smoljan, A., Liu, Y., Wang, H., &#38; Friml, J. (2025). Foraging for water by MIZ1-mediated antagonism between root gravitropism and hydrotropism. <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.2427315122\">https://doi.org/10.1073/pnas.2427315122</a>","mla":"Zhang, Yuzhou, et al. “Foraging for Water by MIZ1-Mediated Antagonism between Root Gravitropism and Hydrotropism.” <i>Proceedings of the National Academy of Sciences</i>, vol. 122, no. 20, e2427315122, National Academy of Sciences, 2025, doi:<a href=\"https://doi.org/10.1073/pnas.2427315122\">10.1073/pnas.2427315122</a>.","ieee":"Y. Zhang, Z. Bao, A. Smoljan, Y. Liu, H. Wang, and J. Friml, “Foraging for water by MIZ1-mediated antagonism between root gravitropism and hydrotropism,” <i>Proceedings of the National Academy of Sciences</i>, vol. 122, no. 20. National Academy of Sciences, 2025."},"external_id":{"isi":["001496347500001"],"pmid":["40372432"]},"ddc":["580"],"intvolume":"       122","quality_controlled":"1","author":[{"last_name":"Zhang","orcid":"0000-0003-2627-6956","id":"3B6137F2-F248-11E8-B48F-1D18A9856A87","first_name":"Yuzhou","full_name":"Zhang, Yuzhou"},{"last_name":"Bao","full_name":"Bao, Zhulatai","first_name":"Zhulatai"},{"id":"cced8a85-223e-11ed-af04-b0596c55053b","first_name":"Adrijana","full_name":"Smoljan, Adrijana","last_name":"Smoljan"},{"last_name":"Liu","first_name":"Yifan","full_name":"Liu, Yifan"},{"last_name":"Wang","first_name":"Huihui","full_name":"Wang, Huihui"},{"first_name":"Jiří","full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","last_name":"Friml"}],"doi":"10.1073/pnas.2427315122","_id":"19728","project":[{"name":"Tracing Evolution of Auxin Transport and Polarity in Plants","call_identifier":"H2020","grant_number":"742985","_id":"261099A6-B435-11E9-9278-68D0E5697425"},{"_id":"26538374-B435-11E9-9278-68D0E5697425","name":"Molecular mechanisms of endocytic cargo recognition in plants","grant_number":"I03630","call_identifier":"FWF"}],"scopus_import":"1","isi":1,"pmid":1,"title":"Foraging for water by MIZ1-mediated antagonism between root gravitropism and hydrotropism","related_material":{"link":[{"description":"News on ISTA website","url":"https://ista.ac.at/en/news/how-roots-forage-for-water/","relation":"press_release"}]},"language":[{"iso":"eng"}],"file_date_updated":"2025-05-28T08:04:50Z","volume":122,"abstract":[{"text":"Root system integrates multiple environmental cues, chiefly gravity and soil humidity, to anchor plants in soil and forage for water. While the mechanism of auxin-mediated root gravitropism is comparably well-understood, the root’s capability to grow toward moist soil for water uptake and drought avoidance, termed root hydrotropism, remains largely mysterious. Here, we provide key insights into the mechanism of hydrotropic growth and assign a role to the master regulator of hydrotropism, MIZU-KUSSEI 1 (MIZ1). We show that efficient hydrotropism requires the attenuation of antagonistically acting gravitropism, which is inhibited under drought conditions. Drought stress interferes with subcellular trafficking and the lateral mobility of PIN auxin transporters, which are polarly localized at the root cell plasma membranes. This leads to defects in PIN2 polarity and gravity-induced polarization of PIN3, ultimately inhibiting gravity-induced auxin redistribution and root bending. The miz1 mutant is defective in all these regulations, and in support of MIZ1’s action on PINs, pin mutations rescue the hydrotropic defects in the miz1 mutant. These observations identify a mechanism for how drought via MIZ1 attenuates gravitropism to promote root hydrotropism for efficient water foraging under drought conditions.","lang":"eng"}],"day":"20","date_created":"2025-05-25T22:16:43Z","OA_place":"publisher","publication_identifier":{"eissn":["1091-6490"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"date_updated":"2025-05-28T08:04:50Z","creator":"dernst","access_level":"open_access","content_type":"application/pdf","file_size":8266672,"checksum":"f70ff35054561b27a463ba279d1795dc","success":1,"file_id":"19750","file_name":"2025_PNAS_Zhang.pdf","date_created":"2025-05-28T08:04:50Z","relation":"main_file"}],"oa_version":"Published Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"OA_type":"hybrid","issue":"20","year":"2025","status":"public","has_accepted_license":"1","corr_author":"1","article_type":"original","date_published":"2025-05-20T00:00:00Z","month":"05","publication_status":"published","APC_amount":"5937,40 EUR","date_updated":"2026-05-20T08:34:21Z","publisher":"National Academy of Sciences","ec_funded":1,"oa":1,"article_processing_charge":"Yes (in subscription journal)","department":[{"_id":"JiFr"}],"article_number":"e2427315122"},{"doi":"10.1017/jfm.2025.362","_id":"19729","project":[{"call_identifier":"H2020","grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"}],"quality_controlled":"1","author":[{"first_name":"Annalisa","full_name":"De Leo, Annalisa","last_name":"De Leo"},{"id":"4bbe33b8-c59a-11ee-a1af-fa33d1ac42c4","full_name":"Brizzolara, Stefano","first_name":"Stefano","last_name":"Brizzolara"},{"last_name":"Cavaiola","first_name":"Mattia","full_name":"Cavaiola, Mattia"},{"full_name":"He, Junlin","first_name":"Junlin","last_name":"He"},{"last_name":"Stocchino","first_name":"Alessandro","full_name":"Stocchino, Alessandro"}],"citation":{"chicago":"De Leo, Annalisa, Stefano Brizzolara, Mattia Cavaiola, Junlin He, and Alessandro Stocchino. “Rigid Fibre Transport in a Periodic Non-Homogeneous Geophysical Turbulent Flow.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2025. <a href=\"https://doi.org/10.1017/jfm.2025.362\">https://doi.org/10.1017/jfm.2025.362</a>.","short":"A. De Leo, S. Brizzolara, M. Cavaiola, J. He, A. Stocchino, Journal of Fluid Mechanics 1011 (2025).","ista":"De Leo A, Brizzolara S, Cavaiola M, He J, Stocchino A. 2025. Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow. Journal of Fluid Mechanics. 1011, A5.","apa":"De Leo, A., Brizzolara, S., Cavaiola, M., He, J., &#38; Stocchino, A. (2025). Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow. <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jfm.2025.362\">https://doi.org/10.1017/jfm.2025.362</a>","ama":"De Leo A, Brizzolara S, Cavaiola M, He J, Stocchino A. Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow. <i>Journal of Fluid Mechanics</i>. 2025;1011. doi:<a href=\"https://doi.org/10.1017/jfm.2025.362\">10.1017/jfm.2025.362</a>","ieee":"A. De Leo, S. Brizzolara, M. Cavaiola, J. He, and A. Stocchino, “Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow,” <i>Journal of Fluid Mechanics</i>, vol. 1011. Cambridge University Press, 2025.","mla":"De Leo, Annalisa, et al. “Rigid Fibre Transport in a Periodic Non-Homogeneous Geophysical Turbulent Flow.” <i>Journal of Fluid Mechanics</i>, vol. 1011, A5, Cambridge University Press, 2025, doi:<a href=\"https://doi.org/10.1017/jfm.2025.362\">10.1017/jfm.2025.362</a>."},"acknowledgement":"A.S. expresses thanks for support from the Research Grants Council of Hong Kong (project IDs 15216422 and C5032-22EF) and from the Research Institute for Land and Space (RILS) (project ID P0049622). S.B. is funded by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement (no.101034413).","external_id":{"isi":["001489159700001"]},"ddc":["530"],"intvolume":"      1011","type":"journal_article","publication":"Journal of Fluid Mechanics","abstract":[{"text":"From anthropogenic litter carried by ocean currents to plant stems travelling through the atmosphere, geophysical flows are often seeded with elongated, fibre-like particles. In this study, we used a large-scale laboratory model of a tidal current – representative of a widespread class of geophysical flows – to investigate the tumbling motion of long, slender and floating fibres in the complex turbulence generated by flow interactions with a tidal inlet. Despite the non-stationary, non-homogeneous and anisotropic nature of this turbulence, we find that long fibres statistically rotate at the same frequency as eddies of similar size, a phenomenon called scale selection, which is known to occur in ideal turbulence. Furthermore, we report that the signal of the instantaneous transverse velocity difference between the fibre ends changes significantly from the signal produced by the flow in the fibre surroundings, although the two are statistically equivalent. These observations have twofold implications. On the one hand, they confirm the reliability of using the end-to-end velocity signal of rigid fibres to probe the two-point transverse statistics of the flow, even under realistic conditions: oceanographers could exploit this observation to measure transverse velocity differences through elongated floats in the field, where superdiffusion complicates collecting sufficient data to probe two-point turbulence statistics at a fixed separation effectively. On the other hand, by addressing the dynamics of inertial range particles floating in the coastal zone, these observations are crucial to improving our ability to predict the fate of meso- and macro-litter, a size class that is currently understudied.","lang":"eng"}],"day":"16","date_created":"2025-05-25T22:16:46Z","title":"Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow","language":[{"iso":"eng"}],"file_date_updated":"2025-05-28T08:12:07Z","volume":1011,"scopus_import":"1","isi":1,"has_accepted_license":"1","status":"public","year":"2025","file":[{"creator":"dernst","access_level":"open_access","checksum":"f1b0f6a977fdf2d6eb9e16c11d030c0c","content_type":"application/pdf","file_size":6415303,"success":1,"date_updated":"2025-05-28T08:12:07Z","file_name":"2025_JourFluidMech_DeLeo.pdf","date_created":"2025-05-28T08:12:07Z","relation":"main_file","file_id":"19751"}],"oa_version":"Published Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"OA_type":"hybrid","OA_place":"publisher","publication_identifier":{"eissn":["1469-7645"],"issn":["0022-1120"]},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_processing_charge":"No","article_number":"A5","department":[{"_id":"BjHo"}],"oa":1,"publisher":"Cambridge University Press","ec_funded":1,"article_type":"original","month":"05","date_published":"2025-05-16T00:00:00Z","publication_status":"published","date_updated":"2025-09-30T12:38:34Z"},{"publisher":"Cambridge University Press","ec_funded":1,"date_published":"2025-05-14T00:00:00Z","month":"05","article_type":"original","publication_status":"published","date_updated":"2025-09-30T12:39:05Z","article_processing_charge":"Yes (in subscription journal)","article_number":"A36","department":[{"_id":"BjHo"}],"oa":1,"file":[{"date_updated":"2025-05-28T08:32:33Z","success":1,"creator":"dernst","file_size":3607069,"content_type":"application/pdf","access_level":"open_access","checksum":"77f39b762a0e59e88954afb93b23cc7a","file_id":"19752","relation":"main_file","file_name":"2025_JourFluidMech_Wang.pdf","date_created":"2025-05-28T08:32:33Z"}],"oa_version":"Published Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"OA_type":"hybrid","OA_place":"publisher","publication_identifier":{"issn":["0022-1120"],"eissn":["1469-7645"]},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","has_accepted_license":"1","year":"2025","status":"public","scopus_import":"1","isi":1,"day":"14","abstract":[{"text":"Feigenbaum universality is shown to occur in subcritical shear flows. Our testing ground is the counter-rotation regime of the Taylor–Couette flow, where numerical calculations are performed within a small periodic domain. The accurate computation of up to the seventh period-doubling bifurcation, assisted by a purposely defined Poincaré section, has enabled us to reproduce the two Feigenbaum universal constants with unprecedented accuracy in a fluid flow problem. We have further devised a method to predict the bifurcation diagram up to the accumulation point of the cascade based on the detailed inspection of just the first few period-doubling bifurcations. Remarkably, the method is applicable beyond the accumulation point, with predictions remaining valid, in a statistical sense, for the chaotic dynamics that follows.","lang":"eng"}],"date_created":"2025-05-25T22:16:48Z","title":"Feigenbaum universality in subcritical Taylor-Couette flow","language":[{"iso":"eng"}],"file_date_updated":"2025-05-28T08:32:33Z","volume":1010,"citation":{"ista":"Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. 2025. Feigenbaum universality in subcritical Taylor-Couette flow. Journal of Fluid Mechanics. 1010, A36.","chicago":"Wang, Baoying, Roger Ayats López, K. Deguchi, A. Meseguer, and F. Mellibovsky. “Feigenbaum Universality in Subcritical Taylor-Couette Flow.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2025. <a href=\"https://doi.org/10.1017/jfm.2025.278\">https://doi.org/10.1017/jfm.2025.278</a>.","short":"B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, F. Mellibovsky, Journal of Fluid Mechanics 1010 (2025).","mla":"Wang, Baoying, et al. “Feigenbaum Universality in Subcritical Taylor-Couette Flow.” <i>Journal of Fluid Mechanics</i>, vol. 1010, A36, Cambridge University Press, 2025, doi:<a href=\"https://doi.org/10.1017/jfm.2025.278\">10.1017/jfm.2025.278</a>.","ieee":"B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, and F. Mellibovsky, “Feigenbaum universality in subcritical Taylor-Couette flow,” <i>Journal of Fluid Mechanics</i>, vol. 1010. Cambridge University Press, 2025.","apa":"Wang, B., Ayats López, R., Deguchi, K., Meseguer, A., &#38; Mellibovsky, F. (2025). Feigenbaum universality in subcritical Taylor-Couette flow. <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jfm.2025.278\">https://doi.org/10.1017/jfm.2025.278</a>","ama":"Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. Feigenbaum universality in subcritical Taylor-Couette flow. <i>Journal of Fluid Mechanics</i>. 2025;1010. doi:<a href=\"https://doi.org/10.1017/jfm.2025.278\">10.1017/jfm.2025.278</a>"},"acknowledgement":"This research is supported by the Australian Research Council Discovery Project DP230102188 and the Ministerio de Ciencia, Innovación y Universidades (Agencia Estatal de Investigación, project nos. PID 2020–114043 GB-I00 (MCIN/AEI/10.13039/501100011033) and PID 2023–150029NB-I00 (MCIN/AEI/10.13039/501100011033/FEDER, UE). B.W.’s and R.A.’s research has been funded by the European Union’s Horizon 2020 research and innovation programme (Marie Skłodowska-Curie Grant Agreement No. 101034413). R.A. has also been funded by the Austrian Science Fund (FWF) 10.55776/ESP1481224.","ddc":["530"],"external_id":{"isi":["001487354900001"]},"intvolume":"      1010","type":"journal_article","publication":"Journal of Fluid Mechanics","doi":"10.1017/jfm.2025.278","_id":"19730","project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program"},{"_id":"942a0200-16d5-11f0-9cad-f48ab22dfd1c","grant_number":"ESP 1481224","name":"Pattern Formation Mechanisms in Planar Shear Flows"}],"quality_controlled":"1","author":[{"last_name":"Wang","orcid":"0000-0002-6229-0336","id":"df755ffe-735a-11ee-bb55-dff29d61d338","first_name":"Baoying","full_name":"Wang, Baoying"},{"orcid":"0000-0001-6572-0621","last_name":"Ayats López","full_name":"Ayats López, Roger","first_name":"Roger","id":"ab77522d-073b-11ed-8aff-e71b39258362"},{"full_name":"Deguchi, K.","first_name":"K.","last_name":"Deguchi"},{"full_name":"Meseguer, A.","first_name":"A.","last_name":"Meseguer"},{"last_name":"Mellibovsky","full_name":"Mellibovsky, F.","first_name":"F."}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["2694-2461"]},"OA_place":"publisher","OA_type":"gold","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png"},"oa_version":"Published Version","file":[{"date_updated":"2025-05-28T08:48:38Z","creator":"dernst","content_type":"application/pdf","checksum":"a3aa15e4022fa359d6ba5afb96268841","access_level":"open_access","file_size":1750018,"success":1,"file_id":"19753","file_name":"2025_ACSMaterialsAu_Rayaroth.pdf","date_created":"2025-05-28T08:48:38Z","relation":"main_file"}],"issue":"3","year":"2025","status":"public","corr_author":"1","has_accepted_license":"1","publication_status":"published","date_updated":"2025-06-11T13:23:01Z","date_published":"2025-05-14T00:00:00Z","month":"05","article_type":"editorial","publisher":"American Chemical Society","oa":1,"department":[{"_id":"MaIb"}],"article_processing_charge":"Yes","publication":"ACS Materials Au","type":"journal_article","intvolume":"         5","ddc":["540"],"external_id":{"pmid":["40385955"]},"citation":{"short":"A. Rayaroth Puthiyaveettil, C. Fiedler, M. Ibáñez, ACS Materials Au 5 (2025) 438–440.","chicago":"Rayaroth Puthiyaveettil, Aiswarya, Christine Fiedler, and Maria Ibáñez. “Let Us FIGURE It out: Why Do Scientists Still Make ‘Bad’ Figures?” <i>ACS Materials Au</i>. American Chemical Society, 2025. <a href=\"https://doi.org/10.1021/acsmaterialsau.5c00037\">https://doi.org/10.1021/acsmaterialsau.5c00037</a>.","ista":"Rayaroth Puthiyaveettil A, Fiedler C, Ibáñez M. 2025. Let us FIGURE it out: Why do scientists still make “bad” figures? ACS Materials Au. 5(3), 438–440.","ama":"Rayaroth Puthiyaveettil A, Fiedler C, Ibáñez M. Let us FIGURE it out: Why do scientists still make “bad” figures? <i>ACS Materials Au</i>. 2025;5(3):438-440. doi:<a href=\"https://doi.org/10.1021/acsmaterialsau.5c00037\">10.1021/acsmaterialsau.5c00037</a>","apa":"Rayaroth Puthiyaveettil, A., Fiedler, C., &#38; Ibáñez, M. (2025). Let us FIGURE it out: Why do scientists still make “bad” figures? <i>ACS Materials Au</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acsmaterialsau.5c00037\">https://doi.org/10.1021/acsmaterialsau.5c00037</a>","mla":"Rayaroth Puthiyaveettil, Aiswarya, et al. “Let Us FIGURE It out: Why Do Scientists Still Make ‘Bad’ Figures?” <i>ACS Materials Au</i>, vol. 5, no. 3, American Chemical Society, 2025, pp. 438–40, doi:<a href=\"https://doi.org/10.1021/acsmaterialsau.5c00037\">10.1021/acsmaterialsau.5c00037</a>.","ieee":"A. Rayaroth Puthiyaveettil, C. Fiedler, and M. Ibáñez, “Let us FIGURE it out: Why do scientists still make ‘bad’ figures?,” <i>ACS Materials Au</i>, vol. 5, no. 3. American Chemical Society, pp. 438–440, 2025."},"author":[{"id":"8aceb01b-8972-11ed-ae7b-d5fe53775add","full_name":"Rayaroth Puthiyaveettil, Aiswarya","first_name":"Aiswarya","last_name":"Rayaroth Puthiyaveettil"},{"last_name":"Fiedler","id":"bd3fceba-dc74-11ea-a0a7-c17f71817366","first_name":"Christine","full_name":"Fiedler, Christine"},{"last_name":"Ibáñez","orcid":"0000-0001-5013-2843","id":"43C61214-F248-11E8-B48F-1D18A9856A87","first_name":"Maria","full_name":"Ibáñez, Maria"}],"page":"438-440","quality_controlled":"1","_id":"19731","doi":"10.1021/acsmaterialsau.5c00037","scopus_import":"1","pmid":1,"volume":5,"file_date_updated":"2025-05-28T08:48:38Z","language":[{"iso":"eng"}],"DOAJ_listed":"1","title":"Let us FIGURE it out: Why do scientists still make “bad” figures?","date_created":"2025-05-25T22:16:51Z","day":"14","abstract":[{"text":"In an era of high-resolution displays, powerful design software, and automated plotting tools, one would think that scientific figures would be clearer than ever. Yet, despite numerous editorials, guidelines, and workshops dedicated to improving figure design, poorly constructed figures remain a persistent issue. Editors and experienced researchers have repeatedly highlighted key pitfalls such as cluttered layouts, inconsistent formatting, poor color choices, and misleading visuals. (1−8) Yet, the aforementioned graphical shortcomings continue to plague even high-impact journals. Why? The problem is not a lack of technology; it is a combination of poor design habits, rushed deadlines, and a tendency to treat figures as mere “data dumps” rather than as essential storytelling tools.\r\nMany people process information more effectively through visuals, naturally associating concepts easily when presented graphically. A well-crafted figure serves as a narrative within the larger story, making complex ideas more accessible. Unfortunately, visual storytelling often takes a backseat in scientific communication. Scientists are trained to analyze and interpret data, but many default to software-generated plots without considering accessibility or how their figures will be perceived by readers outside their immediate field. Without thoughtful design, figures lose their power to enhance understanding, ultimately limiting the significance of the research itself.\r\nIn this editorial, we examine the challenges that, in our view, hamper scientific figure design and discuss how thoughtful refinements driven by feedback, iteration, and design principles can enhance clarity and impact visual communication.","lang":"eng"}]},{"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"OA_type":"hybrid","file":[{"creator":"dernst","access_level":"open_access","checksum":"899df5797844a9e811dffeebe8c05c8e","content_type":"application/pdf","file_size":998754,"success":1,"date_updated":"2025-05-28T09:00:52Z","file_name":"2025_JourFluidMech_Wang_Ayats.pdf","date_created":"2025-05-28T09:00:52Z","relation":"main_file","file_id":"19754"}],"oa_version":"Published Version","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","OA_place":"publisher","publication_identifier":{"eissn":["1469-7645"],"issn":["0022-1120"]},"has_accepted_license":"1","year":"2025","status":"public","ec_funded":1,"publisher":"Cambridge University Press","article_type":"original","date_published":"2025-05-13T00:00:00Z","month":"05","date_updated":"2025-09-30T12:39:44Z","publication_status":"published","article_number":"R2","department":[{"_id":"BjHo"}],"article_processing_charge":"Yes (in subscription journal)","oa":1,"intvolume":"      1011","acknowledgement":"This research is supported by the Australian Research Council Discovery Project DP230102188 and the Ministerio de Ciencia, Innovación y Universidades (Agencia Estatal de Investigación, project nos PID 2020-114043 GB-I00 (MCIN/AEI/10.13039/501100011033) and PID 2023-150029NB-I00 (MCIN/AEI/10.13039/ 501100011033/FEDER, UE). B.W. and R.A.’s research has been funded by the European Union’s Horizon 2020 research and innovation programme (Marie Skłodowska-Curie grant agreement no. 101034413). R.A. has also been funded by the Austrian Science Fund (FWF) 10.55776/ESP1481224.","citation":{"short":"B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, F. Mellibovsky, Journal of Fluid Mechanics 1011 (2025).","chicago":"Wang, Baoying, Roger Ayats López, K. Deguchi, A. Meseguer, and F. Mellibovsky. “Mathematically Established Chaos and Forecast of Statistics with Recurrent Patterns in Taylor-Couette Flow.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2025. <a href=\"https://doi.org/10.1017/jfm.2025.151\">https://doi.org/10.1017/jfm.2025.151</a>.","ista":"Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. 2025. Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow. Journal of Fluid Mechanics. 1011, R2.","ama":"Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow. <i>Journal of Fluid Mechanics</i>. 2025;1011. doi:<a href=\"https://doi.org/10.1017/jfm.2025.151\">10.1017/jfm.2025.151</a>","apa":"Wang, B., Ayats López, R., Deguchi, K., Meseguer, A., &#38; Mellibovsky, F. (2025). Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow. <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jfm.2025.151\">https://doi.org/10.1017/jfm.2025.151</a>","ieee":"B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, and F. Mellibovsky, “Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow,” <i>Journal of Fluid Mechanics</i>, vol. 1011. Cambridge University Press, 2025.","mla":"Wang, Baoying, et al. “Mathematically Established Chaos and Forecast of Statistics with Recurrent Patterns in Taylor-Couette Flow.” <i>Journal of Fluid Mechanics</i>, vol. 1011, R2, Cambridge University Press, 2025, doi:<a href=\"https://doi.org/10.1017/jfm.2025.151\">10.1017/jfm.2025.151</a>."},"ddc":["530"],"external_id":{"isi":["001486096600001"]},"type":"journal_article","publication":"Journal of Fluid Mechanics","project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020","grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program"},{"_id":"942a0200-16d5-11f0-9cad-f48ab22dfd1c","name":"Pattern Formation Mechanisms in Planar Shear Flows","grant_number":"ESP 1481224"}],"doi":"10.1017/jfm.2025.151","_id":"19732","author":[{"full_name":"Wang, Baoying","first_name":"Baoying","id":"df755ffe-735a-11ee-bb55-dff29d61d338","orcid":"0000-0002-6229-0336","last_name":"Wang"},{"full_name":"Ayats López, Roger","first_name":"Roger","id":"ab77522d-073b-11ed-8aff-e71b39258362","orcid":"0000-0001-6572-0621","last_name":"Ayats López"},{"last_name":"Deguchi","first_name":"K.","full_name":"Deguchi, K."},{"last_name":"Meseguer","first_name":"A.","full_name":"Meseguer, A."},{"full_name":"Mellibovsky, F.","first_name":"F.","last_name":"Mellibovsky"}],"quality_controlled":"1","isi":1,"scopus_import":"1","abstract":[{"text":"The transition to chaos in the subcritical regime of counter-rotating Taylor–Couette flow is investigated using a minimal periodic domain capable of sustaining coherent structures. Following a Feigenbaum cascade, the dynamics is found to be remarkably well approximated by a simple discrete map that admits rigorous proof of its chaotic nature. The chaotic set that arises for the map features densely distributed periodic points that are in one-to-one correspondence with unstable periodic orbits (UPOs) of the Navier–Stokes system. This supports the increasingly accepted view that UPOs may serve as the backbone of turbulence and, indeed, we demonstrate that it is possible to reconstruct every statistical property of chaotic fluid flow from UPOs.","lang":"eng"}],"day":"13","date_created":"2025-05-25T22:16:52Z","file_date_updated":"2025-05-28T09:00:52Z","volume":1011,"title":"Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow","language":[{"iso":"eng"}]},{"date_updated":"2025-09-30T12:41:30Z","publication_status":"published","date_published":"2025-05-19T00:00:00Z","month":"05","article_type":"review","publisher":"Springer Nature","article_number":"e113018","department":[{"_id":"JiFr"}],"article_processing_charge":"No","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_identifier":{"issn":["1471-0072"],"eissn":["1471-0080"]},"OA_type":"closed access","oa_version":"None","status":"public","year":"2025","corr_author":"1","isi":1,"scopus_import":"1","pmid":1,"language":[{"iso":"eng"}],"title":"Mechanisms of auxin action in plant growth and development","date_created":"2025-05-25T22:16:57Z","day":"19","abstract":[{"lang":"eng","text":"The phytohormone auxin is a major signal coordinating growth and development in plants. The variety of its effects arises from its ability to form local auxin maxima and gradients within tissues, generated through directional cell-to-cell transport and elaborate metabolic control. These auxin distribution patterns instruct cells in a context-dependent manner to undergo predefined developmental transitions. In this Review, we discuss advances in auxin action at the level of homeostasis and signalling. We highlight key insights into the structural basis of PIN-mediated intercellular auxin transport and explore two novel non-transcriptional auxin signalling mechanisms: one involving intracellular Ca2+ transients and another involving cell-surface auxin perception that mediates global, ultrafast phosphorylation. Furthermore, we examine emerging evidence indicating the involvement of cyclic adenosine monophosphate as a second messenger in the transcriptional auxin response. Together, these recent developments in auxin research have profoundly deepened our understanding of the complex and diverse activities of auxin in plant growth and development."}],"publication":"Nature Reviews Molecular Cell Biology","type":"journal_article","external_id":{"pmid":["40389696"],"isi":["001490500500001"]},"citation":{"ama":"Vanneste S, Pei Y, Friml J. Mechanisms of auxin action in plant growth and development. <i>Nature Reviews Molecular Cell Biology</i>. 2025. doi:<a href=\"https://doi.org/10.1038/s41580-025-00851-2\">10.1038/s41580-025-00851-2</a>","apa":"Vanneste, S., Pei, Y., &#38; Friml, J. (2025). Mechanisms of auxin action in plant growth and development. <i>Nature Reviews Molecular Cell Biology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41580-025-00851-2\">https://doi.org/10.1038/s41580-025-00851-2</a>","mla":"Vanneste, Steffen, et al. “Mechanisms of Auxin Action in Plant Growth and Development.” <i>Nature Reviews Molecular Cell Biology</i>, e113018, Springer Nature, 2025, doi:<a href=\"https://doi.org/10.1038/s41580-025-00851-2\">10.1038/s41580-025-00851-2</a>.","ieee":"S. Vanneste, Y. Pei, and J. Friml, “Mechanisms of auxin action in plant growth and development,” <i>Nature Reviews Molecular Cell Biology</i>. Springer Nature, 2025.","short":"S. Vanneste, Y. Pei, J. Friml, Nature Reviews Molecular Cell Biology (2025).","chicago":"Vanneste, Steffen, Yuanrong Pei, and Jiří Friml. “Mechanisms of Auxin Action in Plant Growth and Development.” <i>Nature Reviews Molecular Cell Biology</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1038/s41580-025-00851-2\">https://doi.org/10.1038/s41580-025-00851-2</a>.","ista":"Vanneste S, Pei Y, Friml J. 2025. Mechanisms of auxin action in plant growth and development. Nature Reviews Molecular Cell Biology., e113018."},"author":[{"last_name":"Vanneste","first_name":"Steffen","full_name":"Vanneste, Steffen"},{"id":"98605edc-6ce7-11ee-95f3-cc16b866efcd","first_name":"Yuanrong","full_name":"Pei, Yuanrong","last_name":"Pei"},{"orcid":"0000-0002-8302-7596","last_name":"Friml","first_name":"Jiří","full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":"1","_id":"19736","doi":"10.1038/s41580-025-00851-2"},{"acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria). Supported by ERC Advanced Grant “RMTBeyond” No. 101020331.","citation":{"short":"G. Cipolloni, L. Erdös, H.C. Ji, Probability Theory and Related Fields (2025).","chicago":"Cipolloni, Giorgio, László Erdös, and Hong Chang Ji. “Non–Hermitian Spectral Universality at Critical Points.” <i>Probability Theory and Related Fields</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/s00440-025-01384-7\">https://doi.org/10.1007/s00440-025-01384-7</a>.","ista":"Cipolloni G, Erdös L, Ji HC. 2025. Non–Hermitian spectral universality at critical points. Probability Theory and Related Fields., 050603.","ama":"Cipolloni G, Erdös L, Ji HC. Non–Hermitian spectral universality at critical points. <i>Probability Theory and Related Fields</i>. 2025. doi:<a href=\"https://doi.org/10.1007/s00440-025-01384-7\">10.1007/s00440-025-01384-7</a>","apa":"Cipolloni, G., Erdös, L., &#38; Ji, H. C. (2025). Non–Hermitian spectral universality at critical points. <i>Probability Theory and Related Fields</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00440-025-01384-7\">https://doi.org/10.1007/s00440-025-01384-7</a>","mla":"Cipolloni, Giorgio, et al. “Non–Hermitian Spectral Universality at Critical Points.” <i>Probability Theory and Related Fields</i>, 050603, Springer Nature, 2025, doi:<a href=\"https://doi.org/10.1007/s00440-025-01384-7\">10.1007/s00440-025-01384-7</a>.","ieee":"G. Cipolloni, L. Erdös, and H. C. Ji, “Non–Hermitian spectral universality at critical points,” <i>Probability Theory and Related Fields</i>. Springer Nature, 2025."},"ddc":["500"],"external_id":{"isi":["001493091900001"]},"publication":"Probability Theory and Related Fields","type":"journal_article","project":[{"grant_number":"101020331","call_identifier":"H2020","name":"Random matrices beyond Wigner-Dyson-Mehta","_id":"62796744-2b32-11ec-9570-940b20777f1d"}],"doi":"10.1007/s00440-025-01384-7","_id":"19737","author":[{"id":"42198EFA-F248-11E8-B48F-1D18A9856A87","full_name":"Cipolloni, Giorgio","first_name":"Giorgio","last_name":"Cipolloni","orcid":"0000-0002-4901-7992"},{"orcid":"0000-0001-5366-9603","last_name":"Erdös","full_name":"Erdös, László","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ji","first_name":"Hong Chang","full_name":"Ji, Hong Chang"}],"quality_controlled":"1","isi":1,"scopus_import":"1","abstract":[{"lang":"eng","text":"For general large non–Hermitian random matrices X and deterministic normal deformations A, we prove that the local eigenvalue statistics of A + X close to the critical edge points of its spectrum are universal. This concludes the proof of the third and last remaining typical universality class for non–Hermitian random matrices (for normal deformations), after bulk and sharp edge universalities have been established in recent years."}],"day":"01","date_created":"2025-05-25T22:16:59Z","title":"Non–Hermitian spectral universality at critical points","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://doi.org/10.1007/s00440-025-01384-7","open_access":"1"}],"OA_type":"hybrid","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"publisher","publication_identifier":{"issn":["0178-8051"],"eissn":["1432-2064"]},"corr_author":"1","year":"2025","status":"public","ec_funded":1,"publisher":"Springer Nature","article_type":"original","date_published":"2025-01-01T00:00:00Z","month":"01","publication_status":"epub_ahead","date_updated":"2026-06-18T18:17:57Z","department":[{"_id":"LaEr"}],"article_number":"050603","article_processing_charge":"Yes (via OA deal)","oa":1},{"year":"2025","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"isbn":["9783031918285"],"issn":["0302-9743"],"eissn":["1611-3349"]},"OA_place":"repository","OA_type":"green","oa_version":"Preprint","alternative_title":["LNCS"],"oa":1,"conference":{"location":"Roros, Norway","end_date":"2025-05-15","name":"PKC: Public-Key Cryptography","start_date":"2025-05-12"},"department":[{"_id":"KrPi"},{"_id":"GradSch"}],"article_processing_charge":"No","date_updated":"2025-06-02T07:01:45Z","date_published":"2025-05-05T00:00:00Z","month":"05","publisher":"Springer Nature","author":[{"last_name":"Acharya","full_name":"Acharya, Anasuya","first_name":"Anasuya"},{"full_name":"Azari, Karen","first_name":"Karen","last_name":"Azari"},{"last_name":"Baig","id":"3EDE6DE4-AA5A-11E9-986D-341CE6697425","first_name":"Mirza Ahad","full_name":"Baig, Mirza Ahad"},{"full_name":"Hofheinz, Dennis","first_name":"Dennis","last_name":"Hofheinz"},{"full_name":"Kamath, Chethan","first_name":"Chethan","last_name":"Kamath"}],"page":"37-75","quality_controlled":"1","_id":"19738","doi":"10.1007/978-3-031-91829-2_2","publication":"28th IACR International Conference on Practice and Theory of Public-Key Cryptography","type":"conference","intvolume":"     15677","citation":{"ista":"Acharya A, Azari K, Baig MA, Hofheinz D, Kamath C. 2025. Securely instantiating ‘Half Gates’ garbling in the standard model. 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 15677, 37–75.","short":"A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.","chicago":"Acharya, Anasuya, Karen Azari, Mirza Ahad Baig, Dennis Hofheinz, and Chethan Kamath. “Securely Instantiating ‘Half Gates’ Garbling in the Standard Model.” In <i>28th IACR International Conference on Practice and Theory of Public-Key Cryptography</i>, 15677:37–75. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-031-91829-2_2\">https://doi.org/10.1007/978-3-031-91829-2_2</a>.","ieee":"A. Acharya, K. Azari, M. A. Baig, D. Hofheinz, and C. Kamath, “Securely instantiating ‘Half Gates’ garbling in the standard model,” in <i>28th IACR International Conference on Practice and Theory of Public-Key Cryptography</i>, Roros, Norway, 2025, vol. 15677, pp. 37–75.","mla":"Acharya, Anasuya, et al. “Securely Instantiating ‘Half Gates’ Garbling in the Standard Model.” <i>28th IACR International Conference on Practice and Theory of Public-Key Cryptography</i>, vol. 15677, Springer Nature, 2025, pp. 37–75, doi:<a href=\"https://doi.org/10.1007/978-3-031-91829-2_2\">10.1007/978-3-031-91829-2_2</a>.","ama":"Acharya A, Azari K, Baig MA, Hofheinz D, Kamath C. Securely instantiating ‘Half Gates’ garbling in the standard model. In: <i>28th IACR International Conference on Practice and Theory of Public-Key Cryptography</i>. Vol 15677. Springer Nature; 2025:37-75. doi:<a href=\"https://doi.org/10.1007/978-3-031-91829-2_2\">10.1007/978-3-031-91829-2_2</a>","apa":"Acharya, A., Azari, K., Baig, M. A., Hofheinz, D., &#38; Kamath, C. (2025). Securely instantiating ‘Half Gates’ garbling in the standard model. In <i>28th IACR International Conference on Practice and Theory of Public-Key Cryptography</i> (Vol. 15677, pp. 37–75). Roros, Norway: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-91829-2_2\">https://doi.org/10.1007/978-3-031-91829-2_2</a>"},"volume":15677,"main_file_link":[{"url":"https://eprint.iacr.org/2025/281","open_access":"1"}],"language":[{"iso":"eng"}],"title":"Securely instantiating ‘Half Gates’ garbling in the standard model","date_created":"2025-05-25T22:17:02Z","day":"05","abstract":[{"lang":"eng","text":"Garbling is a fundamental cryptographic primitive, with numerous theoretical and practical applications. Since the first construction by Yao (FOCS’82, ’86), a line of work has concerned itself with reducing the communication and computational complexity of that construction. One of the most efficient garbling schemes presently is the ‘Half Gates’ scheme by Zahur, Rosulek, and Evans (Eurocrypt’15). Despite its widespread adoption, the provable security of this scheme has been based on assumptions whose only instantiations are in idealized models. For example, in their original paper, Zahur, Rosulek, and Evans showed that hash functions satisfying a notion called circular correlation robustness (CCR) suffice for this task, and then proved that CCR secure hash functions can be instantiated in the random permutation model.\r\nIn this work, we show how to securely instantiate the Half Gates scheme in the standard model. To this end, we first show how this scheme can be securely instantiated given a (family of) weak CCR hash function, a notion that we introduce. Furthermore, we show how a weak CCR hash function can be used to securely instantiate other efficient garbling schemes, namely the ones by Rosulek and Roy (Crypto’21) and Heath (Eurocrypt’24). Thus we believe this notion to be of independent interest.\r\nFinally, we construct such weak CCR hash functions using indistinguishability obfuscation and one-way functions. The security proof of this construction constitutes our main technical contribution. While our construction is not practical, it serves as a proof of concept supporting the soundness of these garbling schemes, which we regard to be particularly important given the recent initiative by NIST to standardize garbling, and the optimizations in Half Gates being potentially adopted."}],"scopus_import":"1"},{"OA_type":"hybrid","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"oa_version":"Published Version","alternative_title":["LNCS"],"file":[{"success":1,"file_size":259050,"access_level":"open_access","content_type":"application/pdf","checksum":"3f604f25dbe37383acb7f8308aad3ca6","creator":"dernst","date_updated":"2025-06-02T07:10:35Z","relation":"main_file","date_created":"2025-06-02T07:10:35Z","file_name":"2025_TACAS_Chalupa.pdf","file_id":"19766"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"isbn":["9783031906596"],"issn":["0302-9743"],"eissn":["1611-3349"]},"OA_place":"publisher","has_accepted_license":"1","corr_author":"1","status":"public","year":"2025","ec_funded":1,"publisher":"Springer Nature","publication_status":"published","date_updated":"2025-06-02T07:21:41Z","month":"05","date_published":"2025-05-01T00:00:00Z","conference":{"location":"Hamilton, ON, Canada","end_date":"2025-05-08","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","start_date":"2025-05-03"},"department":[{"_id":"ToHe"}],"article_processing_charge":"No","oa":1,"intvolume":"     15698","ddc":["000"],"citation":{"ama":"Chalupa M, Richter C. BUBAAK: Dynamic cooperative verification. In: <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 15698. Springer Nature; 2025:212-216. doi:<a href=\"https://doi.org/10.1007/978-3-031-90660-2_14\">10.1007/978-3-031-90660-2_14</a>","apa":"Chalupa, M., &#38; Richter, C. (2025). BUBAAK: Dynamic cooperative verification. In <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 15698, pp. 212–216). Hamilton, ON, Canada: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-90660-2_14\">https://doi.org/10.1007/978-3-031-90660-2_14</a>","ieee":"M. Chalupa and C. Richter, “BUBAAK: Dynamic cooperative verification,” in <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, Hamilton, ON, Canada, 2025, vol. 15698, pp. 212–216.","mla":"Chalupa, Marek, and Cedric Richter. “BUBAAK: Dynamic Cooperative Verification.” <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 15698, Springer Nature, 2025, pp. 212–16, doi:<a href=\"https://doi.org/10.1007/978-3-031-90660-2_14\">10.1007/978-3-031-90660-2_14</a>.","short":"M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.","chicago":"Chalupa, Marek, and Cedric Richter. “BUBAAK: Dynamic Cooperative Verification.” In <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, 15698:212–16. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-031-90660-2_14\">https://doi.org/10.1007/978-3-031-90660-2_14</a>.","ista":"Chalupa M, Richter C. 2025. BUBAAK: Dynamic cooperative verification. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15698, 212–216."},"acknowledgement":"This work was in part supported by the ERC-2020-AdG 10102009 grant, and in part by the German Research Foundation (DFG) - WE2290/13-2 (Coop2).","type":"conference","publication":"31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems","project":[{"name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"_id":"19739","doi":"10.1007/978-3-031-90660-2_14","page":"212-216","author":[{"last_name":"Chalupa","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","first_name":"Marek","full_name":"Chalupa, Marek"},{"first_name":"Cedric","full_name":"Richter, Cedric","last_name":"Richter"}],"quality_controlled":"1","scopus_import":"1","date_created":"2025-05-25T22:17:04Z","abstract":[{"lang":"eng","text":"Cooperative verification is gaining momentum in recent years. The usual setup in cooperative verification is that a verifier A is run with some pre-defined resources, and if it is not able to verify the program, the verification task is passed to a verifier B together with information learned about the program by verifier A, then the chain can continue to a verifier C, and so on. This scheme is static: tools run one after another in a fixed pre-defined order and fixed parameters and resource limits (the scheme may differ for properties to be analyzed, though).\r\n\r\nBubaak is a program analysis tool that allows to run multiple program verifiers in a dynamically changing combination of parallel and sequential portfolios. Bubaak starts the verification process by invoking an initial set of tasks; every task, when it is done (e.g., because of hitting a time limit or finishing its job), rewrites itself into one or more successor tasks. New tasks can be also spawned upon events generated by other tasks. This all happens dynamically based on the information gathered by finished and running tasks. During their execution, tasks that run in parallel can exchange (partial) verification artifacts, either directly or with Bubaak as an intermediary."}],"day":"01","volume":15698,"file_date_updated":"2025-06-02T07:10:35Z","language":[{"iso":"eng"}],"title":"BUBAAK: Dynamic cooperative verification"},{"scopus_import":"1","date_created":"2025-05-25T22:17:06Z","abstract":[{"text":"Two standard models for probabilistic systems are Markov chains (MCs) and Markov decision processes (MDPs). Classic objectives for such probabilistic models for control and planning problems are reachability and stochastic shortest path. The widely studied algorithmic approach for these problems is the Value Iteration (VI) algorithm which iteratively applies local updates called Bellman updates. There are many practical approaches for VI in the literature but they all require exponentially many Bellman updates for MCs in the worst case. A preprocessing step is an algorithm that is discrete, graph-theoretical, and requires linear space. An important open question is whether, after a polynomial-time preprocessing, VI can be achieved with sub-exponentially many Bellman updates. In this work, we present a new approach for VI based on guessing values. Our theoretical contributions are twofold. First, for MCs, we present an almost-linear-time preprocessing algorithm after which, along with guessing values, VI requires only subexponentially many Bellman updates. Second, we present an improved analysis of the speed of convergence of VI for MDPs. Finally, we present a practical algorithm for MDPs based on our new approach. Experimental results show that our approach provides a considerable improvement over existing VI-based approaches on several benchmark examples from the literature.","lang":"eng"}],"day":"01","language":[{"iso":"eng"}],"title":"Value iteration with guessing for Markov chains and Markov decision processes","volume":15697,"file_date_updated":"2025-06-02T07:31:12Z","ddc":["000"],"external_id":{"arxiv":["2505.06769"]},"acknowledgement":"This research was partially supported by the ERC CoG 863818 (ForM-SMArt) grant and Austrian Science Fund (FWF) 10.55776/COE12 grant.","citation":{"mla":"Chatterjee, Krishnendu, et al. “Value Iteration with Guessing for Markov Chains and Markov Decision Processes.” <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 15697, Springer Nature, 2025, pp. 217–36, doi:<a href=\"https://doi.org/10.1007/978-3-031-90653-4_11\">10.1007/978-3-031-90653-4_11</a>.","ieee":"K. Chatterjee, M. Jafariraviz, R. J. Saona Urmeneta, and J. Svoboda, “Value iteration with guessing for Markov chains and Markov decision processes,” in <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, Hamilton, ON, Canada, 2025, vol. 15697, pp. 217–236.","apa":"Chatterjee, K., Jafariraviz, M., Saona Urmeneta, R. J., &#38; Svoboda, J. (2025). Value iteration with guessing for Markov chains and Markov decision processes. In <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 15697, pp. 217–236). Hamilton, ON, Canada: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-90653-4_11\">https://doi.org/10.1007/978-3-031-90653-4_11</a>","ama":"Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. Value iteration with guessing for Markov chains and Markov decision processes. In: <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 15697. Springer Nature; 2025:217-236. doi:<a href=\"https://doi.org/10.1007/978-3-031-90653-4_11\">10.1007/978-3-031-90653-4_11</a>","ista":"Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. 2025. Value iteration with guessing for Markov chains and Markov decision processes. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15697, 217–236.","chicago":"Chatterjee, Krishnendu, Mahdi Jafariraviz, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Value Iteration with Guessing for Markov Chains and Markov Decision Processes.” In <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, 15697:217–36. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-031-90653-4_11\">https://doi.org/10.1007/978-3-031-90653-4_11</a>.","short":"K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236."},"intvolume":"     15697","arxiv":1,"publication":"31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems","type":"conference","_id":"19740","doi":"10.1007/978-3-031-90653-4_11","project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"quality_controlled":"1","page":"217-236","author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Jafariraviz, Mahdi","first_name":"Mahdi","last_name":"Jafariraviz"},{"full_name":"Saona Urmeneta, Raimundo J","first_name":"Raimundo J","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","orcid":"0000-0001-5103-038X","last_name":"Saona Urmeneta"},{"full_name":"Svoboda, Jakub","first_name":"Jakub","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","orcid":"0000-0002-1419-3267","last_name":"Svoboda"}],"publisher":"Springer Nature","ec_funded":1,"publication_status":"published","date_updated":"2025-06-02T07:35:06Z","month":"05","date_published":"2025-05-01T00:00:00Z","article_processing_charge":"No","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","start_date":"2025-05-03","location":"Hamilton, ON, Canada","end_date":"2025-05-08"},"department":[{"_id":"KrCh"}],"oa":1,"oa_version":"Published Version","alternative_title":["LNCS"],"file":[{"date_updated":"2025-06-02T07:31:12Z","success":1,"file_size":557481,"content_type":"application/pdf","checksum":"45da6efbcbed20aada16c48c8e55e2d6","access_level":"open_access","creator":"dernst","file_id":"19767","relation":"main_file","date_created":"2025-06-02T07:31:12Z","file_name":"2025_TACAS_Chatterjee.pdf"}],"OA_type":"hybrid","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"publication_identifier":{"isbn":["9783031906527"],"issn":["0302-9743"],"eissn":["1611-3349"]},"OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","corr_author":"1","has_accepted_license":"1","status":"public","year":"2025"},{"OA_place":"publisher","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031906428"],"issn":["0302-9743"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"file":[{"date_updated":"2025-06-02T08:13:11Z","file_size":420669,"access_level":"open_access","checksum":"a27fa245be8d83421e9127b48a09c8af","content_type":"application/pdf","creator":"dernst","success":1,"file_id":"19768","date_created":"2025-06-02T08:13:11Z","file_name":"2025_TACAS_ChalupaMarek.pdf","relation":"main_file"}],"oa_version":"Published Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"OA_type":"hybrid","status":"public","year":"2025","has_accepted_license":"1","corr_author":"1","date_published":"2025-05-01T00:00:00Z","month":"05","date_updated":"2026-04-07T12:02:57Z","publication_status":"published","publisher":"Springer Nature","ec_funded":1,"oa":1,"article_processing_charge":"No","department":[{"_id":"ToHe"}],"type":"conference","publication":"31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems","citation":{"short":"M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.","chicago":"Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Automating the Analysis of Quantitative Automata with QuAK.” In <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, 15696:303–12. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-031-90643-5_16\">https://doi.org/10.1007/978-3-031-90643-5_16</a>.","ista":"Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2025. Automating the analysis of quantitative automata with QuAK. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. , LNCS, vol. 15696, 303–312.","ama":"Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. Automating the analysis of quantitative automata with QuAK. In: <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 15696. Springer Nature; 2025:303-312. doi:<a href=\"https://doi.org/10.1007/978-3-031-90643-5_16\">10.1007/978-3-031-90643-5_16</a>","apa":"Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., &#38; Sarac, N. E. (2025). Automating the analysis of quantitative automata with QuAK. In <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 15696, pp. 303–312). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-90643-5_16\">https://doi.org/10.1007/978-3-031-90643-5_16</a>","ieee":"M. Chalupa, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Automating the analysis of quantitative automata with QuAK,” in <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, 2025, vol. 15696, pp. 303–312.","mla":"Chalupa, Marek, et al. “Automating the Analysis of Quantitative Automata with QuAK.” <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 15696, Springer Nature, 2025, pp. 303–12, doi:<a href=\"https://doi.org/10.1007/978-3-031-90643-5_16\">10.1007/978-3-031-90643-5_16</a>."},"acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093.","ddc":["000"],"external_id":{"arxiv":["2501.16088"]},"arxiv":1,"intvolume":"     15696","quality_controlled":"1","author":[{"id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","first_name":"Marek","full_name":"Chalupa, Marek","last_name":"Chalupa"},{"orcid":"0000-0002-2985-7724","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Mazzocchi","full_name":"Mazzocchi, Nicolas Adrien","first_name":"Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85"},{"id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","full_name":"Sarac, Naci E","first_name":"Naci E","last_name":"Sarac"}],"page":"303-312","doi":"10.1007/978-3-031-90643-5_16","_id":"19741","project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software"}],"scopus_import":"1","title":"Automating the analysis of quantitative automata with QuAK","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"20147"}]},"language":[{"iso":"eng"}],"file_date_updated":"2025-06-02T08:13:11Z","volume":15696,"abstract":[{"lang":"eng","text":"Quantitative automata model beyond-boolean aspects of systems: every execution is mapped to a real number by incorporating weighted transitions and value functions that generalize acceptance conditions of boolean w-automata. Despite the theoretical advances in systems analysis through quantitative automata, the first comprehensive software tool for quantitative automata (Quantitative Automata Kit, or QuAK) was developed only recently. QuAK implements algorithms for solving standard decision problems, e.g., emptiness and universality, as well as constructions for safety and liveness of quantitative automata. We present the architecture of QuAK, which reflects that all of these problems reduce to either checking inclusion between two quantitative automata or computing the highest value achievable by an automaton—its so-called top value. We improve QuAK by extending these two algorithms with an option to return, alongside their results, an ultimately periodic word witnessing the algorithm’s output, as well as implementing a new safety-liveness decomposition algorithm that can handle nondeterministic automata, making QuAK more informative and capable."}],"day":"01","date_created":"2025-05-25T22:17:07Z"},{"has_accepted_license":"1","status":"public","year":"2025","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"OA_type":"hybrid","alternative_title":["LNCS"],"file":[{"relation":"main_file","date_created":"2025-06-02T09:35:42Z","file_name":"2025_TACAS_Budde.pdf","file_id":"19770","success":1,"content_type":"application/pdf","checksum":"d45856b503b1dd4f8f14c3566327225b","access_level":"open_access","file_size":711271,"creator":"dernst","date_updated":"2025-06-02T09:35:42Z"}],"oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"publisher","publication_identifier":{"issn":["0302-9743"],"isbn":["9783031906428"],"eissn":["1611-3349"]},"department":[{"_id":"KrCh"}],"conference":{"end_date":"2025-05-08","location":"Hamilton, ON, Canada","start_date":"2025-05-03","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"article_processing_charge":"No","oa":1,"ec_funded":1,"publisher":"Springer Nature","month":"05","date_published":"2025-05-01T00:00:00Z","date_updated":"2025-06-02T09:45:41Z","publication_status":"published","project":[{"name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020","grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"}],"doi":"10.1007/978-3-031-90643-5_9","_id":"19742","page":"167-190","author":[{"last_name":"Budde","first_name":"Carlos E.","full_name":"Budde, Carlos E."},{"last_name":"Hartmanns","full_name":"Hartmanns, Arnd","first_name":"Arnd"},{"orcid":"0000-0002-1712-2165","last_name":"Meggendorfer","first_name":"Tobias","full_name":"Meggendorfer, Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1"},{"last_name":"Weininger","id":"02ab0197-cc70-11ed-ab61-918e71f56881","first_name":"Maximilian","full_name":"Weininger, Maximilian"},{"last_name":"Wienhöft","full_name":"Wienhöft, Patrick","first_name":"Patrick"}],"quality_controlled":"1","arxiv":1,"intvolume":"     15696","citation":{"chicago":"Budde, Carlos E., Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and Expected Rewards.” In <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, 15696:167–90. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-031-90643-5_9\">https://doi.org/10.1007/978-3-031-90643-5_9</a>.","short":"C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.","ista":"Budde CE, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. 2025. Sound statistical model checking for probabilities and expected rewards. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15696, 167–190.","apa":"Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M., &#38; Wienhöft, P. (2025). Sound statistical model checking for probabilities and expected rewards. In <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 15696, pp. 167–190). Hamilton, ON, Canada: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-90643-5_9\">https://doi.org/10.1007/978-3-031-90643-5_9</a>","ama":"Budde CE, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards. In: <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 15696. Springer Nature; 2025:167-190. doi:<a href=\"https://doi.org/10.1007/978-3-031-90643-5_9\">10.1007/978-3-031-90643-5_9</a>","ieee":"C. E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, and P. Wienhöft, “Sound statistical model checking for probabilities and expected rewards,” in <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, Hamilton, ON, Canada, 2025, vol. 15696, pp. 167–190.","mla":"Budde, Carlos E., et al. “Sound Statistical Model Checking for Probabilities and Expected Rewards.” <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 15696, Springer Nature, 2025, pp. 167–90, doi:<a href=\"https://doi.org/10.1007/978-3-031-90643-5_9\">10.1007/978-3-031-90643-5_9</a>."},"acknowledgement":"This work was supported by the DFG through the Cluster of Excellence EXC 2050/1 (CeTI, project ID 390696704, as part of Germany’s Excellence Strategy) and the TRR 248 (see perspicuous-computing.science, project ID 389792660), by the European Union’s Horizon 2020 research and innovation programme under Marie Skłodowska-Curie grant agreements 101008233 (MISSION), 101034413 (IST-BRIDGE), and 101067199 (ProSVED), by the EU under NextGenerationEU projects D53D23008400006 (Smartitude) under MUR PRIN 2022 and PE00000014 (SERICS) under MUR PNRR, by the Interreg North Sea project STORM_SAFE, and by NWO VIDI grant VI.Vidi.223.110 (TruSTy).","external_id":{"arxiv":["2411.00559"]},"ddc":["000"],"type":"conference","publication":"31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems","day":"01","abstract":[{"text":"Statistical model checking estimates probabilities and expectations of interest in probabilistic system models by using random simulations. Its results come with statistical guarantees. However, many tools use unsound statistical methods that produce incorrect results more often than they claim. In this paper, we provide a comprehensive overview of tools and their correctness, as well as of sound methods available for estimating probabilities from the literature. For expected rewards, we investigate how to bound the path reward distribution to apply sound statistical methods for bounded distributions, of which we recommend the Dvoretzky-Kiefer-Wolfowitz inequality that has not been used in SMC so far. We prove that even reachability rewards can be bounded in theory, and formalise the concept of limit-PAC procedures for a practical solution. The modes SMC tool implements our methods and recommendations, which we use to experimentally confirm our results.","lang":"eng"}],"date_created":"2025-05-25T22:17:08Z","file_date_updated":"2025-06-02T09:35:42Z","volume":15696,"title":"Sound statistical model checking for probabilities and expected rewards","language":[{"iso":"eng"}],"related_material":{"record":[{"status":"public","relation":"research_data","id":"19769"}]},"scopus_import":"1"}]