---
_id: '26781'
author:
- first_name: Frank
  full_name: Hellmich, Frank
  id: '26282'
  last_name: Hellmich
- first_name: Markus
  full_name: Sämisch, Markus
  last_name: Sämisch
citation:
  ama: 'Hellmich F, Sämisch M.  Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen
    und -lehrer im Studium? In: Möller K, Hanke P, Beinbrech C, Hein AK, Kleickmann
    T, Schagers R, eds. <i>Qualität von Grundschulunterricht entwickeln, erfassen
    und bewerten</i>. Vol 11. Jahrbuch Grundschulforschung . VS Verlag für Sozialwissenschaften;
    2007:115-118.'
  apa: Hellmich, F., &#38; Sämisch, M. (2007).  Augen zu und durch!? – Wie lernen
    angehende Grundschullehrerinnen und -lehrer im Studium? In K. Möller, P. Hanke,
    C. Beinbrech, A. K. Hein, T. Kleickmann, &#38; R. Schagers (Eds.), <i>Qualität
    von Grundschulunterricht entwickeln, erfassen und bewerten</i> (Vol. 11, pp. 115–118).
    VS Verlag für Sozialwissenschaften.
  bibtex: '@inbook{Hellmich_Sämisch_2007, place={Wiesbaden}, series={Jahrbuch Grundschulforschung
    }, title={ Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und
    -lehrer im Studium?}, volume={11}, booktitle={Qualität von Grundschulunterricht
    entwickeln, erfassen und bewerten}, publisher={VS Verlag für Sozialwissenschaften},
    author={Hellmich, Frank and Sämisch, Markus}, editor={Möller, Kornelia and Hanke,
    Petra and Beinbrech, Christina and Hein, Anna Katharina  and Kleickmann, Thilo
    and Schagers, Ruth}, year={2007}, pages={115–118}, collection={Jahrbuch Grundschulforschung
    } }'
  chicago: 'Hellmich, Frank, and Markus Sämisch. “ Augen zu und durch!? – Wie lernen
    angehende Grundschullehrerinnen und -lehrer im Studium?” In <i>Qualität von Grundschulunterricht
    entwickeln, erfassen und bewerten</i>, edited by Kornelia Möller, Petra Hanke,
    Christina Beinbrech, Anna Katharina  Hein, Thilo Kleickmann, and Ruth Schagers,
    11:115–18. Jahrbuch Grundschulforschung . Wiesbaden: VS Verlag für Sozialwissenschaften,
    2007.'
  ieee: 'F. Hellmich and M. Sämisch, “ Augen zu und durch!? – Wie lernen angehende
    Grundschullehrerinnen und -lehrer im Studium?,” in <i>Qualität von Grundschulunterricht
    entwickeln, erfassen und bewerten</i>, vol. 11, K. Möller, P. Hanke, C. Beinbrech,
    A. K. Hein, T. Kleickmann, and R. Schagers, Eds. Wiesbaden: VS Verlag für Sozialwissenschaften,
    2007, pp. 115–118.'
  mla: Hellmich, Frank, and Markus Sämisch. “ Augen zu und durch!? – Wie lernen angehende
    Grundschullehrerinnen und -lehrer im Studium?” <i>Qualität von Grundschulunterricht
    entwickeln, erfassen und bewerten</i>, edited by Kornelia Möller et al., vol.
    11, VS Verlag für Sozialwissenschaften, 2007, pp. 115–18.
  short: 'F. Hellmich, M. Sämisch, in: K. Möller, P. Hanke, C. Beinbrech, A.K. Hein,
    T. Kleickmann, R. Schagers (Eds.), Qualität von Grundschulunterricht entwickeln,
    erfassen und bewerten, VS Verlag für Sozialwissenschaften, Wiesbaden, 2007, pp.
    115–118.'
date_created: 2021-10-25T09:48:54Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '460'
editor:
- first_name: Kornelia
  full_name: Möller, Kornelia
  last_name: Möller
- first_name: Petra
  full_name: Hanke, Petra
  last_name: Hanke
- first_name: Christina
  full_name: Beinbrech, Christina
  last_name: Beinbrech
- first_name: 'Anna Katharina '
  full_name: 'Hein, Anna Katharina '
  last_name: Hein
- first_name: Thilo
  full_name: Kleickmann, Thilo
  last_name: Kleickmann
- first_name: Ruth
  full_name: Schagers, Ruth
  last_name: Schagers
extern: '1'
intvolume: '        11'
language:
- iso: ger
page: 115-118
place: Wiesbaden
publication: Qualität von Grundschulunterricht entwickeln, erfassen und bewerten
publisher: VS Verlag für Sozialwissenschaften
series_title: 'Jahrbuch Grundschulforschung '
status: public
title: ' Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer
  im Studium?'
type: book_chapter
user_id: '57672'
volume: 11
year: '2007'
...
---
_id: '26786'
abstract:
- lang: eng
  text: Erfolgreiche anschlussfähige Bildungsprozesse stellen eine wichtige Voraussetzung
    für die Persönlichkeits- und Kompetenzentwicklung von Kindern dar. Der Vorbereitung
    auf einen erfolgreichen Übergang vom Kindergarten in die Grundschule kommt dabei
    eine besondere Schlüsselstellung zu. Vor diesem Hintergrund wird in diesem Beitrag
    über eine Untersuchung berichtet, bei der 112 Vorschulkinder zu ihren Einstellungen
    und Erwartungen im Zusammenhang mit ihrer bevorstehenden Grundschulzeit befragt
    wurden. Die Ergebnisse verdeutlichen Anknüpfungspunkte für Konzepte zur Vorbereitung
    von Übergängen.
author:
- first_name: Frank
  full_name: Hellmich, Frank
  id: '26282'
  last_name: Hellmich
citation:
  ama: Hellmich F. Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim
    Übergang vom Kindergarten in die Grundschule. <i>Bildungsforschung </i>. 2007;4.1.
    doi:<a href="https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59">10.25539/BILDUNGSFORSCHUN.V1I0.59</a>
  apa: Hellmich, F. (2007). Bedingungen anschlussfähiger Bildungsprozesse von Kindern
    beim Übergang vom Kindergarten in die Grundschule. <i>Bildungsforschung </i>,
    <i>4.1</i>. <a href="https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59">https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59</a>
  bibtex: '@article{Hellmich_2007, title={Bedingungen anschlussfähiger Bildungsprozesse
    von Kindern beim Übergang vom Kindergarten in die Grundschule}, volume={4.1},
    DOI={<a href="https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59">10.25539/BILDUNGSFORSCHUN.V1I0.59</a>},
    journal={Bildungsforschung }, author={Hellmich, Frank}, year={2007} }'
  chicago: Hellmich, Frank. “Bedingungen anschlussfähiger Bildungsprozesse von Kindern
    beim Übergang vom Kindergarten in die Grundschule.” <i>Bildungsforschung </i>
    4.1 (2007). <a href="https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59">https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59</a>.
  ieee: 'F. Hellmich, “Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim
    Übergang vom Kindergarten in die Grundschule,” <i>Bildungsforschung </i>, vol.
    4.1, 2007, doi: <a href="https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59">10.25539/BILDUNGSFORSCHUN.V1I0.59</a>.'
  mla: Hellmich, Frank. “Bedingungen anschlussfähiger Bildungsprozesse von Kindern
    beim Übergang vom Kindergarten in die Grundschule.” <i>Bildungsforschung </i>,
    vol. 4.1, 2007, doi:<a href="https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59">10.25539/BILDUNGSFORSCHUN.V1I0.59</a>.
  short: F. Hellmich, Bildungsforschung  4.1 (2007).
date_created: 2021-10-25T09:57:06Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '460'
doi: 10.25539/BILDUNGSFORSCHUN.V1I0.59
extern: '1'
language:
- iso: ger
publication: 'Bildungsforschung '
status: public
title: Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom
  Kindergarten in die Grundschule
type: journal_article
user_id: '57672'
volume: '4.1'
year: '2007'
...
---
_id: '26788'
author:
- first_name: Frank
  full_name: Hellmich, Frank
  id: '26282'
  last_name: Hellmich
citation:
  ama: Hellmich F. Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten
    im vorschulischen Bereich. <i>Bildungsforschung </i>. 2007;4.1. doi:<a href="https://doi.org/10.25656/01:4628">10.25656/01:4628</a>
  apa: Hellmich, F. (2007). Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten
    im vorschulischen Bereich. <i>Bildungsforschung </i>, <i>4.1</i>. <a href="https://doi.org/10.25656/01:4628">https://doi.org/10.25656/01:4628</a>
  bibtex: '@article{Hellmich_2007, title={Möglichkeiten der Förderung mathematischer
    Vorläuferfähigkeiten im vorschulischen Bereich}, volume={4.1}, DOI={<a href="https://doi.org/10.25656/01:4628">10.25656/01:4628</a>},
    journal={Bildungsforschung }, author={Hellmich, Frank}, year={2007} }'
  chicago: Hellmich, Frank. “Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten
    im vorschulischen Bereich.” <i>Bildungsforschung </i> 4.1 (2007). <a href="https://doi.org/10.25656/01:4628">https://doi.org/10.25656/01:4628</a>.
  ieee: 'F. Hellmich, “Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten
    im vorschulischen Bereich,” <i>Bildungsforschung </i>, vol. 4.1, 2007, doi: <a
    href="https://doi.org/10.25656/01:4628">10.25656/01:4628</a>.'
  mla: Hellmich, Frank. “Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten
    im vorschulischen Bereich.” <i>Bildungsforschung </i>, vol. 4.1, 2007, doi:<a
    href="https://doi.org/10.25656/01:4628">10.25656/01:4628</a>.
  short: F. Hellmich, Bildungsforschung  4.1 (2007).
date_created: 2021-10-25T10:00:46Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '460'
doi: 10.25656/01:4628
extern: '1'
language:
- iso: ger
publication: 'Bildungsforschung '
status: public
title: Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen
  Bereich
type: journal_article
user_id: '57672'
volume: '4.1'
year: '2007'
...
---
_id: '26790'
author:
- first_name: Frank
  full_name: Hellmich, Frank
  id: '26282'
  last_name: Hellmich
- first_name: Meike
  full_name: Grüßing , Meike
  last_name: 'Grüßing '
citation:
  ama: 'Hellmich F, Grüßing  M. Standards und Perspektiven für das Mathematiklernen
    in der Vor- und Grundschulzeit. In: Hellmich F, ed. <i>Perspektiven für das Lehren
    und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i>. Schneider
    Hohengehren; 2007:119-140.'
  apa: Hellmich, F., &#38; Grüßing , M. (2007). Standards und Perspektiven für das
    Mathematiklernen in der Vor- und Grundschulzeit. In F. Hellmich (Ed.), <i>Perspektiven
    für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i>
    (pp. 119–140). Schneider Hohengehren.
  bibtex: '@inbook{Hellmich_Grüßing _2007, place={Baltmannsweiler}, title={Standards
    und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit}, booktitle={Perspektiven
    für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule},
    publisher={Schneider Hohengehren}, author={Hellmich, Frank and Grüßing , Meike},
    editor={Hellmich, Frank }, year={2007}, pages={119–140} }'
  chicago: 'Hellmich, Frank, and Meike Grüßing . “Standards und Perspektiven für das
    Mathematiklernen in der Vor- und Grundschulzeit.” In <i>Perspektiven für das Lehren
    und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i>, edited
    by Frank  Hellmich, 119–40. Baltmannsweiler: Schneider Hohengehren, 2007.'
  ieee: 'F. Hellmich and M. Grüßing , “Standards und Perspektiven für das Mathematiklernen
    in der Vor- und Grundschulzeit,” in <i>Perspektiven für das Lehren und Lernen
    in der Grundschule. Theorie und Praxis der Grundschule</i>, F. Hellmich, Ed. Baltmannsweiler:
    Schneider Hohengehren, 2007, pp. 119–140.'
  mla: Hellmich, Frank, and Meike Grüßing . “Standards und Perspektiven für das Mathematiklernen
    in der Vor- und Grundschulzeit.” <i>Perspektiven für das Lehren und Lernen in
    der Grundschule. Theorie und Praxis der Grundschule</i>, edited by Frank  Hellmich,
    Schneider Hohengehren, 2007, pp. 119–40.
  short: 'F. Hellmich, M. Grüßing , in: F. Hellmich (Ed.), Perspektiven für das Lehren
    und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren,
    Baltmannsweiler, 2007, pp. 119–140.'
date_created: 2021-10-25T10:07:07Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '460'
editor:
- first_name: 'Frank '
  full_name: 'Hellmich, Frank '
  last_name: Hellmich
extern: '1'
language:
- iso: ger
page: 119-140
place: Baltmannsweiler
publication: Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und
  Praxis der Grundschule
publisher: Schneider Hohengehren
status: public
title: Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit
type: book_chapter
user_id: '57672'
year: '2007'
...
---
_id: '26791'
author:
- first_name: Frank
  full_name: Hellmich, Frank
  id: '26282'
  last_name: Hellmich
citation:
  ama: 'Hellmich F. Standards, Perspektiven und Tendenzen in der Grundschulpädagogik
    – Einleitung. In: Hellmich F, ed. <i>Perspektiven für das Lehren und Lernen in
    der Grundschule. Theorie und Praxis der Grundschule</i>. Schneider Hohengehren;
    2007:3-7.'
  apa: Hellmich, F. (2007). Standards, Perspektiven und Tendenzen in der Grundschulpädagogik
    – Einleitung. In F. Hellmich (Ed.), <i>Perspektiven für das Lehren und Lernen
    in der Grundschule. Theorie und Praxis der Grundschule</i> (pp. 3–7). Schneider
    Hohengehren.
  bibtex: '@inbook{Hellmich_2007, place={Baltmannsweiler}, title={Standards, Perspektiven
    und Tendenzen in der Grundschulpädagogik – Einleitung}, booktitle={Perspektiven
    für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule},
    publisher={Schneider Hohengehren}, author={Hellmich, Frank}, editor={Hellmich,
    Frank}, year={2007}, pages={3–7} }'
  chicago: 'Hellmich, Frank. “Standards, Perspektiven und Tendenzen in der Grundschulpädagogik
    – Einleitung.” In <i>Perspektiven für das Lehren und Lernen in der Grundschule.
    Theorie und Praxis der Grundschule</i>, edited by Frank Hellmich, 3–7. Baltmannsweiler:
    Schneider Hohengehren, 2007.'
  ieee: 'F. Hellmich, “Standards, Perspektiven und Tendenzen in der Grundschulpädagogik
    – Einleitung,” in <i>Perspektiven für das Lehren und Lernen in der Grundschule.
    Theorie und Praxis der Grundschule</i>, F. Hellmich, Ed. Baltmannsweiler: Schneider
    Hohengehren, 2007, pp. 3–7.'
  mla: Hellmich, Frank. “Standards, Perspektiven und Tendenzen in der Grundschulpädagogik
    – Einleitung.” <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie
    und Praxis der Grundschule</i>, edited by Frank Hellmich, Schneider Hohengehren,
    2007, pp. 3–7.
  short: 'F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen
    in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren,
    Baltmannsweiler, 2007, pp. 3–7.'
date_created: 2021-10-25T10:10:12Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '460'
editor:
- first_name: Frank
  full_name: Hellmich, Frank
  last_name: Hellmich
extern: '1'
language:
- iso: ger
page: 3-7
place: Baltmannsweiler
publication: Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und
  Praxis der Grundschule
publisher: Schneider Hohengehren
status: public
title: Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung
type: book_chapter
user_id: '57672'
year: '2007'
...
---
_id: '26793'
author:
- first_name: Frank
  full_name: Hellmich, Frank
  id: '26282'
  last_name: Hellmich
citation:
  ama: 'Hellmich F. „Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach
    IGLU. In: Hellmich F, ed. <i>Perspektiven für das Lehren und Lernen in der Grundschule.
    Theorie und Praxis der Grundschule </i>. Schneider Hohengehren; 2007:11-32.'
  apa: Hellmich, F. (2007). „Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik
    nach IGLU. In F. Hellmich (Ed.), <i>Perspektiven für das Lehren und Lernen in
    der Grundschule. Theorie und Praxis der Grundschule </i> (pp. 11–32). Schneider
    Hohengehren.
  bibtex: '@inbook{Hellmich_2007, place={Baltmannsweiler}, title={„Nach dem Spiel
    ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU}, booktitle={Perspektiven
    für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule
    }, publisher={Schneider Hohengehren}, author={Hellmich, Frank}, editor={Hellmich,
    Frank}, year={2007}, pages={11–32} }'
  chicago: 'Hellmich, Frank. “„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik
    nach IGLU.” In <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie
    und Praxis der Grundschule </i>, edited by Frank Hellmich, 11–32. Baltmannsweiler:
    Schneider Hohengehren, 2007.'
  ieee: 'F. Hellmich, “„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik
    nach IGLU,” in <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie
    und Praxis der Grundschule </i>, F. Hellmich, Ed. Baltmannsweiler: Schneider Hohengehren,
    2007, pp. 11–32.'
  mla: Hellmich, Frank. “„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik
    nach IGLU.” <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie
    und Praxis der Grundschule </i>, edited by Frank Hellmich, Schneider Hohengehren,
    2007, pp. 11–32.
  short: 'F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen
    in der Grundschule. Theorie und Praxis der Grundschule , Schneider Hohengehren,
    Baltmannsweiler, 2007, pp. 11–32.'
date_created: 2021-10-25T10:12:13Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '460'
editor:
- first_name: Frank
  full_name: Hellmich, Frank
  last_name: Hellmich
extern: '1'
language:
- iso: ger
page: 11-32
place: Baltmannsweiler
publication: 'Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und
  Praxis der Grundschule '
publisher: Schneider Hohengehren
status: public
title: „Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU
type: book_chapter
user_id: '57672'
year: '2007'
...
---
_id: '3211'
author:
- first_name: John
  full_name: Derrick, John
  last_name: Derrick
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Derrick J, Wehrheim H. On using data abstractions for model checking refinements.
    <i>Acta Inf</i>. 2007;(1):41--71. doi:<a href="https://doi.org/10.1007/s00236-007-0042-3">10.1007/s00236-007-0042-3</a>
  apa: Derrick, J., &#38; Wehrheim, H. (2007). On using data abstractions for model
    checking refinements. <i>Acta Inf.</i>, (1), 41--71. <a href="https://doi.org/10.1007/s00236-007-0042-3">https://doi.org/10.1007/s00236-007-0042-3</a>
  bibtex: '@article{Derrick_Wehrheim_2007, title={On using data abstractions for model
    checking refinements}, DOI={<a href="https://doi.org/10.1007/s00236-007-0042-3">10.1007/s00236-007-0042-3</a>},
    number={1}, journal={Acta Inf.}, author={Derrick, John and Wehrheim, Heike}, year={2007},
    pages={41--71} }'
  chicago: 'Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model
    Checking Refinements.” <i>Acta Inf.</i>, no. 1 (2007): 41--71. <a href="https://doi.org/10.1007/s00236-007-0042-3">https://doi.org/10.1007/s00236-007-0042-3</a>.'
  ieee: J. Derrick and H. Wehrheim, “On using data abstractions for model checking
    refinements,” <i>Acta Inf.</i>, no. 1, pp. 41--71, 2007.
  mla: Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking
    Refinements.” <i>Acta Inf.</i>, no. 1, 2007, pp. 41--71, doi:<a href="https://doi.org/10.1007/s00236-007-0042-3">10.1007/s00236-007-0042-3</a>.
  short: J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
date_created: 2018-06-13T09:56:17Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/s00236-007-0042-3
issue: '1'
page: 41--71
publication: Acta Inf.
status: public
title: On using data abstractions for model checking refinements
type: journal_article
user_id: '29719'
year: '2007'
...
---
_id: '3212'
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
citation:
  ama: Metzler B, Wehrheim H. Extending a Component Specification Language with Time.
    <i>Electr Notes Theor Comput Sci</i>. 2007;(2):47--67. doi:<a href="https://doi.org/10.1016/j.entcs.2006.02.031">10.1016/j.entcs.2006.02.031</a>
  apa: Metzler, B., &#38; Wehrheim, H. (2007). Extending a Component Specification
    Language with Time. <i>Electr. Notes Theor. Comput. Sci.</i>, (2), 47--67. <a
    href="https://doi.org/10.1016/j.entcs.2006.02.031">https://doi.org/10.1016/j.entcs.2006.02.031</a>
  bibtex: '@article{Metzler_Wehrheim_2007, title={Extending a Component Specification
    Language with Time}, DOI={<a href="https://doi.org/10.1016/j.entcs.2006.02.031">10.1016/j.entcs.2006.02.031</a>},
    number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Metzler, Björn
    and Wehrheim, Heike}, year={2007}, pages={47--67} }'
  chicago: 'Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification
    Language with Time.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2 (2007): 47--67.
    <a href="https://doi.org/10.1016/j.entcs.2006.02.031">https://doi.org/10.1016/j.entcs.2006.02.031</a>.'
  ieee: B. Metzler and H. Wehrheim, “Extending a Component Specification Language
    with Time,” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, pp. 47--67, 2007.
  mla: Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language
    with Time.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, 2007, pp. 47--67,
    doi:<a href="https://doi.org/10.1016/j.entcs.2006.02.031">10.1016/j.entcs.2006.02.031</a>.
  short: B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.
date_created: 2018-06-13T09:57:37Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2006.02.031
issue: '2'
page: 47--67
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Extending a Component Specification Language with Time
type: journal_article
user_id: '29719'
year: '2007'
...
---
_id: '3213'
author:
- first_name: H.{-}Christian
  full_name: Estler, H.{-}Christian
  last_name: Estler
- first_name: Thomas
  full_name: Ruhroth, Thomas
  last_name: Ruhroth
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Estler H.-}Christian, Ruhroth T, Wehrheim H. Modelchecking Correctness of Refactorings
    - Some Experiments. <i>Electr Notes Theor Comput Sci</i>. 2007:3--17. doi:<a href="https://doi.org/10.1016/j.entcs.2006.08.041">10.1016/j.entcs.2006.08.041</a>
  apa: Estler, H. .-}Christian, Ruhroth, T., &#38; Wehrheim, H. (2007). Modelchecking
    Correctness of Refactorings - Some Experiments. <i>Electr. Notes Theor. Comput.
    Sci.</i>, 3--17. <a href="https://doi.org/10.1016/j.entcs.2006.08.041">https://doi.org/10.1016/j.entcs.2006.08.041</a>
  bibtex: '@article{Estler_Ruhroth_Wehrheim_2007, title={Modelchecking Correctness
    of Refactorings - Some Experiments}, DOI={<a href="https://doi.org/10.1016/j.entcs.2006.08.041">10.1016/j.entcs.2006.08.041</a>},
    journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and
    Ruhroth, Thomas and Wehrheim, Heike}, year={2007}, pages={3--17} }'
  chicago: Estler, H.{-}Christian, Thomas Ruhroth, and Heike Wehrheim. “Modelchecking
    Correctness of Refactorings - Some Experiments.” <i>Electr. Notes Theor. Comput.
    Sci.</i>, 2007, 3--17. <a href="https://doi.org/10.1016/j.entcs.2006.08.041">https://doi.org/10.1016/j.entcs.2006.08.041</a>.
  ieee: H. .-}Christian Estler, T. Ruhroth, and H. Wehrheim, “Modelchecking Correctness
    of Refactorings - Some Experiments,” <i>Electr. Notes Theor. Comput. Sci.</i>,
    pp. 3--17, 2007.
  mla: Estler, H. .. }Christian, et al. “Modelchecking Correctness of Refactorings
    - Some Experiments.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2007, pp. 3--17,
    doi:<a href="https://doi.org/10.1016/j.entcs.2006.08.041">10.1016/j.entcs.2006.08.041</a>.
  short: H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput.
    Sci. (2007) 3--17.
date_created: 2018-06-13T09:59:12Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2006.08.041
page: 3--17
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Modelchecking Correctness of Refactorings - Some Experiments
type: journal_article
user_id: '29719'
year: '2007'
...
---
_id: '3214'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- 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, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business
    Process Models and Web Services Using Visual Contracts. In: Sch{\"{u}}rr A, Nagl
    M, Z{\"{u}}ndorf A, eds. <i>Applications of Graph Transformations with Industrial
    Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October
    10-12, 2007, Revised Selected and Invited Papers</i>. Lecture Notes in Computer
    Science. ; 2007:17--31. doi:<a href="https://doi.org/10.1007/978-3-540-89020-1_2">10.1007/978-3-540-89020-1_2</a>'
  apa: Engels, G., Güldali, B., Soltenborn, C., &#38; Wehrheim, H. (2007). Assuring
    Consistency of Business Process Models and Web Services Using Visual Contracts.
    In A. Sch{\"{u}}rr, M. Nagl, &#38; A. Z{\"{u}}ndorf (Eds.), <i>Applications of
    Graph Transformations with Industrial Relevance, Third International Symposium,
    {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited
    Papers</i> (pp. 17--31). <a href="https://doi.org/10.1007/978-3-540-89020-1_2">https://doi.org/10.1007/978-3-540-89020-1_2</a>
  bibtex: '@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture
    Notes in Computer Science}, title={Assuring Consistency of Business Process Models
    and Web Services Using Visual Contracts}, DOI={<a href="https://doi.org/10.1007/978-3-540-89020-1_2">10.1007/978-3-540-89020-1_2</a>},
    booktitle={Applications of Graph Transformations with Industrial Relevance, Third
    International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007,
    Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris
    and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\"{u}}rr, Andy and
    Nagl, Manfred and Z{\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31},
    collection={Lecture Notes in Computer Science} }'
  chicago: Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim.
    “Assuring Consistency of Business Process Models and Web Services Using Visual
    Contracts.” In <i>Applications of Graph Transformations with Industrial Relevance,
    Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
    2007, Revised Selected and Invited Papers</i>, edited by Andy Sch{\"{u}}rr, Manfred
    Nagl, and Albert Z{\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007.
    <a href="https://doi.org/10.1007/978-3-540-89020-1_2">https://doi.org/10.1007/978-3-540-89020-1_2</a>.
  ieee: G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency
    of Business Process Models and Web Services Using Visual Contracts,” in <i>Applications
    of Graph Transformations with Industrial Relevance, Third International Symposium,
    {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited
    Papers</i>, 2007, pp. 17--31.
  mla: Engels, Gregor, et al. “Assuring Consistency of Business Process Models and
    Web Services Using Visual Contracts.” <i>Applications of Graph Transformations
    with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel,
    Germany, October 10-12, 2007, Revised Selected and Invited Papers</i>, edited
    by Andy Sch{\"{u}}rr et al., 2007, pp. 17--31, doi:<a href="https://doi.org/10.1007/978-3-540-89020-1_2">10.1007/978-3-540-89020-1_2</a>.
  short: 'G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr,
    M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial
    Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October
    10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.'
date_created: 2018-06-13T10:00:14Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-89020-1_2
editor:
- first_name: Andy
  full_name: Sch{\"{u}}rr, Andy
  last_name: Sch{\"{u}}rr
- first_name: Manfred
  full_name: Nagl, Manfred
  last_name: Nagl
- first_name: Albert
  full_name: Z{\"{u}}ndorf, Albert
  last_name: Z{\"{u}}ndorf
language:
- iso: eng
page: 17--31
publication: Applications of Graph Transformations with Industrial Relevance, Third
  International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised
  Selected and Invited Papers
series_title: Lecture Notes in Computer Science
status: public
title: Assuring Consistency of Business Process Models and Web Services Using Visual
  Contracts
type: conference
user_id: '14955'
year: '2007'
...
---
_id: '3215'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- 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, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic
    Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. <i>Formal Methods for
    Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>. Lecture Notes
    in Computer Science. ; 2007:76--90. doi:<a href="https://doi.org/10.1007/978-3-540-72952-5_5">10.1007/978-3-540-72952-5_5</a>'
  apa: Engels, G., Soltenborn, C., &#38; Wehrheim, H. (2007). Analysis of {UML} Activities
    Using Dynamic Meta Modeling. In M. M. Bonsangue &#38; E. Broch Johnsen (Eds.),
    <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1
    International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>
    (pp. 76--90). <a href="https://doi.org/10.1007/978-3-540-72952-5_5">https://doi.org/10.1007/978-3-540-72952-5_5</a>
  bibtex: '@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in
    Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling},
    DOI={<a href="https://doi.org/10.1007/978-3-540-72952-5_5">10.1007/978-3-540-72952-5_5</a>},
    booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
    {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
    Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike},
    editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007},
    pages={76--90}, collection={Lecture Notes in Computer Science} }'
  chicago: Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of
    {UML} Activities Using Dynamic Meta Modeling.” In <i>Formal Methods for Open Object-Based
    Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007,
    Paphos, Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue
    and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. <a href="https://doi.org/10.1007/978-3-540-72952-5_5">https://doi.org/10.1007/978-3-540-72952-5_5</a>.
  ieee: G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using
    Dynamic Meta Modeling,” in <i>Formal Methods for Open Object-Based Distributed
    Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
    Cyprus, June 6-8, 2007, Proceedings</i>, 2007, pp. 76--90.
  mla: Engels, Gregor, et al. “Analysis of {UML} Activities Using Dynamic Meta Modeling.”
    <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1
    International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>,
    edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 76--90, doi:<a
    href="https://doi.org/10.1007/978-3-540-72952-5_5">10.1007/978-3-540-72952-5_5</a>.
  short: 'G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen
    (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG}
    6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings,
    2007, pp. 76--90.'
date_created: 2018-06-13T10:01:31Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-72952-5_5
editor:
- first_name: Marcello
  full_name: M. Bonsangue, Marcello
  last_name: M. Bonsangue
- first_name: Einar
  full_name: Broch Johnsen, Einar
  last_name: Broch Johnsen
language:
- iso: eng
page: 76--90
publication: Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
  {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
  Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Analysis of {UML} Activities Using Dynamic Meta Modeling
type: conference
user_id: '14955'
year: '2007'
...
---
_id: '3216'
author:
- first_name: Thomas
  full_name: Ruhroth, Thomas
  last_name: Ruhroth
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Ruhroth T, Wehrheim H. Refactoring Object-Oriented Specifications with Data
    and Processes. In: M. Bonsangue M, Broch Johnsen E, eds. <i>Formal Methods for
    Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>. Lecture Notes
    in Computer Science. ; 2007:236--251. doi:<a href="https://doi.org/10.1007/978-3-540-72952-5_15">10.1007/978-3-540-72952-5_15</a>'
  apa: Ruhroth, T., &#38; Wehrheim, H. (2007). Refactoring Object-Oriented Specifications
    with Data and Processes. In M. M. Bonsangue &#38; E. Broch Johnsen (Eds.), <i>Formal
    Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International
    Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i> (pp.
    236--251). <a href="https://doi.org/10.1007/978-3-540-72952-5_15">https://doi.org/10.1007/978-3-540-72952-5_15</a>
  bibtex: '@inproceedings{Ruhroth_Wehrheim_2007, series={Lecture Notes in Computer
    Science}, title={Refactoring Object-Oriented Specifications with Data and Processes},
    DOI={<a href="https://doi.org/10.1007/978-3-540-72952-5_15">10.1007/978-3-540-72952-5_15</a>},
    booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
    {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
    Proceedings}, author={Ruhroth, Thomas and Wehrheim, Heike}, editor={M. Bonsangue,
    Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={236--251}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications
    with Data and Processes.” In <i>Formal Methods for Open Object-Based Distributed
    Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
    Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue and Einar
    Broch Johnsen, 236--251. Lecture Notes in Computer Science, 2007. <a href="https://doi.org/10.1007/978-3-540-72952-5_15">https://doi.org/10.1007/978-3-540-72952-5_15</a>.
  ieee: T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with
    Data and Processes,” in <i>Formal Methods for Open Object-Based Distributed Systems,
    9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June
    6-8, 2007, Proceedings</i>, 2007, pp. 236--251.
  mla: Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications
    with Data and Processes.” <i>Formal Methods for Open Object-Based Distributed
    Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
    Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue and Einar
    Broch Johnsen, 2007, pp. 236--251, doi:<a href="https://doi.org/10.1007/978-3-540-72952-5_15">10.1007/978-3-540-72952-5_15</a>.
  short: 'T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal
    Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International
    Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007,
    pp. 236--251.'
date_created: 2018-06-13T10:03:09Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-72952-5_15
editor:
- first_name: Marcello
  full_name: M. Bonsangue, Marcello
  last_name: M. Bonsangue
- first_name: Einar
  full_name: Broch Johnsen, Einar
  last_name: Broch Johnsen
page: 236--251
publication: Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
  {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
  Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Refactoring Object-Oriented Specifications with Data and Processes
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3221'
author:
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Schäfer W, Wehrheim H. The Challenges of Building Advanced Mechatronic Systems.
    In: C. Briand L, L. Wolf A, eds. <i>International Conference on Software Engineering,
    {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May
    23-25, 2007, Minneapolis, MN, {USA}</i>. ; 2007:72--84. doi:<a href="https://doi.org/10.1109/FOSE.2007.28">10.1109/FOSE.2007.28</a>'
  apa: Schäfer, W., &#38; Wehrheim, H. (2007). The Challenges of Building Advanced
    Mechatronic Systems. In L. C. Briand &#38; A. L. Wolf (Eds.), <i>International
    Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software
    Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}</i> (pp. 72--84).
    <a href="https://doi.org/10.1109/FOSE.2007.28">https://doi.org/10.1109/FOSE.2007.28</a>
  bibtex: '@inproceedings{Schäfer_Wehrheim_2007, title={The Challenges of Building
    Advanced Mechatronic Systems}, DOI={<a href="https://doi.org/10.1109/FOSE.2007.28">10.1109/FOSE.2007.28</a>},
    booktitle={International Conference on Software Engineering, {ISCE} 2007, Workshop
    on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis,
    MN, {USA}}, author={Schäfer, Wilhelm and Wehrheim, Heike}, editor={C. Briand,
    Lionel and L. Wolf, AlexanderEditors}, year={2007}, pages={72--84} }'
  chicago: Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced
    Mechatronic Systems.” In <i>International Conference on Software Engineering,
    {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May
    23-25, 2007, Minneapolis, MN, {USA}</i>, edited by Lionel C. Briand and Alexander
    L. Wolf, 72--84, 2007. <a href="https://doi.org/10.1109/FOSE.2007.28">https://doi.org/10.1109/FOSE.2007.28</a>.
  ieee: W. Schäfer and H. Wehrheim, “The Challenges of Building Advanced Mechatronic
    Systems,” in <i>International Conference on Software Engineering, {ISCE} 2007,
    Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007,
    Minneapolis, MN, {USA}</i>, 2007, pp. 72--84.
  mla: Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced
    Mechatronic Systems.” <i>International Conference on Software Engineering, {ISCE}
    2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25,
    2007, Minneapolis, MN, {USA}</i>, edited by Lionel C. Briand and Alexander L.
    Wolf, 2007, pp. 72--84, doi:<a href="https://doi.org/10.1109/FOSE.2007.28">10.1109/FOSE.2007.28</a>.
  short: 'W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), International
    Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software
    Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84.'
date_created: 2018-06-14T06:30:41Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1109/FOSE.2007.28
editor:
- first_name: Lionel
  full_name: C. Briand, Lionel
  last_name: C. Briand
- first_name: Alexander
  full_name: L. Wolf, Alexander
  last_name: L. Wolf
page: 72--84
publication: International Conference on Software Engineering, {ISCE} 2007, Workshop
  on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis,
  MN, {USA}
status: public
title: The Challenges of Building Advanced Mechatronic Systems
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3222'
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. Proving Linearizability Via Non-atomic
    Refinement. In: Davies J, Gibbons J, eds. <i>Integrated Formal Methods, 6th International
    Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>. Lecture Notes
    in Computer Science. ; 2007:195--214. doi:<a href="https://doi.org/10.1007/978-3-540-73210-5_11">10.1007/978-3-540-73210-5_11</a>'
  apa: Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2007). Proving Linearizability
    Via Non-atomic Refinement. In J. Davies &#38; J. Gibbons (Eds.), <i>Integrated
    Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5,
    2007, Proceedings</i> (pp. 195--214). <a href="https://doi.org/10.1007/978-3-540-73210-5_11">https://doi.org/10.1007/978-3-540-73210-5_11</a>
  bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2007, series={Lecture Notes
    in Computer Science}, title={Proving Linearizability Via Non-atomic Refinement},
    DOI={<a href="https://doi.org/10.1007/978-3-540-73210-5_11">10.1007/978-3-540-73210-5_11</a>},
    booktitle={Integrated Formal Methods, 6th International Conference, {IFM} 2007,
    Oxford, UK, July 2-5, 2007, Proceedings}, author={Derrick, John and Schellhorn,
    Gerhard and Wehrheim, Heike}, editor={Davies, Jim and Gibbons, JeremyEditors},
    year={2007}, pages={195--214}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Proving Linearizability
    Via Non-Atomic Refinement.” In <i>Integrated Formal Methods, 6th International
    Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>, edited by
    Jim Davies and Jeremy Gibbons, 195--214. Lecture Notes in Computer Science, 2007.
    <a href="https://doi.org/10.1007/978-3-540-73210-5_11">https://doi.org/10.1007/978-3-540-73210-5_11</a>.
  ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic
    Refinement,” in <i>Integrated Formal Methods, 6th International Conference, {IFM}
    2007, Oxford, UK, July 2-5, 2007, Proceedings</i>, 2007, pp. 195--214.
  mla: Derrick, John, et al. “Proving Linearizability Via Non-Atomic Refinement.”
    <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford,
    UK, July 2-5, 2007, Proceedings</i>, edited by Jim Davies and Jeremy Gibbons,
    2007, pp. 195--214, doi:<a href="https://doi.org/10.1007/978-3-540-73210-5_11">10.1007/978-3-540-73210-5_11</a>.
  short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.),
    Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK,
    July 2-5, 2007, Proceedings, 2007, pp. 195--214.'
date_created: 2018-06-14T06:32:05Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-73210-5_11
editor:
- first_name: Jim
  full_name: Davies, Jim
  last_name: Davies
- first_name: Jeremy
  full_name: Gibbons, Jeremy
  last_name: Gibbons
page: 195--214
publication: Integrated Formal Methods, 6th International Conference, {IFM} 2007,
  Oxford, UK, July 2-5, 2007, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Proving Linearizability Via Non-atomic Refinement
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3293'
author:
- first_name: Thomas
  full_name: Gries, Thomas
  id: '186'
  last_name: Gries
citation:
  ama: 'Gries T. Global Shift – The European Union, the United States, and the Emergence
    of China. In: Tilly R, Welfens PJJ, Heise M, eds. <i>50 Years of EU Economic Dynamics</i>.
    Springer; 2007:25-45.'
  apa: Gries, T. (2007). Global Shift – The European Union, the United States, and
    the Emergence of China. In R. Tilly, P. J. J. Welfens, &#38; M. Heise (Eds.),
    <i>50 Years of EU Economic Dynamics</i> (pp. 25–45). Springer.
  bibtex: '@inbook{Gries_2007, title={Global Shift – The European Union, the United
    States, and the Emergence of China}, booktitle={50 Years of EU Economic Dynamics},
    publisher={Springer}, author={Gries, Thomas}, editor={Tilly, Richard and Welfens,
    Paul J.J. and Heise, MichaelEditors}, year={2007}, pages={25–45} }'
  chicago: Gries, Thomas. “Global Shift – The European Union, the United States, and
    the Emergence of China.” In <i>50 Years of EU Economic Dynamics</i>, edited by
    Richard Tilly, Paul J.J. Welfens, and Michael Heise, 25–45. Springer, 2007.
  ieee: T. Gries, “Global Shift – The European Union, the United States, and the Emergence
    of China,” in <i>50 Years of EU Economic Dynamics</i>, R. Tilly, P. J. J. Welfens,
    and M. Heise, Eds. Springer, 2007, pp. 25–45.
  mla: Gries, Thomas. “Global Shift – The European Union, the United States, and the
    Emergence of China.” <i>50 Years of EU Economic Dynamics</i>, edited by Richard
    Tilly et al., Springer, 2007, pp. 25–45.
  short: 'T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU
    Economic Dynamics, Springer, 2007, pp. 25–45.'
date_created: 2018-06-22T10:14:33Z
date_updated: 2022-01-06T06:59:09Z
department:
- _id: '19'
- _id: '200'
- _id: '475'
- _id: '202'
editor:
- first_name: Richard
  full_name: Tilly, Richard
  last_name: Tilly
- first_name: Paul J.J.
  full_name: Welfens, Paul J.J.
  last_name: Welfens
- first_name: Michael
  full_name: Heise, Michael
  last_name: Heise
language:
- iso: eng
page: 25-45
publication: 50 Years of EU Economic Dynamics
publication_identifier:
  isbn:
  - 978-3-540-74054-4
publisher: Springer
status: public
title: Global Shift – The European Union, the United States, and the Emergence of
  China
type: book_chapter
user_id: '186'
year: '2007'
...
---
_id: '3294'
author:
- first_name: Thomas
  full_name: Gries, Thomas
  id: '186'
  last_name: Gries
- first_name: Jinjun
  full_name: Xue, Jinjun
  last_name: Xue
citation:
  ama: 'Gries T, Xue J. Educational Disparity and Income Inequality in Urban China.
    In: <i>The Economic Science</i>. Vol 55, No. 3. ; 2007:101-116.'
  apa: Gries, T., &#38; Xue, J. (2007). Educational Disparity and Income Inequality
    in Urban China. In <i>The Economic Science</i> (Vol. 55, No. 3, pp. 101–116).
  bibtex: '@inbook{Gries_Xue_2007, title={Educational Disparity and Income Inequality
    in Urban China}, volume={55, No. 3}, booktitle={The Economic Science}, author={Gries,
    Thomas and Xue, Jinjun}, year={2007}, pages={101–116} }'
  chicago: Gries, Thomas, and Jinjun Xue. “Educational Disparity and Income Inequality
    in Urban China.” In <i>The Economic Science</i>, 55, No. 3:101–16, 2007.
  ieee: T. Gries and J. Xue, “Educational Disparity and Income Inequality in Urban
    China,” in <i>The Economic Science</i>, vol. 55, No. 3, 2007, pp. 101–116.
  mla: Gries, Thomas, and Jinjun Xue. “Educational Disparity and Income Inequality
    in Urban China.” <i>The Economic Science</i>, vol. 55, No. 3, 2007, pp. 101–16.
  short: 'T. Gries, J. Xue, in: The Economic Science, 2007, pp. 101–116.'
date_created: 2018-06-22T10:25:28Z
date_updated: 2022-01-06T06:59:09Z
department:
- _id: '19'
- _id: '200'
- _id: '475'
- _id: '202'
language:
- iso: eng
page: 101 -116
publication: The Economic Science
status: public
title: Educational Disparity and Income Inequality in Urban China
type: book_chapter
user_id: '186'
volume: 55, No. 3
year: '2007'
...
---
_id: '3470'
article_number: '733'
author:
- first_name: Jan
  full_name: Beran, Jan
  last_name: Beran
- first_name: Yuanhua
  full_name: Feng, Yuanhua
  id: '20760'
  last_name: Feng
citation:
  ama: Beran J, Feng Y. Local Polynomial Estimation with a FARIMA-GARCH Error Process.
    <i>Bernoulli</i>. 2007;7(5). doi:<a href="https://doi.org/10.2307/3318539">10.2307/3318539</a>
  apa: Beran, J., &#38; Feng, Y. (2007). Local Polynomial Estimation with a FARIMA-GARCH
    Error Process. <i>Bernoulli</i>, <i>7</i>(5). <a href="https://doi.org/10.2307/3318539">https://doi.org/10.2307/3318539</a>
  bibtex: '@article{Beran_Feng_2007, title={Local Polynomial Estimation with a FARIMA-GARCH
    Error Process}, volume={7}, DOI={<a href="https://doi.org/10.2307/3318539">10.2307/3318539</a>},
    number={5733}, journal={Bernoulli}, publisher={JSTOR}, author={Beran, Jan and
    Feng, Yuanhua}, year={2007} }'
  chicago: Beran, Jan, and Yuanhua Feng. “Local Polynomial Estimation with a FARIMA-GARCH
    Error Process.” <i>Bernoulli</i> 7, no. 5 (2007). <a href="https://doi.org/10.2307/3318539">https://doi.org/10.2307/3318539</a>.
  ieee: J. Beran and Y. Feng, “Local Polynomial Estimation with a FARIMA-GARCH Error
    Process,” <i>Bernoulli</i>, vol. 7, no. 5, 2007.
  mla: Beran, Jan, and Yuanhua Feng. “Local Polynomial Estimation with a FARIMA-GARCH
    Error Process.” <i>Bernoulli</i>, vol. 7, no. 5, 733, JSTOR, 2007, doi:<a href="https://doi.org/10.2307/3318539">10.2307/3318539</a>.
  short: J. Beran, Y. Feng, Bernoulli 7 (2007).
date_created: 2018-07-05T14:28:34Z
date_updated: 2022-01-06T06:59:18Z
department:
- _id: '206'
doi: 10.2307/3318539
intvolume: '         7'
issue: '5'
publication: Bernoulli
publication_identifier:
  issn:
  - 1350-7265
publication_status: published
publisher: JSTOR
status: public
title: Local Polynomial Estimation with a FARIMA-GARCH Error Process
type: journal_article
user_id: '10075'
volume: 7
year: '2007'
...
---
_id: '3481'
author:
- first_name: Karsten
  full_name: Klose, Karsten
  last_name: Klose
- first_name: Ralf
  full_name: Knackstedt, Ralf
  last_name: Knackstedt
- first_name: Daniel
  full_name: Beverungen, Daniel
  id: '59677'
  last_name: Beverungen
citation:
  ama: 'Klose K, Knackstedt R, Beverungen D. Identification of services --- A stakeholder-based
    approach to SOA development and its application in the area of production planning.
    In: <i>Proceedings of the 15th European Conference on Information System</i>.
    St. Gallen, Switzerland; 2007.'
  apa: Klose, K., Knackstedt, R., &#38; Beverungen, D. (2007). Identification of services
    --- A stakeholder-based approach to SOA development and its application in the
    area of production planning. In <i>Proceedings of the 15th European Conference
    on Information System</i>. St. Gallen, Switzerland.
  bibtex: '@inproceedings{Klose_Knackstedt_Beverungen_2007, place={St. Gallen, Switzerland},
    title={Identification of services --- A stakeholder-based approach to SOA development
    and its application in the area of production planning}, booktitle={Proceedings
    of the 15th European Conference on Information System}, author={Klose, Karsten
    and Knackstedt, Ralf and Beverungen, Daniel}, year={2007} }'
  chicago: Klose, Karsten, Ralf Knackstedt, and Daniel Beverungen. “Identification
    of Services --- A Stakeholder-Based Approach to SOA Development and Its Application
    in the Area of Production Planning.” In <i>Proceedings of the 15th European Conference
    on Information System</i>. St. Gallen, Switzerland, 2007.
  ieee: K. Klose, R. Knackstedt, and D. Beverungen, “Identification of services ---
    A stakeholder-based approach to SOA development and its application in the area
    of production planning,” in <i>Proceedings of the 15th European Conference on
    Information System</i>, St. Gallen, Switzerland, 2007.
  mla: Klose, Karsten, et al. “Identification of Services --- A Stakeholder-Based
    Approach to SOA Development and Its Application in the Area of Production Planning.”
    <i>Proceedings of the 15th European Conference on Information System</i>, 2007.
  short: 'K. Klose, R. Knackstedt, D. Beverungen, in: Proceedings of the 15th European
    Conference on Information System, St. Gallen, Switzerland, 2007.'
conference:
  location: St. Gallen, Switzerland
  name: 15th European Conference on Information System
date_created: 2018-07-06T10:02:09Z
date_updated: 2022-01-06T06:59:18Z
department:
- _id: '526'
extern: '1'
place: St. Gallen, Switzerland
publication: Proceedings of the 15th European Conference on Information System
status: public
title: Identification of services --- A stakeholder-based approach to SOA development
  and its application in the area of production planning
type: conference
user_id: '21671'
year: '2007'
...
---
_id: '3508'
author:
- first_name: Jörg
  full_name: Becker, Jörg
  last_name: Becker
- 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
citation:
  ama: Becker J, Winkelmann A, Beverungen D, Janiesch C. Bereitstellung von Artikelstammdaten.
    <i>HMD --- Praxis der Wirtschaftsinformatik</i>. 2007;(258):45--56.
  apa: Becker, J., Winkelmann, A., Beverungen, D., &#38; Janiesch, C. (2007). Bereitstellung
    von Artikelstammdaten. <i>HMD --- Praxis Der Wirtschaftsinformatik</i>, (258),
    45--56.
  bibtex: '@article{Becker_Winkelmann_Beverungen_Janiesch_2007, title={Bereitstellung
    von Artikelstammdaten}, number={258}, journal={HMD --- Praxis der Wirtschaftsinformatik},
    author={Becker, Jörg and Winkelmann, Axel and Beverungen, Daniel and Janiesch,
    Christian}, year={2007}, pages={45--56} }'
  chicago: 'Becker, Jörg, Axel Winkelmann, Daniel Beverungen, and Christian Janiesch.
    “Bereitstellung von Artikelstammdaten.” <i>HMD --- Praxis Der Wirtschaftsinformatik</i>,
    no. 258 (2007): 45--56.'
  ieee: J. Becker, A. Winkelmann, D. Beverungen, and C. Janiesch, “Bereitstellung
    von Artikelstammdaten,” <i>HMD --- Praxis der Wirtschaftsinformatik</i>, no. 258,
    pp. 45--56, 2007.
  mla: Becker, Jörg, et al. “Bereitstellung von Artikelstammdaten.” <i>HMD --- Praxis
    Der Wirtschaftsinformatik</i>, no. 258, 2007, pp. 45--56.
  short: J. Becker, A. Winkelmann, D. Beverungen, C. Janiesch, HMD --- Praxis Der
    Wirtschaftsinformatik (2007) 45--56.
date_created: 2018-07-06T12:15:30Z
date_updated: 2022-01-06T06:59:20Z
department:
- _id: '526'
extern: '1'
issue: '258'
page: 45--56
publication: HMD --- Praxis der Wirtschaftsinformatik
status: public
title: Bereitstellung von Artikelstammdaten
type: journal_article
user_id: '21671'
year: '2007'
...
---
_id: '3611'
author:
- first_name: J
  full_name: Bauer, J
  last_name: Bauer
- first_name: M
  full_name: Rehrl, M
  last_name: Rehrl
- first_name: Christian
  full_name: Harteis, Christian
  id: '27503'
  last_name: Harteis
  orcid: https://orcid.org/0000-0002-3570-7626
citation:
  ama: 'Bauer J, Rehrl M, Harteis C. Measurement of learning culture: a motivational
    approach. In: Gruber H, Palonen T, eds. <i>Learning in the Workplace--New Developments</i>.
    Turku: Turun Yliopisto; 2007:21--50.'
  apa: 'Bauer, J., Rehrl, M., &#38; Harteis, C. (2007). Measurement of learning culture:
    a motivational approach. In H. Gruber &#38; T. Palonen (Eds.), <i>Learning in
    the workplace--new developments</i> (pp. 21--50). Turku: Turun Yliopisto.'
  bibtex: '@inbook{Bauer_Rehrl_Harteis_2007, place={Turku}, title={Measurement of
    learning culture: a motivational approach}, booktitle={Learning in the workplace--new
    developments}, publisher={Turun Yliopisto}, author={Bauer, J and Rehrl, M and
    Harteis, Christian}, editor={Gruber, Hans and Palonen, TuireEditors}, year={2007},
    pages={21--50} }'
  chicago: 'Bauer, J, M Rehrl, and Christian Harteis. “Measurement of Learning Culture:
    A Motivational Approach.” In <i>Learning in the Workplace--New Developments</i>,
    edited by Hans Gruber and Tuire Palonen, 21--50. Turku: Turun Yliopisto, 2007.'
  ieee: 'J. Bauer, M. Rehrl, and C. Harteis, “Measurement of learning culture: a motivational
    approach,” in <i>Learning in the workplace--new developments</i>, H. Gruber and
    T. Palonen, Eds. Turku: Turun Yliopisto, 2007, pp. 21--50.'
  mla: 'Bauer, J., et al. “Measurement of Learning Culture: A Motivational Approach.”
    <i>Learning in the Workplace--New Developments</i>, edited by Hans Gruber and
    Tuire Palonen, Turun Yliopisto, 2007, pp. 21--50.'
  short: 'J. Bauer, M. Rehrl, C. Harteis, in: H. Gruber, T. Palonen (Eds.), Learning
    in the Workplace--New Developments, Turun Yliopisto, Turku, 2007, pp. 21--50.'
date_created: 2018-07-23T11:19:19Z
date_updated: 2022-01-06T06:59:27Z
department:
- _id: '452'
editor:
- first_name: Hans
  full_name: Gruber, Hans
  last_name: Gruber
- first_name: Tuire
  full_name: Palonen, Tuire
  last_name: Palonen
page: 21--50
place: Turku
publication: Learning in the workplace--new developments
publisher: Turun Yliopisto
status: public
title: 'Measurement of learning culture: a motivational approach'
type: book_chapter
user_id: '27503'
year: '2007'
...
