---
_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. <i>Formal Asp Comput</i>.
    2008;(2):161--204. doi:<a href="https://doi.org/10.1007/s00165-007-0042-7">10.1007/s00165-007-0042-7</a>
  apa: Möller, M., Olderog, E.-R., Rasch, H., &#38; Wehrheim, H. (2008). Integrating
    a formal method into a software engineering process with {UML} and Java. <i>Formal
    Asp. Comput.</i>, (2), 161--204. <a href="https://doi.org/10.1007/s00165-007-0042-7">https://doi.org/10.1007/s00165-007-0042-7</a>
  bibtex: '@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal
    method into a software engineering process with {UML} and Java}, DOI={<a href="https://doi.org/10.1007/s00165-007-0042-7">10.1007/s00165-007-0042-7</a>},
    number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog,
    Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204}
    }'
  chicago: 'Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim.
    “Integrating a Formal Method into a Software Engineering Process with {UML} and
    Java.” <i>Formal Asp. Comput.</i>, no. 2 (2008): 161--204. <a href="https://doi.org/10.1007/s00165-007-0042-7">https://doi.org/10.1007/s00165-007-0042-7</a>.'
  ieee: M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Integrating a formal
    method into a software engineering process with {UML} and Java,” <i>Formal Asp.
    Comput.</i>, no. 2, pp. 161--204, 2008.
  mla: Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering
    Process with {UML} and Java.” <i>Formal Asp. Comput.</i>, no. 2, 2008, pp. 161--204,
    doi:<a href="https://doi.org/10.1007/s00165-007-0042-7">10.1007/s00165-007-0042-7</a>.
  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. <i>Fundam
    Inform</i>. 2008;(4):369--392.
  apa: Brückner, I., Dräger, K., Finkbeiner, B., &#38; Wehrheim, H. (2008). Slicing
    Abstractions. <i>Fundam. Inform.</i>, (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.” <i>Fundam. Inform.</i>, no. 4 (2008): 369--392.'
  ieee: I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, “Slicing Abstractions,”
    <i>Fundam. Inform.</i>, no. 4, pp. 369--392, 2008.
  mla: Brückner, Ingo, et al. “Slicing Abstractions.” <i>Fundam. Inform.</i>, 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. <i>Model Driven Architecture - Foundations
    and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June
    9-13, 2008. Proceedings</i>. Lecture Notes in Computer Science. ; 2008:94--109.
    doi:<a href="https://doi.org/10.1007/978-3-540-69100-6_7">10.1007/978-3-540-69100-6_7</a>'
  apa: Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., &#38; Wehrheim,
    H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model
    Transformations. In I. Schieferdecker &#38; A. Hartman (Eds.), <i>Model Driven
    Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA}
    2008, Berlin, Germany, June 9-13, 2008. Proceedings</i> (pp. 94--109). <a href="https://doi.org/10.1007/978-3-540-69100-6_7">https://doi.org/10.1007/978-3-540-69100-6_7</a>
  bibtex: '@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008,
    series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL}
    - Towards Behaviour-Preserving Model Transformations}, DOI={<a href="https://doi.org/10.1007/978-3-540-69100-6_7">10.1007/978-3-540-69100-6_7</a>},
    booktitle={Model Driven Architecture - Foundations and Applications, 4th European
    Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels,
    Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn,
    Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors},
    year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }'
  chicago: Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian
    Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
    Model Transformations.” In <i>Model Driven Architecture - Foundations and Applications,
    4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>,
    edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer
    Science, 2008. <a href="https://doi.org/10.1007/978-3-540-69100-6_7">https://doi.org/10.1007/978-3-540-69100-6_7</a>.
  ieee: G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
    “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,”
    in <i>Model Driven Architecture - Foundations and Applications, 4th European Conference,
    {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>, 2008, pp.
    94--109.
  mla: Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
    Model Transformations.” <i>Model Driven Architecture - Foundations and Applications,
    4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>,
    edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:<a href="https://doi.org/10.1007/978-3-540-69100-6_7">10.1007/978-3-540-69100-6_7</a>.
  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. <i>Formal Methods
    for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International
    Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i>. Lecture
    Notes in Computer Science. ; 2008:78--95. doi:<a href="https://doi.org/10.1007/978-3-540-68863-1_6">10.1007/978-3-540-68863-1_6</a>'
  apa: Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2008). Mechanizing a Correctness
    Proof for a Lock-Free Concurrent Stack. In G. Barthe &#38; F. S. de Boer (Eds.),
    <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG}
    6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i>
    (pp. 78--95). <a href="https://doi.org/10.1007/978-3-540-68863-1_6">https://doi.org/10.1007/978-3-540-68863-1_6</a>
  bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes
    in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent
    Stack}, DOI={<a href="https://doi.org/10.1007/978-3-540-68863-1_6">10.1007/978-3-540-68863-1_6</a>},
    booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
    {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
    Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike},
    editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95},
    collection={Lecture Notes in Computer Science} }'
  chicago: Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness
    Proof for a Lock-Free Concurrent Stack.” In <i>Formal Methods for Open Object-Based
    Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008,
    Oslo, Norway, June 4-6, 2008, Proceedings</i>, edited by Gilles Barthe and Frank
    S. de Boer, 78--95. Lecture Notes in Computer Science, 2008. <a href="https://doi.org/10.1007/978-3-540-68863-1_6">https://doi.org/10.1007/978-3-540-68863-1_6</a>.
  ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof
    for a Lock-Free Concurrent Stack,” in <i>Formal Methods for Open Object-Based
    Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008,
    Oslo, Norway, June 4-6, 2008, Proceedings</i>, 2008, pp. 78--95.
  mla: Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent
    Stack.” <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
    {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
    Proceedings</i>, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95,
    doi:<a href="https://doi.org/10.1007/978-3-540-68863-1_6">10.1007/978-3-540-68863-1_6</a>.
  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. <i>Formal Methods and Software Engineering,
    10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City,
    Japan, October 27-31, 2008. Proceedings</i>. Lecture Notes in Computer Science.
    ; 2008:105--125. doi:<a href="https://doi.org/10.1007/978-3-540-88194-0_9">10.1007/978-3-540-88194-0_9</a>'
  apa: Metzler, B., Wehrheim, H., &#38; Wonisch, D. (2008). Decomposition for Compositional
    Verification. In S. Liu, T. S. E. Maibaum, &#38; K. Araki (Eds.), <i>Formal Methods
    and Software Engineering, 10th International Conference on Formal Engineering
    Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>
    (pp. 105--125). <a href="https://doi.org/10.1007/978-3-540-88194-0_9">https://doi.org/10.1007/978-3-540-88194-0_9</a>
  bibtex: '@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in
    Computer Science}, title={Decomposition for Compositional Verification}, DOI={<a
    href="https://doi.org/10.1007/978-3-540-88194-0_9">10.1007/978-3-540-88194-0_9</a>},
    booktitle={Formal Methods and Software Engineering, 10th International Conference
    on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31,
    2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel},
    editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008},
    pages={105--125}, collection={Lecture Notes in Computer Science} }'
  chicago: Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for
    Compositional Verification.” In <i>Formal Methods and Software Engineering, 10th
    International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City,
    Japan, October 27-31, 2008. Proceedings</i>, edited by Shaoying Liu, T. S. E.
    Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008.
    <a href="https://doi.org/10.1007/978-3-540-88194-0_9">https://doi.org/10.1007/978-3-540-88194-0_9</a>.
  ieee: B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional
    Verification,” in <i>Formal Methods and Software Engineering, 10th International
    Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
    October 27-31, 2008. Proceedings</i>, 2008, pp. 105--125.
  mla: Metzler, Björn, et al. “Decomposition for Compositional Verification.” <i>Formal
    Methods and Software Engineering, 10th International Conference on Formal Engineering
    Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>,
    edited by Shaoying Liu et al., 2008, pp. 105--125, doi:<a href="https://doi.org/10.1007/978-3-540-88194-0_9">10.1007/978-3-540-88194-0_9</a>.
  short: 'B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki
    (Eds.), Formal Methods and Software Engineering, 10th International Conference
    on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31,
    2008. Proceedings, 2008, pp. 105--125.'
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. <i>Theoretical Aspects of Computing
    - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3,
    2008. Proceedings</i>. Lecture Notes in Computer Science. ; 2008:380--394. doi:<a
    href="https://doi.org/10.1007/978-3-540-85762-4_26">10.1007/978-3-540-85762-4_26</a>'
  apa: Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures.
    In J. S. Fitzgerald, A. Elisabeth Haxthausen, &#38; H. Yenig{\"{u}}n (Eds.), <i>Theoretical
    Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
    September 1-3, 2008. Proceedings</i> (pp. 380--394). <a href="https://doi.org/10.1007/978-3-540-85762-4_26">https://doi.org/10.1007/978-3-540-85762-4_26</a>
  bibtex: '@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science},
    title={Bounded Model Checking for Partial Kripke Structures}, DOI={<a href="https://doi.org/10.1007/978-3-540-85762-4_26">10.1007/978-3-540-85762-4_26</a>},
    booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
    Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim,
    Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n,
    H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”
    In <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium,
    Istanbul, Turkey, September 1-3, 2008. Proceedings</i>, edited by John S. Fitzgerald,
    Anne Elisabeth Haxthausen, and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n, 380--394. Lecture
    Notes in Computer Science, 2008. <a href="https://doi.org/10.1007/978-3-540-85762-4_26">https://doi.org/10.1007/978-3-540-85762-4_26</a>.
  ieee: H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in <i>Theoretical
    Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
    September 1-3, 2008. Proceedings</i>, 2008, pp. 380--394.
  mla: Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” <i>Theoretical
    Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
    September 1-3, 2008. Proceedings</i>, edited by John S. Fitzgerald et al., 2008,
    pp. 380--394, doi:<a href="https://doi.org/10.1007/978-3-540-85762-4_26">10.1007/978-3-540-85762-4_26</a>.
  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: <i>Proceedings of the 41th Hawai’i International Conference on System Sciences</i>.
    Waikoloa, Hawaii; 2008.'
  apa: Becker, J., Beverungen, D., &#38; Knackstedt, R. (2008). Reference Models and
    Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives
    for Further Research. In <i>Proceedings of the 41th Hawai’i International Conference
    on System Sciences</i>. Waikoloa, Hawaii.
  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 <i>Proceedings of the 41th Hawai’i International Conference
    on System Sciences</i>. 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 <i>Proceedings of the 41th Hawai’i International Conference on System
    Sciences</i>, Waikoloa, Hawaii, 2008.
  mla: Becker, Jörg, et al. “Reference Models and Modeling Languages for Product-Service
    Systems --- Status-Quo and Perspectives for Further Research.” <i>Proceedings
    of the 41th Hawai’i International Conference on System Sciences</i>, 2008.
  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: <i>Americas Conference on
    Information Systems</i>. Toronto, Canada; 2008.'
  apa: Becker, J., Beverungen, D., Knackstedt, R., &#38; Müller, O. (2008). Modeling,
    Customer-Specific Configuration and Calculation of Value Bundles. In <i>Americas
    Conference on Information Systems</i>. Toronto, Canada.
  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 <i>Americas
    Conference on Information Systems</i>. Toronto, Canada, 2008.
  ieee: J. Becker, D. Beverungen, R. Knackstedt, and O. Müller, “Modeling, Customer-Specific
    Configuration and Calculation of Value Bundles,” in <i>Americas Conference on
    Information Systems</i>, Toronto, Canada, 2008.
  mla: Becker, Jörg, et al. “Modeling, Customer-Specific Configuration and Calculation
    of Value Bundles.” <i>Americas Conference on Information Systems</i>, 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: <i>Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI
    2008)</i>. München; 2008:735--747.'
  apa: Beverungen, D., Kaiser, U., Knackstedt, R., Krings, R., &#38; Stein, A. (2008).
    Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken
    des Maschinen- und Anlagenbaus. In <i>Proceedings of the Multikonferenz Wirtschaftsinformatik
    (MKWI 2008)</i> (pp. 735--747). München.
  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 <i>Proceedings of the
    Multikonferenz Wirtschaftsinformatik (MKWI 2008)</i>, 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 <i>Proceedings of the Multikonferenz Wirtschaftsinformatik
    (MKWI 2008)</i>, München, 2008, pp. 735--747.
  mla: Beverungen, Daniel, et al. “Konfigurative Prozessmodellierung Der Hybriden
    Leistungserstellung in Unternehmensnetzwerken Des Maschinen- Und Anlagenbaus.”
    <i>Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)</i>, 2008,
    pp. 735--747.
  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: <i>Proceedings of the 16th European Conference on Information
    Systems</i>. Galway, Ireland; 2008.'
  apa: Winkelmann, A., Beverungen, D., Janiesch, C., &#38; Becker, J. (2008). Improving
    the Quality of Article Master Data --- Specification of an Integrated Master Data
    Platform for Promotions in Retail. In <i>Proceedings of the 16th European Conference
    on Information Systems</i>. Galway, Ireland.
  bibtex: '@inproceedings{Winkelmann_Beverungen_Janiesch_Becker_2008, place={Galway,
    Ireland}, title={Improving the Quality of Article Master Data --- Specification
    of an Integrated Master Data Platform for Promotions in Retail}, booktitle={Proceedings
    of the 16th European Conference on Information Systems}, author={Winkelmann, Axel
    and Beverungen, Daniel and Janiesch, Christian and Becker, Jörg}, year={2008}
    }'
  chicago: Winkelmann, Axel, Daniel Beverungen, Christian Janiesch, and Jörg Becker.
    “Improving the Quality of Article Master Data --- Specification of an Integrated
    Master Data Platform for Promotions in Retail.” In <i>Proceedings of the 16th
    European Conference on Information Systems</i>. Galway, Ireland, 2008.
  ieee: A. Winkelmann, D. Beverungen, C. Janiesch, and J. Becker, “Improving the Quality
    of Article Master Data --- Specification of an Integrated Master Data Platform
    for Promotions in Retail,” in <i>Proceedings of the 16th European Conference on
    Information Systems</i>, Galway, Ireland, 2008.
  mla: Winkelmann, Axel, et al. “Improving the Quality of Article Master Data ---
    Specification of an Integrated Master Data Platform for Promotions in Retail.”
    <i>Proceedings of the 16th European Conference on Information Systems</i>, 2008.
  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'
...
---
_id: '3507'
author:
- 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: Beverungen D, Knackstedt R, Müller O. Entwicklung Serviceorientierter Architekturen
    zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode
    und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte. <i>Wirtschaftsinformatik</i>.
    2008;(3):220--234.
  apa: Beverungen, D., Knackstedt, R., &#38; Müller, O. (2008). Entwicklung Serviceorientierter
    Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode
    und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte. <i>Wirtschaftsinformatik</i>,
    (3), 220--234.
  bibtex: '@article{Beverungen_Knackstedt_Müller_2008, title={Entwicklung Serviceorientierter
    Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode
    und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte}, number={3},
    journal={Wirtschaftsinformatik}, author={Beverungen, Daniel and Knackstedt, Ralf
    and Müller, Oliver}, year={2008}, pages={220--234} }'
  chicago: 'Beverungen, Daniel, Ralf Knackstedt, and Oliver Müller. “Entwicklung Serviceorientierter
    Architekturen Zur Integration von Produktion Und Dienstleistung --- Eine Konzeptionsmethode
    Und Ihre Anwendung Am Beispiel Des Recyclings Elektronischer Geräte.” <i>Wirtschaftsinformatik</i>,
    no. 3 (2008): 220--234.'
  ieee: D. Beverungen, R. Knackstedt, and O. Müller, “Entwicklung Serviceorientierter
    Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode
    und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte,” <i>Wirtschaftsinformatik</i>,
    no. 3, pp. 220--234, 2008.
  mla: Beverungen, Daniel, et al. “Entwicklung Serviceorientierter Architekturen Zur
    Integration von Produktion Und Dienstleistung --- Eine Konzeptionsmethode Und
    Ihre Anwendung Am Beispiel Des Recyclings Elektronischer Geräte.” <i>Wirtschaftsinformatik</i>,
    no. 3, 2008, pp. 220--234.
  short: D. Beverungen, R. Knackstedt, O. Müller, Wirtschaftsinformatik (2008) 220--234.
date_created: 2018-07-06T12:14:20Z
date_updated: 2022-01-06T06:59:20Z
department:
- _id: '526'
extern: '1'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://aisel.aisnet.org/amcis2008/211/
page: 220--234
publication: Wirtschaftsinformatik
status: public
title: Entwicklung Serviceorientierter Architekturen zur Integration von Produktion
  und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des
  Recyclings elektronischer Geräte
type: journal_article
user_id: '72849'
year: '2008'
...
---
_id: '3558'
abstract:
- lang: ger
  text: "Über 50 Jahre wurde das Stuttgarter Verfahren verwendet, um den Wert nicht
    börsennotierter Unternehmen für die Erbschaft-, Schenkung- und Vermögensteuer
    zu bestimmen. Durch das Urteil des Bundesverfassungsgerichts vom 07.11.2006 ist
    der Gesetzgeber verpflichtet, die Erbschaftsteuer zu reformieren und eine marktnahe
    Bewertung von Unternehmensvermögen sicherzustellen.\r\n\r\nAuf der Basis einer
    umfangreichen empirischen Analyse geht Jens Müller den Fragen nach, wie stark
    eine Bewertung durch das Stuttgarter Verfahren von Marktwerten abweicht und in
    welchen Fällen eine akzeptable Approximation des Marktwertes erreicht wird. In
    der Praxis wird das Multiplikatorverfahren häufig zur Bewertung nicht börsennotierter
    Unternehmen verwendet. Der Autor untersucht, in welcher Form dieses Verfahren
    auch für steuerliche Zwecke geeignet ist und zeigt auf, mit welchen Schätzfehlern
    zu rechnen ist. "
author:
- first_name: Jens
  full_name: Müller, Jens
  id: '1245'
  last_name: Müller
citation:
  ama: Müller J. <i>Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische
    Analyse des Stuttgarter Verfahrens und alternativer Ansätze</i>. Springer Gabler;
    2008.
  apa: Müller, J. (2008). <i>Unternehmensbewertung für substanzsteuerliche Zwecke
    - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze</i>.
    Springer Gabler.
  bibtex: '@book{Müller_2008, title={Unternehmensbewertung für substanzsteuerliche
    Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze},
    publisher={Springer Gabler}, author={Müller, Jens}, year={2008} }'
  chicago: Müller, Jens. <i>Unternehmensbewertung für substanzsteuerliche Zwecke -
    eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze</i>.
    Springer Gabler, 2008.
  ieee: J. Müller, <i>Unternehmensbewertung für substanzsteuerliche Zwecke - eine
    empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze</i>. Springer
    Gabler, 2008.
  mla: Müller, Jens. <i>Unternehmensbewertung für substanzsteuerliche Zwecke - eine
    empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze</i>. Springer
    Gabler, 2008.
  short: J. Müller, Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische
    Analyse des Stuttgarter Verfahrens und alternativer Ansätze, Springer Gabler,
    2008.
date_created: 2018-07-18T09:27:32Z
date_updated: 2022-01-06T06:59:25Z
department:
- _id: '186'
- _id: '189'
jel:
- H2
- M41
keyword:
- Steuer-
- Rechnungs- und Prüfungswesen
language:
- iso: ger
page: '185'
publication_identifier:
  isbn:
  - 978-3834912879
publication_status: published
publisher: Springer Gabler
status: public
title: Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse
  des Stuttgarter Verfahrens und alternativer Ansätze
type: book
user_id: '48187'
year: '2008'
...
---
_id: '3597'
author:
- first_name: Christian
  full_name: Harteis, Christian
  id: '27503'
  last_name: Harteis
  orcid: https://orcid.org/0000-0002-3570-7626
- first_name: Hans
  full_name: Gruber, Hans
  last_name: Gruber
citation:
  ama: 'Harteis C, Gruber H. Intuition and professional competence: Intuitive versus
    rational forecasting of the stock market. <i>Vocations and Learning</i>. 2008;(1):71--85.'
  apa: 'Harteis, C., &#38; Gruber, H. (2008). Intuition and professional competence:
    Intuitive versus rational forecasting of the stock market. <i>Vocations and Learning</i>,
    (1), 71--85.'
  bibtex: '@article{Harteis_Gruber_2008, title={Intuition and professional competence:
    Intuitive versus rational forecasting of the stock market}, number={1}, journal={Vocations
    and Learning}, author={Harteis, Christian and Gruber, Hans}, year={2008}, pages={71--85}
    }'
  chicago: 'Harteis, Christian, and Hans Gruber. “Intuition and Professional Competence:
    Intuitive versus Rational Forecasting of the Stock Market.” <i>Vocations and Learning</i>,
    no. 1 (2008): 71--85.'
  ieee: 'C. Harteis and H. Gruber, “Intuition and professional competence: Intuitive
    versus rational forecasting of the stock market,” <i>Vocations and Learning</i>,
    no. 1, pp. 71--85, 2008.'
  mla: 'Harteis, Christian, and Hans Gruber. “Intuition and Professional Competence:
    Intuitive versus Rational Forecasting of the Stock Market.” <i>Vocations and Learning</i>,
    no. 1, 2008, pp. 71--85.'
  short: C. Harteis, H. Gruber, Vocations and Learning (2008) 71--85.
date_created: 2018-07-23T09:24:47Z
date_updated: 2022-01-06T06:59:26Z
department:
- _id: '452'
extern: '1'
issue: '1'
page: 71--85
publication: Vocations and Learning
status: public
title: 'Intuition and professional competence: Intuitive versus rational forecasting
  of the stock market'
type: journal_article
user_id: '27503'
year: '2008'
...
---
_id: '3598'
citation:
  ama: 'Billett S, Harteis C, Eteläpelto A, eds. <i>Emerging Perspectives of Workplace
    Learning</i>. Rotterdam: Sense; 2008.'
  apa: 'Billett, S., Harteis, C., &#38; Eteläpelto, A. (Eds.). (2008). <i>Emerging
    perspectives of workplace learning</i>. Rotterdam: Sense.'
  bibtex: '@book{Billett_Harteis_Eteläpelto_2008, place={Rotterdam}, title={Emerging
    perspectives of workplace learning}, publisher={Sense}, year={2008} }'
  chicago: 'Billett, Stephen, Christian Harteis, and Anneli Eteläpelto, eds. <i>Emerging
    Perspectives of Workplace Learning</i>. Rotterdam: Sense, 2008.'
  ieee: 'S. Billett, C. Harteis, and A. Eteläpelto, Eds., <i>Emerging perspectives
    of workplace learning</i>. Rotterdam: Sense, 2008.'
  mla: Billett, Stephen, et al., editors. <i>Emerging Perspectives of Workplace Learning</i>.
    Sense, 2008.
  short: S. Billett, C. Harteis, A. Eteläpelto, eds., Emerging Perspectives of Workplace
    Learning, Sense, Rotterdam, 2008.
date_created: 2018-07-23T09:25:09Z
date_updated: 2022-01-06T06:59:26Z
department:
- _id: '452'
editor:
- first_name: Stephen
  full_name: Billett, Stephen
  last_name: Billett
- first_name: Christian
  full_name: Harteis, Christian
  id: '27503'
  last_name: Harteis
  orcid: https://orcid.org/0000-0002-3570-7626
- first_name: Anneli
  full_name: Eteläpelto, Anneli
  last_name: Eteläpelto
extern: '1'
place: Rotterdam
publisher: Sense
status: public
title: Emerging perspectives of workplace learning
type: book_editor
user_id: '27503'
year: '2008'
...
---
_id: '3604'
author:
- first_name: Christian
  full_name: Harteis, Christian
  id: '27503'
  last_name: Harteis
  orcid: https://orcid.org/0000-0002-3570-7626
- first_name: Johannes
  full_name: Bauer, Johannes
  last_name: Bauer
- first_name: Hans
  full_name: Gruber, Hans
  last_name: Gruber
citation:
  ama: 'Harteis C, Bauer J, Gruber H. The culture of learning from mistakes: How employees
    handle mistakes in everyday work. <i>International Journal of Educational Research</i>.
    2008;(4):223--231.'
  apa: 'Harteis, C., Bauer, J., &#38; Gruber, H. (2008). The culture of learning from
    mistakes: How employees handle mistakes in everyday work. <i>International Journal
    of Educational Research</i>, (4), 223--231.'
  bibtex: '@article{Harteis_Bauer_Gruber_2008, title={The culture of learning from
    mistakes: How employees handle mistakes in everyday work}, number={4}, journal={International
    Journal of Educational Research}, author={Harteis, Christian and Bauer, Johannes
    and Gruber, Hans}, year={2008}, pages={223--231} }'
  chicago: 'Harteis, Christian, Johannes Bauer, and Hans Gruber. “The Culture of Learning
    from Mistakes: How Employees Handle Mistakes in Everyday Work.” <i>International
    Journal of Educational Research</i>, no. 4 (2008): 223--231.'
  ieee: 'C. Harteis, J. Bauer, and H. Gruber, “The culture of learning from mistakes:
    How employees handle mistakes in everyday work,” <i>International Journal of Educational
    Research</i>, no. 4, pp. 223--231, 2008.'
  mla: 'Harteis, Christian, et al. “The Culture of Learning from Mistakes: How Employees
    Handle Mistakes in Everyday Work.” <i>International Journal of Educational Research</i>,
    no. 4, 2008, pp. 223--231.'
  short: C. Harteis, J. Bauer, H. Gruber, International Journal of Educational Research
    (2008) 223--231.
date_created: 2018-07-23T11:04:42Z
date_updated: 2022-01-06T06:59:27Z
department:
- _id: '452'
extern: '1'
issue: '4'
page: 223--231
publication: International Journal of Educational Research
status: public
title: 'The culture of learning from mistakes: How employees handle mistakes in everyday
  work'
type: journal_article
user_id: '27503'
year: '2008'
...
---
_id: '3605'
author:
- first_name: Christian
  full_name: Harteis, Christian
  id: '27503'
  last_name: Harteis
  orcid: https://orcid.org/0000-0002-3570-7626
- first_name: Stephen
  full_name: Billett, Stephen
  last_name: Billett
citation:
  ama: 'Harteis C, Billett S. The workplace as learning environment: Introduction.
    <i>International Journal of Educational Research</i>. 2008;(4):209--212.'
  apa: 'Harteis, C., &#38; Billett, S. (2008). The workplace as learning environment:
    Introduction. <i>International Journal of Educational Research</i>, (4), 209--212.'
  bibtex: '@article{Harteis_Billett_2008, title={The workplace as learning environment:
    Introduction}, number={4}, journal={International Journal of Educational Research},
    author={Harteis, Christian and Billett, Stephen}, year={2008}, pages={209--212}
    }'
  chicago: 'Harteis, Christian, and Stephen Billett. “The Workplace as Learning Environment:
    Introduction.” <i>International Journal of Educational Research</i>, no. 4 (2008):
    209--212.'
  ieee: 'C. Harteis and S. Billett, “The workplace as learning environment: Introduction,”
    <i>International Journal of Educational Research</i>, no. 4, pp. 209--212, 2008.'
  mla: 'Harteis, Christian, and Stephen Billett. “The Workplace as Learning Environment:
    Introduction.” <i>International Journal of Educational Research</i>, no. 4, 2008,
    pp. 209--212.'
  short: C. Harteis, S. Billett, International Journal of Educational Research (2008)
    209--212.
date_created: 2018-07-23T11:06:24Z
date_updated: 2022-01-06T06:59:27Z
department:
- _id: '452'
extern: '1'
issue: '4'
page: 209--212
publication: International Journal of Educational Research
status: public
title: 'The workplace as learning environment: Introduction'
type: journal_article
user_id: '27503'
year: '2008'
...
---
_id: '3610'
author:
- first_name: Christian
  full_name: Harteis, Christian
  id: '27503'
  last_name: Harteis
  orcid: https://orcid.org/0000-0002-3570-7626
- first_name: Hans
  full_name: Gruber, Hans
  last_name: Gruber
citation:
  ama: Harteis C, Gruber H. How important is intuition for teaching expertise in the
    field of adult education? <i>Studies in the Education of Adults</i>. 2008;(1):96--109.
  apa: Harteis, C., &#38; Gruber, H. (2008). How important is intuition for teaching
    expertise in the field of adult education? <i>Studies in the Education of Adults</i>,
    (1), 96--109.
  bibtex: '@article{Harteis_Gruber_2008, title={How important is intuition for teaching
    expertise in the field of adult education?}, number={1}, journal={Studies in the
    Education of Adults}, author={Harteis, Christian and Gruber, Hans}, year={2008},
    pages={96--109} }'
  chicago: 'Harteis, Christian, and Hans Gruber. “How Important Is Intuition for Teaching
    Expertise in the Field of Adult Education?” <i>Studies in the Education of Adults</i>,
    no. 1 (2008): 96--109.'
  ieee: C. Harteis and H. Gruber, “How important is intuition for teaching expertise
    in the field of adult education?,” <i>Studies in the Education of Adults</i>,
    no. 1, pp. 96--109, 2008.
  mla: Harteis, Christian, and Hans Gruber. “How Important Is Intuition for Teaching
    Expertise in the Field of Adult Education?” <i>Studies in the Education of Adults</i>,
    no. 1, 2008, pp. 96--109.
  short: C. Harteis, H. Gruber, Studies in the Education of Adults (2008) 96--109.
date_created: 2018-07-23T11:18:28Z
date_updated: 2022-01-06T06:59:27Z
department:
- _id: '452'
extern: '1'
issue: '1'
page: 96--109
publication: Studies in the Education of Adults
status: public
title: How important is intuition for teaching expertise in the field of adult education?
type: journal_article
user_id: '27503'
year: '2008'
...
---
_id: '3616'
author:
- first_name: Christian
  full_name: Harteis, Christian
  id: '27503'
  last_name: Harteis
  orcid: https://orcid.org/0000-0002-3570-7626
- first_name: Tina
  full_name: Koch, Tina
  last_name: Koch
- first_name: Barbara
  full_name: Morgenthaler, Barbara
  last_name: Morgenthaler
citation:
  ama: 'Harteis C, Koch T, Morgenthaler B. How Intuition Contributes to High Performance:
    An Educational Perspective. <i>US-China Education Review</i>. 2008;5(1):68--80.'
  apa: 'Harteis, C., Koch, T., &#38; Morgenthaler, B. (2008). How Intuition Contributes
    to High Performance: An Educational Perspective. <i>US-China Education Review</i>,
    <i>5</i>(1), 68--80.'
  bibtex: '@article{Harteis_Koch_Morgenthaler_2008, title={How Intuition Contributes
    to High Performance: An Educational Perspective.}, volume={5}, number={1}, journal={US-China
    Education Review}, author={Harteis, Christian and Koch, Tina and Morgenthaler,
    Barbara}, year={2008}, pages={68--80} }'
  chicago: 'Harteis, Christian, Tina Koch, and Barbara Morgenthaler. “How Intuition
    Contributes to High Performance: An Educational Perspective.” <i>US-China Education
    Review</i> 5, no. 1 (2008): 68--80.'
  ieee: 'C. Harteis, T. Koch, and B. Morgenthaler, “How Intuition Contributes to High
    Performance: An Educational Perspective.,” <i>US-China Education Review</i>, vol.
    5, no. 1, pp. 68--80, 2008.'
  mla: 'Harteis, Christian, et al. “How Intuition Contributes to High Performance:
    An Educational Perspective.” <i>US-China Education Review</i>, vol. 5, no. 1,
    2008, pp. 68--80.'
  short: C. Harteis, T. Koch, B. Morgenthaler, US-China Education Review 5 (2008)
    68--80.
date_created: 2018-07-23T11:35:36Z
date_updated: 2022-01-06T06:59:27Z
department:
- _id: '452'
extern: '1'
intvolume: '         5'
issue: '1'
page: 68--80
publication: US-China Education Review
status: public
title: 'How Intuition Contributes to High Performance: An Educational Perspective.'
type: journal_article
user_id: '27503'
volume: 5
year: '2008'
...
---
_id: '3631'
author:
- first_name: Hans
  full_name: Gruber, Hans
  last_name: Gruber
- first_name: Christian
  full_name: Harteis, Christian
  id: '27503'
  last_name: Harteis
  orcid: https://orcid.org/0000-0002-3570-7626
- first_name: Nadja-Verena
  full_name: Paetz, Nadja-Verena
  last_name: Paetz
- first_name: Stefanie
  full_name: Keil, Stefanie
  last_name: Keil
citation:
  ama: 'Gruber H, Harteis C, Paetz N-V, Keil S. <i>Lernende Region Cham Programmvertiefung
    II Kommunale Kooperation Waldmünchen</i>. Regensburg: Universität Regensburg;
    2008.'
  apa: 'Gruber, H., Harteis, C., Paetz, N.-V., &#38; Keil, S. (2008). <i>Lernende
    Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen</i>. Regensburg:
    Universität Regensburg.'
  bibtex: '@book{Gruber_Harteis_Paetz_Keil_2008, place={Regensburg}, title={Lernende
    Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen}, publisher={Universität
    Regensburg}, author={Gruber, Hans and Harteis, Christian and Paetz, Nadja-Verena
    and Keil, Stefanie}, year={2008} }'
  chicago: 'Gruber, Hans, Christian Harteis, Nadja-Verena Paetz, and Stefanie Keil.
    <i>Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen</i>.
    Regensburg: Universität Regensburg, 2008.'
  ieee: 'H. Gruber, C. Harteis, N.-V. Paetz, and S. Keil, <i>Lernende Region Cham
    Programmvertiefung II Kommunale Kooperation Waldmünchen</i>. Regensburg: Universität
    Regensburg, 2008.'
  mla: Gruber, Hans, et al. <i>Lernende Region Cham Programmvertiefung II Kommunale
    Kooperation Waldmünchen</i>. Universität Regensburg, 2008.
  short: H. Gruber, C. Harteis, N.-V. Paetz, S. Keil, Lernende Region Cham Programmvertiefung
    II Kommunale Kooperation Waldmünchen, Universität Regensburg, Regensburg, 2008.
date_created: 2018-07-23T12:10:16Z
date_updated: 2022-01-06T06:59:28Z
department:
- _id: '452'
extern: '1'
place: Regensburg
publisher: Universität Regensburg
status: public
title: Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen
type: report
user_id: '27503'
year: '2008'
...
---
_id: '3642'
author:
- first_name: Hans
  full_name: Gruber, Hans
  last_name: Gruber
- first_name: Christian
  full_name: Harteis, Christian
  id: '27503'
  last_name: Harteis
  orcid: https://orcid.org/0000-0002-3570-7626
citation:
  ama: 'Gruber H, Harteis C. Lernen und Lehren im Erwachsenenalter. In: Renkl A, ed.
    <i>Lehrbuch Pädagogische Psychologie</i>. Bern: Huber; 2008:205--261.'
  apa: 'Gruber, H., &#38; Harteis, C. (2008). Lernen und Lehren im Erwachsenenalter.
    In A. Renkl (Ed.), <i>Lehrbuch Pädagogische Psychologie</i> (pp. 205--261). Bern:
    Huber.'
  bibtex: '@inbook{Gruber_Harteis_2008, place={Bern}, title={Lernen und Lehren im
    Erwachsenenalter}, booktitle={Lehrbuch Pädagogische Psychologie}, publisher={Huber},
    author={Gruber, Hans and Harteis, Christian}, editor={Renkl, AlexanderEditor},
    year={2008}, pages={205--261} }'
  chicago: 'Gruber, Hans, and Christian Harteis. “Lernen Und Lehren Im Erwachsenenalter.”
    In <i>Lehrbuch Pädagogische Psychologie</i>, edited by Alexander Renkl, 205--261.
    Bern: Huber, 2008.'
  ieee: 'H. Gruber and C. Harteis, “Lernen und Lehren im Erwachsenenalter,” in <i>Lehrbuch
    Pädagogische Psychologie</i>, A. Renkl, Ed. Bern: Huber, 2008, pp. 205--261.'
  mla: Gruber, Hans, and Christian Harteis. “Lernen Und Lehren Im Erwachsenenalter.”
    <i>Lehrbuch Pädagogische Psychologie</i>, edited by Alexander Renkl, Huber, 2008,
    pp. 205--261.
  short: 'H. Gruber, C. Harteis, in: A. Renkl (Ed.), Lehrbuch Pädagogische Psychologie,
    Huber, Bern, 2008, pp. 205--261.'
date_created: 2018-07-23T12:25:53Z
date_updated: 2022-01-06T06:59:28Z
department:
- _id: '452'
editor:
- first_name: Alexander
  full_name: Renkl, Alexander
  last_name: Renkl
page: 205--261
place: Bern
publication: Lehrbuch Pädagogische Psychologie
publisher: Huber
status: public
title: Lernen und Lehren im Erwachsenenalter
type: book_chapter
user_id: '27503'
year: '2008'
...
