@article{SmirnovaFernieSpahnetal.2017,
  author    = {Smirnova, Julia and Fernie, Alisdair and Spahn, Christian M. T. and Steup, Martin},
  title     = {Photometric assay of maltose and maltose-forming enzyme activity by using 4-alpha-glucanotransferase (DPE2) from higher plants},
  series = {Analytical biochemistry : methods in the biological sciences},
  volume    = {532},
  journal   = {Analytical biochemistry : methods in the biological sciences},
  publisher = {Elsevier},
  address   = {San Diego},
  issn      = {0003-2697},
  doi       = {10.1016/j.ab.2017.05.026},
  pages     = {72 -- 82},
  year      = {2017},
  abstract  = {Maltose frequently occurs as intermediate of the central carbon metabolism of prokaryotic and eukaryotic cells. Various mutants possess elevated maltose levels. Maltose exists as two anomers, (alpha- and beta-form) which are rapidly interconverted without requiring enzyme-mediated catalysis. As maltose is often abundant together with other oligoglucans, selective quantification is essential. In this communication, we present a photometric maltose assay using 4-alpha-glucanotransferase (AtDPE2) from Arabidopsis thaliana. Under in vitro conditions, AtDPE2 utilizes maltose as glucosyl donor and glycogen as acceptor releasing the other hexosyl unit as free glucose which is photometrically quantified following enzymatic phosphorylation and oxidation. Under the conditions used, DPE2 does not noticeably react with other di- or oligosaccharides. Selectivity compares favorably with that of maltase frequently used in maltose assays. Reducing end interconversion of the two maltose anomers is in rapid equilibrium and, therefore, the novel assay measures total maltose contents. Furthermore, an AtDPE2-based continuous photometric assay is presented which allows to quantify beta-amylase activity and was found to be superior to a conventional test. Finally, the AtDPE2-based maltose assay was used to quantify leaf maltose contents of both Arabidopsis wild type and AtDPE2-deficient plants throughout the light-dark cycle. These data are presented together with assimilatory starch levels. (C) 2017 Published by Elsevier Inc.},
  language  = {en}
}
@phdthesis{deSouza2017,
  author    = {de Souza, Leonardo Perez},
  title     = {Functional characterization of biosynthesis and regulation of plant secondary metabolism},
  school      = {Universit{\"a}t Potsdam},
  pages     = {102},
  year      = {2017},
  language  = {en}
}
@phdthesis{deSouza2017,
  author    = {de Souza, Laise Rosado},
  title     = {Metabolic signalling between organelles},
  school      = {Universit{\"a}t Potsdam},
  pages     = {112},
  year      = {2017},
  language  = {en}
}
@article{JanhunenKaminskiOstrowskietal.2017,
  author    = {Janhunen, Tomi and Kaminski, Roland and Ostrowski, Max and Schellhorn, Sebastian and Wanko, Philipp and Schaub, Torsten},
  title     = {Clingo goes linear constraints over reals and integers},
  series = {Theory and practice of logic programming},
  volume    = {17},
  journal   = {Theory and practice of logic programming},
  publisher = {Cambridge Univ. Press},
  address   = {New York},
  issn      = {1471-0684},
  doi       = {10.1017/S1471068417000242},
  pages     = {872 -- 888},
  year      = {2017},
  abstract  = {The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints and elaborate upon its formal properties. Given this, we discuss the respective implementations, and present techniques for using these constraints in a reactive context. More precisely, we introduce extensions to clingo with difference and linear constraints over integers and reals, respectively, and realize them in complementary ways. Finally, we empirically evaluate the resulting clingo derivatives clingo[dl] and clingo[lp] on common language fragments and contrast them to related ASP systems.},
  language  = {en}
}
@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}
}