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