[{"publication":"eLife","citation":{"apa":"Pull, C., Ugelvig, L. V., Wiesenhofer, F., Grasse, A. V., Tragust, S., Schmitt, T., … Cremer, S. (2018). Destructive disinfection of infected brood prevents systemic disease spread in ant colonies. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.32073","ieee":"C. Pull et al., “Destructive disinfection of infected brood prevents systemic disease spread in ant colonies,” eLife, vol. 7. eLife Sciences Publications, 2018.","ista":"Pull C, Ugelvig LV, Wiesenhofer F, Grasse AV, Tragust S, Schmitt T, Brown M, Cremer S. 2018. Destructive disinfection of infected brood prevents systemic disease spread in ant colonies. eLife. 7, e32073.","ama":"Pull C, Ugelvig LV, Wiesenhofer F, et al. Destructive disinfection of infected brood prevents systemic disease spread in ant colonies. eLife. 2018;7. doi:10.7554/eLife.32073","chicago":"Pull, Christopher, Line V Ugelvig, Florian Wiesenhofer, Anna V Grasse, Simon Tragust, Thomas Schmitt, Mark Brown, and Sylvia Cremer. “Destructive Disinfection of Infected Brood Prevents Systemic Disease Spread in Ant Colonies.” ELife. eLife Sciences Publications, 2018. https://doi.org/10.7554/eLife.32073.","short":"C. Pull, L.V. Ugelvig, F. Wiesenhofer, A.V. Grasse, S. Tragust, T. Schmitt, M. Brown, S. Cremer, ELife 7 (2018).","mla":"Pull, Christopher, et al. “Destructive Disinfection of Infected Brood Prevents Systemic Disease Spread in Ant Colonies.” ELife, vol. 7, e32073, eLife Sciences Publications, 2018, doi:10.7554/eLife.32073."},"date_published":"2018-01-09T00:00:00Z","scopus_import":"1","day":"09","article_processing_charge":"Yes","has_accepted_license":"1","title":"Destructive disinfection of infected brood prevents systemic disease spread in ant colonies","status":"public","ddc":["570","590"],"intvolume":" 7","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"616","file":[{"access_level":"open_access","file_name":"IST-2018-978-v1+1_elife-32073-v1.pdf","content_type":"application/pdf","file_size":1435585,"creator":"system","relation":"main_file","file_id":"4832","checksum":"540f941e8d3530a9441e4affd94f07d7","date_created":"2018-12-12T10:10:43Z","date_updated":"2020-07-14T12:47:20Z"}],"oa_version":"Published Version","pubrep_id":"978","type":"journal_article","abstract":[{"lang":"eng","text":"Social insects protect their colonies from infectious disease through collective defences that result in social immunity. In ants, workers first try to prevent infection of colony members. Here, we show that if this fails and a pathogen establishes an infection, ants employ an efficient multicomponent behaviour − "destructive disinfection" − to prevent further spread of disease through the colony. Ants specifically target infected pupae during the pathogen's non-contagious incubation period, relying on chemical 'sickness cues' emitted by pupae. They then remove the pupal cocoon, perforate its cuticle and administer antimicrobial poison, which enters the body and prevents pathogen replication from the inside out. Like the immune system of a body that specifically targets and eliminates infected cells, this social immunity measure sacrifices infected brood to stop the pathogen completing its lifecycle, thus protecting the rest of the colony. Hence, the same principles of disease defence apply at different levels of biological organisation."}],"isi":1,"quality_controlled":"1","project":[{"grant_number":"243071","_id":"25DC711C-B435-11E9-9278-68D0E5697425","name":"Social Vaccination in Ant Colonies: from Individual Mechanisms to Society Effects","call_identifier":"FP7"},{"call_identifier":"FP7","name":"Pathogen Detectors Collective disease defence and pathogen detection abilities in ant societies: a chemo-neuro-immunological approach","grant_number":"302004","_id":"25DDF0F0-B435-11E9-9278-68D0E5697425"}],"external_id":{"isi":["000419601300001"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"language":[{"iso":"eng"}],"doi":"10.7554/eLife.32073","month":"01","publication_status":"published","publisher":"eLife Sciences Publications","department":[{"_id":"SyCr"}],"year":"2018","date_updated":"2023-09-11T12:54:26Z","date_created":"2018-12-11T11:47:31Z","volume":7,"author":[{"full_name":"Pull, Christopher","id":"3C7F4840-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1122-3982","first_name":"Christopher","last_name":"Pull"},{"full_name":"Ugelvig, Line V","orcid":"0000-0003-1832-8883","id":"3DC97C8E-F248-11E8-B48F-1D18A9856A87","last_name":"Ugelvig","first_name":"Line V"},{"full_name":"Wiesenhofer, Florian","last_name":"Wiesenhofer","first_name":"Florian","id":"39523C54-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Grasse, Anna V","last_name":"Grasse","first_name":"Anna V","id":"406F989C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Tragust, Simon","first_name":"Simon","last_name":"Tragust","id":"35A7A418-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Schmitt","first_name":"Thomas","full_name":"Schmitt, Thomas"},{"first_name":"Mark","last_name":"Brown","full_name":"Brown, Mark"},{"first_name":"Sylvia","last_name":"Cremer","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia"}],"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"819"}]},"article_number":"e32073","file_date_updated":"2020-07-14T12:47:20Z","ec_funded":1,"publist_id":"7188"},{"acknowledgement":"E.H. is funded by a Junior Research Fellowship from Trinity College, Cam-bridge, a Sir Henry Wellcome Fellowship from the Wellcome Trust, and theBettencourt-Schueller Young Researcher Prize for support.","year":"2018","publication_status":"published","department":[{"_id":"EdHa"}],"publisher":"Cell Press","author":[{"first_name":"Magdalena","last_name":"Sznurkowska","full_name":"Sznurkowska, Magdalena"},{"full_name":"Hannezo, Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561","first_name":"Edouard B","last_name":"Hannezo"},{"full_name":"Azzarelli, Roberta","last_name":"Azzarelli","first_name":"Roberta"},{"last_name":"Rulands","first_name":"Steffen","full_name":"Rulands, Steffen"},{"last_name":"Nestorowa","first_name":"Sonia","full_name":"Nestorowa, Sonia"},{"first_name":"Christopher","last_name":"Hindley","full_name":"Hindley, Christopher"},{"last_name":"Nichols","first_name":"Jennifer","full_name":"Nichols, Jennifer"},{"full_name":"Göttgens, Berthold","last_name":"Göttgens","first_name":"Berthold"},{"first_name":"Meritxell","last_name":"Huch","full_name":"Huch, Meritxell"},{"full_name":"Philpott, Anna","first_name":"Anna","last_name":"Philpott"},{"first_name":"Benjamin","last_name":"Simons","full_name":"Simons, Benjamin"}],"date_updated":"2023-09-11T12:52:41Z","date_created":"2018-12-11T11:44:48Z","volume":46,"file_date_updated":"2020-07-14T12:44:43Z","publist_id":"7791","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"external_id":{"isi":["000441327300012"]},"quality_controlled":"1","isi":1,"doi":"10.1016/j.devcel.2018.06.028","language":[{"iso":"eng"}],"month":"08","_id":"132","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","ddc":["570"],"title":"Defining lineage potential and fate behavior of precursors during pancreas development","intvolume":" 46","oa_version":"Published Version","file":[{"file_name":"2018_DevelopmentalCell_Sznurkowska.pdf","access_level":"open_access","content_type":"application/pdf","file_size":8948384,"creator":"dernst","relation":"main_file","file_id":"5694","date_updated":"2020-07-14T12:44:43Z","date_created":"2018-12-17T10:49:49Z","checksum":"78d2062b9e3c3b90fe71545aeb6d2f65"}],"type":"journal_article","abstract":[{"text":"Pancreas development involves a coordinated process in which an early phase of cell segregation is followed by a longer phase of lineage restriction, expansion, and tissue remodeling. By combining clonal tracing and whole-mount reconstruction with proliferation kinetics and single-cell transcriptional profiling, we define the functional basis of pancreas morphogenesis. We show that the large-scale organization of mouse pancreas can be traced to the activity of self-renewing precursors positioned at the termini of growing ducts, which act collectively to drive serial rounds of stochastic ductal bifurcation balanced by termination. During this phase of branching morphogenesis, multipotent precursors become progressively fate-restricted, giving rise to self-renewing acinar-committed precursors that are conveyed with growing ducts, as well as ductal progenitors that expand the trailing ducts and give rise to delaminating endocrine cells. These findings define quantitatively how the functional behavior and lineage progression of precursor pools determine the large-scale patterning of pancreatic sub-compartments.","lang":"eng"}],"issue":"3","publication":"Developmental Cell","citation":{"ama":"Sznurkowska M, Hannezo EB, Azzarelli R, et al. Defining lineage potential and fate behavior of precursors during pancreas development. Developmental Cell. 2018;46(3):360-375. doi:10.1016/j.devcel.2018.06.028","ieee":"M. Sznurkowska et al., “Defining lineage potential and fate behavior of precursors during pancreas development,” Developmental Cell, vol. 46, no. 3. Cell Press, pp. 360–375, 2018.","apa":"Sznurkowska, M., Hannezo, E. B., Azzarelli, R., Rulands, S., Nestorowa, S., Hindley, C., … Simons, B. (2018). Defining lineage potential and fate behavior of precursors during pancreas development. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2018.06.028","ista":"Sznurkowska M, Hannezo EB, Azzarelli R, Rulands S, Nestorowa S, Hindley C, Nichols J, Göttgens B, Huch M, Philpott A, Simons B. 2018. Defining lineage potential and fate behavior of precursors during pancreas development. Developmental Cell. 46(3), 360–375.","short":"M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C. Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental Cell 46 (2018) 360–375.","mla":"Sznurkowska, Magdalena, et al. “Defining Lineage Potential and Fate Behavior of Precursors during Pancreas Development.” Developmental Cell, vol. 46, no. 3, Cell Press, 2018, pp. 360–75, doi:10.1016/j.devcel.2018.06.028.","chicago":"Sznurkowska, Magdalena, Edouard B Hannezo, Roberta Azzarelli, Steffen Rulands, Sonia Nestorowa, Christopher Hindley, Jennifer Nichols, et al. “Defining Lineage Potential and Fate Behavior of Precursors during Pancreas Development.” Developmental Cell. Cell Press, 2018. https://doi.org/10.1016/j.devcel.2018.06.028."},"article_type":"original","page":"360 - 375","date_published":"2018-08-06T00:00:00Z","scopus_import":"1","day":"06","has_accepted_license":"1","article_processing_charge":"No"},{"doi":"10.1093/jxb/ery281","language":[{"iso":"eng"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000448163900015"]},"isi":1,"quality_controlled":"1","month":"07","author":[{"full_name":"Cucinotta, Mara","last_name":"Cucinotta","first_name":"Mara"},{"first_name":"Silvia","last_name":"Manrique","full_name":"Manrique, Silvia"},{"first_name":"Candela","last_name":"Cuesta","id":"33A3C818-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1923-2410","full_name":"Cuesta, Candela"},{"id":"38F4F166-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8510-9739","first_name":"Eva","last_name":"Benková","full_name":"Benková, Eva"},{"full_name":"Novák, Ondřej","first_name":"Ondřej","last_name":"Novák"},{"full_name":"Colombo, Lucia","first_name":"Lucia","last_name":"Colombo"}],"date_updated":"2023-09-11T12:52:03Z","date_created":"2018-12-11T11:44:19Z","volume":69,"acknowledgement":"This work was funded by the Ministry of Education, Youth and Sports of the Czech Republic through the National Program of Sustainability (grant no. LO1204).","year":"2018","publication_status":"published","publisher":"Oxford University Press","department":[{"_id":"EvBe"}],"file_date_updated":"2020-07-14T12:46:25Z","publist_id":"8012","date_published":"2018-07-26T00:00:00Z","publication":"Journal of Experimental Botany","citation":{"ama":"Cucinotta M, Manrique S, Cuesta C, Benková E, Novák O, Colombo L. Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis. Journal of Experimental Botany. 2018;69(21):5169-5176. doi:10.1093/jxb/ery281","ista":"Cucinotta M, Manrique S, Cuesta C, Benková E, Novák O, Colombo L. 2018. Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis. Journal of Experimental Botany. 69(21), 5169–5176.","ieee":"M. Cucinotta, S. Manrique, C. Cuesta, E. Benková, O. Novák, and L. Colombo, “Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis,” Journal of Experimental Botany, vol. 69, no. 21. Oxford University Press, pp. 5169–5176, 2018.","apa":"Cucinotta, M., Manrique, S., Cuesta, C., Benková, E., Novák, O., & Colombo, L. (2018). Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis. Journal of Experimental Botany. Oxford University Press. https://doi.org/10.1093/jxb/ery281","mla":"Cucinotta, Mara, et al. “Cup-Shaped Cotyledon1 (CUC1) and CU2 Regulate Cytokinin Homeostasis to Determine Ovule Number in Arabidopsis.” Journal of Experimental Botany, vol. 69, no. 21, Oxford University Press, 2018, pp. 5169–76, doi:10.1093/jxb/ery281.","short":"M. Cucinotta, S. Manrique, C. Cuesta, E. Benková, O. Novák, L. Colombo, Journal of Experimental Botany 69 (2018) 5169–5176.","chicago":"Cucinotta, Mara, Silvia Manrique, Candela Cuesta, Eva Benková, Ondřej Novák, and Lucia Colombo. “Cup-Shaped Cotyledon1 (CUC1) and CU2 Regulate Cytokinin Homeostasis to Determine Ovule Number in Arabidopsis.” Journal of Experimental Botany. Oxford University Press, 2018. https://doi.org/10.1093/jxb/ery281."},"page":"5169 - 5176","day":"26","article_processing_charge":"No","has_accepted_license":"1","scopus_import":"1","file":[{"file_size":1292128,"content_type":"application/pdf","creator":"dernst","file_name":"2018_JournalExperimBotany_Cucinotta.pdf","access_level":"open_access","date_updated":"2020-07-14T12:46:25Z","date_created":"2018-12-17T10:44:16Z","checksum":"ca3b6711040b1662488aeb3d1f961f13","relation":"main_file","file_id":"5691"}],"oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"42","ddc":["575"],"title":"Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis","status":"public","intvolume":" 69","abstract":[{"lang":"eng","text":"Seeds derive from ovules upon fertilization and therefore the total number of ovules determines the final seed yield, a fundamental trait in crop plants. Among the factors that co-ordinate the process of ovule formation, the transcription factors CUP-SHAPED COTYLEDON 1 (CUC1) and CUC2 and the hormone cytokinin (CK) have a particularly prominent role. Indeed, the absence of both CUC1 and CUC2 causes a severe reduction in ovule number, a phenotype that can be rescued by CK treatment. In this study, we combined CK quantification with an integrative genome-wide target identification approach to select Arabidopsis genes regulated by CUCs that are also involved in CK metabolism. We focused our attention on the functional characterization of UDP-GLUCOSYL TRANSFERASE 85A3 (UGT85A3) and UGT73C1, which are up-regulated in the absence of CUC1 and CUC2 and encode enzymes able to catalyse CK inactivation by O-glucosylation. Our results demonstrate a role for these UGTs as a link between CUCs and CK homeostasis, and highlight the importance of CUCs and CKs in the determination of seed yield."}],"issue":"21","type":"journal_article"},{"month":"10","language":[{"iso":"eng"}],"doi":"10.1103/PhysRevB.98.161122","quality_controlled":"1","isi":1,"oa":1,"main_file_link":[{"url":"https://arxiv.org/abs/1806.08316","open_access":"1"}],"external_id":{"arxiv":["1806.08316"],"isi":["000448596500002"]},"publist_id":"8008","article_number":"161122","date_updated":"2023-09-11T12:55:03Z","date_created":"2018-12-11T11:44:20Z","volume":98,"author":[{"full_name":"Hetterich, Daniel","last_name":"Hetterich","first_name":"Daniel"},{"full_name":"Yao, Norman","last_name":"Yao","first_name":"Norman"},{"first_name":"Maksym","last_name":"Serbyn","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2399-5827","full_name":"Serbyn, Maksym"},{"full_name":"Pollmann, Frank","first_name":"Frank","last_name":"Pollmann"},{"last_name":"Trauzettel","first_name":"Björn","full_name":"Trauzettel, Björn"}],"publication_status":"published","department":[{"_id":"MaSe"}],"publisher":"American Physical Society","acknowledgement":"F.P. acknowledges the sup- port of the DFG Research Unit FOR 1807 through Grants No. PO 1370/2-1 and No. TRR80, the Nanosystems Initiative Munich (NIM) by the German Excellence Initiative, and the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 771537). N.Y.Y. acknowledges support from the NSF (PHY-1654740), the ARO STIR program, and a Google research award.","year":"2018","day":"15","article_processing_charge":"No","scopus_import":"1","date_published":"2018-10-15T00:00:00Z","article_type":"original","publication":"Physical Review B","citation":{"short":"D. Hetterich, N. Yao, M. Serbyn, F. Pollmann, B. Trauzettel, Physical Review B 98 (2018).","mla":"Hetterich, Daniel, et al. “Detection and Characterization of Many-Body Localization in Central Spin Models.” Physical Review B, vol. 98, no. 16, 161122, American Physical Society, 2018, doi:10.1103/PhysRevB.98.161122.","chicago":"Hetterich, Daniel, Norman Yao, Maksym Serbyn, Frank Pollmann, and Björn Trauzettel. “Detection and Characterization of Many-Body Localization in Central Spin Models.” Physical Review B. American Physical Society, 2018. https://doi.org/10.1103/PhysRevB.98.161122.","ama":"Hetterich D, Yao N, Serbyn M, Pollmann F, Trauzettel B. Detection and characterization of many-body localization in central spin models. Physical Review B. 2018;98(16). doi:10.1103/PhysRevB.98.161122","apa":"Hetterich, D., Yao, N., Serbyn, M., Pollmann, F., & Trauzettel, B. (2018). Detection and characterization of many-body localization in central spin models. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.98.161122","ieee":"D. Hetterich, N. Yao, M. Serbyn, F. Pollmann, and B. Trauzettel, “Detection and characterization of many-body localization in central spin models,” Physical Review B, vol. 98, no. 16. American Physical Society, 2018.","ista":"Hetterich D, Yao N, Serbyn M, Pollmann F, Trauzettel B. 2018. Detection and characterization of many-body localization in central spin models. Physical Review B. 98(16), 161122."},"abstract":[{"lang":"eng","text":"We analyze a disordered central spin model, where a central spin interacts equally with each spin in a periodic one-dimensional (1D) random-field Heisenberg chain. If the Heisenberg chain is initially in the many-body localized (MBL) phase, we find that the coupling to the central spin suffices to delocalize the chain for a substantial range of coupling strengths. We calculate the phase diagram of the model and identify the phase boundary between the MBL and ergodic phase. Within the localized phase, the central spin significantly enhances the rate of the logarithmic entanglement growth and its saturation value. We attribute the increase in entanglement entropy to a nonextensive enhancement of magnetization fluctuations induced by the central spin. Finally, we demonstrate that correlation functions of the central spin can be utilized to distinguish between MBL and ergodic phases of the 1D chain. Hence, we propose the use of a central spin as a possible experimental probe to identify the MBL phase."}],"issue":"16","type":"journal_article","oa_version":"Preprint","title":"Detection and characterization of many-body localization in central spin models","status":"public","intvolume":" 98","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"46"},{"doi":"10.1016/j.devcel.2018.04.002","language":[{"iso":"eng"}],"acknowledged_ssus":[{"_id":"SSU"}],"external_id":{"pmid":["29738712"],"isi":["000432461400009"]},"oa":1,"main_file_link":[{"url":"https://doi.org/10.1016/j.devcel.2018.04.002","open_access":"1"}],"project":[{"_id":"253B6E48-B435-11E9-9278-68D0E5697425","grant_number":"P29638","call_identifier":"FWF","name":"Drosophila TNFa´s Funktion in Immunzellen"},{"grant_number":"334077","_id":"2536F660-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Investigating the role of transporters in invasive migration through junctions"}],"isi":1,"quality_controlled":"1","month":"05","related_material":{"link":[{"url":"https://ist.ac.at/en/news/cells-change-tension-to-make-tissue-barriers-easier-to-get-through/","description":"News on IST Homepage","relation":"press_release"}]},"author":[{"full_name":"Ratheesh, Aparna","first_name":"Aparna","last_name":"Ratheesh","id":"2F064CFE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7190-0776"},{"full_name":"Biebl, Julia","first_name":"Julia","last_name":"Biebl","id":"3CCBB46E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Michael","last_name":"Smutny","full_name":"Smutny, Michael"},{"id":"433253EE-F248-11E8-B48F-1D18A9856A87","last_name":"Veselá","first_name":"Jana","full_name":"Veselá, Jana"},{"full_name":"Papusheva, Ekaterina","last_name":"Papusheva","first_name":"Ekaterina","id":"41DB591E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Gabriel","last_name":"Krens","id":"2B819732-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4761-5996","full_name":"Krens, Gabriel"},{"full_name":"Kaufmann, Walter","id":"3F99E422-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9735-5315","first_name":"Walter","last_name":"Kaufmann"},{"full_name":"György, Attila","orcid":"0000-0002-1819-198X","id":"3BCEDBE0-F248-11E8-B48F-1D18A9856A87","last_name":"György","first_name":"Attila"},{"id":"3DBA3F4E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6009-6804","first_name":"Alessandra M","last_name":"Casano","full_name":"Casano, Alessandra M"},{"id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8323-8353","first_name":"Daria E","last_name":"Siekhaus","full_name":"Siekhaus, Daria E"}],"volume":45,"date_created":"2018-12-11T11:45:44Z","date_updated":"2023-09-11T13:22:13Z","pmid":1,"year":"2018","department":[{"_id":"DaSi"},{"_id":"CaHe"},{"_id":"Bio"},{"_id":"EM-Fac"},{"_id":"MiSi"}],"publisher":"Elsevier","publication_status":"published","ec_funded":1,"date_published":"2018-05-07T00:00:00Z","citation":{"ista":"Ratheesh A, Bicher J, Smutny M, Veselá J, Papusheva E, Krens G, Kaufmann W, György A, Casano AM, Siekhaus DE. 2018. Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration. Developmental Cell. 45(3), 331–346.","apa":"Ratheesh, A., Bicher, J., Smutny, M., Veselá, J., Papusheva, E., Krens, G., … Siekhaus, D. E. (2018). Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2018.04.002","ieee":"A. Ratheesh et al., “Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration,” Developmental Cell, vol. 45, no. 3. Elsevier, pp. 331–346, 2018.","ama":"Ratheesh A, Bicher J, Smutny M, et al. Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration. Developmental Cell. 2018;45(3):331-346. doi:10.1016/j.devcel.2018.04.002","chicago":"Ratheesh, Aparna, Julia Bicher, Michael Smutny, Jana Veselá, Ekaterina Papusheva, Gabriel Krens, Walter Kaufmann, Attila György, Alessandra M Casano, and Daria E Siekhaus. “Drosophila TNF Modulates Tissue Tension in the Embryo to Facilitate Macrophage Invasive Migration.” Developmental Cell. Elsevier, 2018. https://doi.org/10.1016/j.devcel.2018.04.002.","mla":"Ratheesh, Aparna, et al. “Drosophila TNF Modulates Tissue Tension in the Embryo to Facilitate Macrophage Invasive Migration.” Developmental Cell, vol. 45, no. 3, Elsevier, 2018, pp. 331–46, doi:10.1016/j.devcel.2018.04.002.","short":"A. Ratheesh, J. Bicher, M. Smutny, J. Veselá, E. Papusheva, G. Krens, W. Kaufmann, A. György, A.M. Casano, D.E. Siekhaus, Developmental Cell 45 (2018) 331–346."},"publication":"Developmental Cell","page":"331 - 346","article_type":"original","article_processing_charge":"No","day":"07","scopus_import":"1","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"308","intvolume":" 45","status":"public","title":"Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration","issue":"3","abstract":[{"lang":"eng","text":"Migrating cells penetrate tissue barriers during development, inflammatory responses, and tumor metastasis. We study if migration in vivo in such three-dimensionally confined environments requires changes in the mechanical properties of the surrounding cells using embryonic Drosophila melanogaster hemocytes, also called macrophages, as a model. We find that macrophage invasion into the germband through transient separation of the apposing ectoderm and mesoderm requires cell deformations and reductions in apical tension in the ectoderm. Interestingly, the genetic pathway governing these mechanical shifts acts downstream of the only known tumor necrosis factor superfamily member in Drosophila, Eiger, and its receptor, Grindelwald. Eiger-Grindelwald signaling reduces levels of active Myosin in the germband ectodermal cortex through the localization of a Crumbs complex component, Patj (Pals-1-associated tight junction protein). We therefore elucidate a distinct molecular pathway that controls tissue tension and demonstrate the importance of such regulation for invasive migration in vivo."}],"type":"journal_article"},{"year":"2018","publication_status":"published","department":[{"_id":"BjHo"}],"publisher":"American Physical Society","author":[{"first_name":"Atul","last_name":"Varshney","id":"2A2006B2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3072-5999","full_name":"Varshney, Atul"},{"full_name":"Steinberg, Victor","last_name":"Steinberg","first_name":"Victor"}],"date_updated":"2023-09-11T12:59:28Z","date_created":"2018-12-11T11:44:11Z","volume":3,"article_number":"103302 ","file_date_updated":"2020-07-14T12:45:12Z","ec_funded":1,"publist_id":"8038","external_id":{"isi":["000447311500001"]},"oa":1,"quality_controlled":"1","isi":1,"project":[{"grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships"}],"doi":"10.1103/PhysRevFluids.3.103302","language":[{"iso":"eng"}],"month":"10","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"17","title":"Drag enhancement and drag reduction in viscoelastic flow","status":"public","ddc":["532"],"intvolume":" 3","pubrep_id":"1061","file":[{"file_size":1409040,"content_type":"application/pdf","creator":"system","file_name":"IST-2018-1061-v1+1_PhysRevFluids.3.103302.pdf","access_level":"open_access","date_created":"2018-12-12T10:10:14Z","date_updated":"2020-07-14T12:45:12Z","checksum":"e1445be33e8165114e96246275600750","relation":"main_file","file_id":"4800"}],"oa_version":"Published Version","type":"journal_article","abstract":[{"text":"Creeping flow of polymeric fluid without inertia exhibits elastic instabilities and elastic turbulence accompanied by drag enhancement due to elastic stress produced by flow-stretched polymers. However, in inertia-dominated flow at high Re and low fluid elasticity El, a reduction in turbulent frictional drag is caused by an intricate competition between inertial and elastic stresses. Here we explore the effect of inertia on the stability of viscoelastic flow in a broad range of control parameters El and (Re,Wi). We present the stability diagram of observed flow regimes in Wi-Re coordinates and find that the instabilities' onsets show an unexpectedly nonmonotonic dependence on El. Further, three distinct regions in the diagram are identified based on El. Strikingly, for high-elasticity fluids we discover a complete relaminarization of flow at Reynolds number in the range of 1 to 10, different from a well-known turbulent drag reduction. These counterintuitive effects may be explained by a finite polymer extensibility and a suppression of vorticity at high Wi. Our results call for further theoretical and numerical development to uncover the role of inertial effect on elastic turbulence in a viscoelastic flow.","lang":"eng"}],"issue":"10","publication":"Physical Review Fluids","citation":{"ama":"Varshney A, Steinberg V. Drag enhancement and drag reduction in viscoelastic flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103302","ista":"Varshney A, Steinberg V. 2018. Drag enhancement and drag reduction in viscoelastic flow. Physical Review Fluids. 3(10), 103302.","ieee":"A. Varshney and V. Steinberg, “Drag enhancement and drag reduction in viscoelastic flow,” Physical Review Fluids, vol. 3, no. 10. American Physical Society, 2018.","apa":"Varshney, A., & Steinberg, V. (2018). Drag enhancement and drag reduction in viscoelastic flow. Physical Review Fluids. American Physical Society. https://doi.org/10.1103/PhysRevFluids.3.103302","mla":"Varshney, Atul, and Victor Steinberg. “Drag Enhancement and Drag Reduction in Viscoelastic Flow.” Physical Review Fluids, vol. 3, no. 10, 103302, American Physical Society, 2018, doi:10.1103/PhysRevFluids.3.103302.","short":"A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).","chicago":"Varshney, Atul, and Victor Steinberg. “Drag Enhancement and Drag Reduction in Viscoelastic Flow.” Physical Review Fluids. American Physical Society, 2018. https://doi.org/10.1103/PhysRevFluids.3.103302."},"date_published":"2018-10-15T00:00:00Z","scopus_import":"1","day":"15","has_accepted_license":"1","article_processing_charge":"No"},{"date_published":"2018-06-05T00:00:00Z","publication":"PNAS","citation":{"ista":"Granados A, Pietsch J, Cepeda Humerez SA, Farquhar I, Tkačik G, Swain P. 2018. Distributed and dynamic intracellular organization of extracellular information. PNAS. 115(23), 6088–6093.","ieee":"A. Granados, J. Pietsch, S. A. Cepeda Humerez, I. Farquhar, G. Tkačik, and P. Swain, “Distributed and dynamic intracellular organization of extracellular information,” PNAS, vol. 115, no. 23. National Academy of Sciences, pp. 6088–6093, 2018.","apa":"Granados, A., Pietsch, J., Cepeda Humerez, S. A., Farquhar, I., Tkačik, G., & Swain, P. (2018). Distributed and dynamic intracellular organization of extracellular information. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1716659115","ama":"Granados A, Pietsch J, Cepeda Humerez SA, Farquhar I, Tkačik G, Swain P. Distributed and dynamic intracellular organization of extracellular information. PNAS. 2018;115(23):6088-6093. doi:10.1073/pnas.1716659115","chicago":"Granados, Alejandro, Julian Pietsch, Sarah A Cepeda Humerez, Isebail Farquhar, Gašper Tkačik, and Peter Swain. “Distributed and Dynamic Intracellular Organization of Extracellular Information.” PNAS. National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1716659115.","mla":"Granados, Alejandro, et al. “Distributed and Dynamic Intracellular Organization of Extracellular Information.” PNAS, vol. 115, no. 23, National Academy of Sciences, 2018, pp. 6088–93, doi:10.1073/pnas.1716659115.","short":"A. Granados, J. Pietsch, S.A. Cepeda Humerez, I. Farquhar, G. Tkačik, P. Swain, PNAS 115 (2018) 6088–6093."},"article_type":"original","page":"6088 - 6093","day":"05","article_processing_charge":"No","scopus_import":"1","oa_version":"Preprint","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"281","status":"public","title":"Distributed and dynamic intracellular organization of extracellular information","intvolume":" 115","abstract":[{"lang":"eng","text":"Although cells respond specifically to environments, how environmental identity is encoded intracellularly is not understood. Here, we study this organization of information in budding yeast by estimating the mutual information between environmental transitions and the dynamics of nuclear translocation for 10 transcription factors. Our method of estimation is general, scalable, and based on decoding from single cells. The dynamics of the transcription factors are necessary to encode the highest amounts of extracellular information, and we show that information is transduced through two channels: Generalists (Msn2/4, Tod6 and Dot6, Maf1, and Sfp1) can encode the nature of multiple stresses, but only if stress is high; specialists (Hog1, Yap1, and Mig1/2) encode one particular stress, but do so more quickly and for a wider range of magnitudes. In particular, Dot6 encodes almost as much information as Msn2, the master regulator of the environmental stress response. Each transcription factor reports differently, and it is only their collective behavior that distinguishes between multiple environmental states. Changes in the dynamics of the localization of transcription factors thus constitute a precise, distributed internal representation of extracellular change. We predict that such multidimensional representations are common in cellular decision-making."}],"issue":"23","type":"journal_article","doi":"10.1073/pnas.1716659115","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://www.biorxiv.org/content/early/2017/09/21/192039","open_access":"1"}],"external_id":{"pmid":["29784812"],"isi":["000434114900071"]},"oa":1,"isi":1,"quality_controlled":"1","project":[{"grant_number":"P28844-B27","_id":"254E9036-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Biophysics of information processing in gene regulation"}],"month":"06","author":[{"full_name":"Granados, Alejandro","last_name":"Granados","first_name":"Alejandro"},{"full_name":"Pietsch, Julian","first_name":"Julian","last_name":"Pietsch"},{"full_name":"Cepeda Humerez, Sarah A","last_name":"Cepeda Humerez","first_name":"Sarah A","id":"3DEE19A4-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Farquhar, Isebail","last_name":"Farquhar","first_name":"Isebail"},{"full_name":"Tkacik, Gasper","last_name":"Tkacik","first_name":"Gasper","orcid":"0000-0002-6699-1455","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Swain, Peter","first_name":"Peter","last_name":"Swain"}],"related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"6473"}]},"date_created":"2018-12-11T11:45:35Z","date_updated":"2023-09-11T12:58:24Z","volume":115,"acknowledgement":"This work was supported by the Biotechnology and Biological Sciences Research Council (J.M.J.P., I.F., and P.S.S.), the Engineering and Physical Sciences Research Council (EPSRC) (A.A.G.), and Austrian Science Fund Grant FWF P28844 (to G.T.).","year":"2018","pmid":1,"publication_status":"published","department":[{"_id":"GaTk"}],"publisher":"National Academy of Sciences","publist_id":"7618"},{"oa_version":"Published Version","_id":"620","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 131","title":"Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis","status":"public","issue":"1","abstract":[{"lang":"eng","text":"Clathrin-mediated endocytosis requires the coordinated assembly of various endocytic proteins and lipids at the plasma membrane. Accumulating evidence demonstrates a crucial role for phosphatidylinositol-4,5-bisphosphate (PtdIns(4,5)P2) in endocytosis, but specific roles for PtdIns(4)P other than as the biosynthetic precursor of PtdIns(4,5)P2 have not been clarified. In this study we investigated the role of PtdIns(4)P or PtdIns(4,5)P2 in receptor-mediated endocytosis through the construction of temperature-sensitive (ts) mutants for the PI 4-kinases Stt4p and Pik1p and the PtdIns(4) 5-kinase Mss4p. Quantitative analyses of endocytosis revealed that both the stt4(ts)pik1(ts) and mss4(ts) mutants have a severe defect in endocytic internalization. Live-cell imaging of endocytic protein dynamics in stt4(ts)pik1(ts) and mss4(ts) mutants revealed that PtdIns(4)P is required for the recruitment of the alpha-factor receptor Ste2p to clathrin-coated pits whereas PtdIns(4,5)P2 is required for membrane internalization. We also found that the localization to endocytic sites of the ENTH/ANTH domain-bearing clathrin adaptors, Ent1p/Ent2p and Yap1801p/Yap1802p, is significantly impaired in the stt4(ts)pik1(ts) mutant, but not in the mss4(ts) mutant. These results suggest distinct roles in successive steps for PtdIns(4)P and PtdIns(4,5)P2 during receptor-mediated endocytosis."}],"type":"journal_article","date_published":"2018-01-04T00:00:00Z","citation":{"short":"W. Yamamoto, S. Wada, M. Nagano, K. Aoshima, D.E. Siekhaus, J. Toshima, J. Toshima, Journal of Cell Science 131 (2018).","mla":"Yamamoto, Wataru, et al. “Distinct Roles for Plasma Membrane PtdIns 4 P and PtdIns 4 5 P2 during Yeast Receptor Mediated Endocytosis.” Journal of Cell Science, vol. 131, no. 1, jcs207696, Company of Biologists, 2018, doi:10.1242/jcs.207696.","chicago":"Yamamoto, Wataru, Suguru Wada, Makoto Nagano, Kaito Aoshima, Daria E Siekhaus, Junko Toshima, and Jiro Toshima. “Distinct Roles for Plasma Membrane PtdIns 4 P and PtdIns 4 5 P2 during Yeast Receptor Mediated Endocytosis.” Journal of Cell Science. Company of Biologists, 2018. https://doi.org/10.1242/jcs.207696.","ama":"Yamamoto W, Wada S, Nagano M, et al. Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis. Journal of Cell Science. 2018;131(1). doi:10.1242/jcs.207696","ieee":"W. Yamamoto et al., “Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis,” Journal of Cell Science, vol. 131, no. 1. Company of Biologists, 2018.","apa":"Yamamoto, W., Wada, S., Nagano, M., Aoshima, K., Siekhaus, D. E., Toshima, J., & Toshima, J. (2018). Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.207696","ista":"Yamamoto W, Wada S, Nagano M, Aoshima K, Siekhaus DE, Toshima J, Toshima J. 2018. Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis. Journal of Cell Science. 131(1), jcs207696."},"publication":"Journal of Cell Science","article_processing_charge":"No","day":"04","scopus_import":"1","author":[{"last_name":"Yamamoto","first_name":"Wataru","full_name":"Yamamoto, Wataru"},{"full_name":"Wada, Suguru","last_name":"Wada","first_name":"Suguru"},{"full_name":"Nagano, Makoto","last_name":"Nagano","first_name":"Makoto"},{"last_name":"Aoshima","first_name":"Kaito","full_name":"Aoshima, Kaito"},{"full_name":"Siekhaus, Daria E","orcid":"0000-0001-8323-8353","id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","last_name":"Siekhaus","first_name":"Daria E"},{"last_name":"Toshima","first_name":"Junko","full_name":"Toshima, Junko"},{"full_name":"Toshima, Jiro","last_name":"Toshima","first_name":"Jiro"}],"volume":131,"date_created":"2018-12-11T11:47:32Z","date_updated":"2023-09-11T12:57:13Z","pmid":1,"year":"2018","department":[{"_id":"DaSi"}],"publisher":"Company of Biologists","publication_status":"published","publist_id":"7184","article_number":"jcs207696","doi":"10.1242/jcs.207696","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pubmed/29192062"}],"oa":1,"external_id":{"isi":["000424786900012"],"pmid":["29192062"]},"quality_controlled":"1","isi":1,"month":"01"},{"date_created":"2018-12-11T11:45:04Z","date_updated":"2023-09-11T13:30:51Z","author":[{"last_name":"Bakhirkin","first_name":"Alexey","full_name":"Bakhirkin, Alexey"},{"last_name":"Ferrere","first_name":"Thomas","orcid":"0000-0001-5199-3143","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","full_name":"Ferrere, Thomas"},{"first_name":"Oded","last_name":"Maler","full_name":"Maler, Oded"}],"publisher":"ACM","department":[{"_id":"ToHe"}],"publication_status":"published","year":"2018","publist_id":"7739","file_date_updated":"2020-07-14T12:45:17Z","language":[{"iso":"eng"}],"doi":"10.1145/3178126.3178132","conference":{"name":"HSCC: Hybrid Systems: Computation and Control","end_date":"2018-04-13","location":"Porto, Portugal","start_date":"2018-04-11"},"project":[{"call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"isi":1,"quality_controlled":"1","external_id":{"isi":["000474781600020"]},"oa":1,"publication_identifier":{"isbn":["978-1-4503-5642-8 "]},"month":"04","file":[{"checksum":"81eabc96430e84336ea88310ac0a1ad0","date_created":"2020-05-14T12:18:29Z","date_updated":"2020-07-14T12:45:17Z","file_id":"7833","relation":"main_file","creator":"dernst","content_type":"application/pdf","file_size":5900421,"access_level":"open_access","file_name":"2018_HSCC_Bakhirkin.pdf"}],"oa_version":"Submitted Version","status":"public","ddc":["000"],"title":"Efficient parametric identification for STL","_id":"182","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","abstract":[{"lang":"eng","text":"We describe a new algorithm for the parametric identification problem for signal temporal logic (STL), stated as follows. Given a densetime real-valued signal w and a parameterized temporal logic formula φ, compute the subset of the parameter space that renders the formula satisfied by the signal. Unlike previous solutions, which were based on search in the parameter space or quantifier elimination, our procedure works recursively on φ and computes the evolution over time of the set of valid parameter assignments. This procedure is similar to that of monitoring or computing the robustness of φ relative to w. Our implementation and experiments demonstrate that this approach can work well in practice."}],"alternative_title":["HSCC Proceedings"],"type":"conference","date_published":"2018-04-11T00:00:00Z","page":"177 - 186","citation":{"chicago":"Bakhirkin, Alexey, Thomas Ferrere, and Oded Maler. “Efficient Parametric Identification for STL.” In Proceedings of the 21st International Conference on Hybrid Systems, 177–86. ACM, 2018. https://doi.org/10.1145/3178126.3178132.","mla":"Bakhirkin, Alexey, et al. “Efficient Parametric Identification for STL.” Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–86, doi:10.1145/3178126.3178132.","short":"A. Bakhirkin, T. Ferrere, O. Maler, in:, Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–186.","ista":"Bakhirkin A, Ferrere T, Maler O. 2018. Efficient parametric identification for STL. Proceedings of the 21st International Conference on Hybrid Systems. HSCC: Hybrid Systems: Computation and Control, HSCC Proceedings, , 177–186.","ieee":"A. Bakhirkin, T. Ferrere, and O. Maler, “Efficient parametric identification for STL,” in Proceedings of the 21st International Conference on Hybrid Systems, Porto, Portugal, 2018, pp. 177–186.","apa":"Bakhirkin, A., Ferrere, T., & Maler, O. (2018). Efficient parametric identification for STL. In Proceedings of the 21st International Conference on Hybrid Systems (pp. 177–186). Porto, Portugal: ACM. https://doi.org/10.1145/3178126.3178132","ama":"Bakhirkin A, Ferrere T, Maler O. Efficient parametric identification for STL. In: Proceedings of the 21st International Conference on Hybrid Systems. ACM; 2018:177-186. doi:10.1145/3178126.3178132"},"publication":"Proceedings of the 21st International Conference on Hybrid Systems","has_accepted_license":"1","article_processing_charge":"No","day":"11","scopus_import":"1"},{"ec_funded":1,"publist_id":"7780","year":"2018","department":[{"_id":"KrCh"}],"publisher":"IEEE","publication_status":"published","author":[{"full_name":"Brázdil, Tomáš","first_name":"Tomáš","last_name":"Brázdil"},{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee"},{"full_name":"Kučera, Antonín","first_name":"Antonín","last_name":"Kučera"},{"last_name":"Novotny","first_name":"Petr","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","full_name":"Novotny, Petr"},{"full_name":"Velan, Dominik","first_name":"Dominik","last_name":"Velan"},{"last_name":"Zuleger","first_name":"Florian","full_name":"Zuleger, Florian"}],"volume":"F138033","date_created":"2018-12-11T11:44:51Z","date_updated":"2023-09-11T13:23:42Z","publication_identifier":{"isbn":["978-1-4503-5583-4"]},"month":"07","oa":1,"external_id":{"isi":["000545262800020"]},"main_file_link":[{"url":"https://arxiv.org/abs/1804.10985","open_access":"1"}],"project":[{"grant_number":"ICT15-003","_id":"25892FC0-B435-11E9-9278-68D0E5697425","name":"Efficient Algorithms for Computer Aided Verification"},{"call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307"},{"name":"Rigorous Systems Engineering","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"}],"isi":1,"quality_controlled":"1","doi":"10.1145/3209108.3209191","conference":{"end_date":"2018-07-12","location":"Oxford, United Kingdom","start_date":"2018-07-09","name":"LICS: Logic in Computer Science"},"language":[{"iso":"eng"}],"type":"conference","alternative_title":["ACM/IEEE Symposium on Logic in Computer Science"],"abstract":[{"text":"Vector Addition Systems with States (VASS) provide a well-known and fundamental model for the analysis of concurrent processes, parameterized systems, and are also used as abstract models of programs in resource bound analysis. In this paper we study the problem of obtaining asymptotic bounds on the termination time of a given VASS. In particular, we focus on the practically important case of obtaining polynomial bounds on termination time. Our main contributions are as follows: First, we present a polynomial-time algorithm for deciding whether a given VASS has a linear asymptotic complexity. We also show that if the complexity of a VASS is not linear, it is at least quadratic. Second, we classify VASS according to quantitative properties of their cycles. We show that certain singularities in these properties are the key reason for non-polynomial asymptotic complexity of VASS. In absence of singularities, we show that the asymptotic complexity is always polynomial and of the form Θ(nk), for some integer k d, where d is the dimension of the VASS. We present a polynomial-time algorithm computing the optimal k. For general VASS, the same algorithm, which is based on a complete technique for the construction of ranking functions in VASS, produces a valid lower bound, i.e., a k such that the termination complexity is (nk). Our results are based on new insights into the geometry of VASS dynamics, which hold the potential for further applicability to VASS analysis.","lang":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"143","status":"public","title":"Efficient algorithms for asymptotic bounds on termination time in VASS","oa_version":"Preprint","scopus_import":"1","article_processing_charge":"No","day":"09","citation":{"ama":"Brázdil T, Chatterjee K, Kučera A, Novotný P, Velan D, Zuleger F. Efficient algorithms for asymptotic bounds on termination time in VASS. In: Vol F138033. IEEE; 2018:185-194. doi:10.1145/3209108.3209191","apa":"Brázdil, T., Chatterjee, K., Kučera, A., Novotný, P., Velan, D., & Zuleger, F. (2018). Efficient algorithms for asymptotic bounds on termination time in VASS (Vol. F138033, pp. 185–194). Presented at the LICS: Logic in Computer Science, Oxford, United Kingdom: IEEE. https://doi.org/10.1145/3209108.3209191","ieee":"T. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, D. Velan, and F. Zuleger, “Efficient algorithms for asymptotic bounds on termination time in VASS,” presented at the LICS: Logic in Computer Science, Oxford, United Kingdom, 2018, vol. F138033, pp. 185–194.","ista":"Brázdil T, Chatterjee K, Kučera A, Novotný P, Velan D, Zuleger F. 2018. Efficient algorithms for asymptotic bounds on termination time in VASS. LICS: Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol. F138033, 185–194.","short":"T. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, D. Velan, F. Zuleger, in:, IEEE, 2018, pp. 185–194.","mla":"Brázdil, Tomáš, et al. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. Vol. F138033, IEEE, 2018, pp. 185–94, doi:10.1145/3209108.3209191.","chicago":"Brázdil, Tomáš, Krishnendu Chatterjee, Antonín Kučera, Petr Novotný, Dominik Velan, and Florian Zuleger. “Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS,” F138033:185–94. IEEE, 2018. https://doi.org/10.1145/3209108.3209191."},"page":"185 - 194","date_published":"2018-07-09T00:00:00Z"}]