[{"_id":"542","pubrep_id":"1058","day":"01","has_accepted_license":"1","publist_id":"7274","quality_controlled":"1","language":[{"iso":"eng"}],"fulldoi":"https://doi.org/10.1534/genetics.117.300513","file":[{"access_level":"open_access","file_name":"IST-2018-1058-v1+1_365.full__1_.pdf","creator":"system","relation":"main_file","date_updated":"2020-07-14T12:46:50Z","file_id":"5132","file_size":1311661,"date_created":"2018-12-12T10:15:14Z","content_type":"application/pdf","checksum":"2123845e7031a0cf043905be160f9e69"}],"external_id":{"isi":["000419356300024"]},"citation":{"ista":"Kelemen RK, Vicoso B. 2018. Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver. Genetics. 208(1), 365–375.","short":"R.K. Kelemen, B. Vicoso, Genetics 208 (2018) 365–375.","ieee":"R. K. Kelemen and B. Vicoso, “Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver,” <i>Genetics</i>, vol. 208, no. 1. Genetics Society of America, pp. 365–375, 2018.","apa":"Kelemen, R. K., &#38; Vicoso, B. (2018). Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver. <i>Genetics</i>. Genetics Society of America. <a href=\"https://doi.org/10.1534/genetics.117.300513\">https://doi.org/10.1534/genetics.117.300513</a>","chicago":"Kelemen, Réka K, and Beatriz Vicoso. “Complex History and Differentiation Patterns of the T-Haplotype, a Mouse Meiotic Driver.” <i>Genetics</i>. Genetics Society of America, 2018. <a href=\"https://doi.org/10.1534/genetics.117.300513\">https://doi.org/10.1534/genetics.117.300513</a>.","ama":"Kelemen RK, Vicoso B. Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver. <i>Genetics</i>. 2018;208(1):365-375. doi:<a href=\"https://doi.org/10.1534/genetics.117.300513\">10.1534/genetics.117.300513</a>","mla":"Kelemen, Réka K., and Beatriz Vicoso. “Complex History and Differentiation Patterns of the T-Haplotype, a Mouse Meiotic Driver.” <i>Genetics</i>, vol. 208, no. 1, Genetics Society of America, 2018, pp. 365–75, doi:<a href=\"https://doi.org/10.1534/genetics.117.300513\">10.1534/genetics.117.300513</a>."},"date_created":"2018-12-11T11:47:04Z","corr_author":"1","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":208,"page":"365 - 375","department":[{"_id":"BeVi"}],"article_processing_charge":"No","type":"journal_article","related_material":{"record":[{"status":"public","id":"5571","relation":"popular_science"},{"id":"5572","relation":"popular_science","status":"public"},{"status":"public","relation":"dissertation_contains","id":"17119"}]},"ec_funded":1,"publication":"Genetics","year":"2018","isi":1,"abstract":[{"lang":"eng","text":"The t-haplotype, a mouse meiotic driver found on chromosome 17, has been a model for autosomal segregation distortion for close to a century, but several questions remain regarding its biology and evolutionary history. A recently published set of population genomics resources for wild mice includes several individuals heterozygous for the t-haplotype, which we use to characterize this selfish element at the genomic and transcriptomic level. Our results show that large sections of the t-haplotype have been replaced by standard homologous sequences, possibly due to occasional events of recombination, and that this complicates the inference of its history. As expected for a long genomic segment of very low recombination, the t-haplotype carries an excess of fixed nonsynonymous mutations compared to the standard chromosome. This excess is stronger for regions that have not undergone recent recombination, suggesting that occasional gene flow between the t and the standard chromosome may provide a mechanism to regenerate coding sequences that have accumulated deleterious mutations. Finally, we find that t-complex genes with altered expression largely overlap with deleted or amplified regions, and that carrying a t-haplotype alters the testis expression of genes outside of the t-complex, providing new leads into the pathways involved in the biology of this segregation distorter."}],"oa_version":"Published Version","article_type":"original","ddc":["576"],"file_date_updated":"2020-07-14T12:46:50Z","date_updated":"2026-09-16T22:30:30Z","oa":1,"status":"public","title":"Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver","month":"01","scopus_import":"1","issue":"1","author":[{"orcid":"0000-0002-8489-9281","id":"48D3F8DE-F248-11E8-B48F-1D18A9856A87","first_name":"Réka K","full_name":"Kelemen, Réka K","last_name":"Kelemen"},{"last_name":"Vicoso","full_name":"Vicoso, Beatriz","first_name":"Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4579-8306"}],"publication_status":"published","intvolume":"       208","date_published":"2018-01-01T00:00:00Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","project":[{"grant_number":"715257","call_identifier":"H2020","_id":"250BDE62-B435-11E9-9278-68D0E5697425","name":"Prevalence and Influence of Sexual Antagonism on Genome Evolution"}],"publisher":"Genetics Society of America","doi":"10.1534/genetics.117.300513"},{"acknowledgement":"We thank James Matthew Watson, Monika Borowska, and Peggy Stolt-Bergner at ProTech Facility of the Vienna Biocenter Core Facilities for the CRISPR/CAS9 construct; Anna Müller for assistance with molecular cloning; Sebastian Bednarek, Liwen Jiang, and Daniël Van Damme for sharing published material; Matyáš Fendrych, Daniël Van Damme, and Lindy Abas for valuable discussions; and Martine De Cock for help with correcting the manuscript. This work was supported by the European Research Council under the European Union Seventh Framework Programme (FP7/2007-2013)/ERC Grant 282300 and by the Ministry of Education of the Czech Republic/MŠMT project NPUI-LO1417.","ec_funded":1,"department":[{"_id":"JiFr"}],"type":"journal_article","article_processing_charge":"No","related_material":{"record":[{"id":"6269","relation":"dissertation_contains","status":"public"}]},"volume":30,"page":"700 - 716","citation":{"chicago":"Adamowski, Maciek, Madhumitha Narasimhan, Urszula Kania, Matous Glanc, Geert De Jaeger, and Jiří Friml. “A Functional Study of AUXILIN LIKE1 and 2 Two Putative Clathrin Uncoating Factors in Arabidopsis.” <i>The Plant Cell</i>. American Society of Plant Biologists, 2018. <a href=\"https://doi.org/10.1105/tpc.17.00785\">https://doi.org/10.1105/tpc.17.00785</a>.","ama":"Adamowski M, Narasimhan M, Kania U, Glanc M, De Jaeger G, Friml J. A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis. <i>The Plant Cell</i>. 2018;30(3):700-716. doi:<a href=\"https://doi.org/10.1105/tpc.17.00785\">10.1105/tpc.17.00785</a>","apa":"Adamowski, M., Narasimhan, M., Kania, U., Glanc, M., De Jaeger, G., &#38; Friml, J. (2018). A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis. <i>The Plant Cell</i>. American Society of Plant Biologists. <a href=\"https://doi.org/10.1105/tpc.17.00785\">https://doi.org/10.1105/tpc.17.00785</a>","mla":"Adamowski, Maciek, et al. “A Functional Study of AUXILIN LIKE1 and 2 Two Putative Clathrin Uncoating Factors in Arabidopsis.” <i>The Plant Cell</i>, vol. 30, no. 3, American Society of Plant Biologists, 2018, pp. 700–16, doi:<a href=\"https://doi.org/10.1105/tpc.17.00785\">10.1105/tpc.17.00785</a>.","ista":"Adamowski M, Narasimhan M, Kania U, Glanc M, De Jaeger G, Friml J. 2018. A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis. The Plant Cell. 30(3), 700–716.","short":"M. Adamowski, M. Narasimhan, U. Kania, M. Glanc, G. De Jaeger, J. Friml, The Plant Cell 30 (2018) 700–716.","ieee":"M. Adamowski, M. Narasimhan, U. Kania, M. Glanc, G. De Jaeger, and J. Friml, “A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis,” <i>The Plant Cell</i>, vol. 30, no. 3. American Society of Plant Biologists, pp. 700–716, 2018."},"date_created":"2018-12-11T11:46:20Z","corr_author":"1","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"date_updated":"2022-05-23T09:12:38Z","creator":"dernst","relation":"main_file","file_name":"2018_PlantCell_Adamowski.pdf","access_level":"open_access","checksum":"4e165e653b67d3f0684697f21aace5a1","success":1,"content_type":"application/pdf","date_created":"2022-05-23T09:12:38Z","file_size":4407538,"file_id":"11406"}],"external_id":{"isi":["000429441400018"],"pmid":["29511054"]},"pmid":1,"fulldoi":"https://doi.org/10.1105/tpc.17.00785","quality_controlled":"1","publist_id":"7417","language":[{"iso":"eng"}],"publication_identifier":{"issn":["1040-4651"],"eissn":["1532-298X"]},"_id":"412","has_accepted_license":"1","day":"09","doi":"10.1105/tpc.17.00785","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","project":[{"name":"Polarity and subcellular dynamics in plants","grant_number":"282300","call_identifier":"FP7","_id":"25716A02-B435-11E9-9278-68D0E5697425"}],"publisher":"American Society of Plant Biologists","intvolume":"        30","publication_status":"published","date_published":"2018-04-09T00:00:00Z","date_updated":"2026-09-16T22:30:40Z","oa":1,"status":"public","month":"04","scopus_import":"1","title":"A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis","issue":"3","author":[{"full_name":"Adamowski, Maciek","last_name":"Adamowski","orcid":"0000-0001-6463-5257","first_name":"Maciek","id":"45F536D2-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Narasimhan","full_name":"Narasimhan, Madhumitha","orcid":"0000-0002-8600-0671","id":"44BF24D0-F248-11E8-B48F-1D18A9856A87","first_name":"Madhumitha"},{"first_name":"Urszula","id":"4AE5C486-F248-11E8-B48F-1D18A9856A87","last_name":"Kania","full_name":"Kania, Urszula"},{"full_name":"Glanc, Matous","last_name":"Glanc","orcid":"0000-0003-0619-7783","id":"1AE1EA24-02D0-11E9-9BAA-DAF4881429F2","first_name":"Matous"},{"first_name":"Geert","last_name":"De Jaeger","full_name":"De Jaeger, Geert"},{"last_name":"Friml","full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jirí","orcid":"0000-0002-8302-7596"}],"file_date_updated":"2022-05-23T09:12:38Z","abstract":[{"text":"Clathrin-mediated endocytosis (CME) is a cellular trafficking process in which cargoes and lipids are internalized from the plasma membrane into vesicles coated with clathrin and adaptor proteins. CME is essential for many developmental and physiological processes in plants, but its underlying mechanism is not well characterised compared to that in yeast and animal systems. Here, we searched for new factors involved in CME in Arabidopsis thaliana by performing Tandem Affinity Purification of proteins that interact with clathrin light chain, a principal component of the clathrin coat. Among the confirmed interactors, we found two putative homologues of the clathrin-coat uncoating factor auxilin previously described in non-plant systems. Overexpression of AUXILIN-LIKE1 and AUXILIN-LIKE2 in A. thaliana caused an arrest of seedling growth and development. This was concomitant with inhibited endocytosis due to blocking of clathrin recruitment after the initial step of adaptor protein binding to the plasma membrane. By contrast, auxilin-like(1/2) loss-of-function lines did not present endocytosis-related developmental or cellular phenotypes under normal growth conditions. This work contributes to the on-going characterization of the endocytotic machinery in plants and provides a robust tool for conditionally and specifically interfering with CME in A. thaliana.","lang":"eng"}],"oa_version":"Published Version","article_type":"original","ddc":["580"],"publication":"The Plant Cell","year":"2018","isi":1},{"alternative_title":["ISTA Thesis"],"doi":"10.15479/AT:ISTA:th_1042","publisher":"Institute of Science and Technology Austria","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","date_published":"2018-08-27T00:00:00Z","publication_status":"published","title":"Reactivation content is important for consolidation of spatial memory","month":"08","author":[{"orcid":"0000-0002-1807-1929","first_name":"Igor","id":"4B60654C-F248-11E8-B48F-1D18A9856A87","full_name":"Gridchyn, Igor","last_name":"Gridchyn"}],"date_updated":"2026-04-08T14:13:15Z","oa":1,"status":"public","file_date_updated":"2021-02-11T23:30:22Z","ddc":["573"],"abstract":[{"lang":"eng","text":"The hippocampus is a key brain region for spatial memory and navigation and is needed at all stages of memory, including encoding, consolidation, and recall. Hippocampal place cells selectively discharge at specific locations of the environment to form a cognitive map of the space. During the rest period and sleep following spatial navigation and/or learning, the waking activity of the place cells is reactivated within high synchrony events. This reactivation is thought to be important for memory consolidation and stabilization of the spatial representations. The aim of my thesis was to directly test whether the reactivation content encoded in firing patterns of place cells is important for consolidation of spatial memories. In particular, I aimed to test whether, in cases when multiple spatial memory traces are acquired during learning, the specific disruption of the reactivation of a subset of these memories leads to the selective disruption of the corresponding memory traces or through memory interference the other learned memories are disrupted as well. In this thesis, using a modified cheeseboard paradigm and a closed-loop recording setup with feedback optogenetic stimulation, I examined how the disruption of the reactivation of specific spiking patterns affects consolidation of the corresponding memory traces. To obtain multiple distinctive memories, animals had to perform a spatial task in two distinct cheeseboard environments and the reactivation of spiking patterns associated with one of the environments (target) was disrupted after learning during four hours rest period using a real-time decoding method. This real-time decoding method was capable of selectively affecting the firing rates and cofiring correlations of the target environment-encoding cells. The selective disruption led to behavioural impairment in the memory tests after the rest periods in the target environment but not in the other undisrupted control environment. In addition, the map of the target environment was less stable in the impaired memory tests compared to the learning session before than the map of the control environment. However, when the animal relearned the task, the same map recurred in the target environment that was present during learning before the disruption. Altogether my work demonstrated that the reactivation content is important: assembly-related disruption of reactivation can lead to a selective memory impairment and deficiency in map stability. These findings indeed suggest that reactivated assembly patterns reflect processes associated with the consolidation of memory traces. "}],"oa_version":"Published Version","degree_awarded":"PhD","year":"2018","department":[{"_id":"JoCs"}],"article_processing_charge":"No","type":"dissertation","page":"104","OA_place":"publisher","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"corr_author":"1","citation":{"apa":"Gridchyn, I. (2018). <i>Reactivation content is important for consolidation of spatial memory</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:th_1042\">https://doi.org/10.15479/AT:ISTA:th_1042</a>","ama":"Gridchyn I. Reactivation content is important for consolidation of spatial memory. 2018. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_1042\">10.15479/AT:ISTA:th_1042</a>","chicago":"Gridchyn, Igor. “Reactivation Content Is Important for Consolidation of Spatial Memory.” Institute of Science and Technology Austria, 2018. <a href=\"https://doi.org/10.15479/AT:ISTA:th_1042\">https://doi.org/10.15479/AT:ISTA:th_1042</a>.","mla":"Gridchyn, Igor. <i>Reactivation Content Is Important for Consolidation of Spatial Memory</i>. Institute of Science and Technology Austria, 2018, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_1042\">10.15479/AT:ISTA:th_1042</a>.","short":"I. Gridchyn, Reactivation Content Is Important for Consolidation of Spatial Memory, Institute of Science and Technology Austria, 2018.","ieee":"I. Gridchyn, “Reactivation content is important for consolidation of spatial memory,” Institute of Science and Technology Austria, 2018.","ista":"Gridchyn I. 2018. Reactivation content is important for consolidation of spatial memory. Institute of Science and Technology Austria."},"date_created":"2018-12-11T11:44:21Z","file":[{"date_updated":"2021-02-11T23:30:22Z","access_level":"closed","file_name":"2018_Thesis_Gridchyn_source.docx","embargo_to":"open_access","relation":"source_file","creator":"dernst","checksum":"7db4415e435590fa33542c7b0a0321d7","file_id":"6236","file_size":7666687,"content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_created":"2019-04-08T13:36:01Z"},{"file_name":"2018_Thesis_Gridchyn.pdf","relation":"main_file","creator":"dernst","access_level":"open_access","date_updated":"2021-02-11T11:17:18Z","embargo":"2019-08-29","date_created":"2019-04-08T13:36:01Z","content_type":"application/pdf","file_id":"6237","file_size":6034153,"checksum":"f96f3fe8979f7b1e6db6acaca962b10c"}],"fulldoi":"https://doi.org/10.15479/AT:ISTA:th_1042","publist_id":"8006","language":[{"iso":"eng"}],"supervisor":[{"id":"3FA14672-F248-11E8-B48F-1D18A9856A87","first_name":"Jozsef L","orcid":"0000-0002-5193-4036","last_name":"Csicsvari","full_name":"Csicsvari, Jozsef L"}],"day":"27","has_accepted_license":"1","pubrep_id":"1042","publication_identifier":{"issn":["2663-337X"]},"_id":"48"},{"ec_funded":1,"department":[{"_id":"CaGu"},{"_id":"GaTk"},{"_id":"JoBo"}],"type":"journal_article","article_processing_charge":"No","related_material":{"record":[{"id":"5585","relation":"popular_science","status":"public"},{"id":"6371","relation":"dissertation_contains","status":"public"}]},"volume":2,"page":"1633 - 1643","citation":{"mla":"Igler, Claudia, et al. “Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring.” <i>Nature Ecology and Evolution</i>, vol. 2, no. 10, Nature Publishing Group, 2018, pp. 1633–43, doi:<a href=\"https://doi.org/10.1038/s41559-018-0651-y\">10.1038/s41559-018-0651-y</a>.","apa":"Igler, C., Lagator, M., Tkačik, G., Bollback, J. P., &#38; Guet, C. C. (2018). Evolutionary potential of transcription factors for gene regulatory rewiring. <i>Nature Ecology and Evolution</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41559-018-0651-y\">https://doi.org/10.1038/s41559-018-0651-y</a>","chicago":"Igler, Claudia, Mato Lagator, Gašper Tkačik, Jonathan P Bollback, and Calin C Guet. “Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring.” <i>Nature Ecology and Evolution</i>. Nature Publishing Group, 2018. <a href=\"https://doi.org/10.1038/s41559-018-0651-y\">https://doi.org/10.1038/s41559-018-0651-y</a>.","ama":"Igler C, Lagator M, Tkačik G, Bollback JP, Guet CC. Evolutionary potential of transcription factors for gene regulatory rewiring. <i>Nature Ecology and Evolution</i>. 2018;2(10):1633-1643. doi:<a href=\"https://doi.org/10.1038/s41559-018-0651-y\">10.1038/s41559-018-0651-y</a>","ieee":"C. Igler, M. Lagator, G. Tkačik, J. P. Bollback, and C. C. Guet, “Evolutionary potential of transcription factors for gene regulatory rewiring,” <i>Nature Ecology and Evolution</i>, vol. 2, no. 10. Nature Publishing Group, pp. 1633–1643, 2018.","short":"C. Igler, M. Lagator, G. Tkačik, J.P. Bollback, C.C. Guet, Nature Ecology and Evolution 2 (2018) 1633–1643.","ista":"Igler C, Lagator M, Tkačik G, Bollback JP, Guet CC. 2018. Evolutionary potential of transcription factors for gene regulatory rewiring. Nature Ecology and Evolution. 2(10), 1633–1643."},"date_created":"2018-12-11T11:44:27Z","file":[{"file_name":"2018_NatureEcology_Igler.pdf","relation":"main_file","creator":"dernst","access_level":"open_access","date_updated":"2020-07-14T12:47:37Z","date_created":"2020-05-14T11:28:52Z","content_type":"application/pdf","file_id":"7830","file_size":1135973,"checksum":"383a2e2c944a856e2e821ec8e7bf71b6"}],"external_id":{"isi":["000447947600021"]},"fulldoi":"https://doi.org/10.1038/s41559-018-0651-y","publist_id":"7987","quality_controlled":"1","language":[{"iso":"eng"}],"_id":"67","has_accepted_license":"1","day":"10","doi":"10.1038/s41559-018-0651-y","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme"},{"call_identifier":"H2020","grant_number":"648440","_id":"2578D616-B435-11E9-9278-68D0E5697425","name":"Selective Barriers to Horizontal Gene Transfer"},{"grant_number":"24573","_id":"251EE76E-B435-11E9-9278-68D0E5697425","name":"Design principles underlying genetic switch architecture"}],"publisher":"Nature Publishing Group","intvolume":"         2","publication_status":"published","date_published":"2018-09-10T00:00:00Z","date_updated":"2026-09-16T22:30:43Z","oa":1,"status":"public","month":"09","scopus_import":"1","title":"Evolutionary potential of transcription factors for gene regulatory rewiring","issue":"10","author":[{"first_name":"Claudia","id":"46613666-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7777-546X","full_name":"Igler, Claudia","last_name":"Igler"},{"id":"345D25EC-F248-11E8-B48F-1D18A9856A87","first_name":"Mato","last_name":"Lagator","full_name":"Lagator, Mato"},{"orcid":"0000-0002-6699-1455","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","first_name":"Gasper","full_name":"Tkacik, Gasper","last_name":"Tkacik"},{"full_name":"Bollback, Jonathan P","last_name":"Bollback","orcid":"0000-0002-4624-4612","first_name":"Jonathan P","id":"2C6FA9CC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Guet, Calin C","last_name":"Guet","orcid":"0000-0001-6220-2052","first_name":"Calin C","id":"47F8433E-F248-11E8-B48F-1D18A9856A87"}],"file_date_updated":"2020-07-14T12:47:37Z","abstract":[{"lang":"eng","text":"Gene regulatory networks evolve through rewiring of individual components—that is, through changes in regulatory connections. However, the mechanistic basis of regulatory rewiring is poorly understood. Using a canonical gene regulatory system, we quantify the properties of transcription factors that determine the evolutionary potential for rewiring of regulatory connections: robustness, tunability and evolvability. In vivo repression measurements of two repressors at mutated operator sites reveal their contrasting evolutionary potential: while robustness and evolvability were positively correlated, both were in trade-off with tunability. Epistatic interactions between adjacent operators alleviated this trade-off. A thermodynamic model explains how the differences in robustness, tunability and evolvability arise from biophysical characteristics of repressor–DNA binding. The model also uncovers that the energy matrix, which describes how mutations affect repressor–DNA binding, encodes crucial information about the evolutionary potential of a repressor. The biophysical determinants of evolutionary potential for regulatory rewiring constitute a mechanistic framework for understanding network evolution."}],"oa_version":"Submitted Version","ddc":["570"],"article_type":"original","publication":"Nature Ecology and Evolution","year":"2018","isi":1},{"related_material":{"record":[{"status":"public","relation":"research_paper","id":"67"},{"status":"public","id":"6371","relation":"research_paper"}]},"type":"research_data","article_processing_charge":"No","department":[{"_id":"CaGu"},{"_id":"GaTk"}],"ec_funded":1,"tmp":{"image":"/images/cc_0.png","name":"Creative Commons Public Domain Dedication (CC0 1.0)","short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode"},"date_created":"2018-12-12T12:31:40Z","citation":{"ama":"Igler C, Lagator M, Tkačik G, Bollback JP, Guet CC. Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring. 2018. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:108\">10.15479/AT:ISTA:108</a>","apa":"Igler, C., Lagator, M., Tkačik, G., Bollback, J. P., &#38; Guet, C. C. (2018). Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:108\">https://doi.org/10.15479/AT:ISTA:108</a>","chicago":"Igler, Claudia, Mato Lagator, Gašper Tkačik, Jonathan P Bollback, and Calin C Guet. “Data for the Paper Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring.” Institute of Science and Technology Austria, 2018. <a href=\"https://doi.org/10.15479/AT:ISTA:108\">https://doi.org/10.15479/AT:ISTA:108</a>.","mla":"Igler, Claudia, et al. <i>Data for the Paper Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring</i>. Institute of Science and Technology Austria, 2018, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:108\">10.15479/AT:ISTA:108</a>.","ista":"Igler C, Lagator M, Tkačik G, Bollback JP, Guet CC. 2018. Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:108\">10.15479/AT:ISTA:108</a>.","short":"C. Igler, M. Lagator, G. Tkačik, J.P. Bollback, C.C. Guet, (2018).","ieee":"C. Igler, M. Lagator, G. Tkačik, J. P. Bollback, and C. C. Guet, “Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring.” Institute of Science and Technology Austria, 2018."},"fulldoi":"https://doi.org/10.15479/AT:ISTA:108","file":[{"access_level":"open_access","creator":"system","relation":"main_file","file_name":"IST-2018-108-v1+1_data_figures.xlsx","date_updated":"2020-07-14T12:47:07Z","file_size":16507,"file_id":"5611","content_type":"application/vnd.openxmlformats-officedocument.spreadsheetml.sheet","date_created":"2018-12-12T13:02:45Z","checksum":"1435781526c77413802adee0d4583cce"}],"has_accepted_license":"1","day":"20","license":"https://creativecommons.org/publicdomain/zero/1.0/","_id":"5585","publisher":"Institute of Science and Technology Austria","project":[{"name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"291734"},{"name":"Selective Barriers to Horizontal Gene Transfer","grant_number":"648440","call_identifier":"H2020","_id":"2578D616-B435-11E9-9278-68D0E5697425"},{"_id":"251EE76E-B435-11E9-9278-68D0E5697425","grant_number":"24573","name":"Design principles underlying genetic switch architecture"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.15479/AT:ISTA:108","datarep_id":"108","date_published":"2018-07-20T00:00:00Z","file_date_updated":"2020-07-14T12:47:07Z","author":[{"full_name":"Igler, Claudia","last_name":"Igler","first_name":"Claudia","id":"46613666-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7777-546X"},{"first_name":"Mato","id":"345D25EC-F248-11E8-B48F-1D18A9856A87","last_name":"Lagator","full_name":"Lagator, Mato"},{"orcid":"0000-0002-6699-1455","first_name":"Gasper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkacik","full_name":"Tkacik, Gasper"},{"first_name":"Jonathan P","id":"2C6FA9CC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4624-4612","last_name":"Bollback","full_name":"Bollback, Jonathan P"},{"full_name":"Guet, Calin C","last_name":"Guet","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","first_name":"Calin C","orcid":"0000-0001-6220-2052"}],"title":"Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring","month":"07","oa":1,"status":"public","date_updated":"2026-09-16T22:30:43Z","year":"2018","ddc":["576"],"oa_version":"Published Version","abstract":[{"text":"Mean repression values and standard error of the mean are given for all operator mutant libraries.","lang":"eng"}]},{"volume":9,"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"short":"C. Espinoza Martinez, J. Guzmán, X. Zhang, P.M. Jonas, Nature Communications 9 (2018).","ieee":"C. Espinoza Martinez, J. Guzmán, X. Zhang, and P. M. Jonas, “Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus,” <i>Nature Communications</i>, vol. 9, no. 1. Nature Publishing Group, 2018.","ista":"Espinoza Martinez C, Guzmán J, Zhang X, Jonas PM. 2018. Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus. Nature Communications. 9(1), 4605.","chicago":"Espinoza Martinez, Claudia , José Guzmán, Xiaomin Zhang, and Peter M Jonas. “Parvalbumin+ Interneurons Obey Unique Connectivity Rules and Establish a Powerful Lateral-Inhibition Microcircuit in Dentate Gyrus.” <i>Nature Communications</i>. Nature Publishing Group, 2018. <a href=\"https://doi.org/10.1038/s41467-018-06899-3\">https://doi.org/10.1038/s41467-018-06899-3</a>.","apa":"Espinoza Martinez, C., Guzmán, J., Zhang, X., &#38; Jonas, P. M. (2018). Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus. <i>Nature Communications</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41467-018-06899-3\">https://doi.org/10.1038/s41467-018-06899-3</a>","ama":"Espinoza Martinez C, Guzmán J, Zhang X, Jonas PM. Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus. <i>Nature Communications</i>. 2018;9(1). doi:<a href=\"https://doi.org/10.1038/s41467-018-06899-3\">10.1038/s41467-018-06899-3</a>","mla":"Espinoza Martinez, Claudia, et al. “Parvalbumin+ Interneurons Obey Unique Connectivity Rules and Establish a Powerful Lateral-Inhibition Microcircuit in Dentate Gyrus.” <i>Nature Communications</i>, vol. 9, no. 1, 4605, Nature Publishing Group, 2018, doi:<a href=\"https://doi.org/10.1038/s41467-018-06899-3\">10.1038/s41467-018-06899-3</a>."},"date_created":"2018-12-11T11:44:12Z","ec_funded":1,"acknowledgement":"This project received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 692692) and the Fond zur Förderung der Wissenschaftlichen Forschung (Z 312-B27, Wittgenstein award), both to P.J..","related_material":{"record":[{"relation":"dissertation_contains","id":"6363","status":"public"}],"link":[{"url":"https://ist.ac.at/en/news/lateral-inhibition-keeps-similar-memories-apart/","relation":"press_release","description":"News on IST Homepage"}]},"department":[{"_id":"PeJo"}],"article_processing_charge":"No","type":"journal_article","publist_id":"8034","quality_controlled":"1","language":[{"iso":"eng"}],"has_accepted_license":"1","day":"02","_id":"21","external_id":{"isi":["000449069700009"]},"file":[{"file_id":"5715","file_size":4651930,"date_created":"2018-12-17T15:41:57Z","content_type":"application/pdf","checksum":"9fe2a63bd95a5067d896c087d07998f3","access_level":"open_access","file_name":"2018_NatureComm_Espinoza.pdf","relation":"main_file","creator":"dernst","date_updated":"2020-07-14T12:45:28Z"}],"fulldoi":"https://doi.org/10.1038/s41467-018-06899-3","date_published":"2018-11-02T00:00:00Z","intvolume":"         9","publication_status":"published","article_number":"4605","doi":"10.1038/s41467-018-06899-3","project":[{"call_identifier":"H2020","grant_number":"692692","_id":"25B7EB9E-B435-11E9-9278-68D0E5697425","name":"Biophysics and circuit function of a giant cortical glutamatergic synapse"},{"name":"Synaptic communication in neuronal microcircuits","call_identifier":"FWF","grant_number":"Z00312","_id":"25C5A090-B435-11E9-9278-68D0E5697425"}],"publisher":"Nature Publishing Group","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","ddc":["570"],"article_type":"original","abstract":[{"text":"Parvalbumin-positive (PV+) GABAergic interneurons in hippocampal microcircuits are thought to play a key role in several higher network functions, such as feedforward and feedback inhibition, network oscillations, and pattern separation. Fast lateral inhibition mediated by GABAergic interneurons may implement a winner-takes-all mechanism in the hippocampal input layer. However, it is not clear whether the functional connectivity rules of granule cells (GCs) and interneurons in the dentate gyrus are consistent with such a mechanism. Using simultaneous patch-clamp recordings from up to seven GCs and up to four PV+ interneurons in the dentate gyrus, we find that connectivity is structured in space, synapse-specific, and enriched in specific disynaptic motifs. In contrast to the neocortex, lateral inhibition in the dentate gyrus (in which a GC inhibits neighboring GCs via a PV+ interneuron) is ~ 10-times more abundant than recurrent inhibition (in which a GC inhibits itself). Thus, unique connectivity rules may enable the dentate gyrus to perform specific higher-order computations","lang":"eng"}],"oa_version":"Published Version","isi":1,"publication":"Nature Communications","year":"2018","scopus_import":"1","title":"Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus","month":"11","issue":"1","author":[{"last_name":"Espinoza Martinez","full_name":"Espinoza Martinez, Claudia ","id":"31FFEE2E-F248-11E8-B48F-1D18A9856A87","first_name":"Claudia ","orcid":"0000-0003-4710-2082"},{"full_name":"Guzmán, José","last_name":"Guzmán","id":"30CC5506-F248-11E8-B48F-1D18A9856A87","first_name":"José","orcid":"0000-0003-2209-5242"},{"last_name":"Zhang","full_name":"Zhang, Xiaomin","orcid":"0000-0003-0256-6529","first_name":"Xiaomin","id":"423EC9C2-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5001-4804","last_name":"Jonas","full_name":"Jonas, Peter M"}],"date_updated":"2026-09-16T22:30:44Z","oa":1,"status":"public","file_date_updated":"2020-07-14T12:45:28Z"},{"file":[{"date_updated":"2021-02-11T11:17:17Z","embargo":"2019-06-25","file_name":"2018_Thesis_Capek.pdf","creator":"dernst","relation":"main_file","access_level":"open_access","checksum":"d3eca3dcacb67bffdde6e6609c31cdd0","content_type":"application/pdf","date_created":"2019-04-08T13:42:26Z","file_id":"6238","file_size":31576521},{"relation":"source_file","creator":"dernst","embargo_to":"open_access","file_name":"2018_Thesis_Capek_source.docx","access_level":"closed","date_updated":"2021-02-11T23:30:21Z","date_created":"2019-04-08T13:42:27Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_size":38992956,"file_id":"6239","checksum":"876deb14067e638aba65d209668bd821"}],"fulldoi":"https://doi.org/10.15479/AT:ISTA:TH_1031","language":[{"iso":"eng"}],"supervisor":[{"orcid":"0000-0002-0912-4566","first_name":"Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg"}],"publist_id":"8004","_id":"50","publication_identifier":{"issn":["2663-337X"]},"has_accepted_license":"1","day":"22","pubrep_id":"1031","type":"dissertation","article_processing_charge":"No","department":[{"_id":"CaHe"}],"related_material":{"record":[{"relation":"part_of_dissertation","id":"661","status":"public"},{"relation":"part_of_dissertation","id":"1100","status":"public"},{"relation":"part_of_dissertation","id":"676","status":"public"}]},"OA_place":"publisher","page":"95","date_created":"2018-12-11T11:44:21Z","citation":{"mla":"Capek, Daniel. <i>Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration</i>. Institute of Science and Technology Austria, 2018, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:TH_1031\">10.15479/AT:ISTA:TH_1031</a>.","ama":"Capek D. Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration. 2018. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:TH_1031\">10.15479/AT:ISTA:TH_1031</a>","chicago":"Capek, Daniel. “Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration.” Institute of Science and Technology Austria, 2018. <a href=\"https://doi.org/10.15479/AT:ISTA:TH_1031\">https://doi.org/10.15479/AT:ISTA:TH_1031</a>.","apa":"Capek, D. (2018). <i>Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:TH_1031\">https://doi.org/10.15479/AT:ISTA:TH_1031</a>","ieee":"D. Capek, “Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration,” Institute of Science and Technology Austria, 2018.","short":"D. Capek, Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration, Institute of Science and Technology Austria, 2018.","ista":"Capek D. 2018. Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration. Institute of Science and Technology Austria."},"corr_author":"1","oa":1,"status":"public","date_updated":"2026-04-16T10:07:33Z","author":[{"orcid":"0000-0001-5199-9940","first_name":"Daniel","id":"31C42484-F248-11E8-B48F-1D18A9856A87","last_name":"Capek","full_name":"Capek, Daniel"}],"month":"06","title":"Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration","file_date_updated":"2021-02-11T23:30:21Z","oa_version":"Published Version","abstract":[{"lang":"eng","text":"The Wnt/planar cell polarity (Wnt/PCP) pathway determines planar polarity of epithelial cells in both vertebrates and invertebrates. The role that Wnt/PCP signaling plays in mesenchymal contexts, however, is only poorly understood. While previous studies have demonstrated the capacity of Wnt/PCP signaling to polarize and guide directed migration of mesenchymal cells, it remains unclear whether endogenous Wnt/PCP signaling performs these functions instructively, as it does in epithelial cells. Here we developed a light-switchable version of the Wnt/PCP receptor Frizzled 7 (Fz7) to unambiguously distinguish between an instructive and a permissive role of Wnt/PCP signaling for the directional collective migration of mesendoderm progenitor cells during zebrafish gastrulation. We show that prechordal plate (ppl) cell migration is defective in maternal-zygotic fz7a and fz7b (MZ fz7a,b) double mutant embryos, and that Fz7 functions cell-autonomously in this process by promoting ppl cell protrusion formation and directed migration. We further show that local activation of Fz7 can direct ppl cell migration both in vitro and in vivo. Surprisingly, however, uniform Fz7 activation is sufficient to fully rescue the ppl cell migration defect in MZ fz7a,b mutant embryos, indicating that Wnt/PCP signaling functions permissively rather than instructively in directed mesendoderm cell migration during zebrafish gastrulation."}],"ddc":["570","591","596"],"year":"2018","degree_awarded":"PhD","doi":"10.15479/AT:ISTA:TH_1031","alternative_title":["ISTA Thesis"],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publisher":"Institute of Science and Technology Austria","publication_status":"published","date_published":"2018-06-22T00:00:00Z"},{"quality_controlled":"1","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0034-6748"]},"_id":"5816","day":"01","external_id":{"arxiv":["1804.09522"],"isi":["000451735700054"]},"fulldoi":"https://doi.org/10.1063/1.5038258","volume":89,"citation":{"apa":"Hollmann, A., Jirovec, D., Kucharski, M., Kissinger, D., Fischer, G., &#38; Schreiber, L. R. (2018). 30 GHz-voltage controlled oscillator operating at 4 K. <i>Review of Scientific Instruments</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/1.5038258\">https://doi.org/10.1063/1.5038258</a>","ama":"Hollmann A, Jirovec D, Kucharski M, Kissinger D, Fischer G, Schreiber LR. 30 GHz-voltage controlled oscillator operating at 4 K. <i>Review of Scientific Instruments</i>. 2018;89(11). doi:<a href=\"https://doi.org/10.1063/1.5038258\">10.1063/1.5038258</a>","chicago":"Hollmann, Arne, Daniel Jirovec, Maciej Kucharski, Dietmar Kissinger, Gunter Fischer, and Lars R. Schreiber. “30 GHz-Voltage Controlled Oscillator Operating at 4 K.” <i>Review of Scientific Instruments</i>. AIP Publishing, 2018. <a href=\"https://doi.org/10.1063/1.5038258\">https://doi.org/10.1063/1.5038258</a>.","mla":"Hollmann, Arne, et al. “30 GHz-Voltage Controlled Oscillator Operating at 4 K.” <i>Review of Scientific Instruments</i>, vol. 89, no. 11, 114701, AIP Publishing, 2018, doi:<a href=\"https://doi.org/10.1063/1.5038258\">10.1063/1.5038258</a>.","short":"A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, L.R. Schreiber, Review of Scientific Instruments 89 (2018).","ieee":"A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, and L. R. Schreiber, “30 GHz-voltage controlled oscillator operating at 4 K,” <i>Review of Scientific Instruments</i>, vol. 89, no. 11. AIP Publishing, 2018.","ista":"Hollmann A, Jirovec D, Kucharski M, Kissinger D, Fischer G, Schreiber LR. 2018. 30 GHz-voltage controlled oscillator operating at 4 K. Review of Scientific Instruments. 89(11), 114701."},"date_created":"2019-01-10T14:22:23Z","department":[{"_id":"GeKa"}],"article_processing_charge":"No","type":"journal_article","related_material":{"record":[{"relation":"dissertation_contains","id":"10058","status":"public"}]},"abstract":[{"text":"Solid-state qubit manipulation and read-out fidelities are reaching fault-tolerance, but quantum error correction requires millions of physical qubits and therefore a scalable quantum computer architecture. To solve signal-line bandwidth and fan-out problems, microwave sources required for qubit manipulation might be embedded close to the qubit chip, typically operating at temperatures below 4 K. Here, we perform the first low temperature measurements of a 130 nm BiCMOS based SiGe voltage controlled oscillator at cryogenic temperature. We determined the frequency and output power dependence on temperature and magnetic field up to 5 T and measured the temperature influence on its noise performance. The device maintains its full functionality from 300 K to 4 K. The carrier frequency at 4 K increases by 3% with respect to the carrier frequency at 300 K, and the output power at 4 K increases by 10 dB relative to the output power at 300 K. The frequency tuning range of approximately 20% remains unchanged between 300 K and 4 K. In an in-plane magnetic field of 5 T, the carrier frequency shifts by only 0.02% compared to the frequency at zero magnetic field.","lang":"eng"}],"oa_version":"Preprint","publication":"Review of Scientific Instruments","year":"2018","isi":1,"date_updated":"2026-09-16T22:30:46Z","oa":1,"status":"public","month":"11","scopus_import":"1","title":"30 GHz-voltage controlled oscillator operating at 4 K","issue":"11","author":[{"first_name":"Arne","last_name":"Hollmann","full_name":"Hollmann, Arne"},{"last_name":"Jirovec","full_name":"Jirovec, Daniel","orcid":"0000-0002-7197-4801","first_name":"Daniel","id":"4C473F58-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Maciej","full_name":"Kucharski, Maciej","last_name":"Kucharski"},{"first_name":"Dietmar","full_name":"Kissinger, Dietmar","last_name":"Kissinger"},{"first_name":"Gunter","full_name":"Fischer, Gunter","last_name":"Fischer"},{"full_name":"Schreiber, Lars R.","last_name":"Schreiber","first_name":"Lars R."}],"intvolume":"        89","publication_status":"published","date_published":"2018-11-01T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1804.09522"}],"doi":"10.1063/1.5038258","article_number":"114701","arxiv":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"AIP Publishing"},{"volume":8,"corr_author":"1","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2018-12-11T11:46:30Z","citation":{"apa":"Li, L., Krens, G., Fendrych, M., &#38; Friml, J. (2018). Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls. <i>Bio-Protocol</i>. Bio-protocol. <a href=\"https://doi.org/10.21769/BioProtoc.2685\">https://doi.org/10.21769/BioProtoc.2685</a>","chicago":"Li, Lanxin, Gabriel Krens, Matyas Fendrych, and Jiří Friml. “Real-Time Analysis of Auxin Response, Cell Wall PH and Elongation in Arabidopsis Thaliana Hypocotyls.” <i>Bio-Protocol</i>. Bio-protocol, 2018. <a href=\"https://doi.org/10.21769/BioProtoc.2685\">https://doi.org/10.21769/BioProtoc.2685</a>.","ama":"Li L, Krens G, Fendrych M, Friml J. Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls. <i>Bio-protocol</i>. 2018;8(1). doi:<a href=\"https://doi.org/10.21769/BioProtoc.2685\">10.21769/BioProtoc.2685</a>","mla":"Li, Lanxin, et al. “Real-Time Analysis of Auxin Response, Cell Wall PH and Elongation in Arabidopsis Thaliana Hypocotyls.” <i>Bio-Protocol</i>, vol. 8, no. 1, Bio-protocol, 2018, doi:<a href=\"https://doi.org/10.21769/BioProtoc.2685\">10.21769/BioProtoc.2685</a>.","short":"L. Li, G. Krens, M. Fendrych, J. Friml, Bio-Protocol 8 (2018).","ieee":"L. Li, G. Krens, M. Fendrych, and J. Friml, “Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls,” <i>Bio-protocol</i>, vol. 8, no. 1. Bio-protocol, 2018.","ista":"Li L, Krens G, Fendrych M, Friml J. 2018. Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls. Bio-protocol. 8(1)."},"ec_funded":1,"acknowledgement":"This protocol was adapted from Fendrych et al., 2016. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385, and Austrian Science Fund (FWF) [M 2128-B21]. ","related_material":{"record":[{"id":"10083","relation":"dissertation_contains","status":"public"}]},"type":"journal_article","article_processing_charge":"No","department":[{"_id":"JiFr"},{"_id":"Bio"}],"language":[{"iso":"eng"}],"publist_id":"7381","quality_controlled":"1","pubrep_id":"970","has_accepted_license":"1","day":"05","_id":"442","publication_identifier":{"eissn":["2331-8325"]},"file":[{"date_created":"2018-12-12T10:17:43Z","content_type":"application/pdf","file_id":"5299","file_size":11352389,"checksum":"6644ba698206eda32b0abf09128e63e3","file_name":"IST-2018-970-v1+1_2018_Lanxin_Real-time_analysis.pdf","relation":"main_file","creator":"system","access_level":"open_access","date_updated":"2020-07-14T12:46:29Z"}],"fulldoi":"https://doi.org/10.21769/BioProtoc.2685","date_published":"2018-01-05T00:00:00Z","intvolume":"         8","publication_status":"published","doi":"10.21769/BioProtoc.2685","publisher":"Bio-protocol","project":[{"name":"International IST Doctoral Program","grant_number":"665385","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["576","581"],"article_type":"original","oa_version":"Published Version","abstract":[{"text":"The rapid auxin-triggered growth of the Arabidopsis hypocotyls involves the nuclear TIR1/AFB-Aux/IAA signaling and is accompanied by acidification of the apoplast and cell walls (Fendrych et al., 2016). Here, we describe in detail the method for analysis of the elongation and the TIR1/AFB-Aux/IAA-dependent auxin response in hypocotyl segments as well as the determination of relative values of the cell wall pH.","lang":"eng"}],"year":"2018","publication":"Bio-protocol","issue":"1","author":[{"full_name":"Li, Lanxin","last_name":"Li","orcid":"0000-0002-5607-272X","first_name":"Lanxin","id":"367EF8FA-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0003-4761-5996","id":"2B819732-F248-11E8-B48F-1D18A9856A87","first_name":"Gabriel","full_name":"Krens, Gabriel","last_name":"Krens"},{"last_name":"Fendrych","full_name":"Fendrych, Matyas","first_name":"Matyas","id":"43905548-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9767-8699"},{"full_name":"Friml, Jirí","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jirí","orcid":"0000-0002-8302-7596"}],"month":"01","title":"Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls","oa":1,"status":"public","date_updated":"2026-09-16T22:30:48Z","file_date_updated":"2020-07-14T12:46:29Z"},{"external_id":{"isi":["000451351000063"],"pmid":["30429320"]},"fulldoi":"https://doi.org/10.1073/pnas.1810565115","pmid":1,"language":[{"iso":"eng"}],"quality_controlled":"1","_id":"2","day":"27","ec_funded":1,"type":"journal_article","article_processing_charge":"No","department":[{"_id":"KrCh"}],"related_material":{"record":[{"id":"10293","relation":"dissertation_contains","status":"public"}],"link":[{"url":"https://ist.ac.at/en/news/no-cooperation-without-open-communication/","relation":"press_release","description":"News on IST Homepage"}]},"volume":115,"page":"12241-12246","date_created":"2018-12-11T11:44:05Z","citation":{"ieee":"C. Hilbe, L. Schmid, J. Tkadlec, K. Chatterjee, and M. Nowak, “Indirect reciprocity with private, noisy, and incomplete information,” <i>PNAS</i>, vol. 115, no. 48. National Academy of Sciences, pp. 12241–12246, 2018.","short":"C. Hilbe, L. Schmid, J. Tkadlec, K. Chatterjee, M. Nowak, PNAS 115 (2018) 12241–12246.","ista":"Hilbe C, Schmid L, Tkadlec J, Chatterjee K, Nowak M. 2018. Indirect reciprocity with private, noisy, and incomplete information. PNAS. 115(48), 12241–12246.","mla":"Hilbe, Christian, et al. “Indirect Reciprocity with Private, Noisy, and Incomplete Information.” <i>PNAS</i>, vol. 115, no. 48, National Academy of Sciences, 2018, pp. 12241–46, doi:<a href=\"https://doi.org/10.1073/pnas.1810565115\">10.1073/pnas.1810565115</a>.","ama":"Hilbe C, Schmid L, Tkadlec J, Chatterjee K, Nowak M. Indirect reciprocity with private, noisy, and incomplete information. <i>PNAS</i>. 2018;115(48):12241-12246. doi:<a href=\"https://doi.org/10.1073/pnas.1810565115\">10.1073/pnas.1810565115</a>","apa":"Hilbe, C., Schmid, L., Tkadlec, J., Chatterjee, K., &#38; Nowak, M. (2018). Indirect reciprocity with private, noisy, and incomplete information. <i>PNAS</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.1810565115\">https://doi.org/10.1073/pnas.1810565115</a>","chicago":"Hilbe, Christian, Laura Schmid, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Indirect Reciprocity with Private, Noisy, and Incomplete Information.” <i>PNAS</i>. National Academy of Sciences, 2018. <a href=\"https://doi.org/10.1073/pnas.1810565115\">https://doi.org/10.1073/pnas.1810565115</a>."},"status":"public","oa":1,"date_updated":"2026-09-16T22:30:50Z","author":[{"orcid":"0000-0001-5116-955X","first_name":"Christian","id":"2FDF8F3C-F248-11E8-B48F-1D18A9856A87","last_name":"Hilbe","full_name":"Hilbe, Christian"},{"full_name":"Schmid, Laura","last_name":"Schmid","id":"38B437DE-F248-11E8-B48F-1D18A9856A87","first_name":"Laura","orcid":"0000-0002-6978-7329"},{"last_name":"Tkadlec","full_name":"Tkadlec, Josef","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87","first_name":"Josef","orcid":"0000-0002-1097-9684"},{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X"},{"full_name":"Nowak, Martin","last_name":"Nowak","first_name":"Martin"}],"issue":"48","month":"11","scopus_import":"1","title":"Indirect reciprocity with private, noisy, and incomplete information","oa_version":"Submitted Version","abstract":[{"text":"Indirect reciprocity explores how humans act when their reputation is at stake, and which social norms they use to assess the actions of others. A crucial question in indirect reciprocity is which social norms can maintain stable cooperation in a society. Past research has highlighted eight such norms, called “leading-eight” strategies. This past research, however, is based on the assumption that all relevant information about other population members is publicly available and that everyone agrees on who is good or bad. Instead, here we explore the reputation dynamics when information is private and noisy. We show that under these conditions, most leading-eight strategies fail to evolve. Those leading-eight strategies that do evolve are unable to sustain full cooperation.Indirect reciprocity is a mechanism for cooperation based on shared moral systems and individual reputations. It assumes that members of a community routinely observe and assess each other and that they use this information to decide who is good or bad, and who deserves cooperation. When information is transmitted publicly, such that all community members agree on each other’s reputation, previous research has highlighted eight crucial moral systems. These “leading-eight” strategies can maintain cooperation and resist invasion by defectors. However, in real populations individuals often hold their own private views of others. Once two individuals disagree about their opinion of some third party, they may also see its subsequent actions in a different light. Their opinions may further diverge over time. Herein, we explore indirect reciprocity when information transmission is private and noisy. We find that in the presence of perception errors, most leading-eight strategies cease to be stable. Even if a leading-eight strategy evolves, cooperation rates may drop considerably when errors are common. Our research highlights the role of reliable information and synchronized reputations to maintain stable moral systems.","lang":"eng"}],"year":"2018","publication":"PNAS","isi":1,"doi":"10.1073/pnas.1810565115","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"National Academy of Sciences","project":[{"grant_number":"279307","call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications"},{"name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"},{"call_identifier":"FP7","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme"}],"publication_status":"published","intvolume":"       115","date_published":"2018-11-27T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pubmed/30429320"}]},{"abstract":[{"lang":"eng","text":"Autism spectrum disorders (ASD) are a group of genetic disorders often overlapping with other neurological conditions. Despite the remarkable number of scientific breakthroughs of the last 100 years, the treatment of neurodevelopmental disorders (e.g. autism spectrum disorder, intellectual disability, epilepsy) remains a great challenge. Recent advancements in geno mics, like whole-exome or whole-genome sequencing, have enabled scientists to identify numerous mutations underlying neurodevelopmental disorders. Given the few hundred risk genes that were discovered, the etiological variability and the heterogeneous phenotypic outcomes, the need for genotype -along with phenotype- based diagnosis of individual patients becomes a requisite. Driven by this rationale, in a previous study our group described mutations, identified via whole - exome sequencing, in the gene BCKDK – encoding for a key regulator of branched chain amin o acid (BCAA) catabolism - as a cause of ASD. Following up on the role of BCAAs, in the study described here we show that the solute carrier transporter 7a5 (SLC7A5), a large neutral amino acid transporter localized mainly at the blood brain barrier (BBB), has an essential role in maintaining normal levels of brain BCAAs. In mice, deletion of Slc7a5 from the endothelial cells of the BBB leads to atypical brain amino acid profile, abnormal mRNA translation and severe neurolo gical abnormalities. Additionally, deletion of Slc7a5 from the neural progenitor cell population leads to microcephaly. Interestingly, we demonstrate that BCAA intracerebroventricular administration ameliorates abnormal behaviors in adult mutant mice. Furthermore, whole - exome sequencing of patients diagnosed with neurological dis o r ders helped us identify several patients with autistic traits, microcephaly and motor delay carrying deleterious homozygous mutations in the SLC7A5 gene. In conclusion, our data elucidate a neurological syndrome defined by SLC7A5 mutations and support an essential role for t he BCAA s in human bra in function. Together with r ecent studies (described in chapter two) that have successfully made the transition into clinical practice, our findings on the role of B CAAs might have a crucial impact on the development of novel individualized therapeutic strategies for ASD. "}],"oa_version":"Published Version","ddc":["570","616"],"year":"2018","degree_awarded":"PhD","date_updated":"2026-04-08T14:15:20Z","status":"public","oa":1,"title":"The branched chain amino acids in autism spectrum disorders ","month":"03","author":[{"last_name":"Tarlungeanu","full_name":"Tarlungeanu, Dora-Clara","id":"2ABCE612-F248-11E8-B48F-1D18A9856A87","first_name":"Dora-Clara"}],"file_date_updated":"2021-02-11T23:30:15Z","publication_status":"published","date_published":"2018-03-01T00:00:00Z","doi":"10.15479/AT:ISTA:th_992","alternative_title":["ISTA Thesis"],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","project":[{"call_identifier":"FWF","grant_number":"F03523","_id":"25473368-B435-11E9-9278-68D0E5697425","name":"Transmembrane Transporters in Health and Disease"}],"publisher":"Institute of Science and Technology Austria","publist_id":"7434","language":[{"iso":"eng"}],"supervisor":[{"full_name":"Novarino, Gaia","last_name":"Novarino","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","first_name":"Gaia","orcid":"0000-0002-7673-7178"}],"publication_identifier":{"issn":["2663-337X"]},"_id":"395","pubrep_id":"992","day":"01","has_accepted_license":"1","file":[{"content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_created":"2019-04-05T09:19:17Z","file_size":43684035,"file_id":"6217","checksum":"9f5231c96e0ad945040841a8630232da","relation":"source_file","creator":"dernst","embargo_to":"open_access","file_name":"2018_Thesis_Tarlungeanu_source.docx","access_level":"closed","date_updated":"2021-02-11T23:30:15Z"},{"relation":"main_file","creator":"dernst","file_name":"2018_Thesis_Tarlungeanu.pdf","access_level":"open_access","date_updated":"2021-02-11T11:17:16Z","embargo":"2018-03-15","date_created":"2019-04-05T09:19:17Z","content_type":"application/pdf","file_size":30511532,"file_id":"6218","checksum":"0c33c370aa2010df5c552db57a6d01e9"}],"fulldoi":"https://doi.org/10.15479/AT:ISTA:th_992","OA_place":"publisher","page":"88","citation":{"short":"D.-C. Tarlungeanu, The Branched Chain Amino Acids in Autism Spectrum Disorders , Institute of Science and Technology Austria, 2018.","ieee":"D.-C. Tarlungeanu, “The branched chain amino acids in autism spectrum disorders ,” Institute of Science and Technology Austria, 2018.","ista":"Tarlungeanu D-C. 2018. The branched chain amino acids in autism spectrum disorders . Institute of Science and Technology Austria.","chicago":"Tarlungeanu, Dora-Clara. “The Branched Chain Amino Acids in Autism Spectrum Disorders .” Institute of Science and Technology Austria, 2018. <a href=\"https://doi.org/10.15479/AT:ISTA:th_992\">https://doi.org/10.15479/AT:ISTA:th_992</a>.","apa":"Tarlungeanu, D.-C. (2018). <i>The branched chain amino acids in autism spectrum disorders </i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:th_992\">https://doi.org/10.15479/AT:ISTA:th_992</a>","ama":"Tarlungeanu D-C. The branched chain amino acids in autism spectrum disorders . 2018. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_992\">10.15479/AT:ISTA:th_992</a>","mla":"Tarlungeanu, Dora-Clara. <i>The Branched Chain Amino Acids in Autism Spectrum Disorders </i>. Institute of Science and Technology Austria, 2018, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_992\">10.15479/AT:ISTA:th_992</a>."},"date_created":"2018-12-11T11:46:14Z","acknowledged_ssus":[{"_id":"PreCl"},{"_id":"EM-Fac"},{"_id":"Bio"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"corr_author":"1","department":[{"_id":"GaNo"}],"type":"dissertation","article_processing_charge":"No","related_material":{"record":[{"relation":"part_of_dissertation","id":"1183","status":"public"}]}},{"title":"Transporters and mechanisms of hormone transport in arabidopsis","scopus_import":"1","month":"01","author":[{"last_name":"Abualia","full_name":"Abualia, Rashed","orcid":"0000-0002-9357-9415","id":"4827E134-F248-11E8-B48F-1D18A9856A87","first_name":"Rashed"},{"first_name":"Eva","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8510-9739","full_name":"Benková, Eva","last_name":"Benková"},{"last_name":"Lacombe","full_name":"Lacombe, Benoît","first_name":"Benoît"}],"date_updated":"2026-09-16T22:30:53Z","status":"public","abstract":[{"lang":"eng","text":"Plant hormones as signalling molecules play an essential role in the control of plant growth and development. Typically, sites of hormonal action are usually distant from the site of biosynthesis thus relying on efficient transport mechanisms. Over the last decades, molecular identification of proteins and protein complexes involved in hormonal transport has started. Advanced screens for genes involved in hormonal transport in combination with transport assays using heterologous systems such as yeast, insect, or tobacco BY2 cells or Xenopus oocytes provided important insights into mechanisms underlying distribution of hormones in plant body and led to identification of principal transporters for each hormone. This review gives a short overview of the mechanisms of hormonal transport and transporters identified in Arabidopsis thaliana."}],"oa_version":"None","isi":1,"publication":"Advances in Botanical Research","year":"2018","doi":"10.1016/bs.abr.2018.09.007","publisher":"Elsevier","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_published":"2018-01-01T00:00:00Z","publication_status":"published","intvolume":"        87","external_id":{"isi":["000453657800006"]},"fulldoi":"https://doi.org/10.1016/bs.abr.2018.09.007","publist_id":"8007","quality_controlled":"1","language":[{"iso":"eng"}],"day":"01","_id":"47","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"10303"}]},"department":[{"_id":"EvBe"}],"type":"journal_article","article_processing_charge":"No","page":"115 - 138","volume":87,"citation":{"mla":"Abualia, Rashed, et al. “Transporters and Mechanisms of Hormone Transport in Arabidopsis.” <i>Advances in Botanical Research</i>, vol. 87, Elsevier, 2018, pp. 115–38, doi:<a href=\"https://doi.org/10.1016/bs.abr.2018.09.007\">10.1016/bs.abr.2018.09.007</a>.","ama":"Abualia R, Benková E, Lacombe B. Transporters and mechanisms of hormone transport in arabidopsis. <i>Advances in Botanical Research</i>. 2018;87:115-138. doi:<a href=\"https://doi.org/10.1016/bs.abr.2018.09.007\">10.1016/bs.abr.2018.09.007</a>","chicago":"Abualia, Rashed, Eva Benková, and Benoît Lacombe. “Transporters and Mechanisms of Hormone Transport in Arabidopsis.” <i>Advances in Botanical Research</i>. Elsevier, 2018. <a href=\"https://doi.org/10.1016/bs.abr.2018.09.007\">https://doi.org/10.1016/bs.abr.2018.09.007</a>.","apa":"Abualia, R., Benková, E., &#38; Lacombe, B. (2018). Transporters and mechanisms of hormone transport in arabidopsis. <i>Advances in Botanical Research</i>. Elsevier. <a href=\"https://doi.org/10.1016/bs.abr.2018.09.007\">https://doi.org/10.1016/bs.abr.2018.09.007</a>","ieee":"R. Abualia, E. Benková, and B. Lacombe, “Transporters and mechanisms of hormone transport in arabidopsis,” <i>Advances in Botanical Research</i>, vol. 87. Elsevier, pp. 115–138, 2018.","short":"R. Abualia, E. Benková, B. Lacombe, Advances in Botanical Research 87 (2018) 115–138.","ista":"Abualia R, Benková E, Lacombe B. 2018. Transporters and mechanisms of hormone transport in arabidopsis. Advances in Botanical Research. 87, 115–138."},"date_created":"2018-12-11T11:44:20Z"},{"year":"2018","degree_awarded":"PhD","oa_version":"Published Version","abstract":[{"lang":"eng","text":"In the here presented thesis, we explore the role of branched actin networks in cell migration and antigen presentation, the two most relevant processes in dendritic cell biology. Branched actin networks construct lamellipodial protrusions at the leading edge of migrating cells. These are typically seen as adhesive structures, which mediate force transduction to the extracellular matrix that leads to forward locomotion. We ablated Arp2/3 nucleation promoting factor WAVE in DCs and found that the resulting cells lack lamellipodial protrusions. Instead, depending on the maturation state, one or multiple filopodia were formed. By challenging these cells in a variety of migration assays we found that lamellipodial protrusions are dispensable for the locomotion of leukocytes and actually dampen the speed of migration. However, lamellipodia are critically required to negotiate complex environments that DCs experience while they travel to the next draining lymph node. Taken together our results suggest that leukocyte lamellipodia have rather a sensory- than a force transducing function. Furthermore, we show for the first time structure and dynamics of dendritic cell F-actin at the immunological synapse with naïve T cells. Dendritic cell F-actin appears as dynamic foci that are nucleated by the Arp2/3 complex. WAVE ablated dendritic cells show increased membrane tension, leading to an altered ultrastructure of the immunological synapse and severe T cell priming defects. These results point towards a previously unappreciated role of the cellular mechanics of dendritic cells in T cell activation. Additionally, we present a novel cell culture based system for the differentiation of dendritic cells from conditionally immortalized hematopoietic precursors. These precursor cells are genetically tractable via the CRISPR/Cas9 system while they retain their ability to differentiate into highly migratory dendritic cells and other immune cells. This will foster the study of all aspects of dendritic cell biology and beyond. "}],"ddc":["571","599","610"],"file_date_updated":"2021-02-11T23:30:17Z","status":"public","oa":1,"date_updated":"2025-09-22T08:27:34Z","author":[{"last_name":"Leithner","full_name":"Leithner, Alexander F","id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87","first_name":"Alexander F","orcid":"0000-0002-1073-744X"}],"title":"Branched actin networks in dendritic cell biology","month":"04","publication_status":"published","date_published":"2018-04-12T00:00:00Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Institute of Science and Technology Austria","doi":"10.15479/AT:ISTA:th_998","alternative_title":["ISTA Thesis"],"_id":"323","publication_identifier":{"issn":["2663-337X"]},"pubrep_id":"998","day":"12","has_accepted_license":"1","supervisor":[{"orcid":"0000-0002-6620-9179","first_name":"Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","last_name":"Sixt","full_name":"Sixt, Michael K"}],"language":[{"iso":"eng"}],"publist_id":"7542","fulldoi":"https://doi.org/10.15479/AT:ISTA:th_998","file":[{"file_id":"6219","file_size":29027671,"date_created":"2019-04-05T09:23:11Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","checksum":"d5e3edbac548c26c1fa43a4b37a54a4c","access_level":"closed","file_name":"PhD_thesis_AlexLeithner_final_version.docx","embargo_to":"open_access","creator":"dernst","relation":"source_file","date_updated":"2021-02-11T23:30:17Z"},{"date_updated":"2021-02-11T11:17:16Z","embargo":"2019-04-15","creator":"dernst","relation":"main_file","file_name":"PhD_thesis_AlexLeithner.pdf","access_level":"open_access","checksum":"071f7476db29e41146824ebd0697cb10","content_type":"application/pdf","date_created":"2019-04-05T09:23:11Z","file_size":66045341,"file_id":"6220"}],"date_created":"2018-12-11T11:45:49Z","citation":{"mla":"Leithner, Alexander F. <i>Branched Actin Networks in Dendritic Cell Biology</i>. Institute of Science and Technology Austria, 2018, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_998\">10.15479/AT:ISTA:th_998</a>.","chicago":"Leithner, Alexander F. “Branched Actin Networks in Dendritic Cell Biology.” Institute of Science and Technology Austria, 2018. <a href=\"https://doi.org/10.15479/AT:ISTA:th_998\">https://doi.org/10.15479/AT:ISTA:th_998</a>.","apa":"Leithner, A. F. (2018). <i>Branched actin networks in dendritic cell biology</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:th_998\">https://doi.org/10.15479/AT:ISTA:th_998</a>","ama":"Leithner AF. Branched actin networks in dendritic cell biology. 2018. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_998\">10.15479/AT:ISTA:th_998</a>","ieee":"A. F. Leithner, “Branched actin networks in dendritic cell biology,” Institute of Science and Technology Austria, 2018.","short":"A.F. Leithner, Branched Actin Networks in Dendritic Cell Biology, Institute of Science and Technology Austria, 2018.","ista":"Leithner AF. 2018. Branched actin networks in dendritic cell biology. Institute of Science and Technology Austria."},"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"Bio"},{"_id":"PreCl"},{"_id":"EM-Fac"}],"corr_author":"1","page":"99","type":"dissertation","article_processing_charge":"No","department":[{"_id":"MiSi"}],"related_material":{"record":[{"status":"public","id":"1321","relation":"part_of_dissertation"}]},"acknowledgement":"First of all I would like to thank Michael Sixt for giving me the opportunity to work in \r\nhis group and for his support throughout the years. He is a truly inspiring person and \r\nthe  best  boss  one  can  imagine.  I  would  also  like  to  thank  all  current  and  past \r\nmembers of the Sixt group for their help and the great working atmosphere in the lab. \r\nIt is a true privilege to work with such a bright, funny and friendly group of people and \r\nI’m  proud  that  I  could  be  part  of  it.  Furthermore,  I  would  like  to  say  ‘thank  you’  to Daria Siekhaus for all the meetings and discussion we had throughout the years \r\nand to  Federica  Benvenuti  for  being  part  of  my  committee.  I  am  also  grateful  to  Jack \r\nMerrin  in  the  nanofabrication  facility  and  all  the  people  working  in  the  bioimaging-\r\n, the electron microscopy- and the preclinical facilities."},{"_id":"449","pubrep_id":"967","has_accepted_license":"1","day":"29","language":[{"iso":"eng"}],"quality_controlled":"1","publist_id":"7373","fulldoi":"https://doi.org/10.1371/journal.pgen.1007177","file":[{"creator":"system","relation":"main_file","file_name":"IST-2018-967-v1+1_journal.pgen.1007177.pdf","access_level":"open_access","date_updated":"2020-07-14T12:46:30Z","date_created":"2018-12-12T10:10:52Z","content_type":"application/pdf","file_size":24709062,"file_id":"4843","checksum":"0276d66788ec076f4924164a39e6a712"}],"external_id":{"isi":["000423718600034"]},"date_created":"2018-12-11T11:46:32Z","citation":{"mla":"Prat, Tomas, et al. “WRKY23 Is a Component of the Transcriptional Network Mediating Auxin Feedback on PIN Polarity.” <i>PLoS Genetics</i>, vol. 14, no. 1, Public Library of Science, 2018, doi:<a href=\"https://doi.org/10.1371/journal.pgen.1007177\">10.1371/journal.pgen.1007177</a>.","ama":"Prat T, Hajny J, Grunewald W, et al. WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity. <i>PLoS Genetics</i>. 2018;14(1). doi:<a href=\"https://doi.org/10.1371/journal.pgen.1007177\">10.1371/journal.pgen.1007177</a>","chicago":"Prat, Tomas, Jakub Hajny, Wim Grunewald, Mina K Vasileva, Gergely Molnar, Ricardo Tejos, Markus Schmid, Michael Sauer, and Jiří Friml. “WRKY23 Is a Component of the Transcriptional Network Mediating Auxin Feedback on PIN Polarity.” <i>PLoS Genetics</i>. Public Library of Science, 2018. <a href=\"https://doi.org/10.1371/journal.pgen.1007177\">https://doi.org/10.1371/journal.pgen.1007177</a>.","apa":"Prat, T., Hajny, J., Grunewald, W., Vasileva, M. K., Molnar, G., Tejos, R., … Friml, J. (2018). WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity. <i>PLoS Genetics</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pgen.1007177\">https://doi.org/10.1371/journal.pgen.1007177</a>","ista":"Prat T, Hajny J, Grunewald W, Vasileva MK, Molnar G, Tejos R, Schmid M, Sauer M, Friml J. 2018. WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity. PLoS Genetics. 14(1).","ieee":"T. Prat <i>et al.</i>, “WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity,” <i>PLoS Genetics</i>, vol. 14, no. 1. Public Library of Science, 2018.","short":"T. Prat, J. Hajny, W. Grunewald, M.K. Vasileva, G. Molnar, R. Tejos, M. Schmid, M. Sauer, J. Friml, PLoS Genetics 14 (2018)."},"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"corr_author":"1","volume":14,"article_processing_charge":"Yes","type":"journal_article","department":[{"_id":"JiFr"}],"related_material":{"record":[{"id":"7172","relation":"dissertation_contains","status":"public"},{"relation":"dissertation_contains","id":"1127","status":"public"},{"relation":"dissertation_contains","id":"8822","status":"public"}]},"ec_funded":1,"year":"2018","publication":"PLoS Genetics","isi":1,"oa_version":"Published Version","abstract":[{"lang":"eng","text":"Auxin is unique among plant hormones due to its directional transport that is mediated by the polarly distributed PIN auxin transporters at the plasma membrane. The canalization hypothesis proposes that the auxin feedback on its polar flow is a crucial, plant-specific mechanism mediating multiple self-organizing developmental processes. Here, we used the auxin effect on the PIN polar localization in Arabidopsis thaliana roots as a proxy for the auxin feedback on the PIN polarity during canalization. We performed microarray experiments to find regulators of this process that act downstream of auxin. We identified genes that were transcriptionally regulated by auxin in an AXR3/IAA17- and ARF7/ARF19-dependent manner. Besides the known components of the PIN polarity, such as PID and PIP5K kinases, a number of potential new regulators were detected, among which the WRKY23 transcription factor, which was characterized in more detail. Gain- and loss-of-function mutants confirmed a role for WRKY23 in mediating the auxin effect on the PIN polarity. Accordingly, processes requiring auxin-mediated PIN polarity rearrangements, such as vascular tissue development during leaf venation, showed a higher WRKY23 expression and required the WRKY23 activity. Our results provide initial insights into the auxin transcriptional network acting upstream of PIN polarization and, potentially, canalization-mediated plant development."}],"ddc":["581"],"file_date_updated":"2020-07-14T12:46:30Z","status":"public","oa":1,"date_updated":"2026-09-16T22:30:58Z","issue":"1","author":[{"id":"3DA3BFEE-F248-11E8-B48F-1D18A9856A87","first_name":"Tomas","last_name":"Prat","full_name":"Prat, Tomas"},{"id":"4800CC20-F248-11E8-B48F-1D18A9856A87","first_name":"Jakub","orcid":"0000-0003-2140-7195","last_name":"Hajny","full_name":"Hajny, Jakub"},{"full_name":"Grunewald, Wim","last_name":"Grunewald","first_name":"Wim"},{"full_name":"Vasileva, Mina K","last_name":"Vasileva","id":"3407EB18-F248-11E8-B48F-1D18A9856A87","first_name":"Mina K"},{"full_name":"Molnar, Gergely","last_name":"Molnar","id":"34F1AF46-F248-11E8-B48F-1D18A9856A87","first_name":"Gergely"},{"first_name":"Ricardo","full_name":"Tejos, Ricardo","last_name":"Tejos"},{"first_name":"Markus","last_name":"Schmid","full_name":"Schmid, Markus"},{"first_name":"Michael","last_name":"Sauer","full_name":"Sauer, Michael"},{"last_name":"Friml","full_name":"Friml, Jirí","orcid":"0000-0002-8302-7596","first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"scopus_import":"1","title":"WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity","month":"01","intvolume":"        14","publication_status":"published","date_published":"2018-01-29T00:00:00Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Public Library of Science","project":[{"_id":"25716A02-B435-11E9-9278-68D0E5697425","grant_number":"282300","call_identifier":"FP7","name":"Polarity and subcellular dynamics in plants"}],"doi":"10.1371/journal.pgen.1007177"},{"article_number":"10279","doi":"10.1038/s41598-018-28188-1","publisher":"Springer","project":[{"name":"Polarity and subcellular dynamics in plants","grant_number":"282300","call_identifier":"FP7","_id":"25716A02-B435-11E9-9278-68D0E5697425"},{"name":"Tracing Evolution of Auxin Transport and Polarity in Plants","_id":"261099A6-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"742985"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_published":"2018-07-06T00:00:00Z","intvolume":"         8","publication_status":"published","author":[{"first_name":"Peter","id":"399876EC-F248-11E8-B48F-1D18A9856A87","full_name":"Grones, Peter","last_name":"Grones"},{"full_name":"Abas, Melinda F","last_name":"Abas","first_name":"Melinda F","id":"3CFB3B1C-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Hajny","full_name":"Hajny, Jakub","orcid":"0000-0003-2140-7195","id":"4800CC20-F248-11E8-B48F-1D18A9856A87","first_name":"Jakub"},{"first_name":"Angharad","full_name":"Jones, Angharad","last_name":"Jones"},{"first_name":"Sascha","last_name":"Waidmann","full_name":"Waidmann, Sascha"},{"last_name":"Kleine Vehn","full_name":"Kleine Vehn, Jürgen","first_name":"Jürgen"},{"last_name":"Friml","full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jirí","orcid":"0000-0002-8302-7596"}],"issue":"1","scopus_import":"1","month":"07","title":"PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism","oa":1,"status":"public","date_updated":"2026-09-16T22:30:58Z","file_date_updated":"2020-07-14T12:45:20Z","ddc":["581"],"oa_version":"Published Version","abstract":[{"lang":"eng","text":"Intercellular distribution of the plant hormone auxin largely depends on the polar subcellular distribution of the plasma membrane PIN-FORMED (PIN) auxin transporters. PIN polarity switches in response to different developmental and environmental signals have been shown to redirect auxin fluxes mediating certain developmental responses. PIN phosphorylation at different sites and by different kinases is crucial for PIN function. Here we investigate the role of PIN phosphorylation during gravitropic response. Loss- and gain-of-function mutants in PINOID and related kinases but not in D6PK kinase as well as mutations mimicking constitutive dephosphorylated or phosphorylated status of two clusters of predicted phosphorylation sites partially disrupted PIN3 phosphorylation and caused defects in gravitropic bending in roots and hypocotyls. In particular, they impacted PIN3 polarity rearrangements in response to gravity and during feed-back regulation by auxin itself. Thus PIN phosphorylation, besides regulating transport activity and apical-basal targeting, is also important for the rapid polarity switches in response to environmental and endogenous signals."}],"isi":1,"year":"2018","publication":"Scientific Reports","ec_funded":1,"related_material":{"record":[{"id":"8822","relation":"dissertation_contains","status":"public"}]},"type":"journal_article","article_processing_charge":"No","department":[{"_id":"JiFr"},{"_id":"EvBe"}],"volume":8,"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2018-12-11T11:45:06Z","citation":{"mla":"Grones, Peter, et al. “PID/WAG-Mediated Phosphorylation of the Arabidopsis PIN3 Auxin Transporter Mediates Polarity Switches during Gravitropism.” <i>Scientific Reports</i>, vol. 8, no. 1, 10279, Springer, 2018, doi:<a href=\"https://doi.org/10.1038/s41598-018-28188-1\">10.1038/s41598-018-28188-1</a>.","chicago":"Grones, Peter, Melinda F Abas, Jakub Hajny, Angharad Jones, Sascha Waidmann, Jürgen Kleine Vehn, and Jiří Friml. “PID/WAG-Mediated Phosphorylation of the Arabidopsis PIN3 Auxin Transporter Mediates Polarity Switches during Gravitropism.” <i>Scientific Reports</i>. Springer, 2018. <a href=\"https://doi.org/10.1038/s41598-018-28188-1\">https://doi.org/10.1038/s41598-018-28188-1</a>.","ama":"Grones P, Abas MF, Hajny J, et al. PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism. <i>Scientific Reports</i>. 2018;8(1). doi:<a href=\"https://doi.org/10.1038/s41598-018-28188-1\">10.1038/s41598-018-28188-1</a>","apa":"Grones, P., Abas, M. F., Hajny, J., Jones, A., Waidmann, S., Kleine Vehn, J., &#38; Friml, J. (2018). PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism. <i>Scientific Reports</i>. Springer. <a href=\"https://doi.org/10.1038/s41598-018-28188-1\">https://doi.org/10.1038/s41598-018-28188-1</a>","ieee":"P. Grones <i>et al.</i>, “PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism,” <i>Scientific Reports</i>, vol. 8, no. 1. Springer, 2018.","short":"P. Grones, M.F. Abas, J. Hajny, A. Jones, S. Waidmann, J. Kleine Vehn, J. Friml, Scientific Reports 8 (2018).","ista":"Grones P, Abas MF, Hajny J, Jones A, Waidmann S, Kleine Vehn J, Friml J. 2018. PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism. Scientific Reports. 8(1), 10279."},"external_id":{"isi":["000437673200053"]},"file":[{"date_updated":"2020-07-14T12:45:20Z","file_name":"2018_ScientificReports_Grones.pdf","creator":"dernst","relation":"main_file","access_level":"open_access","checksum":"266b03f4fb8198e83141617aaa99dcab","date_created":"2018-12-17T15:38:56Z","content_type":"application/pdf","file_id":"5714","file_size":2413876}],"fulldoi":"https://doi.org/10.1038/s41598-018-28188-1","language":[{"iso":"eng"}],"quality_controlled":"1","publist_id":"7729","day":"06","has_accepted_license":"1","_id":"191"},{"month":"03","scopus_import":"1","title":"Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice","issue":"6382","author":[{"last_name":"Brown","full_name":"Brown, Markus","id":"3DAB9AFC-F248-11E8-B48F-1D18A9856A87","first_name":"Markus"},{"last_name":"Assen","full_name":"Assen, Frank P","first_name":"Frank P","id":"3A8E7F24-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3470-6119"},{"full_name":"Leithner, Alexander F","last_name":"Leithner","orcid":"0000-0002-1073-744X","first_name":"Alexander F","id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Jun","full_name":"Abe, Jun","last_name":"Abe"},{"full_name":"Schachner, Helga","last_name":"Schachner","first_name":"Helga"},{"first_name":"Gabriele","full_name":"Asfour, Gabriele","last_name":"Asfour"},{"last_name":"Bagó Horváth","full_name":"Bagó Horváth, Zsuzsanna","first_name":"Zsuzsanna"},{"first_name":"Jens","last_name":"Stein","full_name":"Stein, Jens"},{"last_name":"Uhrin","full_name":"Uhrin, Pavel","first_name":"Pavel"},{"last_name":"Sixt","full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K"},{"first_name":"Dontscho","last_name":"Kerjaschki","full_name":"Kerjaschki, Dontscho"}],"date_updated":"2026-09-16T22:31:00Z","status":"public","oa":1,"isi":1,"publication":"Science","year":"2018","ddc":["570"],"article_type":"original","abstract":[{"lang":"eng","text":"During metastasis, malignant cells escape the primary tumor, intravasate lymphatic vessels, and reach draining sentinel lymph nodes before they colonize distant organs via the blood circulation. Although lymph node metastasis in cancer patients correlates with poor prognosis, evidence is lacking as to whether and how tumor cells enter the bloodstream via lymph nodes. To investigate this question, we delivered carcinoma cells into the lymph nodes of mice by microinfusing the cells into afferent lymphatic vessels. We found that tumor cells rapidly infiltrated the lymph node parenchyma, invaded blood vessels, and seeded lung metastases without involvement of the thoracic duct. These results suggest that the lymph node blood vessels can serve as an exit route for systemic dissemination of cancer cells in experimental mouse models. Whether this form of tumor cell spreading occurs in cancer patients remains to be determined."}],"oa_version":"Published Version","project":[{"name":"Cytoskeletal force generation and force transduction of migrating leukocytes","_id":"25A8E5EA-B435-11E9-9278-68D0E5697425","grant_number":"Y 564-B12","call_identifier":"FWF"},{"name":"Cytoskeletal force generation and force transduction of migrating leukocytes","_id":"25A603A2-B435-11E9-9278-68D0E5697425","grant_number":"281556","call_identifier":"FP7"}],"publisher":"American Association for the Advancement of Science","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1126/science.aal3662","main_file_link":[{"url":"https://doi.org/10.1126/science.aal3662","open_access":"1"}],"date_published":"2018-03-23T00:00:00Z","publication_status":"published","intvolume":"       359","fulldoi":"https://doi.org/10.1126/science.aal3662","pmid":1,"external_id":{"pmid":["29567714"],"isi":["000428043600047"]},"day":"23","_id":"402","quality_controlled":"1","publist_id":"7428","language":[{"iso":"eng"}],"related_material":{"record":[{"status":"public","id":"6947","relation":"dissertation_contains"}]},"department":[{"_id":"MiSi"}],"article_processing_charge":"No","type":"journal_article","ec_funded":1,"acknowledgement":"M.B. was supported by the Cell Communication in Health and Disease graduate study program of the Austrian Science Fund (FWF) and the Medical University of Vienna. M.S. was supported by the European Research Council (grant ERC GA 281556) and an FWF START award.\r\nWe thank C. Moussion for establishing the intralymphatic injection at IST Austria and for providing anti-PNAd hybridoma supernatant, R. Förster and A. Braun for sharing the intralymphatic injection technology, K. Vaahtomeri for the lentiviral constructs, M. Hons for establishing in vivo multiphoton imaging, the Sixt lab for intellectual input, M. Schunn for help with the design of the in vivo experiments, F. Langer for technical assistance with the in vivo experiments, the bioimaging facility of IST Austria for support, and R. Efferl for providing the CT26 cell line.","acknowledged_ssus":[{"_id":"Bio"}],"corr_author":"1","citation":{"ista":"Brown M, Assen FP, Leithner AF, Abe J, Schachner H, Asfour G, Bagó Horváth Z, Stein J, Uhrin P, Sixt MK, Kerjaschki D. 2018. Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice. Science. 359(6382), 1408–1411.","ieee":"M. Brown <i>et al.</i>, “Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice,” <i>Science</i>, vol. 359, no. 6382. American Association for the Advancement of Science, pp. 1408–1411, 2018.","short":"M. Brown, F.P. Assen, A.F. Leithner, J. Abe, H. Schachner, G. Asfour, Z. Bagó Horváth, J. Stein, P. Uhrin, M.K. Sixt, D. Kerjaschki, Science 359 (2018) 1408–1411.","mla":"Brown, Markus, et al. “Lymph Node Blood Vessels Provide Exit Routes for Metastatic Tumor Cell Dissemination in Mice.” <i>Science</i>, vol. 359, no. 6382, American Association for the Advancement of Science, 2018, pp. 1408–11, doi:<a href=\"https://doi.org/10.1126/science.aal3662\">10.1126/science.aal3662</a>.","chicago":"Brown, Markus, Frank P Assen, Alexander F Leithner, Jun Abe, Helga Schachner, Gabriele Asfour, Zsuzsanna Bagó Horváth, et al. “Lymph Node Blood Vessels Provide Exit Routes for Metastatic Tumor Cell Dissemination in Mice.” <i>Science</i>. American Association for the Advancement of Science, 2018. <a href=\"https://doi.org/10.1126/science.aal3662\">https://doi.org/10.1126/science.aal3662</a>.","apa":"Brown, M., Assen, F. P., Leithner, A. F., Abe, J., Schachner, H., Asfour, G., … Kerjaschki, D. (2018). Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.aal3662\">https://doi.org/10.1126/science.aal3662</a>","ama":"Brown M, Assen FP, Leithner AF, et al. Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice. <i>Science</i>. 2018;359(6382):1408-1411. doi:<a href=\"https://doi.org/10.1126/science.aal3662\">10.1126/science.aal3662</a>"},"date_created":"2018-12-11T11:46:16Z","page":"1408 - 1411","volume":359},{"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"ista":"Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. 2018. Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 118, 11.","ieee":"K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and Y. Velner, “Ergodic mean-payoff games for the analysis of attacks in crypto-currencies,” presented at the CONCUR: Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.","short":"K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.","mla":"Chatterjee, Krishnendu, et al. <i>Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies</i>. Vol. 118, 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2018.11\">10.4230/LIPIcs.CONCUR.2018.11</a>.","chicago":"Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2018.11\">https://doi.org/10.4230/LIPIcs.CONCUR.2018.11</a>.","apa":"Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &#38; Velner, Y. (2018). Ergodic mean-payoff games for the analysis of attacks in crypto-currencies (Vol. 118). Presented at the CONCUR: Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2018.11\">https://doi.org/10.4230/LIPIcs.CONCUR.2018.11</a>","ama":"Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. In: Vol 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2018.11\">10.4230/LIPIcs.CONCUR.2018.11</a>"},"date_created":"2018-12-11T11:44:27Z","volume":118,"related_material":{"record":[{"id":"8934","relation":"dissertation_contains","status":"public"}]},"department":[{"_id":"KrCh"}],"article_processing_charge":"No","type":"conference","ec_funded":1,"day":"01","has_accepted_license":"1","publication_identifier":{"isbn":["978-3-95977-087-3"]},"_id":"66","quality_controlled":"1","publist_id":"7988","language":[{"iso":"eng"}],"fulldoi":"https://doi.org/10.4230/LIPIcs.CONCUR.2018.11","external_id":{"arxiv":["1806.03108"]},"file":[{"date_updated":"2020-07-14T12:47:34Z","relation":"main_file","creator":"dernst","file_name":"2018_CONCUR_Chatterjee.pdf","access_level":"open_access","checksum":"68a055b1aaa241cc38375083cf832a7d","date_created":"2018-12-17T12:08:00Z","content_type":"application/pdf","file_size":1078309,"file_id":"5696"}],"conference":{"name":"CONCUR: Conference on Concurrency Theory","start_date":"2018-09-04","end_date":"2018-09-07","location":"Beijing, China"},"date_published":"2018-09-01T00:00:00Z","publication_status":"published","intvolume":"       118","project":[{"name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425","grant_number":"ICT15-003"},{"call_identifier":"FP7","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"},{"name":"Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts","_id":"266EEEC0-B435-11E9-9278-68D0E5697425"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LIPIcs"],"article_number":"11","arxiv":1,"doi":"10.4230/LIPIcs.CONCUR.2018.11","year":"2018","ddc":["000"],"abstract":[{"text":"Crypto-currencies are digital assets designed to work as a medium of exchange, e.g., Bitcoin, but they are susceptible to attacks (dishonest behavior of participants). A framework for the analysis of attacks in crypto-currencies requires (a) modeling of game-theoretic aspects to analyze incentives for deviation from honest behavior; (b) concurrent interactions between participants; and (c) analysis of long-term monetary gains. Traditional game-theoretic approaches for the analysis of security protocols consider either qualitative temporal properties such as safety and termination, or the very special class of one-shot (stateless) games. However, to analyze general attacks on protocols for crypto-currencies, both stateful analysis and quantitative objectives are necessary. In this work our main contributions are as follows: (a) we show how a class of concurrent mean-payo games, namely ergodic games, can model various attacks that arise naturally in crypto-currencies; (b) we present the first practical implementation of algorithms for ergodic games that scales to model realistic problems for crypto-currencies; and (c) we present experimental results showing that our framework can handle games with thousands of states and millions of transitions.","lang":"eng"}],"oa_version":"Published Version","file_date_updated":"2020-07-14T12:47:34Z","scopus_import":"1","title":"Ergodic mean-payoff games for the analysis of attacks in crypto-currencies","month":"09","author":[{"orcid":"0000-0002-4561-241X","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"full_name":"Goharshady, Amir","last_name":"Goharshady","first_name":"Amir","id":"391365CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1702-6584"},{"full_name":"Ibsen-Jensen, Rasmus","last_name":"Ibsen-Jensen","id":"3B699956-F248-11E8-B48F-1D18A9856A87","first_name":"Rasmus","orcid":"0000-0003-4783-0389"},{"first_name":"Yaron","last_name":"Velner","full_name":"Velner, Yaron"}],"date_updated":"2026-09-16T22:31:03Z","status":"public","oa":1},{"has_accepted_license":"1","day":"01","_id":"311","language":[{"iso":"eng"}],"quality_controlled":"1","publist_id":"7554","fulldoi":"https://doi.org/10.1007/978-3-319-89884-1_26","conference":{"name":"ESOP: European Symposium on Programming","start_date":"2018-04-16","location":"Thessaloniki, Greece","end_date":"2018-04-19"},"file":[{"checksum":"9c8a8338c571903b599b6ca93abd2cce","date_created":"2018-12-17T15:45:49Z","content_type":"application/pdf","file_size":1394993,"file_id":"5716","date_updated":"2020-07-14T12:46:00Z","relation":"main_file","creator":"dernst","file_name":"2018_ESOP_Chatterjee.pdf","access_level":"open_access"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2018-12-11T11:45:45Z","citation":{"mla":"Chatterjee, Krishnendu, et al. <i>Quantitative Analysis of Smart Contracts</i>. Vol. 10801, Springer, 2018, pp. 739–67, doi:<a href=\"https://doi.org/10.1007/978-3-319-89884-1_26\">10.1007/978-3-319-89884-1_26</a>.","chicago":"Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Yaron Velner. “Quantitative Analysis of Smart Contracts,” 10801:739–67. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-89884-1_26\">https://doi.org/10.1007/978-3-319-89884-1_26</a>.","ama":"Chatterjee K, Goharshady AK, Velner Y. Quantitative analysis of smart contracts. In: Vol 10801. Springer; 2018:739-767. doi:<a href=\"https://doi.org/10.1007/978-3-319-89884-1_26\">10.1007/978-3-319-89884-1_26</a>","apa":"Chatterjee, K., Goharshady, A. K., &#38; Velner, Y. (2018). Quantitative analysis of smart contracts (Vol. 10801, pp. 739–767). Presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece: Springer. <a href=\"https://doi.org/10.1007/978-3-319-89884-1_26\">https://doi.org/10.1007/978-3-319-89884-1_26</a>","ista":"Chatterjee K, Goharshady AK, Velner Y. 2018. Quantitative analysis of smart contracts. ESOP: European Symposium on Programming, LNCS, vol. 10801, 739–767.","ieee":"K. Chatterjee, A. K. Goharshady, and Y. Velner, “Quantitative analysis of smart contracts,” presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece, 2018, vol. 10801, pp. 739–767.","short":"K. Chatterjee, A.K. Goharshady, Y. Velner, in:, Springer, 2018, pp. 739–767."},"page":"739 - 767","volume":10801,"related_material":{"record":[{"relation":"dissertation_contains","id":"8934","status":"public"}]},"article_processing_charge":"No","type":"conference","department":[{"_id":"KrCh"}],"ec_funded":1,"acknowledgement":"The research was partially supported by Vienna Science and Technology Fund (WWTF) Project ICT15-003, Austrian Science Fund (FWF) NFN Grant No S11407-N23 (RiSE/SHiNE), and ERC Starting grant (279307: Graph Games).","year":"2018","ddc":["000"],"oa_version":"Published Version","abstract":[{"lang":"eng","text":"Smart contracts are computer programs that are executed by a network of mutually distrusting agents, without the need of an external trusted authority. Smart contracts handle and transfer assets of considerable value (in the form of crypto-currency like Bitcoin). Hence, it is crucial that their implementation is bug-free. We identify the utility (or expected payoff) of interacting with such smart contracts as the basic and canonical quantitative property for such contracts. We present a framework for such quantitative analysis of smart contracts. Such a formal framework poses new and novel research challenges in programming languages, as it requires modeling of game-theoretic aspects to analyze incentives for deviation from honest behavior and modeling utilities which are not specified as standard temporal properties such as safety and termination. While game-theoretic incentives have been analyzed in the security community, their analysis has been restricted to the very special case of stateless games. However, to analyze smart contracts, stateful analysis is required as it must account for the different program states of the protocol. Our main contributions are as follows: we present (i)~a simplified programming language for smart contracts; (ii)~an automatic translation of the programs to state-based games; (iii)~an abstraction-refinement approach to solve such games; and (iv)~experimental results on real-world-inspired smart contracts."}],"file_date_updated":"2020-07-14T12:46:00Z","author":[{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"full_name":"Goharshady, Amir","last_name":"Goharshady","first_name":"Amir","id":"391365CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1702-6584"},{"first_name":"Yaron","last_name":"Velner","full_name":"Velner, Yaron"}],"title":"Quantitative analysis of smart contracts","month":"04","scopus_import":"1","oa":1,"status":"public","date_updated":"2026-09-16T22:31:03Z","date_published":"2018-04-01T00:00:00Z","intvolume":"     10801","publication_status":"published","publisher":"Springer","project":[{"name":"Efficient Algorithms for Computer Aided Verification","grant_number":"ICT15-003","_id":"25892FC0-B435-11E9-9278-68D0E5697425"},{"grant_number":"S 11407_N23","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"279307"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"doi":"10.1007/978-3-319-89884-1_26"},{"publication_status":"published","date_published":"2018-09-01T00:00:00Z","doi":"10.1109/Cybermatics_2018.2018.00231","arxiv":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"IEEE","project":[{"name":"Efficient Algorithms for Computer Aided Verification","grant_number":"ICT15-003","_id":"25892FC0-B435-11E9-9278-68D0E5697425"},{"_id":"266EEEC0-B435-11E9-9278-68D0E5697425","name":"Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts"},{"name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"}],"oa_version":"Submitted Version","abstract":[{"text":"We  present  a  secure  approach  for  maintaining  andreporting  credit  history  records  on  the  Blockchain.  Our  ap-proach  removes  third-parties  such  as  credit  reporting  agen-cies  from  the  lending  process  and  replaces  them  with  smartcontracts.  This  allows  customers  to  interact  directly  with  thelenders  or  banks  while  ensuring  the  integrity,  unmalleabilityand  privacy  of  their  credit  data.  Additionally,  each  customerhas  full  control  over  complete  or  selective  disclosure  of  hercredit records, eliminating the risk of privacy violations or databreaches. Moreover, our approach provides strong guaranteesfor the lenders as well. A lender can check both correctness andcompleteness of the credit data disclosed to her. This is the firstapproach  that  can  perform  all  credit  reporting  tasks  withouta  central  authority  or  changing  the  financial  mechanisms*.","lang":"eng"}],"ddc":["000"],"year":"2018","publication":"Proceedings of the IEEE International Conference on Blockchain","isi":1,"oa":1,"status":"public","date_updated":"2026-09-16T22:31:03Z","author":[{"orcid":"0000-0003-1702-6584","first_name":"Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87","full_name":"Goharshady, Amir Kafshdar","last_name":"Goharshady"},{"last_name":"Behrouz","full_name":"Behrouz, Ali","first_name":"Ali"},{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"}],"scopus_import":"1","month":"09","title":"Secure Credit Reporting on the Blockchain","file_date_updated":"2020-07-14T12:47:27Z","page":"1343-1348","date_created":"2019-04-18T10:37:35Z","citation":{"chicago":"Goharshady, Amir Kafshdar, Ali Behrouz, and Krishnendu Chatterjee. “Secure Credit Reporting on the Blockchain.” In <i>Proceedings of the IEEE International Conference on Blockchain</i>, 1343–48. IEEE, 2018. <a href=\"https://doi.org/10.1109/Cybermatics_2018.2018.00231\">https://doi.org/10.1109/Cybermatics_2018.2018.00231</a>.","apa":"Goharshady, A. K., Behrouz, A., &#38; Chatterjee, K. (2018). Secure Credit Reporting on the Blockchain. In <i>Proceedings of the IEEE International Conference on Blockchain</i> (pp. 1343–1348). Halifax, Canada: IEEE. <a href=\"https://doi.org/10.1109/Cybermatics_2018.2018.00231\">https://doi.org/10.1109/Cybermatics_2018.2018.00231</a>","ama":"Goharshady AK, Behrouz A, Chatterjee K. Secure Credit Reporting on the Blockchain. In: <i>Proceedings of the IEEE International Conference on Blockchain</i>. IEEE; 2018:1343-1348. doi:<a href=\"https://doi.org/10.1109/Cybermatics_2018.2018.00231\">10.1109/Cybermatics_2018.2018.00231</a>","mla":"Goharshady, Amir Kafshdar, et al. “Secure Credit Reporting on the Blockchain.” <i>Proceedings of the IEEE International Conference on Blockchain</i>, IEEE, 2018, pp. 1343–48, doi:<a href=\"https://doi.org/10.1109/Cybermatics_2018.2018.00231\">10.1109/Cybermatics_2018.2018.00231</a>.","ista":"Goharshady AK, Behrouz A, Chatterjee K. 2018. Secure Credit Reporting on the Blockchain. Proceedings of the IEEE International Conference on Blockchain. IEEE International Conference on Blockchain, 1343–1348.","short":"A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.","ieee":"A. K. Goharshady, A. Behrouz, and K. Chatterjee, “Secure Credit Reporting on the Blockchain,” in <i>Proceedings of the IEEE International Conference on Blockchain</i>, Halifax, Canada, 2018, pp. 1343–1348."},"tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"ec_funded":1,"type":"conference","article_processing_charge":"No","department":[{"_id":"KrCh"}],"related_material":{"record":[{"id":"8934","relation":"dissertation_contains","status":"public"}]},"language":[{"iso":"eng"}],"quality_controlled":"1","_id":"6340","publication_identifier":{"isbn":["978-1-5386-7975-3 "]},"day":"01","has_accepted_license":"1","file":[{"file_id":"6341","file_size":624338,"date_created":"2019-04-18T10:36:39Z","content_type":"application/pdf","checksum":"b25c9bb7cf6e7e6634e692d26d41ead8","access_level":"open_access","file_name":"blockchain2018.pdf","relation":"main_file","creator":"akafshda","date_updated":"2020-07-14T12:47:27Z"}],"conference":{"name":"IEEE International Conference on Blockchain","start_date":"2018-07-30","end_date":"2018-08-03","location":"Halifax, Canada"},"external_id":{"isi":["000481634500196"],"arxiv":["1805.09104"]},"fulldoi":"https://doi.org/10.1109/Cybermatics_2018.2018.00231"},{"external_id":{"isi":["000444694800001"],"arxiv":["1510.07565"]},"fulldoi":"https://doi.org/10.1145/3210257","language":[{"iso":"eng"}],"quality_controlled":"1","_id":"6009","publication_identifier":{"issn":["0164-0925"]},"day":"01","ec_funded":1,"type":"journal_article","article_processing_charge":"No","department":[{"_id":"KrCh"}],"related_material":{"record":[{"status":"public","relation":"earlier_version","id":"5441"},{"status":"public","id":"5442","relation":"earlier_version"},{"status":"public","id":"1437","relation":"earlier_version"},{"id":"8934","relation":"dissertation_contains","status":"public"}]},"volume":40,"date_created":"2019-02-14T14:31:52Z","citation":{"apa":"Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., &#38; Pavlogiannis, A. (2018). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. <i>ACM Transactions on Programming Languages and Systems</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3210257\">https://doi.org/10.1145/3210257</a>","ama":"Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. <i>ACM Transactions on Programming Languages and Systems</i>. 2018;40(3). doi:<a href=\"https://doi.org/10.1145/3210257\">10.1145/3210257</a>","chicago":"Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” <i>ACM Transactions on Programming Languages and Systems</i>. Association for Computing Machinery, 2018. <a href=\"https://doi.org/10.1145/3210257\">https://doi.org/10.1145/3210257</a>.","mla":"Chatterjee, Krishnendu, et al. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 40, no. 3, 9, Association for Computing Machinery, 2018, doi:<a href=\"https://doi.org/10.1145/3210257\">10.1145/3210257</a>.","short":"K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 40 (2018).","ieee":"K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 40, no. 3. Association for Computing Machinery, 2018.","ista":"Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2018. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. 40(3), 9."},"corr_author":"1","oa":1,"status":"public","date_updated":"2026-09-16T22:31:03Z","author":[{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X"},{"last_name":"Ibsen-Jensen","full_name":"Ibsen-Jensen, Rasmus","orcid":"0000-0003-4783-0389","first_name":"Rasmus","id":"3B699956-F248-11E8-B48F-1D18A9856A87"},{"id":"391365CE-F248-11E8-B48F-1D18A9856A87","first_name":"Amir Kafshdar","orcid":"0000-0003-1702-6584","last_name":"Goharshady","full_name":"Goharshady, Amir Kafshdar"},{"full_name":"Pavlogiannis, Andreas","last_name":"Pavlogiannis","orcid":"0000-0002-8943-0722","id":"49704004-F248-11E8-B48F-1D18A9856A87","first_name":"Andreas"}],"issue":"3","scopus_import":"1","title":"Algorithms for algebraic path properties in concurrent systems of constant treewidth components","month":"08","oa_version":"Preprint","abstract":[{"lang":"eng","text":"We study algorithmic questions wrt algebraic path properties in concurrent systems, where the transitions of the system are labeled from a complete, closed semiring. The algebraic path properties can model dataflow analysis problems, the shortest path problem, and many other natural problems that arise in program analysis. We consider that each component of the concurrent system is a graph with constant treewidth, a property satisfied by the controlflow graphs of most programs. We allow for multiple possible queries, which arise naturally in demand driven dataflow analysis. The study of multiple queries allows us to consider the tradeoff between the resource usage of the one-time preprocessing and for each individual query. The traditional approach constructs the product graph of all components and applies the best-known graph algorithm on the product. In this approach, even the answer to a single query requires the transitive closure (i.e., the results of all possible queries), which provides no room for tradeoff between preprocessing and query time.\r\nOur main contributions are algorithms that significantly improve the worst-case running time of the traditional approach, and provide various tradeoffs depending on the number of queries. For example, in a concurrent system of two components, the traditional approach requires hexic time in the worst case for answering one query as well as computing the transitive closure, whereas we show that with one-time preprocessing in almost cubic time, each subsequent query can be answered in at most linear time, and even the transitive closure can be computed in almost quartic time. Furthermore, we establish conditional optimality results showing that the worst-case running time of our algorithms cannot be improved without achieving major breakthroughs in graph algorithms (i.e., improving the worst-case bound for the shortest path problem in general graphs). Preliminary experimental results show that our algorithms perform favorably on several benchmarks.\r\n"}],"year":"2018","publication":"ACM Transactions on Programming Languages and Systems","isi":1,"doi":"10.1145/3210257","arxiv":1,"article_number":"9","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Association for Computing Machinery","project":[{"grant_number":"P 23499-N23","call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications"}],"publication_status":"published","intvolume":"        40","date_published":"2018-08-01T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1510.07565"}]}]
