[{"ec_funded":1,"file":[{"creator":"sishida","file_name":"Thesis_tex.zip","checksum":"4eef80afcb67691cbb6549c4756fa534","content_type":"application/zip","date_created":"2025-11-01T18:26:14Z","date_updated":"2025-11-01T18:26:14Z","access_level":"open_access","file_size":72487812,"file_id":"20583","relation":"source_file"},{"relation":"main_file","file_id":"20623","file_size":8945141,"access_level":"open_access","date_updated":"2025-11-10T08:45:05Z","checksum":"1e5a557900bf2dce01966b211b15d0fe","date_created":"2025-11-10T08:45:05Z","file_name":"Thesis_Sadashige_Ishida_PDFA.pdf","content_type":"application/pdf","success":1,"creator":"sishida"}],"OA_place":"publisher","department":[{"_id":"GradSch"},{"_id":"ChWo"}],"file_date_updated":"2025-11-10T08:45:05Z","doi":"10.15479/AT-ISTA-20551","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_status":"published","acknowledgement":"Projects contained in this thesis were financially supported in part by the\r\nEuropean Research Council with grants 1. ERC Consolidator Grant 101045083 CoDiNA,\r\nand 2. the European Union’s Horizon 2020 research and innovation programme under grant\r\nagreement No. 638176.","day":"31","title":"Symplectic-prequantum structures and dynamics on the codimension-2 shape space","ddc":["516"],"abstract":[{"lang":"eng","text":"The space of codimension-2 shapes, such as curves in 3D and surfaces in 4D, is an infinite-dimensional manifold. This thesis explores geometric structures and dynamics on this space, with emphasis on their implications for physics, particularly hydrodynamics.\r\n\r\nOur investigation ranges from theoretical studies of infinite-dimensional symplectic and prequantum geometry to numerical computation of the time evolution of shapes. The thesis presents four main contributions.\r\n\r\nIn the first part, we introduce implicit representations of codimension-2 shapes using a class of complex-valued functions, and prove that the space of these implicit representations forms a prequantum bundle over the codimension-2 shape space. This reveals a new geometric interpretation of the canonical symplectic structure on the codimension-2 shape space.\r\n\r\nIn the second part, we use implicit representations to develop a simulation method for the dynamics of space curves. To handle chaotic systems such as vortex filaments in hydrodynamics, we exploit the infinite degrees of freedom, hidden in both the configuration and dynamics of implicit representations.\r\n\r\nIn the third part, we introduce new symplectic structures on the space of space curves, which generalize the only previously known symplectic structure on this space, allowing for new Hamiltonian dynamics of space curves.\r\n\r\nIn the fourth part, we apply a symplectic viewpoint to a differential geometric problem with practical applications. We derive a new area formula for spherical polygons via prequantization. "}],"corr_author":"1","has_accepted_license":"1","type":"dissertation","degree_awarded":"PhD","supervisor":[{"last_name":"Wojtan","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher J","full_name":"Wojtan, Christopher J","orcid":"0000-0001-6646-5546"},{"first_name":"Albert","last_name":"Chern","full_name":"Chern, Albert"}],"oa":1,"date_created":"2025-10-27T10:28:52Z","date_updated":"2026-04-07T12:02:23Z","_id":"20551","acknowledged_ssus":[{"_id":"CampIT"}],"date_published":"2025-10-31T00:00:00Z","citation":{"short":"S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.","ista":"Ishida S. 2025. Symplectic-prequantum structures and dynamics on the codimension-2 shape space. Institute of Science and Technology Austria.","ama":"Ishida S. Symplectic-prequantum structures and dynamics on the codimension-2 shape space. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20551\">10.15479/AT-ISTA-20551</a>","mla":"Ishida, Sadashige. <i>Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20551\">10.15479/AT-ISTA-20551</a>.","ieee":"S. Ishida, “Symplectic-prequantum structures and dynamics on the codimension-2 shape space,” Institute of Science and Technology Austria, 2025.","apa":"Ishida, S. (2025). <i>Symplectic-prequantum structures and dynamics on the codimension-2 shape space</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20551\">https://doi.org/10.15479/AT-ISTA-20551</a>","chicago":"Ishida, Sadashige. “Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20551\">https://doi.org/10.15479/AT-ISTA-20551</a>."},"article_processing_charge":"No","year":"2025","month":"10","publisher":"Institute of Science and Technology Austria","oa_version":"Published Version","author":[{"full_name":"Ishida, Sadashige","orcid":"0000-0002-3121-3100","id":"6F7C4B96-A8E9-11E9-A7CA-09ECE5697425","first_name":"Sadashige","last_name":"Ishida"}],"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-3-99078-070-1"],"issn":["2663-337X"]},"status":"public","related_material":{"record":[{"status":"public","id":"12846","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"12431"},{"relation":"part_of_dissertation","id":"17361","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"20580"}]},"page":"141","project":[{"call_identifier":"H2020","name":"Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales","grant_number":"638176","_id":"2533E772-B435-11E9-9278-68D0E5697425"},{"name":"Computational Discovery of Numerical Algorithms for Animation and Simulation of Natural Phenomena","grant_number":"101045083","_id":"34bc2376-11ca-11ed-8bc3-9a3b3961a088"}],"alternative_title":["ISTA Thesis"]},{"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2507.11727","open_access":"1"}],"language":[{"iso":"eng"}],"status":"public","abstract":[{"lang":"eng","text":"This paper explores the geometry of the space of codimension-2 submanifolds. We implicitly represent these submanifolds by a class of complex-valued functions. This reveals a prequantum bundle structure over the space of submanifolds, equipped with the well-known Marsden-Weinstein symplectic structure. This bundle allows a new physical interpretation of the Marsden-Weinstein structure as the curvature of a connection form, which measures the average of volumes swept by the deformation of the S^1-family of hypersurfaces, defined as the phases of a complex function implicitly representing a submanifold."}],"corr_author":"1","external_id":{"arxiv":["2507.11727"]},"arxiv":1,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"20551"}]},"type":"preprint","_id":"20580","date_published":"2025-07-15T00:00:00Z","citation":{"short":"A. Chern, S. Ishida, ArXiv (n.d.).","ista":"Chern A, Ishida S. Implicit representations of codimension-2 submanifolds and their prequantum structure. arXiv, <a href=\"https://doi.org/10.48550/ARXIV.2507.11727\">10.48550/ARXIV.2507.11727</a>.","ama":"Chern A, Ishida S. Implicit representations of codimension-2 submanifolds and their prequantum structure. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/ARXIV.2507.11727\">10.48550/ARXIV.2507.11727</a>","mla":"Chern, Albert, and Sadashige Ishida. “Implicit Representations of Codimension-2 Submanifolds and Their Prequantum Structure.” <i>ArXiv</i>, doi:<a href=\"https://doi.org/10.48550/ARXIV.2507.11727\">10.48550/ARXIV.2507.11727</a>.","ieee":"A. Chern and S. Ishida, “Implicit representations of codimension-2 submanifolds and their prequantum structure,” <i>arXiv</i>. .","apa":"Chern, A., &#38; Ishida, S. (n.d.). Implicit representations of codimension-2 submanifolds and their prequantum structure. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/ARXIV.2507.11727\">https://doi.org/10.48550/ARXIV.2507.11727</a>","chicago":"Chern, Albert, and Sadashige Ishida. “Implicit Representations of Codimension-2 Submanifolds and Their Prequantum Structure.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/ARXIV.2507.11727\">https://doi.org/10.48550/ARXIV.2507.11727</a>."},"doi":"10.48550/ARXIV.2507.11727","article_processing_charge":"No","oa":1,"department":[{"_id":"GradSch"},{"_id":"ChWo"}],"date_created":"2025-10-30T18:36:56Z","date_updated":"2026-04-07T12:02:23Z","OA_place":"repository","oa_version":"Preprint","month":"07","author":[{"full_name":"Chern, Albert","last_name":"Chern","first_name":"Albert"},{"orcid":"0000-0002-3121-3100","full_name":"Ishida, Sadashige","first_name":"Sadashige","id":"6F7C4B96-A8E9-11E9-A7CA-09ECE5697425","last_name":"Ishida"}],"publication":"arXiv","title":"Implicit representations of codimension-2 submanifolds and their prequantum structure","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"draft","day":"15","year":"2025"},{"author":[{"last_name":"Ruzickova","first_name":"Natalia","id":"D2761128-D73D-11E9-A1BF-BA0DE6697425","full_name":"Ruzickova, Natalia"}],"publisher":"Institute of Science and Technology Austria","month":"09","oa_version":"Published Version","year":"2025","citation":{"apa":"Ruzickova, N. (2025). <i>Effect propagation in biological networks</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20357\">https://doi.org/10.15479/AT-ISTA-20357</a>","chicago":"Ruzickova, Natalia. “Effect Propagation in Biological Networks.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20357\">https://doi.org/10.15479/AT-ISTA-20357</a>.","ama":"Ruzickova N. Effect propagation in biological networks. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20357\">10.15479/AT-ISTA-20357</a>","ieee":"N. Ruzickova, “Effect propagation in biological networks,” Institute of Science and Technology Austria, 2025.","mla":"Ruzickova, Natalia. <i>Effect Propagation in Biological Networks</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20357\">10.15479/AT-ISTA-20357</a>.","ista":"Ruzickova N. 2025. Effect propagation in biological networks. Institute of Science and Technology Austria.","short":"N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025."},"article_processing_charge":"No","acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"E-Lib"}],"_id":"20357","date_published":"2025-09-15T00:00:00Z","date_updated":"2026-04-07T12:02:39Z","date_created":"2025-09-15T17:04:48Z","supervisor":[{"first_name":"Gašper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkačik","orcid":"0000-0002-6699-1455","full_name":"Tkačik, Gašper"}],"alternative_title":["ISTA Thesis"],"related_material":{"record":[{"status":"public","id":"18525","relation":"part_of_dissertation"}]},"page":"160","project":[{"_id":"7bec9174-9f16-11ee-852c-ded9fe5f810e","name":"Collective behaviour of cells in pancreatic Islets of Langerhans"}],"language":[{"iso":"eng"}],"status":"public","publication_identifier":{"isbn":["978-3-99078-066-4"],"issn":["2663-337X"]},"ddc":["570","530"],"title":"Effect propagation in biological networks","day":"15","acknowledgement":"I would also like to acknowledge the Austrian Academy of Sciences for funding through the\r\nDOC Fellowship program (fellowship number 26917), the Grants Office at ISTA for their\r\nassistance with the application, and the Scientific Computing Unit for their support regarding\r\nhigh-performance computation.\r\n","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_status":"published","doi":"10.15479/AT-ISTA-20357","file_date_updated":"2025-11-27T10:00:25Z","OA_place":"publisher","department":[{"_id":"GradSch"},{"_id":"GaTk"}],"file":[{"title":"Effect propagation in biological networks","file_size":43518367,"embargo_to":"open_access","file_id":"20360","relation":"main_file","creator":"nruzicko","content_type":"application/pdf","file_name":"2025_Ruzickova_Natalia_Thesis.pdf","checksum":"991e81bc16a76b4e0c352567728fd2c5","date_created":"2025-09-16T12:56:06Z","date_updated":"2025-11-27T10:00:25Z","embargo":"2026-09-14","access_level":"closed"},{"creator":"nruzicko","content_type":"application/zip","checksum":"c4ab257adad116083d8a97fac69b2dde","date_updated":"2025-09-16T12:59:23Z","file_name":"2025_Ruzickova_Natalia_Thesis_source.zip","date_created":"2025-09-16T12:59:23Z","access_level":"closed","file_size":53464789,"file_id":"20361","relation":"source_file"}],"degree_awarded":"PhD","type":"dissertation","has_accepted_license":"1","corr_author":"1","keyword":["gene regulation","networks","omnigenic model","pancreas","collective behaviour"]},{"language":[{"iso":"eng"}],"status":"public","publication_identifier":{"issn":["2663-337X"]},"page":"149","related_material":{"record":[{"id":"11775","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","id":"13140","status":"deleted"},{"status":"public","id":"19741","relation":"part_of_dissertation"},{"status":"public","id":"9356","relation":"part_of_dissertation"},{"status":"deleted","id":"19643","relation":"part_of_dissertation"},{"status":"public","id":"17634","relation":"part_of_dissertation"},{"id":"20342","relation":"part_of_dissertation","status":"public"},{"status":"public","id":"13221","relation":"part_of_dissertation"}]},"project":[{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems"},{"grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020"}],"alternative_title":["ISTA Thesis"],"supervisor":[{"full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"}],"oa":1,"date_updated":"2026-04-07T12:02:57Z","date_created":"2025-08-07T15:57:57Z","_id":"20147","date_published":"2025-08-07T00:00:00Z","citation":{"apa":"Sarac, N. E. (2025). <i>A monitoring-oriented theory and classification of quantitative specifications</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20147\">https://doi.org/10.15479/AT-ISTA-20147</a>","chicago":"Sarac, Naci E. “A Monitoring-Oriented Theory and Classification of Quantitative Specifications.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20147\">https://doi.org/10.15479/AT-ISTA-20147</a>.","ama":"Sarac NE. A monitoring-oriented theory and classification of quantitative specifications. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20147\">10.15479/AT-ISTA-20147</a>","mla":"Sarac, Naci E. <i>A Monitoring-Oriented Theory and Classification of Quantitative Specifications</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20147\">10.15479/AT-ISTA-20147</a>.","ieee":"N. E. Sarac, “A monitoring-oriented theory and classification of quantitative specifications,” Institute of Science and Technology Austria, 2025.","ista":"Sarac NE. 2025. A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria.","short":"N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025."},"article_processing_charge":"No","year":"2025","publisher":"Institute of Science and Technology Austria","oa_version":"Published Version","month":"08","author":[{"last_name":"Sarac","first_name":"Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","full_name":"Sarac, Naci E"}],"abstract":[{"lang":"eng","text":"Quantitative properties offer a framework for specifying and verifying system behaviors beyond the traditional boolean perspective. For example, while a boolean property may specify whether a server eventually grants every request it receives, a quantitative one may map each server execution to its average response time. This quantitative view is relatively well-studied in the context of static verification. However, although such properties often appear in practice as performance or robustness measures in a dynamic verification context, a general theoretical framework for their analysis and classification from a monitoring perspective is still missing.\r\n\r\nIn this thesis, we aim to develop such a framework that takes resource-precision tradeoffs of monitors as a central consideration. We present the first theory of monitorability for quantitative properties where monitors can be naturally approximate and compared regarding their precision and resource use. In particular, we show that additional monitor resources such as registers or states lead to strictly better approximations for some properties. To enable such analyses in a machine-model independent way, we describe an abstract notion of monitors that can be instantiated with concrete models of monitors. Within this framework, we study how abstract monitors behave and identify classes of properties amenable to approximate monitoring with resource-precision considerations. We then extend the boolean safety-liveness dichotomy and safety-progress hierarchy to the quantitative setting with a monitoring perspective. In particular, we prove that every property is the pointwise minimum of a safety property and a liveness property, and properties that are both safe and co-safe can be approximately monitored arbitrarily precisely using only finitely many states. We also study the classes of quantitative properties definable by finite-state quantitative automata and provide algorithms for deciding their safety or liveness as well as their safety-liveness decompositions. Finally, we present the first general-purpose tool for automating the analysis, verification, and monitoring of quantitative automata.\r\n\r\n-------------------------------------------------------------------------------------------------------------------------------------------------------------- In reference to IEEE copyrighted material which is used with permission in this thesis, the IEEE does not\r\nendorse any of ISTA's products or services. Internal or personal use of this\r\nmaterial is permitted. If interested in reprinting/republishing IEEE copyrighted material for advertising or promotional\r\npurposes or for creating new collective works for resale or redistribution, please go to\r\nhttp://www.ieee.org/publications_standards/publications/rights/rights_link.html to learn how to obtain a License from\r\nRightsLink.\r\n"}],"corr_author":"1","has_accepted_license":"1","type":"dissertation","degree_awarded":"PhD","ec_funded":1,"file":[{"file_size":8884801,"relation":"source_file","file_id":"20200","creator":"esarac","access_level":"closed","file_name":"2025_Sarac_NaciEge_Thesis.zip","date_created":"2025-08-21T09:40:28Z","date_updated":"2025-09-10T08:19:51Z","checksum":"0f3015f1db36576a23d8d669afb60b41","content_type":"application/x-zip-compressed"},{"file_size":2955584,"relation":"main_file","file_id":"20201","success":1,"creator":"esarac","access_level":"open_access","checksum":"332ed2fe61f580641664ec3f05d30f14","date_updated":"2025-08-21T09:40:34Z","content_type":"application/pdf","file_name":"2025_Sarac_NaciEge_Thesis.pdf","date_created":"2025-08-21T09:40:34Z"}],"OA_place":"publisher","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"file_date_updated":"2025-09-10T08:19:51Z","doi":"10.15479/AT-ISTA-20147","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"published","day":"07","acknowledgement":"This work was supported in part by the Austrian Science Fund (FWF)\r\nunder grant Z211-N23 (Wittgenstein Award) and the ERC-2020-AdG 101020093.\r\n","title":"A monitoring-oriented theory and classification of quantitative specifications","ddc":["000"]},{"date_published":"2025-04-08T00:00:00Z","_id":"20342","citation":{"mla":"Boker, Udi, et al. “ Safety and Liveness of Quantitative Properties and Automata.” <i>Logical Methods in Computer Science</i>, vol. 21, no. 2, 13149, EPI Sciences, 2025, doi:<a href=\"https://doi.org/10.46298/lmcs-21(2:2)2025\">10.46298/lmcs-21(2:2)2025</a>.","ieee":"U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “ Safety and liveness of quantitative properties and automata,” <i>Logical Methods in Computer Science</i>, vol. 21, no. 2. EPI Sciences, 2025.","ama":"Boker U, Henzinger TA, Mazzocchi NA, Sarac NE.  Safety and liveness of quantitative properties and automata. <i>Logical Methods in Computer Science</i>. 2025;21(2). doi:<a href=\"https://doi.org/10.46298/lmcs-21(2:2)2025\">10.46298/lmcs-21(2:2)2025</a>","chicago":"Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “ Safety and Liveness of Quantitative Properties and Automata.” <i>Logical Methods in Computer Science</i>. EPI Sciences, 2025. <a href=\"https://doi.org/10.46298/lmcs-21(2:2)2025\">https://doi.org/10.46298/lmcs-21(2:2)2025</a>.","apa":"Boker, U., Henzinger, T. A., Mazzocchi, N. A., &#38; Sarac, N. E. (2025).  Safety and liveness of quantitative properties and automata. <i>Logical Methods in Computer Science</i>. EPI Sciences. <a href=\"https://doi.org/10.46298/lmcs-21(2:2)2025\">https://doi.org/10.46298/lmcs-21(2:2)2025</a>","short":"U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).","ista":"Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2025.  Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 21(2), 13149."},"article_processing_charge":"Yes","DOAJ_listed":"1","date_created":"2025-09-11T12:17:52Z","date_updated":"2026-04-07T12:02:57Z","oa":1,"oa_version":"Published Version","month":"04","publisher":"EPI Sciences","author":[{"full_name":"Boker, Udi","last_name":"Boker","first_name":"Udi","id":"31E297B6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"},{"full_name":"Mazzocchi, Nicolas Adrien","last_name":"Mazzocchi","id":"b26baa86-3308-11ec-87b0-8990f34baa85","first_name":"Nicolas Adrien"},{"id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","first_name":"Naci E","last_name":"Sarac","full_name":"Sarac, Naci E"}],"article_type":"original","year":"2025","isi":1,"publication_identifier":{"eissn":["1860-5974"]},"status":"public","PlanS_conform":"1","language":[{"iso":"eng"}],"issue":"2","external_id":{"isi":["001468887900001"],"arxiv":["2307.06016"]},"article_number":"13149","arxiv":1,"intvolume":"        21","project":[{"name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020"}],"related_material":{"record":[{"status":"public","id":"13221","relation":"earlier_version"},{"status":"public","id":"20147","relation":"dissertation_contains"}]},"OA_type":"gold","file_date_updated":"2025-09-11T12:17:12Z","doi":"10.46298/lmcs-21(2:2)2025","ec_funded":1,"file":[{"file_size":709584,"relation":"main_file","file_id":"20343","success":1,"creator":"esarac","access_level":"open_access","checksum":"0b4d477bd981379724c35a4de2c176e5","date_created":"2025-09-11T12:17:12Z","content_type":"application/pdf","file_name":"2307.06016.pdf","date_updated":"2025-09-11T12:17:12Z"}],"OA_place":"publisher","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"title":" Safety and liveness of quantitative properties and automata","publication":"Logical Methods in Computer Science","ddc":["000"],"publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093 and the Israel Science Foundation grant 2410/22. N. Mazzocchi was affiliated with ISTA when this work was submitted for publication.","day":"08","corr_author":"1","has_accepted_license":"1","abstract":[{"text":"Safety and liveness stand as fundamental concepts in formal languages, playing a key role in verification. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an infinite computation trace (always for safety, never for liveness). In the quantitative setting, properties are arbitrary functions from infinite words to partially-ordered domains. Extending this paradigm to the quantitative domain, where properties are arbitrary functions mapping infinite words to partially-ordered domains, we introduce and study the notions of quantitative safety and liveness. First, we formally define quantitative safety and liveness, and prove that our definitions induce conservative quantitative generalizations of both the safety-progress hierarchy and the safety-liveness decomposition of boolean properties. Consequently, like their boolean counterparts, quantitative properties can be min-decomposed into safety and liveness parts, or alternatively, max-decomposed into co-safety and co-liveness parts. We further establish a connection between quantitative safety and topological continuity and provide alternative characterizations of quantitative safety and liveness in terms of their boolean analogs. Second, we instantiate our framework with the specific classes of quantitative properties expressed by automata. These quantitative automata contain finitely many states and rational-valued transition weights, and their common value functions Inf, Sup, LimInf, LimSup, LimInfAvg, LimSupAvg, and DSum map infinite words into the totally-ordered domain of real numbers. For all common value functions, we provide a procedure for deciding whether a given automaton is safe or live, we show how to construct its safety closure, and we present a min-decomposition into safe and live automata.","lang":"eng"}],"volume":21,"scopus_import":"1","type":"journal_article","quality_controlled":"1"},{"ddc":["000"],"title":"Automating the analysis of quantitative automata with QuAK","publication":"31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093.","day":"01","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","doi":"10.1007/978-3-031-90643-5_16","OA_type":"hybrid","file_date_updated":"2025-06-02T08:13:11Z","OA_place":"publisher","department":[{"_id":"ToHe"}],"ec_funded":1,"file":[{"file_id":"19768","relation":"main_file","file_size":420669,"content_type":"application/pdf","file_name":"2025_TACAS_ChalupaMarek.pdf","checksum":"a27fa245be8d83421e9127b48a09c8af","date_created":"2025-06-02T08:13:11Z","date_updated":"2025-06-02T08:13:11Z","access_level":"open_access","creator":"dernst","success":1}],"quality_controlled":"1","type":"conference","scopus_import":"1","volume":15696,"abstract":[{"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.","lang":"eng"}],"corr_author":"1","has_accepted_license":"1","author":[{"full_name":"Chalupa, Marek","last_name":"Chalupa","first_name":"Marek","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463"},{"orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Mazzocchi, Nicolas Adrien","first_name":"Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85","last_name":"Mazzocchi"},{"last_name":"Sarac","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","first_name":"Naci E","full_name":"Sarac, Naci E"}],"month":"05","publisher":"Springer Nature","oa_version":"Published Version","year":"2025","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.","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.","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>.","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.","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>","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>.","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>"},"article_processing_charge":"No","_id":"19741","date_published":"2025-05-01T00:00:00Z","oa":1,"date_created":"2025-05-25T22:17:07Z","date_updated":"2026-04-07T12:02:57Z","intvolume":"     15696","arxiv":1,"alternative_title":["LNCS"],"page":"303-312","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"20147"}]},"project":[{"grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0302-9743"],"isbn":["9783031906428"],"eissn":["1611-3349"]},"status":"public","external_id":{"arxiv":["2501.16088"]}},{"doi":"10.15479/AT-ISTA-20741","file_date_updated":"2025-12-10T13:09:58Z","department":[{"_id":"GradSch"},{"_id":"MaLo"}],"OA_place":"publisher","file":[{"file_size":142876975,"file_id":"20774","relation":"source_file","creator":"mkojic","file_name":"2025_marko_kojic_thesis.docx","date_updated":"2025-12-10T13:09:58Z","date_created":"2025-12-10T13:09:58Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","checksum":"a3643d07e93134b2490a566b02a4517d","access_level":"closed"},{"file_size":8597045,"file_id":"20775","relation":"main_file","creator":"mkojic","success":1,"file_name":"2025_marko_kojic_thesis.pdf","content_type":"application/pdf","checksum":"0a096f0af6ccc3a8329d5bb8797ad533","date_created":"2025-12-10T13:09:38Z","date_updated":"2025-12-10T13:09:38Z","access_level":"open_access"}],"title":"Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria","ddc":["572"],"day":"09","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"published","abstract":[{"text":"Life on Earth emerged when biomacromolecules were membrane-enclosed in a confined space where many essential chemical reactions were more likely to happen and thereby accelerate evolution. These kinds of membranes separated internal reactions from the outside chaos while staying flexible so that those primordial cells can move, adopt their shape and, most importantly, propagate. Such membrane plasticity still remains a defining feature of all modern cell types. This remarkable ability to change their shape is most prominently observed during their propagation (i.e., cell division). Throughout division, a cell undergoes drastic change in its shape, usually at the middle of the cell, pulling the two opposite membrane sides inward, closer to each other, and, finally, culminating in pinching off to separate the cell into two daughter cells. To achieve this, a cell needs to employ a protein machinery, usually termed divisome, that can coordinate all necessary intracellular processes with membrane remodelling and synthesis of other extracellular structures that decorate a cell. The focus of this dissertation is a membrane-remodelling FtsZ system that is present across all domains of life. FtsZ forms filaments that further self-organize into ring-like structures at the cell septum and together with other division proteins perform cell envelope synthesis and constriction. However, there are still knowledge gaps in our mechanistic understanding of division in both archaea and bacteria. My work presented in this dissertation centres around a simple yet not well understood question: How is the divisome positioned correctly at the mid-cell? To achieve the proper positioning, the divisome needs to (i) be recruited to the mid-cell and (ii) localized orthogonally to the long cell axis. I tackle these processes in two different systems by applying an in vitro biochemical bottom-up reconstitution approach. I use purified components of Haloferax volcanii and Escherichia coli divisome to explore how divisome is recruited to the mid-cell in archaea and how the Z-ring positions orthogonally to the long cell axis in bacteria, respectively. \r\n\r\nFirstly, I collaborate with archaeal cell and structural biologists to explore the assembly of early division proteins in two FtsZ-containing archaeon H. volcanii, a standard model system for understudied archaeal organisms. I particularly address the hierarchy of interactions that allow a tripartite complex formation (SepF-CdpB1-CdpB2) and how the hierarchy of interactions ultimately leads to the recruitment of FtsZ filaments to the septum. This part of work has been published in (Nußbaum et al., 2024). In collaboration with evolutionary biologists, I shed light on ancient features that archaeal divisome has retained to this day and also speculate on a property that it might have lost during the course of evolution. \r\n\r\nNext, I switch my attention to E. coli divisome. Particularly, I address the FtsZ’s intrinsic biophysical property that drives the Z-ring diameter, and thereby the perpendicular orientation of the Z-ring to the long cell axis based on suggested membrane curvature sensing mechanism (Vanhille-Campos et al., 2024). This property allows formation of different Z-ring diameters that match the variety of cell diameters present in prokaryotes. The results showcase that the distribution of charged amino acids in the intrinsically disordered linker at the C-terminus (CTL) of FtsZ is the major determining factor of Z-ring diameter with inter-CTL interactions as an underlying mechanism. \r\n\r\nFinally, I thoroughly explain the methodology I used to address the abovementioned projects, and I finish with a discussion on how early archaeal divisome assembly and curvature sensing mechanism in bacteria, at first sight unrelated topics, are interconnected and important groundwork for both fundamental and translational research. ","lang":"eng"}],"has_accepted_license":"1","corr_author":"1","degree_awarded":"PhD","type":"dissertation","article_processing_charge":"No","citation":{"ama":"Kojic M. Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20741\">10.15479/AT-ISTA-20741</a>","mla":"Kojic, Marko. <i>Towards Understanding the Assembly Mechanisms of the Z-Ring in Archaea and Bacteria</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20741\">10.15479/AT-ISTA-20741</a>.","ieee":"M. Kojic, “Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria,” Institute of Science and Technology Austria, 2025.","apa":"Kojic, M. (2025). <i>Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20741\">https://doi.org/10.15479/AT-ISTA-20741</a>","chicago":"Kojic, Marko. “Towards Understanding the Assembly Mechanisms of the Z-Ring in Archaea and Bacteria.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20741\">https://doi.org/10.15479/AT-ISTA-20741</a>.","short":"M. Kojic, Towards Understanding the Assembly Mechanisms of the Z-Ring in Archaea and Bacteria, Institute of Science and Technology Austria, 2025.","ista":"Kojic M. 2025. Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria. Institute of Science and Technology Austria."},"_id":"20741","acknowledged_ssus":[{"_id":"Bio"}],"date_published":"2025-12-09T00:00:00Z","oa":1,"date_updated":"2026-04-07T12:27:58Z","date_created":"2025-12-09T13:08:11Z","supervisor":[{"last_name":"Loose","id":"462D4284-F248-11E8-B48F-1D18A9856A87","first_name":"Martin","full_name":"Loose, Martin","orcid":"0000-0001-7309-9724"}],"author":[{"first_name":"Marko","id":"73e7ecd4-dc85-11ea-9058-88a16394b160","last_name":"Kojic","orcid":"0000-0001-7244-8128","full_name":"Kojic, Marko"}],"publisher":"Institute of Science and Technology Austria","oa_version":"Published Version","month":"12","year":"2025","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-3-99078-073-2"],"issn":["2663-337X"]},"status":"public","alternative_title":["ISTA Thesis"],"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"15118"}]}},{"type":"dissertation","degree_awarded":"PhD","corr_author":"1","has_accepted_license":"1","abstract":[{"text":"Cooperation, that is, one person paying a cost for another's benefit, is a fundamental principle without which no form of society could exist. The extent to which humans cooperate with each other is also an essential feature that differentiates them from other animals. Cooperation occurs even in the absence of altruistic motivations, when it is selfishly incentivised by the expectation of a future reward. For example, many economic interactions are well described that way. This kind of cooperation requires that people exhibit reciprocal behaviour that acts as a mechanism that rewards cooperation.\r\nWith game-theoretic models, it is possible to formally study potential such mechanisms and under what conditions they can exist. This thesis contributes to this effort by analysing recently introduced models of cooperation that advance on previous work by taking into account the potential for pre-existing inequality among cooperating individuals as well as the different forms that reciprocity can take.\r\nIndividuals may differ both intrinsically, in their abilities, as well as extrinsically, in the amount of resources they have available. Allowing for such differences in a model of cooperation helps to understand how inequality affects the potential for, and outcomes of, cooperation among unequals. In this thesis, it is shown that in the presence of intrinsic inequality, a similar unequal distribution of resources can increase the potential for cooperation. This effect is stronger the smaller the group is in which cooperation takes place. It is also shown that under particular assumptions, if the unequal members of a group vary the size of their contributions to a cooperative effort over time, they can thereby increase their efficiency and improve the collective outcome.\r\nCooperative behaviour in a two-person interaction can be rewarded either by direct reciprocation whenever the same two people interact again, or indirectly by a third party who observed the interaction. In the latter case of indirect reciprocity, individuals are proximally rewarded by a good reputation, which ultimately translates to being rewarded with cooperative behaviour by others. This mechanism can enable selfishly motivated cooperation even in circumstances where individuals are unlikely to meet again, akin to how money facilitates trade. While these two forms of reciprocity have mostly been studied in isolation, this thesis analyses both direct and indirect reciprocity in a general model in order to compare their relative effectiveness under different circumstances. The contribution of this thesis is an extension of previous work regarding a specific kind of interaction, whose parameters allow for convenient mathematical analysis, to the most general set of possible interactions.","lang":"eng"}],"publication_status":"published","tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png"},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","acknowledgement":"The research for this thesis was supported by the European Research Council\r\n(grant agreements No. 863818 and No. 850529), the European Union’s Horizon 2020 research and innovation programme (Marie Skłodowska-Curie grant agreement No. 754411),\r\nthe Austrian Science Fund (grant DOI 10.55776/COE12), the French Agence Nationale\r\nde la Recherche under the Programme d’investissements d’avenir (project reference 17-\r\nEURE-0010) and the Australian Government through the Australian Research Council\r\n(grant No. SR200100005, “Securing Antarctica’s Environmental Future”).","day":"25","ddc":["519"],"title":"Reciprocity and inequality in social dilemmas","ec_funded":1,"file":[{"file_size":6192760,"relation":"source_file","file_id":"19905","creator":"vhuebner","access_level":"closed","date_created":"2025-06-25T13:38:07Z","date_updated":"2025-06-25T13:38:07Z","checksum":"794c02f8c82ca59ba6dda3bd7eed871a","file_name":"Thesis Valentin Hübner source.tar.xz","content_type":"application/x-xz"},{"creator":"vhuebner","access_level":"open_access","content_type":"application/pdf","file_name":"Thesis Valentin Hübner.pdf","checksum":"ac56063d81c81e40322b6ff5a8c4912e","date_updated":"2025-07-09T13:37:00Z","date_created":"2025-07-09T13:37:00Z","file_size":4837864,"relation":"main_file","file_id":"19976"}],"department":[{"_id":"GradSch"},{"_id":"KrCh"}],"OA_place":"publisher","file_date_updated":"2025-07-09T13:37:00Z","doi":"10.15479/AT-ISTA-19903","project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020"},{"call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"related_material":{"record":[{"relation":"part_of_dissertation","id":"19843","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"15083"},{"status":"public","id":"19074","relation":"part_of_dissertation"}]},"page":"157","alternative_title":["ISTA Thesis"],"status":"public","publication_identifier":{"issn":["2663-337X"]},"language":[{"iso":"eng"}],"year":"2025","oa_version":"Published Version","publisher":"Institute of Science and Technology Austria","month":"06","author":[{"orcid":"0009-0001-5009-4987","full_name":"Hübner, Valentin","first_name":"Valentin","id":"2c8aa207-dc7d-11ea-9b2f-f22972ecd910","last_name":"Hübner"}],"supervisor":[{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee"}],"date_updated":"2026-04-07T12:30:57Z","date_created":"2025-06-25T13:50:10Z","oa":1,"date_published":"2025-06-25T00:00:00Z","_id":"19903","citation":{"ama":"Hübner V. Reciprocity and inequality in social dilemmas. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-19903\">10.15479/AT-ISTA-19903</a>","ieee":"V. Hübner, “Reciprocity and inequality in social dilemmas,” Institute of Science and Technology Austria, 2025.","mla":"Hübner, Valentin. <i>Reciprocity and Inequality in Social Dilemmas</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-19903\">10.15479/AT-ISTA-19903</a>.","apa":"Hübner, V. (2025). <i>Reciprocity and inequality in social dilemmas</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-19903\">https://doi.org/10.15479/AT-ISTA-19903</a>","chicago":"Hübner, Valentin. “Reciprocity and Inequality in Social Dilemmas.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-19903\">https://doi.org/10.15479/AT-ISTA-19903</a>.","short":"V. Hübner, Reciprocity and Inequality in Social Dilemmas, Institute of Science and Technology Austria, 2025.","ista":"Hübner V. 2025. Reciprocity and inequality in social dilemmas. Institute of Science and Technology Austria."},"article_processing_charge":"No"},{"citation":{"apa":"Bett, V. K., Trejo Arellano, M. S., &#38; Vicoso, B. (2025). Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana. <i>Molecular Biology and Evolution</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/molbev/msaf085\">https://doi.org/10.1093/molbev/msaf085</a>","chicago":"Bett, Vincent K, Minerva S Trejo Arellano, and Beatriz Vicoso. “Chromatin Landscape Is Associated with Sex-Biased Expression and Drosophila-like Dosage Compensation of the Z Chromosome in Artemia Franciscana.” <i>Molecular Biology and Evolution</i>. Oxford University Press, 2025. <a href=\"https://doi.org/10.1093/molbev/msaf085\">https://doi.org/10.1093/molbev/msaf085</a>.","ama":"Bett VK, Trejo Arellano MS, Vicoso B. Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana. <i>Molecular Biology and Evolution</i>. 2025;42(5). doi:<a href=\"https://doi.org/10.1093/molbev/msaf085\">10.1093/molbev/msaf085</a>","mla":"Bett, Vincent K., et al. “Chromatin Landscape Is Associated with Sex-Biased Expression and Drosophila-like Dosage Compensation of the Z Chromosome in Artemia Franciscana.” <i>Molecular Biology and Evolution</i>, vol. 42, no. 5, msaf085, Oxford University Press, 2025, doi:<a href=\"https://doi.org/10.1093/molbev/msaf085\">10.1093/molbev/msaf085</a>.","ieee":"V. K. Bett, M. S. Trejo Arellano, and B. Vicoso, “Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana,” <i>Molecular Biology and Evolution</i>, vol. 42, no. 5. Oxford University Press, 2025.","ista":"Bett VK, Trejo Arellano MS, Vicoso B. 2025. Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana. Molecular Biology and Evolution. 42(5), msaf085.","short":"V.K. Bett, M.S. Trejo Arellano, B. Vicoso, Molecular Biology and Evolution 42 (2025)."},"article_processing_charge":"Yes","_id":"19735","acknowledged_ssus":[{"_id":"ScienComp"}],"date_published":"2025-05-01T00:00:00Z","oa":1,"date_updated":"2026-04-07T12:28:15Z","date_created":"2025-05-25T22:16:56Z","DOAJ_listed":"1","author":[{"full_name":"Bett, Vincent K","last_name":"Bett","first_name":"Vincent K","id":"57854184-AAE0-11E9-8D04-98D6E5697425"},{"full_name":"Trejo Arellano, Minerva S","orcid":"0000-0002-1982-3475","last_name":"Trejo Arellano","id":"2b681148-eed5-11eb-b81b-ae229e8620f8","first_name":"Minerva S"},{"orcid":"0000-0002-4579-8306","full_name":"Vicoso, Beatriz","first_name":"Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","last_name":"Vicoso"}],"month":"05","publisher":"Oxford University Press","oa_version":"Published Version","isi":1,"year":"2025","article_type":"original","language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1537-1719"],"issn":["0737-4038"]},"status":"public","external_id":{"isi":["001483460200001"],"pmid":["40202086"]},"issue":"5","intvolume":"        42","article_number":"msaf085","related_material":{"link":[{"url":"https://github.com/vkb25/Chromatin-landscape-in-Artemia-franciscana.git","relation":"software"}],"record":[{"id":"20444","relation":"dissertation_contains","status":"private"},{"id":"20449","relation":"dissertation_contains","status":"public"}]},"project":[{"name":"Sex chromosomes in evolution and development","grant_number":"PAT 8748323","_id":"8ed82125-16d5-11f0-9cad-fbcae312235b"},{"name":"The highjacking of meiosis for asexual reproduction","_id":"34ae1506-11ca-11ed-8bc3-c14f4c474396","grant_number":"F8810"}],"doi":"10.1093/molbev/msaf085","pmid":1,"file_date_updated":"2025-05-28T09:34:36Z","OA_type":"gold","department":[{"_id":"BeVi"},{"_id":"DaZi"}],"OA_place":"publisher","file":[{"success":1,"creator":"dernst","file_name":"2025_MBE_Bett.pdf","date_updated":"2025-05-28T09:34:36Z","date_created":"2025-05-28T09:34:36Z","checksum":"6c14b03f94b4aadf8869be2c4366d077","content_type":"application/pdf","access_level":"open_access","file_size":1282772,"file_id":"19756","relation":"main_file"}],"ddc":["570"],"title":"Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana","publication":"Molecular Biology and Evolution","acknowledgement":"We thank the Vicoso lab for their help in maintaining Artemia and for their valuable feedback and suggestions. We thank Marwan Elkrewi for his useful technical advice and discussions. We are also grateful to the Scientific Unit at ISTA Austria for computational resources and assistance. This work was supported by Austrian science fund (FWF) grants PAT8748323 and SFB F88-10 (as part of the SFB Meiosis consortium https://sfbmeiosis.org) to BV and Swedish Research Council (Vetenskapsrådet, grant number 2020-06424) to MSTA.","day":"01","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","abstract":[{"lang":"eng","text":"The males and females of the brine shrimp Artemia franciscana are highly dimorphic, and this dimorphism is associated with substantial sex-biased gene expression in heads and gonads. How these sex-specific patterns of expression are regulated at the molecular level is unknown. A. franciscana also has differentiated ZW sex chromosomes, with complete dosage compensation, but the molecular mechanism through which compensation is achieved is unknown. Here, we conducted CUT&TAG assays targeting 7 post-translational histone modifications (H3K27me3, H3K9me2, H3K9me3, H3K36me3, H3K27ac, H3K4me3, and H4K16ac) in heads and gonads of A. franciscana, allowing us to divide the genome into 12 chromatin states. We further defined functional chromatin signatures for all genes, which were correlated with transcript level abundances. Differences in the occupancy of the profiled epigenetic marks between sexes were associated with differential gene expression between males and females. Finally, we found a significant enrichment of the permissive H4K16ac histone mark in the Z-specific region in both tissues of females but not males, supporting the role of this histone mark in mediating dosage compensation of the Z chromosome."}],"has_accepted_license":"1","corr_author":"1","type":"journal_article","quality_controlled":"1","scopus_import":"1","volume":42},{"corr_author":"1","has_accepted_license":"1","abstract":[{"text":"Social dilemmas are collective-action problems where individual interests are at odds with group interests. Such dilemmas occur frequently at all scales of human interactions. When dealing with collective-action problems, people often act reciprocally. They adjust their behavior to match the previous behavior of the recipient. The literature distinguishes two kinds of reciprocity. According to direct reciprocity, individuals react to their immediate experiences with the recipient. They are more likely to cooperate if the recipient previously cooperated with them. According to indirect reciprocity, individuals react to the recipient’s general behavior, irrespectively of whether or not they benefited directly. In practice, the two kinds of reciprocity are often intertwined; people typically base their decisions on both direct experiences and indirect observations. Yet only recently have researchers begun to explore how the two kinds of reciprocity interact. So far, this research only addresses a single type of social dilemma, the donation game, where the effects of individual behaviors are independent. Instead, here we allow for all pairwise social dilemmas. By applying novel techniques to generalize the theory of zero-determinant strategies, we establish an important proof of principle: In all social dilemmas, socially optimal outcomes can be sustained as an equilibrium, using either direct or indirect reciprocity, or arbitrary mixtures thereof. These results neither require games to be repeated infinitely often, nor that individual opinions are synchronized. In this way, we considerably generalize the scope of models of reciprocity, and we build further bridges between the literatures on direct and indirect reciprocity.","lang":"eng"}],"volume":4,"scopus_import":"1","quality_controlled":"1","type":"journal_article","file":[{"relation":"main_file","file_id":"19867","file_size":2551195,"access_level":"open_access","checksum":"efd6648db3fc3ea0cdd7155d667e5f11","content_type":"application/pdf","file_name":"2025_PNASNexus_Huebner.pdf","date_created":"2025-06-23T08:09:50Z","date_updated":"2025-06-23T08:09:50Z","success":1,"creator":"dernst"}],"ec_funded":1,"OA_place":"publisher","department":[{"_id":"KrCh"}],"OA_type":"gold","pmid":1,"file_date_updated":"2025-06-23T08:09:50Z","doi":"10.1093/pnasnexus/pgaf154","publication_status":"published","tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","acknowledgement":"This work was supported by the European Research Council CoG 863818 (ForM-SMArt) (to K.C.) and the European Research Council Starting Grant 850529: E-DIRECT (to C.H.).","title":"Stable strategies of direct and indirect reciprocity across all social dilemmas","publication":"PNAS Nexus","ddc":["000"],"issue":"5","external_id":{"pmid":["40417077"]},"status":"public","publication_identifier":{"eissn":["2752-6542"]},"language":[{"iso":"eng"}],"project":[{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"}],"related_material":{"record":[{"status":"public","id":"19903","relation":"dissertation_contains"}]},"article_number":"pgaf154","intvolume":"         4","DOAJ_listed":"1","date_updated":"2026-04-07T12:30:56Z","date_created":"2025-06-15T22:01:30Z","oa":1,"date_published":"2025-05-01T00:00:00Z","_id":"19843","article_processing_charge":"Yes","citation":{"apa":"Hübner, V., Schmid, L., Hilbe, C., &#38; Chatterjee, K. (2025). Stable strategies of direct and indirect reciprocity across all social dilemmas. <i>PNAS Nexus</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/pnasnexus/pgaf154\">https://doi.org/10.1093/pnasnexus/pgaf154</a>","chicago":"Hübner, Valentin, Laura Schmid, Christian Hilbe, and Krishnendu Chatterjee. “Stable Strategies of Direct and Indirect Reciprocity across All Social Dilemmas.” <i>PNAS Nexus</i>. Oxford University Press, 2025. <a href=\"https://doi.org/10.1093/pnasnexus/pgaf154\">https://doi.org/10.1093/pnasnexus/pgaf154</a>.","ama":"Hübner V, Schmid L, Hilbe C, Chatterjee K. Stable strategies of direct and indirect reciprocity across all social dilemmas. <i>PNAS Nexus</i>. 2025;4(5). doi:<a href=\"https://doi.org/10.1093/pnasnexus/pgaf154\">10.1093/pnasnexus/pgaf154</a>","mla":"Hübner, Valentin, et al. “Stable Strategies of Direct and Indirect Reciprocity across All Social Dilemmas.” <i>PNAS Nexus</i>, vol. 4, no. 5, pgaf154, Oxford University Press, 2025, doi:<a href=\"https://doi.org/10.1093/pnasnexus/pgaf154\">10.1093/pnasnexus/pgaf154</a>.","ieee":"V. Hübner, L. Schmid, C. Hilbe, and K. Chatterjee, “Stable strategies of direct and indirect reciprocity across all social dilemmas,” <i>PNAS Nexus</i>, vol. 4, no. 5. Oxford University Press, 2025.","ista":"Hübner V, Schmid L, Hilbe C, Chatterjee K. 2025. Stable strategies of direct and indirect reciprocity across all social dilemmas. PNAS Nexus. 4(5), pgaf154.","short":"V. Hübner, L. Schmid, C. Hilbe, K. Chatterjee, PNAS Nexus 4 (2025)."},"article_type":"original","year":"2025","month":"05","publisher":"Oxford University Press","oa_version":"Published Version","author":[{"last_name":"Hübner","first_name":"Valentin","id":"2c8aa207-dc7d-11ea-9b2f-f22972ecd910","orcid":"0009-0001-5009-4987","full_name":"Hübner, Valentin"},{"full_name":"Schmid, Laura","orcid":"0000-0002-6978-7329","id":"38B437DE-F248-11E8-B48F-1D18A9856A87","first_name":"Laura","last_name":"Schmid"},{"last_name":"Hilbe","id":"2FDF8F3C-F248-11E8-B48F-1D18A9856A87","first_name":"Christian","full_name":"Hilbe, Christian","orcid":"0000-0001-5116-955X"},{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"}]},{"doi":"10.1007/s13235-025-00627-5","file_date_updated":"2025-12-30T08:01:35Z","OA_type":"hybrid","OA_place":"publisher","department":[{"_id":"KrCh"}],"file":[{"access_level":"open_access","content_type":"application/pdf","file_name":"2025_DynGamesAppl_Huebner.pdf","date_created":"2025-12-30T08:01:35Z","checksum":"de0a412cbb7d98bf5e6a551c26acbefa","date_updated":"2025-12-30T08:01:35Z","creator":"dernst","success":1,"relation":"main_file","file_id":"20888","file_size":1126178}],"ec_funded":1,"title":"Time-dependent strategies in repeated asymmetric public goods games","ddc":["000"],"publication":"Dynamic Games and Applications","day":"01","acknowledgement":"This work was supported by the European Research Council CoG 863818 (ForM-SMArt) (to K.C.) and the European Research Council Starting Grant 850529: E-DIRECT (to C.H.), the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement #754411 and the French Agence Nationale de la Recherche (under the Investissement d’Avenir programme, ANR-17-EURE-0010), and ARC SRIEAS Grant SR200100005 Securing Antarctica’s Environmental Future (to M.K.). Open access funding provided by Institute of Science and Technology (IST Austria).","publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","corr_author":"1","has_accepted_license":"1","abstract":[{"text":"The public goods game is among the most studied metaphors of cooperation in groups. In this game, individuals can use their endowments to make contributions towards a good that benefits everyone. Each individual, however, is tempted to free-ride on the contributions of others. Herein, we study repeated public goods games among asymmetric players. Previous work has explored to which extent asymmetry allows for full cooperation, such that players contribute their full endowment each round. However, by design that work focusses on equilibria where individuals make the same contribution each round. Instead, here we consider players whose contributions along the equilibrium path can change from one round to the next. We do so for three different models – one without any budget constraints, one with endowment constraints, and one in which individuals can save their current endowment to be used in subsequent rounds. In each case, we explore two key quantities: the welfare and the resource efficiency that can be achieved in equilibrium. Welfare corresponds to the sum of all players’ payoffs. Resource efficiency relates this welfare to the total contributions made by the players. Compared to constant contribution sequences, we find that time-dependent contributions can improve resource efficiency across all three models. Moreover, they can improve the players’ welfare in the model with savings.","lang":"eng"}],"scopus_import":"1","quality_controlled":"1","type":"journal_article","volume":15,"article_processing_charge":"Yes (via OA deal)","citation":{"short":"V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, K. Chatterjee, Dynamic Games and Applications 15 (2025) 1617–1645.","ista":"Hübner V, Hilbe C, Staab M, Kleshnina M, Chatterjee K. 2025. Time-dependent strategies in repeated asymmetric public goods games. Dynamic Games and Applications. 15, 1617–1645.","ama":"Hübner V, Hilbe C, Staab M, Kleshnina M, Chatterjee K. Time-dependent strategies in repeated asymmetric public goods games. <i>Dynamic Games and Applications</i>. 2025;15:1617-1645. doi:<a href=\"https://doi.org/10.1007/s13235-025-00627-5\">10.1007/s13235-025-00627-5</a>","ieee":"V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, and K. Chatterjee, “Time-dependent strategies in repeated asymmetric public goods games,” <i>Dynamic Games and Applications</i>, vol. 15. Springer Nature, pp. 1617–1645, 2025.","mla":"Hübner, Valentin, et al. “Time-Dependent Strategies in Repeated Asymmetric Public Goods Games.” <i>Dynamic Games and Applications</i>, vol. 15, Springer Nature, 2025, pp. 1617–45, doi:<a href=\"https://doi.org/10.1007/s13235-025-00627-5\">10.1007/s13235-025-00627-5</a>.","apa":"Hübner, V., Hilbe, C., Staab, M., Kleshnina, M., &#38; Chatterjee, K. (2025). Time-dependent strategies in repeated asymmetric public goods games. <i>Dynamic Games and Applications</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s13235-025-00627-5\">https://doi.org/10.1007/s13235-025-00627-5</a>","chicago":"Hübner, Valentin, Christian Hilbe, Manuel Staab, Maria Kleshnina, and Krishnendu Chatterjee. “Time-Dependent Strategies in Repeated Asymmetric Public Goods Games.” <i>Dynamic Games and Applications</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/s13235-025-00627-5\">https://doi.org/10.1007/s13235-025-00627-5</a>."},"date_published":"2025-11-01T00:00:00Z","_id":"19074","date_created":"2025-02-23T23:01:57Z","date_updated":"2026-04-07T12:30:56Z","oa":1,"author":[{"first_name":"Valentin","id":"2c8aa207-dc7d-11ea-9b2f-f22972ecd910","last_name":"Hübner","orcid":"0009-0001-5009-4987","full_name":"Hübner, Valentin"},{"first_name":"Christian","id":"2FDF8F3C-F248-11E8-B48F-1D18A9856A87","last_name":"Hilbe","orcid":"0000-0001-5116-955X","full_name":"Hilbe, Christian"},{"last_name":"Staab","first_name":"Manuel","full_name":"Staab, Manuel"},{"full_name":"Kleshnina, Maria","orcid":"0000-0002-5518-8317","id":"4E21749C-F248-11E8-B48F-1D18A9856A87","first_name":"Maria","last_name":"Kleshnina"},{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee"}],"publisher":"Springer Nature","month":"11","oa_version":"Published Version","isi":1,"year":"2025","article_type":"original","publication_identifier":{"eissn":["2153-0793"],"issn":["2153-0785"]},"status":"public","PlanS_conform":"1","language":[{"iso":"eng"}],"external_id":{"isi":["001415587800001"]},"intvolume":"        15","project":[{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"related_material":{"record":[{"id":"19903","relation":"dissertation_contains","status":"public"}]},"page":"1617-1645"},{"supervisor":[{"id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","first_name":"Stefan Alexander","last_name":"Freunberger","full_name":"Freunberger, Stefan Alexander","orcid":"0000-0003-2902-5319"}],"date_updated":"2026-04-07T12:27:24Z","date_created":"2025-11-07T12:40:54Z","acknowledged_ssus":[{"_id":"Bio"},{"_id":"SSU"},{"_id":"LifeSc"},{"_id":"M-Shop"}],"_id":"20607","date_published":"2025-09-19T00:00:00Z","article_processing_charge":"No","citation":{"ama":"Mondal S. Oxygen and sulfur redox : Conversion kinetics and phase equilibria. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20607\">10.15479/AT-ISTA-20607</a>","ieee":"S. Mondal, “Oxygen and sulfur redox : Conversion kinetics and phase equilibria,” Institute of Science and Technology Austria, 2025.","mla":"Mondal, Soumyadip. <i>Oxygen and Sulfur Redox : Conversion Kinetics and Phase Equilibria</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20607\">10.15479/AT-ISTA-20607</a>.","apa":"Mondal, S. (2025). <i>Oxygen and sulfur redox : Conversion kinetics and phase equilibria</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20607\">https://doi.org/10.15479/AT-ISTA-20607</a>","chicago":"Mondal, Soumyadip. “Oxygen and Sulfur Redox : Conversion Kinetics and Phase Equilibria.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20607\">https://doi.org/10.15479/AT-ISTA-20607</a>.","short":"S. Mondal, Oxygen and Sulfur Redox : Conversion Kinetics and Phase Equilibria, Institute of Science and Technology Austria, 2025.","ista":"Mondal S. 2025. Oxygen and sulfur redox : Conversion kinetics and phase equilibria. Institute of Science and Technology Austria."},"year":"2025","publisher":"Institute of Science and Technology Austria","month":"09","oa_version":"Published Version","author":[{"full_name":"Mondal, Soumyadip","id":"d25d21ef-dc8d-11ea-abe3-ec4576307f48","first_name":"Soumyadip","last_name":"Mondal"}],"language":[{"iso":"eng"}],"status":"public","publication_identifier":{"isbn":["978-3-99078-071-8"],"issn":["2663-337X"]},"related_material":{"record":[{"id":"12065","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","id":"13044","status":"public"},{"status":"deleted","relation":"part_of_dissertation","id":"20437"},{"id":"14687","relation":"part_of_dissertation","status":"public"}]},"page":"71","project":[{"grant_number":"P37169","_id":"8df062be-16d5-11f0-9cad-f559b6612c7e","name":"Singlet oxygen in non-aqueous oxygen redox chemistry"}],"alternative_title":["ISTA Thesis"],"file":[{"access_level":"closed","checksum":"b5eed6a3dccb83cd2a8a22e11fd7d867","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_updated":"2025-11-13T16:47:47Z","file_name":"2025_Mondal_Soumyadip_Thesis.docx","date_created":"2025-11-13T16:47:47Z","creator":"smondal","relation":"source_file","file_id":"20644","file_size":32589295},{"creator":"smondal","date_created":"2025-11-13T16:47:46Z","date_updated":"2025-11-13T16:47:46Z","file_name":"2025_Mondal_Soumyadip_Thesis.pdf","checksum":"89b1529e0a7b524f46624d73ecadf8cb","content_type":"application/pdf","access_level":"closed","embargo":"2026-11-13","file_size":5007370,"embargo_to":"open_access","file_id":"20645","relation":"main_file"}],"department":[{"_id":"GradSch"},{"_id":"StFr"}],"OA_place":"publisher","file_date_updated":"2025-11-13T16:47:47Z","doi":"10.15479/AT-ISTA-20607","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"published","day":"19","acknowledgement":"I gratefully acknowledge the support of the ISTA Graduate School and the Scientific Service Units of\r\nISTA, whose resources made this work possible—especially the Imaging & Optics Facility, the Lab\r\nSupport Facility, and the Miba Machine Shop. I would like to thank two staff scientists in particular:\r\nRobert Hauschild (Imaging & Optics Facility) and Daniel Balazs (Lab Support Facility), for their\r\nassistance and advice. My PhD was partially funded by the Austrian Science Fund (FWF)\r\n(10.55776/P37169 and 10.55776/COE5).","title":"Oxygen and sulfur redox : Conversion kinetics and phase equilibria","ddc":["541","543","542"],"corr_author":"1","has_accepted_license":"1","type":"dissertation","degree_awarded":"PhD"},{"article_processing_charge":"No","citation":{"ista":"Bett VK. 2025. Evolution and regulation of the Z chromosome. Institute of Science and Technology Austria.","short":"V.K. Bett, Evolution and Regulation of the Z Chromosome, Institute of Science and Technology Austria, 2025.","apa":"Bett, V. K. (2025). <i>Evolution and regulation of the Z chromosome</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20449\">https://doi.org/10.15479/AT-ISTA-20449</a>","chicago":"Bett, Vincent K. “Evolution and Regulation of the Z Chromosome.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20449\">https://doi.org/10.15479/AT-ISTA-20449</a>.","ama":"Bett VK. Evolution and regulation of the Z chromosome. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20449\">10.15479/AT-ISTA-20449</a>","ieee":"V. K. Bett, “Evolution and regulation of the Z chromosome,” Institute of Science and Technology Austria, 2025.","mla":"Bett, Vincent K. <i>Evolution and Regulation of the Z Chromosome</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20449\">10.15479/AT-ISTA-20449</a>."},"_id":"20449","acknowledged_ssus":[{"_id":"ScienComp"}],"date_published":"2025-10-10T00:00:00Z","date_created":"2025-10-11T08:18:51Z","date_updated":"2026-04-07T12:28:15Z","supervisor":[{"orcid":"0000-0002-4579-8306","full_name":"Vicoso, Beatriz","last_name":"Vicoso","first_name":"Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87"}],"author":[{"full_name":"Bett, Vincent K","last_name":"Bett","id":"57854184-AAE0-11E9-8D04-98D6E5697425","first_name":"Vincent K"}],"month":"10","publisher":"Institute of Science and Technology Austria","oa_version":"Published Version","year":"2025","language":[{"iso":"eng"}],"publication_identifier":{"issn":["2663-337X"]},"status":"public","alternative_title":["ISTA Thesis"],"page":"114","related_material":{"record":[{"relation":"part_of_dissertation","id":"19735","status":"public"},{"id":"15009","relation":"part_of_dissertation","status":"public"}]},"project":[{"grant_number":"PAT 8748323","_id":"8ed82125-16d5-11f0-9cad-fbcae312235b","name":"Sex chromosomes in evolution and development"},{"name":"The highjacking of meiosis for asexual reproduction","_id":"34ae1506-11ca-11ed-8bc3-c14f4c474396","grant_number":"F8810"}],"doi":"10.15479/AT-ISTA-20449","file_date_updated":"2025-11-06T12:42:09Z","OA_place":"publisher","department":[{"_id":"GradSch"},{"_id":"BeVi"}],"file":[{"file_size":18507283,"embargo_to":"open_access","relation":"main_file","file_id":"20507","creator":"vbett","embargo":"2026-06-01","access_level":"closed","file_name":"2025_Bett_Vincent_Thesis.pdf","date_updated":"2025-10-20T13:32:29Z","checksum":"26905c22bca417198a733d792d8ce422","content_type":"application/pdf","date_created":"2025-10-20T13:32:29Z"},{"file_size":17163921,"file_id":"20508","relation":"source_file","creator":"vbett","file_name":"2025_Bett_Vincent_Thesis.docx","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","checksum":"6a09a8d126d3628bfd8a35202735f267","date_updated":"2025-11-06T12:42:09Z","date_created":"2025-10-20T13:35:34Z","access_level":"closed"}],"ddc":["576"],"title":"Evolution and regulation of the Z chromosome","acknowledgement":"This work was supported by the Austrian Science Fund (FWF) through grants PAT8748323\r\nand SFB F88-10 awarded to Professor Beatriz Vicoso.","day":"10","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_status":"published","corr_author":"1","has_accepted_license":"1","degree_awarded":"PhD","type":"dissertation"},{"acknowledgement":"My work has been funded through the project \"Functional Advantages of Critical Brain\r\nDynamics\" of the ISTA interdisciplinary fund and through the FWF.\r\n","day":"11","publication_status":"published","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","title":"Scale-free activity as a basis for spatial learning and memory in the brain","ddc":["570","539","571"],"department":[{"_id":"GradSch"},{"_id":"JoCs"}],"OA_place":"publisher","file":[{"file_size":8105379,"embargo_to":"open_access","relation":"main_file","file_id":"20778","creator":"pzivadin","access_level":"closed","embargo":"2026-06-11","checksum":"aae9d1ed53f7b67f75e289c26a02b72f","date_created":"2025-12-10T19:28:20Z","date_updated":"2025-12-11T11:15:17Z","content_type":"application/pdf","file_name":"2025_Zivadinovic_Predrag_PhD_thesis.pdf"},{"file_size":8512240,"file_id":"20779","relation":"source_file","creator":"pzivadin","date_created":"2025-12-10T19:28:10Z","date_updated":"2025-12-10T19:28:10Z","file_name":"2025_Zivadinovic_Predrag_PhD_thesis_source.zip","checksum":"8a08a3804ce7d9d625fdf1631113da8c","content_type":"application/zip","access_level":"closed"}],"doi":"10.15479/AT-ISTA-20777","file_date_updated":"2025-12-11T11:15:17Z","type":"dissertation","degree_awarded":"PhD","has_accepted_license":"1","corr_author":"1","year":"2025","author":[{"last_name":"Zivadinovic","id":"68AA0E5A-AFDA-11E9-9994-141DE6697425","first_name":"Predrag","full_name":"Zivadinovic, Predrag"}],"oa_version":"Published Version","publisher":"Institute of Science and Technology Austria","month":"12","date_updated":"2026-04-07T12:30:06Z","date_created":"2025-12-10T19:37:41Z","supervisor":[{"orcid":"0000-0002-5193-4036","full_name":"Csicsvari, Jozsef L","first_name":"Jozsef L","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","last_name":"Csicsvari"}],"article_processing_charge":"No","citation":{"ama":"Zivadinovic P. Scale-free activity as a basis for spatial learning and memory in the brain. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20777\">10.15479/AT-ISTA-20777</a>","mla":"Zivadinovic, Predrag. <i>Scale-Free Activity as a Basis for Spatial Learning and Memory in the Brain</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20777\">10.15479/AT-ISTA-20777</a>.","ieee":"P. Zivadinovic, “Scale-free activity as a basis for spatial learning and memory in the brain,” Institute of Science and Technology Austria, 2025.","apa":"Zivadinovic, P. (2025). <i>Scale-free activity as a basis for spatial learning and memory in the brain</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20777\">https://doi.org/10.15479/AT-ISTA-20777</a>","chicago":"Zivadinovic, Predrag. “Scale-Free Activity as a Basis for Spatial Learning and Memory in the Brain.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20777\">https://doi.org/10.15479/AT-ISTA-20777</a>.","short":"P. Zivadinovic, Scale-Free Activity as a Basis for Spatial Learning and Memory in the Brain, Institute of Science and Technology Austria, 2025.","ista":"Zivadinovic P. 2025. Scale-free activity as a basis for spatial learning and memory in the brain. Institute of Science and Technology Austria."},"date_published":"2025-12-11T00:00:00Z","_id":"20777","alternative_title":["ISTA Thesis"],"project":[{"_id":"eb943429-77a9-11ec-83b8-9f471cdf5c67","grant_number":"M03318","name":"Functional Advantages of Critical Brain Dynamics"}],"page":"104","publication_identifier":{"issn":["2663-337X"]},"status":"public","language":[{"iso":"eng"}]},{"supervisor":[{"last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"}],"oa":1,"date_created":"2025-08-27T14:00:13Z","date_updated":"2026-04-07T12:31:22Z","_id":"20234","date_published":"2025-08-27T00:00:00Z","article_processing_charge":"No","citation":{"short":"R.J. Saona Urmeneta, Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games, Institute of Science and Technology Austria, 2025.","ista":"Saona Urmeneta RJ. 2025. Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. Institute of Science and Technology Austria.","ama":"Saona Urmeneta RJ. Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20234\">10.15479/AT-ISTA-20234</a>","ieee":"R. J. Saona Urmeneta, “Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games,” Institute of Science and Technology Austria, 2025.","mla":"Saona Urmeneta, Raimundo J. <i>Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20234\">10.15479/AT-ISTA-20234</a>.","apa":"Saona Urmeneta, R. J. (2025). <i>Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20234\">https://doi.org/10.15479/AT-ISTA-20234</a>","chicago":"Saona Urmeneta, Raimundo J. “Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20234\">https://doi.org/10.15479/AT-ISTA-20234</a>."},"year":"2025","month":"08","oa_version":"Published Version","publisher":"Institute of Science and Technology Austria","author":[{"first_name":"Raimundo J","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","last_name":"Saona Urmeneta","orcid":"0000-0001-5103-038X","full_name":"Saona Urmeneta, Raimundo J"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["2663-337X"]},"status":"public","related_material":{"record":[{"id":"9311","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"17037"},{"status":"public","id":"18266","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"19508","status":"public"}]},"page":"125","project":[{"call_identifier":"FWF","_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407","name":"Game Theory"},{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"alternative_title":["ISTA Thesis"],"ec_funded":1,"file":[{"file_size":1503623,"relation":"main_file","file_id":"20240","success":1,"creator":"rsaonaur","access_level":"open_access","date_created":"2025-08-28T14:47:07Z","date_updated":"2025-08-28T14:47:07Z","content_type":"application/pdf","file_name":"2025_Saona_Raimundo_Thesis.pdf","checksum":"394a651f7de7085e509ef856ffe7bd97"},{"file_id":"20241","relation":"source_file","file_size":622747,"content_type":"application/zip","file_name":"2025_Saona_Raimundo_Thesis.zip","date_created":"2025-08-28T14:47:12Z","checksum":"09fb2633e66aac80433d373f4180c5b4","date_updated":"2025-08-28T14:47:12Z","access_level":"closed","creator":"rsaonaur"}],"OA_place":"publisher","department":[{"_id":"GradSch"},{"_id":"KrCh"}],"file_date_updated":"2025-08-28T14:47:12Z","doi":"10.15479/AT-ISTA-20234","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_status":"published","acknowledgement":"Funding sources The works included in this thesis were partially supported by:\r\n• Austrian Science Fund (FWF), grants 10.55776/COE12 and No RiSE/SHiNE S11407,\r\n• French Agence Nationale de la Recherche (ANR), grants ANR-21-CE40-0020 (CONVERGENCE) and ANR-20-CE40-0002 (GrHyDy),\r\n• Fondation Mathématique Jaques Hadamard, grant PGMO RSG 2018-0031H,\r\n• European Research Council (ERC), Consolidator grant 863818 (ForM-SMArt),\r\n• Agencia Nacional de Investigación y Desarrollo (ANID Chile), grant ACT210005,\r\n• Fondo Nacional de Desarrollo Científico y Tecnológico (Fondecyt Chile), grant 1220174,\r\n• Comisión Nacional de Investigación Científica y Tecnológica (CONICYT Chile), grant\r\nPII 20150140,\r\n• Evaluation-orientation de la Coopération Scientifique and Comisión Nacional de Investigación Científica y Tecnológica (ECOS-CONICYT), grant C15E03,\r\n• European Cooperation in Science and Technology (E-COST), grants CA16228 - European\r\nNetwork for Game Theory (GAMENET) and E-COST-GRANT-CA16228-c5a69859.\r\n","day":"27","ddc":["519"],"title":"Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games","abstract":[{"text":"Game Theory is the mathematical formalization of social dynamics - systems where agents interact over time and the evolution of the state of the system depends on the decisions of every player. \r\nThis thesis takes the perspective of a single player and focuses on what they can guarantee in the worst case over the behavior of other players.\r\nIn other words, we consider that the objective of every other player in the game is exactly the opposite to the player.\r\nWe focus on sustained interactions over time, where the players repeatedly obtain quantitative rewards over time, and they are interested in maximizing their long-term performance.\t\r\nFormally, this thesis focuses on zero-sum games with the liminf average objective.\r\nTwo fundamental questions that Game Theory aims to answer are the following.\r\n\r\n1. How much can a player guarantee to obtain after the interaction?\r\n\r\n2. How to act in order to obtain the previously mentioned guarantee?\r\n\r\nThese questions are formalized by the concepts of \"value\" and \"optimal strategies\". \t\r\nWe study their properties on games that exhibit one or more of the following properties. \r\n\r\n1. Partial Observation: \r\nthe players can not perfectly observe the current state of the system during the game. We consider the model of (finite) Partially Observable Markov Decision Processes and prove that finite-memory strategies are sufficient to approximately guarantee the value.\r\n\r\n2. Perturbed Description: \r\nthe formal description of the game is perturbed by a small parameter.\r\nWe consider the model of (finite) Perturbed Matrix Games, and provide algorithms to check various robustness properties and to compute the parameterized value and optimal strategies.\r\n\r\n3. Stochastic Transitions: \r\nthe actions of the players determine the behavior of the evolution of the system, described as a probability distribution over the next state.\r\nWe consider the model of (finite) Perturbed Stochastic Games and provide formulas for the marginal value.\r\n\r\n4. Infinite States: \r\nthe system can be in infinitely many states.\r\nWe consider the model of Random Dynamic Games on a class of infinite graphs, prove the existence of the value, and quantify the concentration of finite-horizon values.","lang":"eng"}],"corr_author":"1","has_accepted_license":"1","type":"dissertation","degree_awarded":"PhD"},{"intvolume":"        15","project":[{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"related_material":{"record":[{"id":"20234","relation":"dissertation_contains","status":"public"}]},"page":"1517-1535","status":"public","publication_identifier":{"eissn":["2153-0793"],"issn":["2153-0785"]},"language":[{"iso":"eng"}],"PlanS_conform":"1","external_id":{"isi":["001449708900001"]},"oa_version":"Published Version","month":"11","publisher":"Springer Nature","author":[{"full_name":"Attia, Luc","last_name":"Attia","first_name":"Luc"},{"full_name":"Lichev, Lyuben","id":"9aa8388e-d003-11ee-8458-c4c1d7447977","first_name":"Lyuben","last_name":"Lichev"},{"full_name":"Mitsche, Dieter","last_name":"Mitsche","first_name":"Dieter"},{"first_name":"Raimundo J","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","last_name":"Saona Urmeneta","orcid":"0000-0001-5103-038X","full_name":"Saona Urmeneta, Raimundo J"},{"last_name":"Ziliotto","first_name":"Bruno","full_name":"Ziliotto, Bruno"}],"article_type":"original","isi":1,"year":"2025","date_published":"2025-11-01T00:00:00Z","_id":"19508","citation":{"short":"L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, Dynamic Games and Applications 15 (2025) 1517–1535.","ista":"Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. 2025. Random zero-sum dynamic games on infinite directed graphs. Dynamic Games and Applications. 15, 1517–1535.","ama":"Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. Random zero-sum dynamic games on infinite directed graphs. <i>Dynamic Games and Applications</i>. 2025;15:1517-1535. doi:<a href=\"https://doi.org/10.1007/s13235-025-00636-4\">10.1007/s13235-025-00636-4</a>","mla":"Attia, Luc, et al. “Random Zero-Sum Dynamic Games on Infinite Directed Graphs.” <i>Dynamic Games and Applications</i>, vol. 15, Springer Nature, 2025, pp. 1517–35, doi:<a href=\"https://doi.org/10.1007/s13235-025-00636-4\">10.1007/s13235-025-00636-4</a>.","ieee":"L. Attia, L. Lichev, D. Mitsche, R. J. Saona Urmeneta, and B. Ziliotto, “Random zero-sum dynamic games on infinite directed graphs,” <i>Dynamic Games and Applications</i>, vol. 15. Springer Nature, pp. 1517–1535, 2025.","apa":"Attia, L., Lichev, L., Mitsche, D., Saona Urmeneta, R. J., &#38; Ziliotto, B. (2025). Random zero-sum dynamic games on infinite directed graphs. <i>Dynamic Games and Applications</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s13235-025-00636-4\">https://doi.org/10.1007/s13235-025-00636-4</a>","chicago":"Attia, Luc, Lyuben Lichev, Dieter Mitsche, Raimundo J Saona Urmeneta, and Bruno Ziliotto. “Random Zero-Sum Dynamic Games on Infinite Directed Graphs.” <i>Dynamic Games and Applications</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/s13235-025-00636-4\">https://doi.org/10.1007/s13235-025-00636-4</a>."},"article_processing_charge":"Yes (via OA deal)","date_created":"2025-04-06T22:01:32Z","date_updated":"2026-04-07T12:31:21Z","oa":1,"volume":15,"scopus_import":"1","quality_controlled":"1","type":"journal_article","has_accepted_license":"1","corr_author":"1","abstract":[{"lang":"eng","text":"We consider random two-player zero-sum dynamic games with perfect information on a class of infinite directed graphs. Starting from a fixed vertex, the players take turns to move a token along the edges of the graph. Every vertex is assigned a payoff known in advance by both players. Every time the token visits a vertex, Player 2 pays Player 1 the corresponding payoff. We consider a distribution over such games by assigning i.i.d. payoffs to the vertices. On the one hand, for acyclic directed graphs of bounded degree and sub-exponential expansion, we show that, when the duration of the game tends to infinity, the value converges almost surely to a constant at an exponential rate dominated in terms of the expansion. On the other hand, for the infinite d-ary tree (that does not fall into the previous class of graphs), we show convergence at a double-exponential rate."}],"ddc":["000"],"publication":"Dynamic Games and Applications","title":"Random zero-sum dynamic games on infinite directed graphs","publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria). This work was supported by the French Agence Nationale de la Recherche (ANR) under references ANR-21-CE40-0020 (CONVERGENCE project) and ANR-20-CE40-0002 (GrHyDy), by Fondecyt grant 1220174, by ANID Chile grant ACT210005, and by the ERC CoG 863818 (ForM-SMArt) grant. This collaboration was mainly conducted during a 1-year visit of Bruno Ziliotto to the Center for Mathematical Modeling (CMM) at University of Chile in 2023, under the IRL program of CNRS. This work was supported by Fondation CFM pour la Recherche. This paper has also been funded by the Agence Nationale de la Recherche under grant ANR-17-EURE-0010 (Investissements d’Avenir program).","day":"01","file_date_updated":"2025-12-30T08:13:04Z","OA_type":"hybrid","doi":"10.1007/s13235-025-00636-4","ec_funded":1,"file":[{"creator":"dernst","success":1,"date_updated":"2025-12-30T08:13:04Z","date_created":"2025-12-30T08:13:04Z","checksum":"b3a1b7eef40c9ac2acf3fef563081694","content_type":"application/pdf","file_name":"2025_DynGamesAppl_Attia.pdf","access_level":"open_access","file_size":570994,"file_id":"20891","relation":"main_file"}],"OA_place":"publisher","department":[{"_id":"MaKw"},{"_id":"KrCh"}]},{"day":"01","acknowledgement":"This work was supported by Fondation CFM pour la Recherche; the European Research Council [Grant ERC-CoG-863818 (ForM-SMArt)]; and Agence Nationale de la Recherche [Grant ANR-21-CE40-0020].","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","publication":"Mathematics of Operations Research","title":"Marginal values of a stochastic game","department":[{"_id":"GradSch"},{"_id":"KrCh"}],"ec_funded":1,"doi":"10.1287/moor.2023.0297","quality_controlled":"1","type":"journal_article","scopus_import":"1","volume":50,"abstract":[{"text":"Zero-sum stochastic games are parameterized by payoffs, transitions, and possibly a discount rate. In this article, we study how the main solution concepts, the discounted and undiscounted values, vary when these parameters are perturbed. We focus on the marginal values, introduced by Mills in 1956 in the context of matrix games—that is, the directional derivatives of the value along any fixed perturbation. We provide a formula for the marginal values of a discounted stochastic game. Further, under mild assumptions on the perturbation, we provide a formula for their limit as the discount rate vanishes and for the marginal values of an undiscounted stochastic game. We also show, via an example, that the two latter differ in general.","lang":"eng"}],"year":"2025","isi":1,"article_type":"original","author":[{"last_name":"Attia","first_name":"Luc","full_name":"Attia, Luc"},{"full_name":"Oliu-Barton, Miquel","first_name":"Miquel","last_name":"Oliu-Barton"},{"full_name":"Saona Urmeneta, Raimundo J","orcid":"0000-0001-5103-038X","last_name":"Saona Urmeneta","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","first_name":"Raimundo J"}],"month":"02","oa_version":"None","publisher":"Institute for Operations Research and the Management Sciences","date_created":"2024-05-22T11:41:14Z","date_updated":"2026-04-07T12:31:21Z","citation":{"apa":"Attia, L., Oliu-Barton, M., &#38; Saona Urmeneta, R. J. (2025). Marginal values of a stochastic game. <i>Mathematics of Operations Research</i>. Institute for Operations Research and the Management Sciences. <a href=\"https://doi.org/10.1287/moor.2023.0297\">https://doi.org/10.1287/moor.2023.0297</a>","chicago":"Attia, Luc, Miquel Oliu-Barton, and Raimundo J Saona Urmeneta. “Marginal Values of a Stochastic Game.” <i>Mathematics of Operations Research</i>. Institute for Operations Research and the Management Sciences, 2025. <a href=\"https://doi.org/10.1287/moor.2023.0297\">https://doi.org/10.1287/moor.2023.0297</a>.","ama":"Attia L, Oliu-Barton M, Saona Urmeneta RJ. Marginal values of a stochastic game. <i>Mathematics of Operations Research</i>. 2025;50(1):482-505. doi:<a href=\"https://doi.org/10.1287/moor.2023.0297\">10.1287/moor.2023.0297</a>","ieee":"L. Attia, M. Oliu-Barton, and R. J. Saona Urmeneta, “Marginal values of a stochastic game,” <i>Mathematics of Operations Research</i>, vol. 50, no. 1. Institute for Operations Research and the Management Sciences, pp. 482–505, 2025.","mla":"Attia, Luc, et al. “Marginal Values of a Stochastic Game.” <i>Mathematics of Operations Research</i>, vol. 50, no. 1, Institute for Operations Research and the Management Sciences, 2025, pp. 482–505, doi:<a href=\"https://doi.org/10.1287/moor.2023.0297\">10.1287/moor.2023.0297</a>.","ista":"Attia L, Oliu-Barton M, Saona Urmeneta RJ. 2025. Marginal values of a stochastic game. Mathematics of Operations Research. 50(1), 482–505.","short":"L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505."},"article_processing_charge":"No","_id":"17037","date_published":"2025-02-01T00:00:00Z","page":"482-505","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"20234"}]},"project":[{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"intvolume":"        50","external_id":{"isi":["001184648000001"]},"issue":"1","language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1526-5471"],"issn":["0364-765X"]},"status":"public"},{"file":[{"relation":"main_file","file_id":"20336","file_size":1465827,"access_level":"open_access","date_updated":"2025-09-10T07:48:21Z","file_name":"2025_CommMathPhysics_Erdoes.pdf","date_created":"2025-09-10T07:48:21Z","checksum":"abd32af7b8ca6dc5b9080823a433986b","content_type":"application/pdf","success":1,"creator":"dernst"}],"department":[{"_id":"LaEr"}],"OA_place":"publisher","OA_type":"hybrid","file_date_updated":"2025-09-10T07:48:21Z","doi":"10.1007/s00220-025-05417-z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","day":"01","acknowledgement":"We thank Giorgio Cipolloni for many productive discussions and the anonymous referees for several useful suggestions and spotting some typos. Open access funding provided by Institute of Science and Technology (IST Austria).","ddc":["510"],"title":"Cusp universality for correlated random matrices","publication":"Communications in Mathematical Physics","abstract":[{"lang":"eng","text":"For correlated real symmetric or complex Hermitian random matrices, we prove that the local eigenvalue statistics at any cusp singularity are universal. Since the density of states typically exhibits only square root edge or cubic root cusp singularities, our result completes the proof of the Wigner–Dyson–Mehta universality conjecture in all spectral regimes for a very general class of random matrices. Previously only the bulk and the edge universality were established in this generality (Alt et al. in Ann Probab 48(2):963–1001, 2020), while cusp universality was proven only for Wigner-type matrices with independent entries (Cipolloni et al. in Pure Appl Anal 1:615–707, 2019; Erdős et al. in Commun. Math. Phys. 378:1203–1278, 2018). As our main technical input, we prove an optimal local law at the cusp using the <jats:italic>Zigzag strategy</jats:italic>, a recursive tandem of the characteristic flow method and a Green function comparison argument. Moreover, our proof of the optimal local law holds uniformly in the spectrum, thus we also provide a significantly simplified alternative proof of the local eigenvalue universality in the previously studied bulk (Erdős et al. in Forum Math. Sigma 7:E8, 2019) and edge (Alt et al. in Ann Probab 48(2):963–1001, 2020) regimes."}],"has_accepted_license":"1","corr_author":"1","volume":406,"quality_controlled":"1","type":"journal_article","scopus_import":"1","oa":1,"date_updated":"2026-04-07T12:32:19Z","date_created":"2025-09-10T05:38:17Z","_id":"20322","date_published":"2025-09-01T00:00:00Z","article_processing_charge":"Yes (via OA deal)","citation":{"ama":"Erdös L, Henheik SJ, Riabov V. Cusp universality for correlated random matrices. <i>Communications in Mathematical Physics</i>. 2025;406(10). doi:<a href=\"https://doi.org/10.1007/s00220-025-05417-z\">10.1007/s00220-025-05417-z</a>","ieee":"L. Erdös, S. J. Henheik, and V. Riabov, “Cusp universality for correlated random matrices,” <i>Communications in Mathematical Physics</i>, vol. 406, no. 10. Springer Nature, 2025.","mla":"Erdös, László, et al. “Cusp Universality for Correlated Random Matrices.” <i>Communications in Mathematical Physics</i>, vol. 406, no. 10, 253, Springer Nature, 2025, doi:<a href=\"https://doi.org/10.1007/s00220-025-05417-z\">10.1007/s00220-025-05417-z</a>.","apa":"Erdös, L., Henheik, S. J., &#38; Riabov, V. (2025). Cusp universality for correlated random matrices. <i>Communications in Mathematical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00220-025-05417-z\">https://doi.org/10.1007/s00220-025-05417-z</a>","chicago":"Erdös, László, Sven Joscha Henheik, and Volodymyr Riabov. “Cusp Universality for Correlated Random Matrices.” <i>Communications in Mathematical Physics</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/s00220-025-05417-z\">https://doi.org/10.1007/s00220-025-05417-z</a>.","short":"L. Erdös, S.J. Henheik, V. Riabov, Communications in Mathematical Physics 406 (2025).","ista":"Erdös L, Henheik SJ, Riabov V. 2025. Cusp universality for correlated random matrices. Communications in Mathematical Physics. 406(10), 253."},"article_type":"original","isi":1,"year":"2025","oa_version":"Published Version","publisher":"Springer Nature","month":"09","author":[{"full_name":"Erdös, László","orcid":"0000-0001-5366-9603","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László"},{"id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","first_name":"Sven Joscha","last_name":"Henheik","full_name":"Henheik, Sven Joscha","orcid":"0000-0003-1106-327X"},{"first_name":"Volodymyr","id":"1949f904-edfb-11eb-afb5-e2dfddabb93b","last_name":"Riabov","full_name":"Riabov, Volodymyr"}],"external_id":{"isi":["001565019000005"],"arxiv":["2410.06813"]},"issue":"10","PlanS_conform":"1","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0010-3616"],"eissn":["1432-0916"]},"status":"public","related_material":{"record":[{"relation":"earlier_version","id":"19547","status":"public"},{"relation":"dissertation_contains","id":"20575","status":"public"}]},"arxiv":1,"article_number":"253","intvolume":"       406"},{"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2506.06441","open_access":"1"}],"language":[{"iso":"eng"}],"status":"public","abstract":[{"lang":"eng","text":"We prove that a very general class of $N\\times N$ Hermitian random band matrices is in the delocalized phase when the band width $W$ exceeds the critical threshold, $W\\gg \\sqrt{N}$. In this regime, we show that, in the bulk spectrum, the eigenfunctions are fully delocalized, the eigenvalues follow the universal Wigner-Dyson statistics, and quantum unique ergodicity holds for general diagonal observables with an optimal convergence rate. Our results are valid for general variance profiles, arbitrary single entry distributions, in both real-symmetric and complex-Hermitian symmetry classes. In particular, our work substantially generalizes the recent breakthrough result of Yau and Yin [arXiv:2501.01718], obtained for a specific complex Hermitian Gaussian block band matrix. The main technical input is the optimal multi-resolvent local laws -- both in the averaged and fully isotropic form. We also generalize the $\\sqrtη$-rule from [arXiv:2012.13215] to exploit the additional effect of traceless observables. Our analysis is based on the zigzag strategy, complemented with a new global-scale estimate derived using the static version of the master inequalities, while the zig-step and the a priori estimates on the deterministic approximations are proven dynamically."}],"corr_author":"1","related_material":{"record":[{"relation":"dissertation_contains","id":"20575","status":"public"}]},"project":[{"call_identifier":"H2020","grant_number":"101020331","_id":"62796744-2b32-11ec-9570-940b20777f1d","name":"Random matrices beyond Wigner-Dyson-Mehta"}],"type":"preprint","ec_funded":1,"oa":1,"department":[{"_id":"GradSch"},{"_id":"LaEr"}],"date_created":"2025-10-29T19:09:03Z","OA_place":"repository","date_updated":"2026-04-07T12:32:19Z","_id":"20576","date_published":"2025-06-06T00:00:00Z","citation":{"ista":"Erdös L, Riabov V. The zigzag strategy for random band matrices. arXiv, <a href=\"https://doi.org/10.48550/ARXIV.2506.06441\">10.48550/ARXIV.2506.06441</a>.","short":"L. Erdös, V. Riabov, ArXiv (n.d.).","apa":"Erdös, L., &#38; Riabov, V. (n.d.). The zigzag strategy for random band matrices. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/ARXIV.2506.06441\">https://doi.org/10.48550/ARXIV.2506.06441</a>","chicago":"Erdös, László, and Volodymyr Riabov. “The Zigzag Strategy for Random Band Matrices.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/ARXIV.2506.06441\">https://doi.org/10.48550/ARXIV.2506.06441</a>.","ama":"Erdös L, Riabov V. The zigzag strategy for random band matrices. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/ARXIV.2506.06441\">10.48550/ARXIV.2506.06441</a>","ieee":"L. Erdös and V. Riabov, “The zigzag strategy for random band matrices,” <i>arXiv</i>. .","mla":"Erdös, László, and Volodymyr Riabov. “The Zigzag Strategy for Random Band Matrices.” <i>ArXiv</i>, doi:<a href=\"https://doi.org/10.48550/ARXIV.2506.06441\">10.48550/ARXIV.2506.06441</a>."},"article_processing_charge":"No","doi":"10.48550/ARXIV.2506.06441","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_status":"draft","day":"06","acknowledgement":" Supported by the ERC\r\nAdvanced Grant ”RMTBeyond” No. 101020331.","year":"2025","oa_version":"Preprint","month":"06","publication":"arXiv","title":"The zigzag strategy for random band matrices","author":[{"last_name":"Erdös","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603","full_name":"Erdös, László"},{"last_name":"Riabov","first_name":"Volodymyr","id":"1949f904-edfb-11eb-afb5-e2dfddabb93b","full_name":"Riabov, Volodymyr"}]},{"corr_author":"1","has_accepted_license":"1","abstract":[{"text":"This thesis deals with eigenvalue and eigenvector universality results for random matrix ensembles equipped with non-trivial spatial structure. We consider both mean-field models with a general variance profile (Wigner-type matrices) and correlation structure (correlated matrices) among the entries, as well as non-mean-field random band matrices with bandwidth W >> N^(1/2).\r\n\r\nTo extract the universal properties of random matrix spectra and eigenvectors, we obtain concentration estimates for their resolvent, the local laws, which generalize the celebrated Wigner semicircle law for a broad class of random matrices to much finer spectral scales. The local laws hold for both a single resolvent as well as for products of multiple resolvents, known as resolvent chains, and express the remarkable approximately-deterministic behavior of these objects down to the microscopic scale.\r\n\r\nOur primary tool for establishing the local laws is the dynamical Zigzag strategy, which we develop in the setting of spatially-inhomogeneous random matrices. Our proof method systematically addresses the challenges arising from non-trivial spatial structures and is robust to all types of singularities in the spectrum, as we demonstrate in the correlated setting. Furthermore, we incorporate the analysis of the deterministic resolvent chain approximations into the dynamical framework of the Zigzag strategy, synthesizing a unified toolkit for establishing multi-resolvent local laws.\r\n\r\nUsing these methods, we prove complete eigenvector delocalization, the Eigenstate Thermalization Hypothesis, and Wigner-Dyson universality in the bulk for random band matrices down to the optimal bandwidth W >> N^(1/2). For mean-field ensembles, we establish universality of local eigenvalue statistics at the cups for random matrices with correlated entries, and the Eigenstate Thermalization Hypothesis for Wigner-type matrices in the bulk of the spectrum.\r\n\r\nFinally, this thesis also contains other applications of the multi-resolvent local laws to spatially-inhomogeneous random matrices, obtained prior to the development of the Zigzag strategy. In particular, we provide a complete analysis of mesoscopic linear-eigenvalue statistics of Wigner-type matrices in all spectral regimes, including the novel cusps, and rigorously establish the prethermalization phenomenon for deformed Wigner matrices.\r\n\r\nThe main body of this thesis consists of seven research papers (listed on page xi), each presented in a separate chapter with its own introduction and all relevant context, suitable to be read independently. We ask the reader’s indulgence for the repetitions in the historical overviews and other minor redundancies that remain among the chapters as a result. The overall Introduction, preceding the chapters, provides a condensed, informal summary of the main ideas and concepts at the core of these works.\r\n","lang":"eng"}],"type":"dissertation","degree_awarded":"PhD","ec_funded":1,"file":[{"creator":"vriabov","success":1,"date_created":"2025-10-29T18:53:59Z","date_updated":"2025-10-29T18:53:59Z","file_name":"riabov_thesis-pdfa.pdf","content_type":"application/pdf","checksum":"6a0487b2b66bb35d44b394756d44b8b4","access_level":"open_access","file_size":7536583,"file_id":"20577","relation":"main_file"},{"file_size":17841612,"file_id":"20578","relation":"source_file","creator":"vriabov","date_created":"2025-10-29T18:54:53Z","checksum":"224efda6bf9864d296a1e5e0124c1e8f","date_updated":"2025-10-29T18:54:53Z","content_type":"application/x-zip-compressed","file_name":"manuscript.zip","access_level":"closed"}],"OA_place":"publisher","department":[{"_id":"GradSch"},{"_id":"LaEr"}],"file_date_updated":"2025-10-29T18:54:53Z","doi":"10.15479/AT-ISTA-20575","publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","acknowledgement":"The work comprising this thesis was supported by the ERC Advanced Grant \"RMTBeyond\"\r\nNo.101020331 awarded to my advisor.","day":"3","ddc":["515","519"],"title":"Universality in random matrices with spatial structure","publication_identifier":{"isbn":["978-3-99078-064-0"],"issn":["2663-337X"]},"status":"public","language":[{"iso":"eng"}],"project":[{"_id":"62796744-2b32-11ec-9570-940b20777f1d","grant_number":"101020331","name":"Random matrices beyond Wigner-Dyson-Mehta","call_identifier":"H2020"}],"page":"436","related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"20322"},{"relation":"part_of_dissertation","id":"18764","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"13317"},{"relation":"part_of_dissertation","id":"19368","status":"deleted"},{"status":"public","relation":"part_of_dissertation","id":"18554"},{"status":"public","relation":"part_of_dissertation","id":"20576"},{"relation":"part_of_dissertation","id":"17174","status":"public"},{"status":"public","id":"19547","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"19598","status":"public"}]},"alternative_title":["ISTA Thesis"],"supervisor":[{"orcid":"0000-0001-5366-9603","full_name":"Erdös, László","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös"}],"date_created":"2025-10-29T19:12:24Z","date_updated":"2026-04-07T12:32:20Z","oa":1,"date_published":"2025-11-03T00:00:00Z","_id":"20575","citation":{"ista":"Riabov V. 2025. Universality in random matrices with spatial structure. Institute of Science and Technology Austria.","short":"V. Riabov, Universality in Random Matrices with Spatial Structure, Institute of Science and Technology Austria, 2025.","apa":"Riabov, V. (2025). <i>Universality in random matrices with spatial structure</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20575\">https://doi.org/10.15479/AT-ISTA-20575</a>","chicago":"Riabov, Volodymyr. “Universality in Random Matrices with Spatial Structure.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20575\">https://doi.org/10.15479/AT-ISTA-20575</a>.","ama":"Riabov V. Universality in random matrices with spatial structure. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20575\">10.15479/AT-ISTA-20575</a>","ieee":"V. Riabov, “Universality in random matrices with spatial structure,” Institute of Science and Technology Austria, 2025.","mla":"Riabov, Volodymyr. <i>Universality in Random Matrices with Spatial Structure</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20575\">10.15479/AT-ISTA-20575</a>."},"article_processing_charge":"No","year":"2025","month":"11","oa_version":"Published Version","publisher":"Institute of Science and Technology Austria","author":[{"last_name":"Riabov","first_name":"Volodymyr","id":"1949f904-edfb-11eb-afb5-e2dfddabb93b","full_name":"Riabov, Volodymyr"}]}]