[{"publication_identifier":{"issn":["01784617"]},"ddc":["576"],"date_updated":"2023-09-20T11:14:42Z","publication_status":"published","oa":1,"publist_id":"5931","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Published Version","month":"06","has_accepted_license":"1","department":[{"_id":"NiBa"},{"_id":"CaGu"}],"quality_controlled":"1","intvolume":"        78","_id":"1336","page":"681 - 713","external_id":{"isi":["000400379500013"]},"doi":"10.1007/s00453-016-0212-1","pubrep_id":"658","type":"journal_article","status":"public","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"title":"Towards a runtime comparison of natural and artificial evolution","isi":1,"citation":{"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>.","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>","short":"T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.","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>","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>.","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.","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."},"article_processing_charge":"No","ec_funded":1,"language":[{"iso":"eng"}],"year":"2017","day":"01","publication":"Algorithmica","date_published":"2017-06-01T00:00:00Z","abstract":[{"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.","lang":"eng"}],"volume":78,"author":[{"orcid":"0000-0003-2361-3953","last_name":"Paixao","first_name":"Tiago","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87","full_name":"Paixao, Tiago"},{"full_name":"Pérez Heredia, Jorge","first_name":"Jorge","last_name":"Pérez Heredia"},{"full_name":"Sudholt, Dirk","first_name":"Dirk","last_name":"Sudholt"},{"orcid":"0000-0002-6873-2967","first_name":"Barbora","last_name":"Trubenova","full_name":"Trubenova, Barbora","id":"42302D54-F248-11E8-B48F-1D18A9856A87"}],"issue":"2","file_date_updated":"2020-07-14T12:44:44Z","date_created":"2018-12-11T11:51:27Z","project":[{"grant_number":"618091","call_identifier":"FP7","name":"Speed of Adaptation in Population Genetics and Evolutionary Computation","_id":"25B1EC9E-B435-11E9-9278-68D0E5697425"}],"scopus_import":"1","publisher":"Springer","file":[{"date_created":"2018-12-12T10:10:19Z","creator":"system","checksum":"7873f665a0c598ac747c908f34cb14b9","relation":"main_file","file_id":"4805","file_name":"IST-2016-658-v1+1_s00453-016-0212-1.pdf","file_size":710206,"access_level":"open_access","date_updated":"2020-07-14T12:44:44Z","content_type":"application/pdf"}]},{"ddc":["510","530"],"date_updated":"2023-09-20T11:14:17Z","publication_identifier":{"issn":["01788051"]},"oa":1,"publication_status":"published","publist_id":"5930","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"12","oa_version":"Published Version","has_accepted_license":"1","department":[{"_id":"LaEr"}],"acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria).  ","quality_controlled":"1","_id":"1337","page":"667 - 727","intvolume":"       169","doi":"10.1007/s00440-016-0740-2","external_id":{"isi":["000414358400002"]},"status":"public","type":"journal_article","pubrep_id":"657","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"title":"Universality for general Wigner-type matrices","isi":1,"article_processing_charge":"Yes (via OA deal)","citation":{"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>.","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>","short":"O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.","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>.","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>","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.","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."},"ec_funded":1,"day":"01","language":[{"iso":"eng"}],"year":"2017","publication":"Probability Theory and Related Fields","volume":169,"abstract":[{"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.","lang":"eng"}],"date_published":"2017-12-01T00:00:00Z","author":[{"full_name":"Ajanki, Oskari H","id":"36F2FB7E-F248-11E8-B48F-1D18A9856A87","first_name":"Oskari H","last_name":"Ajanki"},{"full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","first_name":"László","orcid":"0000-0001-5366-9603"},{"first_name":"Torben H","last_name":"Krüger","orcid":"0000-0002-4821-3297","full_name":"Krüger, Torben H","id":"3020C786-F248-11E8-B48F-1D18A9856A87"}],"issue":"3-4","file_date_updated":"2020-07-14T12:44:44Z","project":[{"_id":"258DCDE6-B435-11E9-9278-68D0E5697425","name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7","grant_number":"338804"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"date_created":"2018-12-11T11:51:27Z","scopus_import":"1","file":[{"file_name":"IST-2017-657-v1+2_s00440-016-0740-2.pdf","file_size":988843,"access_level":"open_access","date_updated":"2020-07-14T12:44:44Z","content_type":"application/pdf","creator":"system","date_created":"2018-12-12T10:08:25Z","checksum":"29f5a72c3f91e408aeb9e78344973803","relation":"main_file","file_id":"4686"}],"publisher":"Springer"},{"has_accepted_license":"1","publication_status":"published","oa":1,"date_updated":"2023-09-20T11:13:51Z","ddc":["000"],"month":"06","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publist_id":"5929","related_material":{"record":[{"status":"public","id":"1729","relation":"earlier_version"}]},"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"title":"From non-preemptive to preemptive scheduling using synchronization synthesis","status":"public","type":"journal_article","pubrep_id":"656","article_processing_charge":"No","citation":{"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.","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>","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>.","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>","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."},"isi":1,"quality_controlled":"1","department":[{"_id":"ToHe"}],"doi":"10.1007/s10703-016-0256-5","external_id":{"isi":["000399888900001"]},"_id":"1338","page":"97 - 139","intvolume":"        50","author":[{"last_name":"Cerny","first_name":"Pavol","full_name":"Cerny, Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Clarke, Edmund","first_name":"Edmund","last_name":"Clarke"},{"last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","full_name":"Radhakrishna, Arjun","last_name":"Radhakrishna","first_name":"Arjun"},{"first_name":"Leonid","last_name":"Ryzhyk","full_name":"Ryzhyk, Leonid"},{"first_name":"Roopsha","last_name":"Samanta","full_name":"Samanta, Roopsha","id":"3D2AAC08-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Thorsten","last_name":"Tarrach","orcid":"0000-0003-4409-8487","full_name":"Tarrach, Thorsten","id":"3D6E8F2C-F248-11E8-B48F-1D18A9856A87"}],"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"}],"volume":50,"date_published":"2017-06-01T00:00:00Z","file_date_updated":"2020-07-14T12:44:44Z","issue":"2-3","ec_funded":1,"publication":"Formal Methods in System Design","day":"01","year":"2017","language":[{"iso":"eng"}],"scopus_import":"1","publisher":"Springer","file":[{"creator":"system","date_created":"2018-12-12T10:13:05Z","checksum":"1163dfd997e8212c789525d4178b1653","relation":"main_file","file_id":"4985","file_name":"IST-2016-656-v1+1_s10703-016-0256-5.pdf","access_level":"open_access","file_size":1416170,"date_updated":"2020-07-14T12:44:44Z","content_type":"application/pdf"}],"date_created":"2018-12-11T11:51:27Z","project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","call_identifier":"FP7","grant_number":"267989"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23"},{"grant_number":"Z211","call_identifier":"FWF","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}]},{"intvolume":"       139","_id":"13380","page":"17973-17978","external_id":{"pmid":["29193964"]},"doi":"10.1021/jacs.7b09111","quality_controlled":"1","citation":{"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.","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.","short":"M. Sawczyk, R. Klajn, Journal of the American Chemical Society 139 (2017) 17973–17978.","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>","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>.","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>."},"extern":"1","article_processing_charge":"No","status":"public","type":"journal_article","title":"Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","oa_version":"None","publication_identifier":{"eissn":["1520-5126"],"issn":["0002-7863"]},"date_updated":"2023-08-07T11:19:30Z","publication_status":"published","article_type":"original","date_created":"2023-08-01T09:41:01Z","pmid":1,"publisher":"American Chemical Society","scopus_import":"1","language":[{"iso":"eng"}],"year":"2017","day":"01","publication":"Journal of the American Chemical Society","keyword":["Colloid and Surface Chemistry","Biochemistry","General Chemistry","Catalysis"],"issue":"49","date_published":"2017-12-01T00:00:00Z","volume":139,"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."}],"author":[{"full_name":"Sawczyk, Michał","last_name":"Sawczyk","first_name":"Michał"},{"last_name":"Klajn","first_name":"Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal"}]},{"article_type":"original","date_created":"2023-08-01T09:41:16Z","scopus_import":"1","publisher":"American Association for the Advancement of Science","main_file_link":[{"open_access":"1","url":"https://repository.uantwerpen.be/docman/irua/8d722e/147242_2018_06_07.pdf"}],"pmid":1,"keyword":["Multidisciplinary"],"publication":"Science","day":"27","year":"2017","language":[{"iso":"eng"}],"author":[{"full_name":"Udayabhaskararao, Thumu","first_name":"Thumu","last_name":"Udayabhaskararao"},{"full_name":"Altantzis, Thomas","first_name":"Thomas","last_name":"Altantzis"},{"last_name":"Houben","first_name":"Lothar","full_name":"Houben, Lothar"},{"full_name":"Coronado-Puchau, Marc","last_name":"Coronado-Puchau","first_name":"Marc"},{"first_name":"Judith","last_name":"Langer","full_name":"Langer, Judith"},{"last_name":"Popovitz-Biro","first_name":"Ronit","full_name":"Popovitz-Biro, Ronit"},{"first_name":"Luis M.","last_name":"Liz-Marzán","full_name":"Liz-Marzán, Luis M."},{"first_name":"Lela","last_name":"Vuković","full_name":"Vuković, Lela"},{"full_name":"Král, Petr","first_name":"Petr","last_name":"Král"},{"full_name":"Bals, Sara","last_name":"Bals","first_name":"Sara"},{"full_name":"Klajn, Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn","first_name":"Rafal"}],"volume":358,"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."}],"date_published":"2017-10-27T00:00:00Z","issue":"6362","quality_controlled":"1","doi":"10.1126/science.aan6046","external_id":{"pmid":["29074773"]},"_id":"13381","page":"514-518","intvolume":"       358","title":"Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices","status":"public","type":"journal_article","citation":{"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.","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.","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>.","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>","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.","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>","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>."},"article_processing_charge":"No","extern":"1","oa":1,"publication_status":"published","date_updated":"2023-08-07T11:25:00Z","publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"month":"10","oa_version":"Submitted Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"09","oa_version":"Published Version","publication_identifier":{"issn":["0306-0012"],"eissn":["1460-4744"]},"date_updated":"2023-08-07T11:27:42Z","oa":1,"publication_status":"published","intvolume":"        46","_id":"13382","page":"5474-5475","external_id":{"pmid":["28884760"]},"doi":"10.1039/c7cs90088k","quality_controlled":"1","citation":{"ista":"van Esch JH, Klajn R, Otto S. 2017. Chemical systems out of equilibrium. Chemical Society Reviews. 46(18), 5474–5475.","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.","short":"J.H. van Esch, R. Klajn, S. Otto, Chemical Society Reviews 46 (2017) 5474–5475.","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>","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>.","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>","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>."},"extern":"1","article_processing_charge":"No","type":"journal_article","status":"public","title":"Chemical systems out of equilibrium","year":"2017","language":[{"iso":"eng"}],"day":"08","publication":"Chemical Society Reviews","keyword":["General Chemistry"],"issue":"18","date_published":"2017-09-08T00:00:00Z","volume":46,"author":[{"full_name":"van Esch, Jan H.","first_name":"Jan H.","last_name":"van Esch"},{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal","first_name":"Rafal","last_name":"Klajn"},{"last_name":"Otto","first_name":"Sijbren","full_name":"Otto, Sijbren"}],"article_type":"letter_note","date_created":"2023-08-01T09:41:30Z","pmid":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1039/c7cs90088k"}],"publisher":"Royal Society of Chemistry","scopus_import":"1"},{"keyword":["Organic Chemistry","Physical and Theoretical Chemistry","Analytical Chemistry"],"publication":"ChemPhotoChem","day":"01","year":"2017","language":[{"iso":"eng"}],"author":[{"full_name":"Ahrens, Johannes","last_name":"Ahrens","first_name":"Johannes"},{"full_name":"Bian, Tong","first_name":"Tong","last_name":"Bian"},{"full_name":"Vexler, Tom","last_name":"Vexler","first_name":"Tom"},{"last_name":"Klajn","first_name":"Rafal","full_name":"Klajn, Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b"}],"volume":1,"abstract":[{"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.","lang":"eng"}],"date_published":"2017-05-01T00:00:00Z","issue":"5","article_type":"original","date_created":"2023-08-01T09:41:43Z","scopus_import":"1","publisher":"Wiley","publication_status":"published","date_updated":"2023-08-07T12:08:05Z","publication_identifier":{"eissn":["2367-0932"]},"month":"05","oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","doi":"10.1002/cptc.201700009","page":"230-236","_id":"13383","intvolume":"         1","title":"Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles","status":"public","type":"journal_article","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.","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.","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>","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>.","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>.","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>","short":"J. Ahrens, T. Bian, T. Vexler, R. Klajn, ChemPhotoChem 1 (2017) 230–236."},"extern":"1","article_processing_charge":"No"},{"scopus_import":"1","publisher":"American Association for the Advancement of Science","pmid":1,"date_created":"2023-08-01T09:41:55Z","article_type":"original","abstract":[{"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.","lang":"eng"}],"volume":355,"date_published":"2017-03-03T00:00:00Z","author":[{"first_name":"Dipak","last_name":"Samanta","full_name":"Samanta, Dipak"},{"full_name":"Klajn, Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","first_name":"Rafal","last_name":"Klajn"}],"issue":"6328","keyword":["Multidisciplinary"],"day":"03","language":[{"iso":"eng"}],"year":"2017","publication":"Science","status":"public","type":"journal_article","title":"Clathrates grow up","extern":"1","article_processing_charge":"No","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>.","short":"D. Samanta, R. Klajn, Science 355 (2017) 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>","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>.","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>","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.","ista":"Samanta D, Klajn R. 2017. Clathrates grow up. Science. 355(6328), 912–912."},"quality_controlled":"1","page":"912-912","_id":"13384","intvolume":"       355","doi":"10.1126/science.aam7927","external_id":{"pmid":["28254902"]},"date_updated":"2023-08-07T12:23:03Z","publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"03","oa_version":"None"},{"arxiv":1,"article_number":"A11","month":"12","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","oa":1,"date_updated":"2023-08-09T11:27:06Z","publication_identifier":{"issn":["0004-6361"],"eissn":["1432-0746"]},"citation":{"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>.","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>","short":"Y.L.L. Götberg, S.E. de Mink, J.H. Groh, Astronomy &#38; Astrophysics 608 (2017).","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>.","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>","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."},"extern":"1","article_processing_charge":"No","title":"Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity","type":"journal_article","status":"public","doi":"10.1051/0004-6361/201730472","external_id":{"arxiv":["1701.07439"]},"_id":"13476","intvolume":"       608","quality_controlled":"1","author":[{"orcid":"0000-0002-6960-6911","last_name":"Götberg","first_name":"Ylva Louise Linsdotter","full_name":"Götberg, Ylva Louise Linsdotter","id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d"},{"full_name":"de Mink, S. E.","first_name":"S. E.","last_name":"de Mink"},{"full_name":"Groh, J. H.","last_name":"Groh","first_name":"J. H."}],"volume":608,"abstract":[{"lang":"eng","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."}],"date_published":"2017-12-01T00:00:00Z","publication":"Astronomy & Astrophysics","day":"01","language":[{"iso":"eng"}],"year":"2017","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"publisher":"EDP Sciences","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1051/0004-6361/201730472"}],"scopus_import":"1","article_type":"original","date_created":"2023-08-03T10:15:09Z"},{"date_updated":"2023-08-09T11:15:49Z","publication_identifier":{"eissn":["1432-0746"],"issn":["0004-6361"]},"oa":1,"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"05","oa_version":"Published Version","article_number":"A29","arxiv":1,"quality_controlled":"1","_id":"13477","intvolume":"       601","doi":"10.1051/0004-6361/201629685","external_id":{"arxiv":["1701.07032"]},"status":"public","type":"journal_article","title":"Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction","extern":"1","article_processing_charge":"No","citation":{"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>.","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).","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>.","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>","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."},"keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"day":"01","year":"2017","language":[{"iso":"eng"}],"publication":"Astronomy & Astrophysics","abstract":[{"lang":"eng","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."}],"volume":601,"date_published":"2017-05-01T00:00:00Z","author":[{"first_name":"E.","last_name":"Zapartas","full_name":"Zapartas, E."},{"full_name":"de Mink, S. E.","last_name":"de Mink","first_name":"S. E."},{"first_name":"R. G.","last_name":"Izzard","full_name":"Izzard, R. G."},{"last_name":"Yoon","first_name":"S.-C.","full_name":"Yoon, S.-C."},{"full_name":"Badenes, C.","first_name":"C.","last_name":"Badenes"},{"first_name":"Ylva Louise Linsdotter","last_name":"Götberg","orcid":"0000-0002-6960-6911","id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d","full_name":"Götberg, Ylva Louise Linsdotter"},{"last_name":"de Koter","first_name":"A.","full_name":"de Koter, A."},{"full_name":"Neijssel, C. J.","last_name":"Neijssel","first_name":"C. J."},{"last_name":"Renzo","first_name":"M.","full_name":"Renzo, M."},{"last_name":"Schootemeijer","first_name":"A.","full_name":"Schootemeijer, A."},{"full_name":"Shrotriya, T. S.","last_name":"Shrotriya","first_name":"T. S."}],"issue":"A&A","article_type":"original","date_created":"2023-08-03T10:15:18Z","scopus_import":"1","publisher":"EDP Sciences","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1051/0004-6361/201629685"}]},{"scopus_import":"1","file":[{"file_id":"5841","date_created":"2019-01-17T15:57:29Z","creator":"dernst","checksum":"4e661d9135d7f8c342e8e258dee76f3e","relation":"main_file","date_updated":"2020-07-14T12:44:46Z","content_type":"application/pdf","file_name":"2017_ActaInformatica_Giacobbe.pdf","access_level":"open_access","file_size":755241}],"publisher":"Springer","date_created":"2018-12-11T11:51:32Z","project":[{"grant_number":"267989","call_identifier":"FP7","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"grant_number":"S 11407_N23","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"call_identifier":"FWF","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"},{"_id":"25B1EC9E-B435-11E9-9278-68D0E5697425","name":"Speed of Adaptation in Population Genetics and Evolutionary Computation","call_identifier":"FP7","grant_number":"618091"},{"call_identifier":"FP7","grant_number":"291734","name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425"},{"_id":"25B07788-B435-11E9-9278-68D0E5697425","name":"Limits to selection in biology and in evolutionary computation","call_identifier":"FP7","grant_number":"250152"}],"author":[{"orcid":"0000-0001-8180-0904","last_name":"Giacobbe","first_name":"Mirco","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87","full_name":"Giacobbe, Mirco"},{"orcid":"0000-0001-6220-2052","last_name":"Guet","first_name":"Calin C","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","full_name":"Guet, Calin C"},{"last_name":"Gupta","first_name":"Ashutosh","id":"335E5684-F248-11E8-B48F-1D18A9856A87","full_name":"Gupta, Ashutosh"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"full_name":"Paixao, Tiago","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2361-3953","last_name":"Paixao","first_name":"Tiago"},{"id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","full_name":"Petrov, Tatjana","orcid":"0000-0002-9041-0905","first_name":"Tatjana","last_name":"Petrov"}],"date_published":"2017-12-01T00:00:00Z","volume":54,"abstract":[{"text":"The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner’s weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs satisfying the property. We experimentally show that our parameter synthesis procedure computes the mutational robustness of GRNs—an important problem of interest in evolutionary biology—more efficiently than the classical simulation method. We specify the property in linear temporal 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.","lang":"eng"}],"file_date_updated":"2020-07-14T12:44:46Z","issue":"8","ec_funded":1,"publication":"Acta Informatica","language":[{"iso":"eng"}],"year":"2017","day":"01","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"title":"Model checking the evolution of gene regulatory networks","pubrep_id":"649","status":"public","type":"journal_article","article_processing_charge":"No","citation":{"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.","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>","short":"M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.","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>.","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>.","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>"},"isi":1,"quality_controlled":"1","department":[{"_id":"ToHe"},{"_id":"CaGu"},{"_id":"NiBa"}],"external_id":{"isi":["000414343200003"]},"doi":"10.1007/s00236-016-0278-x","intvolume":"        54","_id":"1351","page":"765 - 787","has_accepted_license":"1","oa":1,"publication_status":"published","publication_identifier":{"issn":["00015903"]},"ddc":["006","576"],"date_updated":"2025-05-28T11:57:04Z","month":"12","oa_version":"Published Version","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"1835"}]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publist_id":"5898"},{"has_accepted_license":"1","publist_id":"5873","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"09","oa_version":"Submitted Version","date_updated":"2023-09-20T11:05:36Z","ddc":["000"],"publication_identifier":{"issn":["01677055"]},"publication_status":"published","oa":1,"isi":1,"citation":{"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.","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.","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>.","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>","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>."},"article_processing_charge":"No","status":"public","type":"journal_article","pubrep_id":"634","title":"Adaptive physically based models in computer graphics","page":"312 - 337","_id":"1367","intvolume":"        36","doi":"10.1111/cgf.12941","external_id":{"isi":["000408634200019"]},"department":[{"_id":"ChWo"}],"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).","quality_controlled":"1","issue":"6","file_date_updated":"2020-07-14T12:44:47Z","volume":36,"abstract":[{"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.","lang":"eng"}],"date_published":"2017-09-01T00:00:00Z","author":[{"full_name":"Manteaux, Pierre","last_name":"Manteaux","first_name":"Pierre"},{"first_name":"Christopher J","last_name":"Wojtan","orcid":"0000-0001-6646-5546","full_name":"Wojtan, Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Rahul","last_name":"Narain","full_name":"Narain, Rahul"},{"first_name":"Stéphane","last_name":"Redon","full_name":"Redon, Stéphane"},{"full_name":"Faure, François","first_name":"François","last_name":"Faure"},{"last_name":"Cani","first_name":"Marie","full_name":"Cani, Marie"}],"day":"01","year":"2017","language":[{"iso":"eng"}],"publication":"Computer Graphics Forum","publisher":"Wiley-Blackwell","file":[{"date_updated":"2020-07-14T12:44:47Z","content_type":"application/pdf","file_name":"IST-2016-634-v1+1_starAdaptivity-cgf.pdf","access_level":"open_access","file_size":1434439,"file_id":"5208","date_created":"2018-12-12T10:16:21Z","creator":"system","checksum":"7676e9a9ead6d58c3000988c97deb2ef","relation":"main_file"}],"scopus_import":"1","date_created":"2018-12-11T11:51:37Z"},{"doi":"10.1103/physrevlett.119.203201","external_id":{"arxiv":["1710.04474"]},"_id":"14004","intvolume":"       119","quality_controlled":"1","article_processing_charge":"No","extern":"1","citation":{"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>","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>.","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>.","short":"D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (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>","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."},"title":"Signatures of electronic structure in bicircular high-harmonic spectroscopy","status":"public","type":"journal_article","oa_version":"Preprint","month":"11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","oa":1,"date_updated":"2023-08-22T08:21:10Z","publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"arxiv":1,"article_number":"203201","date_created":"2023-08-10T06:35:51Z","article_type":"original","publisher":"American Physical Society","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1710.04474"}],"scopus_import":"1","publication":"Physical Review Letters","day":"17","year":"2017","language":[{"iso":"eng"}],"keyword":["General Physics and Astronomy"],"issue":"20","author":[{"last_name":"Baykusheva","first_name":"Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","full_name":"Baykusheva, Denitsa Rangelova"},{"first_name":"Simon","last_name":"Brennecke","full_name":"Brennecke, Simon"},{"first_name":"Manfred","last_name":"Lein","full_name":"Lein, Manfred"},{"last_name":"Wörner","first_name":"Hans Jakob","full_name":"Wörner, Hans Jakob"}],"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"}],"volume":119,"date_published":"2017-11-17T00:00:00Z"},{"main_file_link":[{"url":"https://doi.org/10.1038/ncomms15651","open_access":"1"}],"pmid":1,"publisher":"Springer Nature","scopus_import":"1","article_type":"original","date_created":"2023-08-10T06:36:09Z","author":[{"full_name":"Walt, Samuel G.","first_name":"Samuel G.","last_name":"Walt"},{"full_name":"Bhargava Ram, Niraghatam","first_name":"Niraghatam","last_name":"Bhargava Ram"},{"first_name":"Marcos","last_name":"Atala","full_name":"Atala, Marcos"},{"first_name":"Nikolay I","last_name":"Shvetsov-Shilovski","full_name":"Shvetsov-Shilovski, Nikolay I"},{"last_name":"von Conta","first_name":"Aaron","full_name":"von Conta, Aaron"},{"last_name":"Baykusheva","first_name":"Denitsa Rangelova","full_name":"Baykusheva, Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530"},{"last_name":"Lein","first_name":"Manfred","full_name":"Lein, Manfred"},{"full_name":"Wörner, Hans Jakob","last_name":"Wörner","first_name":"Hans Jakob"}],"date_published":"2017-06-15T00:00:00Z","abstract":[{"text":"Strong-field photoelectron holography and laser-induced electron diffraction (LIED) are two powerful emerging methods for probing the ultrafast dynamics of molecules. However, both of them have remained restricted to static systems and to nuclear dynamics induced by strong-field ionization. Here we extend these promising methods to image purely electronic valence-shell dynamics in molecules using photoelectron holography. In the same experiment, we use LIED and photoelectron holography simultaneously, to observe coupled electronic-rotational dynamics taking place on similar timescales. These results offer perspectives for imaging ultrafast dynamics of molecules on femtosecond to attosecond timescales.","lang":"eng"}],"volume":8,"publication":"Nature Communications","year":"2017","language":[{"iso":"eng"}],"day":"15","keyword":["General Physics and Astronomy","General Biochemistry","Genetics and Molecular Biology","General Chemistry","Multidisciplinary"],"extern":"1","article_processing_charge":"No","citation":{"mla":"Walt, Samuel G., et al. “Dynamics of Valence-Shell Electrons and Nuclei Probed by Strong-Field Holography and Rescattering.” <i>Nature Communications</i>, vol. 8, 15651, Springer Nature, 2017, doi:<a href=\"https://doi.org/10.1038/ncomms15651\">10.1038/ncomms15651</a>.","apa":"Walt, S. G., Bhargava Ram, N., Atala, M., Shvetsov-Shilovski, N. I., von Conta, A., Baykusheva, D. R., … Wörner, H. J. (2017). Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/ncomms15651\">https://doi.org/10.1038/ncomms15651</a>","short":"S.G. Walt, N. Bhargava Ram, M. Atala, N.I. Shvetsov-Shilovski, A. von Conta, D.R. Baykusheva, M. Lein, H.J. Wörner, Nature Communications 8 (2017).","chicago":"Walt, Samuel G., Niraghatam Bhargava Ram, Marcos Atala, Nikolay I Shvetsov-Shilovski, Aaron von Conta, Denitsa Rangelova Baykusheva, Manfred Lein, and Hans Jakob Wörner. “Dynamics of Valence-Shell Electrons and Nuclei Probed by Strong-Field Holography and Rescattering.” <i>Nature Communications</i>. Springer Nature, 2017. <a href=\"https://doi.org/10.1038/ncomms15651\">https://doi.org/10.1038/ncomms15651</a>.","ama":"Walt SG, Bhargava Ram N, Atala M, et al. Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering. <i>Nature Communications</i>. 2017;8. doi:<a href=\"https://doi.org/10.1038/ncomms15651\">10.1038/ncomms15651</a>","ista":"Walt SG, Bhargava Ram N, Atala M, Shvetsov-Shilovski NI, von Conta A, Baykusheva DR, Lein M, Wörner HJ. 2017. Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering. Nature Communications. 8, 15651.","ieee":"S. G. Walt <i>et al.</i>, “Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering,” <i>Nature Communications</i>, vol. 8. Springer Nature, 2017."},"title":"Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering","type":"journal_article","status":"public","external_id":{"pmid":["28643771"]},"doi":"10.1038/ncomms15651","intvolume":"         8","_id":"14005","quality_controlled":"1","article_number":"15651","month":"06","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","oa":1,"publication_identifier":{"eissn":["2041-1723"]},"date_updated":"2023-08-22T08:26:06Z"},{"keyword":["Physical and Theoretical Chemistry","General Physics and Astronomy"],"day":"28","language":[{"iso":"eng"}],"year":"2017","publication":"The Journal of Chemical Physics","abstract":[{"text":"We present a theoretical formalism for the calculation of attosecond delays in molecular photoionization. It is shown how delays relevant to one-photon-ionization, also known as Eisenbud-Wigner-Smith delays, can be obtained from the complex dipole matrix elements provided by molecular quantum scattering theory. These results are used to derive formulae for the delays measured by two-photon attosecond interferometry based on an attosecond pulse train and a dressing femtosecond infrared pulse. These effective delays are first expressed in the molecular frame where maximal information about the molecular photoionization dynamics is available. The effects of averaging over the emission direction of the electron and the molecular orientation are introduced analytically. We illustrate this general formalism for the case of two polyatomic molecules. N2O serves as an example of a polar linear molecule characterized by complex photoionization dynamics resulting from the presence of molecular shape resonances. H2O illustrates the case of a non-linear molecule with comparably simple photoionization dynamics resulting from a flat continuum. Our theory establishes the foundation for interpreting measurements of the photoionization dynamics of all molecules by attosecond metrology.","lang":"eng"}],"volume":146,"date_published":"2017-03-28T00:00:00Z","author":[{"first_name":"Denitsa Rangelova","last_name":"Baykusheva","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","full_name":"Baykusheva, Denitsa Rangelova"},{"last_name":"Wörner","first_name":"Hans Jakob","full_name":"Wörner, Hans Jakob"}],"issue":"12","date_created":"2023-08-10T06:36:19Z","article_type":"original","scopus_import":"1","publisher":"AIP Publishing","pmid":1,"date_updated":"2023-08-22T08:30:59Z","publication_identifier":{"issn":["0021-9606"],"eissn":["1089-7690"]},"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"03","oa_version":"None","article_number":"124306","quality_controlled":"1","_id":"14006","intvolume":"       146","doi":"10.1063/1.4977933","external_id":{"pmid":["28388142"]},"status":"public","type":"journal_article","title":"Theory of attosecond delays in molecular photoionization","citation":{"chicago":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Theory of Attosecond Delays in Molecular Photoionization.” <i>The Journal of Chemical Physics</i>. AIP Publishing, 2017. <a href=\"https://doi.org/10.1063/1.4977933\">https://doi.org/10.1063/1.4977933</a>.","ama":"Baykusheva DR, Wörner HJ. Theory of attosecond delays in molecular photoionization. <i>The Journal of Chemical Physics</i>. 2017;146(12). doi:<a href=\"https://doi.org/10.1063/1.4977933\">10.1063/1.4977933</a>","short":"D.R. Baykusheva, H.J. Wörner, The Journal of Chemical Physics 146 (2017).","mla":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Theory of Attosecond Delays in Molecular Photoionization.” <i>The Journal of Chemical Physics</i>, vol. 146, no. 12, 124306, AIP Publishing, 2017, doi:<a href=\"https://doi.org/10.1063/1.4977933\">10.1063/1.4977933</a>.","apa":"Baykusheva, D. R., &#38; Wörner, H. J. (2017). Theory of attosecond delays in molecular photoionization. <i>The Journal of Chemical Physics</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/1.4977933\">https://doi.org/10.1063/1.4977933</a>","ista":"Baykusheva DR, Wörner HJ. 2017. Theory of attosecond delays in molecular photoionization. The Journal of Chemical Physics. 146(12), 124306.","ieee":"D. R. Baykusheva and H. J. Wörner, “Theory of attosecond delays in molecular photoionization,” <i>The Journal of Chemical Physics</i>, vol. 146, no. 12. AIP Publishing, 2017."},"extern":"1","article_processing_charge":"No"},{"issue":"7","author":[{"first_name":"Denitsa Rangelova","last_name":"Baykusheva","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","full_name":"Baykusheva, Denitsa Rangelova"},{"full_name":"Wörner, Hans Jakob","first_name":"Hans Jakob","last_name":"Wörner"}],"date_published":"2017-03-15T00:00:00Z","volume":50,"abstract":[{"text":"In a recent article by Hockett et al (2016 J. Phys. B: At. Mol. Opt. Phys. 49 095602), time delays arising in the context of molecular single-photon ionization are investigated from a theoretical point of view. We argue that one of the central equations given in this article is incorrect and present a reformulation that is consistent with the established treatment of angle-dependent scattering delays (Eisenbud 1948 PhD Thesis Princeton University; Wigner 1955 Phys. Rev. 98 145–7; Smith 1960 Phys. Rev. 118 349–6; Nussenzveig 1972 Phys. Rev. D 6 1534–42).","lang":"eng"}],"publication":"Journal of Physics B: Atomic, Molecular and Optical Physics","language":[{"iso":"eng"}],"year":"2017","day":"15","keyword":["Condensed Matter Physics","Atomic and Molecular Physics","and Optics"],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1611.09352"}],"publisher":"IOP Publishing","scopus_import":"1","article_type":"letter_note","date_created":"2023-08-10T06:36:29Z","arxiv":1,"article_number":"078002","oa_version":"Preprint","month":"03","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","oa":1,"publication_identifier":{"eissn":["1361-6455"],"issn":["0953-4075"]},"date_updated":"2023-08-22T08:32:43Z","extern":"1","article_processing_charge":"No","citation":{"ieee":"D. R. Baykusheva and H. J. Wörner, “Comment on ‘Time delays in molecular photoionization,’” <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>, vol. 50, no. 7. IOP Publishing, 2017.","ista":"Baykusheva DR, Wörner HJ. 2017. Comment on ‘Time delays in molecular photoionization’. Journal of Physics B: Atomic, Molecular and Optical Physics. 50(7), 078002.","ama":"Baykusheva DR, Wörner HJ. Comment on ‘Time delays in molecular photoionization.’ <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>. 2017;50(7). doi:<a href=\"https://doi.org/10.1088/1361-6455/aa62b5\">10.1088/1361-6455/aa62b5</a>","short":"D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 50 (2017).","chicago":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Comment on ‘Time Delays in Molecular Photoionization.’” <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>. IOP Publishing, 2017. <a href=\"https://doi.org/10.1088/1361-6455/aa62b5\">https://doi.org/10.1088/1361-6455/aa62b5</a>.","apa":"Baykusheva, D. R., &#38; Wörner, H. J. (2017). Comment on ‘Time delays in molecular photoionization.’ <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/1361-6455/aa62b5\">https://doi.org/10.1088/1361-6455/aa62b5</a>","mla":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Comment on ‘Time Delays in Molecular Photoionization.’” <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>, vol. 50, no. 7, 078002, IOP Publishing, 2017, doi:<a href=\"https://doi.org/10.1088/1361-6455/aa62b5\">10.1088/1361-6455/aa62b5</a>."},"title":"Comment on ‘Time delays in molecular photoionization’","type":"journal_article","status":"public","external_id":{"arxiv":["1611.09352"]},"doi":"10.1088/1361-6455/aa62b5","intvolume":"        50","_id":"14007","quality_controlled":"1"},{"issue":"6322","abstract":[{"lang":"eng","text":"Time-resolved x-ray absorption spectroscopy (TR-XAS) has so far practically been limited to large-scale facilities, to subpicosecond temporal resolution, and to the condensed phase. We report the realization of TR-XAS with a temporal resolution in the low femtosecond range by developing a tabletop high-harmonic source reaching up to 350 electron volts, thus partially covering the spectral region of 280 to 530 electron volts, where water is transmissive. We used this source to follow previously unexamined light-induced chemical reactions in the lowest electronic states of isolated CF4+ and SF6+ molecules in the gas phase. By probing element-specific core-to-valence transitions at the carbon K-edge or the sulfur L-edges, we characterized their reaction paths and observed the effect of symmetry breaking through the splitting of absorption bands and Rydberg-valence mixing induced by the geometry changes."}],"volume":355,"date_published":"2017-01-05T00:00:00Z","author":[{"last_name":"Pertot","first_name":"Yoann","full_name":"Pertot, Yoann"},{"last_name":"Schmidt","first_name":"Cédric","full_name":"Schmidt, Cédric"},{"last_name":"Matthews","first_name":"Mary","full_name":"Matthews, Mary"},{"full_name":"Chauvet, Adrien","first_name":"Adrien","last_name":"Chauvet"},{"first_name":"Martin","last_name":"Huppert","full_name":"Huppert, Martin"},{"last_name":"Svoboda","first_name":"Vit","full_name":"Svoboda, Vit"},{"first_name":"Aaron","last_name":"von Conta","full_name":"von Conta, Aaron"},{"first_name":"Andres","last_name":"Tehlar","full_name":"Tehlar, Andres"},{"full_name":"Baykusheva, Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","first_name":"Denitsa Rangelova","last_name":"Baykusheva"},{"last_name":"Wolf","first_name":"Jean-Pierre","full_name":"Wolf, Jean-Pierre"},{"full_name":"Wörner, Hans Jakob","last_name":"Wörner","first_name":"Hans Jakob"}],"day":"05","year":"2017","language":[{"iso":"eng"}],"publication":"Science","keyword":["Multidisciplinary"],"publisher":"American Association for the Advancement of Science","pmid":1,"scopus_import":"1","date_created":"2023-08-10T06:36:39Z","article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"None","month":"01","date_updated":"2023-08-22T08:34:38Z","publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"publication_status":"published","citation":{"ista":"Pertot Y, Schmidt C, Matthews M, Chauvet A, Huppert M, Svoboda V, von Conta A, Tehlar A, Baykusheva DR, Wolf J-P, Wörner HJ. 2017. Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source. Science. 355(6322), 264–267.","ieee":"Y. Pertot <i>et al.</i>, “Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source,” <i>Science</i>, vol. 355, no. 6322. American Association for the Advancement of Science, pp. 264–267, 2017.","short":"Y. Pertot, C. Schmidt, M. Matthews, A. Chauvet, M. Huppert, V. Svoboda, A. von Conta, A. Tehlar, D.R. Baykusheva, J.-P. Wolf, H.J. Wörner, Science 355 (2017) 264–267.","chicago":"Pertot, Yoann, Cédric Schmidt, Mary Matthews, Adrien Chauvet, Martin Huppert, Vit Svoboda, Aaron von Conta, et al. “Time-Resolved x-Ray Absorption Spectroscopy with a Water Window High-Harmonic Source.” <i>Science</i>. American Association for the Advancement of Science, 2017. <a href=\"https://doi.org/10.1126/science.aah6114\">https://doi.org/10.1126/science.aah6114</a>.","ama":"Pertot Y, Schmidt C, Matthews M, et al. Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source. <i>Science</i>. 2017;355(6322):264-267. doi:<a href=\"https://doi.org/10.1126/science.aah6114\">10.1126/science.aah6114</a>","mla":"Pertot, Yoann, et al. “Time-Resolved x-Ray Absorption Spectroscopy with a Water Window High-Harmonic Source.” <i>Science</i>, vol. 355, no. 6322, American Association for the Advancement of Science, 2017, pp. 264–67, doi:<a href=\"https://doi.org/10.1126/science.aah6114\">10.1126/science.aah6114</a>.","apa":"Pertot, Y., Schmidt, C., Matthews, M., Chauvet, A., Huppert, M., Svoboda, V., … Wörner, H. J. (2017). Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.aah6114\">https://doi.org/10.1126/science.aah6114</a>"},"extern":"1","article_processing_charge":"No","type":"journal_article","status":"public","title":"Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source","_id":"14008","page":"264-267","intvolume":"       355","doi":"10.1126/science.aah6114","external_id":{"pmid":["28059713"]},"quality_controlled":"1"},{"quality_controlled":"1","date_created":"2023-08-10T06:36:58Z","article_type":"original","doi":"10.1103/physreva.95.013404","intvolume":"        95","_id":"14009","title":"Spin-orbit delays in photoemission","scopus_import":"1","type":"journal_article","status":"public","article_processing_charge":"No","citation":{"ama":"Jordan I, Huppert M, Pabst S, Kheifets AS, Baykusheva DR, Wörner HJ. Spin-orbit delays in photoemission. <i>Physical Review A</i>. 2017;95(1). doi:<a href=\"https://doi.org/10.1103/physreva.95.013404\">10.1103/physreva.95.013404</a>","short":"I. Jordan, M. Huppert, S. Pabst, A.S. Kheifets, D.R. Baykusheva, H.J. Wörner, Physical Review A 95 (2017).","chicago":"Jordan, I., M. Huppert, S. Pabst, A. S. Kheifets, Denitsa Rangelova Baykusheva, and H. J. Wörner. “Spin-Orbit Delays in Photoemission.” <i>Physical Review A</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/physreva.95.013404\">https://doi.org/10.1103/physreva.95.013404</a>.","mla":"Jordan, I., et al. “Spin-Orbit Delays in Photoemission.” <i>Physical Review A</i>, vol. 95, no. 1, 013404, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/physreva.95.013404\">10.1103/physreva.95.013404</a>.","apa":"Jordan, I., Huppert, M., Pabst, S., Kheifets, A. S., Baykusheva, D. R., &#38; Wörner, H. J. (2017). Spin-orbit delays in photoemission. <i>Physical Review A</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physreva.95.013404\">https://doi.org/10.1103/physreva.95.013404</a>","ista":"Jordan I, Huppert M, Pabst S, Kheifets AS, Baykusheva DR, Wörner HJ. 2017. Spin-orbit delays in photoemission. Physical Review A. 95(1), 013404.","ieee":"I. Jordan, M. Huppert, S. Pabst, A. S. Kheifets, D. R. Baykusheva, and H. J. Wörner, “Spin-orbit delays in photoemission,” <i>Physical Review A</i>, vol. 95, no. 1. American Physical Society, 2017."},"extern":"1","publisher":"American Physical Society","publication_status":"published","publication_identifier":{"issn":["2469-9926"],"eissn":["2469-9934"]},"date_updated":"2023-08-22T08:38:17Z","oa_version":"None","publication":"Physical Review A","month":"01","language":[{"iso":"eng"}],"year":"2017","day":"10","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Jordan, I.","first_name":"I.","last_name":"Jordan"},{"last_name":"Huppert","first_name":"M.","full_name":"Huppert, M."},{"first_name":"S.","last_name":"Pabst","full_name":"Pabst, S."},{"full_name":"Kheifets, A. S.","last_name":"Kheifets","first_name":"A. S."},{"first_name":"Denitsa Rangelova","last_name":"Baykusheva","full_name":"Baykusheva, Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530"},{"first_name":"H. J.","last_name":"Wörner","full_name":"Wörner, H. J."}],"date_published":"2017-01-10T00:00:00Z","abstract":[{"text":"Attosecond delays between photoelectron wave packets emitted from different electronic shells are now well established. Is there any delay between electrons originating from the same electronic shell but leaving the cation in different fine-structure states? This question is relevant for all attosecond photoemission studies involving heavy elements, be it atoms, molecules or solids. We answer this fundamental question by measuring energy-dependent delays between photoelectron wave packets associated with the 2P3/2 and 2P1/2 components of the electronic groundstates of Xe+ and Kr+. We observe delays reaching up to 33±6 as in the case of Xe. Our results are compared with two state-of-the-art theories. Whereas both theories quantitatively agree with the results obtained for Kr, neither of them fully reproduces the experimental results in Xe. Performing delay measurements very close to the ionization thresholds, we compare the agreement of several analytical formulas for the continuum-continuum delays with experimental data. Our results show an important influence of spin-orbit coupling on attosecond photoionization delays, highlight the requirement for additional theory development, and offer a precision benchmark for such work.","lang":"eng"}],"article_number":"013404","volume":95,"issue":"1"},{"day":"17","language":[{"iso":"eng"}],"year":"2017","publication":"Physical Review Letters","keyword":["General Physics and Astronomy"],"issue":"20","volume":119,"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"}],"date_published":"2017-11-17T00:00:00Z","author":[{"last_name":"Baykusheva","first_name":"Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","full_name":"Baykusheva, Denitsa Rangelova"},{"full_name":"Brennecke, Simon","last_name":"Brennecke","first_name":"Simon"},{"full_name":"Lein, Manfred","last_name":"Lein","first_name":"Manfred"},{"full_name":"Wörner, Hans Jakob","last_name":"Wörner","first_name":"Hans Jakob"}],"article_type":"original","date_created":"2023-08-10T06:48:12Z","publisher":"American Physical Society","main_file_link":[{"url":"https://arxiv.org/abs/1710.04474","open_access":"1"}],"pmid":1,"scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"11","oa_version":"Preprint","date_updated":"2023-08-22T06:48:28Z","publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"oa":1,"publication_status":"published","arxiv":1,"article_number":"203201","_id":"14031","intvolume":"       119","doi":"10.1103/physrevlett.119.203201","external_id":{"pmid":["29219334"],"arxiv":["1710.04474"]},"quality_controlled":"1","extern":"1","citation":{"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.","short":"D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).","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>.","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>","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>","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>."},"article_processing_charge":"No","status":"public","type":"journal_article","title":"Signatures of electronic structure in bicircular high-harmonic spectroscopy"},{"external_id":{"arxiv":["1410.5387"],"isi":["000390637000014"]},"doi":"10.1016/j.nahs.2016.04.006","intvolume":"        23","page":"230 - 253","_id":"1407","quality_controlled":"1","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"article_processing_charge":"No","citation":{"ieee":"M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” <i>Nonlinear Analysis: Hybrid Systems</i>, vol. 23, no. 2. Elsevier, pp. 230–253, 2017.","ista":"Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. 2017. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 23(2), 230–253.","short":"M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.","chicago":"Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” <i>Nonlinear Analysis: Hybrid Systems</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.nahs.2016.04.006\">https://doi.org/10.1016/j.nahs.2016.04.006</a>.","ama":"Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. <i>Nonlinear Analysis: Hybrid Systems</i>. 2017;23(2):230-253. doi:<a href=\"https://doi.org/10.1016/j.nahs.2016.04.006\">10.1016/j.nahs.2016.04.006</a>","mla":"Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” <i>Nonlinear Analysis: Hybrid Systems</i>, vol. 23, no. 2, Elsevier, 2017, pp. 230–53, doi:<a href=\"https://doi.org/10.1016/j.nahs.2016.04.006\">10.1016/j.nahs.2016.04.006</a>.","apa":"Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., &#38; Belta, C. (2017). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. <i>Nonlinear Analysis: Hybrid Systems</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.nahs.2016.04.006\">https://doi.org/10.1016/j.nahs.2016.04.006</a>"},"isi":1,"title":"Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games","status":"public","type":"journal_article","month":"02","oa_version":"Preprint","publist_id":"5800","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","related_material":{"record":[{"relation":"earlier_version","id":"1689","status":"public"}]},"oa":1,"publication_status":"published","date_updated":"2023-09-20T09:43:09Z","arxiv":1,"project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","grant_number":"291734","call_identifier":"FP7"},{"call_identifier":"FP7","grant_number":"267989","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FP7","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF"},{"grant_number":"P 23499-N23","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"grant_number":"S11407","call_identifier":"FWF","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425"}],"date_created":"2018-12-11T11:51:50Z","main_file_link":[{"url":"http://arxiv.org/abs/1410.5387","open_access":"1"}],"publisher":"Elsevier","scopus_import":"1","publication":"Nonlinear Analysis: Hybrid Systems","language":[{"iso":"eng"}],"year":"2017","day":"01","ec_funded":1,"issue":"2","author":[{"full_name":"Svoreňová, Mária","last_name":"Svoreňová","first_name":"Mária"},{"last_name":"Kretinsky","first_name":"Jan","orcid":"0000-0002-8122-2881","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","full_name":"Kretinsky, Jan"},{"first_name":"Martin","last_name":"Chmelik","id":"3624234E-F248-11E8-B48F-1D18A9856A87","full_name":"Chmelik, Martin"},{"last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"full_name":"Cěrná, Ivana","first_name":"Ivana","last_name":"Cěrná"},{"last_name":"Belta","first_name":"Cǎlin","full_name":"Belta, Cǎlin"}],"date_published":"2017-02-01T00:00:00Z","abstract":[{"text":"We consider the problem of computing the set of initial states of a dynamical system such that there exists a control strategy to ensure that the trajectories satisfy a temporal logic specification with probability 1 (almost-surely). We focus on discrete-time, stochastic linear dynamics and specifications given as formulas of the Generalized Reactivity(1) fragment of Linear Temporal Logic over linear predicates in the states of the system. We propose a solution based on iterative abstraction-refinement, and turn-based 2-player probabilistic games. While the theoretical guarantee of our algorithm after any finite number of iterations is only a partial solution, we show that if our algorithm terminates, then the result is the set of all satisfying initial states. Moreover, for any (partial) solution our algorithm synthesizes witness control strategies to ensure almost-sure satisfaction of the temporal logic specification. While the proposed algorithm guarantees progress and soundness in every iteration, it is computationally demanding. We offer an alternative, more efficient solution for the reachability properties that decomposes the problem into a series of smaller problems of the same type. All algorithms are demonstrated on an illustrative case study.","lang":"eng"}],"volume":23}]