[{"date_created":"2025-08-13T11:13:13Z","degree_awarded":"PhD","alternative_title":["ISTA Thesis"],"year":"2025","date_published":"2025-08-13T00:00:00Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"day":"13","supervisor":[{"first_name":"Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8347-0443","full_name":"de Bono, Mario","last_name":"de Bono"}],"publisher":"Institute of Science and Technology Austria","_id":"20167","ddc":["570"],"title":"The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs","OA_place":"publisher","oa_version":"Published Version","type":"dissertation","doi":"10.15479/AT-ISTA-20167","publication_status":"published","status":"public","department":[{"_id":"GradSch"},{"_id":"MaDe"}],"date_updated":"2026-04-07T11:50:26Z","author":[{"last_name":"Schön","full_name":"Schön, Hanna","id":"C8E17EDC-D7AA-11E9-B7B7-45ECE5697425","first_name":"Hanna"}],"article_processing_charge":"No","file_date_updated":"2025-09-18T14:12:29Z","project":[{"name":"Molecular mechanisms of neural circuit function","_id":"23870BE8-32DE-11EA-91FC-C7463DDC885E","grant_number":"209504/A/17/Z"},{"_id":"23813290-32DE-11EA-91FC-C7463DDC885E","name":"Control of gene expression at the endoplasmic reticulum","grant_number":"ALTF 302-2019"}],"corr_author":"1","language":[{"iso":"eng"}],"has_accepted_license":"1","citation":{"ista":"Schön H. 2025. The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. Institute of Science and Technology Austria.","ieee":"H. Schön, “The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs,” Institute of Science and Technology Austria, 2025.","short":"H. Schön, The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs, Institute of Science and Technology Austria, 2025.","mla":"Schön, Hanna. <i>The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20167\">10.15479/AT-ISTA-20167</a>.","ama":"Schön H. The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20167\">10.15479/AT-ISTA-20167</a>","apa":"Schön, H. (2025). <i>The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20167\">https://doi.org/10.15479/AT-ISTA-20167</a>","chicago":"Schön, Hanna. “The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20167\">https://doi.org/10.15479/AT-ISTA-20167</a>."},"publication_identifier":{"isbn":["978-3-99078-061-9"],"issn":["2663-337X"]},"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"acknowledgement":"This work was supported by EMBO (ALTF 302-2019 to Niko Amin-Wetzel), the FWF\r\n(ESPRIT PR1054E140 to Niko Amin-Wetzel), the European Research Council\r\n(Advanced Grant 269058 to Mario de Bono) and Wellcome (209504/A/17/Z\r\nInvestigator Award to Mario de Bono). ","page":"171","file":[{"file_name":"2025_Schoen_Hanna_Thesis.docx","date_updated":"2025-09-09T08:57:04Z","checksum":"b40c74404b8d9593802dabf57bfdf10f","relation":"source_file","file_size":78812587,"file_id":"20311","date_created":"2025-09-08T14:33:50Z","access_level":"closed","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"hschoen"},{"checksum":"16abc3ff66396ce2457fe07ffa8bed90","embargo_to":"open_access","embargo":"2026-09-15","relation":"main_file","file_size":9667057,"date_updated":"2025-09-18T14:12:29Z","file_name":"2025_Schoen_Hanna_Thesis.pdf","creator":"hschoen","content_type":"application/pdf","file_id":"20347","date_created":"2025-09-11T14:20:59Z","access_level":"closed"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"08"},{"article_type":"original","title":"Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development","volume":123,"OA_place":"publisher","publication":"Plant Journal","PlanS_conform":"1","pmid":1,"ddc":["580"],"day":"01","publisher":"Wiley","_id":"20187","oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"issue":"3","year":"2025","date_published":"2025-08-01T00:00:00Z","quality_controlled":"1","intvolume":"       123","date_created":"2025-08-17T22:01:36Z","abstract":[{"lang":"eng","text":"Very long-chain fatty acids (VLCFAs), being constituents of different types of lipids, are critical factors in plant development, presumably due to their impact on the endomembrane system. The VLCFAs are synthesized in the endoplasmic reticulum by a heterotetrameric enzymatic complex including β-ketoacyl CoA reductase 1 (KCR1), whose mutant is lethal. Here, we describe the ectopic shoot meristems (esm) mutant, a viable kcr1 allele presumably affecting surface properties of the KCR1 protein. This kcr1-2 mutant shows reduced fatty acyl elongation that impacts VLCFAs. The kcr1-2 plants show severe defects during different stages of development, which all correlate with defects in polar localization and subcellular trafficking of PIN auxin transporters and resulting asymmetric auxin distribution. Detailed analysis of KCR1 expression and patterning defects in kcr1-2 suggests that KCR1 plays a role in delineating boundaries around meristematic and specialized differentiating tissues, including root and shoot meristems, initiating lateral roots, lateral root primordia, and trichomes. In these contexts, KCR1-produced VLCFAs may act in a non-cell-autonomous manner. Viable kcr1-2 represents a useful tool to study VLCFA roles in plant development and highlights VLCFAs as critical developmental factors at the interface of cell polarity and tissue development."}],"month":"08","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_identifier":{"issn":["0960-7412"],"eissn":["1365-313X"]},"OA_type":"hybrid","external_id":{"isi":["001547884300001"],"pmid":["40782342"]},"acknowledged_ssus":[{"_id":"Bio"},{"_id":"EM-Fac"},{"_id":"LifeSc"}],"acknowledgement":"We gratefully acknowledge the Imaging and Optics, Electron Microscopy (especially Vanessa Zheden for technical assistance) and Life Science (in particular Dorota Jaworska) facilities at ISTA for their continuous support. Authors would like to thank Michelle Gallei for advice during the generation of the transgenic lines; Zuzana Gelová for advice with DR5rev::GFP analyses; Ivan Kulich for help and advice on trichome imaging; Aline Monzer for generous help with hypocotyl and root analyses; Shutang Tan for help with the NGS data analysis; and Milan Župunski for advice on abiotic stress experiments. We would like to thank Dolf Weijers for the SOSEKI (SOK) marker line seeds. This work has benefited from the support of IJPB's Plant Observatory platforms P0-Chem.\r\n\r\nThis work was supported by Austrian Science Fund (FWF) (I 6123-B) and Science and Technology Department of Jiangxi Province (20223BCJ25037) to Huibin Han. The IJPB benefits from the support of Saclay Plant Sciences-SPS (ANR-17-EUR-0007).","file":[{"date_updated":"2025-09-01T14:09:31Z","file_name":"2025_PlantJournal_Babic.pdf","relation":"main_file","checksum":"1cdc3341d2d23101abca72521f1f23cb","file_size":5791111,"file_id":"20264","access_level":"open_access","success":1,"date_created":"2025-09-01T14:09:31Z","creator":"dernst","content_type":"application/pdf"}],"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"20362"}]},"language":[{"iso":"eng"}],"article_number":"e70396","has_accepted_license":"1","citation":{"mla":"Babic, David, et al. “Biosynthesis of Very Long-Chain Fatty Acids Is Required for Arabidopsis Auxin-Mediated Embryonic and Post-Embryonic Development.” <i>Plant Journal</i>, vol. 123, no. 3, e70396, Wiley, 2025, doi:<a href=\"https://doi.org/10.1111/tpj.70396\">10.1111/tpj.70396</a>.","ista":"Babic D, Abualia R, Fiedler L, Qi L, Tellier F, Smoljan A, Rakusova H, Valošek P, Han H, Benková E, Faure JD, Friml J. 2025. Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development. Plant Journal. 123(3), e70396.","ieee":"D. Babic <i>et al.</i>, “Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development,” <i>Plant Journal</i>, vol. 123, no. 3. Wiley, 2025.","short":"D. Babic, R. Abualia, L. Fiedler, L. Qi, F. Tellier, A. Smoljan, H. Rakusova, P. Valošek, H. Han, E. Benková, J.D. Faure, J. Friml, Plant Journal 123 (2025).","ama":"Babic D, Abualia R, Fiedler L, et al. Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development. <i>Plant Journal</i>. 2025;123(3). doi:<a href=\"https://doi.org/10.1111/tpj.70396\">10.1111/tpj.70396</a>","chicago":"Babic, David, Rashed Abualia, Lukas Fiedler, Linlin Qi, Frédérique Tellier, Adrijana Smoljan, Hana Rakusova, et al. “Biosynthesis of Very Long-Chain Fatty Acids Is Required for Arabidopsis Auxin-Mediated Embryonic and Post-Embryonic Development.” <i>Plant Journal</i>. Wiley, 2025. <a href=\"https://doi.org/10.1111/tpj.70396\">https://doi.org/10.1111/tpj.70396</a>.","apa":"Babic, D., Abualia, R., Fiedler, L., Qi, L., Tellier, F., Smoljan, A., … Friml, J. (2025). Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development. <i>Plant Journal</i>. Wiley. <a href=\"https://doi.org/10.1111/tpj.70396\">https://doi.org/10.1111/tpj.70396</a>"},"file_date_updated":"2025-09-01T14:09:31Z","project":[{"grant_number":"I06123","name":"Peptide receptors for auxin canalization in Arabidopsis","_id":"bd76d395-d553-11ed-ba76-f678c14f9033"}],"corr_author":"1","scopus_import":"1","article_processing_charge":"Yes (via OA deal)","author":[{"id":"db566d23-f6e0-11ea-865d-e6f270e968e7","first_name":"David","last_name":"Babic","full_name":"Babic, David"},{"first_name":"Rashed","id":"4827E134-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9357-9415","last_name":"Abualia","full_name":"Abualia, Rashed"},{"last_name":"Fiedler","full_name":"Fiedler, Lukas","id":"7c417475-8972-11ed-ae7b-8b674ca26986","first_name":"Lukas"},{"last_name":"Qi","full_name":"Qi, Linlin","id":"44B04502-A9ED-11E9-B6FC-583AE6697425","orcid":"0000-0001-5187-8401","first_name":"Linlin"},{"full_name":"Tellier, Frédérique","last_name":"Tellier","first_name":"Frédérique"},{"id":"cced8a85-223e-11ed-af04-b0596c55053b","first_name":"Adrijana","full_name":"Smoljan, Adrijana","last_name":"Smoljan"},{"id":"4CAAA450-78D2-11EA-8E57-B40A396E08BA","first_name":"Hana","last_name":"Rakusova","full_name":"Rakusova, Hana"},{"first_name":"Petr","id":"3CDB6F94-F248-11E8-B48F-1D18A9856A87","last_name":"Valošek","full_name":"Valošek, Petr"},{"first_name":"Huibin","id":"31435098-F248-11E8-B48F-1D18A9856A87","last_name":"Han","full_name":"Han, Huibin"},{"first_name":"Eva","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8510-9739","last_name":"Benková","full_name":"Benková, Eva"},{"full_name":"Faure, Jean Denis","last_name":"Faure","first_name":"Jean Denis"},{"full_name":"Friml, Jiří","last_name":"Friml","orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jiří"}],"department":[{"_id":"EvBe"},{"_id":"JiFr"},{"_id":"GradSch"}],"date_updated":"2026-04-07T11:52:02Z","status":"public","isi":1,"oa_version":"Published Version","type":"journal_article","doi":"10.1111/tpj.70396","publication_status":"published"},{"department":[{"_id":"GradSch"},{"_id":"JiFr"},{"_id":"EvBe"}],"date_updated":"2026-04-07T11:52:02Z","author":[{"last_name":"Babic","full_name":"Babic, David","first_name":"David","id":"db566d23-f6e0-11ea-865d-e6f270e968e7"}],"article_processing_charge":"No","oa_version":"Published Version","type":"dissertation","doi":"10.15479/AT-ISTA-20362","publication_status":"published","status":"public","publication_identifier":{"issn":["2663-337X"]},"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"20187"}]},"page":"116","file":[{"file_name":"2025_David_Babic_Thesis.pdf","date_updated":"2025-09-26T07:29:11Z","file_size":7501548,"checksum":"5ecf274281a54a41e0288bc79edf7492","embargo_to":"open_access","relation":"main_file","embargo":"2026-09-25","date_created":"2025-09-24T13:43:14Z","access_level":"closed","file_id":"20388","content_type":"application/pdf","creator":"dbabic"},{"content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"dbabic","file_id":"20389","date_created":"2025-09-24T13:43:14Z","access_level":"closed","checksum":"2703e548390de0a1af7a707137e8ab3b","relation":"source_file","file_size":23206052,"file_name":"Thesis_Babic_draft.docx","date_updated":"2025-09-26T07:29:11Z"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"09","file_date_updated":"2025-09-26T07:29:11Z","corr_author":"1","language":[{"iso":"eng"}],"has_accepted_license":"1","citation":{"ama":"Babic D. Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20362\">10.15479/AT-ISTA-20362</a>","apa":"Babic, D. (2025). <i>Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20362\">https://doi.org/10.15479/AT-ISTA-20362</a>","chicago":"Babic, David. “Mechanisms of Auxin-Mediated Early Embryogenesis in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20362\">https://doi.org/10.15479/AT-ISTA-20362</a>.","short":"D. Babic, Mechanisms of Auxin-Mediated Early Embryogenesis in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2025.","ista":"Babic D. 2025. Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana. Institute of Science and Technology Austria.","ieee":"D. Babic, “Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2025.","mla":"Babic, David. <i>Mechanisms of Auxin-Mediated Early Embryogenesis in Arabidopsis Thaliana</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20362\">10.15479/AT-ISTA-20362</a>."},"alternative_title":["ISTA Thesis"],"year":"2025","date_published":"2025-09-18T00:00:00Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"date_created":"2025-09-17T13:28:01Z","degree_awarded":"PhD","title":"Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana","OA_place":"publisher","day":"18","publisher":"Institute of Science and Technology Austria","supervisor":[{"last_name":"Friml","full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","first_name":"Jiří"},{"last_name":"Benková","full_name":"Benková, Eva","orcid":"0000-0002-8510-9739","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","first_name":"Eva"}],"_id":"20362","ddc":["580"]},{"degree_awarded":"PhD","date_created":"2025-10-01T09:04:00Z","date_published":"2025-10-01T00:00:00Z","alternative_title":["ISTA Thesis"],"year":"2025","ddc":["540"],"_id":"20415","day":"01","supervisor":[{"last_name":"Ibáñez","full_name":"Ibáñez, Maria","first_name":"Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5013-2843"},{"last_name":"Protesescu","full_name":"Protesescu, Loredana","first_name":"Loredana"},{"last_name":"Freunberger","full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319","first_name":"Stefan Alexander"}],"publisher":"Institute of Science and Technology Austria","OA_place":"publisher","title":"Nanoparticle-based precursors toward advanced crystalline inorganic solids","status":"public","doi":"10.15479/AT-ISTA-20415","publication_status":"published","oa_version":"Published Version","type":"dissertation","author":[{"first_name":"Seungho","orcid":"0000-0002-6962-8598","id":"BB243B88-D767-11E9-B658-BC13E6697425","full_name":"Lee, Seungho","last_name":"Lee"}],"article_processing_charge":"No","date_updated":"2026-04-07T11:52:32Z","department":[{"_id":"GradSch"},{"_id":"MaIb"}],"has_accepted_license":"1","citation":{"ama":"Lee S. Nanoparticle-based precursors toward advanced crystalline inorganic solids. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20415\">10.15479/AT-ISTA-20415</a>","apa":"Lee, S. (2025). <i>Nanoparticle-based precursors toward advanced crystalline inorganic solids</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20415\">https://doi.org/10.15479/AT-ISTA-20415</a>","chicago":"Lee, Seungho. “Nanoparticle-Based Precursors toward Advanced Crystalline Inorganic Solids.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20415\">https://doi.org/10.15479/AT-ISTA-20415</a>.","short":"S. Lee, Nanoparticle-Based Precursors toward Advanced Crystalline Inorganic Solids, Institute of Science and Technology Austria, 2025.","ieee":"S. Lee, “Nanoparticle-based precursors toward advanced crystalline inorganic solids,” Institute of Science and Technology Austria, 2025.","ista":"Lee S. 2025. Nanoparticle-based precursors toward advanced crystalline inorganic solids. Institute of Science and Technology Austria.","mla":"Lee, Seungho. <i>Nanoparticle-Based Precursors toward Advanced Crystalline Inorganic Solids</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20415\">10.15479/AT-ISTA-20415</a>."},"language":[{"iso":"eng"}],"project":[{"name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery","_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A"}],"file_date_updated":"2025-10-07T08:57:14Z","corr_author":"1","month":"10","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"EM-Fac"}],"related_material":{"record":[{"id":"15357","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"12237"}]},"page":"144","file":[{"content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"slee","file_id":"20420","access_level":"closed","date_created":"2025-10-03T12:29:43Z","relation":"source_file","checksum":"fa6d5946feb37b678ee1c6dffb4fa167","file_size":88706648,"file_name":"2025_Lee_Seungho_Thesis.docx","date_updated":"2025-10-07T08:57:14Z"},{"file_name":"2025_Lee_Seungho_Thesis__.pdf","date_updated":"2025-10-03T12:29:25Z","relation":"main_file","embargo":"2026-10-03","checksum":"c5ba6d464113ad0c5812a9d24b539b86","embargo_to":"open_access","file_size":14587276,"file_id":"20421","access_level":"closed","date_created":"2025-10-03T12:29:25Z","creator":"slee","content_type":"application/pdf"}],"publication_identifier":{"issn":["2663-337X"]}},{"language":[{"iso":"eng"}],"has_accepted_license":"1","citation":{"mla":"Giannini, Caterina. <i>Nuclear and Cell Surface Auxin Signaling in A. Thaliana Developmental Transitions</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20364\">10.15479/AT-ISTA-20364</a>.","ieee":"C. Giannini, “Nuclear and cell surface auxin signaling in A. thaliana developmental transitions,” Institute of Science and Technology Austria, 2025.","ista":"Giannini C. 2025. Nuclear and cell surface auxin signaling in A. thaliana developmental transitions. Institute of Science and Technology Austria.","short":"C. Giannini, Nuclear and Cell Surface Auxin Signaling in A. Thaliana Developmental Transitions, Institute of Science and Technology Austria, 2025.","ama":"Giannini C. Nuclear and cell surface auxin signaling in A. thaliana developmental transitions. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20364\">10.15479/AT-ISTA-20364</a>","chicago":"Giannini, Caterina. “Nuclear and Cell Surface Auxin Signaling in A. Thaliana Developmental Transitions.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20364\">https://doi.org/10.15479/AT-ISTA-20364</a>.","apa":"Giannini, C. (2025). <i>Nuclear and cell surface auxin signaling in A. thaliana developmental transitions</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20364\">https://doi.org/10.15479/AT-ISTA-20364</a>"},"file_date_updated":"2025-09-30T14:31:29Z","corr_author":"1","month":"09","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_identifier":{"issn":["2663-337X"]},"acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"Bio"}],"file":[{"file_size":14278965,"embargo":"2026-09-30","relation":"main_file","embargo_to":"open_access","checksum":"536ba1701453b0b2346be14c046b2911","file_name":"2025_Giannini_Caterina_Thesis...pdf","date_updated":"2025-09-30T14:31:29Z","content_type":"application/pdf","creator":"cgiannin","access_level":"closed","date_created":"2025-09-24T14:46:34Z","file_id":"20390"},{"file_name":"2025_Giannini_Caterina_Thesis...docx","date_updated":"2025-09-24T14:46:35Z","file_size":24499022,"checksum":"192f55262f2da2ea0a59d9c23a1b8573","relation":"source_file","date_created":"2025-09-24T14:46:35Z","access_level":"closed","file_id":"20391","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"cgiannin"}],"page":"151","acknowledgement":"Plant Facility,\r\nProtein Service Facility","related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"12291"},{"relation":"part_of_dissertation","status":"public","id":"19399"}]},"status":"public","oa_version":"Published Version","type":"dissertation","doi":"10.15479/AT-ISTA-20364","publication_status":"published","author":[{"id":"e3fdddd5-f6e0-11ea-865d-ca99ee6367f4","first_name":"Caterina","full_name":"Giannini, Caterina","last_name":"Giannini"}],"article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"JiFr"},{"_id":"MaLo"}],"date_updated":"2026-04-07T11:52:16Z","ddc":["580"],"day":"19","publisher":"Institute of Science and Technology Austria","supervisor":[{"orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jiří","full_name":"Friml, Jiří","last_name":"Friml"}],"_id":"20364","title":"Nuclear and cell surface auxin signaling in A. thaliana developmental transitions","OA_place":"publisher","keyword":["Auxin Signaling","Plant Development"],"degree_awarded":"PhD","date_created":"2025-09-19T12:23:38Z","alternative_title":["ISTA Thesis"],"year":"2025","date_published":"2025-09-19T00:00:00Z"},{"publication_identifier":{"isbn":["978-3-99078-069-5"],"issn":["2663-337X"]},"related_material":{"record":[{"id":"20465","relation":"part_of_dissertation","status":"public"}]},"page":"105","file":[{"creator":"snaik","content_type":"application/pdf","success":1,"access_level":"open_access","date_created":"2025-10-28T13:10:08Z","file_id":"20567","file_size":6846189,"relation":"main_file","checksum":"2892f04d4a5c18677871c3e06ac1244a","date_updated":"2025-10-28T13:10:08Z","file_name":"Thesis_PDFA_.pdf"},{"file_name":"Thesis.zip","date_updated":"2025-10-28T13:10:26Z","relation":"source_file","checksum":"15934d4465cd0e9b7c32678da9a33a2f","file_size":8839300,"file_id":"20568","access_level":"open_access","date_created":"2025-10-28T13:10:26Z","content_type":"application/zip","creator":"snaik"}],"acknowledgement":"I would also like to thank the LSF and Cryo facility at ISTA, which have been helpful in my\r\nexperiments. I would also like to acknowledge FWF, grant DOI 10.55776/PAT5044023 and JKU Nanocell grant DOI \r\n10.55776/W1250 for providing funding for my PhD research. EMBO and FWF for providing funding for travel grants to attend conferences.","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"month":"10","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","corr_author":"1","license":"https://creativecommons.org/licenses/by-sa/4.0/","file_date_updated":"2025-10-28T13:10:26Z","project":[{"_id":"8f060199-16d5-11f0-9cad-f3253b266c46","name":"Keratins in epithelial tissue spreading","grant_number":"PAT 5044023"},{"grant_number":"W 1250-B20","_id":"25AA5F24-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Nano-Analytics of Cellular Systems"}],"language":[{"iso":"eng"}],"citation":{"short":"S. Naik, Keratins Act as Global Coordinators of Tissue Spreading through Mechanosensitive Feedback, Institute of Science and Technology Austria, 2025.","ista":"Naik S. 2025. Keratins act as global coordinators of tissue spreading through mechanosensitive feedback. Institute of Science and Technology Austria.","ieee":"S. Naik, “Keratins act as global coordinators of tissue spreading through mechanosensitive feedback,” Institute of Science and Technology Austria, 2025.","mla":"Naik, Suyash. <i>Keratins Act as Global Coordinators of Tissue Spreading through Mechanosensitive Feedback</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20441\">10.15479/AT-ISTA-20441</a>.","ama":"Naik S. Keratins act as global coordinators of tissue spreading through mechanosensitive feedback. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20441\">10.15479/AT-ISTA-20441</a>","apa":"Naik, S. (2025). <i>Keratins act as global coordinators of tissue spreading through mechanosensitive feedback</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20441\">https://doi.org/10.15479/AT-ISTA-20441</a>","chicago":"Naik, Suyash. “Keratins Act as Global Coordinators of Tissue Spreading through Mechanosensitive Feedback.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20441\">https://doi.org/10.15479/AT-ISTA-20441</a>."},"has_accepted_license":"1","department":[{"_id":"GradSch"},{"_id":"CaHe"},{"_id":"EdHa"}],"date_updated":"2026-04-07T11:58:57Z","article_processing_charge":"No","author":[{"last_name":"Naik","full_name":"Naik, Suyash","first_name":"Suyash","orcid":"0000-0001-8421-5508","id":"2C0B105C-F248-11E8-B48F-1D18A9856A87"}],"type":"dissertation","oa_version":"Published Version","publication_status":"published","doi":"10.15479/AT-ISTA-20441","status":"public","title":"Keratins act as global coordinators of tissue spreading through mechanosensitive feedback","OA_place":"publisher","supervisor":[{"full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg","orcid":"0000-0002-0912-4566","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J"},{"full_name":"Hannezo, Edouard B","last_name":"Hannezo","first_name":"Edouard B","orcid":"0000-0001-6005-1561","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Institute of Science and Technology Austria","day":"12","_id":"20441","ddc":["596","597","532"],"year":"2025","alternative_title":["ISTA Thesis"],"date_published":"2025-10-12T00:00:00Z","oa":1,"tmp":{"name":"Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","image":"/images/cc_by_sa.png","short":"CC BY-SA (4.0)"},"date_created":"2025-10-10T14:58:30Z","abstract":[{"lang":"eng","text":"Epithelial spreading plays a pivotal role in the development of organisms especially those\r\nsuch as zebrafish which require the epithelial enveloping layer (EVL) to spread to cover the\r\nsubstantial yolk surface during gastrulation. Epiboly requires the transition of the epithelium\r\nwith cuboidal cells to form a thin, flat squamous epithelial sheet. During this transition, the\r\ncells show tissue-scale mechanosensation with mechanisms such as direct mechanical control\r\nover the axis of cell division.\r\nCytoskeletal intermediate filaments play a crucial role in vertebrate cells, not only facilitating\r\nmechanical stability but also helping facilitate the mechanosensitive response of the cell.\r\nMechanosenstivity displayed by intermediate filaments is due not just to their interesting\r\nphysical properties but also to their interactions with other cytoskeletal elements such as actin\r\nand microtubules. Keratin is the predominant intermediate filament expressed in the EVL.\r\nIt expresses concomitantly with the gastrulation movements of the developing embryo. Our\r\nwork focuses on understanding the role and dynamics of the keratin cytoskeletal network in\r\nmodulating the physical aspects of EVL spreading. We demonstrated with the combination of\r\nphysical characterisation and manipulations of the EVL, utilising a variety of biophysical tools\r\nand microscopy, the mechanistic role of keratin in tissue spreading.\r\nGenerating novel genetic morphants and mutants, we probe the effect that the loss of the\r\nkeratin network has on the physiology of the epithelium and the developing embryo. We\r\nshow that the changing organisation of the keratin network is important for changing EVL\r\nphysical properties as the stress imposed on the EVL increases during epiboly. By modelling\r\nthe epithelium, we study how the mechanical heterogeneity in an epithelium can feed back into\r\na mechanical loop to the maturation of the keratin network and hence affect the mechanics\r\nof the epithelium. However, unlike what would be predicted by the effect of intermediate\r\nfilaments in acting as a security belt and increasing the resistance of the epithelium, we observe\r\nthat loss of keratin leads to a delay in the EVL movement. Using both local aspirations of the\r\nYSL and EVL ablations, we demonstrate the mechanistic facilitation of actin mechanosensation\r\nin a keratin-dependent manner.\r\nFurthermore, using chemical inhibitors of microtubule polymerisation, we provide insight into\r\nthe mechanisms underlying the organisation and distribution of keratin. Interestingly, the\r\nphenotype observed upon this loss of microtubules shows that keratins interact with the nucleus\r\nthrough microtubular interactions. Together with these diverse observations, we describe\r\nthe mechanosensory feedback between resilience and that is critical for uniform and robust\r\nspreading of the epithelium."}],"degree_awarded":"PhD"},{"publication_identifier":{"isbn":["978-3-99078-068-8"],"issn":["2663-337X"]},"acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"Bio"}],"file":[{"file_id":"20518","date_created":"2025-10-23T08:22:35Z","access_level":"closed","creator":"mmisova","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_updated":"2025-11-06T11:08:06Z","file_name":"2025-Misova-Michaela-Thesis.docx","checksum":"e042ea314e7e13fce76c6c95e126779a","relation":"source_file","file_size":75070995},{"file_id":"20519","access_level":"closed","date_created":"2025-10-23T08:21:21Z","creator":"mmisova","content_type":"application/pdf","date_updated":"2025-10-23T08:21:21Z","file_name":"2025-Misova-Michaela-Thesis.pdf","relation":"main_file","embargo":"2026-10-23","checksum":"fcd8973d6a025256eb0eb1a82c02172c","embargo_to":"open_access","file_size":10974630}],"acknowledgement":"I would also like to acknowledge the funding that I received from the European Union’s\r\nHorizon 2020 research and Innovation programme under the Marie Sklodowska-Curie\r\nGrant Agreement No. 665385. This work would not have been possible without the contribution and support of people\r\nbehind the scientific service units at ISTA: the Life Science Facility (LSF), Imaging and\r\nOptics Facility (IOF), the Bioinformatics Unit, Protein Services Unit and\r\nElectrophysiology Unit. I would also like to recognize the work of people at the Vienna\r\nBiocenter (VBC) Mass Spectrometry Facility, particularly Markus Hartl and WeiQiang\r\nChen. ","page":"155","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"10","file_date_updated":"2025-11-06T11:08:06Z","project":[{"call_identifier":"H2020","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385"}],"corr_author":"1","language":[{"iso":"eng"}],"has_accepted_license":"1","citation":{"short":"M. Misova, Dissecting Gap Junction Biology Using the C. Elegans Nervous System, Institute of Science and Technology Austria, 2025.","ieee":"M. Misova, “Dissecting gap junction biology using the C. elegans nervous system,” Institute of Science and Technology Austria, 2025.","ista":"Misova M. 2025. Dissecting gap junction biology using the C. elegans nervous system. Institute of Science and Technology Austria.","mla":"Misova, Michaela. <i>Dissecting Gap Junction Biology Using the C. Elegans Nervous System</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20485\">10.15479/AT-ISTA-20485</a>.","ama":"Misova M. Dissecting gap junction biology using the C. elegans nervous system. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20485\">10.15479/AT-ISTA-20485</a>","apa":"Misova, M. (2025). <i>Dissecting gap junction biology using the C. elegans nervous system</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20485\">https://doi.org/10.15479/AT-ISTA-20485</a>","chicago":"Misova, Michaela. “Dissecting Gap Junction Biology Using the C. Elegans Nervous System.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20485\">https://doi.org/10.15479/AT-ISTA-20485</a>."},"department":[{"_id":"GradSch"},{"_id":"MaDe"}],"date_updated":"2026-04-07T11:54:00Z","author":[{"full_name":"Misova, Michaela","last_name":"Misova","id":"495A3C32-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2427-6856","first_name":"Michaela"}],"article_processing_charge":"No","oa_version":"Published Version","type":"dissertation","doi":"10.15479/AT-ISTA-20485","publication_status":"published","status":"public","title":"Dissecting gap junction biology using the C. elegans nervous system","ec_funded":1,"OA_place":"publisher","day":"23","supervisor":[{"last_name":"de Bono","full_name":"de Bono, Mario","first_name":"Mario","orcid":"0000-0001-8347-0443","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Institute of Science and Technology Austria","_id":"20485","ddc":["570"],"alternative_title":["ISTA Thesis"],"year":"2025","date_published":"2025-10-23T00:00:00Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"date_created":"2025-10-17T16:15:09Z","degree_awarded":"PhD"},{"type":"dissertation","oa_version":"Published Version","publication_status":"published","doi":"10.15479/AT-ISTA-19853","status":"public","department":[{"_id":"GradSch"},{"_id":"LiBu"}],"date_updated":"2026-04-07T12:01:37Z","article_processing_charge":"No","author":[{"full_name":"Smith, Kanah","last_name":"Smith","id":"7703505d-3211-11ee-a6a9-a2ab9d936c15","first_name":"Kanah"}],"corr_author":"1","file_date_updated":"2025-10-09T14:38:57Z","language":[{"iso":"eng"}],"citation":{"ieee":"K. Smith, “Exploring internal magnetism in partially suppressed red giant stars,” Institute of Science and Technology Austria, 2025.","ista":"Smith K. 2025. Exploring internal magnetism in partially suppressed red giant stars. Institute of Science and Technology Austria.","short":"K. Smith, Exploring Internal Magnetism in Partially Suppressed Red Giant Stars, Institute of Science and Technology Austria, 2025.","mla":"Smith, Kanah. <i>Exploring Internal Magnetism in Partially Suppressed Red Giant Stars</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-19853\">10.15479/AT-ISTA-19853</a>.","apa":"Smith, K. (2025). <i>Exploring internal magnetism in partially suppressed red giant stars</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-19853\">https://doi.org/10.15479/AT-ISTA-19853</a>","chicago":"Smith, Kanah. “Exploring Internal Magnetism in Partially Suppressed Red Giant Stars.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-19853\">https://doi.org/10.15479/AT-ISTA-19853</a>.","ama":"Smith K. Exploring internal magnetism in partially suppressed red giant stars. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-19853\">10.15479/AT-ISTA-19853</a>"},"has_accepted_license":"1","publication_identifier":{"issn":["2791-4585"]},"page":"38","acknowledgement":"I would like to give thanks to myself for my hard work on this document. This paper includes data collected by the Kepler mission and obtained from the MAST data\r\narchive at the Space Telescope Science Institute (STScI). Funding for the Kepler mission is\r\nprovided by the NASA Science Mission Directorate. STScI is operated by the Association of\r\nUniversities for Research in Astronomy, Inc., under NASA contract NAS 5–26555.\r\n","file":[{"content_type":"application/zip","creator":"ksmith","file_id":"20434","date_created":"2025-10-08T08:01:42Z","access_level":"closed","checksum":"80d241d11b69af771c1fab0998be4f19","relation":"source_file","file_size":8263624,"file_name":"2025_Smith_Kanah_Thesis.zip","date_updated":"2025-10-08T09:45:33Z"},{"file_id":"20439","date_created":"2025-10-09T14:38:57Z","access_level":"open_access","success":1,"content_type":"application/pdf","creator":"ksmith","file_name":"2025_Smith_Kanah_Thesis.pdf","date_updated":"2025-10-09T14:38:57Z","checksum":"13cb48cc98e00fdfe32f3ff66f17aa26","relation":"main_file","file_size":9748339}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"10","abstract":[{"lang":"eng","text":"The internal dynamical properties of red giant stars have been explored extensively in recent\r\nyears as a result of the increase in high precision data availability from the space missions\r\nKepler and TESS (Transiting Exoplanet Survey Satellite), and in this exploration, it has been\r\ndiscovered that some of these stars are not behaving as expected. Red giants are stars that have\r\nevolved off of the main sequence after having completed fusing hydrogen into helium in their\r\ncore. Observational data shows that the cores are rotating significantly slower than models can\r\nrecreate consistently across evolutionary stages. This discrepancy has prompted investigation\r\ninto the efficiency of angular momentum transport mechanisms and mixing processes including\r\nmeridional circulation, shear instability, internal gravity waves, Tayler-Spruit dynamo, fossil\r\nmagnetic fields etc., to explain this behavior.\r\nAnalyzing seismic oscillations in stars, via asteroseismology, is a powerful tool as it is the only\r\nway in which the deep stellar interior can be probed and subsequently characterized; this is\r\npossible as global oscillations modulating the stellar surface are effected by internal processes.\r\nFor red giants, p-modes (pressure modes; resonating through the entire star) and g-modes\r\n(gravity-modes; resonating in the radiative interior) couple to create mixed modes. These\r\nmixed modes give access to the otherwise hidden stellar interior as g-modes couple to p-modes,\r\ndelivering information from the interior to the surface.\r\nInternal magnetic signatures have been observationally confirmed in red giant stars via\r\nasteroseismology and characterized in two ways. One being that dipole mixed modes with\r\nℓ = 1 will display a global asymmetric frequency shift of its azimuthal components; where\r\nthe m = 0 and m = ±1 components of the ℓ = 1 dipole mode will be shifted by two\r\ndifferent power laws, respectively. And the other being a reduced visibility of dipole mixed\r\nmode amplitudes in the power spectra, where stars presenting with this feature are denoted as\r\nsuppressed.\r\nSeveral studies of the suppressed dipole mixed mode amplitudes have been carried out, but thus\r\nfar, no dedicated studies of the asymmetric frequency shifts of suppressed red giants have been\r\nconducted; one reason being that the asymmetric frequency shifts cannot be characterized\r\nwhen the dipole mixed mode amplitudes are severely reduced in many of the suppressed stars.\r\nSincefullysuppressedstarsdonothavedetectablemixed-modestoevaluate, partiallysuppressed\r\nstars, that is, red giant stars presenting with suppressed dipole mixed modes in select parts of\r\ntheir power spectra rather than across the entire spectra, will be the subject of this study as\r\nthe respective mode amplitudes are still visible at high frequencies.\r\nAs such, this study will search for asymmetric frequency shifts on the dipole mixed\r\nmodes of partially suppressed red giant stars; the aim here is to investigate if both\r\nmode suppression and magnetic shifting of dipole mixed modes occur simultaneously.\r\nThisstudywillbeconductedbycreatingapipelinetoestimatepriorsofasteroseismicparameters,\r\nuse the priors to model the power spectra with the stellar modeling code sloscillations_ISTA,\r\nand perform a Bayesian fit of the parameters with the simulated data on the star KIC 6975038,\r\na target with partially suppressed dipolar mode amplitudes identified in the literature, to fit its\r\nmagnetic parameters. I present a novel method to model the stellar power spectra of\r\npartially suppressed red giants by application of a sigmoid profile to the ℓ= 1 dipolar\r\nmode component of the spectra. With the results of this study I aim at constraining\r\nthe cause of this partial dipole mode amplitude suppression, allowing for more detailed\r\nstudies regarding their astrophysical nature. Furthermore, the long term hope for the method\r\nused in this study will be to expand the sample of partially suppressed red giants and fit their\r\nasteroseismic parameters accordingly."}],"date_created":"2025-06-20T13:27:08Z","degree_awarded":"MS","year":"2025","alternative_title":["ISTA Master's Thesis"],"date_published":"2025-10-08T00:00:00Z","oa":1,"publisher":"Institute of Science and Technology Austria","supervisor":[{"last_name":"Bugnet","full_name":"Bugnet, Lisa Annabelle","orcid":"0000-0003-0142-4000","id":"d9edb345-f866-11ec-9b37-d119b5234501","first_name":"Lisa Annabelle"}],"day":"08","_id":"19853","ddc":["520"],"keyword":["asteroseismology","stellar physics","red giant","magnetism","suppressed"],"title":"Exploring internal magnetism in partially suppressed red giant stars","OA_place":"publisher"},{"language":[{"iso":"eng"}],"has_accepted_license":"1","citation":{"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>","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>.","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>","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>.","short":"S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.","ieee":"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."},"file_date_updated":"2025-11-10T08:45:05Z","project":[{"grant_number":"638176","call_identifier":"H2020","_id":"2533E772-B435-11E9-9278-68D0E5697425","name":"Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales"},{"grant_number":"101045083","_id":"34bc2376-11ca-11ed-8bc3-9a3b3961a088","name":"Computational Discovery of Numerical Algorithms for Animation and Simulation of Natural Phenomena"}],"corr_author":"1","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"10","publication_identifier":{"isbn":["978-3-99078-070-1"],"issn":["2663-337X"]},"acknowledged_ssus":[{"_id":"CampIT"}],"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.","page":"141","file":[{"file_size":72487812,"checksum":"4eef80afcb67691cbb6549c4756fa534","relation":"source_file","date_updated":"2025-11-01T18:26:14Z","file_name":"Thesis_tex.zip","content_type":"application/zip","creator":"sishida","date_created":"2025-11-01T18:26:14Z","access_level":"open_access","file_id":"20583"},{"date_updated":"2025-11-10T08:45:05Z","file_name":"Thesis_Sadashige_Ishida_PDFA.pdf","checksum":"1e5a557900bf2dce01966b211b15d0fe","relation":"main_file","file_size":8945141,"file_id":"20623","date_created":"2025-11-10T08:45:05Z","success":1,"access_level":"open_access","content_type":"application/pdf","creator":"sishida"}],"related_material":{"record":[{"id":"12846","status":"public","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"12431"},{"relation":"part_of_dissertation","status":"public","id":"17361"},{"relation":"part_of_dissertation","status":"public","id":"20580"}]},"status":"public","oa_version":"Published Version","type":"dissertation","doi":"10.15479/AT-ISTA-20551","publication_status":"published","author":[{"orcid":"0000-0002-3121-3100","id":"6F7C4B96-A8E9-11E9-A7CA-09ECE5697425","first_name":"Sadashige","last_name":"Ishida","full_name":"Ishida, Sadashige"}],"article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"ChWo"}],"date_updated":"2026-04-07T12:02:23Z","ddc":["516"],"day":"31","publisher":"Institute of Science and Technology Austria","supervisor":[{"full_name":"Wojtan, Christopher J","last_name":"Wojtan","orcid":"0000-0001-6646-5546","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher J"},{"full_name":"Chern, Albert","last_name":"Chern","first_name":"Albert"}],"_id":"20551","title":"Symplectic-prequantum structures and dynamics on the codimension-2 shape space","ec_funded":1,"OA_place":"publisher","degree_awarded":"PhD","date_created":"2025-10-27T10:28:52Z","abstract":[{"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. ","lang":"eng"}],"oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"alternative_title":["ISTA Thesis"],"year":"2025","date_published":"2025-10-31T00:00:00Z"},{"year":"2025","department":[{"_id":"GradSch"},{"_id":"ChWo"}],"date_published":"2025-07-15T00:00:00Z","date_updated":"2026-04-07T12:02:23Z","oa":1,"article_processing_charge":"No","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"author":[{"full_name":"Chern, Albert","last_name":"Chern","first_name":"Albert"},{"id":"6F7C4B96-A8E9-11E9-A7CA-09ECE5697425","orcid":"0000-0002-3121-3100","first_name":"Sadashige","full_name":"Ishida, Sadashige","last_name":"Ishida"}],"type":"preprint","oa_version":"Preprint","abstract":[{"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.","lang":"eng"}],"date_created":"2025-10-30T18:36:56Z","publication_status":"draft","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2507.11727","open_access":"1"}],"doi":"10.48550/ARXIV.2507.11727","status":"public","publication":"arXiv","related_material":{"record":[{"id":"20551","status":"public","relation":"dissertation_contains"}]},"external_id":{"arxiv":["2507.11727"]},"title":"Implicit representations of codimension-2 submanifolds and their prequantum structure","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","month":"07","OA_place":"repository","corr_author":"1","arxiv":1,"day":"15","_id":"20580","language":[{"iso":"eng"}],"citation":{"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>.","short":"A. Chern, S. Ishida, ArXiv (n.d.).","ieee":"A. Chern and S. Ishida, “Implicit representations of codimension-2 submanifolds and their prequantum structure,” <i>arXiv</i>. .","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>.","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>.","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>","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>"}},{"degree_awarded":"PhD","date_created":"2025-09-15T17:04:48Z","date_published":"2025-09-15T00:00:00Z","year":"2025","alternative_title":["ISTA Thesis"],"ddc":["570","530"],"_id":"20357","publisher":"Institute of Science and Technology Austria","supervisor":[{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6699-1455","first_name":"Gašper","last_name":"Tkačik","full_name":"Tkačik, Gašper"}],"day":"15","OA_place":"publisher","title":"Effect propagation in biological networks","keyword":["gene regulation","networks","omnigenic model","pancreas","collective behaviour"],"status":"public","publication_status":"published","doi":"10.15479/AT-ISTA-20357","type":"dissertation","oa_version":"Published Version","author":[{"id":"D2761128-D73D-11E9-A1BF-BA0DE6697425","first_name":"Natalia","full_name":"Ruzickova, Natalia","last_name":"Ruzickova"}],"article_processing_charge":"No","date_updated":"2026-04-07T12:02:39Z","department":[{"_id":"GradSch"},{"_id":"GaTk"}],"citation":{"ieee":"N. Ruzickova, “Effect propagation in biological networks,” Institute of Science and Technology Austria, 2025.","short":"N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.","ista":"Ruzickova N. 2025. Effect propagation in biological networks. Institute of Science and Technology Austria.","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>.","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>","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>."},"has_accepted_license":"1","language":[{"iso":"eng"}],"corr_author":"1","file_date_updated":"2025-11-27T10:00:25Z","project":[{"_id":"7bec9174-9f16-11ee-852c-ded9fe5f810e","name":"Collective behaviour of cells in pancreatic Islets of Langerhans"}],"month":"09","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","file":[{"file_id":"20360","access_level":"closed","date_created":"2025-09-16T12:56:06Z","creator":"nruzicko","content_type":"application/pdf","date_updated":"2025-11-27T10:00:25Z","file_name":"2025_Ruzickova_Natalia_Thesis.pdf","embargo":"2026-09-14","title":"Effect propagation in biological networks","relation":"main_file","checksum":"991e81bc16a76b4e0c352567728fd2c5","embargo_to":"open_access","file_size":43518367},{"checksum":"c4ab257adad116083d8a97fac69b2dde","relation":"source_file","file_size":53464789,"file_name":"2025_Ruzickova_Natalia_Thesis_source.zip","date_updated":"2025-09-16T12:59:23Z","content_type":"application/zip","creator":"nruzicko","file_id":"20361","date_created":"2025-09-16T12:59:23Z","access_level":"closed"}],"related_material":{"record":[{"id":"18525","relation":"part_of_dissertation","status":"public"}]},"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","page":"160","acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"E-Lib"}],"publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-066-4"]}},{"has_accepted_license":"1","citation":{"short":"N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025.","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.","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>.","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>"},"language":[{"iso":"eng"}],"file_date_updated":"2025-09-10T08:19:51Z","project":[{"call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211"},{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093"}],"corr_author":"1","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"08","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","page":"149","related_material":{"record":[{"id":"11775","relation":"part_of_dissertation","status":"public"},{"status":"deleted","relation":"part_of_dissertation","id":"13140"},{"relation":"part_of_dissertation","status":"public","id":"19741"},{"status":"public","relation":"part_of_dissertation","id":"9356"},{"id":"19643","status":"deleted","relation":"part_of_dissertation"},{"id":"17634","relation":"part_of_dissertation","status":"public"},{"id":"20342","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"13221"}]},"file":[{"creator":"esarac","content_type":"application/x-zip-compressed","access_level":"closed","date_created":"2025-08-21T09:40:28Z","file_id":"20200","file_size":8884801,"relation":"source_file","checksum":"0f3015f1db36576a23d8d669afb60b41","file_name":"2025_Sarac_NaciEge_Thesis.zip","date_updated":"2025-09-10T08:19:51Z"},{"file_name":"2025_Sarac_NaciEge_Thesis.pdf","date_updated":"2025-08-21T09:40:34Z","relation":"main_file","checksum":"332ed2fe61f580641664ec3f05d30f14","file_size":2955584,"file_id":"20201","access_level":"open_access","success":1,"date_created":"2025-08-21T09:40:34Z","content_type":"application/pdf","creator":"esarac"}],"publication_identifier":{"issn":["2663-337X"]},"status":"public","doi":"10.15479/AT-ISTA-20147","publication_status":"published","oa_version":"Published Version","type":"dissertation","author":[{"first_name":"Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","last_name":"Sarac","full_name":"Sarac, Naci E"}],"article_processing_charge":"No","date_updated":"2026-04-07T12:02:57Z","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"ddc":["000"],"_id":"20147","day":"07","supervisor":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger"}],"publisher":"Institute of Science and Technology Austria","OA_place":"publisher","title":"A monitoring-oriented theory and classification of quantitative specifications","ec_funded":1,"degree_awarded":"PhD","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"}],"date_created":"2025-08-07T15:57:57Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"oa":1,"date_published":"2025-08-07T00:00:00Z","alternative_title":["ISTA Thesis"],"year":"2025"},{"date_published":"2025-04-08T00:00:00Z","issue":"2","year":"2025","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"oa":1,"intvolume":"        21","date_created":"2025-09-11T12:17:52Z","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"}],"quality_controlled":"1","PlanS_conform":"1","publication":"Logical Methods in Computer Science","OA_place":"publisher","volume":21,"article_type":"original","title":" Safety and liveness of quantitative properties and automata","ec_funded":1,"_id":"20342","day":"08","publisher":"EPI Sciences","arxiv":1,"ddc":["000"],"date_updated":"2026-04-07T12:02:57Z","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"author":[{"id":"31E297B6-F248-11E8-B48F-1D18A9856A87","first_name":"Udi","last_name":"Boker","full_name":"Boker, Udi"},{"orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"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","full_name":"Sarac, Naci E","last_name":"Sarac"}],"article_processing_charge":"Yes","doi":"10.46298/lmcs-21(2:2)2025","publication_status":"published","oa_version":"Published Version","type":"journal_article","isi":1,"status":"public","OA_type":"gold","external_id":{"arxiv":["2307.06016"],"isi":["001468887900001"]},"file":[{"file_size":709584,"checksum":"0b4d477bd981379724c35a4de2c176e5","relation":"main_file","date_updated":"2025-09-11T12:17:12Z","file_name":"2307.06016.pdf","creator":"esarac","content_type":"application/pdf","date_created":"2025-09-11T12:17:12Z","success":1,"access_level":"open_access","file_id":"20343"}],"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.","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"13221"},{"id":"20147","relation":"dissertation_contains","status":"public"}]},"publication_identifier":{"eissn":["1860-5974"]},"month":"04","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","DOAJ_listed":"1","scopus_import":"1","file_date_updated":"2025-09-11T12:17:12Z","project":[{"name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093"}],"corr_author":"1","has_accepted_license":"1","article_number":"13149","citation":{"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>","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>.","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>","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.","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.","short":"U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).","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>."},"language":[{"iso":"eng"}]},{"status":"public","doi":"10.15479/AT-ISTA-20741","publication_status":"published","oa_version":"Published Version","type":"dissertation","author":[{"full_name":"Kojic, Marko","last_name":"Kojic","first_name":"Marko","orcid":"0000-0001-7244-8128","id":"73e7ecd4-dc85-11ea-9058-88a16394b160"}],"article_processing_charge":"No","date_updated":"2026-04-07T12:27:58Z","department":[{"_id":"GradSch"},{"_id":"MaLo"}],"has_accepted_license":"1","citation":{"ieee":"M. Kojic, “Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria,” Institute of Science and Technology Austria, 2025.","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.","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>.","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>.","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>"},"language":[{"iso":"eng"}],"file_date_updated":"2025-12-10T13:09:58Z","corr_author":"1","month":"12","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","acknowledged_ssus":[{"_id":"Bio"}],"file":[{"checksum":"a3643d07e93134b2490a566b02a4517d","relation":"source_file","file_size":142876975,"file_name":"2025_marko_kojic_thesis.docx","date_updated":"2025-12-10T13:09:58Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"mkojic","file_id":"20774","date_created":"2025-12-10T13:09:58Z","access_level":"closed"},{"date_updated":"2025-12-10T13:09:38Z","file_name":"2025_marko_kojic_thesis.pdf","checksum":"0a096f0af6ccc3a8329d5bb8797ad533","relation":"main_file","file_size":8597045,"file_id":"20775","date_created":"2025-12-10T13:09:38Z","success":1,"access_level":"open_access","content_type":"application/pdf","creator":"mkojic"}],"related_material":{"record":[{"id":"15118","status":"public","relation":"part_of_dissertation"}]},"publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-073-2"]},"degree_awarded":"PhD","date_created":"2025-12-09T13:08:11Z","abstract":[{"lang":"eng","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. "}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"oa":1,"date_published":"2025-12-09T00:00:00Z","alternative_title":["ISTA Thesis"],"year":"2025","ddc":["572"],"_id":"20741","day":"09","publisher":"Institute of Science and Technology Austria","supervisor":[{"full_name":"Loose, Martin","last_name":"Loose","first_name":"Martin","orcid":"0000-0001-7309-9724","id":"462D4284-F248-11E8-B48F-1D18A9856A87"}],"OA_place":"publisher","title":"Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria"},{"type":"dissertation","oa_version":"Published Version","publication_status":"published","doi":"10.15479/AT-ISTA-19903","status":"public","department":[{"_id":"GradSch"},{"_id":"KrCh"}],"date_updated":"2026-04-07T12:30:57Z","author":[{"full_name":"Hübner, Valentin","last_name":"Hübner","orcid":"0009-0001-5009-4987","id":"2c8aa207-dc7d-11ea-9b2f-f22972ecd910","first_name":"Valentin"}],"article_processing_charge":"No","corr_author":"1","license":"https://creativecommons.org/licenses/by-nc/4.0/","file_date_updated":"2025-07-09T13:37:00Z","project":[{"grant_number":"863818","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"grant_number":"754411","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships"}],"language":[{"iso":"eng"}],"citation":{"ieee":"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.","short":"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>.","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>","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>."},"has_accepted_license":"1","publication_identifier":{"issn":["2663-337X"]},"file":[{"creator":"vhuebner","content_type":"application/x-xz","date_created":"2025-06-25T13:38:07Z","access_level":"closed","file_id":"19905","file_size":6192760,"checksum":"794c02f8c82ca59ba6dda3bd7eed871a","relation":"source_file","date_updated":"2025-06-25T13:38:07Z","file_name":"Thesis Valentin Hübner source.tar.xz"},{"relation":"main_file","checksum":"ac56063d81c81e40322b6ff5a8c4912e","file_size":4837864,"date_updated":"2025-07-09T13:37:00Z","file_name":"Thesis Valentin Hübner.pdf","creator":"vhuebner","content_type":"application/pdf","file_id":"19976","access_level":"open_access","date_created":"2025-07-09T13:37:00Z"}],"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”).","related_material":{"record":[{"id":"19843","status":"public","relation":"part_of_dissertation"},{"id":"15083","status":"public","relation":"part_of_dissertation"},{"id":"19074","status":"public","relation":"part_of_dissertation"}]},"page":"157","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"06","date_created":"2025-06-25T13:50:10Z","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"}],"degree_awarded":"PhD","year":"2025","alternative_title":["ISTA Thesis"],"date_published":"2025-06-25T00:00:00Z","oa":1,"tmp":{"short":"CC BY-NC (4.0)","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png"},"publisher":"Institute of Science and Technology Austria","supervisor":[{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"}],"day":"25","_id":"19903","ddc":["519"],"ec_funded":1,"title":"Reciprocity and inequality in social dilemmas","OA_place":"publisher"},{"corr_author":"1","project":[{"grant_number":"P37169","name":"Singlet oxygen in non-aqueous oxygen redox chemistry","_id":"8df062be-16d5-11f0-9cad-f559b6612c7e"}],"file_date_updated":"2025-11-13T16:47:47Z","language":[{"iso":"eng"}],"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>","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>.","ieee":"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.","short":"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>."},"has_accepted_license":"1","publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-071-8"]},"related_material":{"record":[{"id":"12065","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"13044"},{"relation":"part_of_dissertation","status":"deleted","id":"20437"},{"id":"14687","relation":"part_of_dissertation","status":"public"}]},"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).","file":[{"date_updated":"2025-11-13T16:47:47Z","file_name":"2025_Mondal_Soumyadip_Thesis.docx","file_size":32589295,"checksum":"b5eed6a3dccb83cd2a8a22e11fd7d867","relation":"source_file","date_created":"2025-11-13T16:47:47Z","access_level":"closed","file_id":"20644","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"smondal"},{"creator":"smondal","content_type":"application/pdf","file_id":"20645","date_created":"2025-11-13T16:47:46Z","access_level":"closed","embargo_to":"open_access","checksum":"89b1529e0a7b524f46624d73ecadf8cb","relation":"main_file","embargo":"2026-11-13","file_size":5007370,"date_updated":"2025-11-13T16:47:46Z","file_name":"2025_Mondal_Soumyadip_Thesis.pdf"}],"page":"71","acknowledged_ssus":[{"_id":"Bio"},{"_id":"SSU"},{"_id":"LifeSc"},{"_id":"M-Shop"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"09","type":"dissertation","oa_version":"Published Version","publication_status":"published","doi":"10.15479/AT-ISTA-20607","status":"public","department":[{"_id":"GradSch"},{"_id":"StFr"}],"date_updated":"2026-04-07T12:27:24Z","author":[{"first_name":"Soumyadip","id":"d25d21ef-dc8d-11ea-abe3-ec4576307f48","full_name":"Mondal, Soumyadip","last_name":"Mondal"}],"article_processing_charge":"No","publisher":"Institute of Science and Technology Austria","supervisor":[{"last_name":"Freunberger","full_name":"Freunberger, Stefan Alexander","first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319"}],"day":"19","_id":"20607","ddc":["541","543","542"],"title":"Oxygen and sulfur redox : Conversion kinetics and phase equilibria","OA_place":"publisher","date_created":"2025-11-07T12:40:54Z","degree_awarded":"PhD","year":"2025","alternative_title":["ISTA Thesis"],"date_published":"2025-09-19T00:00:00Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"}},{"date_updated":"2026-04-07T12:28:15Z","department":[{"_id":"GradSch"},{"_id":"BeVi"}],"article_processing_charge":"No","author":[{"last_name":"Bett","full_name":"Bett, Vincent K","id":"57854184-AAE0-11E9-8D04-98D6E5697425","first_name":"Vincent K"}],"publication_status":"published","doi":"10.15479/AT-ISTA-20449","type":"dissertation","oa_version":"Published Version","status":"public","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"19735"},{"id":"15009","relation":"part_of_dissertation","status":"public"}]},"page":"114","acknowledgement":"This work was supported by the Austrian Science Fund (FWF) through grants PAT8748323\r\nand SFB F88-10 awarded to Professor Beatriz Vicoso.","file":[{"file_id":"20507","date_created":"2025-10-20T13:32:29Z","access_level":"closed","content_type":"application/pdf","creator":"vbett","date_updated":"2025-10-20T13:32:29Z","file_name":"2025_Bett_Vincent_Thesis.pdf","embargo_to":"open_access","checksum":"26905c22bca417198a733d792d8ce422","embargo":"2026-06-01","relation":"main_file","file_size":18507283},{"file_size":17163921,"checksum":"6a09a8d126d3628bfd8a35202735f267","relation":"source_file","date_updated":"2025-11-06T12:42:09Z","file_name":"2025_Bett_Vincent_Thesis.docx","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"vbett","date_created":"2025-10-20T13:35:34Z","access_level":"closed","file_id":"20508"}],"acknowledged_ssus":[{"_id":"ScienComp"}],"publication_identifier":{"issn":["2663-337X"]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"10","corr_author":"1","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"}],"file_date_updated":"2025-11-06T12:42:09Z","citation":{"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>","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>.","ista":"Bett VK. 2025. Evolution and regulation of the Z chromosome. Institute of Science and Technology Austria.","ieee":"V. K. Bett, “Evolution and regulation of the Z chromosome,” Institute of Science and Technology Austria, 2025.","short":"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>."},"has_accepted_license":"1","language":[{"iso":"eng"}],"date_published":"2025-10-10T00:00:00Z","year":"2025","alternative_title":["ISTA Thesis"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"date_created":"2025-10-11T08:18:51Z","degree_awarded":"PhD","OA_place":"publisher","title":"Evolution and regulation of the Z chromosome","_id":"20449","publisher":"Institute of Science and Technology Austria","supervisor":[{"last_name":"Vicoso","full_name":"Vicoso, Beatriz","orcid":"0000-0002-4579-8306","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","first_name":"Beatriz"}],"day":"10","ddc":["576"]},{"ddc":["570","539","571"],"_id":"20777","publisher":"Institute of Science and Technology Austria","supervisor":[{"full_name":"Csicsvari, Jozsef L","last_name":"Csicsvari","first_name":"Jozsef L","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5193-4036"}],"day":"11","OA_place":"publisher","title":"Scale-free activity as a basis for spatial learning and memory in the brain","degree_awarded":"PhD","date_created":"2025-12-10T19:37:41Z","date_published":"2025-12-11T00:00:00Z","year":"2025","alternative_title":["ISTA Thesis"],"citation":{"ieee":"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.","short":"P. Zivadinovic, Scale-Free Activity as a Basis for Spatial Learning and Memory in the Brain, Institute of Science and Technology Austria, 2025.","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>.","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>.","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>"},"has_accepted_license":"1","language":[{"iso":"eng"}],"corr_author":"1","file_date_updated":"2025-12-11T11:15:17Z","project":[{"_id":"eb943429-77a9-11ec-83b8-9f471cdf5c67","name":"Functional Advantages of Critical Brain Dynamics","grant_number":"M03318"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"12","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","page":"104","file":[{"file_name":"2025_Zivadinovic_Predrag_PhD_thesis.pdf","date_updated":"2025-12-11T11:15:17Z","file_size":8105379,"relation":"main_file","embargo":"2026-06-11","checksum":"aae9d1ed53f7b67f75e289c26a02b72f","embargo_to":"open_access","access_level":"closed","date_created":"2025-12-10T19:28:20Z","file_id":"20778","content_type":"application/pdf","creator":"pzivadin"},{"file_size":8512240,"checksum":"8a08a3804ce7d9d625fdf1631113da8c","relation":"source_file","date_updated":"2025-12-10T19:28:10Z","file_name":"2025_Zivadinovic_Predrag_PhD_thesis_source.zip","content_type":"application/zip","creator":"pzivadin","date_created":"2025-12-10T19:28:10Z","access_level":"closed","file_id":"20779"}],"publication_identifier":{"issn":["2663-337X"]},"status":"public","publication_status":"published","doi":"10.15479/AT-ISTA-20777","type":"dissertation","oa_version":"Published Version","author":[{"full_name":"Zivadinovic, Predrag","last_name":"Zivadinovic","id":"68AA0E5A-AFDA-11E9-9994-141DE6697425","first_name":"Predrag"}],"article_processing_charge":"No","date_updated":"2026-04-07T12:30:06Z","department":[{"_id":"GradSch"},{"_id":"JoCs"}]},{"title":"Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games","ec_funded":1,"OA_place":"publisher","day":"27","supervisor":[{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"}],"publisher":"Institute of Science and Technology Austria","_id":"20234","ddc":["519"],"alternative_title":["ISTA Thesis"],"year":"2025","date_published":"2025-08-27T00:00:00Z","oa":1,"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"}],"date_created":"2025-08-27T14:00:13Z","degree_awarded":"PhD","publication_identifier":{"issn":["2663-337X"]},"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","related_material":{"record":[{"id":"9311","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"17037"},{"id":"18266","status":"public","relation":"part_of_dissertation"},{"id":"19508","relation":"part_of_dissertation","status":"public"}]},"page":"125","file":[{"file_id":"20240","access_level":"open_access","success":1,"date_created":"2025-08-28T14:47:07Z","creator":"rsaonaur","content_type":"application/pdf","file_name":"2025_Saona_Raimundo_Thesis.pdf","date_updated":"2025-08-28T14:47:07Z","relation":"main_file","checksum":"394a651f7de7085e509ef856ffe7bd97","file_size":1503623},{"date_updated":"2025-08-28T14:47:12Z","file_name":"2025_Saona_Raimundo_Thesis.zip","checksum":"09fb2633e66aac80433d373f4180c5b4","relation":"source_file","file_size":622747,"file_id":"20241","date_created":"2025-08-28T14:47:12Z","access_level":"closed","creator":"rsaonaur","content_type":"application/zip"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"08","project":[{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Game Theory","grant_number":"S11407"},{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"}],"file_date_updated":"2025-08-28T14:47:12Z","corr_author":"1","language":[{"iso":"eng"}],"has_accepted_license":"1","citation":{"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>.","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>","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>","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>.","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.","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.","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."},"department":[{"_id":"GradSch"},{"_id":"KrCh"}],"date_updated":"2026-04-07T12:31:22Z","article_processing_charge":"No","author":[{"first_name":"Raimundo J","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","orcid":"0000-0001-5103-038X","last_name":"Saona Urmeneta","full_name":"Saona Urmeneta, Raimundo J"}],"oa_version":"Published Version","type":"dissertation","doi":"10.15479/AT-ISTA-20234","publication_status":"published","status":"public"},{"citation":{"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.","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.","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>.","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>","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>."},"language":[{"iso":"eng"}],"scopus_import":"1","project":[{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"}],"month":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"isi":["001184648000001"]},"page":"482-505","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].","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"20234"}]},"publication_identifier":{"eissn":["1526-5471"],"issn":["0364-765X"]},"isi":1,"status":"public","doi":"10.1287/moor.2023.0297","publication_status":"published","oa_version":"None","type":"journal_article","article_processing_charge":"No","author":[{"first_name":"Luc","last_name":"Attia","full_name":"Attia, Luc"},{"last_name":"Oliu-Barton","full_name":"Oliu-Barton, Miquel","first_name":"Miquel"},{"full_name":"Saona Urmeneta, Raimundo J","last_name":"Saona Urmeneta","first_name":"Raimundo J","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","orcid":"0000-0001-5103-038X"}],"date_updated":"2026-04-07T12:31:21Z","department":[{"_id":"GradSch"},{"_id":"KrCh"}],"_id":"17037","day":"01","publisher":"Institute for Operations Research and the Management Sciences","volume":50,"title":"Marginal values of a stochastic game","article_type":"original","ec_funded":1,"publication":"Mathematics of Operations Research","date_created":"2024-05-22T11:41:14Z","abstract":[{"lang":"eng","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."}],"intvolume":"        50","quality_controlled":"1","date_published":"2025-02-01T00:00:00Z","issue":"1","year":"2025"}]