@misc{NeubauerWankoSchaubetal.2017,
  author    = {Neubauer, Kai and Wanko, Philipp and Schaub, Torsten and Haubelt, Christian},
  title     = {Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation},
  series = {Proceedings of the Design, Automation \& Test in Europe Conference \& Exhibition (DATE), 2017},
  journal   = {Proceedings of the Design, Automation \& Test in Europe Conference \& Exhibition (DATE), 2017},
  publisher = {IEEE},
  address   = {New York},
  isbn      = {978-3-9815370-9-3},
  issn      = {1530-1591},
  doi       = {10.23919/DATE.2017.7927005},
  pages     = {306 -- 309},
  year      = {2017},
  abstract  = {The design of embedded systems is becoming continuously more complex such that efficient system-level design methods are becoming crucial. Recently, combined Answer Set Programming (ASP) and Quantifier Free Integer Difference Logic (QF-IDL) solving has been shown to be a promising approach in system synthesis. However, this approach still has several restrictions limiting its applicability. In the paper at hand, we propose a novel ASP modulo Theories (ASPmT) system synthesis approach, which (i) supports more sophisticated system models, (ii) tightly integrates the QF-IDL solving into the ASP solving, and (iii) makes use of partial assignment checking. As a result, more realistic systems are considered and an early exclusion of infeasible solutions improves the entire system synthesis.},
  language  = {en}
}
@article{MaiElsaesser2022,
  author    = {Mai, Laura and Els{\"a}sser, Joshua Philipp},
  title     = {Orchestrating global climate governance through data},
  series = {Global environmental politics},
  volume    = {22},
  journal   = {Global environmental politics},
  number    = {4},
  publisher = {MIT Press},
  address   = {Cambridge},
  issn      = {1526-3800},
  doi       = {10.1162/glep_a_00667},
  pages     = {151 -- 172},
  year      = {2022},
  abstract  = {Since the adoption of the Paris Agreement, the focus of the United Nations climate regime has shifted from forging consensus among national governments toward animating implementation activity across multiple levels. Based on a case study of the Global Climate Action Portal-an online database designed to document nonstate actor climate commitments and implementation efforts-we trace, conceptualize, and assess how the roles of data, data infrastructures, and actor constellations have changed as a result of this shift. We argue that in the pre-COP21 negotiation phase, the United Nations Climate Secretariat strategically used the database to orchestrate and leverage nonstate actor commitments to exert pressure on intergovernmental negotiations. By contrast, in the post-COP21 implementation phase, the Secretariat, in collaboration with climate data specialists, is seeking to develop the portal to track and animate implementation activity. Given these developments, we discuss the potential and limitations of data-driven climate governance and set out avenues for future research.},
  language  = {en}
}