[{"publication_status":"published","publication_identifier":{"issn":["2663-337X"]},"_id":"3962","date_updated":"2023-09-07T11:28:47Z","date_created":"2018-12-11T12:06:08Z","type":"dissertation","alternative_title":["ISTA Thesis"],"day":"01","article_processing_charge":"No","author":[{"first_name":"Holger","last_name":"Pflicke","id":"CAA57A9A-5B61-11E9-B130-E0C1E1F2C83D","full_name":"Pflicke, Holger"}],"oa_version":"None","publisher":"Institute of Science and Technology Austria","title":"Dendritic cell migration across basement membranes in the skin","citation":{"ista":"Pflicke H. 2010.   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.","chicago":"Pflicke, Holger. “  Dendritic Cell Migration across Basement Membranes in the Skin.” Institute of Science and Technology Austria, 2010.","mla":"Pflicke, Holger. <i>  Dendritic Cell Migration across Basement Membranes in the Skin</i>. Institute of Science and Technology Austria, 2010.","apa":"Pflicke, H. (2010). <i>  Dendritic cell migration across basement membranes in the skin</i>. Institute of Science and Technology Austria.","ama":"Pflicke H.   Dendritic cell migration across basement membranes in the skin. 2010.","short":"H. Pflicke,   Dendritic Cell Migration across Basement Membranes in the Skin, Institute of Science and Technology Austria, 2010.","ieee":"H. Pflicke, “  Dendritic cell migration across basement membranes in the skin,” Institute of Science and Technology Austria, 2010."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_published":"2010-07-01T00:00:00Z","degree_awarded":"PhD","status":"public","language":[{"iso":"eng"}],"department":[{"_id":"CaHe"},{"_id":"GradSch"}],"publist_id":"2165","year":"2010","supervisor":[{"orcid":"0000-0002-0912-4566","first_name":"Carl-Philipp J","full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg"}],"month":"07"},{"author":[{"last_name":"Streinzer","full_name":"Streinzer, M.","first_name":"M."},{"last_name":"Ellis","full_name":"Ellis, Thomas","id":"3153D6D4-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","orcid":"0000-0002-8511-0254"},{"full_name":"Paulus, H.","last_name":"Paulus","first_name":"H."},{"last_name":"Spaethe","full_name":"Spaethe, J.","first_name":"J."}],"doi":"10.1007/s11829-010-9093-4","day":"01","article_processing_charge":"No","publisher":"Springer","title":"Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator","oa_version":"None","date_updated":"2021-01-12T07:53:30Z","volume":4,"_id":"3963","type":"journal_article","date_created":"2018-12-11T12:06:08Z","page":"141 - 148","tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)"},"abstract":[{"lang":"eng","text":"Almost all species of the orchid genus Ophrys are pollinated by sexual deception. The orchids mimic the sex pheromone of receptive female insects, mainly hymenopterans, in order to attract males seeking to copulate. Most Ophrys species have achromatic flowers, but some exhibit a coloured perianth and a bright, conspicuous labellum pattern. We recently showed that the pink perianth of Ophrys heldreichii flowers increases detectability by its pollinator, males of the long-horned bee Eucera berlandi. Here we tested the hypothesis that the bright, complex labellum pattern mimics the female of the pollinator to increase attractiveness toward males. In a dual-choice test we offered E. berlandi males an O. heldreichii flower and a flower from O. dictynnae, which also exhibits a pinkish perianth but no conspicuous labellum pattern. Both flowers were housed in UV-transmitting acrylic glass boxes to exclude olfactory signals. Males significantly preferred O. heldreichii to O. dictynnae flowers. In a second experiment, we replaced the perianth of both flowers with identical artificial perianths made from pink card, so that only the labellum differed between the two flower stimuli. Males then chose between both stimuli at random, suggesting that the presence of a labellum pattern does not affect their choice. Spectral measurements revealed higher colour contrast with the background of the perianth of O. heldreichii compared to O. dictynnae, but no difference in green receptor-specific contrast or brightness. Our results show that male choice is guided by the chromatic contrast of the perianth during the initial flower approach but is not affected by the presence of a labellum pattern. Instead, we hypothesise that the labellum pattern is involved in aversive learning during post-copulatory behaviour and used by the orchid as a strategy to increase outcrossing."}],"intvolume":"         4","publication_status":"published","year":"2010","month":"01","publist_id":"2164","language":[{"iso":"eng"}],"extern":"1","status":"public","publication":"Arthropod-Plant Interactions","issue":"3","citation":{"chicago":"Streinzer, M., Thomas Ellis, H. Paulus, and J. Spaethe. “Visual Discrimination between Two Sexually Deceptive Ophrys Species by a Bee Pollinator.” <i>Arthropod-Plant Interactions</i>. Springer, 2010. <a href=\"https://doi.org/10.1007/s11829-010-9093-4\">https://doi.org/10.1007/s11829-010-9093-4</a>.","ista":"Streinzer M, Ellis T, Paulus H, Spaethe J. 2010. Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator. Arthropod-Plant Interactions. 4(3), 141–148.","apa":"Streinzer, M., Ellis, T., Paulus, H., &#38; Spaethe, J. (2010). Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator. <i>Arthropod-Plant Interactions</i>. Springer. <a href=\"https://doi.org/10.1007/s11829-010-9093-4\">https://doi.org/10.1007/s11829-010-9093-4</a>","mla":"Streinzer, M., et al. “Visual Discrimination between Two Sexually Deceptive Ophrys Species by a Bee Pollinator.” <i>Arthropod-Plant Interactions</i>, vol. 4, no. 3, Springer, 2010, pp. 141–48, doi:<a href=\"https://doi.org/10.1007/s11829-010-9093-4\">10.1007/s11829-010-9093-4</a>.","ama":"Streinzer M, Ellis T, Paulus H, Spaethe J. Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator. <i>Arthropod-Plant Interactions</i>. 2010;4(3):141-148. doi:<a href=\"https://doi.org/10.1007/s11829-010-9093-4\">10.1007/s11829-010-9093-4</a>","ieee":"M. Streinzer, T. Ellis, H. Paulus, and J. Spaethe, “Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator,” <i>Arthropod-Plant Interactions</i>, vol. 4, no. 3. Springer, pp. 141–148, 2010.","short":"M. Streinzer, T. Ellis, H. Paulus, J. Spaethe, Arthropod-Plant Interactions 4 (2010) 141–148."},"date_published":"2010-01-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"page":"127 - 139","abstract":[{"lang":"eng","text":"We prove two stability results for Lipschitz functions on triangulable, compact metric spaces and consider applications of both to problems in systems biology. Given two functions, the first result is formulated in terms of the Wasserstein distance between their persistence diagrams and the second in terms of their total persistence."}],"intvolume":"        10","quality_controlled":0,"publication_status":"published","author":[{"first_name":"David","last_name":"Cohen Steiner","full_name":"Cohen-Steiner, David"},{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Herbert Edelsbrunner","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","first_name":"Herbert"},{"last_name":"Harer","full_name":"Harer, John","first_name":"John"},{"first_name":"Yuriy","last_name":"Mileyko","full_name":"Mileyko, Yuriy"}],"doi":"10.1007/s10208-010-9060-6","day":"28","title":"Lipschitz functions have L_p-stable persistence","publisher":"Springer","date_updated":"2021-01-12T07:53:31Z","_id":"3964","volume":10,"type":"journal_article","date_created":"2018-12-11T12:06:09Z","status":"public","extern":1,"publication":"Foundations of Computational Mathematics","issue":"2","citation":{"apa":"Cohen Steiner, D., Edelsbrunner, H., Harer, J., &#38; Mileyko, Y. (2010). Lipschitz functions have L_p-stable persistence. <i>Foundations of Computational Mathematics</i>. Springer. <a href=\"https://doi.org/10.1007/s10208-010-9060-6\">https://doi.org/10.1007/s10208-010-9060-6</a>","mla":"Cohen Steiner, David, et al. “Lipschitz Functions Have L_p-Stable Persistence.” <i>Foundations of Computational Mathematics</i>, vol. 10, no. 2, Springer, 2010, pp. 127–39, doi:<a href=\"https://doi.org/10.1007/s10208-010-9060-6\">10.1007/s10208-010-9060-6</a>.","ista":"Cohen Steiner D, Edelsbrunner H, Harer J, Mileyko Y. 2010. Lipschitz functions have L_p-stable persistence. Foundations of Computational Mathematics. 10(2), 127–139.","chicago":"Cohen Steiner, David, Herbert Edelsbrunner, John Harer, and Yuriy Mileyko. “Lipschitz Functions Have L_p-Stable Persistence.” <i>Foundations of Computational Mathematics</i>. Springer, 2010. <a href=\"https://doi.org/10.1007/s10208-010-9060-6\">https://doi.org/10.1007/s10208-010-9060-6</a>.","ieee":"D. Cohen Steiner, H. Edelsbrunner, J. Harer, and Y. Mileyko, “Lipschitz functions have L_p-stable persistence,” <i>Foundations of Computational Mathematics</i>, vol. 10, no. 2. Springer, pp. 127–139, 2010.","short":"D. Cohen Steiner, H. Edelsbrunner, J. Harer, Y. Mileyko, Foundations of Computational Mathematics 10 (2010) 127–139.","ama":"Cohen Steiner D, Edelsbrunner H, Harer J, Mileyko Y. Lipschitz functions have L_p-stable persistence. <i>Foundations of Computational Mathematics</i>. 2010;10(2):127-139. doi:<a href=\"https://doi.org/10.1007/s10208-010-9060-6\">10.1007/s10208-010-9060-6</a>"},"acknowledgement":"This research is partially supported by the Defense Advanced Research Projects Agency (DARPA) under grants HR0011-05-1-0007 and HR0011-05-1-0057 and by CNRS under grant PICS-3416.","date_published":"2010-01-28T00:00:00Z","year":"2010","month":"01","publist_id":"2163"},{"oa_version":"None","title":"Why is adaptation prevented at ecological margins? New insights from individual-based simulations","day":"15","scopus_import":1,"author":[{"first_name":"Jon","last_name":"Bridle","full_name":"Bridle, Jon"},{"first_name":"Jitka","orcid":"0000-0003-0951-3112","full_name":"Polechova, Jitka","id":"3BBFB084-F248-11E8-B48F-1D18A9856A87","last_name":"Polechova"},{"first_name":"Masakado","last_name":"Kawata","full_name":"Kawata, Masakado"},{"first_name":"Roger","full_name":"Butlin, Roger","last_name":"Butlin"}],"date_created":"2018-12-11T12:07:08Z","volume":13,"intvolume":"        13","abstract":[{"text":"All species are restricted in their distribution. Currently, ecological models can only explain such limits if patches vary in quality, leading to asymmetrical dispersal, or if genetic variation is too low at the margins for adaptation. However, population genetic models suggest that the increase in genetic variance resulting from dispersal should allow adaptation to almost any ecological gradient. Clearly therefore, these models miss something that prevents evolution in natural populations. We developed an individual-based simulation to explore stochastic effects in these models. At high carrying capacities, our simulations largely agree with deterministic predictions. However, when carrying capacity is low, the population fails to establish for a wide range of parameter values where adaptation was expected from previous models. Stochastic or transient effects appear critical around the boundaries in parameter space between simulation behaviours. Dispersal, gradient steepness, and population density emerge as key factors determining adaptation on an ecological gradient. ","lang":"eng"}],"publication_status":"published","month":"03","department":[{"_id":"NiBa"}],"language":[{"iso":"eng"}],"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Bridle, J., Polechova, J., Kawata, M., &#38; Butlin, R. (2010). Why is adaptation prevented at ecological margins? New insights from individual-based simulations. <i>Ecology Letters</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.1461-0248.2010.01442.x\">https://doi.org/10.1111/j.1461-0248.2010.01442.x</a>","mla":"Bridle, Jon, et al. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.” <i>Ecology Letters</i>, vol. 13, no. 4, Wiley-Blackwell, 2010, pp. 485–94, doi:<a href=\"https://doi.org/10.1111/j.1461-0248.2010.01442.x\">10.1111/j.1461-0248.2010.01442.x</a>.","ista":"Bridle J, Polechova J, Kawata M, Butlin R. 2010. Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. 13(4), 485–494.","chicago":"Bridle, Jon, Jitka Polechova, Masakado Kawata, and Roger Butlin. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.” <i>Ecology Letters</i>. Wiley-Blackwell, 2010. <a href=\"https://doi.org/10.1111/j.1461-0248.2010.01442.x\">https://doi.org/10.1111/j.1461-0248.2010.01442.x</a>.","ieee":"J. Bridle, J. Polechova, M. Kawata, and R. Butlin, “Why is adaptation prevented at ecological margins? New insights from individual-based simulations,” <i>Ecology Letters</i>, vol. 13, no. 4. Wiley-Blackwell, pp. 485–494, 2010.","short":"J. Bridle, J. Polechova, M. Kawata, R. Butlin, Ecology Letters 13 (2010) 485–494.","ama":"Bridle J, Polechova J, Kawata M, Butlin R. Why is adaptation prevented at ecological margins? New insights from individual-based simulations. <i>Ecology Letters</i>. 2010;13(4):485-494. doi:<a href=\"https://doi.org/10.1111/j.1461-0248.2010.01442.x\">10.1111/j.1461-0248.2010.01442.x</a>"},"issue":"4","publisher":"Wiley-Blackwell","doi":"10.1111/j.1461-0248.2010.01442.x","type":"journal_article","_id":"4134","date_updated":"2021-01-12T07:54:45Z","page":"485 - 494","quality_controlled":"1","year":"2010","publist_id":"1987","publication":"Ecology Letters","status":"public","project":[{"name":"International IST Postdoc Fellowship Programme","grant_number":"291734","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"acknowledgement":"We are very grateful to Nick Barton.","date_published":"2010-03-15T00:00:00Z","ec_funded":1},{"oa":1,"language":[{"iso":"eng"}],"citation":{"chicago":"Papusheva, Ekaterina, and Carl-Philipp J Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.” <i>EMBO Journal</i>. Wiley-Blackwell, 2010. <a href=\"https://doi.org/10.1038/emboj.2010.182\">https://doi.org/10.1038/emboj.2010.182</a>.","ista":"Papusheva E, Heisenberg C-PJ. 2010. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 29(16), 2753–2768.","mla":"Papusheva, Ekaterina, and Carl-Philipp J. Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.” <i>EMBO Journal</i>, vol. 29, no. 16, Wiley-Blackwell, 2010, pp. 2753–68, doi:<a href=\"https://doi.org/10.1038/emboj.2010.182\">10.1038/emboj.2010.182</a>.","apa":"Papusheva, E., &#38; Heisenberg, C.-P. J. (2010). Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. <i>EMBO Journal</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1038/emboj.2010.182\">https://doi.org/10.1038/emboj.2010.182</a>","ama":"Papusheva E, Heisenberg C-PJ. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. <i>EMBO Journal</i>. 2010;29(16):2753-2768. doi:<a href=\"https://doi.org/10.1038/emboj.2010.182\">10.1038/emboj.2010.182</a>","short":"E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.","ieee":"E. Papusheva and C.-P. J. Heisenberg, “Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis,” <i>EMBO Journal</i>, vol. 29, no. 16. Wiley-Blackwell, pp. 2753–2768, 2010."},"issue":"16","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"08","department":[{"_id":"Bio"},{"_id":"CaHe"}],"acknowledged_ssus":[{"_id":"Bio"}],"intvolume":"        29","abstract":[{"lang":"eng","text":"Integrin- and cadherin-mediated adhesion is central for cell and tissue morphogenesis, allowing cells and tissues to change shape without loosing integrity. Studies predominantly in cell culture showed that mechanosensation through adhesion structures is achieved by force-mediated modulation of their molecular composition. The specific molecular composition of adhesion sites in turn determines their signalling activity and dynamic reorganization. Here, we will review how adhesion sites respond to mecanical stimuli, and how spatially and temporally regulated signalling from different adhesion sites controls cell migration and tissue morphogenesis."}],"publication_status":"published","scopus_import":1,"day":"18","author":[{"last_name":"Papusheva","full_name":"Papusheva, Ekaterina","id":"41DB591E-F248-11E8-B48F-1D18A9856A87","first_name":"Ekaterina"},{"last_name":"Heisenberg","id":"39427864-F248-11E8-B48F-1D18A9856A87","full_name":"Heisenberg, Carl-Philipp J","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566"}],"oa_version":"Submitted Version","title":"Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis","volume":29,"date_created":"2018-12-11T12:07:17Z","publication":"EMBO Journal","status":"public","pmid":1,"date_published":"2010-08-18T00:00:00Z","year":"2010","external_id":{"pmid":["20717145"]},"publist_id":"1962","page":"2753 - 2768","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2924654/"}],"quality_controlled":"1","doi":"10.1038/emboj.2010.182","publisher":"Wiley-Blackwell","_id":"4157","date_updated":"2021-01-12T07:54:55Z","type":"journal_article"},{"publisher":"Company of Biologists","oa_version":"None","title":"Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ","day":"15","article_processing_charge":"No","author":[{"first_name":"Pablo","last_name":"Oteíza","full_name":"Oteíza, Pablo"},{"first_name":"Mathias","last_name":"Koeppen","full_name":"Koeppen, Mathias"},{"full_name":"Krieg, Michael","last_name":"Krieg","first_name":"Michael"},{"first_name":"Eduardo","full_name":"Pulgar, Eduardo","last_name":"Pulgar"},{"first_name":"Cecilia","last_name":"Farias","full_name":"Farias, Cecilia"},{"first_name":"Cristina","full_name":"Melo, Cristina","last_name":"Melo"},{"last_name":"Preibisch","full_name":"Preibisch, Steffen","first_name":"Steffen"},{"last_name":"Mueller","full_name":"Mueller, Daniel","first_name":"Daniel"},{"first_name":"Masazumi","full_name":"Tada, Masazumi","last_name":"Tada"},{"full_name":"Hartel, Steffen","last_name":"Hartel","first_name":"Steffen"},{"last_name":"Heisenberg","id":"39427864-F248-11E8-B48F-1D18A9856A87","full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566","first_name":"Carl-Philipp J"},{"first_name":"Miguel","full_name":"Concha, Miguel","last_name":"Concha"}],"doi":"10.1242/dev.049981","date_created":"2018-12-11T12:07:20Z","type":"journal_article","_id":"4163","volume":137,"date_updated":"2021-01-12T07:54:58Z","abstract":[{"text":"Organ formation requires the precise assembly of progenitor cells into a functional multicellular structure. Mechanical forces probably participate in this process but how they influence organ morphogenesis is still unclear. Here, we show that Wnt11- and Prickle1a-mediated planar cell polarity (PCP) signalling coordinates the formation of the zebrafish ciliated laterality organ (Kupffer's vesicle) by regulating adhesion properties between organ progenitor cells (the dorsal forerunner cells, DFCs). Combined inhibition of Wnt11 and Prickle1a reduces DFC cell-cell adhesion and impairs their compaction and arrangement during vesicle lumen formation. This leads to the formation of a mis-shapen vesicle with small fragmented lumina and shortened cilia, resulting in severely impaired organ function and, as a consequence, randomised laterality of both molecular and visceral asymmetries. Our results reveal a novel role for PCP-dependent cell adhesion in coordinating the supracellular organisation of progenitor cells during vertebrate laterality organ formation.","lang":"eng"}],"intvolume":"       137","page":"3459 - 3468","publication_status":"published","month":"10","year":"2010","publist_id":"1958","status":"public","publication":"Development","language":[{"iso":"eng"}],"extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2010-10-15T00:00:00Z","citation":{"ama":"Oteíza P, Koeppen M, Krieg M, et al. Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ. <i>Development</i>. 2010;137(20):3459-3468. doi:<a href=\"https://doi.org/10.1242/dev.049981\">10.1242/dev.049981</a>","short":"P. Oteíza, M. Koeppen, M. Krieg, E. Pulgar, C. Farias, C. Melo, S. Preibisch, D. Mueller, M. Tada, S. Hartel, C.-P.J. Heisenberg, M. Concha, Development 137 (2010) 3459–3468.","ieee":"P. Oteíza <i>et al.</i>, “Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ,” <i>Development</i>, vol. 137, no. 20. Company of Biologists, pp. 3459–3468, 2010.","chicago":"Oteíza, Pablo, Mathias Koeppen, Michael Krieg, Eduardo Pulgar, Cecilia Farias, Cristina Melo, Steffen Preibisch, et al. “Planar Cell Polarity Signalling Regulates Cell Adhesion Properties in Progenitors of the Zebrafish Laterality Organ.” <i>Development</i>. Company of Biologists, 2010. <a href=\"https://doi.org/10.1242/dev.049981\">https://doi.org/10.1242/dev.049981</a>.","ista":"Oteíza P, Koeppen M, Krieg M, Pulgar E, Farias C, Melo C, Preibisch S, Mueller D, Tada M, Hartel S, Heisenberg C-PJ, Concha M. 2010. Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ. Development. 137(20), 3459–3468.","mla":"Oteíza, Pablo, et al. “Planar Cell Polarity Signalling Regulates Cell Adhesion Properties in Progenitors of the Zebrafish Laterality Organ.” <i>Development</i>, vol. 137, no. 20, Company of Biologists, 2010, pp. 3459–68, doi:<a href=\"https://doi.org/10.1242/dev.049981\">10.1242/dev.049981</a>.","apa":"Oteíza, P., Koeppen, M., Krieg, M., Pulgar, E., Farias, C., Melo, C., … Concha, M. (2010). Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.049981\">https://doi.org/10.1242/dev.049981</a>"},"issue":"20"},{"quality_controlled":0,"publication_status":"published","page":"47 - 53","abstract":[{"text":"Cell migration is central to embryonic development, homeostasis and disease(1), processes in which cells move as part of a group or individually. Whereas the mechanisms controlling single-cell migration in vitro are relatively well understood(2-4), less is known about the mechanisms promoting the motility of individual cells in vivo. In particular, it is not clear how cells that form blebs in their migration use those protrusions to bring about movement in the context of the three-dimensional cellular environment(5,6). Here we show that the motility of chemokine-guided germ cells within the zebrafish embryo requires the function of the small Rho GTPases Rac1 and RhoA, as well as E-cadherin-mediated cell-cell adhesion. Using fluorescence resonance energy transfer we demonstrate that Rac1 and RhoA are activated in the cell front. At this location, Rac1 is responsible for the formation of actin-rich structures, and RhoA promotes retrograde actin flow. We propose that these actin-rich structures undergoing retrograde flow are essential for the generation of E-cadherin-mediated traction forces between the germ cells and the surrounding tissue and are therefore crucial for cell motility in vivo.","lang":"eng"}],"intvolume":"        12","volume":12,"_id":"4187","date_updated":"2021-01-12T07:55:09Z","date_created":"2018-12-11T12:07:28Z","type":"journal_article","day":"01","author":[{"last_name":"Kardash","full_name":"Kardash, Elena","first_name":"Elena"},{"last_name":"Reichman Fried","full_name":"Reichman-Fried, Michal","first_name":"Michal"},{"first_name":"Jean","last_name":"Maître","full_name":"Maître, Jean-Léon"},{"full_name":"Boldajipour, Bijan","last_name":"Boldajipour","first_name":"Bijan"},{"last_name":"Papusheva","id":"41DB591E-F248-11E8-B48F-1D18A9856A87","full_name":"Ekaterina Papusheva","first_name":"Ekaterina"},{"first_name":"Esther","full_name":"Messerschmidt, Esther-Maria","last_name":"Messerschmidt"},{"last_name":"Heisenberg","full_name":"Heisenberg, Carl-Philipp","first_name":"Carl"},{"last_name":"Raz","full_name":"Raz, Erez","first_name":"Erez"}],"doi":"10.1038/ncb2003","publisher":"Nature Publishing Group","title":"A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo","citation":{"ama":"Kardash E, Reichman Fried M, Maître J, et al. A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. <i>Nature Cell Biology</i>. 2010;12(1):47-53. doi:<a href=\"https://doi.org/10.1038/ncb2003\">10.1038/ncb2003</a>","short":"E. Kardash, M. Reichman Fried, J. Maître, B. Boldajipour, E. Papusheva, E. Messerschmidt, C. Heisenberg, E. Raz, Nature Cell Biology 12 (2010) 47–53.","ieee":"E. Kardash <i>et al.</i>, “A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo,” <i>Nature Cell Biology</i>, vol. 12, no. 1. Nature Publishing Group, pp. 47–53, 2010.","ista":"Kardash E, Reichman Fried M, Maître J, Boldajipour B, Papusheva E, Messerschmidt E, Heisenberg C, Raz E. 2010. A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. 12(1), 47–53.","chicago":"Kardash, Elena, Michal Reichman Fried, Jean Maître, Bijan Boldajipour, Ekaterina Papusheva, Esther Messerschmidt, Carl Heisenberg, and Erez Raz. “A Role for Rho GTPases and Cell-Cell Adhesion in Single-Cell Motility in Vivo.” <i>Nature Cell Biology</i>. Nature Publishing Group, 2010. <a href=\"https://doi.org/10.1038/ncb2003\">https://doi.org/10.1038/ncb2003</a>.","mla":"Kardash, Elena, et al. “A Role for Rho GTPases and Cell-Cell Adhesion in Single-Cell Motility in Vivo.” <i>Nature Cell Biology</i>, vol. 12, no. 1, Nature Publishing Group, 2010, pp. 47–53, doi:<a href=\"https://doi.org/10.1038/ncb2003\">10.1038/ncb2003</a>.","apa":"Kardash, E., Reichman Fried, M., Maître, J., Boldajipour, B., Papusheva, E., Messerschmidt, E., … Raz, E. (2010). A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. <i>Nature Cell Biology</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/ncb2003\">https://doi.org/10.1038/ncb2003</a>"},"issue":"1","date_published":"2010-01-01T00:00:00Z","extern":1,"status":"public","publication":"Nature Cell Biology","publist_id":"1932","year":"2010","month":"01"},{"publication_status":"published","page":"161 - 169","abstract":[{"lang":"eng","text":"Collective cell migration, the simultaneous movement of multiple cells that are connected by cell-cell adhesion, is ubiquitous in development, tissue repair, and tumor metastasis [1, 2]. It has been hypothesized that the directionality of cell movement during collective migration emerges as a collective property [3, 4]. Here we determine how movement directionality is established in collective mesendoderm migration during zebrafish gastrulation. By interfering with two key features of collective migration, (1) having neighboring cells and (2) adhering to them, we show that individual mesendoderm cells are capable of normal directed migration when moving as single cells but require cell-cell adhesion to participate in coordinated and directed migration when moving as part of a group. We conclude that movement directionality is not a de novo collective property of mesendoderm cells but rather a property of single mesendoderm cells that requires cell-cell adhesion during collective migration."}],"intvolume":"        20","date_updated":"2021-01-12T07:55:25Z","volume":20,"_id":"4221","type":"journal_article","date_created":"2018-12-11T12:07:40Z","doi":"10.1016/j.cub.2009.11.036","author":[{"first_name":"Yohanna","last_name":"Arboleda Estudillo","full_name":"Arboleda Estudillo, Yohanna"},{"first_name":"Michael","full_name":"Krieg, Michael","last_name":"Krieg"},{"full_name":"Stuehmer, Jan","last_name":"Stuehmer","first_name":"Jan"},{"full_name":"Licata, Nicholas","last_name":"Licata","first_name":"Nicholas"},{"full_name":"Mueller, Daniel","last_name":"Mueller","first_name":"Daniel"},{"last_name":"Heisenberg","full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566"}],"article_processing_charge":"No","day":"26","oa_version":"None","publisher":"Cell Press","title":"Movement directionality in collective migration of germ layer progenitors","issue":"2","citation":{"ieee":"Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, and C.-P. J. Heisenberg, “Movement directionality in collective migration of germ layer progenitors,” <i>Current Biology</i>, vol. 20, no. 2. Cell Press, pp. 161–169, 2010.","short":"Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, C.-P.J. Heisenberg, Current Biology 20 (2010) 161–169.","ama":"Arboleda Estudillo Y, Krieg M, Stuehmer J, Licata N, Mueller D, Heisenberg C-PJ. Movement directionality in collective migration of germ layer progenitors. <i>Current Biology</i>. 2010;20(2):161-169. doi:<a href=\"https://doi.org/10.1016/j.cub.2009.11.036\">10.1016/j.cub.2009.11.036</a>","apa":"Arboleda Estudillo, Y., Krieg, M., Stuehmer, J., Licata, N., Mueller, D., &#38; Heisenberg, C.-P. J. (2010). Movement directionality in collective migration of germ layer progenitors. <i>Current Biology</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cub.2009.11.036\">https://doi.org/10.1016/j.cub.2009.11.036</a>","mla":"Arboleda Estudillo, Yohanna, et al. “Movement Directionality in Collective Migration of Germ Layer Progenitors.” <i>Current Biology</i>, vol. 20, no. 2, Cell Press, 2010, pp. 161–69, doi:<a href=\"https://doi.org/10.1016/j.cub.2009.11.036\">10.1016/j.cub.2009.11.036</a>.","ista":"Arboleda Estudillo Y, Krieg M, Stuehmer J, Licata N, Mueller D, Heisenberg C-PJ. 2010. Movement directionality in collective migration of germ layer progenitors. Current Biology. 20(2), 161–169.","chicago":"Arboleda Estudillo, Yohanna, Michael Krieg, Jan Stuehmer, Nicholas Licata, Daniel Mueller, and Carl-Philipp J Heisenberg. “Movement Directionality in Collective Migration of Germ Layer Progenitors.” <i>Current Biology</i>. Cell Press, 2010. <a href=\"https://doi.org/10.1016/j.cub.2009.11.036\">https://doi.org/10.1016/j.cub.2009.11.036</a>."},"date_published":"2010-01-26T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Current Biology","status":"public","extern":"1","language":[{"iso":"eng"}],"publist_id":"1897","year":"2010","month":"01"},{"oa":1,"pubrep_id":"369","language":[{"iso":"eng"}],"issue":"7","citation":{"apa":"Barton, N. H., Etheridge, A., &#38; Véber, A. (2010). A new model for evolution in a spatial continuum. <i>Electronic Journal of Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/EJP.v15-741\">https://doi.org/10.1214/EJP.v15-741</a>","mla":"Barton, Nicholas H., et al. “A New Model for Evolution in a Spatial Continuum.” <i>Electronic Journal of Probability</i>, vol. 15, no. 7, Institute of Mathematical Statistics, 2010, pp. 162–216, doi:<a href=\"https://doi.org/10.1214/EJP.v15-741\">10.1214/EJP.v15-741</a>.","chicago":"Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “A New Model for Evolution in a Spatial Continuum.” <i>Electronic Journal of Probability</i>. Institute of Mathematical Statistics, 2010. <a href=\"https://doi.org/10.1214/EJP.v15-741\">https://doi.org/10.1214/EJP.v15-741</a>.","ista":"Barton NH, Etheridge A, Véber A. 2010. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 15(7), 162–216.","ieee":"N. H. Barton, A. Etheridge, and A. Véber, “A new model for evolution in a spatial continuum,” <i>Electronic Journal of Probability</i>, vol. 15, no. 7. Institute of Mathematical Statistics, pp. 162–216, 2010.","short":"N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.","ama":"Barton NH, Etheridge A, Véber A. A new model for evolution in a spatial continuum. <i>Electronic Journal of Probability</i>. 2010;15(7):162-216. doi:<a href=\"https://doi.org/10.1214/EJP.v15-741\">10.1214/EJP.v15-741</a>"},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","month":"02","department":[{"_id":"NiBa"}],"file":[{"checksum":"bab577546dd4e8f882e9a9dd645cd01e","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"IST-2015-369-v1+1_741-2535-1-PB.pdf","file_id":"5140","creator":"system","date_updated":"2020-07-14T12:46:26Z","date_created":"2018-12-12T10:15:21Z","file_size":450171}],"has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"We investigate a new model for populations evolving in a spatial continuum. This model can be thought of as a spatial version of the Lambda-Fleming-Viot process. It explicitly incorporates both small scale reproduction events and large scale extinction-recolonisation events. The lineages ancestral to a sample from a population evolving according to this model can be described in terms of a spatial version of the Lambda-coalescent. Using a technique of Evans (1997), we prove existence and uniqueness in law for the model. We then investigate the asymptotic behaviour of the genealogy of a finite number of individuals sampled uniformly at random (or more generally `far enough apart') from a two-dimensional torus of sidelength L as L tends to infinity. Under appropriate conditions (and on a suitable timescale) we can obtain as limiting genealogical processes a Kingman coalescent, a more general Lambda-coalescent or a system of coalescing Brownian motions (with a non-local coalescence mechanism).","lang":"eng"}],"intvolume":"        15","publication_status":"published","file_date_updated":"2020-07-14T12:46:26Z","author":[{"last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","first_name":"Nicholas H","orcid":"0000-0002-8548-5240"},{"first_name":"Alison","last_name":"Etheridge","full_name":"Etheridge, Alison"},{"last_name":"Véber","full_name":"Véber, Amandine","first_name":"Amandine"}],"day":"03","scopus_import":1,"title":"A new model for evolution in a spatial continuum","oa_version":"Published Version","volume":15,"date_created":"2018-12-11T12:07:48Z","publication":"Electronic Journal of Probability","status":"public","date_published":"2010-02-03T00:00:00Z","year":"2010","publist_id":"1863","page":"162 - 216","ddc":["576"],"quality_controlled":"1","doi":"10.1214/EJP.v15-741","publisher":"Institute of Mathematical Statistics","date_updated":"2021-01-12T07:55:34Z","_id":"4243","type":"journal_article"},{"status":"public","publication":"Handbuch Bibliothek 2.0","date_published":"2010-09-23T00:00:00Z","year":"2010","publist_id":"1235","ddc":["020"],"page":"5 - 20","quality_controlled":"1","publisher":"De Gruyter","editor":[{"full_name":"Bergmann, Julia","last_name":"Bergmann","first_name":"Julia"},{"orcid":"0000-0002-6026-4409","first_name":"Patrick","last_name":"Danowski","full_name":"Danowski, Patrick","id":"2EBD1598-F248-11E8-B48F-1D18A9856A87"}],"doi":"10.1515/9783110232103","series_title":"Bibliotheks- und Informationspraxis 41","type":"book_chapter","_id":"4339","date_updated":"2021-01-12T07:56:15Z","pubrep_id":"12","language":[{"iso":"eng"}],"oa":1,"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.” <i>Handbuch Bibliothek 2.0</i>, edited by Julia Bergmann and Patrick Danowski, De Gruyter, 2010, pp. 5–20, doi:<a href=\"https://doi.org/10.1515/9783110232103\">10.1515/9783110232103</a>.","apa":"Bergmann, J., &#38; Danowski, P. (2010). Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In J. Bergmann &#38; P. Danowski (Eds.), <i>Handbuch Bibliothek 2.0</i> (pp. 5–20). De Gruyter. <a href=\"https://doi.org/10.1515/9783110232103\">https://doi.org/10.1515/9783110232103</a>","ista":"Bergmann J, Danowski P. 2010.Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Handbuch Bibliothek 2.0. , 5–20.","chicago":"Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.” In <i>Handbuch Bibliothek 2.0</i>, edited by Julia Bergmann and Patrick Danowski, 5–20. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010. <a href=\"https://doi.org/10.1515/9783110232103\">https://doi.org/10.1515/9783110232103</a>.","short":"J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.","ieee":"J. Bergmann and P. Danowski, “Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch,” in <i>Handbuch Bibliothek 2.0</i>, J. Bergmann and P. Danowski, Eds. De Gruyter, 2010, pp. 5–20.","ama":"Bergmann J, Danowski P. Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Bergmann J, Danowski P, eds. <i>Handbuch Bibliothek 2.0</i>. Bibliotheks- und Informationspraxis 41. De Gruyter; 2010:5-20. doi:<a href=\"https://doi.org/10.1515/9783110232103\">10.1515/9783110232103</a>"},"month":"09","file":[{"relation":"main_file","checksum":"d42cedd48fffa85d75046f396a309fc3","file_name":"IST-2012-12-v1+1_9783110232103.5.pdf","content_type":"application/pdf","access_level":"open_access","file_id":"5123","file_size":567580,"date_created":"2018-12-12T10:15:06Z","date_updated":"2020-07-14T12:46:27Z","creator":"system"}],"department":[{"_id":"E-Lib"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"Mit diesem Buch möchten wir einen Überblick der aktuellen Diskussion zum Thema Bibliothek 2.0 geben und den Stand der tatsächlichen Umsetzung der Web 2.0-Ansätze in deutschsprachigen Bibliotheken beleuchten. An dieser Stelle ist die Frage erlaubt, warum es zu einer Zeit, in der es bereits die ersten \"Web 3.0\"- Konferenzen gibt, eines Handbuches der Bibliothek 2.0 noch bedarf. Und warum es überhaupt ein deutschsprachiges Handbuch zur Bibliothek 2.0 braucht, wo es doch bereits verschiedenste Publikationen zu diesem Thema aus anderen Ländern, insbesondere des angloamerikanischen Raums gibt. Ist dazu nicht bereits alles gesagt?","lang":"ger"}],"has_accepted_license":"1","file_date_updated":"2020-07-14T12:46:27Z","publication_status":"published","title":"Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch","oa_version":"Published Version","day":"23","author":[{"first_name":"Julia","last_name":"Bergmann","full_name":"Bergmann, Julia"},{"orcid":"0000-0002-6026-4409","first_name":"Patrick","full_name":"Danowski, Patrick","id":"2EBD1598-F248-11E8-B48F-1D18A9856A87","last_name":"Danowski"}],"date_created":"2018-12-11T12:08:21Z"},{"file":[{"file_size":94982,"date_created":"2018-12-12T10:15:01Z","date_updated":"2020-07-14T12:46:27Z","creator":"system","file_id":"5118","file_name":"IST-2012-51-v1+1_149-danowski-en.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"7061756135333d73b26a84526fa654f5"}],"publist_id":"1234","year":"2010","month":"06","citation":{"ama":"Danowski P. <i>Open Bibliographic Data</i>. Elsevier; 2010.","short":"P. Danowski, Open Bibliographic Data, Elsevier, 2010.","ieee":"P. Danowski, <i>Open bibliographic data</i>. Elsevier, 2010.","ista":"Danowski P. 2010. Open bibliographic data, Elsevier,p.","chicago":"Danowski, Patrick. <i>Open Bibliographic Data</i>. <i>European Library Automation Group (ELAG) 2010</i>. Elsevier, 2010.","mla":"Danowski, Patrick. “Open Bibliographic Data.” <i>European Library Automation Group (ELAG) 2010</i>, Elsevier, 2010.","apa":"Danowski, P. (2010). <i>Open bibliographic data</i>. <i>European Library Automation Group (ELAG) 2010</i>. Elsevier."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2010-06-10T00:00:00Z","conference":{"name":"ELAG: European Library Automation Group"},"oa":1,"status":"public","language":[{"iso":"eng"}],"extern":"1","publication":"European Library Automation Group (ELAG) 2010","_id":"4340","date_updated":"2020-07-14T23:07:19Z","date_created":"2018-12-11T12:08:21Z","type":"other_academic_publication","day":"10","author":[{"last_name":"Danowski","full_name":"Danowski, Patrick","id":"2EBD1598-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6026-4409","first_name":"Patrick"}],"oa_version":"None","publisher":"Elsevier","title":"Open bibliographic data","main_file_link":[{"url":"http://www.slideshare.net/PatrickD/open-bibliographic-data-elag2010","open_access":"1"}],"file_date_updated":"2020-07-14T12:46:27Z","publication_status":"published","has_accepted_license":"1","ddc":["020"],"abstract":[{"lang":"eng","text":"More and more libraries starting semantic web projects. The question about the license of the data\r\nis not discussed or the discussion is deferred to the end of project. in this paper is discussed why\r\nthe question of the license is so important in context of the semantic web that is should be one of the\r\nfirst aspects in a semantic web project. Also it will be shown why a public domain weaver is the\r\nonly solution that fulfill the the special requirements of the semantic web and that guaranties the\r\nreuseablitly of semantic library data for a sustainability of the projects. "}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"}},{"abstract":[{"lang":"eng","text":"More and more libraries starting semantic web projects. The question about the license of the data is not discussed or the discussion is deferred to the end of project. in this paper is discussed why the question of the license is so important in context of the semantic web that is should be one of the first aspects in a semantic web project. Also it will be shown why a public domain weaver is the only solution that fulfill the the special requirements of the semantic web and that guaranties the reuseablitly of semantic library data for a sustainability of the projects."}],"quality_controlled":0,"publication_status":"published","main_file_link":[{"open_access":"0","url":"http://www.ifla.org/files/hq/papers/ifla76/149-danowski-en.pdf"}],"publisher":"IFLA","title":"Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data","alternative_title":["IFLA "],"day":"01","author":[{"orcid":"0000-0002-6026-4409","first_name":"Patrick","last_name":"Danowski","id":"2EBD1598-F248-11E8-B48F-1D18A9856A87","full_name":"Patrick Danowski"}],"date_created":"2018-12-11T12:08:21Z","type":"conference","_id":"4341","date_updated":"2021-01-12T07:56:16Z","pubrep_id":"51","status":"public","extern":1,"conference":{"name":"WLIC: World Library and Information Congress"},"date_published":"2010-08-01T00:00:00Z","citation":{"chicago":"Danowski, Patrick. “Step One: Blow up the Silo! - Open Bibliographic Data, the First Step towards Linked Open Data.” IFLA, 2010.","ista":"Danowski P. 2010. Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data. WLIC: World Library and Information Congress, IFLA , .","apa":"Danowski, P. (2010). Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data. Presented at the WLIC: World Library and Information Congress, IFLA.","mla":"Danowski, Patrick. <i>Step One: Blow up the Silo! - Open Bibliographic Data, the First Step towards Linked Open Data</i>. IFLA, 2010.","ama":"Danowski P. Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data. In: IFLA; 2010.","ieee":"P. Danowski, “Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data,” presented at the WLIC: World Library and Information Congress, 2010.","short":"P. Danowski, in:, IFLA, 2010."},"month":"08","year":"2010","publist_id":"1233"},{"title":"Handbuch Bibliothek 2.0","oa_version":"Published Version","day":"01","date_created":"2018-12-11T12:08:23Z","volume":" 41","abstract":[{"text":"With the term \"Library 2.0\" the editors mean an institution which applies the principles of the Web 2.0 such as openness, re-use, collaboration and interaction in the entire organization. Libraries are extending their service offerings and work processes to include the potential of Web 2.0 technologies. This changes the job description and self-image of librarians. The collective volume offers a complete overview of the topic Library 2.0 and the current state of developments from a technological, sociological, information theoretical and practice-oriented perspective.","lang":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"publication_status":"published","publication_identifier":{"isbn":["9-783-1102-3209-7"],"eisbn":["9-783-1102-3210-3"]},"month":"09","department":[{"_id":"E-Lib"}],"language":[{"iso":"ger"}],"oa":1,"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"ista":"Danowski P, Bergmann J eds. 2010. Handbuch Bibliothek 2.0, De Gruyter, 405p.","chicago":"Danowski, Patrick, and Julia Bergmann, eds. <i>Handbuch Bibliothek 2.0</i>. Vol. 41. Bibliothekspraxis. De Gruyter, 2010. <a href=\"https://doi.org/10.1515/9783110232103\">https://doi.org/10.1515/9783110232103</a>.","mla":"Danowski, Patrick, and Julia Bergmann, editors. <i>Handbuch Bibliothek 2.0</i>. Vol. 41, De Gruyter, 2010, doi:<a href=\"https://doi.org/10.1515/9783110232103\">10.1515/9783110232103</a>.","apa":"Danowski, P., &#38; Bergmann, J. (Eds.). (2010). <i>Handbuch Bibliothek 2.0</i> (Vol. 41). De Gruyter. <a href=\"https://doi.org/10.1515/9783110232103\">https://doi.org/10.1515/9783110232103</a>","ama":"Danowski P, Bergmann J, eds. <i>Handbuch Bibliothek 2.0</i>. Vol 41. De Gruyter; 2010. doi:<a href=\"https://doi.org/10.1515/9783110232103\">10.1515/9783110232103</a>","short":"P. Danowski, J. Bergmann, eds., Handbuch Bibliothek 2.0, De Gruyter, 2010.","ieee":"P. Danowski and J. Bergmann, Eds., <i>Handbuch Bibliothek 2.0</i>, vol. 41. De Gruyter, 2010."},"publisher":"De Gruyter","editor":[{"first_name":"Patrick","orcid":"0000-0002-6026-4409","last_name":"Danowski","id":"2EBD1598-F248-11E8-B48F-1D18A9856A87","full_name":"Danowski, Patrick"},{"last_name":"Bergmann","full_name":"Bergmann, Julia","first_name":"Julia"}],"alternative_title":["Bibliotheks- und Informationspraxis"],"article_processing_charge":"No","doi":"10.1515/9783110232103","series_title":"Bibliothekspraxis","type":"book_editor","_id":"4346","date_updated":"2021-12-22T14:41:57Z","page":"405","quality_controlled":"1","main_file_link":[{"url":"https://www.degruyter.com/document/doi/10.1515/9783110232103/html","open_access":"1"}],"year":"2010","publist_id":"1228","status":"public","date_published":"2010-09-01T00:00:00Z"},{"publisher":"Oxford University Press","title":"Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation","day":"09","author":[{"first_name":"Caitriona","last_name":"Guinane","full_name":"Guinane, Caitriona M"},{"full_name":"Ben Zakour, Nouri L","last_name":"Ben Zakour","first_name":"Nouri"},{"full_name":"Tormo-Mas, Maria A","last_name":"Tormo Mas","first_name":"Maria"},{"last_name":"Weinert","full_name":"Weinert, Lucy A","first_name":"Lucy"},{"full_name":"Lowder, Bethan V","last_name":"Lowder","first_name":"Bethan"},{"full_name":"Cartwright, Robyn A","last_name":"Cartwright","first_name":"Robyn"},{"full_name":"Smyth, Davida S","last_name":"Smyth","first_name":"Davida"},{"full_name":"Smyth, Cyril J","last_name":"Smyth","first_name":"Cyril"},{"first_name":"Jodi","full_name":"Lindsay, Jodi A","last_name":"Lindsay"},{"last_name":"Gould","full_name":"Gould, Katherine A","first_name":"Katherine"},{"first_name":"Adam","last_name":"Witney","full_name":"Witney, Adam"},{"last_name":"Hinds","full_name":"Hinds, Jason","first_name":"Jason"},{"full_name":"Jonathan Bollback","id":"2C6FA9CC-F248-11E8-B48F-1D18A9856A87","last_name":"Bollback","orcid":"0000-0002-4624-4612","first_name":"Jonathan P"},{"last_name":"Rambaut","full_name":"Rambaut, Andrew","first_name":"Andrew"},{"first_name":"Jose","last_name":"Penades","full_name":"Penades, Jose R"},{"first_name":"J Ross","last_name":"Fitzgerald","full_name":"Fitzgerald, J Ross"}],"doi":"10.1093/gbe/evq031","date_created":"2018-12-11T12:08:27Z","type":"journal_article","_id":"4358","volume":2,"date_updated":"2021-01-12T07:56:23Z","intvolume":"         2","abstract":[{"lang":"eng","text":"Phenotypic biotyping has traditionally been used to differentiate bacteria occupying distinct ecological niches such as host species. For example, the capacity of Staphylococcus aureus from sheep to coagulate ruminant plasma, reported over 60 years ago, led to the description of small ruminant and bovine S. aureus ecovars. The great majority of small ruminant isolates are represented by a single, widespread clonal complex (CC133) of S. aureus, but its evolutionary origin and the molecular basis for its host tropism remain unknown. Here, we provide evidence that the CC133 clone evolved as the result of a human to ruminant host jump followed by adaptive genome diversification. Comparative whole-genome sequencing revealed molecular evidence for host adaptation including gene decay and diversification of proteins involved in host-pathogen interactions. Importantly, several novel mobile genetic elements encoding virulence proteins with attenuated or enhanced activity in ruminants were widely distributed in CC133 isolates, suggesting a key role in its host-specific interactions. To investigate this further, we examined the activity of a novel staphylococcal pathogenicity island (SaPIov2) found in the great majority of CC133 isolates which encodes a variant of the chromosomally encoded von Willebrand-binding protein (vWbp(Sov2)), previously demonstrated to have coagulase activity for human plasma. Remarkably, we discovered that SaPIov2 confers the ability to coagulate ruminant plasma suggesting an important role in ruminant disease pathogenesis and revealing the origin of a defining phenotype of the classical S. aureus biotyping scheme. Taken together, these data provide broad new insights into the origin and molecular basis of S. aureus ruminant host specificity."}],"page":"454 - 466","quality_controlled":0,"publication_status":"published","month":"06","year":"2010","publist_id":"1100","publication":"Genome Biology and Evolution","status":"public","extern":1,"date_published":"2010-06-09T00:00:00Z","citation":{"chicago":"Guinane, Caitriona, Nouri Ben Zakour, Maria Tormo Mas, Lucy Weinert, Bethan Lowder, Robyn Cartwright, Davida Smyth, et al. “Evolutionary Genomics of Staphylococcus Aureus Reveals Insights into the Origin and Molecular Basis of Ruminant Host Adaptation.” <i>Genome Biology and Evolution</i>. Oxford University Press, 2010. <a href=\"https://doi.org/10.1093/gbe/evq031\">https://doi.org/10.1093/gbe/evq031</a>.","ista":"Guinane C, Ben Zakour N, Tormo Mas M, Weinert L, Lowder B, Cartwright R, Smyth D, Smyth C, Lindsay J, Gould K, Witney A, Hinds J, Bollback JP, Rambaut A, Penades J, Fitzgerald JR. 2010. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. 2, 454–466.","apa":"Guinane, C., Ben Zakour, N., Tormo Mas, M., Weinert, L., Lowder, B., Cartwright, R., … Fitzgerald, J. R. (2010). Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. <i>Genome Biology and Evolution</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/gbe/evq031\">https://doi.org/10.1093/gbe/evq031</a>","mla":"Guinane, Caitriona, et al. “Evolutionary Genomics of Staphylococcus Aureus Reveals Insights into the Origin and Molecular Basis of Ruminant Host Adaptation.” <i>Genome Biology and Evolution</i>, vol. 2, Oxford University Press, 2010, pp. 454–66, doi:<a href=\"https://doi.org/10.1093/gbe/evq031\">10.1093/gbe/evq031</a>.","ama":"Guinane C, Ben Zakour N, Tormo Mas M, et al. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. <i>Genome Biology and Evolution</i>. 2010;2:454-466. doi:<a href=\"https://doi.org/10.1093/gbe/evq031\">10.1093/gbe/evq031</a>","ieee":"C. Guinane <i>et al.</i>, “Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation,” <i>Genome Biology and Evolution</i>, vol. 2. Oxford University Press, pp. 454–466, 2010.","short":"C. Guinane, N. Ben Zakour, M. Tormo Mas, L. Weinert, B. Lowder, R. Cartwright, D. Smyth, C. Smyth, J. Lindsay, K. Gould, A. Witney, J. Hinds, J.P. Bollback, A. Rambaut, J. Penades, J.R. Fitzgerald, Genome Biology and Evolution 2 (2010) 454–466."}},{"abstract":[{"text":"Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an adequate domain of limits for the well-structured transition systems that are induced by depth-bounded processes. An immediate consequence of our result is that there exists a forward algorithm that decides the covering problem for this class. Unlike backward algorithms, the forward algorithm terminates even if the depth of the process is not known a priori. More importantly, our result suggests a whole spectrum of forward algorithms that enable the effective verification of a large class of mobile systems.","lang":"eng"}],"intvolume":"      6014","has_accepted_license":"1","file_date_updated":"2020-07-14T12:46:27Z","publication_status":"published","title":"Forward analysis of depth-bounded processes","oa_version":"Submitted Version","day":"01","scopus_import":1,"author":[{"id":"447BFB88-F248-11E8-B48F-1D18A9856A87","full_name":"Wies, Thomas","last_name":"Wies","first_name":"Thomas"},{"first_name":"Damien","orcid":"0000-0002-3197-8736","full_name":"Zufferey, Damien","id":"4397AC76-F248-11E8-B48F-1D18A9856A87","last_name":"Zufferey"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","first_name":"Thomas A"}],"date_created":"2018-12-11T12:08:27Z","volume":6014,"language":[{"iso":"eng"}],"pubrep_id":"50","oa":1,"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Wies, T., Zufferey, D., &#38; Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer. <a href=\"https://doi.org/10.1007/978-3-642-12032-9_8\">https://doi.org/10.1007/978-3-642-12032-9_8</a>","mla":"Wies, Thomas, et al. <i>Forward Analysis of Depth-Bounded Processes</i>. Edited by Luke Ong, vol. 6014, Springer, 2010, pp. 94–108, doi:<a href=\"https://doi.org/10.1007/978-3-642-12032-9_8\">10.1007/978-3-642-12032-9_8</a>.","chicago":"Wies, Thomas, Damien Zufferey, and Thomas A Henzinger. “Forward Analysis of Depth-Bounded Processes.” edited by Luke Ong, 6014:94–108. Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-12032-9_8\">https://doi.org/10.1007/978-3-642-12032-9_8</a>.","ista":"Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.","ieee":"T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.","short":"T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.","ama":"Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi:<a href=\"https://doi.org/10.1007/978-3-642-12032-9_8\">10.1007/978-3-642-12032-9_8</a>"},"month":"03","file":[{"file_name":"IST-2012-50-v1+1_Forward_analysis_of_depth-bounded_processes.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"3e610de84937d821316362658239134a","date_created":"2018-12-12T10:08:17Z","file_size":240766,"date_updated":"2020-07-14T12:46:27Z","creator":"system","file_id":"4677"}],"department":[{"_id":"ToHe"}],"ddc":["004"],"page":"94 - 108","quality_controlled":"1","publisher":"Springer","editor":[{"last_name":"Ong","full_name":"Ong, Luke","first_name":"Luke"}],"alternative_title":["LNCS"],"doi":"10.1007/978-3-642-12032-9_8","type":"conference","_id":"4361","date_updated":"2023-09-07T11:36:36Z","status":"public","date_published":"2010-03-01T00:00:00Z","conference":{"location":"Paphos, Cyprus","name":"FoSSaCS: Foundations of Software Science and Computation Structures","end_date":"2010-03-28","start_date":"2010-03-20"},"related_material":{"record":[{"id":"1405","relation":"dissertation_contains","status":"public"}]},"year":"2010","publist_id":"1099"},{"year":"2010","month":"01","department":[{"_id":"ToHe"}],"publist_id":"1096","language":[{"iso":"eng"}],"status":"public","citation":{"short":"V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.","ieee":"V. Singh, “Runtime verification for software transactional memories,” presented at the RV: International Conference on Runtime Verification, St. Julians, Malta, 2010, vol. 6418, pp. 421–435.","ama":"Singh V. Runtime verification for software transactional memories. In: Sokolsky O, Rosu G, Tilmann N, et al., eds. Vol 6418. Springer; 2010:421-435. doi:<a href=\"https://doi.org/10.1007/978-3-642-16612-9_32\">10.1007/978-3-642-16612-9_32</a>","mla":"Singh, Vasu. <i>Runtime Verification for Software Transactional Memories</i>. Edited by Oleg Sokolsky et al., vol. 6418, Springer, 2010, pp. 421–35, doi:<a href=\"https://doi.org/10.1007/978-3-642-16612-9_32\">10.1007/978-3-642-16612-9_32</a>.","apa":"Singh, V. (2010). Runtime verification for software transactional memories. In O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, … G. Pace (Eds.) (Vol. 6418, pp. 421–435). Presented at the RV: International Conference on Runtime Verification, St. Julians, Malta: Springer. <a href=\"https://doi.org/10.1007/978-3-642-16612-9_32\">https://doi.org/10.1007/978-3-642-16612-9_32</a>","ista":"Singh V. 2010. Runtime verification for software transactional memories. RV: International Conference on Runtime Verification, LNCS, vol. 6418, 421–435.","chicago":"Singh, Vasu. “Runtime Verification for Software Transactional Memories.” edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16612-9_32\">https://doi.org/10.1007/978-3-642-16612-9_32</a>."},"date_published":"2010-01-01T00:00:00Z","conference":{"location":"St. Julians, Malta","name":"RV: International Conference on Runtime Verification","end_date":"2010-11-04","start_date":"2010-11-01"},"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","doi":"10.1007/978-3-642-16612-9_32","author":[{"last_name":"Singh","id":"4DAE2708-F248-11E8-B48F-1D18A9856A87","full_name":"Singh, Vasu","first_name":"Vasu"}],"day":"01","alternative_title":["LNCS"],"scopus_import":1,"editor":[{"first_name":"Oleg","full_name":"Sokolsky, Oleg","last_name":"Sokolsky"},{"full_name":"Rosu, Grigore","last_name":"Rosu","first_name":"Grigore"},{"full_name":"Tilmann, Nikolai","last_name":"Tilmann","first_name":"Nikolai"},{"full_name":"Barringer, Howard","last_name":"Barringer","first_name":"Howard"},{"first_name":"Ylies","last_name":"Falcone","full_name":"Falcone, Ylies"},{"first_name":"Bernd","last_name":"Finkbeiner","full_name":"Finkbeiner, Bernd"},{"first_name":"Klaus","full_name":"Havelund, Klaus","last_name":"Havelund"},{"first_name":"Insup","full_name":"Lee, Insup","last_name":"Lee"},{"last_name":"Pace","full_name":"Pace, Gordon","first_name":"Gordon"}],"title":"Runtime verification for software transactional memories","oa_version":"None","publisher":"Springer","date_updated":"2021-01-12T07:56:25Z","_id":"4362","volume":6418,"type":"conference","date_created":"2018-12-11T12:08:28Z","page":"421 - 435","intvolume":"      6418","abstract":[{"lang":"eng","text":"Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict graph algorithm for verifying correctness of STMs, we develop TRACER, a tool for runtime verification of STM implementations. The novelty of TRACER lies in the way it combines coarse and precise runtime analyses to guarantee sound and complete verification in an efficient manner. We implement TRACER in the TL2 STM implementation. We evaluate the performance of TRACER on STAMP benchmarks. While a precise runtime verification technique based on conflict graphs results in an average slowdown of 60x, the two-level approach of TRACER performs complete verification with an average slowdown of around 25x across different benchmarks."}],"quality_controlled":"1","publication_status":"published"},{"title":"Counterexample-guided focus","publisher":"ACM","doi":"10.1145/1707801.1706330","author":[{"last_name":"Podelski","full_name":"Podelski,Andreas","first_name":"Andreas"},{"first_name":"Thomas","last_name":"Wies","full_name":"Thomas Wies","id":"447BFB88-F248-11E8-B48F-1D18A9856A87"}],"day":"01","type":"conference","date_created":"2018-12-11T12:08:28Z","date_updated":"2021-01-12T07:56:26Z","_id":"4364","page":"249 - 260","quality_controlled":0,"publication_status":"published","month":"01","year":"2010","publist_id":"1093","extern":1,"status":"public","date_published":"2010-01-01T00:00:00Z","conference":{"name":"POPL: Principles of Programming Languages"},"citation":{"apa":"Podelski, A., &#38; Wies, T. (2010). Counterexample-guided focus (pp. 249–260). Presented at the POPL: Principles of Programming Languages, ACM. <a href=\"https://doi.org/10.1145/1707801.1706330\">https://doi.org/10.1145/1707801.1706330</a>","mla":"Podelski, Andreas, and Thomas Wies. <i>Counterexample-Guided Focus</i>. ACM, 2010, pp. 249–60, doi:<a href=\"https://doi.org/10.1145/1707801.1706330\">10.1145/1707801.1706330</a>.","chicago":"Podelski, Andreas, and Thomas Wies. “Counterexample-Guided Focus,” 249–60. ACM, 2010. <a href=\"https://doi.org/10.1145/1707801.1706330\">https://doi.org/10.1145/1707801.1706330</a>.","ista":"Podelski A, Wies T. 2010. Counterexample-guided focus. POPL: Principles of Programming Languages, 249–260.","ieee":"A. Podelski and T. Wies, “Counterexample-guided focus,” presented at the POPL: Principles of Programming Languages, 2010, pp. 249–260.","short":"A. Podelski, T. Wies, in:, ACM, 2010, pp. 249–260.","ama":"Podelski A, Wies T. Counterexample-guided focus. In: ACM; 2010:249-260. doi:<a href=\"https://doi.org/10.1145/1707801.1706330\">10.1145/1707801.1706330</a>"}},{"quality_controlled":"1","ddc":["004"],"page":"152 - 167","type":"conference","date_updated":"2021-01-12T07:56:27Z","_id":"4369","editor":[{"first_name":"Thomas A.","last_name":"Henzinger","full_name":"Henzinger, Thomas A."},{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu"}],"publisher":"Springer","doi":"10.1007/978-3-642-15297-9_13","alternative_title":["LNCS"],"conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems","start_date":"2010-09-08","end_date":"2010-09-10","location":"Klosterneuburg, Austria"},"date_published":"2010-09-08T00:00:00Z","ec_funded":1,"project":[{"_id":"25EFB36C-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"215543","name":"COMponent-Based Embedded Systems design Techniques"},{"_id":"25F1337C-B435-11E9-9278-68D0E5697425","grant_number":"214373","name":"Design for Embedded Systems","call_identifier":"FP7"}],"status":"public","publist_id":"1090","year":"2010","publication_status":"published","file_date_updated":"2020-07-14T12:46:27Z","intvolume":"      6246","abstract":[{"lang":"eng","text":"In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic mtl, under bounded-variability assumptions. We handle full mtl and include all future operators. Our construction is based on separation of the continuous time monitoring of the input sequence and discrete predictions regarding the future. The separation of the continuous from the discrete allows us to determinize our automata in an exponential construction that does not increase the number of clocks. This leads to a doubly exponential construction from mtl to deterministic timed automata, compared with triply exponential using existing approaches. We offer an alternative to the existing approach to linear real-time model checking, which has never been implemented. It further offers a unified framework for model checking, runtime monitoring, and synthesis, in an approach that can reuse tools, implementations, and insights from the discrete setting."}],"has_accepted_license":"1","date_created":"2018-12-11T12:08:30Z","volume":6246,"title":"From MTL to deterministic timed automata","oa_version":"Submitted Version","author":[{"first_name":"Dejan","last_name":"Nickovic","full_name":"Nickovic, Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Piterman, Nir","last_name":"Piterman","first_name":"Nir"}],"day":"08","scopus_import":1,"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Nickovic D, Piterman N. From MTL to deterministic timed automata. In: Henzinger TA, Chatterjee K, eds. Vol 6246. Springer; 2010:152-167. doi:<a href=\"https://doi.org/10.1007/978-3-642-15297-9_13\">10.1007/978-3-642-15297-9_13</a>","short":"D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.","ieee":"D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.","chicago":"Nickovic, Dejan, and Nir Piterman. “From MTL to Deterministic Timed Automata.” edited by Thomas A. Henzinger and Krishnendu Chatterjee, 6246:152–67. Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15297-9_13\">https://doi.org/10.1007/978-3-642-15297-9_13</a>.","ista":"Nickovic D, Piterman N. 2010. From MTL to deterministic timed automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 6246, 152–167.","mla":"Nickovic, Dejan, and Nir Piterman. <i>From MTL to Deterministic Timed Automata</i>. Edited by Thomas A. Henzinger and Krishnendu Chatterjee, vol. 6246, Springer, 2010, pp. 152–67, doi:<a href=\"https://doi.org/10.1007/978-3-642-15297-9_13\">10.1007/978-3-642-15297-9_13</a>.","apa":"Nickovic, D., &#38; Piterman, N. (2010). From MTL to deterministic timed automata. In T. A. Henzinger &#38; K. Chatterjee (Eds.) (Vol. 6246, pp. 152–167). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. <a href=\"https://doi.org/10.1007/978-3-642-15297-9_13\">https://doi.org/10.1007/978-3-642-15297-9_13</a>"},"pubrep_id":"49","language":[{"iso":"eng"}],"oa":1,"file":[{"date_created":"2018-12-12T10:13:43Z","file_size":249789,"date_updated":"2020-07-14T12:46:27Z","creator":"system","file_id":"5028","file_name":"IST-2012-49-v1+1_From_MTL_to_deterministic_timed_automata.pdf","access_level":"open_access","content_type":"application/pdf","relation":"main_file","checksum":"b0ca5f5fbe8a3d20ccbc6f51a344a459"}],"department":[{"_id":"ToHe"}],"month":"09"},{"page":"26 - 44","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://infoscience.epfl.ch/record/161290/"}],"publisher":"Springer","editor":[{"full_name":"Barthe, Gilles","last_name":"Barthe","first_name":"Gilles"},{"last_name":"Hermenegildo","full_name":"Hermenegildo, Manuel","first_name":"Manuel"}],"alternative_title":["LNCS"],"doi":"10.1007/978-3-642-11319-2_6","type":"conference","_id":"4378","date_updated":"2021-01-12T07:56:31Z","status":"public","date_published":"2010-01-01T00:00:00Z","conference":{"start_date":"2010-01-17","end_date":"2010-01-19","name":"VMCAI: Verification, Model Checking and Abstract Interpretation","location":"Madrid, Spain"},"year":"2010","publist_id":"1081","abstract":[{"text":"Techniques such as verification condition generation, predicate abstraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Programs and their specifications often make use of data structures such as sets, multisets, algebraic data types, or graphs. Consequently, formulas generated from verification also involve such data structures. To automate the proofs of such formulas we propose a logic (a “calculus”) of such data structures. We build the calculus by starting from decidable logics of individual data structures, and connecting them through functions and sets, in ways that go beyond the frameworks such as Nelson-Oppen. The result are new decidable logics that can simultaneously specify properties of different kinds of data structures and overcome the limitations of the individual logics. Several of our decidable logics include abstraction functions that map a data structure into its more abstract view (a tree into a multiset, a multiset into a set), into a numerical quantity (the size or the height), or into the truth value of a candidate data structure invariant (sortedness, or the heap property). For algebraic data types, we identify an asymptotic many-to-one condition on the abstraction function that guarantees the existence of a decision procedure. In addition to the combination based on abstraction functions, we can combine multiple data structure theories if they all reduce to the same data structure logic. As an instance of this approach, we describe a decidable logic whose formulas are propositional combinations of formulas in: weak monadic second-order logic of two successors, two-variable logic with counting, multiset algebra with Presburger arithmetic, the Bernays-Schönfinkel-Ramsey class of first-order logic, and the logic of algebraic data types with the set content function. The subformulas in this combination can share common variables that refer to sets of objects along with the common set algebra operations. Such sound and complete combination is possible because the relations on sets definable in the component logics are all expressible in Boolean Algebra with Presburger Arithmetic. Presburger arithmetic and its new extensions play an important role in our decidability results. In several cases, when we combine logics that belong to NP, we can prove the satisfiability for the combined logic is still in NP.","lang":"eng"}],"intvolume":"      5944","publication_status":"published","title":"Building a calculus of data structures","oa_version":"Submitted Version","day":"01","scopus_import":1,"author":[{"last_name":"Kuncak","full_name":"Kuncak, Viktor","first_name":"Viktor"},{"first_name":"Ruzica","full_name":"Piskac, Ruzica","last_name":"Piskac"},{"full_name":"Suter, Philippe","last_name":"Suter","first_name":"Philippe"},{"first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","full_name":"Wies, Thomas","last_name":"Wies"}],"date_created":"2018-12-11T12:08:33Z","volume":5944,"language":[{"iso":"eng"}],"oa":1,"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.","short":"V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.","ama":"Kuncak V, Piskac R, Suter P, Wies T. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010:26-44. doi:<a href=\"https://doi.org/10.1007/978-3-642-11319-2_6\">10.1007/978-3-642-11319-2_6</a>","apa":"Kuncak, V., Piskac, R., Suter, P., &#38; Wies, T. (2010). Building a calculus of data structures. In G. Barthe &#38; M. Hermenegildo (Eds.) (Vol. 5944, pp. 26–44). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. <a href=\"https://doi.org/10.1007/978-3-642-11319-2_6\">https://doi.org/10.1007/978-3-642-11319-2_6</a>","mla":"Kuncak, Viktor, et al. <i>Building a Calculus of Data Structures</i>. Edited by Gilles Barthe and Manuel Hermenegildo, vol. 5944, Springer, 2010, pp. 26–44, doi:<a href=\"https://doi.org/10.1007/978-3-642-11319-2_6\">10.1007/978-3-642-11319-2_6</a>.","chicago":"Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.” edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-11319-2_6\">https://doi.org/10.1007/978-3-642-11319-2_6</a>.","ista":"Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44."},"month":"01","department":[{"_id":"ToHe"}]},{"publist_id":"1080","month":"06","year":"2010","date_published":"2010-06-01T00:00:00Z","acknowledgement":"We would like to thank Tom Giovannini from Rambus, Inc. for his detailed explana- tions of the DDR2 specification and for providing us with simulation traces. We would also like to thank Oded Maler from Verimag for discussions on the STL/PSL language and its extensions.","issue":"2","citation":{"ama":"Jones K, Konrad V, Nickovic D. Analog property checkers: a DDR2 case study. <i>Formal Methods in System Design</i>. 2010;36(2):114-130. doi:<a href=\"https://doi.org/10.1007/s10703-009-0085-x\">10.1007/s10703-009-0085-x</a>","ieee":"K. Jones, V. Konrad, and D. Nickovic, “Analog property checkers: a DDR2 case study,” <i>Formal Methods in System Design</i>, vol. 36, no. 2. Springer, pp. 114–130, 2010.","short":"K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.","ista":"Jones K, Konrad V, Nickovic D. 2010. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 36(2), 114–130.","chicago":"Jones, Kevin, Victor Konrad, and Dejan Nickovic. “Analog Property Checkers: A DDR2 Case Study.” <i>Formal Methods in System Design</i>. Springer, 2010. <a href=\"https://doi.org/10.1007/s10703-009-0085-x\">https://doi.org/10.1007/s10703-009-0085-x</a>.","apa":"Jones, K., Konrad, V., &#38; Nickovic, D. (2010). Analog property checkers: a DDR2 case study. <i>Formal Methods in System Design</i>. Springer. <a href=\"https://doi.org/10.1007/s10703-009-0085-x\">https://doi.org/10.1007/s10703-009-0085-x</a>","mla":"Jones, Kevin, et al. “Analog Property Checkers: A DDR2 Case Study.” <i>Formal Methods in System Design</i>, vol. 36, no. 2, Springer, 2010, pp. 114–30, doi:<a href=\"https://doi.org/10.1007/s10703-009-0085-x\">10.1007/s10703-009-0085-x</a>."},"extern":1,"publication":"Formal Methods in System Design","status":"public","oa":1,"type":"journal_article","date_created":"2018-12-11T12:08:33Z","date_updated":"2021-01-12T07:56:31Z","_id":"4379","volume":36,"title":"Analog property checkers: a DDR2 case study","publisher":"Springer","author":[{"full_name":"Jones, Kevin D","last_name":"Jones","first_name":"Kevin"},{"first_name":"Victor","last_name":"Konrad","full_name":"Konrad,Victor"},{"last_name":"Nickovic","full_name":"Dejan Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","first_name":"Dejan"}],"doi":"10.1007/s10703-009-0085-x","day":"01","quality_controlled":0,"publication_status":"published","main_file_link":[{"url":"http://openaccess.city.ac.uk/1066/","open_access":"1"}],"intvolume":"        36","abstract":[{"lang":"eng","text":"The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be interfaced with a simulator and alert the user if the property is violated by a simulation trace. Although not complete, this lighter approach to formal verification has been effectively used in software and digital hardware to detect errors. Recently, the idea of property checkers has been extended to analog and mixed-signal systems.\n\nIn this paper, we apply the property-based checking methodology to an industrial and realistic example of a DDR2 memory interface. The properties describing the DDR2 analog behavior are expressed in the formal specification language stl/psl in form of assertions. The simulation traces generated from an actual DDR2 interface design are checked with respect to the stl/psl assertions using the amt tool. The focus of this paper is on the translation of the official (informal and descriptive) specification of two non-trivial DDR2 properties into stl/psl assertions. We study both the benefits and the current limits of such approach.\n"}],"page":"114 - 130"}]