@article{KhomenkoSchaeferVogleretal.2009, author = {Khomenko, Victor and Sch{\"a}fer, Mark and Vogler, Walter and Wollowski, Ralf}, title = {STG decomposition strategies in combination with unfolding}, issn = {0001-5903}, doi = {10.1007/s00236-009-0102-y}, year = {2009}, abstract = {For synthesising efficient asynchronous circuits one has to deal with the state space explosion problem. In order to alleviate this problem one can decompose the STG into smaller components. This paper deals with the decomposition method of Vogler and Wollowski and introduces several strategies for its efficient implementations. Furthermore, this approach is combined with another method to alleviate state space explosion, which is based on Petri net unfoldings. The developed algorithms are compared by means of benchmark examples, and the experimental results show significant improvement in terms of memory usage and runtime compared with other existing methods.}, language = {en} } @article{LawrenceSchaefer2019, author = {Lawrence, Mark and Sch{\"a}fer, Stefan}, title = {Promises and perils of the Paris Agreement}, series = {Science}, volume = {364}, journal = {Science}, number = {6443}, publisher = {American Association for the Advancement of Science}, address = {Washington}, issn = {0036-8075}, doi = {10.1126/science.aaw4602}, pages = {829 -- 830}, year = {2019}, language = {en} } @misc{LawrenceSchaeferMurietal.2018, author = {Lawrence, Mark and Sch{\"a}fer, Stefan and Muri, Helene and Scott, Vivian and Oschlies, Andreas and Vaughan, Naomi E. and Boucher, Olivier and Schmidt, Hauke and Haywood, Jim and Scheffran, J{\"u}rgen}, title = {Evaluating climate geoengineering proposals in the context of the Paris Agreement temperature goals}, series = {Nature Communications}, volume = {9}, journal = {Nature Communications}, publisher = {Nature Publ. Group}, address = {London}, issn = {2041-1723}, doi = {10.1038/s41467-018-05938-3}, pages = {19}, year = {2018}, abstract = {Current mitigation efforts and existing future commitments are inadequate to accomplish the Paris Agreement temperature goals. In light of this, research and debate are intensifying on the possibilities of additionally employing proposed climate geoengineering technologies, either through atmospheric carbon dioxide removal or farther-reaching interventions altering the Earth's radiative energy budget. Although research indicates that several techniques may eventually have the physical potential to contribute to limiting climate change, all are in early stages of development, involve substantial uncertainties and risks, and raise ethical and governance dilemmas. Based on present knowledge, climate geoengineering techniques cannot be relied on to significantly contribute to meeting the Paris Agreement temperature goals.}, language = {en} }