@misc{ZhangLenhard2017,
  author    = {Zhang, Yunming and Lenhard, Michael},
  title     = {Exiting Already? Molecular Control of Cell-Proliferation Arrest in Leaves: Cutting Edge},
  series = {Molecular plant},
  volume    = {10},
  journal   = {Molecular plant},
  publisher = {Cell Press},
  address   = {Cambridge},
  issn      = {1674-2052},
  doi       = {10.1016/j.molp.2017.05.004},
  pages     = {909 -- 911},
  year      = {2017},
  language  = {en}
}
@misc{KuhlmannTschornAroltetal.2017,
  author    = {Kuhlmann, Stella L. and Tschorn, Mira and Arolt, Volker and Beer, Katja and Brandt, Julia and Grosse, Laura and Haverkamp, Wilhelm and Mueller-Nordhorn, Jacqueline and Rieckmann, Nina and Waltenberger, Johannes and Warnke, Katharina and Hellweg, Rainer and Stroehle, Andreas},
  title     = {Serum brain-derived neurotrophic factor and depressive symptoms in coronary heart disease patients: Role of cognitive functions Reply},
  series = {Psychoneuroendocrinology},
  volume    = {79},
  journal   = {Psychoneuroendocrinology},
  publisher = {Elsevier},
  address   = {Oxford},
  issn      = {0306-4530},
  doi       = {10.1016/j.psyneuen.2017.02.010},
  pages     = {175 -- 176},
  year      = {2017},
  language  = {en}
}
@misc{ChaparroZechHeinzeletal.2017,
  author    = {Chaparro, Camilo G. A. Perez and Zech, Philipp A. and Heinzel, Stephan and Mayer, Frank and Wolfarth, Bernd and Rapp, Michael A. and Heissel, Andreas},
  title     = {Effects Of Aerobic \& Resistance Training On Cardiorespiratory Fitness In People Living with HIV. A Meta-analysis},
  series = {Medicine and science in sports and exercise : official journal of the American College of Sports Medicine},
  volume    = {49},
  journal   = {Medicine and science in sports and exercise : official journal of the American College of Sports Medicine},
  publisher = {Lippincott Williams \& Wilkins},
  address   = {Philadelphia},
  issn      = {0195-9131},
  doi       = {10.1249/01.mss.0000519265.28705.86},
  pages     = {842 -- 842},
  year      = {2017},
  language  = {en}
}
@misc{SeboldNebeGarbusowetal.2017,
  author    = {Sebold, Miriam and Nebe, Stephan and Garbusow, Maria and Schad, Daniel and Sommer, Christian and Rapp, Michael A. and Smolka, Michael N. and Huys, Quentin J. M. and Schlagenhauf, Florian and Heinz, Andreas},
  title     = {Neurobiological correlates of learning and decision-making in alcohol dependence},
  series = {European psychiatry : the journal of the Association of European Psychiatrists},
  volume    = {41},
  journal   = {European psychiatry : the journal of the Association of European Psychiatrists},
  publisher = {Elsevier},
  address   = {Paris},
  issn      = {0924-9338},
  doi       = {10.1016/j.eurpsy.2017.01.084},
  pages     = {S11 -- S11},
  year      = {2017},
  language  = {en}
}
@misc{KalinkatCabralDarwalletal.2017,
  author    = {Kalinkat, Gregor and Cabral, Juliano Sarmento and Darwall, William and Ficetola, G. Francesco and Fisher, Judith L. and Giling, Darren P. and Gosselin, Marie-Pierre and Grossart, Hans-Peter and Jaehnig, Sonja C. and Jeschke, Jonathan M. and Knopf, Klaus and Larsen, Stefano and Onandia, Gabriela and Paetzig, Marlene and Saul, Wolf-Christian and Singer, Gabriel and Sperfeld, Erik and Jaric, Ivan},
  title     = {Flagship umbrella species needed for the conservation of overlooked aquatic biodiversity},
  series = {Conservation biology : the journal of the Society for Conservation Biology},
  volume    = {31},
  journal   = {Conservation biology : the journal of the Society for Conservation Biology},
  publisher = {Wiley},
  address   = {Hoboken},
  issn      = {0888-8892},
  doi       = {10.1111/cobi.12813},
  pages     = {481 -- 485},
  year      = {2017},
  language  = {en}
}
@misc{GarcinAcostaMelnicketal.2017,
  author    = {Garcin, Yannick and Acosta, Veronica Torres and Melnick, Daniel and Guillemoteau, Julien and Willenbring, Jane and Strecker, Manfred},
  title     = {Short-lived increase in erosion during the African Humid Period: Evidence from the northern Kenya Rift (vol 759, pg 58, 2017)},
  series = {Earth \& planetary science letters},
  volume    = {474},
  journal   = {Earth \& planetary science letters},
  publisher = {Elsevier},
  address   = {Amsterdam},
  issn      = {0012-821X},
  doi       = {10.1016/j.epsl.2017.07.027},
  pages     = {528 -- 528},
  year      = {2017},
  language  = {en}
}
@misc{KramerLenhard2017,
  author    = {Kramer, Elena M. and Lenhard, Michael},
  title     = {Shape and form in plant development},
  series = {Seminars in cell \& developmental biology},
  volume    = {79},
  journal   = {Seminars in cell \& developmental biology},
  publisher = {Elsevier},
  address   = {London},
  issn      = {1084-9521},
  doi       = {10.1016/j.semcdb.2017.11.004},
  pages     = {1 -- 2},
  year      = {2017},
  language  = {en}
}
@misc{Lenhard2017,
  author    = {Lenhard, Michael},
  title     = {Plant Development: Keeping on the Straight and Narrow and Flat},
  series = {Current biology},
  volume    = {27},
  journal   = {Current biology},
  publisher = {Cell Press},
  address   = {Cambridge},
  issn      = {0960-9822},
  doi       = {10.1016/j.cub.2017.10.030},
  pages     = {R1277 -- R1280},
  year      = {2017},
  language  = {en}
}
@misc{ZechRappHeinzeletal.2017,
  author    = {Zech, Philipp A. and Rapp, Michael A. and Heinzel, Stephan and Wolfarth, Bernd and Lawrence, Jimmy B. and Heissel, Andreas},
  title     = {Does Exercise Help People Living with HIV Improve Their Quality of Life? A meta-analysis.},
  series = {Medicine and science in sports and exercise : official journal of the American College of Sports Medicine},
  volume    = {49},
  journal   = {Medicine and science in sports and exercise : official journal of the American College of Sports Medicine},
  publisher = {Lippincott Williams \& Wilkins},
  address   = {Philadelphia},
  issn      = {0195-9131},
  doi       = {10.1249/01.mss.0000518177.22369.2f},
  pages     = {470 -- 470},
  year      = {2017},
  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}
}