[{"department":[{"_id":"JiFr"}],"month":"08","isi":1,"issue":"8","author":[{"first_name":"Marta","full_name":"Zwiewka, Marta","last_name":"Zwiewka"},{"last_name":"Nodzyński","full_name":"Nodzyński, Tomasz","first_name":"Tomasz"},{"full_name":"Robert, Stéphanie","last_name":"Robert","first_name":"Stéphanie"},{"last_name":"Vanneste","full_name":"Vanneste, Steffen","first_name":"Steffen"},{"first_name":"Jiřĺ","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiřĺ","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml"}],"acknowledgement":"This work was supported by the European Research Council (project ERC-2011-StG-20101109-PSDP); European Social Fund (CZ.1.07/2.3.00/20.0043) and the Czech Science Foundation GAČR (GA13-40637S) to J.F.; project Postdoc I. (CZ.1.07/2.3.00/30.0009) co-financed by the European Social Fund and the state budget of the Czech Republic to M.Z. and T.N..","year":"2015","oa_version":"None","date_updated":"2025-09-23T09:47:17Z","publist_id":"5287","status":"public","title":"Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana","intvolume":"         8","external_id":{"isi":["000359136100006"]},"_id":"1819","publisher":"Elsevier","citation":{"ieee":"M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, and J. Friml, “Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana,” <i>Molecular Plant</i>, vol. 8, no. 8. Elsevier, pp. 1175–1187, 2015.","chicago":"Zwiewka, Marta, Tomasz Nodzyński, Stéphanie Robert, Steffen Vanneste, and Jiří Friml. “Osmotic Stress Modulates the Balance between Exocytosis and Clathrin Mediated Endocytosis in Arabidopsis Thaliana.” <i>Molecular Plant</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.molp.2015.03.007\">https://doi.org/10.1016/j.molp.2015.03.007</a>.","ista":"Zwiewka M, Nodzyński T, Robert S, Vanneste S, Friml J. 2015. Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant. 8(8), 1175–1187.","ama":"Zwiewka M, Nodzyński T, Robert S, Vanneste S, Friml J. Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. <i>Molecular Plant</i>. 2015;8(8):1175-1187. doi:<a href=\"https://doi.org/10.1016/j.molp.2015.03.007\">10.1016/j.molp.2015.03.007</a>","mla":"Zwiewka, Marta, et al. “Osmotic Stress Modulates the Balance between Exocytosis and Clathrin Mediated Endocytosis in Arabidopsis Thaliana.” <i>Molecular Plant</i>, vol. 8, no. 8, Elsevier, 2015, pp. 1175–87, doi:<a href=\"https://doi.org/10.1016/j.molp.2015.03.007\">10.1016/j.molp.2015.03.007</a>.","apa":"Zwiewka, M., Nodzyński, T., Robert, S., Vanneste, S., &#38; Friml, J. (2015). Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. <i>Molecular Plant</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.molp.2015.03.007\">https://doi.org/10.1016/j.molp.2015.03.007</a>","short":"M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, J. Friml, Molecular Plant 8 (2015) 1175–1187."},"article_processing_charge":"No","date_created":"2018-12-11T11:54:11Z","volume":8,"type":"journal_article","quality_controlled":"1","publication_status":"published","doi":"10.1016/j.molp.2015.03.007","scopus_import":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"Molecular Plant","language":[{"iso":"eng"}],"corr_author":"1","fulldoi":"https://doi.org/10.1016/j.molp.2015.03.007","ec_funded":1,"project":[{"_id":"25716A02-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"282300","name":"Polarity and subcellular dynamics in plants"}],"date_published":"2015-08-03T00:00:00Z","page":"1175 - 1187","day":"03","abstract":[{"text":"The sessile life style of plants creates the need to deal with an often adverse environment, in which water availability can change on a daily basis, challenging the cellular physiology and integrity. Changes in osmotic conditions disrupt the equilibrium of the plasma membrane: hypoosmotic conditions increase and hyperosmotic environment decrease the cell volume. Here, we show that short-term extracellular osmotic treatments are closely followed by a shift in the balance between endocytosis and exocytosis in root meristem cells. Acute hyperosmotic treatments (ionic and nonionic) enhance clathrin-mediated endocytosis simultaneously attenuating exocytosis, whereas hypoosmotic treatments have the opposite effects. In addition to clathrin recruitment to the plasma membrane, components of early endocytic trafficking are essential during hyperosmotic stress responses. Consequently, growth of seedlings defective in elements of clathrin or early endocytic machinery is more sensitive to hyperosmotic treatments. We also found that the endocytotic response to a change of osmotic status in the environment is dominant over the presumably evolutionary more recent regulatory effect of plant hormones, such as auxin. These results imply that osmotic perturbation influences the balance between endocytosis and exocytosis acting through clathrin-mediated endocytosis. We propose that tension on the plasma membrane determines the addition or removal of membranes at the cell surface, thus preserving cell integrity.","lang":"eng"}]},{"issue":"4","has_accepted_license":"1","pubrep_id":"395","department":[{"_id":"ToBo"}],"month":"04","isi":1,"ddc":["570"],"date_updated":"2025-09-23T13:38:00Z","article_number":"807","publist_id":"5283","author":[{"id":"424D78A0-F248-11E8-B48F-1D18A9856A87","last_name":"Chevereau","full_name":"Chevereau, Guillaume","first_name":"Guillaume"},{"orcid":"0000-0003-4398-476X","first_name":"Mark Tobias","last_name":"Bollenbach","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","full_name":"Bollenbach, Mark Tobias"}],"oa_version":"Published Version","year":"2015","intvolume":"        11","title":"Systematic discovery of drug interaction mechanisms","oa":1,"status":"public","file_date_updated":"2020-07-14T12:45:17Z","publisher":"Nature Publishing Group","date_created":"2018-12-11T11:54:12Z","volume":11,"article_processing_charge":"No","citation":{"ama":"Chevereau G, Bollenbach MT. Systematic discovery of drug interaction mechanisms. <i>Molecular Systems Biology</i>. 2015;11(4). doi:<a href=\"https://doi.org/10.15252/msb.20156098\">10.15252/msb.20156098</a>","ista":"Chevereau G, Bollenbach MT. 2015. Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. 11(4), 807.","mla":"Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery of Drug Interaction Mechanisms.” <i>Molecular Systems Biology</i>, vol. 11, no. 4, 807, Nature Publishing Group, 2015, doi:<a href=\"https://doi.org/10.15252/msb.20156098\">10.15252/msb.20156098</a>.","apa":"Chevereau, G., &#38; Bollenbach, M. T. (2015). Systematic discovery of drug interaction mechanisms. <i>Molecular Systems Biology</i>. Nature Publishing Group. <a href=\"https://doi.org/10.15252/msb.20156098\">https://doi.org/10.15252/msb.20156098</a>","short":"G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).","ieee":"G. Chevereau and M. T. Bollenbach, “Systematic discovery of drug interaction mechanisms,” <i>Molecular Systems Biology</i>, vol. 11, no. 4. Nature Publishing Group, 2015.","chicago":"Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery of Drug Interaction Mechanisms.” <i>Molecular Systems Biology</i>. Nature Publishing Group, 2015. <a href=\"https://doi.org/10.15252/msb.20156098\">https://doi.org/10.15252/msb.20156098</a>."},"external_id":{"isi":["000354022300005"]},"_id":"1823","doi":"10.15252/msb.20156098","scopus_import":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","quality_controlled":"1","type":"journal_article","publication_status":"published","language":[{"iso":"eng"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"publication":"Molecular Systems Biology","project":[{"call_identifier":"FWF","grant_number":"P27201-B22","name":"Revealing the mechanisms underlying drug interactions","_id":"25E9AF9E-B435-11E9-9278-68D0E5697425"},{"_id":"25EB3A80-B435-11E9-9278-68D0E5697425","grant_number":"RGP0042/2013","name":"Revealing the fundamental limits of cell growth"},{"call_identifier":"FP7","name":"Optimality principles in responses to antibiotics","grant_number":"303507","_id":"25E83C2C-B435-11E9-9278-68D0E5697425"}],"corr_author":"1","fulldoi":"https://doi.org/10.15252/msb.20156098","ec_funded":1,"day":"01","abstract":[{"text":"Abstract Drug combinations are increasingly important in disease treatments, for combating drug resistance, and for elucidating fundamental relationships in cell physiology. When drugs are combined, their individual effects on cells may be amplified or weakened. Such drug interactions are crucial for treatment efficacy, but their underlying mechanisms remain largely unknown. To uncover the causes of drug interactions, we developed a systematic approach based on precise quantification of the individual and joint effects of antibiotics on growth of genome-wide Escherichia coli gene deletion strains. We found that drug interactions between antibiotics representing the main modes of action are highly robust to genetic perturbation. This robustness is encapsulated in a general principle of bacterial growth, which enables the quantitative prediction of mutant growth rates under drug combinations. Rare violations of this principle exposed recurring cellular functions controlling drug interactions. In particular, we found that polysaccharide and ATP synthesis control multiple drug interactions with previously unexplained mechanisms, and small molecule adjuvants targeting these functions synthetically reshape drug interactions in predictable ways. These results provide a new conceptual framework for the design of multidrug combinations and suggest that there are universal mechanisms at the heart of most drug interactions. Synopsis A general principle of bacterial growth enables the prediction of mutant growth rates under drug combinations. Rare violations of this principle expose cellular functions that control drug interactions and can be targeted by small molecules to alter drug interactions in predictable ways. Drug interactions between antibiotics are highly robust to genetic perturbations. A general principle of bacterial growth enables the prediction of mutant growth rates under drug combinations. Rare violations of this principle expose cellular functions that control drug interactions. Diverse drug interactions are controlled by recurring cellular functions, including LPS synthesis and ATP synthesis. A general principle of bacterial growth enables the prediction of mutant growth rates under drug combinations. Rare violations of this principle expose cellular functions that control drug interactions and can be targeted by small molecules to alter drug interactions in predictable ways.","lang":"eng"}],"date_published":"2015-04-01T00:00:00Z","file":[{"date_updated":"2020-07-14T12:45:17Z","date_created":"2018-12-12T10:14:34Z","access_level":"open_access","file_id":"5087","checksum":"4289b518fbe2166682fb1a1ef9b405f3","file_size":1273573,"content_type":"application/pdf","file_name":"IST-2015-395-v1+1_807.full.pdf","relation":"main_file","creator":"system"}],"license":"https://creativecommons.org/licenses/by/4.0/"},{"oa":1,"intvolume":"         6","title":"Evolutionary games of condensates in coupled birth-death processes","file_date_updated":"2020-07-14T12:45:17Z","status":"public","volume":6,"date_created":"2018-12-11T11:54:13Z","article_processing_charge":"No","citation":{"ieee":"J. Knebel, M. Weber, T. H. Krüger, and E. Frey, “Evolutionary games of condensates in coupled birth-death processes,” <i>Nature Communications</i>, vol. 6. Nature Publishing Group, 2015.","chicago":"Knebel, Johannes, Markus Weber, Torben H Krüger, and Erwin Frey. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.” <i>Nature Communications</i>. Nature Publishing Group, 2015. <a href=\"https://doi.org/10.1038/ncomms7977\">https://doi.org/10.1038/ncomms7977</a>.","mla":"Knebel, Johannes, et al. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.” <i>Nature Communications</i>, vol. 6, 6977, Nature Publishing Group, 2015, doi:<a href=\"https://doi.org/10.1038/ncomms7977\">10.1038/ncomms7977</a>.","ama":"Knebel J, Weber M, Krüger TH, Frey E. Evolutionary games of condensates in coupled birth-death processes. <i>Nature Communications</i>. 2015;6. doi:<a href=\"https://doi.org/10.1038/ncomms7977\">10.1038/ncomms7977</a>","ista":"Knebel J, Weber M, Krüger TH, Frey E. 2015. Evolutionary games of condensates in coupled birth-death processes. Nature Communications. 6, 6977.","short":"J. Knebel, M. Weber, T.H. Krüger, E. Frey, Nature Communications 6 (2015).","apa":"Knebel, J., Weber, M., Krüger, T. H., &#38; Frey, E. (2015). Evolutionary games of condensates in coupled birth-death processes. <i>Nature Communications</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/ncomms7977\">https://doi.org/10.1038/ncomms7977</a>"},"publisher":"Nature Publishing Group","_id":"1824","external_id":{"isi":["000353705000003"]},"has_accepted_license":"1","isi":1,"month":"04","department":[{"_id":"LaEr"}],"pubrep_id":"451","publist_id":"5282","article_number":"6977","date_updated":"2025-09-23T08:44:01Z","ddc":["530"],"year":"2015","oa_version":"Published Version","author":[{"first_name":"Johannes","last_name":"Knebel","full_name":"Knebel, Johannes"},{"last_name":"Weber","full_name":"Weber, Markus","first_name":"Markus"},{"last_name":"Krüger","id":"3020C786-F248-11E8-B48F-1D18A9856A87","full_name":"Krüger, Torben H","first_name":"Torben H","orcid":"0000-0002-4821-3297"},{"full_name":"Frey, Erwin","last_name":"Frey","first_name":"Erwin"}],"fulldoi":"https://doi.org/10.1038/ncomms7977","abstract":[{"lang":"eng","text":"Condensation phenomena arise through a collective behaviour of particles. They are observed in both classical and quantum systems, ranging from the formation of traffic jams in mass transport models to the macroscopic occupation of the energetic ground state in ultra-cold bosonic gases (Bose-Einstein condensation). Recently, it has been shown that a driven and dissipative system of bosons may form multiple condensates. Which states become the condensates has, however, remained elusive thus far. The dynamics of this condensation are described by coupled birth-death processes, which also occur in evolutionary game theory. Here we apply concepts from evolutionary game theory to explain the formation of multiple condensates in such driven-dissipative bosonic systems. We show that the vanishing of relative entropy production determines their selection. The condensation proceeds exponentially fast, but the system never comes to rest. Instead, the occupation numbers of condensates may oscillate, as we demonstrate for a rock-paper-scissors game of condensates."}],"day":"24","date_published":"2015-04-24T00:00:00Z","file":[{"access_level":"open_access","file_id":"5245","checksum":"c4cffb5c8b245e658a34eac71a03e7cc","date_updated":"2020-07-14T12:45:17Z","date_created":"2018-12-12T10:16:54Z","creator":"system","file_size":1151501,"content_type":"application/pdf","relation":"main_file","file_name":"IST-2016-451-v1+1_ncomms7977.pdf"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","scopus_import":"1","doi":"10.1038/ncomms7977","publication_status":"published","type":"journal_article","quality_controlled":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"language":[{"iso":"eng"}],"publication":"Nature Communications"},{"doi":"10.1371/journal.pcbi.1004055","scopus_import":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","quality_controlled":"1","type":"journal_article","publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"language":[{"iso":"eng"}],"related_material":{"record":[{"status":"public","id":"9718","relation":"research_data"},{"relation":"research_data","id":"9773","status":"public"}]},"publication":"PLoS Computational Biology","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734"}],"fulldoi":"https://doi.org/10.1371/journal.pcbi.1004055","ec_funded":1,"day":"23","abstract":[{"text":"Bow-tie or hourglass structure is a common architectural feature found in many biological systems. A bow-tie in a multi-layered structure occurs when intermediate layers have much fewer components than the input and output layers. Examples include metabolism where a handful of building blocks mediate between multiple input nutrients and multiple output biomass components, and signaling networks where information from numerous receptor types passes through a small set of signaling pathways to regulate multiple output genes. Little is known, however, about how bow-tie architectures evolve. Here, we address the evolution of bow-tie architectures using simulations of multi-layered systems evolving to fulfill a given input-output goal. We find that bow-ties spontaneously evolve when the information in the evolutionary goal can be compressed. Mathematically speaking, bow-ties evolve when the rank of the input-output matrix describing the evolutionary goal is deficient. The maximal compression possible (the rank of the goal) determines the size of the narrowest part of the network—that is the bow-tie. A further requirement is that a process is active to reduce the number of links in the network, such as product-rule mutations, otherwise a non-bow-tie solution is found in the evolutionary simulations. This offers a mechanism to understand a common architectural principle of biological systems, and a way to quantitate the effective rank of the goals under which they evolved.","lang":"eng"}],"file":[{"date_updated":"2020-07-14T12:45:17Z","date_created":"2018-12-12T10:15:39Z","checksum":"b8aa66f450ff8de393014b87ec7d2efb","access_level":"open_access","file_id":"5161","relation":"main_file","file_name":"IST-2016-452-v1+1_journal.pcbi.1004055.pdf","file_size":1811647,"content_type":"application/pdf","creator":"system"}],"date_published":"2015-03-23T00:00:00Z","issue":"3","has_accepted_license":"1","pubrep_id":"452","department":[{"_id":"GaTk"}],"month":"03","isi":1,"ddc":["576"],"date_updated":"2025-09-23T08:43:16Z","publist_id":"5278","author":[{"first_name":"Tamar","full_name":"Friedlander, Tamar","id":"36A5845C-F248-11E8-B48F-1D18A9856A87","last_name":"Friedlander"},{"first_name":"Avraham","last_name":"Mayo","full_name":"Mayo, Avraham"},{"full_name":"Tlusty, Tsvi","last_name":"Tlusty","first_name":"Tsvi"},{"full_name":"Alon, Uri","last_name":"Alon","first_name":"Uri"}],"year":"2015","oa_version":"Published Version","intvolume":"        11","title":"Evolution of bow-tie architectures in biology","oa":1,"status":"public","file_date_updated":"2020-07-14T12:45:17Z","publisher":"Public Library of Science","article_processing_charge":"No","citation":{"chicago":"Friedlander, Tamar, Avraham Mayo, Tsvi Tlusty, and Uri Alon. “Evolution of Bow-Tie Architectures in Biology.” <i>PLoS Computational Biology</i>. Public Library of Science, 2015. <a href=\"https://doi.org/10.1371/journal.pcbi.1004055\">https://doi.org/10.1371/journal.pcbi.1004055</a>.","ieee":"T. Friedlander, A. Mayo, T. Tlusty, and U. Alon, “Evolution of bow-tie architectures in biology,” <i>PLoS Computational Biology</i>, vol. 11, no. 3. Public Library of Science, 2015.","apa":"Friedlander, T., Mayo, A., Tlusty, T., &#38; Alon, U. (2015). Evolution of bow-tie architectures in biology. <i>PLoS Computational Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pcbi.1004055\">https://doi.org/10.1371/journal.pcbi.1004055</a>","short":"T. Friedlander, A. Mayo, T. Tlusty, U. Alon, PLoS Computational Biology 11 (2015).","ama":"Friedlander T, Mayo A, Tlusty T, Alon U. Evolution of bow-tie architectures in biology. <i>PLoS Computational Biology</i>. 2015;11(3). doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1004055\">10.1371/journal.pcbi.1004055</a>","ista":"Friedlander T, Mayo A, Tlusty T, Alon U. 2015. Evolution of bow-tie architectures in biology. PLoS Computational Biology. 11(3).","mla":"Friedlander, Tamar, et al. “Evolution of Bow-Tie Architectures in Biology.” <i>PLoS Computational Biology</i>, vol. 11, no. 3, Public Library of Science, 2015, doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1004055\">10.1371/journal.pcbi.1004055</a>."},"volume":11,"date_created":"2018-12-11T11:54:14Z","external_id":{"isi":["000352195700006"]},"_id":"1827"},{"language":[{"iso":"eng"}],"publication":"Journal of Statistical Physics","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.1007/s10955-015-1238-5","scopus_import":"1","quality_controlled":"1","type":"journal_article","publication_status":"published","abstract":[{"lang":"eng","text":"We construct a non-linear Markov process connected with a biological model of a bacterial genome recombination. The description of invariant measures of this process gives us the solution of one problem in elementary probability theory."}],"day":"01","page":"163 - 167","date_published":"2015-07-01T00:00:00Z","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","grant_number":"291734","call_identifier":"FP7"}],"fulldoi":"https://doi.org/10.1007/s10955-015-1238-5","ec_funded":1,"corr_author":"1","date_updated":"2025-09-23T09:23:53Z","publist_id":"5276","year":"2015","oa_version":"Preprint","author":[{"first_name":"Arseniy","orcid":"0000-0002-2548-617X","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","last_name":"Akopyan","full_name":"Akopyan, Arseniy"},{"first_name":"Sergey","full_name":"Pirogov, Sergey","last_name":"Pirogov"},{"full_name":"Rybko, Aleksandr","last_name":"Rybko","first_name":"Aleksandr"}],"issue":"1","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.1406.5313","open_access":"1"}],"month":"07","isi":1,"department":[{"_id":"HeEd"}],"date_created":"2018-12-11T11:54:14Z","article_processing_charge":"No","volume":160,"citation":{"ieee":"A. Akopyan, S. Pirogov, and A. Rybko, “Invariant measures of genetic recombination process,” <i>Journal of Statistical Physics</i>, vol. 160, no. 1. Springer, pp. 163–167, 2015.","chicago":"Akopyan, Arseniy, Sergey Pirogov, and Aleksandr Rybko. “Invariant Measures of Genetic Recombination Process.” <i>Journal of Statistical Physics</i>. Springer, 2015. <a href=\"https://doi.org/10.1007/s10955-015-1238-5\">https://doi.org/10.1007/s10955-015-1238-5</a>.","ista":"Akopyan A, Pirogov S, Rybko A. 2015. Invariant measures of genetic recombination process. Journal of Statistical Physics. 160(1), 163–167.","ama":"Akopyan A, Pirogov S, Rybko A. Invariant measures of genetic recombination process. <i>Journal of Statistical Physics</i>. 2015;160(1):163-167. doi:<a href=\"https://doi.org/10.1007/s10955-015-1238-5\">10.1007/s10955-015-1238-5</a>","mla":"Akopyan, Arseniy, et al. “Invariant Measures of Genetic Recombination Process.” <i>Journal of Statistical Physics</i>, vol. 160, no. 1, Springer, 2015, pp. 163–67, doi:<a href=\"https://doi.org/10.1007/s10955-015-1238-5\">10.1007/s10955-015-1238-5</a>.","apa":"Akopyan, A., Pirogov, S., &#38; Rybko, A. (2015). Invariant measures of genetic recombination process. <i>Journal of Statistical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s10955-015-1238-5\">https://doi.org/10.1007/s10955-015-1238-5</a>","short":"A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167."},"publisher":"Springer","_id":"1828","external_id":{"isi":["000356579000009"],"arxiv":["1406.5313"]},"title":"Invariant measures of genetic recombination process","intvolume":"       160","oa":1,"status":"public","arxiv":1},{"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","scopus_import":"1","doi":"10.1098/rstb.2014.0116","publication_status":"published","type":"journal_article","quality_controlled":"1","language":[{"iso":"eng"}],"publication":"Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences","fulldoi":"https://doi.org/10.1098/rstb.2014.0116","abstract":[{"lang":"eng","text":"This paper introduces a theme issue presenting the latest developments in research on the impacts of sociality on health and fitness. The articles that follow cover research on societies ranging from insects to humans. Variation in measures of fitness (i.e. survival and reproduction) has been linked to various aspects of sociality in humans and animals alike, and variability in individual health and condition has been recognized as a key mediator of these relationships. Viewed from a broad evolutionary perspective, the evolutionary transitions from a solitary lifestyle to group living have resulted in several new health-related costs and benefits of sociality. Social transmission of parasites within groups represents a major cost of group living, but some behavioural mechanisms, such as grooming, have evolved repeatedly to reduce this cost. Group living also has created novel costs in terms of altered susceptibility to infectious and non-infectious disease as a result of the unavoidable physiological consequences of social competition and integration, which are partly alleviated by social buffering in some vertebrates. Here, we define the relevant aspects of sociality, summarize their health-related costs and benefits, and discuss possible fitness measures in different study systems. Given the pervasive effects of social factors on health and fitness, we propose a synthesis of existing conceptual approaches in disease ecology, ecological immunology and behavioural neurosciences by adding sociality as a key factor, with the goal to generate a broader framework for organismal integration of health-related research."}],"day":"01","date_published":"2015-05-01T00:00:00Z","issue":"1669","isi":1,"month":"05","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4410382/","open_access":"1"}],"department":[{"_id":"SyCr"}],"article_number":"20140116","publist_id":"5272","date_updated":"2025-09-23T10:46:39Z","oa_version":"Submitted Version","year":"2015","acknowledgement":"We thank the German Research Foundation (DFG), the Ministry of Science and Culture of Lower-Saxony (MWK Hannover) and the German Primate Centre (DPZ) for their support of the 9. Göttinger Freilandtage in 2013, a conference at which most contributions to this issue were first presented, the referees of the contributions to this issue for their constructive comments, Meggan Craft for comments, and Helen Eaton for her support in producing this theme issue.","author":[{"last_name":"Kappeler","full_name":"Kappeler, Peter","first_name":"Peter"},{"last_name":"Cremer","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","full_name":"Cremer, Sylvia","orcid":"0000-0002-2193-3868","first_name":"Sylvia"},{"first_name":"Charles","last_name":"Nunn","full_name":"Nunn, Charles"}],"oa":1,"title":"Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies","intvolume":"       370","pmid":1,"status":"public","volume":370,"article_processing_charge":"No","citation":{"apa":"Kappeler, P., Cremer, S., &#38; Nunn, C. (2015). Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. <i>Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences</i>. Royal Society. <a href=\"https://doi.org/10.1098/rstb.2014.0116\">https://doi.org/10.1098/rstb.2014.0116</a>","short":"P. Kappeler, S. Cremer, C. Nunn, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).","ama":"Kappeler P, Cremer S, Nunn C. Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. <i>Philosophical Transactions of the Royal Society of London Series B, Biological Sciences</i>. 2015;370(1669). doi:<a href=\"https://doi.org/10.1098/rstb.2014.0116\">10.1098/rstb.2014.0116</a>","mla":"Kappeler, Peter, et al. “Sociality and Health: Impacts of Sociality on Disease Susceptibility and Transmission in Animal and Human Societies.” <i>Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences</i>, vol. 370, no. 1669, 20140116, Royal Society, 2015, doi:<a href=\"https://doi.org/10.1098/rstb.2014.0116\">10.1098/rstb.2014.0116</a>.","ista":"Kappeler P, Cremer S, Nunn C. 2015. Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 370(1669), 20140116.","chicago":"Kappeler, Peter, Sylvia Cremer, and Charles Nunn. “Sociality and Health: Impacts of Sociality on Disease Susceptibility and Transmission in Animal and Human Societies.” <i>Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences</i>. Royal Society, 2015. <a href=\"https://doi.org/10.1098/rstb.2014.0116\">https://doi.org/10.1098/rstb.2014.0116</a>.","ieee":"P. Kappeler, S. Cremer, and C. Nunn, “Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies,” <i>Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences</i>, vol. 370, no. 1669. Royal Society, 2015."},"date_created":"2018-12-11T11:54:15Z","publisher":"Royal Society","_id":"1831","external_id":{"isi":["000354143400001"],"pmid":["25870402"]}},{"file_date_updated":"2020-07-14T12:45:18Z","status":"public","intvolume":"         7","title":"Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats","oa":1,"article_type":"original","_id":"1834","external_id":{"isi":["000353223200002"]},"citation":{"chicago":"Chen, Chong, Chao Wang, Xuan Zhao, Tao Zhou, Dao Xu, Zhi Wang, and Ying Wang. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.” <i>ASN Neuro</i>. SAGE Publications, 2015. <a href=\"https://doi.org/10.1177/1759091415575845\">https://doi.org/10.1177/1759091415575845</a>.","ieee":"C. Chen <i>et al.</i>, “Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats,” <i>ASN Neuro</i>, vol. 7, no. 2. SAGE Publications, 2015.","short":"C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).","apa":"Chen, C., Wang, C., Zhao, X., Zhou, T., Xu, D., Wang, Z., &#38; Wang, Y. (2015). Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. <i>ASN Neuro</i>. SAGE Publications. <a href=\"https://doi.org/10.1177/1759091415575845\">https://doi.org/10.1177/1759091415575845</a>","ama":"Chen C, Wang C, Zhao X, et al. Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. <i>ASN Neuro</i>. 2015;7(2). doi:<a href=\"https://doi.org/10.1177/1759091415575845\">10.1177/1759091415575845</a>","ista":"Chen C, Wang C, Zhao X, Zhou T, Xu D, Wang Z, Wang Y. 2015. Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. 7(2).","mla":"Chen, Chong, et al. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.” <i>ASN Neuro</i>, vol. 7, no. 2, SAGE Publications, 2015, doi:<a href=\"https://doi.org/10.1177/1759091415575845\">10.1177/1759091415575845</a>."},"date_created":"2018-12-11T11:54:16Z","volume":7,"article_processing_charge":"No","publisher":"SAGE Publications","month":"04","isi":1,"pubrep_id":"456","department":[{"_id":"PeJo"}],"has_accepted_license":"1","issue":"2","oa_version":"Published Version","year":"2015","author":[{"full_name":"Chen, Chong","last_name":"Chen","id":"3DFD581A-F248-11E8-B48F-1D18A9856A87","first_name":"Chong"},{"full_name":"Wang, Chao","last_name":"Wang","first_name":"Chao"},{"first_name":"Xuan","full_name":"Zhao, Xuan","last_name":"Zhao"},{"full_name":"Zhou, Tao","last_name":"Zhou","first_name":"Tao"},{"full_name":"Xu, Dao","last_name":"Xu","first_name":"Dao"},{"last_name":"Wang","full_name":"Wang, Zhi","first_name":"Zhi"},{"full_name":"Wang, Ying","last_name":"Wang","first_name":"Ying"}],"date_updated":"2025-09-23T09:31:50Z","publist_id":"5269","ddc":["570"],"fulldoi":"https://doi.org/10.1177/1759091415575845","license":"https://creativecommons.org/licenses/by/3.0/","date_published":"2015-04-13T00:00:00Z","file":[{"file_id":"5057","access_level":"open_access","checksum":"53e16bd3fc2ae2c0d7de9164626c37aa","date_created":"2018-12-12T10:14:08Z","date_updated":"2020-07-14T12:45:18Z","creator":"system","content_type":"application/pdf","file_size":1146814,"relation":"main_file","file_name":"IST-2016-456-v1+1_ASN_Neuro-2015-Chen-.pdf"}],"abstract":[{"text":"Huge body of evidences demonstrated that volatile anesthetics affect the hippocampal neurogenesis and neurocognitive functions, and most of them showed impairment at anesthetic dose. Here, we investigated the effect of low dose (1.8%) sevoflurane on hippocampal neurogenesis and dentate gyrus-dependent learning. Neonatal rats at postnatal day 4 to 6 (P4-6) were treated with 1.8% sevoflurane for 6 hours. Neurogenesis was quantified by bromodeoxyuridine labeling and electrophysiology recording. Four and seven weeks after treatment, the Morris water maze and contextual-fear discrimination learning tests were performed to determine the influence on spatial learning and pattern separation. A 6-hour treatment with 1.8% sevoflurane promoted hippocampal neurogenesis and increased the survival of newborn cells and the proportion of immature granular cells in the dentate gyrus of neonatal rats. Sevoflurane-treated rats performed better during the training days of the Morris water maze test and in contextual-fear discrimination learning test. These results suggest that a subanesthetic dose of sevoflurane promotes hippocampal neurogenesis in neonatal rats and facilitates their performance in dentate gyrus-dependent learning tasks.","lang":"eng"}],"day":"13","type":"journal_article","quality_controlled":"1","publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.1177/1759091415575845","scopus_import":"1","publication":"ASN Neuro","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 3.0 Unported (CC BY 3.0)","legal_code_url":"https://creativecommons.org/licenses/by/3.0/legalcode","short":"CC BY (3.0)"},"language":[{"iso":"eng"}]},{"abstract":[{"text":"The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner’s weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs satisfying the property. We experimentally show that our parameter synthesis procedure computes the mutational robustness of GRNs –an important problem of interest in evolutionary biology– more efficiently than the classical simulation method. We specify the property in linear temporal logics. We employ symbolic bounded model checking and SMT solving to compute the space of GRNs that satisfy the property, which amounts to synthesizing a set of linear constraints on the weights.","lang":"eng"}],"conference":{"start_date":"2015-04-11","end_date":"2015-04-18","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","location":"London, United Kingdom"},"day":"01","page":"469 - 483","date_published":"2015-04-01T00:00:00Z","series_title":"Lecture Notes in Computer Science","project":[{"name":"Quantitative Reactive Modeling","grant_number":"267989","call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"_id":"25B1EC9E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Speed of Adaptation in Population Genetics and Evolutionary Computation","grant_number":"618091"},{"call_identifier":"FP7","name":"Limits to selection in biology and in evolutionary computation","grant_number":"250152","_id":"25B07788-B435-11E9-9278-68D0E5697425"},{"_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734"}],"fulldoi":"https://doi.org/10.1007/978-3-662-46681-0_47","ec_funded":1,"related_material":{"record":[{"status":"public","relation":"later_version","id":"1351"}]},"language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","scopus_import":"1","doi":"10.1007/978-3-662-46681-0_47","publication_status":"published","type":"conference","quality_controlled":"1","volume":9035,"article_processing_charge":"No","citation":{"ieee":"M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking gene regulatory networks,” vol. 9035. Springer, pp. 469–483, 2015.","chicago":"Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking Gene Regulatory Networks.” Lecture Notes in Computer Science. Springer, 2015. <a href=\"https://doi.org/10.1007/978-3-662-46681-0_47\">https://doi.org/10.1007/978-3-662-46681-0_47</a>.","mla":"Giacobbe, Mirco, et al. <i>Model Checking Gene Regulatory Networks</i>. Vol. 9035, Springer, 2015, pp. 469–83, doi:<a href=\"https://doi.org/10.1007/978-3-662-46681-0_47\">10.1007/978-3-662-46681-0_47</a>.","ama":"Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking gene regulatory networks. 2015;9035:469-483. doi:<a href=\"https://doi.org/10.1007/978-3-662-46681-0_47\">10.1007/978-3-662-46681-0_47</a>","ista":"Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. 2015. Model checking gene regulatory networks. 9035, 469–483.","apa":"Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., &#38; Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. <a href=\"https://doi.org/10.1007/978-3-662-46681-0_47\">https://doi.org/10.1007/978-3-662-46681-0_47</a>","short":"M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483."},"date_created":"2018-12-11T11:54:16Z","publisher":"Springer","_id":"1835","external_id":{"arxiv":["1410.7704"]},"oa":1,"intvolume":"      9035","title":"Model checking gene regulatory networks","arxiv":1,"status":"public","publist_id":"5267","date_updated":"2025-07-10T11:50:42Z","year":"2015","oa_version":"Preprint","acknowledgement":"SNSF Early Postdoc.Mobility Fellowship, the grant number P2EZP2 148797.\r\n","author":[{"first_name":"Mirco","orcid":"0000-0001-8180-0904","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87","last_name":"Giacobbe","full_name":"Giacobbe, Mirco"},{"id":"47F8433E-F248-11E8-B48F-1D18A9856A87","last_name":"Guet","full_name":"Guet, Calin C","first_name":"Calin C","orcid":"0000-0001-6220-2052"},{"id":"335E5684-F248-11E8-B48F-1D18A9856A87","last_name":"Gupta","full_name":"Gupta, Ashutosh","first_name":"Ashutosh"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724"},{"first_name":"Tiago","orcid":"0000-0003-2361-3953","last_name":"Paixao","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87","full_name":"Paixao, Tiago"},{"last_name":"Petrov","id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","full_name":"Petrov, Tatjana","first_name":"Tatjana","orcid":"0000-0002-9041-0905"}],"alternative_title":["LNCS"],"month":"04","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1410.7704"}],"department":[{"_id":"ToHe"},{"_id":"CaGu"},{"_id":"NiBa"}]},{"page":"105 - 131","date_published":"2015-04-01T00:00:00Z","abstract":[{"lang":"eng","text":"In the standard framework for worst-case execution time (WCET) analysis of programs, the main data structure is a single instance of integer linear programming (ILP) that represents the whole program. The instance of this NP-hard problem must be solved to find an estimate forWCET, and it must be refined if the estimate is not tight.We propose a new framework for WCET analysis, based on abstract segment trees (ASTs) as the main data structure. The ASTs have two advantages. First, they allow computing WCET by solving a number of independent small ILP instances. Second, ASTs store more expressive constraints, thus enabling a more efficient and precise refinement procedure. In order to realize our framework algorithmically, we develop an algorithm for WCET estimation on ASTs, and we develop an interpolation-based counterexample-guided refinement scheme for ASTs. Furthermore, we extend our framework to obtain parametric estimates of WCET. We experimentally evaluate our approach on a set of examples from WCET benchmark suites and linear-algebra packages. We show that our analysis, with comparable effort, provides WCET estimates that in many cases significantly improve those computed by existing tools."}],"day":"01","conference":{"location":"London, United Kingdom","end_date":"2015-04-18","name":"ESOP: European Symposium on Programming","start_date":"2015-04-11"},"fulldoi":"https://doi.org/10.1007/978-3-662-46669-8_5","ec_funded":1,"project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","grant_number":"267989","call_identifier":"FP7"},{"grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"type":"conference","quality_controlled":"1","publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.1007/978-3-662-46669-8_5","scopus_import":"1","_id":"1836","external_id":{"isi":["000361751400005"]},"article_processing_charge":"No","date_created":"2018-12-11T11:54:16Z","volume":9032,"citation":{"ama":"Cerny P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. Segment abstraction for worst-case execution time analysis. 2015;9032:105-131. doi:<a href=\"https://doi.org/10.1007/978-3-662-46669-8_5\">10.1007/978-3-662-46669-8_5</a>","ista":"Cerny P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. 2015. Segment abstraction for worst-case execution time analysis. 9032, 105–131.","mla":"Cerny, Pavol, et al. <i>Segment Abstraction for Worst-Case Execution Time Analysis</i>. Vol. 9032, Springer, 2015, pp. 105–31, doi:<a href=\"https://doi.org/10.1007/978-3-662-46669-8_5\">10.1007/978-3-662-46669-8_5</a>.","apa":"Cerny, P., Henzinger, T. A., Kovács, L., Radhakrishna, A., &#38; Zwirchmayr, J. (2015). Segment abstraction for worst-case execution time analysis. Presented at the ESOP: European Symposium on Programming, London, United Kingdom: Springer. <a href=\"https://doi.org/10.1007/978-3-662-46669-8_5\">https://doi.org/10.1007/978-3-662-46669-8_5</a>","short":"P. Cerny, T.A. Henzinger, L. Kovács, A. Radhakrishna, J. Zwirchmayr, 9032 (2015) 105–131.","ieee":"P. Cerny, T. A. Henzinger, L. Kovács, A. Radhakrishna, and J. Zwirchmayr, “Segment abstraction for worst-case execution time analysis,” vol. 9032. Springer, pp. 105–131, 2015.","chicago":"Cerny, Pavol, Thomas A Henzinger, Laura Kovács, Arjun Radhakrishna, and Jakob Zwirchmayr. “Segment Abstraction for Worst-Case Execution Time Analysis.” Lecture Notes in Computer Science. Springer, 2015. <a href=\"https://doi.org/10.1007/978-3-662-46669-8_5\">https://doi.org/10.1007/978-3-662-46669-8_5</a>."},"publisher":"Springer","status":"public","intvolume":"      9032","title":"Segment abstraction for worst-case execution time analysis","year":"2015","oa_version":"None","author":[{"full_name":"Cerny, Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","last_name":"Cerny","first_name":"Pavol"},{"first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Laura","last_name":"Kovács","full_name":"Kovács, Laura"},{"id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","last_name":"Radhakrishna","full_name":"Radhakrishna, Arjun","first_name":"Arjun"},{"last_name":"Zwirchmayr","full_name":"Zwirchmayr, Jakob","first_name":"Jakob"}],"date_updated":"2025-09-23T10:42:04Z","publist_id":"5266","month":"04","isi":1,"department":[{"_id":"ToHe"}],"alternative_title":["LNCS"]},{"language":[{"iso":"eng"}],"publication":"Journal of Fluid Mechanics","doi":"10.1017/jfm.2015.184","scopus_import":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","type":"journal_article","quality_controlled":"1","publication_status":"published","day":"08","abstract":[{"text":"Transition to turbulence in straight pipes occurs in spite of the linear stability of the laminar Hagen-Poiseuille flow if both the amplitude of flow perturbations and the Reynolds number Re exceed a minimum threshold (subcritical transition). As the pipe curvature increases, centrifugal effects become important, modifying the basic flow as well as the most unstable linear modes. If the curvature (tube-to-coiling diameter d/D) is sufficiently large, a Hopf bifurcation (supercritical instability) is encountered before turbulence can be excited (subcritical instability). We trace the instability thresholds in the Re - d/D parameter space in the range 0.01 ≤ d/D\\ ≤ 0.1 by means of laser-Doppler velocimetry and determine the point where the subcritical and supercritical instabilities meet. Two different experimental set-ups are used: a closed system where the pipe forms an axisymmetric torus and an open system employing a helical pipe. Implications for the measurement of friction factors in curved pipes are discussed.","lang":"eng"}],"date_published":"2015-04-08T00:00:00Z","project":[{"name":"Decoding the complexity of turbulence at its origin","grant_number":"306589","call_identifier":"FP7","_id":"25152F3A-B435-11E9-9278-68D0E5697425"}],"ec_funded":1,"fulldoi":"https://doi.org/10.1017/jfm.2015.184","corr_author":"1","date_updated":"2025-09-23T10:50:18Z","publist_id":"5265","article_number":"R3","author":[{"orcid":"0000-0003-4312-0179","first_name":"Jakob","id":"3A47AE32-F248-11E8-B48F-1D18A9856A87","last_name":"Kühnen","full_name":"Kühnen, Jakob"},{"full_name":"Braunshier, P","last_name":"Braunshier","first_name":"P"},{"first_name":"M","full_name":"Schwegel, M","last_name":"Schwegel"},{"last_name":"Kuhlmann","full_name":"Kuhlmann, Hendrik","first_name":"Hendrik"},{"full_name":"Hof, Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87","last_name":"Hof","first_name":"Björn","orcid":"0000-0003-2057-2754"}],"year":"2015","oa_version":"Preprint","issue":"5","department":[{"_id":"BjHo"}],"main_file_link":[{"url":"https://arxiv.org/abs/1508.06559","open_access":"1"}],"month":"04","isi":1,"publisher":"Cambridge University Press","citation":{"ieee":"J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, and B. Hof, “Subcritical versus supercritical transition to turbulence in curved pipes,” <i>Journal of Fluid Mechanics</i>, vol. 770, no. 5. Cambridge University Press, 2015.","chicago":"Kühnen, Jakob, P Braunshier, M Schwegel, Hendrik Kuhlmann, and Björn Hof. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2015. <a href=\"https://doi.org/10.1017/jfm.2015.184\">https://doi.org/10.1017/jfm.2015.184</a>.","ista":"Kühnen J, Braunshier P, Schwegel M, Kuhlmann H, Hof B. 2015. Subcritical versus supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics. 770(5), R3.","mla":"Kühnen, Jakob, et al. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.” <i>Journal of Fluid Mechanics</i>, vol. 770, no. 5, R3, Cambridge University Press, 2015, doi:<a href=\"https://doi.org/10.1017/jfm.2015.184\">10.1017/jfm.2015.184</a>.","ama":"Kühnen J, Braunshier P, Schwegel M, Kuhlmann H, Hof B. Subcritical versus supercritical transition to turbulence in curved pipes. <i>Journal of Fluid Mechanics</i>. 2015;770(5). doi:<a href=\"https://doi.org/10.1017/jfm.2015.184\">10.1017/jfm.2015.184</a>","apa":"Kühnen, J., Braunshier, P., Schwegel, M., Kuhlmann, H., &#38; Hof, B. (2015). Subcritical versus supercritical transition to turbulence in curved pipes. <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jfm.2015.184\">https://doi.org/10.1017/jfm.2015.184</a>","short":"J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, B. Hof, Journal of Fluid Mechanics 770 (2015)."},"article_processing_charge":"No","volume":770,"date_created":"2018-12-11T11:54:17Z","external_id":{"isi":["000354190500003"],"arxiv":["1508.06559"]},"article_type":"original","_id":"1837","intvolume":"       770","title":"Subcritical versus supercritical transition to turbulence in curved pipes","oa":1,"status":"public","arxiv":1},{"alternative_title":["LNCS"],"department":[{"_id":"KrCh"}],"month":"01","main_file_link":[{"url":"http://arxiv.org/abs/1411.4604","open_access":"1"}],"publist_id":"5264","date_updated":"2025-06-11T07:09:03Z","author":[{"last_name":"Bloem","full_name":"Bloem, Roderick","first_name":"Roderick"},{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"last_name":"Jacobs","full_name":"Jacobs, Swen","first_name":"Swen"},{"first_name":"Robert","full_name":"Könighofer, Robert","last_name":"Könighofer"}],"acknowledgement":"This work was supported by the Austrian Science Fund (FWF) through the research network RiSE (S11406-N23, S11407-N23) and grant nr. P23499-N23, by the European Commission through an ERC Start grant (279307: Graph Games) and project STANCE (317753), as well as by the German Research Foundation (DFG) through SFB/TR 14 AVACS and project ASDPS(JA 2357/2-1).","oa_version":"Preprint","year":"2015","oa":1,"title":"Assume-guarantee synthesis for concurrent reactive programs with partial information","intvolume":"      9035","arxiv":1,"status":"public","publisher":"Springer","citation":{"ieee":"R. Bloem, K. Chatterjee, S. Jacobs, and R. Könighofer, “Assume-guarantee synthesis for concurrent reactive programs with partial information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom, 2015, vol. 9035, pp. 517–532.","chicago":"Bloem, Roderick, Krishnendu Chatterjee, Swen Jacobs, and Robert Könighofer. “Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information,” 9035:517–32. Springer, 2015. <a href=\"https://doi.org/10.1007/978-3-662-46681-0_50\">https://doi.org/10.1007/978-3-662-46681-0_50</a>.","mla":"Bloem, Roderick, et al. <i>Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information</i>. Vol. 9035, Springer, 2015, pp. 517–32, doi:<a href=\"https://doi.org/10.1007/978-3-662-46681-0_50\">10.1007/978-3-662-46681-0_50</a>.","ista":"Bloem R, Chatterjee K, Jacobs S, Könighofer R. 2015. Assume-guarantee synthesis for concurrent reactive programs with partial information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9035, 517–532.","ama":"Bloem R, Chatterjee K, Jacobs S, Könighofer R. Assume-guarantee synthesis for concurrent reactive programs with partial information. In: Vol 9035. Springer; 2015:517-532. doi:<a href=\"https://doi.org/10.1007/978-3-662-46681-0_50\">10.1007/978-3-662-46681-0_50</a>","apa":"Bloem, R., Chatterjee, K., Jacobs, S., &#38; Könighofer, R. (2015). Assume-guarantee synthesis for concurrent reactive programs with partial information (Vol. 9035, pp. 517–532). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. <a href=\"https://doi.org/10.1007/978-3-662-46681-0_50\">https://doi.org/10.1007/978-3-662-46681-0_50</a>","short":"R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532."},"volume":9035,"article_processing_charge":"No","date_created":"2018-12-11T11:54:17Z","external_id":{"arxiv":["1411.4604"]},"_id":"1838","scopus_import":"1","doi":"10.1007/978-3-662-46681-0_50","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","type":"conference","language":[{"iso":"eng"}],"project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"},{"_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","call_identifier":"FWF"},{"call_identifier":"FP7","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425"}],"fulldoi":"https://doi.org/10.1007/978-3-662-46681-0_50","ec_funded":1,"conference":{"location":"London, United Kingdom","end_date":"2015-04-18","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","start_date":"2015-04-11"},"day":"01","abstract":[{"lang":"eng","text":"Synthesis of program parts is particularly useful for concurrent systems. However, most approaches do not support common design tasks, like modifying a single process without having to re-synthesize or verify the whole system. Assume-guarantee synthesis (AGS) provides robustness against modifications of system parts, but thus far has been limited to the perfect information setting. This means that local variables cannot be hidden from other processes, which renders synthesis results cumbersome or even impossible to realize.We resolve this shortcoming by defining AGS under partial information. We analyze the complexity and decidability in different settings, showing that the problem has a high worstcase complexity and is undecidable in many interesting cases. Based on these observations, we present a pragmatic algorithm based on bounded synthesis, and demonstrate its practical applicability on several examples."}],"date_published":"2015-01-01T00:00:00Z","page":"517 - 532"},{"publisher":"Springer","citation":{"ieee":"T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives,” vol. 9035. Springer, pp. 181–187, 2015.","chicago":"Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.” Lecture Notes in Computer Science. Springer, 2015. <a href=\"https://doi.org/10.1007/978-3-662-46681-0_12\">https://doi.org/10.1007/978-3-662-46681-0_12</a>.","ista":"Brázdil T, Chatterjee K, Forejt V, Kučera A. 2015. Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. 9035, 181–187.","ama":"Brázdil T, Chatterjee K, Forejt V, Kučera A. Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. 2015;9035:181-187. doi:<a href=\"https://doi.org/10.1007/978-3-662-46681-0_12\">10.1007/978-3-662-46681-0_12</a>","mla":"Brázdil, Tomáš, et al. <i>Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives</i>. Vol. 9035, Springer, 2015, pp. 181–87, doi:<a href=\"https://doi.org/10.1007/978-3-662-46681-0_12\">10.1007/978-3-662-46681-0_12</a>.","short":"T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.","apa":"Brázdil, T., Chatterjee, K., Forejt, V., &#38; Kučera, A. (2015). Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. <a href=\"https://doi.org/10.1007/978-3-662-46681-0_12\">https://doi.org/10.1007/978-3-662-46681-0_12</a>"},"date_created":"2018-12-11T11:54:18Z","article_processing_charge":"No","volume":9035,"external_id":{"arxiv":["1501.03093"]},"_id":"1839","intvolume":"      9035","title":"Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives","oa":1,"status":"public","arxiv":1,"date_updated":"2025-06-11T07:09:21Z","publist_id":"5263","author":[{"first_name":"Tomáš","last_name":"Brázdil","full_name":"Brázdil, Tomáš"},{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"first_name":"Vojtěch","full_name":"Forejt, Vojtěch","last_name":"Forejt"},{"full_name":"Kučera, Antonín","last_name":"Kučera","first_name":"Antonín"}],"year":"2015","oa_version":"Preprint","alternative_title":["LNCS"],"department":[{"_id":"KrCh"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1501.03093"}],"month":"01","day":"01","conference":{"start_date":"2015-04-11","end_date":"2015-04-18","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","location":"London, United Kingdom"},"abstract":[{"text":"We present MultiGain, a tool to synthesize strategies for Markov decision processes (MDPs) with multiple mean-payoff objectives. Our models are described in PRISM, and our tool uses the existing interface and simulator of PRISM. Our tool extends PRISM by adding novel algorithms for multiple mean-payoff objectives, and also provides features such as (i) generating strategies and exploring them for simulation, and checking them with respect to other properties; and (ii) generating an approximate Pareto curve for two mean-payoff objectives. In addition, we present a new practical algorithm for the analysis of MDPs with multiple mean-payoff objectives under memoryless strategies.","lang":"eng"}],"date_published":"2015-01-01T00:00:00Z","page":"181 - 187","series_title":"Lecture Notes in Computer Science","project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","call_identifier":"FWF"},{"call_identifier":"FP7","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425"}],"ec_funded":1,"fulldoi":"https://doi.org/10.1007/978-3-662-46681-0_12","language":[{"iso":"eng"}],"doi":"10.1007/978-3-662-46681-0_12","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","type":"conference","publication_status":"published"},{"intvolume":"        60","title":"Optimal Kullback-Leibler aggregation via information bottleneck","oa":1,"status":"public","arxiv":1,"publisher":"IEEE","citation":{"chicago":"Geiger, Bernhard, Tatjana Petrov, Gernot Kubin, and Heinz Koeppl. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” <i>IEEE Transactions on Automatic Control</i>. IEEE, 2015. <a href=\"https://doi.org/10.1109/TAC.2014.2364971\">https://doi.org/10.1109/TAC.2014.2364971</a>.","ieee":"B. Geiger, T. Petrov, G. Kubin, and H. Koeppl, “Optimal Kullback-Leibler aggregation via information bottleneck,” <i>IEEE Transactions on Automatic Control</i>, vol. 60, no. 4. IEEE, pp. 1010–1022, 2015.","short":"B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.","apa":"Geiger, B., Petrov, T., Kubin, G., &#38; Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. <i>IEEE Transactions on Automatic Control</i>. IEEE. <a href=\"https://doi.org/10.1109/TAC.2014.2364971\">https://doi.org/10.1109/TAC.2014.2364971</a>","ama":"Geiger B, Petrov T, Kubin G, Koeppl H. Optimal Kullback-Leibler aggregation via information bottleneck. <i>IEEE Transactions on Automatic Control</i>. 2015;60(4):1010-1022. doi:<a href=\"https://doi.org/10.1109/TAC.2014.2364971\">10.1109/TAC.2014.2364971</a>","mla":"Geiger, Bernhard, et al. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” <i>IEEE Transactions on Automatic Control</i>, vol. 60, no. 4, IEEE, 2015, pp. 1010–22, doi:<a href=\"https://doi.org/10.1109/TAC.2014.2364971\">10.1109/TAC.2014.2364971</a>.","ista":"Geiger B, Petrov T, Kubin G, Koeppl H. 2015. Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. 60(4), 1010–1022."},"article_processing_charge":"No","date_created":"2018-12-11T11:54:18Z","volume":60,"external_id":{"arxiv":["1304.6603"],"isi":["000351731600009"]},"_id":"1840","issue":"4","department":[{"_id":"CaGu"},{"_id":"ToHe"}],"main_file_link":[{"url":"http://arxiv.org/abs/1304.6603","open_access":"1"}],"month":"04","isi":1,"date_updated":"2025-09-23T09:45:33Z","publist_id":"5262","acknowledgement":"This work was supported by the Austrian Research Association under Project 06/12684, by the Swiss National Science Foundation (SNSF) under Grant PP00P2 128503/1, by the SystemsX.ch (the Swiss Inititative for Systems Biology), and by a SNSF Early Postdoc.Mobility Fellowship grant P2EZP2_148797.\r\n","author":[{"first_name":"Bernhard","full_name":"Geiger, Bernhard","last_name":"Geiger"},{"full_name":"Petrov, Tatjana","id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","last_name":"Petrov","orcid":"0000-0002-9041-0905","first_name":"Tatjana"},{"first_name":"Gernot","last_name":"Kubin","full_name":"Kubin, Gernot"},{"first_name":"Heinz","full_name":"Koeppl, Heinz","last_name":"Koeppl"}],"year":"2015","oa_version":"Preprint","publication_identifier":{"issn":["0018-9286"]},"fulldoi":"https://doi.org/10.1109/TAC.2014.2364971","day":"01","abstract":[{"lang":"eng","text":"In this paper, we present a method for reducing a regular, discrete-time Markov chain (DTMC) to another DTMC with a given, typically much smaller number of states. The cost of reduction is defined as the Kullback-Leibler divergence rate between a projection of the original process through a partition function and a DTMC on the correspondingly partitioned state space. Finding the reduced model with minimal cost is computationally expensive, as it requires an exhaustive search among all state space partitions, and an exact evaluation of the reduction cost for each candidate partition. Our approach deals with the latter problem by minimizing an upper bound on the reduction cost instead of minimizing the exact cost. The proposed upper bound is easy to compute and it is tight if the original chain is lumpable with respect to the partition. Then, we express the problem in the form of information bottleneck optimization, and propose using the agglomerative information bottleneck algorithm for searching a suboptimal partition greedily, rather than exhaustively. The theory is illustrated with examples and one application scenario in the context of modeling bio-molecular interactions."}],"date_published":"2015-04-01T00:00:00Z","page":"1010 - 1022","doi":"10.1109/TAC.2014.2364971","scopus_import":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","type":"journal_article","quality_controlled":"1","publication_status":"published","language":[{"iso":"eng"}],"publication":"IEEE Transactions on Automatic Control"},{"external_id":{"arxiv":["1309.5655"],"isi":["000352533000002"]},"article_type":"original","_id":"1841","publisher":"IEEE","date_created":"2018-12-11T11:54:18Z","citation":{"ieee":"V. Kolmogorov, “A new look at reweighted message passing,” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>, vol. 37, no. 5. IEEE, pp. 919–930, 2015.","chicago":"Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. IEEE, 2015. <a href=\"https://doi.org/10.1109/TPAMI.2014.2363465\">https://doi.org/10.1109/TPAMI.2014.2363465</a>.","mla":"Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>, vol. 37, no. 5, IEEE, 2015, pp. 919–30, doi:<a href=\"https://doi.org/10.1109/TPAMI.2014.2363465\">10.1109/TPAMI.2014.2363465</a>.","ama":"Kolmogorov V. A new look at reweighted message passing. <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. 2015;37(5):919-930. doi:<a href=\"https://doi.org/10.1109/TPAMI.2014.2363465\">10.1109/TPAMI.2014.2363465</a>","ista":"Kolmogorov V. 2015. A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. 37(5), 919–930.","apa":"Kolmogorov, V. (2015). A new look at reweighted message passing. <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. IEEE. <a href=\"https://doi.org/10.1109/TPAMI.2014.2363465\">https://doi.org/10.1109/TPAMI.2014.2363465</a>","short":"V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 919–930."},"volume":37,"article_processing_charge":"No","status":"public","arxiv":1,"intvolume":"        37","title":"A new look at reweighted message passing","oa":1,"author":[{"first_name":"Vladimir","full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87"}],"year":"2015","oa_version":"Preprint","date_updated":"2025-09-22T14:33:14Z","publist_id":"5261","department":[{"_id":"VlKo"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1309.5655"}],"month":"05","isi":1,"issue":"5","OA_type":"green","date_published":"2015-05-01T00:00:00Z","page":"919 - 930","day":"01","OA_place":"repository","abstract":[{"lang":"eng","text":"We propose a new family of message passing techniques for MAP estimation in graphical models which we call Sequential Reweighted Message Passing (SRMP). Special cases include well-known techniques such as Min-Sum Diffusion (MSD) and a faster Sequential Tree-Reweighted Message Passing (TRW-S). Importantly, our derivation is simpler than the original derivation of TRW-S, and does not involve a decomposition into trees. This allows easy generalizations. The new family of algorithms can be viewed as a generalization of TRW-S from pairwise to higher-order graphical models. We test SRMP on several real-world problems with promising results."}],"fulldoi":"https://doi.org/10.1109/TPAMI.2014.2363465","ec_funded":1,"corr_author":"1","project":[{"_id":"25FBA906-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Discrete Optimization in Computer Vision: Theory and Practice","grant_number":"616160"}],"publication":"IEEE Transactions on Pattern Analysis and Machine Intelligence","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"2273"}]},"language":[{"iso":"eng"}],"quality_controlled":"1","type":"journal_article","publication_status":"published","doi":"10.1109/TPAMI.2014.2363465","scopus_import":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"issue":"8","department":[{"_id":"LaEr"}],"month":"08","main_file_link":[{"url":"http://arxiv.org/abs/1211.3786","open_access":"1"}],"isi":1,"date_updated":"2026-07-06T11:55:30Z","publist_id":"5669","author":[{"full_name":"Erdös, László","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603","first_name":"László"},{"first_name":"Horng","last_name":"Yau","full_name":"Yau, Horng"}],"year":"2015","oa_version":"Preprint","intvolume":"        17","title":"Gap universality of generalized Wigner and β ensembles","oa":1,"status":"public","arxiv":1,"publisher":"EMS Press","date_created":"2018-12-11T11:52:26Z","article_processing_charge":"No","volume":17,"citation":{"short":"L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.","apa":"Erdös, L., &#38; Yau, H. (2015). Gap universality of generalized Wigner and β ensembles. <i>Journal of the European Mathematical Society</i>. EMS Press. <a href=\"https://doi.org/10.4171/JEMS/548\">https://doi.org/10.4171/JEMS/548</a>","mla":"Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and β Ensembles.” <i>Journal of the European Mathematical Society</i>, vol. 17, no. 8, EMS Press, 2015, pp. 1927–2036, doi:<a href=\"https://doi.org/10.4171/JEMS/548\">10.4171/JEMS/548</a>.","ista":"Erdös L, Yau H. 2015. Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. 17(8), 1927–2036.","ama":"Erdös L, Yau H. Gap universality of generalized Wigner and β ensembles. <i>Journal of the European Mathematical Society</i>. 2015;17(8):1927-2036. doi:<a href=\"https://doi.org/10.4171/JEMS/548\">10.4171/JEMS/548</a>","chicago":"Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and β Ensembles.” <i>Journal of the European Mathematical Society</i>. EMS Press, 2015. <a href=\"https://doi.org/10.4171/JEMS/548\">https://doi.org/10.4171/JEMS/548</a>.","ieee":"L. Erdös and H. Yau, “Gap universality of generalized Wigner and β ensembles,” <i>Journal of the European Mathematical Society</i>, vol. 17, no. 8. EMS Press, pp. 1927–2036, 2015."},"external_id":{"isi":["000360822900003"],"arxiv":["1211.3786"]},"_id":"1508","doi":"10.4171/JEMS/548","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","das_tickbox":"1","type":"journal_article","quality_controlled":"1","publication_status":"published","language":[{"iso":"eng"}],"publication":"Journal of the European Mathematical Society","fulldoi":"https://doi.org/10.4171/JEMS/548","day":"01","abstract":[{"text":"We consider generalized Wigner ensembles and general β-ensembles with analytic potentials for any β ≥ 1. The recent universality results in particular assert that the local averages of consecutive eigenvalue gaps in the bulk of the spectrum are universal in the sense that they coincide with those of the corresponding Gaussian β-ensembles. In this article, we show that local averaging is not necessary for this result, i.e. we prove that the single gap distributions in the bulk are universal. In fact, with an additional step, our result can be extended to any C4(ℝ) potential.","lang":"eng"}],"date_published":"2015-08-01T00:00:00Z","page":"1927 - 2036"},{"scopus_import":"1","doi":"10.2168/LMCS-11(1:20)2015","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","das_tickbox":"1","publication_status":"published","quality_controlled":"1","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","short":"CC BY-ND (4.0)","image":"/image/cc_by_nd.png","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)"},"language":[{"iso":"eng"}],"related_material":{"record":[{"relation":"earlier_version","id":"2328","status":"public"}]},"publication":"Logical Methods in Computer Science","project":[{"call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","grant_number":"267989","call_identifier":"FP7"}],"fulldoi":"https://doi.org/10.2168/LMCS-11(1:20)2015","ec_funded":1,"corr_author":"1","day":"01","abstract":[{"text":"Linearizability of concurrent data structures is usually proved by monolithic simulation arguments relying on the identification of the so-called linearization points. Regrettably, such proofs, whether manual or automatic, are often complicated and scale poorly to advanced non-blocking concurrency patterns, such as helping and optimistic updates. In response, we propose a more modular way of checking linearizability of concurrent queue algorithms that does not involve identifying linearization points. We reduce the task of proving linearizability with respect to the queue specification to establishing four basic properties, each of which can be proved independently by simpler arguments. As a demonstration of our approach, we verify the Herlihy and Wing queue, an algorithm that is challenging to verify by a simulation proof. ","lang":"eng"}],"date_published":"2015-04-01T00:00:00Z","file":[{"relation":"main_file","file_name":"IST-2015-390-v1+1_1502.07639.pdf","content_type":"application/pdf","file_size":380203,"creator":"system","date_created":"2018-12-12T10:11:27Z","date_updated":"2020-07-14T12:45:17Z","checksum":"7370e164d0a731f442424a92669efc34","file_id":"4881","access_level":"open_access"}],"license":"https://creativecommons.org/licenses/by-nd/4.0/","issue":"1","has_accepted_license":"1","department":[{"_id":"ToHe"}],"pubrep_id":"390","isi":1,"month":"04","ddc":["000"],"publist_id":"5271","article_number":"20","date_updated":"2026-07-06T13:24:05Z","author":[{"last_name":"Chakraborty","full_name":"Chakraborty, Soham","first_name":"Soham"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","first_name":"Thomas A"},{"last_name":"Sezgin","full_name":"Sezgin, Ali","first_name":"Ali"},{"full_name":"Vafeiadis, Viktor","last_name":"Vafeiadis","first_name":"Viktor"}],"year":"2015","oa_version":"Published Version","oa":1,"title":"Aspect-oriented linearizability proofs","intvolume":"        11","status":"public","file_date_updated":"2020-07-14T12:45:17Z","publisher":"International Federation for Computational Logic","article_processing_charge":"No","volume":11,"date_created":"2018-12-11T11:54:15Z","citation":{"ama":"Chakraborty S, Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability proofs. <i>Logical Methods in Computer Science</i>. 2015;11(1). doi:<a href=\"https://doi.org/10.2168/LMCS-11(1:20)2015\">10.2168/LMCS-11(1:20)2015</a>","ista":"Chakraborty S, Henzinger TA, Sezgin A, Vafeiadis V. 2015. Aspect-oriented linearizability proofs. Logical Methods in Computer Science. 11(1), 20.","mla":"Chakraborty, Soham, et al. “Aspect-Oriented Linearizability Proofs.” <i>Logical Methods in Computer Science</i>, vol. 11, no. 1, 20, International Federation for Computational Logic, 2015, doi:<a href=\"https://doi.org/10.2168/LMCS-11(1:20)2015\">10.2168/LMCS-11(1:20)2015</a>.","short":"S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).","apa":"Chakraborty, S., Henzinger, T. A., Sezgin, A., &#38; Vafeiadis, V. (2015). Aspect-oriented linearizability proofs. <i>Logical Methods in Computer Science</i>. International Federation for Computational Logic. <a href=\"https://doi.org/10.2168/LMCS-11(1:20)2015\">https://doi.org/10.2168/LMCS-11(1:20)2015</a>","ieee":"S. Chakraborty, T. A. Henzinger, A. Sezgin, and V. Vafeiadis, “Aspect-oriented linearizability proofs,” <i>Logical Methods in Computer Science</i>, vol. 11, no. 1. International Federation for Computational Logic, 2015.","chicago":"Chakraborty, Soham, Thomas A Henzinger, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.” <i>Logical Methods in Computer Science</i>. International Federation for Computational Logic, 2015. <a href=\"https://doi.org/10.2168/LMCS-11(1:20)2015\">https://doi.org/10.2168/LMCS-11(1:20)2015</a>."},"external_id":{"isi":["000353193000019"]},"_id":"1832","article_type":"original"},{"date_created":"2018-12-11T11:53:01Z","volume":9135,"citation":{"ista":"Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata. 42nd International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 9135, 121–133.","ama":"Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. In: <i>42nd International Colloquium on Automata, Languages, and Programming</i>. Vol 9135. Springer Nature; 2015:121-133. doi:<a href=\"https://doi.org/10.1007/978-3-662-47666-6_10\">10.1007/978-3-662-47666-6_10</a>","mla":"Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” <i>42nd International Colloquium on Automata, Languages, and Programming</i>, vol. 9135, no. Part II, Springer Nature, 2015, pp. 121–33, doi:<a href=\"https://doi.org/10.1007/978-3-662-47666-6_10\">10.1007/978-3-662-47666-6_10</a>.","apa":"Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., &#38; Otop, J. (2015). Edit distance for pushdown automata. In <i>42nd International Colloquium on Automata, Languages, and Programming</i> (Vol. 9135, pp. 121–133). Kyoto, Japan: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-662-47666-6_10\">https://doi.org/10.1007/978-3-662-47666-6_10</a>","short":"K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium on Automata, Languages, and Programming, Springer Nature, 2015, pp. 121–133.","ieee":"K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, “Edit distance for pushdown automata,” in <i>42nd International Colloquium on Automata, Languages, and Programming</i>, Kyoto, Japan, 2015, vol. 9135, no. Part II, pp. 121–133.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” In <i>42nd International Colloquium on Automata, Languages, and Programming</i>, 9135:121–33. Springer Nature, 2015. <a href=\"https://doi.org/10.1007/978-3-662-47666-6_10\">https://doi.org/10.1007/978-3-662-47666-6_10</a>."},"article_processing_charge":"No","publisher":"Springer Nature","_id":"1610","external_id":{"isi":["000364317900010"],"arxiv":["1504.08259"]},"intvolume":"      9135","title":"Edit distance for pushdown automata","oa":1,"status":"public","arxiv":1,"date_updated":"2026-07-06T13:27:53Z","publist_id":"5556","year":"2015","oa_version":"Preprint","acknowledgement":"This research was funded in part by the European Research Council (ERC) under\r\ngrant agreement 267989 (QUAREM), by the Austrian Science Fund (FWF) projects\r\nS11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award), FWF Grant No P23499-\r\nN23, FWF NFN Grant No S11407-N23 (RiSE), ERC Start grant (279307: Graph\r\nGames), and MSR faculty fellows award.","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Rasmus","orcid":"0000-0003-4783-0389","full_name":"Ibsen-Jensen, Rasmus","last_name":"Ibsen-Jensen","id":"3B699956-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Jan","full_name":"Otop, Jan","id":"2FC5DA74-F248-11E8-B48F-1D18A9856A87","last_name":"Otop"}],"alternative_title":["LNCS"],"OA_type":"green","issue":"Part II","main_file_link":[{"url":"https://arxiv.org/abs/1504.08259","open_access":"1"}],"month":"07","isi":1,"pubrep_id":"321","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"abstract":[{"text":"The edit distance between two words w1, w2 is the minimal number of word operations (letter insertions, deletions, and substitutions) necessary to transform w1 to w2. The edit distance generalizes to languages L1,L2, where the edit distance is the minimal number k such that for every word from L1 there exists a word in L2 with edit distance at most k. We study the edit distance computation problem between pushdown automata and their subclasses. The problem of computing edit distance to pushdown automata is undecidable, and in practice, the interesting question is to compute the edit distance from a pushdown automaton (the implementation, a standard model for programs with recursion) to a regular language (the specification). In this work, we present a complete picture of decidability and complexity for deciding whether, for a given threshold k, the edit distance from a pushdown automaton to a finite automaton is at most k.","lang":"eng"}],"day":"01","OA_place":"repository","conference":{"end_date":"2015-07-10","name":"ICALP: Automata, Languages and Programming","start_date":"2015-07-06","location":"Kyoto, Japan"},"page":"121 - 133","date_published":"2015-07-01T00:00:00Z","project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Reactive Modeling","grant_number":"267989"},{"call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","call_identifier":"FWF"},{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407","name":"Game Theory","call_identifier":"FWF"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"publication_identifier":{"isbn":["978-3-662-47665-9"]},"ec_funded":1,"fulldoi":"https://doi.org/10.1007/978-3-662-47666-6_10","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"5438"},{"relation":"later_version","id":"465","status":"public"}]},"language":[{"iso":"eng"}],"publication":"42nd International Colloquium on Automata, Languages, and Programming","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1007/978-3-662-47666-6_10","scopus_import":"1","quality_controlled":"1","type":"conference","publication_status":"published"},{"language":[{"iso":"eng"}],"related_material":{"record":[{"relation":"earlier_version","id":"5429","status":"public"},{"status":"public","id":"5435","relation":"earlier_version"},{"status":"public","relation":"later_version","id":"466"}]},"type":"conference","quality_controlled":"1","publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.1109/LICS.2015.32","scopus_import":"1","page":"244 - 256","date_published":"2015-07-01T00:00:00Z","abstract":[{"text":"We consider Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) objectives. There exist two different views: (i) ~the expectation semantics, where the goal is to optimize the expected mean-payoff objective, and (ii) ~the satisfaction semantics, where the goal is to maximize the probability of runs such that the mean-payoff value stays above a given vector. We consider optimization with respect to both objectives at once, thus unifying the existing semantics. Precisely, the goal is to optimize the expectation while ensuring the satisfaction constraint. Our problem captures the notion of optimization with respect to strategies that are risk-averse (i.e., Ensure certain probabilistic guarantee). Our main results are as follows: First, we present algorithms for the decision problems, which are always polynomial in the size of the MDP. We also show that an approximation of the Pareto curve can be computed in time polynomial in the size of the MDP, and the approximation factor, but exponential in the number of dimensions. Second, we present a complete characterization of the strategy complexity (in terms of memory bounds and randomization) required to solve our problem. ","lang":"eng"}],"day":"01","OA_place":"repository","conference":{"location":"Kyoto, Japan","start_date":"2015-07-06","name":"LICS: Logic in Computer Science","end_date":"2015-07-10"},"ec_funded":1,"fulldoi":"https://doi.org/10.1109/LICS.2015.32","series_title":"LICS","project":[{"name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","grant_number":"267989","call_identifier":"FP7"},{"_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"}],"oa_version":"Preprint","year":"2015","acknowledgement":"A Technical Report of this paper is available at DOI: 10.15479/AT:IST-2015-318-v1-1\r\n","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"last_name":"Komárková","full_name":"Komárková, Zuzana","first_name":"Zuzana"},{"last_name":"Kretinsky","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881","first_name":"Jan"}],"date_updated":"2026-07-06T13:26:26Z","publist_id":"5493","month":"07","main_file_link":[{"open_access":"1","url":"https://doi.org/10.15479/AT:IST-2015-318-v1-1"}],"isi":1,"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"OA_type":"green","alternative_title":["LICS"],"_id":"1657","external_id":{"isi":["000380427100024"]},"article_processing_charge":"No","citation":{"chicago":"Chatterjee, Krishnendu, Zuzana Komárková, and Jan Kretinsky. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” LICS. IEEE, 2015. <a href=\"https://doi.org/10.1109/LICS.2015.32\">https://doi.org/10.1109/LICS.2015.32</a>.","ieee":"K. Chatterjee, Z. Komárková, and J. Kretinsky, “Unifying two views on multiple mean-payoff objectives in Markov decision processes.” IEEE, pp. 244–256, 2015.","short":"K. Chatterjee, Z. Komárková, J. Kretinsky, (2015) 244–256.","apa":"Chatterjee, K., Komárková, Z., &#38; Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. Presented at the LICS: Logic in Computer Science, Kyoto, Japan: IEEE. <a href=\"https://doi.org/10.1109/LICS.2015.32\">https://doi.org/10.1109/LICS.2015.32</a>","ista":"Chatterjee K, Komárková Z, Kretinsky J. 2015. Unifying two views on multiple mean-payoff objectives in Markov decision processes. , 244–256.","ama":"Chatterjee K, Komárková Z, Kretinsky J. Unifying two views on multiple mean-payoff objectives in Markov decision processes. 2015:244-256. doi:<a href=\"https://doi.org/10.1109/LICS.2015.32\">10.1109/LICS.2015.32</a>","mla":"Chatterjee, Krishnendu, et al. <i>Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes</i>. IEEE, 2015, pp. 244–56, doi:<a href=\"https://doi.org/10.1109/LICS.2015.32\">10.1109/LICS.2015.32</a>."},"date_created":"2018-12-11T11:53:18Z","publisher":"IEEE","status":"public","title":"Unifying two views on multiple mean-payoff objectives in Markov decision processes","oa":1},{"ddc":["004"],"date_updated":"2026-07-06T13:26:26Z","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"full_name":"Komarkova, Zuzana","last_name":"Komarkova","first_name":"Zuzana"},{"last_name":"Kretinsky","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881","first_name":"Jan"}],"year":"2015","oa_version":"Published Version","alternative_title":["IST Austria Technical Report"],"has_accepted_license":"1","department":[{"_id":"KrCh"}],"pubrep_id":"327","month":"02","publisher":"IST Austria","citation":{"apa":"Chatterjee, K., Komarkova, Z., &#38; Kretinsky, J. (2015). <i>Unifying two views on multiple mean-payoff objectives in Markov decision processes</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2015-318-v2-1\">https://doi.org/10.15479/AT:IST-2015-318-v2-1</a>","short":"K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.","ista":"Chatterjee K, Komarkova Z, Kretinsky J. 2015. Unifying two views on multiple mean-payoff objectives in Markov decision processes, IST Austria, 51p.","ama":"Chatterjee K, Komarkova Z, Kretinsky J. <i>Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes</i>. IST Austria; 2015. doi:<a href=\"https://doi.org/10.15479/AT:IST-2015-318-v2-1\">10.15479/AT:IST-2015-318-v2-1</a>","mla":"Chatterjee, Krishnendu, et al. <i>Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes</i>. IST Austria, 2015, doi:<a href=\"https://doi.org/10.15479/AT:IST-2015-318-v2-1\">10.15479/AT:IST-2015-318-v2-1</a>.","chicago":"Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. <i>Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes</i>. IST Austria, 2015. <a href=\"https://doi.org/10.15479/AT:IST-2015-318-v2-1\">https://doi.org/10.15479/AT:IST-2015-318-v2-1</a>.","ieee":"K. Chatterjee, Z. Komarkova, and J. Kretinsky, <i>Unifying two views on multiple mean-payoff objectives in Markov decision processes</i>. IST Austria, 2015."},"date_created":"2018-12-12T11:39:19Z","_id":"5435","oa":1,"title":"Unifying two views on multiple mean-payoff objectives in Markov decision processes","status":"public","file_date_updated":"2020-07-14T12:46:53Z","related_material":{"record":[{"relation":"earlier_version","id":"5429","status":"public"},{"id":"1657","relation":"later_version","status":"public"},{"status":"public","id":"466","relation":"later_version"}]},"language":[{"iso":"eng"}],"doi":"10.15479/AT:IST-2015-318-v2-1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","type":"technical_report","day":"23","abstract":[{"lang":"eng","text":"We consider Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) objectives. \r\nThere have been two different views: (i) the expectation semantics, where the goal is to optimize the expected mean-payoff objective, and (ii) the satisfaction semantics, where the goal is to maximize the probability of runs such that the mean-payoff value stays above a given vector.  \r\nWe consider the problem where the goal is to optimize the expectation under the constraint that the satisfaction semantics is ensured, and thus consider a generalization that unifies the existing semantics. Our problem captures the notion of optimization with respect to strategies that are risk-averse (i.e., ensures certain probabilistic guarantee).\r\nOur main results are algorithms for the decision problem which are always polynomial in the size of the MDP.\r\nWe also show that an approximation of the Pareto-curve can be computed in time polynomial in the size of the MDP, and the approximation factor, but exponential in the number of dimensions. Finally, we present a complete characterization of the strategy complexity (in terms of memory bounds and randomization) required to solve our problem."}],"date_published":"2015-02-23T00:00:00Z","file":[{"file_id":"5525","access_level":"open_access","checksum":"75284adec80baabdfe71ff9ebbc27445","date_created":"2018-12-12T11:54:03Z","date_updated":"2020-07-14T12:46:53Z","creator":"system","content_type":"application/pdf","file_size":717630,"relation":"main_file","file_name":"IST-2015-318-v2+1_main.pdf"}],"page":"51","publication_identifier":{"issn":["2664-1690"]},"fulldoi":"https://doi.org/10.15479/AT:IST-2015-318-v2-1"},{"ddc":["004"],"date_updated":"2026-07-06T13:26:26Z","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Zuzana","full_name":"Komarkova, Zuzana","last_name":"Komarkova"},{"last_name":"Kretinsky","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881","first_name":"Jan"}],"year":"2015","oa_version":"Published Version","has_accepted_license":"1","alternative_title":["IST Austria Technical Report"],"pubrep_id":"318","department":[{"_id":"KrCh"}],"month":"01","publisher":"IST Austria","date_created":"2018-12-12T11:39:17Z","citation":{"chicago":"Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. <i>Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes</i>. IST Austria, 2015. <a href=\"https://doi.org/10.15479/AT:IST-2015-318-v1-1\">https://doi.org/10.15479/AT:IST-2015-318-v1-1</a>.","ieee":"K. Chatterjee, Z. Komarkova, and J. Kretinsky, <i>Unifying two views on multiple mean-payoff objectives in Markov decision processes</i>. IST Austria, 2015.","apa":"Chatterjee, K., Komarkova, Z., &#38; Kretinsky, J. (2015). <i>Unifying two views on multiple mean-payoff objectives in Markov decision processes</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2015-318-v1-1\">https://doi.org/10.15479/AT:IST-2015-318-v1-1</a>","short":"K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.","mla":"Chatterjee, Krishnendu, et al. <i>Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes</i>. IST Austria, 2015, doi:<a href=\"https://doi.org/10.15479/AT:IST-2015-318-v1-1\">10.15479/AT:IST-2015-318-v1-1</a>.","ama":"Chatterjee K, Komarkova Z, Kretinsky J. <i>Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes</i>. IST Austria; 2015. doi:<a href=\"https://doi.org/10.15479/AT:IST-2015-318-v1-1\">10.15479/AT:IST-2015-318-v1-1</a>","ista":"Chatterjee K, Komarkova Z, Kretinsky J. 2015. Unifying two views on multiple mean-payoff objectives in Markov decision processes, IST Austria, 41p."},"_id":"5429","title":"Unifying two views on multiple mean-payoff objectives in Markov decision processes","oa":1,"status":"public","file_date_updated":"2020-07-14T12:46:52Z","related_material":{"record":[{"id":"5435","relation":"later_version","status":"public"},{"status":"public","id":"1657","relation":"later_version"},{"id":"466","relation":"later_version","status":"public"}]},"language":[{"iso":"eng"}],"doi":"10.15479/AT:IST-2015-318-v1-1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"technical_report","publication_status":"published","day":"12","abstract":[{"lang":"eng","text":"We consider Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) objectives. \r\nThere have been two different views: (i) the expectation semantics, where the goal is to optimize the expected mean-payoff objective, and (ii) the satisfaction semantics, where the goal is to maximize the probability of runs such that the mean-payoff value stays above a given vector.  \r\nWe consider the problem where the goal is to optimize the expectation under the constraint that the satisfaction semantics is ensured, and thus consider a generalization that unifies the existing semantics.\r\nOur problem captures the notion of optimization with respect to strategies that are risk-averse (i.e., ensures certain probabilistic guarantee).\r\nOur main results are algorithms for the decision problem which are always polynomial in the size of the MDP. We also show that an approximation of the Pareto-curve can be computed in time polynomial in the size of the MDP, and the approximation factor, but exponential in the number of dimensions.\r\nFinally, we present a complete characterization of the strategy complexity (in terms of memory bounds and randomization) required to solve our problem."}],"date_published":"2015-01-12T00:00:00Z","file":[{"content_type":"application/pdf","file_size":689863,"relation":"main_file","file_name":"IST-2015-318-v1+1_main.pdf","creator":"system","date_created":"2018-12-12T11:54:11Z","date_updated":"2020-07-14T12:46:52Z","file_id":"5533","access_level":"open_access","checksum":"e4869a584567c506349abda9c8ec7db3"}],"page":"41","publication_identifier":{"issn":["2664-1690"]},"fulldoi":"https://doi.org/10.15479/AT:IST-2015-318-v1-1"}]