[{"abstract":[{"lang":"eng","text":"Migration frequently involves Rac-mediated protrusion of lamellipodia, formed by Arp2/3 complex-dependent branching thought to be crucial for force generation and stability of these networks. The formins FMNL2 and FMNL3 are Cdc42 effectors targeting to the lamellipodium tip and shown here to nucleate and elongate actin filaments with complementary activities in vitro. In migrating B16-F1 melanoma cells, both formins contribute to the velocity of lamellipodium protrusion. Loss of FMNL2/3 function in melanoma cells and fibroblasts reduces lamellipodial width, actin filament density and -bundling, without changing patterns of Arp2/3 complex incorporation. Strikingly, in melanoma cells, FMNL2/3 gene inactivation almost completely abolishes protrusion forces exerted by lamellipodia and modifies their ultrastructural organization. Consistently, CRISPR/Cas-mediated depletion of FMNL2/3 in fibroblasts reduces both migration and capability of cells to move against viscous media. Together, we conclude that force generation in lamellipodia strongly depends on FMNL formin activity, operating in addition to Arp2/3 complex-dependent filament branching."}],"file":[{"date_created":"2018-12-12T10:14:21Z","file_name":"IST-2017-902-v1+1_Kage_et_al-2017-Nature_Communications.pdf","file_size":9523746,"file_id":"5072","date_updated":"2020-07-14T12:47:34Z","checksum":"dae30190291c3630e8102d8714a8d23e","relation":"main_file","creator":"system","content_type":"application/pdf","access_level":"open_access"}],"article_number":"14832","pubrep_id":"902","ddc":["570"],"day":"22","department":[{"_id":"MiSi"}],"publisher":"Nature Publishing Group","publication":"Nature Communications","citation":{"ama":"Kage F, Winterhoff M, Dimchev V, et al. FMNL formins boost lamellipodial force generation. <i>Nature Communications</i>. 2017;8. doi:<a href=\"https://doi.org/10.1038/ncomms14832\">10.1038/ncomms14832</a>","ieee":"F. Kage <i>et al.</i>, “FMNL formins boost lamellipodial force generation,” <i>Nature Communications</i>, vol. 8. Nature Publishing Group, 2017.","ista":"Kage F, Winterhoff M, Dimchev V, Müller J, Thalheim T, Freise A, Brühmann S, Kollasser J, Block J, Dimchev GA, Geyer M, Schnittler H, Brakebusch C, Stradal T, Carlier M, Sixt MK, Käs J, Faix J, Rottner K. 2017. FMNL formins boost lamellipodial force generation. Nature Communications. 8, 14832.","mla":"Kage, Frieda, et al. “FMNL Formins Boost Lamellipodial Force Generation.” <i>Nature Communications</i>, vol. 8, 14832, Nature Publishing Group, 2017, doi:<a href=\"https://doi.org/10.1038/ncomms14832\">10.1038/ncomms14832</a>.","short":"F. Kage, M. Winterhoff, V. Dimchev, J. Müller, T. Thalheim, A. Freise, S. Brühmann, J. Kollasser, J. Block, G.A. Dimchev, M. Geyer, H. Schnittler, C. Brakebusch, T. Stradal, M. Carlier, M.K. Sixt, J. Käs, J. Faix, K. Rottner, Nature Communications 8 (2017).","apa":"Kage, F., Winterhoff, M., Dimchev, V., Müller, J., Thalheim, T., Freise, A., … Rottner, K. (2017). FMNL formins boost lamellipodial force generation. <i>Nature Communications</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/ncomms14832\">https://doi.org/10.1038/ncomms14832</a>","chicago":"Kage, Frieda, Moritz Winterhoff, Vanessa Dimchev, Jan Müller, Tobias Thalheim, Anika Freise, Stefan Brühmann, et al. “FMNL Formins Boost Lamellipodial Force Generation.” <i>Nature Communications</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/ncomms14832\">https://doi.org/10.1038/ncomms14832</a>."},"title":"FMNL formins boost lamellipodial force generation","doi":"10.1038/ncomms14832","article_processing_charge":"No","author":[{"first_name":"Frieda","full_name":"Kage, Frieda","last_name":"Kage"},{"first_name":"Moritz","full_name":"Winterhoff, Moritz","last_name":"Winterhoff"},{"last_name":"Dimchev","full_name":"Dimchev, Vanessa","first_name":"Vanessa"},{"last_name":"Müller","id":"AD07FDB4-0F61-11EA-8158-C4CC64CEAA8D","first_name":"Jan","full_name":"Müller, Jan"},{"last_name":"Thalheim","full_name":"Thalheim, Tobias","first_name":"Tobias"},{"first_name":"Anika","full_name":"Freise, Anika","last_name":"Freise"},{"full_name":"Brühmann, Stefan","first_name":"Stefan","last_name":"Brühmann"},{"last_name":"Kollasser","full_name":"Kollasser, Jana","first_name":"Jana"},{"last_name":"Block","full_name":"Block, Jennifer","first_name":"Jennifer"},{"last_name":"Dimchev","full_name":"Dimchev, Georgi A","first_name":"Georgi A"},{"last_name":"Geyer","full_name":"Geyer, Matthias","first_name":"Matthias"},{"last_name":"Schnittler","first_name":"Hams","full_name":"Schnittler, Hams"},{"last_name":"Brakebusch","full_name":"Brakebusch, Cord","first_name":"Cord"},{"first_name":"Theresia","full_name":"Stradal, Theresia","last_name":"Stradal"},{"last_name":"Carlier","first_name":"Marie","full_name":"Carlier, Marie"},{"first_name":"Michael K","full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179","last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Josef","full_name":"Käs, Josef","last_name":"Käs"},{"full_name":"Faix, Jan","first_name":"Jan","last_name":"Faix"},{"first_name":"Klemens","full_name":"Rottner, Klemens","last_name":"Rottner"}],"quality_controlled":"1","language":[{"iso":"eng"}],"month":"03","publication_status":"published","intvolume":"         8","oa_version":"Published Version","_id":"659","file_date_updated":"2020-07-14T12:47:34Z","status":"public","oa":1,"scopus_import":1,"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T08:08:06Z","year":"2017","has_accepted_license":"1","date_published":"2017-03-22T00:00:00Z","volume":8,"publist_id":"7075","publication_identifier":{"issn":["20411723"]},"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2018-12-11T11:47:46Z","type":"journal_article"},{"intvolume":"       114","publication_status":"published","external_id":{"pmid":["28280102"]},"month":"03","language":[{"iso":"eng"}],"status":"public","oa_version":"Submitted Version","_id":"660","acknowledgement":"We thank Philippe Cluzel for helpful discussions and Gunnar Pruessner for data analysis advice. This work was supported by the Francis Crick Institute, which receives its core funding from Cancer Research UK Grant FC001163, Medical Research Council Grant FC001163, and Wellcome Trust Grant FC001163. This work was also supported by European Research Council Advanced Grant Project 323042 (to C.D. and T.S.).","author":[{"last_name":"Rickman","full_name":"Rickman, Jamie","first_name":"Jamie"},{"first_name":"Christian F","full_name":"Düllberg, Christian F","orcid":"0000-0001-6335-9748","last_name":"Düllberg","id":"459064DC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Cade","full_name":"Cade, Nicholas","first_name":"Nicholas"},{"last_name":"Griffin","full_name":"Griffin, Lewis","first_name":"Lewis"},{"last_name":"Surrey","first_name":"Thomas","full_name":"Surrey, Thomas"}],"quality_controlled":"1","date_published":"2017-03-28T00:00:00Z","publication_identifier":{"issn":["00278424"]},"publist_id":"7073","volume":114,"type":"journal_article","date_created":"2018-12-11T11:47:46Z","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T08:08:09Z","scopus_import":1,"year":"2017","issue":"13","abstract":[{"lang":"eng","text":"Growing microtubules are protected from depolymerization by the presence of a GTP or GDP/Pi cap. End-binding proteins of the EB1 family bind to the stabilizing cap, allowing monitoring of its size in real time. The cap size has been shown to correlate with instantaneous microtubule stability. Here we have quantitatively characterized the properties of cap size fluctuations during steadystate growth and have developed a theory predicting their timescale and amplitude from the kinetics of microtubule growth and cap maturation. In contrast to growth speed fluctuations, cap size fluctuations show a characteristic timescale, which is defined by the lifetime of the cap sites. Growth fluctuations affect the amplitude of cap size fluctuations; however, cap size does not affect growth speed, indicating that microtubules are far from instability during most of their time of growth. Our theory provides the basis for a quantitative understanding of microtubule stability fluctuations during steady-state growth."}],"page":"3427 - 3432","pmid":1,"doi":"10.1073/pnas.1620274114","day":"28","publication":"PNAS","publisher":"National Academy of Sciences","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5380103/"}],"department":[{"_id":"MaLo"}],"citation":{"apa":"Rickman, J., Düllberg, C. F., Cade, N., Griffin, L., &#38; Surrey, T. (2017). Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation. <i>PNAS</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.1620274114\">https://doi.org/10.1073/pnas.1620274114</a>","short":"J. Rickman, C.F. Düllberg, N. Cade, L. Griffin, T. Surrey, PNAS 114 (2017) 3427–3432.","mla":"Rickman, Jamie, et al. “Steady State EB Cap Size Fluctuations Are Determined by Stochastic Microtubule Growth and Maturation.” <i>PNAS</i>, vol. 114, no. 13, National Academy of Sciences, 2017, pp. 3427–32, doi:<a href=\"https://doi.org/10.1073/pnas.1620274114\">10.1073/pnas.1620274114</a>.","chicago":"Rickman, Jamie, Christian F Düllberg, Nicholas Cade, Lewis Griffin, and Thomas Surrey. “Steady State EB Cap Size Fluctuations Are Determined by Stochastic Microtubule Growth and Maturation.” <i>PNAS</i>. National Academy of Sciences, 2017. <a href=\"https://doi.org/10.1073/pnas.1620274114\">https://doi.org/10.1073/pnas.1620274114</a>.","ieee":"J. Rickman, C. F. Düllberg, N. Cade, L. Griffin, and T. Surrey, “Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation,” <i>PNAS</i>, vol. 114, no. 13. National Academy of Sciences, pp. 3427–3432, 2017.","ama":"Rickman J, Düllberg CF, Cade N, Griffin L, Surrey T. Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation. <i>PNAS</i>. 2017;114(13):3427-3432. doi:<a href=\"https://doi.org/10.1073/pnas.1620274114\">10.1073/pnas.1620274114</a>","ista":"Rickman J, Düllberg CF, Cade N, Griffin L, Surrey T. 2017. Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation. PNAS. 114(13), 3427–3432."},"title":"Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation"},{"volume":19,"publist_id":"7074","publication_identifier":{"issn":["14657392"]},"date_created":"2018-12-11T11:47:46Z","type":"journal_article","acknowledged_ssus":[{"_id":"SSU"}],"date_published":"2017-03-27T00:00:00Z","scopus_import":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2024-03-25T23:30:21Z","year":"2017","oa":1,"ec_funded":1,"language":[{"iso":"eng"}],"intvolume":"        19","publication_status":"published","month":"03","external_id":{"pmid":["28346437"]},"_id":"661","oa_version":"Submitted Version","status":"public","author":[{"full_name":"Smutny, Michael","orcid":"0000-0002-5920-9090","first_name":"Michael","id":"3FE6E4E8-F248-11E8-B48F-1D18A9856A87","last_name":"Smutny"},{"first_name":"Zsuzsa","full_name":"Ákos, Zsuzsa","last_name":"Ákos"},{"last_name":"Grigolon","full_name":"Grigolon, Silvia","first_name":"Silvia"},{"first_name":"Shayan","full_name":"Shamipour, Shayan","last_name":"Shamipour","id":"40B34FE2-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ruprecht","full_name":"Ruprecht, Verena","first_name":"Verena"},{"first_name":"Daniel","full_name":"Capek, Daniel","orcid":"0000-0001-5199-9940","last_name":"Capek","id":"31C42484-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Behrndt, Martin","first_name":"Martin","id":"3ECECA3A-F248-11E8-B48F-1D18A9856A87","last_name":"Behrndt"},{"last_name":"Papusheva","id":"41DB591E-F248-11E8-B48F-1D18A9856A87","first_name":"Ekaterina","full_name":"Papusheva, Ekaterina"},{"last_name":"Tada","first_name":"Masazumi","full_name":"Tada, Masazumi"},{"first_name":"Björn","orcid":"0000-0003-2057-2754","full_name":"Hof, Björn","last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Tamás","full_name":"Vicsek, Tamás","last_name":"Vicsek"},{"last_name":"Salbreux","first_name":"Guillaume","full_name":"Salbreux, Guillaume"},{"first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg","id":"39427864-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":"1","doi":"10.1038/ncb3492","citation":{"ieee":"M. Smutny <i>et al.</i>, “Friction forces position the neural anlage,” <i>Nature Cell Biology</i>, vol. 19. Nature Publishing Group, pp. 306–317, 2017.","ama":"Smutny M, Ákos Z, Grigolon S, et al. Friction forces position the neural anlage. <i>Nature Cell Biology</i>. 2017;19:306-317. doi:<a href=\"https://doi.org/10.1038/ncb3492\">10.1038/ncb3492</a>","ista":"Smutny M, Ákos Z, Grigolon S, Shamipour S, Ruprecht V, Capek D, Behrndt M, Papusheva E, Tada M, Hof B, Vicsek T, Salbreux G, Heisenberg C-PJ. 2017. Friction forces position the neural anlage. Nature Cell Biology. 19, 306–317.","apa":"Smutny, M., Ákos, Z., Grigolon, S., Shamipour, S., Ruprecht, V., Capek, D., … Heisenberg, C.-P. J. (2017). Friction forces position the neural anlage. <i>Nature Cell Biology</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/ncb3492\">https://doi.org/10.1038/ncb3492</a>","mla":"Smutny, Michael, et al. “Friction Forces Position the Neural Anlage.” <i>Nature Cell Biology</i>, vol. 19, Nature Publishing Group, 2017, pp. 306–17, doi:<a href=\"https://doi.org/10.1038/ncb3492\">10.1038/ncb3492</a>.","short":"M. Smutny, Z. Ákos, S. Grigolon, S. Shamipour, V. Ruprecht, D. Capek, M. Behrndt, E. Papusheva, M. Tada, B. Hof, T. Vicsek, G. Salbreux, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 306–317.","chicago":"Smutny, Michael, Zsuzsa Ákos, Silvia Grigolon, Shayan Shamipour, Verena Ruprecht, Daniel Capek, Martin Behrndt, et al. “Friction Forces Position the Neural Anlage.” <i>Nature Cell Biology</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/ncb3492\">https://doi.org/10.1038/ncb3492</a>."},"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"50"},{"status":"public","id":"8350","relation":"dissertation_contains"}]},"title":"Friction forces position the neural anlage","project":[{"grant_number":"306589","_id":"25152F3A-B435-11E9-9278-68D0E5697425","name":"Decoding the complexity of turbulence at its origin","call_identifier":"FP7"},{"_id":"252ABD0A-B435-11E9-9278-68D0E5697425","name":"Control of Epithelial Cell Layer Spreading in Zebrafish","grant_number":"I 930-B20","call_identifier":"FWF"}],"day":"27","department":[{"_id":"CaHe"},{"_id":"BjHo"},{"_id":"Bio"}],"main_file_link":[{"open_access":"1","url":"https://europepmc.org/articles/pmc5635970"}],"publication":"Nature Cell Biology","publisher":"Nature Publishing Group","page":"306 - 317","pmid":1,"abstract":[{"lang":"eng","text":"During embryonic development, mechanical forces are essential for cellular rearrangements driving tissue morphogenesis. Here, we show that in the early zebrafish embryo, friction forces are generated at the interface between anterior axial mesoderm (prechordal plate, ppl) progenitors migrating towards the animal pole and neurectoderm progenitors moving in the opposite direction towards the vegetal pole of the embryo. These friction forces lead to global rearrangement of cells within the neurectoderm and determine the position of the neural anlage. Using a combination of experiments and simulations, we show that this process depends on hydrodynamic coupling between neurectoderm and ppl as a result of E-cadherin-mediated adhesion between those tissues. Our data thus establish the emergence of friction forces at the interface between moving tissues as a critical force-generating process shaping the embryo."}]},{"quality_controlled":"1","author":[{"last_name":"Siavashpouri","full_name":"Siavashpouri, Mahsa","first_name":"Mahsa"},{"last_name":"Wachauf","full_name":"Wachauf, Christian","first_name":"Christian"},{"first_name":"Mark","full_name":"Zakhary, Mark","last_name":"Zakhary"},{"full_name":"Praetorius, Florian M","first_name":"Florian M","id":"dfec9381-4341-11ee-8fd8-faa02bba7d62","last_name":"Praetorius"},{"last_name":"Dietz","first_name":"Hendrik","full_name":"Dietz, Hendrik"},{"full_name":"Dogic, Zvonimir","first_name":"Zvonimir","last_name":"Dogic"}],"article_processing_charge":"No","_id":"14310","oa_version":"None","status":"public","language":[{"iso":"eng"}],"month":"03","publication_status":"published","year":"2017","title":"Molecular engineering of colloidal liquid crystals using DNA origami","date_updated":"2023-11-07T11:36:15Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"M. Siavashpouri, C. Wachauf, M. Zakhary, F. M. Praetorius, H. Dietz, and Z. Dogic, “Molecular engineering of colloidal liquid crystals using DNA origami,” in <i>APS March Meeting 2017</i>, 2017.","ama":"Siavashpouri M, Wachauf C, Zakhary M, Praetorius FM, Dietz H, Dogic Z. Molecular engineering of colloidal liquid crystals using DNA origami. In: <i>APS March Meeting 2017</i>. APS; 2017.","ista":"Siavashpouri M, Wachauf C, Zakhary M, Praetorius FM, Dietz H, Dogic Z. 2017. Molecular engineering of colloidal liquid crystals using DNA origami. APS March Meeting 2017. .","mla":"Siavashpouri, Mahsa, et al. “Molecular Engineering of Colloidal Liquid Crystals Using DNA Origami.” <i>APS March Meeting 2017</i>, APS, 2017.","short":"M. Siavashpouri, C. Wachauf, M. Zakhary, F.M. Praetorius, H. Dietz, Z. Dogic, in:, APS March Meeting 2017, APS, 2017.","apa":"Siavashpouri, M., Wachauf, C., Zakhary, M., Praetorius, F. M., Dietz, H., &#38; Dogic, Z. (2017). Molecular engineering of colloidal liquid crystals using DNA origami. In <i>APS March Meeting 2017</i>. APS.","chicago":"Siavashpouri, Mahsa, Christian Wachauf, Mark Zakhary, Florian M Praetorius, Hendrik Dietz, and Zvonimir Dogic. “Molecular Engineering of Colloidal Liquid Crystals Using DNA Origami.” In <i>APS March Meeting 2017</i>. APS, 2017."},"publication":"APS March Meeting 2017","publisher":"APS","day":"01","date_created":"2023-09-06T13:40:20Z","type":"conference_abstract","date_published":"2017-03-01T00:00:00Z","extern":"1"},{"scopus_import":"1","date_updated":"2023-09-20T09:42:40Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","year":"2017","oa":1,"ec_funded":1,"publist_id":"5765","volume":78,"publication_identifier":{"issn":[" 07477171"]},"date_created":"2018-12-11T11:51:59Z","type":"journal_article","date_published":"2017-01-01T00:00:00Z","author":[{"last_name":"Bauer","first_name":"Ulrich","full_name":"Bauer, Ulrich"},{"last_name":"Kerber","full_name":"Kerber, Michael","first_name":"Michael"},{"last_name":"Reininghaus","first_name":"Jan","full_name":"Reininghaus, Jan"},{"full_name":"Wagner, Hubert","first_name":"Hubert","id":"379CA8B8-F248-11E8-B48F-1D18A9856A87","last_name":"Wagner"}],"quality_controlled":"1","article_processing_charge":"No","language":[{"iso":"eng"}],"external_id":{"isi":["000384396000005"]},"publication_status":"published","month":"01","intvolume":"        78","_id":"1433","oa_version":"Published Version","status":"public","article_type":"original","citation":{"chicago":"Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “Phat - Persistent Homology Algorithms Toolbox.” <i>Journal of Symbolic Computation</i>. Academic Press, 2017. <a href=\"https://doi.org/10.1016/j.jsc.2016.03.008\">https://doi.org/10.1016/j.jsc.2016.03.008</a>.","mla":"Bauer, Ulrich, et al. “Phat - Persistent Homology Algorithms Toolbox.” <i>Journal of Symbolic Computation</i>, vol. 78, Academic Press, 2017, pp. 76–90, doi:<a href=\"https://doi.org/10.1016/j.jsc.2016.03.008\">10.1016/j.jsc.2016.03.008</a>.","short":"U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.","apa":"Bauer, U., Kerber, M., Reininghaus, J., &#38; Wagner, H. (2017). Phat - Persistent homology algorithms toolbox. <i>Journal of Symbolic Computation</i>. Academic Press. <a href=\"https://doi.org/10.1016/j.jsc.2016.03.008\">https://doi.org/10.1016/j.jsc.2016.03.008</a>","ista":"Bauer U, Kerber M, Reininghaus J, Wagner H. 2017. Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. 78, 76–90.","ieee":"U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “Phat - Persistent homology algorithms toolbox,” <i>Journal of Symbolic Computation</i>, vol. 78. Academic Press, pp. 76–90, 2017.","ama":"Bauer U, Kerber M, Reininghaus J, Wagner H. Phat - Persistent homology algorithms toolbox. <i>Journal of Symbolic Computation</i>. 2017;78:76-90. doi:<a href=\"https://doi.org/10.1016/j.jsc.2016.03.008\">10.1016/j.jsc.2016.03.008</a>"},"related_material":{"record":[{"id":"10894","status":"public","relation":"earlier_version"}]},"title":"Phat - Persistent homology algorithms toolbox","day":"01","project":[{"name":"Topological Complex Systems","_id":"255D761E-B435-11E9-9278-68D0E5697425","grant_number":"318493","call_identifier":"FP7"}],"main_file_link":[{"url":"https://doi.org/10.1016/j.jsc.2016.03.008","open_access":"1"}],"department":[{"_id":"HeEd"}],"publisher":"Academic Press","publication":"Journal of Symbolic Computation","doi":"10.1016/j.jsc.2016.03.008","isi":1,"page":"76 - 90","abstract":[{"text":"Phat is an open-source C. ++ library for the computation of persistent homology by matrix reduction, targeted towards developers of software for topological data analysis. We aim for a simple generic design that decouples algorithms from data structures without sacrificing efficiency or user-friendliness. We provide numerous different reduction strategies as well as data types to store and manipulate the boundary matrix. We compare the different combinations through extensive experimental evaluation and identify optimization techniques that work well in practical situations. We also compare our software with various other publicly available libraries for persistent homology.","lang":"eng"}]},{"isi":1,"doi":"10.1007/s00440-015-0692-y","project":[{"call_identifier":"FP7","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","name":"Random matrices, universality and disordered quantum systems"}],"day":"01","publication":"Probability Theory and Related Fields","publisher":"Springer","department":[{"_id":"LaEr"}],"citation":{"ista":"Bao Z, Erdös L. 2017. Delocalization for a class of random block band matrices. Probability Theory and Related Fields. 167(3–4), 673–776.","ama":"Bao Z, Erdös L. Delocalization for a class of random block band matrices. <i>Probability Theory and Related Fields</i>. 2017;167(3-4):673-776. doi:<a href=\"https://doi.org/10.1007/s00440-015-0692-y\">10.1007/s00440-015-0692-y</a>","ieee":"Z. Bao and L. Erdös, “Delocalization for a class of random block band matrices,” <i>Probability Theory and Related Fields</i>, vol. 167, no. 3–4. Springer, pp. 673–776, 2017.","chicago":"Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.” <i>Probability Theory and Related Fields</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s00440-015-0692-y\">https://doi.org/10.1007/s00440-015-0692-y</a>.","apa":"Bao, Z., &#38; Erdös, L. (2017). Delocalization for a class of random block band matrices. <i>Probability Theory and Related Fields</i>. Springer. <a href=\"https://doi.org/10.1007/s00440-015-0692-y\">https://doi.org/10.1007/s00440-015-0692-y</a>","mla":"Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.” <i>Probability Theory and Related Fields</i>, vol. 167, no. 3–4, Springer, 2017, pp. 673–776, doi:<a href=\"https://doi.org/10.1007/s00440-015-0692-y\">10.1007/s00440-015-0692-y</a>.","short":"Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776."},"title":"Delocalization for a class of random block band matrices","issue":"3-4","ddc":["530"],"pubrep_id":"489","abstract":[{"lang":"eng","text":"We consider N×N Hermitian random matrices H consisting of blocks of size M≥N6/7. The matrix elements are i.i.d. within the blocks, close to a Gaussian in the four moment matching sense, but their distribution varies from block to block to form a block-band structure, with an essential band width M. We show that the entries of the Green’s function G(z)=(H−z)−1 satisfy the local semicircle law with spectral parameter z=E+iη down to the real axis for any η≫N−1, using a combination of the supersymmetry method inspired by Shcherbina (J Stat Phys 155(3): 466–499, 2014) and the Green’s function comparison strategy. Previous estimates were valid only for η≫M−1. The new estimate also implies that the eigenvectors in the middle of the spectrum are fully delocalized."}],"page":"673 - 776","file":[{"date_updated":"2020-07-14T12:45:00Z","file_size":1615755,"file_id":"4665","access_level":"open_access","content_type":"application/pdf","creator":"system","checksum":"67afa85ff1e220cbc1f9f477a828513c","relation":"main_file","date_created":"2018-12-12T10:08:05Z","file_name":"IST-2016-489-v1+1_s00440-015-0692-y.pdf"}],"has_accepted_license":"1","date_published":"2017-04-01T00:00:00Z","publication_identifier":{"issn":["01788051"]},"volume":167,"publist_id":"5644","type":"journal_article","date_created":"2018-12-11T11:52:32Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"oa":1,"ec_funded":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_updated":"2023-09-20T09:42:12Z","scopus_import":"1","year":"2017","article_type":"original","month":"04","publication_status":"published","external_id":{"isi":["000398842700004"]},"intvolume":"       167","language":[{"iso":"eng"}],"status":"public","file_date_updated":"2020-07-14T12:45:00Z","_id":"1528","oa_version":"Published Version","article_processing_charge":"Yes (via OA deal)","acknowledgement":"Z. Bao was supported by ERC Advanced Grant RANMAT No. 338804; L. Erdős was partially supported by ERC Advanced Grant RANMAT No. 338804.\r\nOpen access funding provided by Institute of Science and Technology (IST Austria). The authors are very grateful to the anonymous referees for careful reading and valuable comments, which helped to improve the organization.","author":[{"first_name":"Zhigang","orcid":"0000-0003-3036-1475","full_name":"Bao, Zhigang","last_name":"Bao","id":"442E6A6C-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-5366-9603","full_name":"Erdös, László","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös"}],"quality_controlled":"1"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-06-21T13:29:46Z","arxiv":1,"year":"2017","oa":1,"publication_identifier":{"eissn":["1611-3349"],"eisbn":["9783662545775"],"issn":["0302-9743"],"isbn":["9783662545768"]},"volume":10205,"type":"conference","date_created":"2023-06-21T13:21:14Z","date_published":"2017-03-31T00:00:00Z","author":[{"last_name":"Kretinsky","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881"},{"first_name":"Tobias","orcid":"0000-0002-1712-2165","full_name":"Meggendorfer, Tobias","last_name":"Meggendorfer","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1"},{"last_name":"Waldmann","full_name":"Waldmann, Clara","first_name":"Clara"},{"last_name":"Weininger","full_name":"Weininger, Maximilian","first_name":"Maximilian"}],"quality_controlled":"1","alternative_title":["LNCS"],"article_processing_charge":"No","acknowledgement":"This work is partially funded by the DFG project “Verified Model Checkers” and by the Czech Science Foundation, grant No. P202/12/G061.","month":"03","publication_status":"published","intvolume":"     10205","external_id":{"arxiv":["1701.05738"]},"language":[{"iso":"eng"}],"status":"public","oa_version":"Preprint","_id":"13160","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","start_date":"2017-04-22","end_date":"2017-04-29","location":"Uppsala, Sweden"},"citation":{"ista":"Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2017. Index appearance record for transforming Rabin automata into parity automata. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 443–460.","ieee":"J. Kretinsky, T. Meggendorfer, C. Waldmann, and M. Weininger, “Index appearance record for transforming Rabin automata into parity automata,” in <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, Uppsala, Sweden, 2017, vol. 10205, pp. 443–460.","ama":"Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record for transforming Rabin automata into parity automata. In: <i>Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 10205. Springer; 2017:443-460. doi:<a href=\"https://doi.org/10.1007/978-3-662-54577-5_26\">10.1007/978-3-662-54577-5_26</a>","chicago":"Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” In <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, 10205:443–60. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-662-54577-5_26\">https://doi.org/10.1007/978-3-662-54577-5_26</a>.","mla":"Kretinsky, Jan, et al. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 10205, Springer, 2017, pp. 443–60, doi:<a href=\"https://doi.org/10.1007/978-3-662-54577-5_26\">10.1007/978-3-662-54577-5_26</a>.","short":"J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.","apa":"Kretinsky, J., Meggendorfer, T., Waldmann, C., &#38; Weininger, M. (2017). Index appearance record for transforming Rabin automata into parity automata. In <i>Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 10205, pp. 443–460). Uppsala, Sweden: Springer. <a href=\"https://doi.org/10.1007/978-3-662-54577-5_26\">https://doi.org/10.1007/978-3-662-54577-5_26</a>"},"title":"Index appearance record for transforming Rabin automata into parity automata","day":"31","publisher":"Springer","publication":"Tools and Algorithms for the Construction and Analysis of Systems","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1701.05738"}],"department":[{"_id":"KrCh"}],"doi":"10.1007/978-3-662-54577-5_26","page":"443-460","abstract":[{"lang":"eng","text":"Transforming deterministic ω\r\n-automata into deterministic parity automata is traditionally done using variants of appearance records. We present a more efficient variant of this approach, tailored to Rabin automata, and several optimizations applicable to all appearance records. We compare the methods experimentally and find out that our method produces smaller automata than previous approaches. Moreover, the experiments demonstrate the potential of our method for LTL synthesis, using LTL-to-Rabin translators. It leads to significantly smaller parity automata when compared to state-of-the-art approaches on complex formulae."}]},{"doi":"10.1007/s00453-016-0212-1","isi":1,"citation":{"ama":"Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. Towards a runtime comparison of natural and artificial evolution. <i>Algorithmica</i>. 2017;78(2):681-713. doi:<a href=\"https://doi.org/10.1007/s00453-016-0212-1\">10.1007/s00453-016-0212-1</a>","ieee":"T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime comparison of natural and artificial evolution,” <i>Algorithmica</i>, vol. 78, no. 2. Springer, pp. 681–713, 2017.","ista":"Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. 2017. Towards a runtime comparison of natural and artificial evolution. Algorithmica. 78(2), 681–713.","apa":"Paixao, T., Pérez Heredia, J., Sudholt, D., &#38; Trubenova, B. (2017). Towards a runtime comparison of natural and artificial evolution. <i>Algorithmica</i>. Springer. <a href=\"https://doi.org/10.1007/s00453-016-0212-1\">https://doi.org/10.1007/s00453-016-0212-1</a>","mla":"Paixao, Tiago, et al. “Towards a Runtime Comparison of Natural and Artificial Evolution.” <i>Algorithmica</i>, vol. 78, no. 2, Springer, 2017, pp. 681–713, doi:<a href=\"https://doi.org/10.1007/s00453-016-0212-1\">10.1007/s00453-016-0212-1</a>.","short":"T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.","chicago":"Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova. “Towards a Runtime Comparison of Natural and Artificial Evolution.” <i>Algorithmica</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s00453-016-0212-1\">https://doi.org/10.1007/s00453-016-0212-1</a>."},"title":"Towards a runtime comparison of natural and artificial evolution","day":"01","project":[{"call_identifier":"FP7","grant_number":"618091","_id":"25B1EC9E-B435-11E9-9278-68D0E5697425","name":"Speed of Adaptation in Population Genetics and Evolutionary Computation"}],"department":[{"_id":"NiBa"},{"_id":"CaGu"}],"publication":"Algorithmica","publisher":"Springer","pubrep_id":"658","ddc":["576"],"issue":"2","page":"681 - 713","file":[{"date_created":"2018-12-12T10:10:19Z","file_name":"IST-2016-658-v1+1_s00453-016-0212-1.pdf","file_id":"4805","file_size":710206,"date_updated":"2020-07-14T12:44:44Z","relation":"main_file","checksum":"7873f665a0c598ac747c908f34cb14b9","content_type":"application/pdf","access_level":"open_access","creator":"system"}],"abstract":[{"lang":"eng","text":"Evolutionary algorithms (EAs) form a popular optimisation paradigm inspired by natural evolution. In recent years the field of evolutionary computation has developed a rigorous analytical theory to analyse the runtimes of EAs on many illustrative problems. Here we apply this theory to a simple model of natural evolution. In the Strong Selection Weak Mutation (SSWM) evolutionary regime the time between occurrences of new mutations is much longer than the time it takes for a mutated genotype to take over the population. In this situation, the population only contains copies of one genotype and evolution can be modelled as a stochastic process evolving one genotype by means of mutation and selection between the resident and the mutated genotype. The probability of accepting the mutated genotype then depends on the change in fitness. We study this process, SSWM, from an algorithmic perspective, quantifying its expected optimisation time for various parameters and investigating differences to a similar evolutionary algorithm, the well-known (1+1) EA. We show that SSWM can have a moderate advantage over the (1+1) EA at crossing fitness valleys and study an example where SSWM outperforms the (1+1) EA by taking advantage of information on the fitness gradient."}],"publist_id":"5931","volume":78,"publication_identifier":{"issn":["01784617"]},"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2018-12-11T11:51:27Z","type":"journal_article","has_accepted_license":"1","date_published":"2017-06-01T00:00:00Z","scopus_import":"1","date_updated":"2023-09-20T11:14:42Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","year":"2017","oa":1,"ec_funded":1,"language":[{"iso":"eng"}],"external_id":{"isi":["000400379500013"]},"intvolume":"        78","publication_status":"published","month":"06","oa_version":"Published Version","_id":"1336","file_date_updated":"2020-07-14T12:44:44Z","status":"public","author":[{"first_name":"Tiago","orcid":"0000-0003-2361-3953","full_name":"Paixao, Tiago","last_name":"Paixao","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Pérez Heredia","first_name":"Jorge","full_name":"Pérez Heredia, Jorge"},{"full_name":"Sudholt, Dirk","first_name":"Dirk","last_name":"Sudholt"},{"orcid":"0000-0002-6873-2967","full_name":"Trubenova, Barbora","first_name":"Barbora","id":"42302D54-F248-11E8-B48F-1D18A9856A87","last_name":"Trubenova"}],"quality_controlled":"1","article_processing_charge":"No"},{"author":[{"first_name":"Oskari H","full_name":"Ajanki, Oskari H","last_name":"Ajanki","id":"36F2FB7E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"László","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Torben H","orcid":"0000-0002-4821-3297","full_name":"Krüger, Torben H","last_name":"Krüger","id":"3020C786-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":"1","article_processing_charge":"Yes (via OA deal)","acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria).  ","publication_status":"published","intvolume":"       169","external_id":{"isi":["000414358400002"]},"month":"12","language":[{"iso":"eng"}],"status":"public","file_date_updated":"2020-07-14T12:44:44Z","_id":"1337","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_updated":"2023-09-20T11:14:17Z","scopus_import":"1","year":"2017","oa":1,"ec_funded":1,"publication_identifier":{"issn":["01788051"]},"volume":169,"publist_id":"5930","type":"journal_article","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2018-12-11T11:51:27Z","has_accepted_license":"1","date_published":"2017-12-01T00:00:00Z","page":"667 - 727","file":[{"file_name":"IST-2017-657-v1+2_s00440-016-0740-2.pdf","date_created":"2018-12-12T10:08:25Z","access_level":"open_access","creator":"system","content_type":"application/pdf","checksum":"29f5a72c3f91e408aeb9e78344973803","relation":"main_file","date_updated":"2020-07-14T12:44:44Z","file_size":988843,"file_id":"4686"}],"abstract":[{"lang":"eng","text":"We consider the local eigenvalue distribution of large self-adjoint N×N random matrices H=H∗ with centered independent entries. In contrast to previous works the matrix of variances sij=\\mathbbmE|hij|2 is not assumed to be stochastic. Hence the density of states is not the Wigner semicircle law. Its possible shapes are described in the companion paper (Ajanki et al. in Quadratic Vector Equations on the Complex Upper Half Plane. arXiv:1506.05095). We show that as N grows, the resolvent, G(z)=(H−z)−1, converges to a diagonal matrix, diag(m(z)), where m(z)=(m1(z),…,mN(z)) solves the vector equation −1/mi(z)=z+∑jsijmj(z) that has been analyzed in Ajanki et al. (Quadratic Vector Equations on the Complex Upper Half Plane. arXiv:1506.05095). We prove a local law down to the smallest spectral resolution scale, and bulk universality for both real symmetric and complex hermitian symmetry classes."}],"ddc":["510","530"],"pubrep_id":"657","issue":"3-4","citation":{"ista":"Ajanki OH, Erdös L, Krüger TH. 2017. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 169(3–4), 667–727.","ieee":"O. H. Ajanki, L. Erdös, and T. H. Krüger, “Universality for general Wigner-type matrices,” <i>Probability Theory and Related Fields</i>, vol. 169, no. 3–4. Springer, pp. 667–727, 2017.","ama":"Ajanki OH, Erdös L, Krüger TH. Universality for general Wigner-type matrices. <i>Probability Theory and Related Fields</i>. 2017;169(3-4):667-727. doi:<a href=\"https://doi.org/10.1007/s00440-016-0740-2\">10.1007/s00440-016-0740-2</a>","chicago":"Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for General Wigner-Type Matrices.” <i>Probability Theory and Related Fields</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s00440-016-0740-2\">https://doi.org/10.1007/s00440-016-0740-2</a>.","apa":"Ajanki, O. H., Erdös, L., &#38; Krüger, T. H. (2017). Universality for general Wigner-type matrices. <i>Probability Theory and Related Fields</i>. Springer. <a href=\"https://doi.org/10.1007/s00440-016-0740-2\">https://doi.org/10.1007/s00440-016-0740-2</a>","mla":"Ajanki, Oskari H., et al. “Universality for General Wigner-Type Matrices.” <i>Probability Theory and Related Fields</i>, vol. 169, no. 3–4, Springer, 2017, pp. 667–727, doi:<a href=\"https://doi.org/10.1007/s00440-016-0740-2\">10.1007/s00440-016-0740-2</a>.","short":"O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727."},"title":"Universality for general Wigner-type matrices","day":"01","project":[{"call_identifier":"FP7","grant_number":"338804","name":"Random matrices, universality and disordered quantum systems","_id":"258DCDE6-B435-11E9-9278-68D0E5697425"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"publisher":"Springer","publication":"Probability Theory and Related Fields","department":[{"_id":"LaEr"}],"isi":1,"doi":"10.1007/s00440-016-0740-2"},{"isi":1,"doi":"10.1007/s10703-016-0256-5","publication":"Formal Methods in System Design","publisher":"Springer","department":[{"_id":"ToHe"}],"project":[{"call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","grant_number":"267989"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","call_identifier":"FWF"},{"grant_number":"Z211","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"day":"01","title":"From non-preemptive to preemptive scheduling using synchronization synthesis","related_material":{"record":[{"relation":"earlier_version","id":"1729","status":"public"}]},"citation":{"short":"P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.","mla":"Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” <i>Formal Methods in System Design</i>, vol. 50, no. 2–3, Springer, 2017, pp. 97–139, doi:<a href=\"https://doi.org/10.1007/s10703-016-0256-5\">10.1007/s10703-016-0256-5</a>.","apa":"Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., &#38; Tarrach, T. (2017). From non-preemptive to preemptive scheduling using synchronization synthesis. <i>Formal Methods in System Design</i>. Springer. <a href=\"https://doi.org/10.1007/s10703-016-0256-5\">https://doi.org/10.1007/s10703-016-0256-5</a>","chicago":"Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” <i>Formal Methods in System Design</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s10703-016-0256-5\">https://doi.org/10.1007/s10703-016-0256-5</a>.","ama":"Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. <i>Formal Methods in System Design</i>. 2017;50(2-3):97-139. doi:<a href=\"https://doi.org/10.1007/s10703-016-0256-5\">10.1007/s10703-016-0256-5</a>","ieee":"P. Cerny <i>et al.</i>, “From non-preemptive to preemptive scheduling using synchronization synthesis,” <i>Formal Methods in System Design</i>, vol. 50, no. 2–3. Springer, pp. 97–139, 2017.","ista":"Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. 2017. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 50(2–3), 97–139."},"issue":"2-3","ddc":["000"],"pubrep_id":"656","abstract":[{"text":"We present a computer-aided programming approach to concurrency. The approach allows programmers to program assuming a friendly, non-preemptive scheduler, and our synthesis procedure inserts synchronization to ensure that the final program works even with a preemptive scheduler. The correctness specification is implicit, inferred from the non-preemptive behavior. Let us consider sequences of calls that the program makes to an external interface. The specification requires that any such sequence produced under a preemptive scheduler should be included in the set of sequences produced under a non-preemptive scheduler. We guarantee that our synthesis does not introduce deadlocks and that the synchronization inserted is optimal w.r.t. a given objective function. The solution is based on a finitary abstraction, an algorithm for bounded language inclusion modulo an independence relation, and generation of a set of global constraints over synchronization placements. Each model of the global constraints set corresponds to a correctness-ensuring synchronization placement. The placement that is optimal w.r.t. the given objective function is chosen as the synchronization solution. We apply the approach to device-driver programming, where the driver threads call the software interface of the device and the API provided by the operating system. Our experiments demonstrate that our synthesis method is precise and efficient. The implicit specification helped us find one concurrency bug previously missed when model-checking using an explicit, user-provided specification. We implemented objective functions for coarse-grained and fine-grained locking and observed that different synchronization placements are produced for our experiments, favoring a minimal number of synchronization operations or maximum concurrency, respectively.","lang":"eng"}],"file":[{"file_name":"IST-2016-656-v1+1_s10703-016-0256-5.pdf","date_created":"2018-12-12T10:13:05Z","creator":"system","content_type":"application/pdf","access_level":"open_access","checksum":"1163dfd997e8212c789525d4178b1653","relation":"main_file","date_updated":"2020-07-14T12:44:44Z","file_size":1416170,"file_id":"4985"}],"page":"97 - 139","date_published":"2017-06-01T00:00:00Z","has_accepted_license":"1","type":"journal_article","date_created":"2018-12-11T11:51:27Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"publist_id":"5929","volume":50,"ec_funded":1,"oa":1,"year":"2017","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_updated":"2023-09-20T11:13:51Z","scopus_import":"1","file_date_updated":"2020-07-14T12:44:44Z","status":"public","oa_version":"Published Version","_id":"1338","month":"06","intvolume":"        50","publication_status":"published","external_id":{"isi":["000399888900001"]},"language":[{"iso":"eng"}],"article_processing_charge":"No","quality_controlled":"1","author":[{"first_name":"Pavol","full_name":"Cerny, Pavol","last_name":"Cerny","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Clarke","first_name":"Edmund","full_name":"Clarke, Edmund"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"last_name":"Radhakrishna","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","first_name":"Arjun","full_name":"Radhakrishna, Arjun"},{"full_name":"Ryzhyk, Leonid","first_name":"Leonid","last_name":"Ryzhyk"},{"last_name":"Samanta","id":"3D2AAC08-F248-11E8-B48F-1D18A9856A87","first_name":"Roopsha","full_name":"Samanta, Roopsha"},{"first_name":"Thorsten","orcid":"0000-0003-4409-8487","full_name":"Tarrach, Thorsten","last_name":"Tarrach","id":"3D6E8F2C-F248-11E8-B48F-1D18A9856A87"}]},{"keyword":["Colloid and Surface Chemistry","Biochemistry","General Chemistry","Catalysis"],"doi":"10.1021/jacs.7b09111","extern":"1","publisher":"American Chemical Society","publication":"Journal of the American Chemical Society","day":"01","title":"Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles","citation":{"apa":"Sawczyk, M., &#38; Klajn, R. (2017). Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles. <i>Journal of the American Chemical Society</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/jacs.7b09111\">https://doi.org/10.1021/jacs.7b09111</a>","mla":"Sawczyk, Michał, and Rafal Klajn. “Out-of-Equilibrium Aggregates and Coatings during Seeded Growth of Metallic Nanoparticles.” <i>Journal of the American Chemical Society</i>, vol. 139, no. 49, American Chemical Society, 2017, pp. 17973–78, doi:<a href=\"https://doi.org/10.1021/jacs.7b09111\">10.1021/jacs.7b09111</a>.","short":"M. Sawczyk, R. Klajn, Journal of the American Chemical Society 139 (2017) 17973–17978.","chicago":"Sawczyk, Michał, and Rafal Klajn. “Out-of-Equilibrium Aggregates and Coatings during Seeded Growth of Metallic Nanoparticles.” <i>Journal of the American Chemical Society</i>. American Chemical Society, 2017. <a href=\"https://doi.org/10.1021/jacs.7b09111\">https://doi.org/10.1021/jacs.7b09111</a>.","ieee":"M. Sawczyk and R. Klajn, “Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles,” <i>Journal of the American Chemical Society</i>, vol. 139, no. 49. American Chemical Society, pp. 17973–17978, 2017.","ama":"Sawczyk M, Klajn R. Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles. <i>Journal of the American Chemical Society</i>. 2017;139(49):17973-17978. doi:<a href=\"https://doi.org/10.1021/jacs.7b09111\">10.1021/jacs.7b09111</a>","ista":"Sawczyk M, Klajn R. 2017. Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles. Journal of the American Chemical Society. 139(49), 17973–17978."},"issue":"49","abstract":[{"lang":"eng","text":"Although dissipative self-assembly is ubiquitous in nature, where it gives rise to structures and functions critical to life, examples of artificial systems featuring this mode of self-assembly are rare. Here, we identify the presence of ephemeral assemblies during seeded growth of gold nanoparticles. In this process, hydrazine reduces Au(III) ions, which attach to the existing nanoparticles “seeds”. The attachment is accompanied by a local increase in the concentration of a surfactant, which therefore forms a bilayer on nanoparticle surfaces, inducing their assembly. The resulting aggregates gradually disassemble as the surfactant concentration throughout the solution equilibrates. The lifetimes of the out-of-equilibrium aggregates depend on and can be controlled by the size of the constituent nanoparticles. We demonstrate the utility of our out-of-equilibrium aggregates to form transient reflective coatings on polar surfaces."}],"pmid":1,"page":"17973-17978","date_published":"2017-12-01T00:00:00Z","date_created":"2023-08-01T09:41:01Z","type":"journal_article","volume":139,"publication_identifier":{"eissn":["1520-5126"],"issn":["0002-7863"]},"year":"2017","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-08-07T11:19:30Z","article_type":"original","oa_version":"None","_id":"13380","status":"public","language":[{"iso":"eng"}],"month":"12","external_id":{"pmid":["29193964"]},"intvolume":"       139","publication_status":"published","article_processing_charge":"No","quality_controlled":"1","author":[{"first_name":"Michał","full_name":"Sawczyk, Michał","last_name":"Sawczyk"},{"last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","first_name":"Rafal","full_name":"Klajn, Rafal"}]},{"main_file_link":[{"url":"https://repository.uantwerpen.be/docman/irua/8d722e/147242_2018_06_07.pdf","open_access":"1"}],"publisher":"American Association for the Advancement of Science","publication":"Science","day":"27","title":"Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices","citation":{"apa":"Udayabhaskararao, T., Altantzis, T., Houben, L., Coronado-Puchau, M., Langer, J., Popovitz-Biro, R., … Klajn, R. (2017). Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.aan6046\">https://doi.org/10.1126/science.aan6046</a>","short":"T. Udayabhaskararao, T. Altantzis, L. Houben, M. Coronado-Puchau, J. Langer, R. Popovitz-Biro, L.M. Liz-Marzán, L. Vuković, P. Král, S. Bals, R. Klajn, Science 358 (2017) 514–518.","mla":"Udayabhaskararao, Thumu, et al. “Tunable Porous Nanoallotropes Prepared by Post-Assembly Etching of Binary Nanoparticle Superlattices.” <i>Science</i>, vol. 358, no. 6362, American Association for the Advancement of Science, 2017, pp. 514–18, doi:<a href=\"https://doi.org/10.1126/science.aan6046\">10.1126/science.aan6046</a>.","chicago":"Udayabhaskararao, Thumu, Thomas Altantzis, Lothar Houben, Marc Coronado-Puchau, Judith Langer, Ronit Popovitz-Biro, Luis M. Liz-Marzán, et al. “Tunable Porous Nanoallotropes Prepared by Post-Assembly Etching of Binary Nanoparticle Superlattices.” <i>Science</i>. American Association for the Advancement of Science, 2017. <a href=\"https://doi.org/10.1126/science.aan6046\">https://doi.org/10.1126/science.aan6046</a>.","ieee":"T. Udayabhaskararao <i>et al.</i>, “Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices,” <i>Science</i>, vol. 358, no. 6362. American Association for the Advancement of Science, pp. 514–518, 2017.","ama":"Udayabhaskararao T, Altantzis T, Houben L, et al. Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices. <i>Science</i>. 2017;358(6362):514-518. doi:<a href=\"https://doi.org/10.1126/science.aan6046\">10.1126/science.aan6046</a>","ista":"Udayabhaskararao T, Altantzis T, Houben L, Coronado-Puchau M, Langer J, Popovitz-Biro R, Liz-Marzán LM, Vuković L, Král P, Bals S, Klajn R. 2017. Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices. Science. 358(6362), 514–518."},"keyword":["Multidisciplinary"],"doi":"10.1126/science.aan6046","extern":"1","abstract":[{"lang":"eng","text":"Self-assembly of inorganic nanoparticles has been used to prepare hundreds of different colloidal crystals, but almost invariably with the restriction that the particles must be densely packed. Here, we show that non–close-packed nanoparticle arrays can be fabricated through the selective removal of one of two components comprising binary nanoparticle superlattices. First, a variety of binary nanoparticle superlattices were prepared at the liquid-air interface, including several arrangements that were previously unknown. Molecular dynamics simulations revealed the particular role of the liquid in templating the formation of superlattices not achievable through self-assembly in bulk solution. Second, upon stabilization, all of these binary superlattices could be transformed into distinct “nanoallotropes”—nanoporous materials having the same chemical composition but differing in their nanoscale architectures."}],"pmid":1,"page":"514-518","issue":"6362","oa":1,"year":"2017","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-08-07T11:25:00Z","date_published":"2017-10-27T00:00:00Z","date_created":"2023-08-01T09:41:16Z","type":"journal_article","volume":358,"publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"article_processing_charge":"No","quality_controlled":"1","author":[{"last_name":"Udayabhaskararao","first_name":"Thumu","full_name":"Udayabhaskararao, Thumu"},{"first_name":"Thomas","full_name":"Altantzis, Thomas","last_name":"Altantzis"},{"first_name":"Lothar","full_name":"Houben, Lothar","last_name":"Houben"},{"last_name":"Coronado-Puchau","first_name":"Marc","full_name":"Coronado-Puchau, Marc"},{"last_name":"Langer","first_name":"Judith","full_name":"Langer, Judith"},{"full_name":"Popovitz-Biro, Ronit","first_name":"Ronit","last_name":"Popovitz-Biro"},{"first_name":"Luis M.","full_name":"Liz-Marzán, Luis M.","last_name":"Liz-Marzán"},{"first_name":"Lela","full_name":"Vuković, Lela","last_name":"Vuković"},{"last_name":"Král","full_name":"Král, Petr","first_name":"Petr"},{"full_name":"Bals, Sara","first_name":"Sara","last_name":"Bals"},{"last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","first_name":"Rafal","full_name":"Klajn, Rafal"}],"article_type":"original","oa_version":"Submitted Version","_id":"13381","status":"public","language":[{"iso":"eng"}],"month":"10","intvolume":"       358","external_id":{"pmid":["29074773"]},"publication_status":"published"},{"publication_identifier":{"eissn":["1460-4744"],"issn":["0306-0012"]},"volume":46,"type":"journal_article","date_created":"2023-08-01T09:41:30Z","date_published":"2017-09-08T00:00:00Z","date_updated":"2023-08-07T11:27:42Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","scopus_import":"1","year":"2017","oa":1,"month":"09","publication_status":"published","intvolume":"        46","external_id":{"pmid":["28884760"]},"language":[{"iso":"eng"}],"status":"public","oa_version":"Published Version","_id":"13382","article_type":"letter_note","author":[{"last_name":"van Esch","first_name":"Jan H.","full_name":"van Esch, Jan H."},{"first_name":"Rafal","full_name":"Klajn, Rafal","last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b"},{"full_name":"Otto, Sijbren","first_name":"Sijbren","last_name":"Otto"}],"quality_controlled":"1","article_processing_charge":"No","extern":"1","doi":"10.1039/c7cs90088k","keyword":["General Chemistry"],"citation":{"ieee":"J. H. van Esch, R. Klajn, and S. Otto, “Chemical systems out of equilibrium,” <i>Chemical Society Reviews</i>, vol. 46, no. 18. Royal Society of Chemistry, pp. 5474–5475, 2017.","ama":"van Esch JH, Klajn R, Otto S. Chemical systems out of equilibrium. <i>Chemical Society Reviews</i>. 2017;46(18):5474-5475. doi:<a href=\"https://doi.org/10.1039/c7cs90088k\">10.1039/c7cs90088k</a>","ista":"van Esch JH, Klajn R, Otto S. 2017. Chemical systems out of equilibrium. Chemical Society Reviews. 46(18), 5474–5475.","mla":"van Esch, Jan H., et al. “Chemical Systems out of Equilibrium.” <i>Chemical Society Reviews</i>, vol. 46, no. 18, Royal Society of Chemistry, 2017, pp. 5474–75, doi:<a href=\"https://doi.org/10.1039/c7cs90088k\">10.1039/c7cs90088k</a>.","short":"J.H. van Esch, R. Klajn, S. Otto, Chemical Society Reviews 46 (2017) 5474–5475.","apa":"van Esch, J. H., Klajn, R., &#38; Otto, S. (2017). Chemical systems out of equilibrium. <i>Chemical Society Reviews</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/c7cs90088k\">https://doi.org/10.1039/c7cs90088k</a>","chicago":"Esch, Jan H. van, Rafal Klajn, and Sijbren Otto. “Chemical Systems out of Equilibrium.” <i>Chemical Society Reviews</i>. Royal Society of Chemistry, 2017. <a href=\"https://doi.org/10.1039/c7cs90088k\">https://doi.org/10.1039/c7cs90088k</a>."},"title":"Chemical systems out of equilibrium","day":"08","publisher":"Royal Society of Chemistry","publication":"Chemical Society Reviews","main_file_link":[{"url":"https://doi.org/10.1039/c7cs90088k","open_access":"1"}],"issue":"18","page":"5474-5475","pmid":1},{"article_processing_charge":"No","quality_controlled":"1","author":[{"last_name":"Ahrens","full_name":"Ahrens, Johannes","first_name":"Johannes"},{"last_name":"Bian","first_name":"Tong","full_name":"Bian, Tong"},{"last_name":"Vexler","first_name":"Tom","full_name":"Vexler, Tom"},{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn","full_name":"Klajn, Rafal","first_name":"Rafal"}],"article_type":"original","status":"public","_id":"13383","oa_version":"None","publication_status":"published","month":"05","intvolume":"         1","language":[{"iso":"eng"}],"year":"2017","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-08-07T12:08:05Z","scopus_import":"1","date_published":"2017-05-01T00:00:00Z","type":"journal_article","date_created":"2023-08-01T09:41:43Z","publication_identifier":{"eissn":["2367-0932"]},"volume":1,"abstract":[{"lang":"eng","text":"Two novel donor–acceptor Stenhouse adducts (DASAs) featuring the catechol moiety were synthesized and characterized. Both compounds bind strongly to the surfaces of magnetite nanoparticles. An adrenaline-derived DASA renders the particles insoluble in all common solvents, likely because of poor solvation of the zwitterionic isomer generated on the nanoparticle surfaces. Well-soluble nanoparticles were successfully obtained using dopamine-derived DASA equipped with a long alkyl chain. Upon its attachment to nanoparticles, this DASA undergoes an irreversible decoloration reaction owing to the formation of the zwitterionic form. The reaction follows first-order kinetics and proceeds more rapidly on large nanoparticles. Interestingly, decoloration can be suppressed in the presence of free DASA molecules in solution or at high nanoparticle concentrations."}],"page":"230-236","issue":"5","publisher":"Wiley","publication":"ChemPhotoChem","day":"01","title":"Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles","citation":{"ista":"Ahrens J, Bian T, Vexler T, Klajn R. 2017. Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles. ChemPhotoChem. 1(5), 230–236.","ama":"Ahrens J, Bian T, Vexler T, Klajn R. Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles. <i>ChemPhotoChem</i>. 2017;1(5):230-236. doi:<a href=\"https://doi.org/10.1002/cptc.201700009\">10.1002/cptc.201700009</a>","ieee":"J. Ahrens, T. Bian, T. Vexler, and R. Klajn, “Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles,” <i>ChemPhotoChem</i>, vol. 1, no. 5. Wiley, pp. 230–236, 2017.","chicago":"Ahrens, Johannes, Tong Bian, Tom Vexler, and Rafal Klajn. “Irreversible Bleaching of Donor-Acceptor Stenhouse Adducts on the Surfaces of Magnetite Nanoparticles.” <i>ChemPhotoChem</i>. Wiley, 2017. <a href=\"https://doi.org/10.1002/cptc.201700009\">https://doi.org/10.1002/cptc.201700009</a>.","mla":"Ahrens, Johannes, et al. “Irreversible Bleaching of Donor-Acceptor Stenhouse Adducts on the Surfaces of Magnetite Nanoparticles.” <i>ChemPhotoChem</i>, vol. 1, no. 5, Wiley, 2017, pp. 230–36, doi:<a href=\"https://doi.org/10.1002/cptc.201700009\">10.1002/cptc.201700009</a>.","short":"J. Ahrens, T. Bian, T. Vexler, R. Klajn, ChemPhotoChem 1 (2017) 230–236.","apa":"Ahrens, J., Bian, T., Vexler, T., &#38; Klajn, R. (2017). Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles. <i>ChemPhotoChem</i>. Wiley. <a href=\"https://doi.org/10.1002/cptc.201700009\">https://doi.org/10.1002/cptc.201700009</a>"},"keyword":["Organic Chemistry","Physical and Theoretical Chemistry","Analytical Chemistry"],"extern":"1","doi":"10.1002/cptc.201700009"},{"citation":{"chicago":"Samanta, Dipak, and Rafal Klajn. “Clathrates Grow Up.” <i>Science</i>. American Association for the Advancement of Science, 2017. <a href=\"https://doi.org/10.1126/science.aam7927\">https://doi.org/10.1126/science.aam7927</a>.","mla":"Samanta, Dipak, and Rafal Klajn. “Clathrates Grow Up.” <i>Science</i>, vol. 355, no. 6328, American Association for the Advancement of Science, 2017, pp. 912–912, doi:<a href=\"https://doi.org/10.1126/science.aam7927\">10.1126/science.aam7927</a>.","short":"D. Samanta, R. Klajn, Science 355 (2017) 912–912.","apa":"Samanta, D., &#38; Klajn, R. (2017). Clathrates grow up. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.aam7927\">https://doi.org/10.1126/science.aam7927</a>","ista":"Samanta D, Klajn R. 2017. Clathrates grow up. Science. 355(6328), 912–912.","ama":"Samanta D, Klajn R. Clathrates grow up. <i>Science</i>. 2017;355(6328):912-912. doi:<a href=\"https://doi.org/10.1126/science.aam7927\">10.1126/science.aam7927</a>","ieee":"D. Samanta and R. Klajn, “Clathrates grow up,” <i>Science</i>, vol. 355, no. 6328. American Association for the Advancement of Science, pp. 912–912, 2017."},"title":"Clathrates grow up","day":"03","publication":"Science","publisher":"American Association for the Advancement of Science","extern":"1","doi":"10.1126/science.aam7927","keyword":["Multidisciplinary"],"page":"912-912","pmid":1,"abstract":[{"lang":"eng","text":"Although methane is a volatile gas, it can be efficiently trapped in ice, which can then be readily set on fire. Beyond the curiosity of this “burning ice,” caged methane is of great importance as one of the world's largest natural gas resources. In these materials, known as clathrates, methane molecules are tightly bound in nanometer-sized, regularly interspaced cages. Other inorganic materials, such as the silica mineral chibaite, can similarly encapsulate methane and higher hydrocarbons. Simple organic compounds have also been found to trap various organic molecules upon crystallization."}],"issue":"6328","date_updated":"2023-08-07T12:23:03Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","scopus_import":"1","year":"2017","publication_identifier":{"issn":["0036-8075"],"eissn":["1095-9203"]},"volume":355,"type":"journal_article","date_created":"2023-08-01T09:41:55Z","date_published":"2017-03-03T00:00:00Z","author":[{"first_name":"Dipak","full_name":"Samanta, Dipak","last_name":"Samanta"},{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn","full_name":"Klajn, Rafal","first_name":"Rafal"}],"quality_controlled":"1","article_processing_charge":"No","external_id":{"pmid":["28254902"]},"intvolume":"       355","publication_status":"published","month":"03","language":[{"iso":"eng"}],"status":"public","_id":"13384","oa_version":"None","article_type":"original"},{"abstract":[{"text":"Understanding ionizing fluxes of stellar populations is crucial for various astrophysical problems including the epoch of reionization. Short-lived massive stars are generally considered as the main stellar sources. We examine the potential role of less massive stars that lose their envelope through interaction with a binary companion. Here, we focus on the role of metallicity (Z). For this purpose we used the evolutionary code MESA and created tailored atmosphere models with the radiative transfer code CMFGEN. We show that typical progenitors, with initial masses of 12 M⊙, produce hot and compact stars (~ 4 M⊙, 60–80 kK, ~1 R⊙). These stripped stars copiously produce ionizing photons, emitting 60–85% and 30–60% of their energy as HI and HeI ionizing radiation, for Z = 0.0001–0.02, respectively. Their output is comparable to what massive stars emit during their Wolf-Rayet phase, if we account for their longer lifetimes and the favorable slope of the initial mass function. Their relative importance for reionization may be further favored since they emit their photons with a time delay (~ 20 Myr after birth in our fiducial model). This allows time for the dispersal of the birth clouds, allowing the ionizing photons to escape into the intergalactic medium. At low Z, we find that Roche stripping fails to fully remove the H-rich envelope, because of the reduced opacity in the subsurface layers. This is in sharp contrast with the assumption of complete stripping that is made in rapid population synthesis simulations, which are widely used to simulate the binary progenitors of supernovae and gravitational waves. Finally, we discuss the urgency to increase the observed sample of stripped stars to test these models and we discuss how our predictions can help to design efficient observational campaigns.","lang":"eng"}],"article_number":"A11","main_file_link":[{"url":"https://doi.org/10.1051/0004-6361/201730472","open_access":"1"}],"publisher":"EDP Sciences","publication":"Astronomy & Astrophysics","day":"01","title":"Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity","citation":{"chicago":"Götberg, Ylva Louise Linsdotter, S. E. de Mink, and J. H. Groh. “Ionizing Spectra of Stars That Lose Their Envelope through Interaction with a Binary Companion: Role of Metallicity.” <i>Astronomy &#38; Astrophysics</i>. EDP Sciences, 2017. <a href=\"https://doi.org/10.1051/0004-6361/201730472\">https://doi.org/10.1051/0004-6361/201730472</a>.","mla":"Götberg, Ylva Louise Linsdotter, et al. “Ionizing Spectra of Stars That Lose Their Envelope through Interaction with a Binary Companion: Role of Metallicity.” <i>Astronomy &#38; Astrophysics</i>, vol. 608, A11, EDP Sciences, 2017, doi:<a href=\"https://doi.org/10.1051/0004-6361/201730472\">10.1051/0004-6361/201730472</a>.","short":"Y.L.L. Götberg, S.E. de Mink, J.H. Groh, Astronomy &#38; Astrophysics 608 (2017).","apa":"Götberg, Y. L. L., de Mink, S. E., &#38; Groh, J. H. (2017). Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity. <i>Astronomy &#38; Astrophysics</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/0004-6361/201730472\">https://doi.org/10.1051/0004-6361/201730472</a>","ista":"Götberg YLL, de Mink SE, Groh JH. 2017. Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity. Astronomy &#38; Astrophysics. 608, A11.","ieee":"Y. L. L. Götberg, S. E. de Mink, and J. H. Groh, “Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity,” <i>Astronomy &#38; Astrophysics</i>, vol. 608. EDP Sciences, 2017.","ama":"Götberg YLL, de Mink SE, Groh JH. Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity. <i>Astronomy &#38; Astrophysics</i>. 2017;608. doi:<a href=\"https://doi.org/10.1051/0004-6361/201730472\">10.1051/0004-6361/201730472</a>"},"keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"doi":"10.1051/0004-6361/201730472","extern":"1","article_processing_charge":"No","quality_controlled":"1","author":[{"first_name":"Ylva Louise Linsdotter","full_name":"Götberg, Ylva Louise Linsdotter","orcid":"0000-0002-6960-6911","last_name":"Götberg","id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d"},{"last_name":"de Mink","full_name":"de Mink, S. E.","first_name":"S. E."},{"first_name":"J. H.","full_name":"Groh, J. H.","last_name":"Groh"}],"article_type":"original","oa_version":"Published Version","_id":"13476","status":"public","language":[{"iso":"eng"}],"publication_status":"published","month":"12","intvolume":"       608","external_id":{"arxiv":["1701.07439"]},"oa":1,"year":"2017","scopus_import":"1","arxiv":1,"date_updated":"2023-08-09T11:27:06Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2017-12-01T00:00:00Z","date_created":"2023-08-03T10:15:09Z","type":"journal_article","volume":608,"publication_identifier":{"eissn":["1432-0746"],"issn":["0004-6361"]}},{"abstract":[{"text":"Most massive stars, the progenitors of core-collapse supernovae, are in close binary systems and may interact with their companion through mass transfer or merging. We undertake a population synthesis study to compute the delay-time distribution of core-collapse supernovae, that is, the supernova rate versus time following a starburst, taking into account binary interactions. We test the systematic robustness of our results by running various simulations to account for the uncertainties in our standard assumptions. We find that a significant fraction, 15+9-8%, of core-collapse supernovae are “late”, that is, they occur 50–200 Myr after birth, when all massive single stars have already exploded. These late events originate predominantly from binary systems with at least one, or, in most cases, with both stars initially being of intermediate mass (4–8 M⊙). The main evolutionary channels that contribute often involve either the merging of the initially more massive primary star with its companion or the engulfment of the remaining core of the primary by the expanding secondary that has accreted mass at an earlier evolutionary stage. Also, the total number of core-collapse supernovae increases by 14+15-14% because of binarity for the same initial stellar mass. The high rate implies that we should have already observed such late core-collapse supernovae, but have not recognized them as such. We argue that φ Persei is a likely progenitor and that eccentric neutron star – white dwarf systems are likely descendants. Late events can help explain the discrepancy in the delay-time distributions derived from supernova remnants in the Magellanic Clouds and extragalactic type Ia events, lowering the contribution of prompt Ia events. We discuss ways to test these predictions and speculate on the implications for supernova feedback in simulations of galaxy evolution.","lang":"eng"}],"article_number":"A29","issue":"A&A","citation":{"ista":"Zapartas E, de Mink SE, Izzard RG, Yoon S-C, Badenes C, Götberg YLL, de Koter A, Neijssel CJ, Renzo M, Schootemeijer A, Shrotriya TS. 2017. Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction. Astronomy &#38; Astrophysics. 601(A&#38;A), A29.","ieee":"E. Zapartas <i>et al.</i>, “Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction,” <i>Astronomy &#38; Astrophysics</i>, vol. 601, no. A&#38;A. EDP Sciences, 2017.","ama":"Zapartas E, de Mink SE, Izzard RG, et al. Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction. <i>Astronomy &#38; Astrophysics</i>. 2017;601(A&#38;A). doi:<a href=\"https://doi.org/10.1051/0004-6361/201629685\">10.1051/0004-6361/201629685</a>","chicago":"Zapartas, E., S. E. de Mink, R. G. Izzard, S.-C. Yoon, C. Badenes, Ylva Louise Linsdotter Götberg, A. de Koter, et al. “Delay-Time Distribution of Core-Collapse Supernovae with Late Events Resulting from Binary Interaction.” <i>Astronomy &#38; Astrophysics</i>. EDP Sciences, 2017. <a href=\"https://doi.org/10.1051/0004-6361/201629685\">https://doi.org/10.1051/0004-6361/201629685</a>.","apa":"Zapartas, E., de Mink, S. E., Izzard, R. G., Yoon, S.-C., Badenes, C., Götberg, Y. L. L., … Shrotriya, T. S. (2017). Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction. <i>Astronomy &#38; Astrophysics</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/0004-6361/201629685\">https://doi.org/10.1051/0004-6361/201629685</a>","short":"E. Zapartas, S.E. de Mink, R.G. Izzard, S.-C. Yoon, C. Badenes, Y.L.L. Götberg, A. de Koter, C.J. Neijssel, M. Renzo, A. Schootemeijer, T.S. Shrotriya, Astronomy &#38; Astrophysics 601 (2017).","mla":"Zapartas, E., et al. “Delay-Time Distribution of Core-Collapse Supernovae with Late Events Resulting from Binary Interaction.” <i>Astronomy &#38; Astrophysics</i>, vol. 601, no. A&#38;A, A29, EDP Sciences, 2017, doi:<a href=\"https://doi.org/10.1051/0004-6361/201629685\">10.1051/0004-6361/201629685</a>."},"title":"Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction","day":"01","main_file_link":[{"url":"https://doi.org/10.1051/0004-6361/201629685","open_access":"1"}],"publication":"Astronomy & Astrophysics","publisher":"EDP Sciences","doi":"10.1051/0004-6361/201629685","extern":"1","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"author":[{"last_name":"Zapartas","first_name":"E.","full_name":"Zapartas, E."},{"full_name":"de Mink, S. E.","first_name":"S. E.","last_name":"de Mink"},{"full_name":"Izzard, R. G.","first_name":"R. G.","last_name":"Izzard"},{"first_name":"S.-C.","full_name":"Yoon, S.-C.","last_name":"Yoon"},{"last_name":"Badenes","full_name":"Badenes, C.","first_name":"C."},{"last_name":"Götberg","id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d","first_name":"Ylva Louise Linsdotter","orcid":"0000-0002-6960-6911","full_name":"Götberg, Ylva Louise Linsdotter"},{"last_name":"de Koter","full_name":"de Koter, A.","first_name":"A."},{"last_name":"Neijssel","full_name":"Neijssel, C. J.","first_name":"C. J."},{"full_name":"Renzo, M.","first_name":"M.","last_name":"Renzo"},{"last_name":"Schootemeijer","full_name":"Schootemeijer, A.","first_name":"A."},{"last_name":"Shrotriya","full_name":"Shrotriya, T. S.","first_name":"T. S."}],"quality_controlled":"1","article_processing_charge":"No","language":[{"iso":"eng"}],"publication_status":"published","external_id":{"arxiv":["1701.07032"]},"intvolume":"       601","month":"05","oa_version":"Published Version","_id":"13477","status":"public","article_type":"original","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-08-09T11:15:49Z","arxiv":1,"year":"2017","oa":1,"volume":601,"publication_identifier":{"eissn":["1432-0746"],"issn":["0004-6361"]},"date_created":"2023-08-03T10:15:18Z","type":"journal_article","date_published":"2017-05-01T00:00:00Z"},{"citation":{"mla":"Giacobbe, Mirco, et al. “Model Checking the Evolution of Gene Regulatory Networks.” <i>Acta Informatica</i>, vol. 54, no. 8, Springer, 2017, pp. 765–87, doi:<a href=\"https://doi.org/10.1007/s00236-016-0278-x\">10.1007/s00236-016-0278-x</a>.","short":"M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.","apa":"Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., &#38; Petrov, T. (2017). Model checking the evolution of gene regulatory networks. <i>Acta Informatica</i>. Springer. <a href=\"https://doi.org/10.1007/s00236-016-0278-x\">https://doi.org/10.1007/s00236-016-0278-x</a>","chicago":"Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.” <i>Acta Informatica</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s00236-016-0278-x\">https://doi.org/10.1007/s00236-016-0278-x</a>.","ieee":"M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” <i>Acta Informatica</i>, vol. 54, no. 8. Springer, pp. 765–787, 2017.","ama":"Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking the evolution of gene regulatory networks. <i>Acta Informatica</i>. 2017;54(8):765-787. doi:<a href=\"https://doi.org/10.1007/s00236-016-0278-x\">10.1007/s00236-016-0278-x</a>","ista":"Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. 2017. Model checking the evolution of gene regulatory networks. Acta Informatica. 54(8), 765–787."},"title":"Model checking the evolution of gene regulatory networks","related_material":{"record":[{"relation":"earlier_version","id":"1835","status":"public"}]},"day":"01","project":[{"grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","call_identifier":"FP7"},{"call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF"},{"call_identifier":"FP7","name":"Speed of Adaptation in Population Genetics and Evolutionary Computation","_id":"25B1EC9E-B435-11E9-9278-68D0E5697425","grant_number":"618091"},{"grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"},{"call_identifier":"FP7","_id":"25B07788-B435-11E9-9278-68D0E5697425","name":"Limits to selection in biology and in evolutionary computation","grant_number":"250152"}],"publisher":"Springer","publication":"Acta Informatica","department":[{"_id":"ToHe"},{"_id":"CaGu"},{"_id":"NiBa"}],"isi":1,"doi":"10.1007/s00236-016-0278-x","page":"765 - 787","file":[{"date_created":"2019-01-17T15:57:29Z","file_name":"2017_ActaInformatica_Giacobbe.pdf","date_updated":"2020-07-14T12:44:46Z","file_size":755241,"file_id":"5841","creator":"dernst","content_type":"application/pdf","access_level":"open_access","checksum":"4e661d9135d7f8c342e8e258dee76f3e","relation":"main_file"}],"abstract":[{"lang":"eng","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 logic. 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."}],"ddc":["006","576"],"pubrep_id":"649","issue":"8","date_updated":"2025-05-28T11:57:04Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","scopus_import":"1","year":"2017","oa":1,"ec_funded":1,"publication_identifier":{"issn":["00015903"]},"volume":54,"publist_id":"5898","type":"journal_article","date_created":"2018-12-11T11:51:32Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"has_accepted_license":"1","date_published":"2017-12-01T00:00:00Z","author":[{"orcid":"0000-0001-8180-0904","full_name":"Giacobbe, Mirco","first_name":"Mirco","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87","last_name":"Giacobbe"},{"orcid":"0000-0001-6220-2052","full_name":"Guet, Calin C","first_name":"Calin C","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","last_name":"Guet"},{"id":"335E5684-F248-11E8-B48F-1D18A9856A87","last_name":"Gupta","full_name":"Gupta, Ashutosh","first_name":"Ashutosh"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"orcid":"0000-0003-2361-3953","full_name":"Paixao, Tiago","first_name":"Tiago","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87","last_name":"Paixao"},{"last_name":"Petrov","id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","first_name":"Tatjana","orcid":"0000-0002-9041-0905","full_name":"Petrov, Tatjana"}],"quality_controlled":"1","article_processing_charge":"No","publication_status":"published","intvolume":"        54","external_id":{"isi":["000414343200003"]},"month":"12","language":[{"iso":"eng"}],"file_date_updated":"2020-07-14T12:44:46Z","status":"public","oa_version":"Published Version","_id":"1351"},{"date_updated":"2023-09-20T11:05:36Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","scopus_import":"1","year":"2017","oa":1,"publication_identifier":{"issn":["01677055"]},"publist_id":"5873","volume":36,"type":"journal_article","date_created":"2018-12-11T11:51:37Z","has_accepted_license":"1","date_published":"2017-09-01T00:00:00Z","author":[{"full_name":"Manteaux, Pierre","first_name":"Pierre","last_name":"Manteaux"},{"id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","last_name":"Wojtan","orcid":"0000-0001-6646-5546","full_name":"Wojtan, Christopher J","first_name":"Christopher J"},{"full_name":"Narain, Rahul","first_name":"Rahul","last_name":"Narain"},{"last_name":"Redon","first_name":"Stéphane","full_name":"Redon, Stéphane"},{"last_name":"Faure","full_name":"Faure, François","first_name":"François"},{"last_name":"Cani","first_name":"Marie","full_name":"Cani, Marie"}],"quality_controlled":"1","article_processing_charge":"No","acknowledgement":"This work was partly supported by the starting grants ADAPT and BigSplash, as well as the advanced grant EXPRESSIVE from the European Research Council (ERC-2012-StG_20111012, ERC-2014-StG_638176 and ERC-2011-ADG_20110209).","month":"09","external_id":{"isi":["000408634200019"]},"publication_status":"published","intvolume":"        36","language":[{"iso":"eng"}],"status":"public","file_date_updated":"2020-07-14T12:44:47Z","_id":"1367","oa_version":"Submitted Version","citation":{"ama":"Manteaux P, Wojtan C, Narain R, Redon S, Faure F, Cani M. Adaptive physically based models in computer graphics. <i>Computer Graphics Forum</i>. 2017;36(6):312-337. doi:<a href=\"https://doi.org/10.1111/cgf.12941\">10.1111/cgf.12941</a>","ieee":"P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, and M. Cani, “Adaptive physically based models in computer graphics,” <i>Computer Graphics Forum</i>, vol. 36, no. 6. Wiley-Blackwell, pp. 312–337, 2017.","ista":"Manteaux P, Wojtan C, Narain R, Redon S, Faure F, Cani M. 2017. Adaptive physically based models in computer graphics. Computer Graphics Forum. 36(6), 312–337.","apa":"Manteaux, P., Wojtan, C., Narain, R., Redon, S., Faure, F., &#38; Cani, M. (2017). Adaptive physically based models in computer graphics. <i>Computer Graphics Forum</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/cgf.12941\">https://doi.org/10.1111/cgf.12941</a>","mla":"Manteaux, Pierre, et al. “Adaptive Physically Based Models in Computer Graphics.” <i>Computer Graphics Forum</i>, vol. 36, no. 6, Wiley-Blackwell, 2017, pp. 312–37, doi:<a href=\"https://doi.org/10.1111/cgf.12941\">10.1111/cgf.12941</a>.","short":"P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.","chicago":"Manteaux, Pierre, Chris Wojtan, Rahul Narain, Stéphane Redon, François Faure, and Marie Cani. “Adaptive Physically Based Models in Computer Graphics.” <i>Computer Graphics Forum</i>. Wiley-Blackwell, 2017. <a href=\"https://doi.org/10.1111/cgf.12941\">https://doi.org/10.1111/cgf.12941</a>."},"title":"Adaptive physically based models in computer graphics","day":"01","publication":"Computer Graphics Forum","publisher":"Wiley-Blackwell","department":[{"_id":"ChWo"}],"isi":1,"doi":"10.1111/cgf.12941","page":"312 - 337","file":[{"access_level":"open_access","content_type":"application/pdf","creator":"system","checksum":"7676e9a9ead6d58c3000988c97deb2ef","relation":"main_file","date_updated":"2020-07-14T12:44:47Z","file_size":1434439,"file_id":"5208","file_name":"IST-2016-634-v1+1_starAdaptivity-cgf.pdf","date_created":"2018-12-12T10:16:21Z"}],"abstract":[{"lang":"eng","text":"One of the major challenges in physically based modelling is making simulations efficient. Adaptive models provide an essential solution to these efficiency goals. These models are able to self-adapt in space and time, attempting to provide the best possible compromise between accuracy and speed. This survey reviews the adaptive solutions proposed so far in computer graphics. Models are classified according to the strategy they use for adaptation, from time-stepping and freezing techniques to geometric adaptivity in the form of structured grids, meshes and particles. Applications range from fluids, through deformable bodies, to articulated solids."}],"ddc":["000"],"pubrep_id":"634","issue":"6"},{"type":"journal_article","date_created":"2023-08-10T06:35:51Z","publication_identifier":{"eissn":["1079-7114"],"issn":["0031-9007"]},"volume":119,"date_published":"2017-11-17T00:00:00Z","year":"2017","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","arxiv":1,"date_updated":"2023-08-22T08:21:10Z","scopus_import":"1","oa":1,"status":"public","oa_version":"Preprint","_id":"14004","intvolume":"       119","month":"11","external_id":{"arxiv":["1710.04474"]},"publication_status":"published","language":[{"iso":"eng"}],"article_type":"original","quality_controlled":"1","author":[{"last_name":"Baykusheva","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","first_name":"Denitsa Rangelova","full_name":"Baykusheva, Denitsa Rangelova"},{"first_name":"Simon","full_name":"Brennecke, Simon","last_name":"Brennecke"},{"first_name":"Manfred","full_name":"Lein, Manfred","last_name":"Lein"},{"last_name":"Wörner","first_name":"Hans Jakob","full_name":"Wörner, Hans Jakob"}],"article_processing_charge":"No","keyword":["General Physics and Astronomy"],"extern":"1","doi":"10.1103/physrevlett.119.203201","title":"Signatures of electronic structure in bicircular high-harmonic spectroscopy","citation":{"chicago":"Baykusheva, Denitsa Rangelova, Simon Brennecke, Manfred Lein, and Hans Jakob Wörner. “Signatures of Electronic Structure in Bicircular High-Harmonic Spectroscopy.” <i>Physical Review Letters</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/physrevlett.119.203201\">https://doi.org/10.1103/physrevlett.119.203201</a>.","mla":"Baykusheva, Denitsa Rangelova, et al. “Signatures of Electronic Structure in Bicircular High-Harmonic Spectroscopy.” <i>Physical Review Letters</i>, vol. 119, no. 20, 203201, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/physrevlett.119.203201\">10.1103/physrevlett.119.203201</a>.","short":"D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).","apa":"Baykusheva, D. R., Brennecke, S., Lein, M., &#38; Wörner, H. J. (2017). Signatures of electronic structure in bicircular high-harmonic spectroscopy. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevlett.119.203201\">https://doi.org/10.1103/physrevlett.119.203201</a>","ista":"Baykusheva DR, Brennecke S, Lein M, Wörner HJ. 2017. Signatures of electronic structure in bicircular high-harmonic spectroscopy. Physical Review Letters. 119(20), 203201.","ieee":"D. R. Baykusheva, S. Brennecke, M. Lein, and H. J. Wörner, “Signatures of electronic structure in bicircular high-harmonic spectroscopy,” <i>Physical Review Letters</i>, vol. 119, no. 20. American Physical Society, 2017.","ama":"Baykusheva DR, Brennecke S, Lein M, Wörner HJ. Signatures of electronic structure in bicircular high-harmonic spectroscopy. <i>Physical Review Letters</i>. 2017;119(20). doi:<a href=\"https://doi.org/10.1103/physrevlett.119.203201\">10.1103/physrevlett.119.203201</a>"},"publisher":"American Physical Society","publication":"Physical Review Letters","main_file_link":[{"url":"https://arxiv.org/abs/1710.04474","open_access":"1"}],"day":"17","article_number":"203201","issue":"20","abstract":[{"text":"High-harmonic spectroscopy driven by circularly polarized laser pulses and their counterrotating second harmonic is a new branch of attosecond science which currently lacks quantitative interpretations. We extend this technique to the midinfrared regime and record detailed high-harmonic spectra of several rare-gas atoms. These results are compared with the solution of the Schrödinger equation in three dimensions and calculations based on the strong-field approximation that incorporate accurate scattering-wave recombination matrix elements. A quantum-orbit analysis of these results provides a transparent interpretation of the measured intensity ratios of symmetry-allowed neighboring harmonics in terms of (i) a set of propensity rules related to the angular momentum of the atomic orbitals, (ii) atom-specific matrix elements related to their electronic structure, and (iii) the interference of the emissions associated with electrons in orbitals corotating or counterrotating with the laser fields. These results provide the foundation for a quantitative understanding of bicircular high-harmonic spectroscopy.","lang":"eng"}]}]