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