[{"date_updated":"2022-01-06T06:57:27Z","year":"2008","title":"Empirische Bildungsforschung und Grundschulpädagogik","status":"public","author":[{"id":"26282","full_name":"Hellmich, Frank","first_name":"Frank","last_name":"Hellmich"}],"user_id":"57672","editor":[{"last_name":"Hellmich","first_name":"Frank","full_name":"Hellmich, Frank"}],"page":"46-75","_id":"26768","language":[{"iso":"ger"}],"publisher":"Klinkhardt","extern":"1","publication":"Lehr-Lernforschung und Grundschulpädagogik ","citation":{"ieee":"F. Hellmich, “Empirische Bildungsforschung und Grundschulpädagogik,” in <i>Lehr-Lernforschung und Grundschulpädagogik </i>, F. Hellmich, Ed. Bad Heilbrunn: Klinkhardt, 2008, pp. 46–75.","apa":"Hellmich, F. (2008). Empirische Bildungsforschung und Grundschulpädagogik. In F. Hellmich (Ed.), <i>Lehr-Lernforschung und Grundschulpädagogik </i> (pp. 46–75). Klinkhardt.","short":"F. Hellmich, in: F. Hellmich (Ed.), Lehr-Lernforschung und Grundschulpädagogik , Klinkhardt, Bad Heilbrunn, 2008, pp. 46–75.","chicago":"Hellmich, Frank. “Empirische Bildungsforschung und Grundschulpädagogik.” In <i>Lehr-Lernforschung und Grundschulpädagogik </i>, edited by Frank Hellmich, 46–75. Bad Heilbrunn: Klinkhardt, 2008.","mla":"Hellmich, Frank. “Empirische Bildungsforschung und Grundschulpädagogik.” <i>Lehr-Lernforschung und Grundschulpädagogik </i>, edited by Frank Hellmich, Klinkhardt, 2008, pp. 46–75.","bibtex":"@inbook{Hellmich_2008, place={Bad Heilbrunn}, title={Empirische Bildungsforschung und Grundschulpädagogik}, booktitle={Lehr-Lernforschung und Grundschulpädagogik }, publisher={Klinkhardt}, author={Hellmich, Frank}, editor={Hellmich, Frank}, year={2008}, pages={46–75} }","ama":"Hellmich F. Empirische Bildungsforschung und Grundschulpädagogik. In: Hellmich F, ed. <i>Lehr-Lernforschung und Grundschulpädagogik </i>. Klinkhardt; 2008:46-75."},"type":"book_chapter","department":[{"_id":"460"}],"place":"Bad Heilbrunn","date_created":"2021-10-25T08:32:29Z"},{"page":"111-120","_id":"26769","language":[{"iso":"ger"}],"publisher":"Barbara Budrich","user_id":"57672","editor":[{"first_name":"Annedore","last_name":"Prengel","full_name":"Prengel, Annedore"},{"full_name":"Rendtorff, Barbara","first_name":"Barbara","last_name":"Rendtorff"}],"title":"Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule","year":"2008","status":"public","author":[{"full_name":"Hellmich, Frank","last_name":"Hellmich","first_name":"Frank","id":"26282"},{"full_name":"Jahnke-Klein , Sylvia","first_name":"Sylvia","last_name":"Jahnke-Klein "}],"date_updated":"2022-01-06T06:57:27Z","date_created":"2021-10-25T08:48:56Z","place":"Opladen","type":"book_chapter","department":[{"_id":"460"}],"publication":"Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft","citation":{"ama":"Hellmich F, Jahnke-Klein  S. Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule. In: Prengel A, Rendtorff B, eds. <i>Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft</i>. Barbara Budrich; 2008:111-120.","bibtex":"@inbook{Hellmich_Jahnke-Klein _2008, place={Opladen}, title={Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule}, booktitle={Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft}, publisher={Barbara Budrich}, author={Hellmich, Frank and Jahnke-Klein , Sylvia}, editor={Prengel, Annedore and Rendtorff, Barbara}, year={2008}, pages={111–120} }","mla":"Hellmich, Frank, and Sylvia Jahnke-Klein . “Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule.” <i>Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft</i>, edited by Annedore Prengel and Barbara Rendtorff, Barbara Budrich, 2008, pp. 111–20.","chicago":"Hellmich, Frank, and Sylvia Jahnke-Klein . “Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule.” In <i>Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft</i>, edited by Annedore Prengel and Barbara Rendtorff, 111–20. Opladen: Barbara Budrich, 2008.","short":"F. Hellmich, S. Jahnke-Klein , in: A. Prengel, B. Rendtorff (Eds.), Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft, Barbara Budrich, Opladen, 2008, pp. 111–120.","apa":"Hellmich, F., &#38; Jahnke-Klein , S. (2008). Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule. In A. Prengel &#38; B. Rendtorff (Eds.), <i>Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft</i> (pp. 111–120). Barbara Budrich.","ieee":"F. Hellmich and S. Jahnke-Klein , “Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule,” in <i>Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft</i>, A. Prengel and B. Rendtorff, Eds. Opladen: Barbara Budrich, 2008, pp. 111–120."},"extern":"1"},{"author":[{"first_name":"Frank","last_name":"Hellmich","full_name":"Hellmich, Frank","id":"26282"}],"status":"public","year":"2008","title":"Individuelle und schulische Bedingungen im Leseunterricht der Grundschule","date_updated":"2022-01-06T06:57:28Z","_id":"26771","language":[{"iso":"ger"}],"publisher":"Deutsche Gesellschaft für Lesen und Schreiben","page":"172-182","editor":[{"first_name":"Bernhard","last_name":"Hofmann","full_name":"Hofmann, Bernhard"},{"full_name":"Valtin, Renate","first_name":"Renate","last_name":"Valtin"}],"user_id":"57672","citation":{"mla":"Hellmich, Frank. “Individuelle und schulische Bedingungen im Leseunterricht der Grundschule.” <i>Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin</i>, edited by Bernhard Hofmann and Renate Valtin, Deutsche Gesellschaft für Lesen und Schreiben, 2008, pp. 172–82.","ama":"Hellmich F. Individuelle und schulische Bedingungen im Leseunterricht der Grundschule. In: Hofmann B, Valtin R, eds. <i>Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin</i>. Deutsche Gesellschaft für Lesen und Schreiben; 2008:172-182.","bibtex":"@inbook{Hellmich_2008, place={Berlin}, title={Individuelle und schulische Bedingungen im Leseunterricht der Grundschule}, booktitle={Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin}, publisher={Deutsche Gesellschaft für Lesen und Schreiben}, author={Hellmich, Frank}, editor={Hofmann, Bernhard and Valtin, Renate}, year={2008}, pages={172–182} }","apa":"Hellmich, F. (2008). Individuelle und schulische Bedingungen im Leseunterricht der Grundschule. In B. Hofmann &#38; R. Valtin (Eds.), <i>Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin</i> (pp. 172–182). Deutsche Gesellschaft für Lesen und Schreiben.","ieee":"F. Hellmich, “Individuelle und schulische Bedingungen im Leseunterricht der Grundschule,” in <i>Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin</i>, B. Hofmann and R. Valtin, Eds. Berlin: Deutsche Gesellschaft für Lesen und Schreiben, 2008, pp. 172–182.","short":"F. Hellmich, in: B. Hofmann, R. Valtin (Eds.), Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin, Deutsche Gesellschaft für Lesen und Schreiben, Berlin, 2008, pp. 172–182.","chicago":"Hellmich, Frank. “Individuelle und schulische Bedingungen im Leseunterricht der Grundschule.” In <i>Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin</i>, edited by Bernhard Hofmann and Renate Valtin, 172–82. Berlin: Deutsche Gesellschaft für Lesen und Schreiben, 2008."},"publication":"Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin","extern":"1","place":"Berlin","date_created":"2021-10-25T08:53:56Z","department":[{"_id":"460"}],"type":"book_chapter"},{"page":"48-53","_id":"26772","language":[{"iso":"ger"}],"user_id":"57672","volume":92,"title":"\"Ich mach` das so, wie machst du das eigentlich?\" – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter","status":"public","year":"2008","author":[{"id":"26282","last_name":"Hellmich","first_name":"Frank","full_name":"Hellmich, Frank"}],"date_updated":"2022-01-06T06:57:28Z","intvolume":"        92","date_created":"2021-10-25T09:02:30Z","type":"journal_article","department":[{"_id":"460"}],"publication":"Sache - Wort - Zahl","citation":{"mla":"Hellmich, Frank. “‘Ich mach` das so, wie machst du das eigentlich?’ – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter.” <i>Sache - Wort - Zahl</i>, vol. 92, 2008, pp. 48–53.","bibtex":"@article{Hellmich_2008, title={“Ich mach` das so, wie machst du das eigentlich?” – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter}, volume={92}, journal={Sache - Wort - Zahl}, author={Hellmich, Frank}, year={2008}, pages={48–53} }","ama":"Hellmich F. “Ich mach` das so, wie machst du das eigentlich?” – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter. <i>Sache - Wort - Zahl</i>. 2008;92:48-53.","ieee":"F. Hellmich, “‘Ich mach` das so, wie machst du das eigentlich?’ – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter,” <i>Sache - Wort - Zahl</i>, vol. 92, pp. 48–53, 2008.","apa":"Hellmich, F. (2008). “Ich mach` das so, wie machst du das eigentlich?” – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter. <i>Sache - Wort - Zahl</i>, <i>92</i>, 48–53.","short":"F. Hellmich, Sache - Wort - Zahl 92 (2008) 48–53.","chicago":"Hellmich, Frank. “‘Ich mach` das so, wie machst du das eigentlich?’ – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter.” <i>Sache - Wort - Zahl</i> 92 (2008): 48–53."},"extern":"1"},{"user_id":"57672","editor":[{"full_name":"Hellmich, Frank ","last_name":"Hellmich","first_name":"Frank "},{"first_name":"Hilde","last_name":"Köster","full_name":"Köster, Hilde"}],"page":"59-81","_id":"26774","publisher":"Klinkhardt","language":[{"iso":"ger"}],"date_updated":"2022-01-06T06:57:28Z","status":"public","title":"Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich","year":"2008","author":[{"full_name":"Hellmich, Frank","first_name":"Frank","last_name":"Hellmich","id":"26282"},{"first_name":"Sven","last_name":"Jansen","full_name":"Jansen, Sven"}],"type":"book_chapter","department":[{"_id":"460"}],"place":"Bad Heilbrunn","date_created":"2021-10-25T09:13:57Z","extern":"1","publication":"Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften","citation":{"apa":"Hellmich, F., &#38; Jansen, S. (2008). Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich. In F. Hellmich &#38; H. Köster (Eds.), <i>Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften</i> (pp. 59–81). Klinkhardt.","ieee":"F. Hellmich and S. Jansen, “Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich,” in <i>Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften</i>, F. Hellmich and H. Köster, Eds. Bad Heilbrunn: Klinkhardt, 2008, pp. 59–81.","chicago":"Hellmich, Frank, and Sven Jansen. “Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich.” In <i>Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften</i>, edited by Frank  Hellmich and Hilde Köster, 59–81. Bad Heilbrunn: Klinkhardt, 2008.","short":"F. Hellmich, S. Jansen, in: F. Hellmich, H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften, Klinkhardt, Bad Heilbrunn, 2008, pp. 59–81.","mla":"Hellmich, Frank, and Sven Jansen. “Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich.” <i>Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften</i>, edited by Frank  Hellmich and Hilde Köster, Klinkhardt, 2008, pp. 59–81.","ama":"Hellmich F, Jansen S. Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich. In: Hellmich F, Köster H, eds. <i>Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften</i>. Klinkhardt; 2008:59-81.","bibtex":"@inbook{Hellmich_Jansen_2008, place={Bad Heilbrunn}, title={Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich}, booktitle={Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften}, publisher={Klinkhardt}, author={Hellmich, Frank and Jansen, Sven}, editor={Hellmich, Frank  and Köster, Hilde}, year={2008}, pages={59–81} }"}},{"place":"Bad Heilbrunn","date_created":"2021-10-25T09:20:33Z","department":[{"_id":"460"}],"type":"book_chapter","citation":{"chicago":"Hellmich, Frank. “Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven.” In <i>Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften </i>, edited by Frank Hellmich and Hilde Köster, 83–102. Bad Heilbrunn: Klinkhardt, 2008.","short":"F. Hellmich, in: F. Hellmich, H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften , Klinkhardt, Bad Heilbrunn, 2008, pp. 83–102.","apa":"Hellmich, F. (2008). Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven. In F. Hellmich &#38; H. Köster (Eds.), <i>Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften </i> (pp. 83–102). Klinkhardt.","ieee":"F. Hellmich, “Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven,” in <i>Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften </i>, F. Hellmich and H. Köster, Eds. Bad Heilbrunn: Klinkhardt, 2008, pp. 83–102.","ama":"Hellmich F. Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven. In: Hellmich F, Köster H, eds. <i>Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften </i>. Klinkhardt; 2008:83-102.","bibtex":"@inbook{Hellmich_2008, place={Bad Heilbrunn}, title={Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven}, booktitle={Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften }, publisher={Klinkhardt}, author={Hellmich, Frank}, editor={Hellmich, Frank and Köster, Hilde}, year={2008}, pages={83–102} }","mla":"Hellmich, Frank. “Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven.” <i>Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften </i>, edited by Frank Hellmich and Hilde Köster, Klinkhardt, 2008, pp. 83–102."},"publication":"Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften ","extern":"1","publisher":"Klinkhardt","_id":"26776","language":[{"iso":"ger"}],"page":"83-102","editor":[{"full_name":"Hellmich, Frank","last_name":"Hellmich","first_name":"Frank"},{"full_name":"Köster, Hilde","first_name":"Hilde","last_name":"Köster"}],"user_id":"57672","author":[{"full_name":"Hellmich, Frank","last_name":"Hellmich","first_name":"Frank","id":"26282"}],"status":"public","year":"2008","title":"Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven","date_updated":"2022-01-06T06:57:28Z"},{"type":"journal_article","department":[{"_id":"17"},{"_id":"22"},{"_id":"571"}],"date_created":"2021-10-26T13:07:37Z","publication":"The American Journal of Clinical Nutrition","citation":{"ama":"Buyken A, Karaolis-Danckert N, Remer T. Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers. <i>The American Journal of Clinical Nutrition</i>. Published online 2008:221-230. doi:<a href=\"https://doi.org/10.3945/ajcn.2008.26733\">10.3945/ajcn.2008.26733</a>","bibtex":"@article{Buyken_Karaolis-Danckert_Remer_2008, title={Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers}, DOI={<a href=\"https://doi.org/10.3945/ajcn.2008.26733\">10.3945/ajcn.2008.26733</a>}, journal={The American Journal of Clinical Nutrition}, author={Buyken, Anette and Karaolis-Danckert, Nadina and Remer, Thomas}, year={2008}, pages={221–230} }","mla":"Buyken, Anette, et al. “Association of Prepubertal Body Composition in Healthy Girls and Boys with the Timing of Early and Late Pubertal Markers.” <i>The American Journal of Clinical Nutrition</i>, 2008, pp. 221–30, doi:<a href=\"https://doi.org/10.3945/ajcn.2008.26733\">10.3945/ajcn.2008.26733</a>.","short":"A. Buyken, N. Karaolis-Danckert, T. Remer, The American Journal of Clinical Nutrition (2008) 221–230.","chicago":"Buyken, Anette, Nadina Karaolis-Danckert, and Thomas Remer. “Association of Prepubertal Body Composition in Healthy Girls and Boys with the Timing of Early and Late Pubertal Markers.” <i>The American Journal of Clinical Nutrition</i>, 2008, 221–30. <a href=\"https://doi.org/10.3945/ajcn.2008.26733\">https://doi.org/10.3945/ajcn.2008.26733</a>.","apa":"Buyken, A., Karaolis-Danckert, N., &#38; Remer, T. (2008). Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers. <i>The American Journal of Clinical Nutrition</i>, 221–230. <a href=\"https://doi.org/10.3945/ajcn.2008.26733\">https://doi.org/10.3945/ajcn.2008.26733</a>","ieee":"A. Buyken, N. Karaolis-Danckert, and T. Remer, “Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers,” <i>The American Journal of Clinical Nutrition</i>, pp. 221–230, 2008, doi: <a href=\"https://doi.org/10.3945/ajcn.2008.26733\">10.3945/ajcn.2008.26733</a>."},"doi":"10.3945/ajcn.2008.26733","user_id":"61597","page":"221-230","language":[{"iso":"eng"}],"_id":"26891","date_updated":"2022-01-06T06:57:30Z","publication_status":"published","title":"Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers","status":"public","year":"2008","author":[{"id":"65985","full_name":"Buyken, Anette","first_name":"Anette","last_name":"Buyken"},{"last_name":"Karaolis-Danckert","first_name":"Nadina","full_name":"Karaolis-Danckert, Nadina"},{"first_name":"Thomas","last_name":"Remer","full_name":"Remer, Thomas"}],"publication_identifier":{"issn":["0002-9165","1938-3207"]}},{"type":"journal_article","department":[{"_id":"17"},{"_id":"22"},{"_id":"571"}],"date_created":"2021-10-26T13:08:27Z","publication":"British Journal of Nutrition","citation":{"chicago":"Libuda, Lars, Ute Alexy, Anette Buyken, Wolfgang Sichert-Hellert, Peter Stehle, and Mathilde Kersting. “Consumption of Sugar-Sweetened Beverages and Its Association with Nutrient Intakes and Diet Quality in German Children and Adolescents.” <i>British Journal of Nutrition</i>, 2008. <a href=\"https://doi.org/10.1017/s0007114508094671\">https://doi.org/10.1017/s0007114508094671</a>.","short":"L. Libuda, U. Alexy, A. Buyken, W. Sichert-Hellert, P. Stehle, M. Kersting, British Journal of Nutrition (2008).","ieee":"L. Libuda, U. Alexy, A. Buyken, W. Sichert-Hellert, P. Stehle, and M. Kersting, “Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents,” <i>British Journal of Nutrition</i>, Art. no. 1549, 2008, doi: <a href=\"https://doi.org/10.1017/s0007114508094671\">10.1017/s0007114508094671</a>.","apa":"Libuda, L., Alexy, U., Buyken, A., Sichert-Hellert, W., Stehle, P., &#38; Kersting, M. (2008). Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents. <i>British Journal of Nutrition</i>, Article 1549. <a href=\"https://doi.org/10.1017/s0007114508094671\">https://doi.org/10.1017/s0007114508094671</a>","bibtex":"@article{Libuda_Alexy_Buyken_Sichert-Hellert_Stehle_Kersting_2008, title={Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents}, DOI={<a href=\"https://doi.org/10.1017/s0007114508094671\">10.1017/s0007114508094671</a>}, number={1549}, journal={British Journal of Nutrition}, author={Libuda, Lars and Alexy, Ute and Buyken, Anette and Sichert-Hellert, Wolfgang and Stehle, Peter and Kersting, Mathilde}, year={2008} }","ama":"Libuda L, Alexy U, Buyken A, Sichert-Hellert W, Stehle P, Kersting M. Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents. <i>British Journal of Nutrition</i>. Published online 2008. doi:<a href=\"https://doi.org/10.1017/s0007114508094671\">10.1017/s0007114508094671</a>","mla":"Libuda, Lars, et al. “Consumption of Sugar-Sweetened Beverages and Its Association with Nutrient Intakes and Diet Quality in German Children and Adolescents.” <i>British Journal of Nutrition</i>, 1549, 2008, doi:<a href=\"https://doi.org/10.1017/s0007114508094671\">10.1017/s0007114508094671</a>."},"user_id":"61597","doi":"10.1017/s0007114508094671","article_number":"1549","_id":"26892","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T06:57:30Z","title":"Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents","status":"public","year":"2008","author":[{"id":"88682","full_name":"Libuda, Lars","first_name":"Lars","last_name":"Libuda","orcid":"0000-0003-1603-3133"},{"first_name":"Ute","last_name":"Alexy","full_name":"Alexy, Ute"},{"id":"65985","full_name":"Buyken, Anette","first_name":"Anette","last_name":"Buyken"},{"full_name":"Sichert-Hellert, Wolfgang","last_name":"Sichert-Hellert","first_name":"Wolfgang"},{"first_name":"Peter","last_name":"Stehle","full_name":"Stehle, Peter"},{"first_name":"Mathilde","last_name":"Kersting","full_name":"Kersting, Mathilde"}],"publication_identifier":{"issn":["0007-1145","1475-2662"]}},{"publication":"Electr. Notes Theor. Comput. Sci.","citation":{"short":"H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.","chicago":"Wehrheim, Heike. “Refinement in the Presence of Unknowns.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, 255--264. <a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">https://doi.org/10.1016/j.entcs.2008.02.023</a>.","apa":"Wehrheim, H. (2008). Refinement in the Presence of Unknowns. <i>Electr. Notes Theor. Comput. Sci.</i>, 255--264. <a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">https://doi.org/10.1016/j.entcs.2008.02.023</a>","ieee":"H. Wehrheim, “Refinement in the Presence of Unknowns,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 255--264, 2008.","ama":"Wehrheim H. Refinement in the Presence of Unknowns. <i>Electr Notes Theor Comput Sci</i>. 2008:255--264. doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>","bibtex":"@article{Wehrheim_2008, title={Refinement in the Presence of Unknowns}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2008}, pages={255--264} }","mla":"Wehrheim, Heike. “Refinement in the Presence of Unknowns.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, pp. 255--264, doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>."},"date_created":"2018-06-13T09:45:42Z","type":"journal_article","department":[{"_id":"77"}],"year":"2008","title":"Refinement in the Presence of Unknowns","status":"public","author":[{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:59:04Z","page":"255--264","_id":"3203","user_id":"29719","doi":"10.1016/j.entcs.2008.02.023"},{"doi":"10.1016/j.entcs.2008.06.015","user_id":"29719","_id":"3204","page":"331--357","date_updated":"2022-01-06T06:59:04Z","author":[{"full_name":"Estler, H.{-}Christian","last_name":"Estler","first_name":"H.{-}Christian"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"status":"public","title":"Alloy as a Refactoring Checker?","year":"2008","department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-13T09:47:06Z","citation":{"chicago":"Estler, H.{-}Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, 331--357. <a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">https://doi.org/10.1016/j.entcs.2008.06.015</a>.","short":"H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.","apa":"Estler, H. .-}Christian, &#38; Wehrheim, H. (2008). Alloy as a Refactoring Checker? <i>Electr. Notes Theor. Comput. Sci.</i>, 331--357. <a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">https://doi.org/10.1016/j.entcs.2008.06.015</a>","ieee":"H. .-}Christian Estler and H. Wehrheim, “Alloy as a Refactoring Checker?,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 331--357, 2008.","ama":"Estler H.-}Christian, Wehrheim H. Alloy as a Refactoring Checker? <i>Electr Notes Theor Comput Sci</i>. 2008:331--357. doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>","bibtex":"@article{Estler_Wehrheim_2008, title={Alloy as a Refactoring Checker?}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Wehrheim, Heike}, year={2008}, pages={331--357} }","mla":"Estler, H. .. }Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, pp. 331--357, doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>."},"publication":"Electr. Notes Theor. Comput. Sci."},{"author":[{"full_name":"Möller, Michael","last_name":"Möller","first_name":"Michael"},{"last_name":"Olderog","first_name":"Ernst-Rüdiger","full_name":"Olderog, Ernst-Rüdiger"},{"first_name":"Holger","last_name":"Rasch","full_name":"Rasch, Holger"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"title":"Integrating a formal method into a software engineering process with {UML} and Java","status":"public","year":"2008","date_updated":"2022-01-06T06:59:04Z","_id":"3205","page":"161--204","user_id":"29719","doi":"10.1007/s00165-007-0042-7","citation":{"ama":"Möller M, Olderog E-R, Rasch H, Wehrheim H. Integrating a formal method into a software engineering process with {UML} and Java. <i>Formal Asp Comput</i>. 2008;(2):161--204. doi:<a href=\"https://doi.org/10.1007/s00165-007-0042-7\">10.1007/s00165-007-0042-7</a>","bibtex":"@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal method into a software engineering process with {UML} and Java}, DOI={<a href=\"https://doi.org/10.1007/s00165-007-0042-7\">10.1007/s00165-007-0042-7</a>}, number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204} }","mla":"Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” <i>Formal Asp. Comput.</i>, no. 2, 2008, pp. 161--204, doi:<a href=\"https://doi.org/10.1007/s00165-007-0042-7\">10.1007/s00165-007-0042-7</a>.","chicago":"Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” <i>Formal Asp. Comput.</i>, no. 2 (2008): 161--204. <a href=\"https://doi.org/10.1007/s00165-007-0042-7\">https://doi.org/10.1007/s00165-007-0042-7</a>.","short":"M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.","apa":"Möller, M., Olderog, E.-R., Rasch, H., &#38; Wehrheim, H. (2008). Integrating a formal method into a software engineering process with {UML} and Java. <i>Formal Asp. Comput.</i>, (2), 161--204. <a href=\"https://doi.org/10.1007/s00165-007-0042-7\">https://doi.org/10.1007/s00165-007-0042-7</a>","ieee":"M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Integrating a formal method into a software engineering process with {UML} and Java,” <i>Formal Asp. Comput.</i>, no. 2, pp. 161--204, 2008."},"publication":"Formal Asp. Comput.","issue":"2","date_created":"2018-06-13T09:48:29Z","department":[{"_id":"77"}],"type":"journal_article"},{"user_id":"29719","page":"369--392","_id":"3206","date_updated":"2022-01-06T06:59:04Z","title":"Slicing Abstractions","status":"public","year":"2008","author":[{"full_name":"Brückner, Ingo","first_name":"Ingo","last_name":"Brückner"},{"last_name":"Dräger","first_name":"Klaus","full_name":"Dräger, Klaus"},{"first_name":"Bernd","last_name":"Finkbeiner","full_name":"Finkbeiner, Bernd"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"type":"journal_article","department":[{"_id":"77"}],"date_created":"2018-06-13T09:50:07Z","issue":"4","publication":"Fundam. Inform.","citation":{"apa":"Brückner, I., Dräger, K., Finkbeiner, B., &#38; Wehrheim, H. (2008). Slicing Abstractions. <i>Fundam. Inform.</i>, (4), 369--392.","ieee":"I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, “Slicing Abstractions,” <i>Fundam. Inform.</i>, no. 4, pp. 369--392, 2008.","chicago":"Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing Abstractions.” <i>Fundam. Inform.</i>, no. 4 (2008): 369--392.","short":"I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.","mla":"Brückner, Ingo, et al. “Slicing Abstractions.” <i>Fundam. Inform.</i>, no. 4, 2008, pp. 369--392.","ama":"Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. <i>Fundam Inform</i>. 2008;(4):369--392.","bibtex":"@article{Brückner_Dräger_Finkbeiner_Wehrheim_2008, title={Slicing Abstractions}, number={4}, journal={Fundam. Inform.}, author={Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}, year={2008}, pages={369--392} }"}},{"title":"From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations","status":"public","year":"2008","author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"full_name":"Kleppe, Anneke","last_name":"Kleppe","first_name":"Anneke"},{"last_name":"Rensink","first_name":"Arend","full_name":"Rensink, Arend"},{"full_name":"Semenyak, Maria","first_name":"Maria","last_name":"Semenyak"},{"id":"1737","full_name":"Soltenborn, Christian","first_name":"Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:59:04Z","page":"94--109","_id":"3207","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-540-69100-6_7","user_id":"14955","editor":[{"full_name":"Schieferdecker, Ina","last_name":"Schieferdecker","first_name":"Ina"},{"full_name":"Hartman, Alan","first_name":"Alan","last_name":"Hartman"}],"publication":"Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings","citation":{"bibtex":"@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">10.1007/978-3-540-69100-6_7</a>}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }","short":"G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.","ama":"Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>. Lecture Notes in Computer Science. ; 2008:94--109. doi:<a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">10.1007/978-3-540-69100-6_7</a>","chicago":"Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” In <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008. <a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">https://doi.org/10.1007/978-3-540-69100-6_7</a>.","ieee":"G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,” in <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>, 2008, pp. 94--109.","apa":"Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., &#38; Wehrheim, H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker &#38; A. Hartman (Eds.), <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i> (pp. 94--109). <a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">https://doi.org/10.1007/978-3-540-69100-6_7</a>","mla":"Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>, edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:<a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">10.1007/978-3-540-69100-6_7</a>."},"date_created":"2018-06-13T09:51:29Z","type":"conference","department":[{"_id":"77"}]},{"citation":{"short":"J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.","chicago":"Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” In <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i>, edited by Gilles Barthe and Frank S. de Boer, 78--95. Lecture Notes in Computer Science, 2008. <a href=\"https://doi.org/10.1007/978-3-540-68863-1_6\">https://doi.org/10.1007/978-3-540-68863-1_6</a>.","ieee":"J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack,” in <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i>, 2008, pp. 78--95.","apa":"Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe &#38; F. S. de Boer (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i> (pp. 78--95). <a href=\"https://doi.org/10.1007/978-3-540-68863-1_6\">https://doi.org/10.1007/978-3-540-68863-1_6</a>","bibtex":"@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-68863-1_6\">10.1007/978-3-540-68863-1_6</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95}, collection={Lecture Notes in Computer Science} }","ama":"Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i>. Lecture Notes in Computer Science. ; 2008:78--95. doi:<a href=\"https://doi.org/10.1007/978-3-540-68863-1_6\">10.1007/978-3-540-68863-1_6</a>","mla":"Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i>, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95, doi:<a href=\"https://doi.org/10.1007/978-3-540-68863-1_6\">10.1007/978-3-540-68863-1_6</a>."},"publication":"Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings","date_created":"2018-06-13T09:52:29Z","department":[{"_id":"77"}],"type":"conference","author":[{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"full_name":"Schellhorn, Gerhard","first_name":"Gerhard","last_name":"Schellhorn"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"title":"Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack","year":"2008","status":"public","date_updated":"2022-01-06T06:59:04Z","series_title":"Lecture Notes in Computer Science","_id":"3208","page":"78--95","editor":[{"last_name":"Barthe","first_name":"Gilles","full_name":"Barthe, Gilles"},{"last_name":"S. de Boer","first_name":"Frank","full_name":"S. de Boer, Frank"}],"doi":"10.1007/978-3-540-68863-1_6","user_id":"29719"},{"author":[{"first_name":"Björn","last_name":"Metzler","full_name":"Metzler, Björn"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"},{"full_name":"Wonisch, Daniel","last_name":"Wonisch","first_name":"Daniel"}],"status":"public","year":"2008","title":"Decomposition for Compositional Verification","date_updated":"2022-01-06T06:59:04Z","_id":"3209","series_title":"Lecture Notes in Computer Science","page":"105--125","editor":[{"last_name":"Liu","first_name":"Shaoying","full_name":"Liu, Shaoying"},{"full_name":"S. E. Maibaum, T.","first_name":"T.","last_name":"S. E. Maibaum"},{"full_name":"Araki, Keijiro","last_name":"Araki","first_name":"Keijiro"}],"doi":"10.1007/978-3-540-88194-0_9","user_id":"29719","citation":{"ama":"Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>. Lecture Notes in Computer Science. ; 2008:105--125. doi:<a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">10.1007/978-3-540-88194-0_9</a>","bibtex":"@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in Computer Science}, title={Decomposition for Compositional Verification}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">10.1007/978-3-540-88194-0_9</a>}, booktitle={Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}, editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008}, pages={105--125}, collection={Lecture Notes in Computer Science} }","mla":"Metzler, Björn, et al. “Decomposition for Compositional Verification.” <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>, edited by Shaoying Liu et al., 2008, pp. 105--125, doi:<a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">10.1007/978-3-540-88194-0_9</a>.","short":"B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.","chicago":"Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for Compositional Verification.” In <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008. <a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">https://doi.org/10.1007/978-3-540-88194-0_9</a>.","apa":"Metzler, B., Wehrheim, H., &#38; Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, &#38; K. Araki (Eds.), <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i> (pp. 105--125). <a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">https://doi.org/10.1007/978-3-540-88194-0_9</a>","ieee":"B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional Verification,” in <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>, 2008, pp. 105--125."},"publication":"Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings","date_created":"2018-06-13T09:53:43Z","department":[{"_id":"77"}],"type":"conference"},{"page":"380--394","_id":"3210","series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-540-85762-4_26","user_id":"29719","editor":[{"first_name":"John","last_name":"S. Fitzgerald","full_name":"S. Fitzgerald, John"},{"first_name":"Anne","last_name":"Elisabeth Haxthausen","full_name":"Elisabeth Haxthausen, Anne"},{"full_name":"Yenig{\\\"{u}}n, H{\\\"{u}}sn{\\\"{u}}","first_name":"H{\\\"{u}}sn{\\\"{u}}","last_name":"Yenig{\\\"{u}}n"}],"status":"public","year":"2008","title":"Bounded Model Checking for Partial Kripke Structures","author":[{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:59:05Z","date_created":"2018-06-13T09:54:58Z","type":"conference","department":[{"_id":"77"}],"publication":"Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings","citation":{"apa":"Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, &#38; H. Yenig{\\\"{u}}n (Eds.), <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i> (pp. 380--394). <a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">https://doi.org/10.1007/978-3-540-85762-4_26</a>","ieee":"H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>, 2008, pp. 380--394.","chicago":"Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” In <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H{\\\"{u}}sn{\\\"{u}} Yenig{\\\"{u}}n, 380--394. Lecture Notes in Computer Science, 2008. <a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">https://doi.org/10.1007/978-3-540-85762-4_26</a>.","short":"H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\\\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.","mla":"Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:<a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">10.1007/978-3-540-85762-4_26</a>.","ama":"Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\\\"{u}}n H, eds. <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>. Lecture Notes in Computer Science. ; 2008:380--394. doi:<a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">10.1007/978-3-540-85762-4_26</a>","bibtex":"@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">10.1007/978-3-540-85762-4_26</a>}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\\\"{u}}n, H{\\\"{u}}sn{\\\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }"}},{"citation":{"ieee":"J. Becker, D. Beverungen, and R. Knackstedt, “Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research,” in <i>Proceedings of the 41th Hawai’i International Conference on System Sciences</i>, Waikoloa, Hawaii, 2008.","apa":"Becker, J., Beverungen, D., &#38; Knackstedt, R. (2008). Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research. In <i>Proceedings of the 41th Hawai’i International Conference on System Sciences</i>. Waikoloa, Hawaii.","chicago":"Becker, Jörg, Daniel Beverungen, and Ralf Knackstedt. “Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research.” In <i>Proceedings of the 41th Hawai’i International Conference on System Sciences</i>. Waikoloa, Hawaii, 2008.","short":"J. Becker, D. Beverungen, R. Knackstedt, in: Proceedings of the 41th Hawai’i International Conference on System Sciences, Waikoloa, Hawaii, 2008.","mla":"Becker, Jörg, et al. “Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research.” <i>Proceedings of the 41th Hawai’i International Conference on System Sciences</i>, 2008.","bibtex":"@inproceedings{Becker_Beverungen_Knackstedt_2008, place={Waikoloa, Hawaii}, title={Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research}, booktitle={Proceedings of the 41th Hawai’i International Conference on System Sciences}, author={Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf}, year={2008} }","ama":"Becker J, Beverungen D, Knackstedt R. Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research. In: <i>Proceedings of the 41th Hawai’i International Conference on System Sciences</i>. Waikoloa, Hawaii; 2008."},"publication":"Proceedings of the 41th Hawai'i International Conference on System Sciences","extern":"1","place":"Waikoloa, Hawaii","date_created":"2018-07-06T09:53:25Z","department":[{"_id":"526"}],"type":"conference","conference":{"name":"41th Hawai'i International Conference on System Sciences","location":"Waikoloa, Hawaii"},"author":[{"full_name":"Becker, Jörg","last_name":"Becker","first_name":"Jörg"},{"last_name":"Beverungen","first_name":"Daniel","full_name":"Beverungen, Daniel","id":"59677"},{"first_name":"Ralf","last_name":"Knackstedt","full_name":"Knackstedt, Ralf"}],"status":"public","year":"2008","title":"Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research","date_updated":"2022-01-06T06:59:18Z","_id":"3477","user_id":"21671"},{"language":[{"iso":"eng"}],"_id":"3478","main_file_link":[{"url":"https://aisel.aisnet.org/amcis2008/211/"}],"user_id":"72849","conference":{"name":"14th Americas Conference on Information Systems","location":"Toronto, Canada"},"author":[{"full_name":"Becker, Jörg","last_name":"Becker","first_name":"Jörg"},{"full_name":"Beverungen, Daniel","last_name":"Beverungen","first_name":"Daniel","id":"59677"},{"last_name":"Knackstedt","first_name":"Ralf","full_name":"Knackstedt, Ralf"},{"id":"72849","full_name":"Müller, Oliver","first_name":"Oliver","last_name":"Müller"}],"title":"Modeling, Customer-Specific Configuration and Calculation of Value Bundles","status":"public","year":"2008","date_updated":"2022-01-06T06:59:18Z","place":"Toronto, Canada","date_created":"2018-07-06T09:56:40Z","department":[{"_id":"526"}],"type":"conference","citation":{"mla":"Becker, Jörg, et al. “Modeling, Customer-Specific Configuration and Calculation of Value Bundles.” <i>Americas Conference on Information Systems</i>, 2008.","bibtex":"@inproceedings{Becker_Beverungen_Knackstedt_Müller_2008, place={Toronto, Canada}, title={Modeling, Customer-Specific Configuration and Calculation of Value Bundles}, booktitle={Americas Conference on Information Systems}, author={Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf and Müller, Oliver}, year={2008} }","ama":"Becker J, Beverungen D, Knackstedt R, Müller O. Modeling, Customer-Specific Configuration and Calculation of Value Bundles. In: <i>Americas Conference on Information Systems</i>. Toronto, Canada; 2008.","ieee":"J. Becker, D. Beverungen, R. Knackstedt, and O. Müller, “Modeling, Customer-Specific Configuration and Calculation of Value Bundles,” in <i>Americas Conference on Information Systems</i>, Toronto, Canada, 2008.","apa":"Becker, J., Beverungen, D., Knackstedt, R., &#38; Müller, O. (2008). Modeling, Customer-Specific Configuration and Calculation of Value Bundles. In <i>Americas Conference on Information Systems</i>. Toronto, Canada.","short":"J. Becker, D. Beverungen, R. Knackstedt, O. Müller, in: Americas Conference on Information Systems, Toronto, Canada, 2008.","chicago":"Becker, Jörg, Daniel Beverungen, Ralf Knackstedt, and Oliver Müller. “Modeling, Customer-Specific Configuration and Calculation of Value Bundles.” In <i>Americas Conference on Information Systems</i>. Toronto, Canada, 2008."},"publication":"Americas Conference on Information Systems","extern":"1"},{"type":"conference","department":[{"_id":"526"}],"place":"München","date_created":"2018-07-06T09:58:15Z","extern":"1","publication":"Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)","citation":{"mla":"Beverungen, Daniel, et al. “Konfigurative Prozessmodellierung Der Hybriden Leistungserstellung in Unternehmensnetzwerken Des Maschinen- Und Anlagenbaus.” <i>Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)</i>, 2008, pp. 735--747.","ama":"Beverungen D, Kaiser U, Knackstedt R, Krings R, Stein A. Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus. In: <i>Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)</i>. München; 2008:735--747.","bibtex":"@inproceedings{Beverungen_Kaiser_Knackstedt_Krings_Stein_2008, place={München}, title={Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus}, booktitle={Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)}, author={Beverungen, Daniel and Kaiser, Uwe and Knackstedt, Ralf and Krings, Robin and Stein, Armin}, year={2008}, pages={735--747} }","apa":"Beverungen, D., Kaiser, U., Knackstedt, R., Krings, R., &#38; Stein, A. (2008). Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus. In <i>Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)</i> (pp. 735--747). München.","ieee":"D. Beverungen, U. Kaiser, R. Knackstedt, R. Krings, and A. Stein, “Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus,” in <i>Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)</i>, München, 2008, pp. 735--747.","short":"D. Beverungen, U. Kaiser, R. Knackstedt, R. Krings, A. Stein, in: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), München, 2008, pp. 735--747.","chicago":"Beverungen, Daniel, Uwe Kaiser, Ralf Knackstedt, Robin Krings, and Armin Stein. “Konfigurative Prozessmodellierung Der Hybriden Leistungserstellung in Unternehmensnetzwerken Des Maschinen- Und Anlagenbaus.” In <i>Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)</i>, 735--747. München, 2008."},"user_id":"21671","page":"735--747","_id":"3479","date_updated":"2022-01-06T06:59:18Z","year":"2008","title":"Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus","status":"public","conference":{"name":"Multikonferenz Wirtschaftsinformatik (MKWI 2008)","location":"München"},"author":[{"full_name":"Beverungen, Daniel","last_name":"Beverungen","first_name":"Daniel","id":"59677"},{"last_name":"Kaiser","first_name":"Uwe","full_name":"Kaiser, Uwe"},{"full_name":"Knackstedt, Ralf","first_name":"Ralf","last_name":"Knackstedt"},{"last_name":"Krings","first_name":"Robin","full_name":"Krings, Robin"},{"first_name":"Armin","last_name":"Stein","full_name":"Stein, Armin"}]},{"title":"Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail","status":"public","year":"2008","author":[{"last_name":"Winkelmann","first_name":"Axel","full_name":"Winkelmann, Axel"},{"id":"59677","first_name":"Daniel","last_name":"Beverungen","full_name":"Beverungen, Daniel"},{"full_name":"Janiesch, Christian","last_name":"Janiesch","first_name":"Christian"},{"last_name":"Becker","first_name":"Jörg","full_name":"Becker, Jörg"}],"conference":{"location":"Galway, Ireland","name":"16th European Conference on Information Systems"},"date_updated":"2022-01-06T06:59:18Z","_id":"3480","user_id":"21671","publication":"Proceedings of the 16th European Conference on Information Systems","citation":{"ieee":"A. Winkelmann, D. Beverungen, C. Janiesch, and J. Becker, “Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail,” in <i>Proceedings of the 16th European Conference on Information Systems</i>, Galway, Ireland, 2008.","mla":"Winkelmann, Axel, et al. “Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail.” <i>Proceedings of the 16th European Conference on Information Systems</i>, 2008.","apa":"Winkelmann, A., Beverungen, D., Janiesch, C., &#38; Becker, J. (2008). Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail. In <i>Proceedings of the 16th European Conference on Information Systems</i>. Galway, Ireland.","bibtex":"@inproceedings{Winkelmann_Beverungen_Janiesch_Becker_2008, place={Galway, Ireland}, title={Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail}, booktitle={Proceedings of the 16th European Conference on Information Systems}, author={Winkelmann, Axel and Beverungen, Daniel and Janiesch, Christian and Becker, Jörg}, year={2008} }","ama":"Winkelmann A, Beverungen D, Janiesch C, Becker J. Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail. In: <i>Proceedings of the 16th European Conference on Information Systems</i>. Galway, Ireland; 2008.","short":"A. Winkelmann, D. Beverungen, C. Janiesch, J. Becker, in: Proceedings of the 16th European Conference on Information Systems, Galway, Ireland, 2008.","chicago":"Winkelmann, Axel, Daniel Beverungen, Christian Janiesch, and Jörg Becker. “Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail.” In <i>Proceedings of the 16th European Conference on Information Systems</i>. Galway, Ireland, 2008."},"extern":"1","date_created":"2018-07-06T09:59:18Z","place":"Galway, Ireland","type":"conference","department":[{"_id":"526"}]}]