---
_id: '3129'
author:
- first_name: Tibor
  full_name: Jager, Tibor
  id: '64669'
  last_name: Jager
- first_name: Jörg
  full_name: Schwenk, Jörg
  last_name: Schwenk
citation:
  ama: Jager T, Schwenk J. On the Analysis of Cryptographic Assumptions in the Generic
    Ring Model. <i>J Cryptology</i>. 2013;(2):225--245. doi:<a href="https://doi.org/10.1007/s00145-012-9120-y">10.1007/s00145-012-9120-y</a>
  apa: Jager, T., &#38; Schwenk, J. (2013). On the Analysis of Cryptographic Assumptions
    in the Generic Ring Model. <i>J. Cryptology</i>, (2), 225--245. <a href="https://doi.org/10.1007/s00145-012-9120-y">https://doi.org/10.1007/s00145-012-9120-y</a>
  bibtex: '@article{Jager_Schwenk_2013, title={On the Analysis of Cryptographic Assumptions
    in the Generic Ring Model}, DOI={<a href="https://doi.org/10.1007/s00145-012-9120-y">10.1007/s00145-012-9120-y</a>},
    number={2}, journal={J. Cryptology}, author={Jager, Tibor and Schwenk, Jörg},
    year={2013}, pages={225--245} }'
  chicago: 'Jager, Tibor, and Jörg Schwenk. “On the Analysis of Cryptographic Assumptions
    in the Generic Ring Model.” <i>J. Cryptology</i>, no. 2 (2013): 225--245. <a href="https://doi.org/10.1007/s00145-012-9120-y">https://doi.org/10.1007/s00145-012-9120-y</a>.'
  ieee: T. Jager and J. Schwenk, “On the Analysis of Cryptographic Assumptions in
    the Generic Ring Model,” <i>J. Cryptology</i>, no. 2, pp. 225--245, 2013.
  mla: Jager, Tibor, and Jörg Schwenk. “On the Analysis of Cryptographic Assumptions
    in the Generic Ring Model.” <i>J. Cryptology</i>, no. 2, 2013, pp. 225--245, doi:<a
    href="https://doi.org/10.1007/s00145-012-9120-y">10.1007/s00145-012-9120-y</a>.
  short: T. Jager, J. Schwenk, J. Cryptology (2013) 225--245.
date_created: 2018-06-07T09:22:18Z
date_updated: 2022-01-06T06:58:57Z
department:
- _id: '558'
doi: 10.1007/s00145-012-9120-y
extern: '1'
issue: '2'
page: 225--245
publication: J. Cryptology
status: public
title: On the Analysis of Cryptographic Assumptions in the Generic Ring Model
type: journal_article
user_id: '38235'
year: '2013'
...
---
_id: '3130'
author:
- first_name: Florian
  full_name: Böhl, Florian
  last_name: Böhl
- first_name: Dennis
  full_name: Hofheinz, Dennis
  last_name: Hofheinz
- first_name: Tibor
  full_name: Jager, Tibor
  id: '64669'
  last_name: Jager
- first_name: Jessica
  full_name: Koch, Jessica
  last_name: Koch
- first_name: Jae
  full_name: Hong Seo, Jae
  last_name: Hong Seo
- first_name: Christoph
  full_name: Striecks, Christoph
  last_name: Striecks
citation:
  ama: 'Böhl F, Hofheinz D, Jager T, Koch J, Hong Seo J, Striecks C. Practical Signatures
    from Standard Assumptions. In: <i>Advances in Cryptology - EUROCRYPT 2013, 32nd
    Annual International Conference on the Theory and Applications of Cryptographic
    Techniques, Athens, Greece, May 26-30, 2013. Proceedings</i>. ; 2013:461--485.
    doi:<a href="https://doi.org/10.1007/978-3-642-38348-9_28">10.1007/978-3-642-38348-9_28</a>'
  apa: Böhl, F., Hofheinz, D., Jager, T., Koch, J., Hong Seo, J., &#38; Striecks,
    C. (2013). Practical Signatures from Standard Assumptions. In <i>Advances in Cryptology
    - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications
    of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings</i>
    (pp. 461--485). <a href="https://doi.org/10.1007/978-3-642-38348-9_28">https://doi.org/10.1007/978-3-642-38348-9_28</a>
  bibtex: '@inproceedings{Böhl_Hofheinz_Jager_Koch_Hong Seo_Striecks_2013, title={Practical
    Signatures from Standard Assumptions}, DOI={<a href="https://doi.org/10.1007/978-3-642-38348-9_28">10.1007/978-3-642-38348-9_28</a>},
    booktitle={Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International
    Conference on the Theory and Applications of Cryptographic Techniques, Athens,
    Greece, May 26-30, 2013. Proceedings}, author={Böhl, Florian and Hofheinz, Dennis
    and Jager, Tibor and Koch, Jessica and Hong Seo, Jae and Striecks, Christoph},
    year={2013}, pages={461--485} }'
  chicago: Böhl, Florian, Dennis Hofheinz, Tibor Jager, Jessica Koch, Jae Hong Seo,
    and Christoph Striecks. “Practical Signatures from Standard Assumptions.” In <i>Advances
    in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory
    and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013.
    Proceedings</i>, 461--485, 2013. <a href="https://doi.org/10.1007/978-3-642-38348-9_28">https://doi.org/10.1007/978-3-642-38348-9_28</a>.
  ieee: F. Böhl, D. Hofheinz, T. Jager, J. Koch, J. Hong Seo, and C. Striecks, “Practical
    Signatures from Standard Assumptions,” in <i>Advances in Cryptology - EUROCRYPT
    2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic
    Techniques, Athens, Greece, May 26-30, 2013. Proceedings</i>, 2013, pp. 461--485.
  mla: Böhl, Florian, et al. “Practical Signatures from Standard Assumptions.” <i>Advances
    in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory
    and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013.
    Proceedings</i>, 2013, pp. 461--485, doi:<a href="https://doi.org/10.1007/978-3-642-38348-9_28">10.1007/978-3-642-38348-9_28</a>.
  short: 'F. Böhl, D. Hofheinz, T. Jager, J. Koch, J. Hong Seo, C. Striecks, in: Advances
    in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory
    and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013.
    Proceedings, 2013, pp. 461--485.'
date_created: 2018-06-07T09:22:39Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-642-38348-9_28
extern: '1'
page: 461--485
publication: Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference
  on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May
  26-30, 2013. Proceedings
status: public
title: Practical Signatures from Standard Assumptions
type: conference
user_id: '38235'
year: '2013'
...
---
_id: '3131'
author:
- first_name: Tibor
  full_name: Jager, Tibor
  id: '64669'
  last_name: Jager
- first_name: Kenneth G.
  full_name: Paterson, Kenneth G.
  last_name: Paterson
- first_name: Juraj
  full_name: Somorovsky, Juraj
  last_name: Somorovsky
citation:
  ama: 'Jager T, Paterson KG, Somorovsky J. One Bad Apple: Backwards Compatibility
    Attacks on State-of-the-Art Cryptography. In: <i>20th Annual Network and Distributed
    System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27,
    2013</i>. ; 2013.'
  apa: 'Jager, T., Paterson, K. G., &#38; Somorovsky, J. (2013). One Bad Apple: Backwards
    Compatibility Attacks on State-of-the-Art Cryptography. In <i>20th Annual Network
    and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA,
    February 24-27, 2013</i>.'
  bibtex: '@inproceedings{Jager_Paterson_Somorovsky_2013, title={One Bad Apple: Backwards
    Compatibility Attacks on State-of-the-Art Cryptography}, booktitle={20th Annual
    Network and Distributed System Security Symposium, NDSS 2013, San Diego, California,
    USA, February 24-27, 2013}, author={Jager, Tibor and Paterson, Kenneth G. and
    Somorovsky, Juraj}, year={2013} }'
  chicago: 'Jager, Tibor, Kenneth G. Paterson, and Juraj Somorovsky. “One Bad Apple:
    Backwards Compatibility Attacks on State-of-the-Art Cryptography.” In <i>20th
    Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego,
    California, USA, February 24-27, 2013</i>, 2013.'
  ieee: 'T. Jager, K. G. Paterson, and J. Somorovsky, “One Bad Apple: Backwards Compatibility
    Attacks on State-of-the-Art Cryptography,” in <i>20th Annual Network and Distributed
    System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27,
    2013</i>, 2013.'
  mla: 'Jager, Tibor, et al. “One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art
    Cryptography.” <i>20th Annual Network and Distributed System Security Symposium,
    NDSS 2013, San Diego, California, USA, February 24-27, 2013</i>, 2013.'
  short: 'T. Jager, K.G. Paterson, J. Somorovsky, in: 20th Annual Network and Distributed
    System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27,
    2013, 2013.'
date_created: 2018-06-07T09:23:49Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
extern: '1'
publication: 20th Annual Network and Distributed System Security Symposium, NDSS 2013,
  San Diego, California, USA, February 24-27, 2013
status: public
title: 'One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography'
type: conference
user_id: '38235'
year: '2013'
...
---
_id: '3176'
author:
- first_name: Tobias
  full_name: Isenberg, Tobias
  last_name: Isenberg
- first_name: Dominik
  full_name: Steenken, Dominik
  last_name: Steenken
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Isenberg T, Steenken D, Wehrheim H. Bounded Model Checking of Graph Transformation
    Systems via {SMT} Solving. In: Beyer D, Boreale M, eds. <i>Formal Techniques for
    Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE}
    2013, Held as Part of the 8th International Federated Conference on Distributed
    Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings</i>.
    Lecture Notes in Computer Science. ; 2013:178--192. doi:<a href="https://doi.org/10.1007/978-3-642-38592-6_13">10.1007/978-3-642-38592-6_13</a>'
  apa: Isenberg, T., Steenken, D., &#38; Wehrheim, H. (2013). Bounded Model Checking
    of Graph Transformation Systems via {SMT} Solving. In D. Beyer &#38; M. Boreale
    (Eds.), <i>Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International
    Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated
    Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy,
    June 3-5, 2013. Proceedings</i> (pp. 178--192). <a href="https://doi.org/10.1007/978-3-642-38592-6_13">https://doi.org/10.1007/978-3-642-38592-6_13</a>
  bibtex: '@inproceedings{Isenberg_Steenken_Wehrheim_2013, series={Lecture Notes in
    Computer Science}, title={Bounded Model Checking of Graph Transformation Systems
    via {SMT} Solving}, DOI={<a href="https://doi.org/10.1007/978-3-642-38592-6_13">10.1007/978-3-642-38592-6_13</a>},
    booktitle={Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International
    Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated
    Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy,
    June 3-5, 2013. Proceedings}, author={Isenberg, Tobias and Steenken, Dominik and
    Wehrheim, Heike}, editor={Beyer, Dirk and Boreale, MicheleEditors}, year={2013},
    pages={178--192}, collection={Lecture Notes in Computer Science} }'
  chicago: Isenberg, Tobias, Dominik Steenken, and Heike Wehrheim. “Bounded Model
    Checking of Graph Transformation Systems via {SMT} Solving.” In <i>Formal Techniques
    for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE}
    2013, Held as Part of the 8th International Federated Conference on Distributed
    Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings</i>,
    edited by Dirk Beyer and Michele Boreale, 178--192. Lecture Notes in Computer
    Science, 2013. <a href="https://doi.org/10.1007/978-3-642-38592-6_13">https://doi.org/10.1007/978-3-642-38592-6_13</a>.
  ieee: T. Isenberg, D. Steenken, and H. Wehrheim, “Bounded Model Checking of Graph
    Transformation Systems via {SMT} Solving,” in <i>Formal Techniques for Distributed
    Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013,
    Held as Part of the 8th International Federated Conference on Distributed Computing
    Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings</i>, 2013,
    pp. 178--192.
  mla: Isenberg, Tobias, et al. “Bounded Model Checking of Graph Transformation Systems
    via {SMT} Solving.” <i>Formal Techniques for Distributed Systems - Joint {IFIP}
    {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th
    International Federated Conference on Distributed Computing Techniques, DisCoTec
    2013, Florence, Italy, June 3-5, 2013. Proceedings</i>, edited by Dirk Beyer and
    Michele Boreale, 2013, pp. 178--192, doi:<a href="https://doi.org/10.1007/978-3-642-38592-6_13">10.1007/978-3-642-38592-6_13</a>.
  short: 'T. Isenberg, D. Steenken, H. Wehrheim, in: D. Beyer, M. Boreale (Eds.),
    Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International
    Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated
    Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy,
    June 3-5, 2013. Proceedings, 2013, pp. 178--192.'
date_created: 2018-06-13T08:08:39Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-642-38592-6_13
editor:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Michele
  full_name: Boreale, Michele
  last_name: Boreale
page: 178--192
publication: Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International
  Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated
  Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy,
  June 3-5, 2013. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Bounded Model Checking of Graph Transformation Systems via {SMT} Solving
type: conference
user_id: '29719'
year: '2013'
...
---
_id: '3177'
author:
- first_name: Oleg
  full_name: Travkin, Oleg
  last_name: Travkin
- first_name: Annika
  full_name: Mütze, Annika
  last_name: Mütze
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Travkin O, Mütze A, Wehrheim H. {SPIN} as a Linearizability Checker under
    Weak Memory Models. In: Bertacco V, Legay A, eds. <i>Hardware and Software: Verification
    and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa,
    Israel, November 5-7, 2013, Proceedings</i>. Lecture Notes in Computer Science.
    ; 2013:311--326. doi:<a href="https://doi.org/10.1007/978-3-319-03077-7_21">10.1007/978-3-319-03077-7_21</a>'
  apa: 'Travkin, O., Mütze, A., &#38; Wehrheim, H. (2013). {SPIN} as a Linearizability
    Checker under Weak Memory Models. In V. Bertacco &#38; A. Legay (Eds.), <i>Hardware
    and Software: Verification and Testing - 9th International Haifa Verification
    Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings</i> (pp.
    311--326). <a href="https://doi.org/10.1007/978-3-319-03077-7_21">https://doi.org/10.1007/978-3-319-03077-7_21</a>'
  bibtex: '@inproceedings{Travkin_Mütze_Wehrheim_2013, series={Lecture Notes in Computer
    Science}, title={{SPIN} as a Linearizability Checker under Weak Memory Models},
    DOI={<a href="https://doi.org/10.1007/978-3-319-03077-7_21">10.1007/978-3-319-03077-7_21</a>},
    booktitle={Hardware and Software: Verification and Testing - 9th International
    Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013,
    Proceedings}, author={Travkin, Oleg and Mütze, Annika and Wehrheim, Heike}, editor={Bertacco,
    Valeria and Legay, AxelEditors}, year={2013}, pages={311--326}, collection={Lecture
    Notes in Computer Science} }'
  chicago: 'Travkin, Oleg, Annika Mütze, and Heike Wehrheim. “{SPIN} as a Linearizability
    Checker under Weak Memory Models.” In <i>Hardware and Software: Verification and
    Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa,
    Israel, November 5-7, 2013, Proceedings</i>, edited by Valeria Bertacco and Axel
    Legay, 311--326. Lecture Notes in Computer Science, 2013. <a href="https://doi.org/10.1007/978-3-319-03077-7_21">https://doi.org/10.1007/978-3-319-03077-7_21</a>.'
  ieee: 'O. Travkin, A. Mütze, and H. Wehrheim, “{SPIN} as a Linearizability Checker
    under Weak Memory Models,” in <i>Hardware and Software: Verification and Testing
    - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel,
    November 5-7, 2013, Proceedings</i>, 2013, pp. 311--326.'
  mla: 'Travkin, Oleg, et al. “{SPIN} as a Linearizability Checker under Weak Memory
    Models.” <i>Hardware and Software: Verification and Testing - 9th International
    Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013,
    Proceedings</i>, edited by Valeria Bertacco and Axel Legay, 2013, pp. 311--326,
    doi:<a href="https://doi.org/10.1007/978-3-319-03077-7_21">10.1007/978-3-319-03077-7_21</a>.'
  short: 'O. Travkin, A. Mütze, H. Wehrheim, in: V. Bertacco, A. Legay (Eds.), Hardware
    and Software: Verification and Testing - 9th International Haifa Verification
    Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013,
    pp. 311--326.'
date_created: 2018-06-13T08:09:44Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-319-03077-7_21
editor:
- first_name: Valeria
  full_name: Bertacco, Valeria
  last_name: Bertacco
- first_name: Axel
  full_name: Legay, Axel
  last_name: Legay
page: 311--326
publication: 'Hardware and Software: Verification and Testing - 9th International
  Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: '{SPIN} as a Linearizability Checker under Weak Memory Models'
type: conference
user_id: '29719'
year: '2013'
...
---
_id: '3178'
author:
- first_name: Brijesh
  full_name: Dongol, Brijesh
  last_name: Dongol
- first_name: Oleg
  full_name: Travkin, Oleg
  last_name: Travkin
- first_name: John
  full_name: Derrick, John
  last_name: Derrick
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Dongol B, Travkin O, Derrick J, Wehrheim H. A High-Level Semantics for Program
    Execution under Total Store Order Memory. In: Liu Z, Woodcock J, Zhu H, eds. <i>Theoretical
    Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai,
    China, September 4-6, 2013. Proceedings</i>. Lecture Notes in Computer Science.
    ; 2013:177--194. doi:<a href="https://doi.org/10.1007/978-3-642-39718-9_11">10.1007/978-3-642-39718-9_11</a>'
  apa: Dongol, B., Travkin, O., Derrick, J., &#38; Wehrheim, H. (2013). A High-Level
    Semantics for Program Execution under Total Store Order Memory. In Z. Liu, J.
    Woodcock, &#38; H. Zhu (Eds.), <i>Theoretical Aspects of Computing - {ICTAC} 2013
    - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i>
    (pp. 177--194). <a href="https://doi.org/10.1007/978-3-642-39718-9_11">https://doi.org/10.1007/978-3-642-39718-9_11</a>
  bibtex: '@inproceedings{Dongol_Travkin_Derrick_Wehrheim_2013, series={Lecture Notes
    in Computer Science}, title={A High-Level Semantics for Program Execution under
    Total Store Order Memory}, DOI={<a href="https://doi.org/10.1007/978-3-642-39718-9_11">10.1007/978-3-642-39718-9_11</a>},
    booktitle={Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
    Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, author={Dongol,
    Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike}, editor={Liu,
    Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors}, year={2013}, pages={177--194},
    collection={Lecture Notes in Computer Science} }'
  chicago: Dongol, Brijesh, Oleg Travkin, John Derrick, and Heike Wehrheim. “A High-Level
    Semantics for Program Execution under Total Store Order Memory.” In <i>Theoretical
    Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai,
    China, September 4-6, 2013. Proceedings</i>, edited by Zhiming Liu, Jim Woodcock,
    and Huibiao Zhu, 177--194. Lecture Notes in Computer Science, 2013. <a href="https://doi.org/10.1007/978-3-642-39718-9_11">https://doi.org/10.1007/978-3-642-39718-9_11</a>.
  ieee: B. Dongol, O. Travkin, J. Derrick, and H. Wehrheim, “A High-Level Semantics
    for Program Execution under Total Store Order Memory,” in <i>Theoretical Aspects
    of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China,
    September 4-6, 2013. Proceedings</i>, 2013, pp. 177--194.
  mla: Dongol, Brijesh, et al. “A High-Level Semantics for Program Execution under
    Total Store Order Memory.” <i>Theoretical Aspects of Computing - {ICTAC} 2013
    - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i>,
    edited by Zhiming Liu et al., 2013, pp. 177--194, doi:<a href="https://doi.org/10.1007/978-3-642-39718-9_11">10.1007/978-3-642-39718-9_11</a>.
  short: 'B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock,
    H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
    Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.'
date_created: 2018-06-13T08:13:31Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-642-39718-9_11
editor:
- first_name: Zhiming
  full_name: Liu, Zhiming
  last_name: Liu
- first_name: Jim
  full_name: Woodcock, Jim
  last_name: Woodcock
- first_name: Huibiao
  full_name: Zhu, Huibiao
  last_name: Zhu
page: 177--194
publication: Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: A High-Level Semantics for Program Execution under Total Store Order Memory
type: conference
user_id: '29719'
year: '2013'
...
---
_id: '3179'
author:
- first_name: Steffen
  full_name: Ziegert, Steffen
  last_name: Ziegert
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Ziegert S, Wehrheim H. Temporal Reconfiguration Plans for Self-Adaptive Systems.
    In: Kowalewski S, Rumpe B, eds. <i>Software Engineering 2013: Fachtagung Des GI-Fachbereichs
    Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen</i>. {LNI}. ; 2013:271--284.'
  apa: 'Ziegert, S., &#38; Wehrheim, H. (2013). Temporal Reconfiguration Plans for
    Self-Adaptive Systems. In S. Kowalewski &#38; B. Rumpe (Eds.), <i>Software Engineering
    2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz
    2013 in Aachen</i> (pp. 271--284).'
  bibtex: '@inproceedings{Ziegert_Wehrheim_2013, series={{LNI}}, title={Temporal Reconfiguration
    Plans for Self-Adaptive Systems}, booktitle={Software Engineering 2013: Fachtagung
    des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen},
    author={Ziegert, Steffen and Wehrheim, Heike}, editor={Kowalewski, Stefan and
    Rumpe, BernhardEditors}, year={2013}, pages={271--284}, collection={{LNI}} }'
  chicago: 'Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans
    for Self-Adaptive Systems.” In <i>Software Engineering 2013: Fachtagung Des GI-Fachbereichs
    Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen</i>, edited by Stefan
    Kowalewski and Bernhard Rumpe, 271--284. {LNI}, 2013.'
  ieee: 'S. Ziegert and H. Wehrheim, “Temporal Reconfiguration Plans for Self-Adaptive
    Systems,” in <i>Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik,
    26. Februar - 2. M{\"{a}}rz 2013 in Aachen</i>, 2013, pp. 271--284.'
  mla: 'Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans for
    Self-Adaptive Systems.” <i>Software Engineering 2013: Fachtagung Des GI-Fachbereichs
    Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen</i>, edited by Stefan
    Kowalewski and Bernhard Rumpe, 2013, pp. 271--284.'
  short: 'S. Ziegert, H. Wehrheim, in: S. Kowalewski, B. Rumpe (Eds.), Software Engineering
    2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz
    2013 in Aachen, 2013, pp. 271--284.'
date_created: 2018-06-13T08:15:08Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
editor:
- first_name: Stefan
  full_name: Kowalewski, Stefan
  last_name: Kowalewski
- first_name: Bernhard
  full_name: Rumpe, Bernhard
  last_name: Rumpe
page: 271--284
publication: 'Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik,
  26. Februar - 2. M{\"{a}}rz 2013 in Aachen'
series_title: '{LNI}'
status: public
title: Temporal Reconfiguration Plans for Self-Adaptive Systems
type: conference
user_id: '29719'
year: '2013'
...
---
_id: '27043'
abstract:
- lang: eng
  text: <jats:p>Dietary fat intake in childhood may influence the risk for developing
    chronic diseases. The objective of the present study was to examine secular trends
    in the parameters of fat intake between 2000 and 2010 in a sample of German children
    and adolescents (<jats:italic>n</jats:italic> 808) participating in the Dortmund
    Nutritional and Anthropometric Longitudinally Designed (DONALD) Study. Dietary
    data from 4380 3 d weighed dietary records were analysed using repeated-measures
    regression to determine time trends in fat quantity, i.e. the intake of total
    fat, and in fat quality, i.e. the ratios of SFA, MUFA and PUFA. In young children
    (2–3 years) and in adolescents (13–18 years), total fat intake remained stable
    over time, but decreased by 0·08 % of total energy (%E) per year in 4–12-year-old
    children. In 2010, median fat intake was at the upper end of the recommendations.
    SFA intake decreased slightly in 2–3- and 4–12-year-old children by 0·09 and 0·05 %E
    per year, respectively. MUFA and PUFA intakes remained stable in all the age groups
    except in adolescents. Here, PUFA intake decreased initially, but increased between
    2005 and 2010. In 2010, only between 3 and 18 % of the respective age groups had
    an intake of SFA or PUFA within the recommendations. In conclusion, fat quantity
    and quality did not change substantially between 2000 and 2010. Fat quality, in
    particular, needs to be improved, since a large percentage of our sample did not
    meet the recommended intakes for SFA and PUFA.</jats:p>
author:
- first_name: Lars
  full_name: Libuda, Lars
  id: '88682'
  last_name: Libuda
  orcid: 0000-0003-1603-3133
- first_name: Ute
  full_name: Alexy, Ute
  last_name: Alexy
- first_name: Mathilde
  full_name: Kersting, Mathilde
  last_name: Kersting
citation:
  ama: 'Libuda L, Alexy U, Kersting M. Time trends in dietary fat intake in a sample
    of German children and adolescents between 2000 and 2010: not quantity, but quality
    is the issue. <i>British Journal of Nutrition</i>. Published online 2013:141-150.
    doi:<a href="https://doi.org/10.1017/s0007114513002031">10.1017/s0007114513002031</a>'
  apa: 'Libuda, L., Alexy, U., &#38; Kersting, M. (2013). Time trends in dietary fat
    intake in a sample of German children and adolescents between 2000 and 2010: not
    quantity, but quality is the issue. <i>British Journal of Nutrition</i>, 141–150.
    <a href="https://doi.org/10.1017/s0007114513002031">https://doi.org/10.1017/s0007114513002031</a>'
  bibtex: '@article{Libuda_Alexy_Kersting_2013, title={Time trends in dietary fat
    intake in a sample of German children and adolescents between 2000 and 2010: not
    quantity, but quality is the issue}, DOI={<a href="https://doi.org/10.1017/s0007114513002031">10.1017/s0007114513002031</a>},
    journal={British Journal of Nutrition}, author={Libuda, Lars and Alexy, Ute and
    Kersting, Mathilde}, year={2013}, pages={141–150} }'
  chicago: 'Libuda, Lars, Ute Alexy, and Mathilde Kersting. “Time Trends in Dietary
    Fat Intake in a Sample of German Children and Adolescents between 2000 and 2010:
    Not Quantity, but Quality Is the Issue.” <i>British Journal of Nutrition</i>,
    2013, 141–50. <a href="https://doi.org/10.1017/s0007114513002031">https://doi.org/10.1017/s0007114513002031</a>.'
  ieee: 'L. Libuda, U. Alexy, and M. Kersting, “Time trends in dietary fat intake
    in a sample of German children and adolescents between 2000 and 2010: not quantity,
    but quality is the issue,” <i>British Journal of Nutrition</i>, pp. 141–150, 2013,
    doi: <a href="https://doi.org/10.1017/s0007114513002031">10.1017/s0007114513002031</a>.'
  mla: 'Libuda, Lars, et al. “Time Trends in Dietary Fat Intake in a Sample of German
    Children and Adolescents between 2000 and 2010: Not Quantity, but Quality Is the
    Issue.” <i>British Journal of Nutrition</i>, 2013, pp. 141–50, doi:<a href="https://doi.org/10.1017/s0007114513002031">10.1017/s0007114513002031</a>.'
  short: L. Libuda, U. Alexy, M. Kersting, British Journal of Nutrition (2013) 141–150.
date_created: 2021-11-01T20:17:51Z
date_updated: 2022-01-06T06:57:32Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1017/s0007114513002031
language:
- iso: eng
page: 141-150
publication: British Journal of Nutrition
publication_identifier:
  issn:
  - 0007-1145
  - 1475-2662
publication_status: published
status: public
title: 'Time trends in dietary fat intake in a sample of German children and adolescents
  between 2000 and 2010: not quantity, but quality is the issue'
type: journal_article
user_id: '49428'
year: '2013'
...
---
_id: '27054'
author:
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Michael
  full_name: Grafe, Michael
  last_name: Grafe
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
citation:
  ama: 'Gausemeier J, Grafe M, Meyer auf der Heide F. 11. Paderborner Workshop Augmented
    &#38; Virtual Reality in der Produktentstehung. In: Vol 311. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn, Band 311 ; 2013.'
  apa: Gausemeier, J., Grafe, M., &#38; Meyer auf der Heide, F. (2013). <i>11. Paderborner
    Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>. <i>311</i>.
  bibtex: '@inproceedings{Gausemeier_Grafe_Meyer auf der Heide_2013, title={11. Paderborner
    Workshop Augmented &#38; Virtual Reality in der Produktentstehung}, volume={311},
    publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band
    311 }, author={Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide,
    Friedhelm}, year={2013} }'
  chicago: Gausemeier, Jürgen, Michael Grafe, and Friedhelm Meyer auf der Heide. “11.
    Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung,”
    Vol. 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311
    , 2013.
  ieee: J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, “11. Paderborner Workshop
    Augmented &#38; Virtual Reality in der Produktentstehung,” 2013, vol. 311.
  mla: Gausemeier, Jürgen, et al. <i>11. Paderborner Workshop Augmented &#38; Virtual
    Reality in Der Produktentstehung</i>. Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn, Band 311 , 2013.
  short: 'J. Gausemeier, M. Grafe, F. Meyer auf der Heide, in: Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.'
conference:
  name: 18. - 19. Apr. 2013, Heinz Nixdorf Institut
date_created: 2021-11-02T10:53:04Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '672'
intvolume: '       311'
language:
- iso: eng
publisher: 'Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 '
status: public
title: 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
type: conference
user_id: '21240'
volume: 311
year: '2013'
...
---
_id: '27061'
author:
- first_name: Lars
  full_name: Libuda, Lars
  id: '88682'
  last_name: Libuda
  orcid: 0000-0003-1603-3133
- first_name: Madlen
  full_name: Stimming, Madlen
  last_name: Stimming
- first_name: Christina
  full_name: Mesch, Christina
  last_name: Mesch
- first_name: Petra
  full_name: Warschburger, Petra
  last_name: Warschburger
- first_name: Hermann
  full_name: Kalhoff, Hermann
  last_name: Kalhoff
- first_name: Berthold Viktor
  full_name: Koletzko, Berthold Viktor
  last_name: Koletzko
- first_name: Mathilde
  full_name: Kersting, Mathilde
  last_name: Kersting
citation:
  ama: Libuda L, Stimming M, Mesch C, et al. Frequencies and demographic determinants
    of breastfeeding and DHA supplementation in a nationwide sample of mothers in
    Germany. <i>European Journal of Nutrition</i>. Published online 2013:1335-1344.
    doi:<a href="https://doi.org/10.1007/s00394-013-0633-4">10.1007/s00394-013-0633-4</a>
  apa: Libuda, L., Stimming, M., Mesch, C., Warschburger, P., Kalhoff, H., Koletzko,
    B. V., &#38; Kersting, M. (2013). Frequencies and demographic determinants of
    breastfeeding and DHA supplementation in a nationwide sample of mothers in Germany.
    <i>European Journal of Nutrition</i>, 1335–1344. <a href="https://doi.org/10.1007/s00394-013-0633-4">https://doi.org/10.1007/s00394-013-0633-4</a>
  bibtex: '@article{Libuda_Stimming_Mesch_Warschburger_Kalhoff_Koletzko_Kersting_2013,
    title={Frequencies and demographic determinants of breastfeeding and DHA supplementation
    in a nationwide sample of mothers in Germany}, DOI={<a href="https://doi.org/10.1007/s00394-013-0633-4">10.1007/s00394-013-0633-4</a>},
    journal={European Journal of Nutrition}, author={Libuda, Lars and Stimming, Madlen
    and Mesch, Christina and Warschburger, Petra and Kalhoff, Hermann and Koletzko,
    Berthold Viktor and Kersting, Mathilde}, year={2013}, pages={1335–1344} }'
  chicago: Libuda, Lars, Madlen Stimming, Christina Mesch, Petra Warschburger, Hermann
    Kalhoff, Berthold Viktor Koletzko, and Mathilde Kersting. “Frequencies and Demographic
    Determinants of Breastfeeding and DHA Supplementation in a Nationwide Sample of
    Mothers in Germany.” <i>European Journal of Nutrition</i>, 2013, 1335–44. <a href="https://doi.org/10.1007/s00394-013-0633-4">https://doi.org/10.1007/s00394-013-0633-4</a>.
  ieee: 'L. Libuda <i>et al.</i>, “Frequencies and demographic determinants of breastfeeding
    and DHA supplementation in a nationwide sample of mothers in Germany,” <i>European
    Journal of Nutrition</i>, pp. 1335–1344, 2013, doi: <a href="https://doi.org/10.1007/s00394-013-0633-4">10.1007/s00394-013-0633-4</a>.'
  mla: Libuda, Lars, et al. “Frequencies and Demographic Determinants of Breastfeeding
    and DHA Supplementation in a Nationwide Sample of Mothers in Germany.” <i>European
    Journal of Nutrition</i>, 2013, pp. 1335–44, doi:<a href="https://doi.org/10.1007/s00394-013-0633-4">10.1007/s00394-013-0633-4</a>.
  short: L. Libuda, M. Stimming, C. Mesch, P. Warschburger, H. Kalhoff, B.V. Koletzko,
    M. Kersting, European Journal of Nutrition (2013) 1335–1344.
date_created: 2021-11-02T20:22:36Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1007/s00394-013-0633-4
language:
- iso: eng
page: 1335-1344
publication: European Journal of Nutrition
publication_identifier:
  issn:
  - 1436-6207
  - 1436-6215
publication_status: published
status: public
title: Frequencies and demographic determinants of breastfeeding and DHA supplementation
  in a nationwide sample of mothers in Germany
type: journal_article
user_id: '49428'
year: '2013'
...
---
_id: '27062'
author:
- first_name: Katrin
  full_name: Müller, Katrin
  last_name: Müller
- first_name: Lars
  full_name: Libuda, Lars
  id: '88682'
  last_name: Libuda
  orcid: 0000-0003-1603-3133
- first_name: Katharina
  full_name: Diethelm, Katharina
  last_name: Diethelm
- first_name: Inge
  full_name: Huybrechts, Inge
  last_name: Huybrechts
- first_name: Luis A.
  full_name: Moreno, Luis A.
  last_name: Moreno
- first_name: Yannis
  full_name: Manios, Yannis
  last_name: Manios
- first_name: Lorenza
  full_name: Mistura, Lorenza
  last_name: Mistura
- first_name: Jean
  full_name: Dallongeville, Jean
  last_name: Dallongeville
- first_name: Anthony
  full_name: Kafatos, Anthony
  last_name: Kafatos
- first_name: Marcela
  full_name: González-Gross, Marcela
  last_name: González-Gross
- first_name: Magdalena
  full_name: Cuenca-García, Magdalena
  last_name: Cuenca-García
- first_name: Michael
  full_name: Sjöström, Michael
  last_name: Sjöström
- first_name: Lena
  full_name: Hallström, Lena
  last_name: Hallström
- first_name: Kurt
  full_name: Widhalm, Kurt
  last_name: Widhalm
- first_name: Mathilde
  full_name: Kersting, Mathilde
  last_name: Kersting
citation:
  ama: Müller K, Libuda L, Diethelm K, et al. Lunch at school, at home or elsewhere.
    Where do adolescents usually get it and what do they eat? Results of the HELENA
    Study. <i>Appetite</i>. Published online 2013:332-339. doi:<a href="https://doi.org/10.1016/j.appet.2013.09.002">10.1016/j.appet.2013.09.002</a>
  apa: Müller, K., Libuda, L., Diethelm, K., Huybrechts, I., Moreno, L. A., Manios,
    Y., Mistura, L., Dallongeville, J., Kafatos, A., González-Gross, M., Cuenca-García,
    M., Sjöström, M., Hallström, L., Widhalm, K., &#38; Kersting, M. (2013). Lunch
    at school, at home or elsewhere. Where do adolescents usually get it and what
    do they eat? Results of the HELENA Study. <i>Appetite</i>, 332–339. <a href="https://doi.org/10.1016/j.appet.2013.09.002">https://doi.org/10.1016/j.appet.2013.09.002</a>
  bibtex: '@article{Müller_Libuda_Diethelm_Huybrechts_Moreno_Manios_Mistura_Dallongeville_Kafatos_González-Gross_et
    al._2013, title={Lunch at school, at home or elsewhere. Where do adolescents usually
    get it and what do they eat? Results of the HELENA Study}, DOI={<a href="https://doi.org/10.1016/j.appet.2013.09.002">10.1016/j.appet.2013.09.002</a>},
    journal={Appetite}, author={Müller, Katrin and Libuda, Lars and Diethelm, Katharina
    and Huybrechts, Inge and Moreno, Luis A. and Manios, Yannis and Mistura, Lorenza
    and Dallongeville, Jean and Kafatos, Anthony and González-Gross, Marcela and et
    al.}, year={2013}, pages={332–339} }'
  chicago: Müller, Katrin, Lars Libuda, Katharina Diethelm, Inge Huybrechts, Luis
    A. Moreno, Yannis Manios, Lorenza Mistura, et al. “Lunch at School, at Home or
    Elsewhere. Where Do Adolescents Usually Get It and What Do They Eat? Results of
    the HELENA Study.” <i>Appetite</i>, 2013, 332–39. <a href="https://doi.org/10.1016/j.appet.2013.09.002">https://doi.org/10.1016/j.appet.2013.09.002</a>.
  ieee: 'K. Müller <i>et al.</i>, “Lunch at school, at home or elsewhere. Where do
    adolescents usually get it and what do they eat? Results of the HELENA Study,”
    <i>Appetite</i>, pp. 332–339, 2013, doi: <a href="https://doi.org/10.1016/j.appet.2013.09.002">10.1016/j.appet.2013.09.002</a>.'
  mla: Müller, Katrin, et al. “Lunch at School, at Home or Elsewhere. Where Do Adolescents
    Usually Get It and What Do They Eat? Results of the HELENA Study.” <i>Appetite</i>,
    2013, pp. 332–39, doi:<a href="https://doi.org/10.1016/j.appet.2013.09.002">10.1016/j.appet.2013.09.002</a>.
  short: K. Müller, L. Libuda, K. Diethelm, I. Huybrechts, L.A. Moreno, Y. Manios,
    L. Mistura, J. Dallongeville, A. Kafatos, M. González-Gross, M. Cuenca-García,
    M. Sjöström, L. Hallström, K. Widhalm, M. Kersting, Appetite (2013) 332–339.
date_created: 2021-11-02T20:25:10Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1016/j.appet.2013.09.002
language:
- iso: eng
page: 332-339
publication: Appetite
publication_identifier:
  issn:
  - 0195-6663
publication_status: published
status: public
title: Lunch at school, at home or elsewhere. Where do adolescents usually get it
  and what do they eat? Results of the HELENA Study
type: journal_article
user_id: '49428'
year: '2013'
...
---
_id: '27063'
author:
- first_name: K
  full_name: Müller, K
  last_name: Müller
- first_name: Lars
  full_name: Libuda, Lars
  id: '88682'
  last_name: Libuda
  orcid: 0000-0003-1603-3133
- first_name: N
  full_name: Gawehn, N
  last_name: Gawehn
- first_name: C
  full_name: Drossard, C
  last_name: Drossard
- first_name: K
  full_name: Bolzenius, K
  last_name: Bolzenius
- first_name: C
  full_name: Kunz, C
  last_name: Kunz
- first_name: M
  full_name: Kersting, M
  last_name: Kersting
citation:
  ama: 'Müller K, Libuda L, Gawehn N, et al. Effects of lunch on children’s short-term
    cognitive functioning: a randomized crossover study. <i>European Journal of Clinical
    Nutrition</i>. Published online 2013:185-189. doi:<a href="https://doi.org/10.1038/ejcn.2012.209">10.1038/ejcn.2012.209</a>'
  apa: 'Müller, K., Libuda, L., Gawehn, N., Drossard, C., Bolzenius, K., Kunz, C.,
    &#38; Kersting, M. (2013). Effects of lunch on children’s short-term cognitive
    functioning: a randomized crossover study. <i>European Journal of Clinical Nutrition</i>,
    185–189. <a href="https://doi.org/10.1038/ejcn.2012.209">https://doi.org/10.1038/ejcn.2012.209</a>'
  bibtex: '@article{Müller_Libuda_Gawehn_Drossard_Bolzenius_Kunz_Kersting_2013, title={Effects
    of lunch on children’s short-term cognitive functioning: a randomized crossover
    study}, DOI={<a href="https://doi.org/10.1038/ejcn.2012.209">10.1038/ejcn.2012.209</a>},
    journal={European Journal of Clinical Nutrition}, author={Müller, K and Libuda,
    Lars and Gawehn, N and Drossard, C and Bolzenius, K and Kunz, C and Kersting,
    M}, year={2013}, pages={185–189} }'
  chicago: 'Müller, K, Lars Libuda, N Gawehn, C Drossard, K Bolzenius, C Kunz, and
    M Kersting. “Effects of Lunch on Children’s Short-Term Cognitive Functioning:
    A Randomized Crossover Study.” <i>European Journal of Clinical Nutrition</i>,
    2013, 185–89. <a href="https://doi.org/10.1038/ejcn.2012.209">https://doi.org/10.1038/ejcn.2012.209</a>.'
  ieee: 'K. Müller <i>et al.</i>, “Effects of lunch on children’s short-term cognitive
    functioning: a randomized crossover study,” <i>European Journal of Clinical Nutrition</i>,
    pp. 185–189, 2013, doi: <a href="https://doi.org/10.1038/ejcn.2012.209">10.1038/ejcn.2012.209</a>.'
  mla: 'Müller, K., et al. “Effects of Lunch on Children’s Short-Term Cognitive Functioning:
    A Randomized Crossover Study.” <i>European Journal of Clinical Nutrition</i>,
    2013, pp. 185–89, doi:<a href="https://doi.org/10.1038/ejcn.2012.209">10.1038/ejcn.2012.209</a>.'
  short: K. Müller, L. Libuda, N. Gawehn, C. Drossard, K. Bolzenius, C. Kunz, M. Kersting,
    European Journal of Clinical Nutrition (2013) 185–189.
date_created: 2021-11-02T20:27:16Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1038/ejcn.2012.209
language:
- iso: eng
page: 185-189
publication: European Journal of Clinical Nutrition
publication_identifier:
  issn:
  - 0954-3007
  - 1476-5640
publication_status: published
status: public
title: 'Effects of lunch on children’s short-term cognitive functioning: a randomized
  crossover study'
type: journal_article
user_id: '49428'
year: '2013'
...
---
_id: '27168'
author:
- first_name: Reinhard
  full_name: Keil, Reinhard
  last_name: Keil
- first_name: Felix
  full_name: Winkelnkemper, Felix
  id: '3117'
  last_name: Winkelnkemper
citation:
  ama: 'Keil R, Winkelnkemper F. Approaches for an informational separation of powers
    in learning platforms. In: Society for Informatics; 2013:131-142.'
  apa: Keil, R., &#38; Winkelnkemper, F. (2013). <i>Approaches for an informational
    separation of powers in learning platforms</i>. 131–142.
  bibtex: '@inproceedings{Keil_Winkelnkemper_2013, title={Approaches for an informational
    separation of powers in learning platforms}, publisher={Society for Informatics},
    author={Keil, Reinhard and Winkelnkemper, Felix}, year={2013}, pages={131–142}
    }'
  chicago: Keil, Reinhard, and Felix Winkelnkemper. “Approaches for an Informational
    Separation of Powers in Learning Platforms,” 131–42. Society for Informatics,
    2013.
  ieee: R. Keil and F. Winkelnkemper, “Approaches for an informational separation
    of powers in learning platforms,” 2013, pp. 131–142.
  mla: Keil, Reinhard, and Felix Winkelnkemper. <i>Approaches for an Informational
    Separation of Powers in Learning Platforms</i>. Society for Informatics, 2013,
    pp. 131–42.
  short: 'R. Keil, F. Winkelnkemper, in: Society for Informatics, 2013, pp. 131–142.'
conference:
  end_date: 2013-09-11
  name: ' DeLFI 2013 - The 11th e-Learning Conference Computer Science,'
  start_date: 2013-09-08
date_created: 2021-11-05T23:26:32Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '71'
language:
- iso: eng
page: 131-142
publication_status: published
publisher: Society for Informatics
status: public
title: Approaches for an informational separation of powers in learning platforms
type: conference
user_id: '71124'
year: '2013'
...
---
_id: '27169'
author:
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
- first_name: Thomas
  full_name: Geis, Thomas
  last_name: Geis
- first_name: Rolf
  full_name: ' Molich, Rolf'
  last_name: ' Molich'
- first_name: 'Oliver '
  full_name: 'Kluge, Oliver '
  last_name: Kluge
- first_name: ' R{\"u}diger'
  full_name: Heimg{\"a}rtner,  R{\"u}diger
  last_name: Heimg{\"a}rtner
- first_name: ' Peter '
  full_name: 'Hunkirchen,  Peter '
  last_name: Hunkirchen
- first_name: Knut
  full_name: Polkehn, Knut
  last_name: Polkehn
citation:
  ama: 'Fischer HG, Geis T,  Molich R, et al. „Do You Speak Usability?“ – Aktueller
    Stand des Glossars und des Curriculums f{\"u}r den „Certified Professional for
    Usability and User Experience (CPUX)“ der German UPA. In: German UPA; 2013:28-34.'
  apa: Fischer, H. G., Geis, T.,  Molich, R., Kluge, O., Heimg{\"a}rtner,  R{\"u}diger,
    Hunkirchen,  Peter , &#38; Polkehn, K. (2013). <i>„Do You Speak Usability?“ –
    Aktueller Stand des Glossars und des Curriculums f{\"u}r den „Certified Professional
    for Usability and User Experience (CPUX)“ der German UPA</i>. 28–34.
  bibtex: '@inproceedings{Fischer_Geis_ Molich_Kluge_Heimg{\"a}rtner_Hunkirchen_Polkehn_2013,
    title={„Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums
    f{\"u}r den „Certified Professional for Usability and User Experience (CPUX)“
    der German UPA}, publisher={German UPA}, author={Fischer, Holger Gerhard and Geis,
    Thomas and  Molich, Rolf and Kluge, Oliver  and Heimg{\"a}rtner,  R{\"u}diger
    and Hunkirchen,  Peter  and Polkehn, Knut}, year={2013}, pages={28–34} }'
  chicago: Fischer, Holger Gerhard, Thomas Geis, Rolf  Molich, Oliver  Kluge,  R{\"u}diger
    Heimg{\"a}rtner,  Peter  Hunkirchen, and Knut Polkehn. “„Do You Speak Usability?“
    – Aktueller Stand Des Glossars Und Des Curriculums F{\"u}r Den „Certified Professional
    for Usability and User Experience (CPUX)“ Der German UPA,” 28–34. German UPA,
    2013.
  ieee: H. G. Fischer <i>et al.</i>, “„Do You Speak Usability?“ – Aktueller Stand
    des Glossars und des Curriculums f{\"u}r den „Certified Professional for Usability
    and User Experience (CPUX)“ der German UPA,” 2013, pp. 28–34.
  mla: Fischer, Holger Gerhard, et al. <i>„Do You Speak Usability?“ – Aktueller Stand
    Des Glossars Und Des Curriculums F{\"u}r Den „Certified Professional for Usability
    and User Experience (CPUX)“ Der German UPA</i>. German UPA, 2013, pp. 28–34.
  short: 'H.G. Fischer, T. Geis, R.  Molich, O. Kluge,  R{\"u}diger Heimg{\"a}rtner,  Peter  Hunkirchen,
    K. Polkehn, in: German UPA, 2013, pp. 28–34.'
date_created: 2021-11-05T23:34:47Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '71'
language:
- iso: eng
page: 28-34
publication_status: published
publisher: German UPA
status: public
title: „Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums
  f{\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der
  German UPA
type: conference
user_id: '71124'
year: '2013'
...
---
_id: '27171'
author:
- first_name: Birger
  full_name: K {\ "u} hnel, Birger
  last_name: K {\ "u} hnel
citation:
  ama: K {\ "u} hnel B. <i>Contextual Tagging in the Coactive Knowledge Organization</i>.
    Heinz Nixdorf Institute, Universit {\ "a} t Paderborn; 2013.
  apa: K {\ "u} hnel, B. (2013). <i>Contextual tagging in the coactive knowledge organization</i>.
    Heinz Nixdorf Institute, Universit {\ "a} t Paderborn.
  bibtex: '@book{K {\ "u} hnel_2013, place={Universit {\" a} t Paderborn, Heinz Nixdorf
    Institute, Contextual Computer Science}, title={Contextual tagging in the coactive
    knowledge organization}, publisher={Heinz Nixdorf Institute, Universit {\ "a}
    t Paderborn}, author={K {\ "u} hnel, Birger}, year={2013} }'
  chicago: 'K {\ "u} hnel, Birger. <i>Contextual Tagging in the Coactive Knowledge
    Organization</i>. Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual
    Computer Science: Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, 2013.'
  ieee: 'B. K {\ "u} hnel, <i>Contextual tagging in the coactive knowledge organization</i>.
    Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science:
    Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, 2013.'
  mla: K {\ "u} hnel, Birger. <i>Contextual Tagging in the Coactive Knowledge Organization</i>.
    Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, 2013.
  short: B. K {\ "u} hnel, Contextual Tagging in the Coactive Knowledge Organization,
    Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, Universit {\" a} t Paderborn,
    Heinz Nixdorf Institute, Contextual Computer Science, 2013.
date_created: 2021-11-05T23:37:26Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '71'
language:
- iso: eng
place: Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer
  Science
publication_status: published
publisher: Heinz Nixdorf Institute, Universit {\ "a} t Paderborn
status: public
title: Contextual tagging in the coactive knowledge organization
type: dissertation
user_id: '71124'
year: '2013'
...
---
_id: '27172'
author:
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
- first_name: Benjamin
  full_name: Strenge, Benjamin
  last_name: Strenge
- first_name: ' Karsten'
  full_name: Nebe,  Karsten
  last_name: Nebe
citation:
  ama: Fischer HG, Strenge B, Nebe  Karsten. Towards a Holistic Tool for the Selection
    and Validation of Usability Method Sets Supporting Human-Centered Design. Published
    online 2013:252-261.
  apa: Fischer, H. G., Strenge, B., &#38; Nebe,  Karsten. (2013). <i>Towards a Holistic
    Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered
    Design</i> (pp. 252–261). Springer Verlag.
  bibtex: '@article{Fischer_Strenge_Nebe_2013, series={LNCS 8012}, title={Towards
    a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting
    Human-Centered Design}, publisher={Springer Verlag}, author={Fischer, Holger Gerhard
    and Strenge, Benjamin and Nebe,  Karsten}, year={2013}, pages={252–261}, collection={LNCS
    8012} }'
  chicago: Fischer, Holger Gerhard, Benjamin Strenge, and  Karsten Nebe. “Towards
    a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting
    Human-Centered Design.” LNCS 8012. Springer Verlag, 2013.
  ieee: H. G. Fischer, B. Strenge, and  Karsten Nebe, “Towards a Holistic Tool for
    the Selection and Validation of Usability Method Sets Supporting Human-Centered
    Design.” Springer Verlag, pp. 252–261, 2013.
  mla: Fischer, Holger Gerhard, et al. <i>Towards a Holistic Tool for the Selection
    and Validation of Usability Method Sets Supporting Human-Centered Design</i>.
    Springer Verlag, 2013, pp. 252–61.
  short: H.G. Fischer, B. Strenge,  Karsten Nebe, (2013) 252–261.
date_created: 2021-11-05T23:42:55Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '71'
language:
- iso: eng
page: 252-261
publication_status: published
publisher: Springer Verlag
series_title: LNCS 8012
status: public
title: Towards a Holistic Tool for the Selection and Validation of Usability Method
  Sets Supporting Human-Centered Design
type: conference
user_id: '71124'
year: '2013'
...
---
_id: '27173'
author:
- first_name: ' Reinhard'
  full_name: Keil,  Reinhard
  last_name: Keil
- first_name: Harald
  full_name: Selke, Harald
  id: '497'
  last_name: Selke
- first_name: Felix
  full_name: Winkelnkemper, Felix
  id: '3117'
  last_name: Winkelnkemper
citation:
  ama: Keil  Reinhard, Selke H, Winkelnkemper F. Computer science and education -
    A struggle for creative sovereignty in society? <i>FIfF-Kommunikation</i>. Published
    online 2013:61-65.
  apa: Keil,  Reinhard, Selke, H., &#38; Winkelnkemper, F. (2013). Computer science
    and education - A struggle for creative sovereignty in society? <i>FIfF-Kommunikation</i>,
    61–65.
  bibtex: '@article{Keil_Selke_Winkelnkemper_2013, title={Computer science and education
    - A struggle for creative sovereignty in society?}, journal={FIfF-Kommunikation},
    author={Keil,  Reinhard and Selke, Harald and Winkelnkemper, Felix}, year={2013},
    pages={61–65} }'
  chicago: Keil,  Reinhard, Harald Selke, and Felix Winkelnkemper. “Computer Science
    and Education - A Struggle for Creative Sovereignty in Society?” <i>FIfF-Kommunikation</i>,
    2013, 61–65.
  ieee: Reinhard Keil, H. Selke, and F. Winkelnkemper, “Computer science and education
    - A struggle for creative sovereignty in society?,” <i>FIfF-Kommunikation</i>,
    pp. 61–65, 2013.
  mla: Keil,  Reinhard, et al. “Computer Science and Education - A Struggle for Creative
    Sovereignty in Society?” <i>FIfF-Kommunikation</i>, 2013, pp. 61–65.
  short: Reinhard Keil, H. Selke, F. Winkelnkemper, FIfF-Kommunikation (2013) 61–65.
date_created: 2021-11-05T23:47:18Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '71'
language:
- iso: eng
page: 61-65
publication: FIfF-Kommunikation
status: public
title: Computer science and education - A struggle for creative sovereignty in society?
type: journal_article
user_id: '71124'
year: '2013'
...
---
_id: '27174'
author:
- first_name: Reinhard
  full_name: Keil, Reinhard
  last_name: Keil
citation:
  ama: 'Keil R. Media contexts - context media. In: Verbrecher Verlag; 2013:217-226.'
  apa: Keil, R. (2013). <i>Media contexts - context media</i>. 217–226.
  bibtex: '@inproceedings{Keil_2013, place={Berlin}, title={Media contexts - context
    media}, publisher={Verbrecher Verlag}, author={Keil, Reinhard}, year={2013}, pages={217–226}
    }'
  chicago: 'Keil, Reinhard. “Media Contexts - Context Media,” 217–26. Berlin: Verbrecher
    Verlag, 2013.'
  ieee: R. Keil, “Media contexts - context media,” 2013, pp. 217–226.
  mla: Keil, Reinhard. <i>Media Contexts - Context Media</i>. Verbrecher Verlag, 2013,
    pp. 217–26.
  short: 'R. Keil, in: Verbrecher Verlag, Berlin, 2013, pp. 217–226.'
date_created: 2021-11-05T23:49:41Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '71'
language:
- iso: eng
page: 217-226
place: Berlin
publication_status: published
publisher: Verbrecher Verlag
status: public
title: Media contexts - context media
type: conference
user_id: '71124'
year: '2013'
...
---
_id: '27175'
author:
- first_name: Florian
  full_name: Klompmaker, Florian
  last_name: Klompmaker
- first_name: Volker
  full_name: Paelke, Volker
  last_name: Paelke
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
citation:
  ama: Klompmaker F, Paelke V, Fischer HG. A Taxonomy-Based Approach Towards NUI Interaction
    Design. Published online 2013:32-41.
  apa: Klompmaker, F., Paelke, V., &#38; Fischer, H. G. (2013). <i>A Taxonomy-Based
    Approach Towards NUI Interaction Design</i> (pp. 32–41). Springer Verlag.
  bibtex: '@article{Klompmaker_Paelke_Fischer_2013, series={LNCS 8028}, title={A Taxonomy-Based
    Approach Towards NUI Interaction Design}, publisher={Springer Verlag}, author={Klompmaker,
    Florian and Paelke, Volker and Fischer, Holger Gerhard}, year={2013}, pages={32–41},
    collection={LNCS 8028} }'
  chicago: Klompmaker, Florian, Volker Paelke, and Holger Gerhard Fischer. “A Taxonomy-Based
    Approach Towards NUI Interaction Design.” LNCS 8028. Springer Verlag, 2013.
  ieee: F. Klompmaker, V. Paelke, and H. G. Fischer, “A Taxonomy-Based Approach Towards
    NUI Interaction Design.” Springer Verlag, pp. 32–41, 2013.
  mla: Klompmaker, Florian, et al. <i>A Taxonomy-Based Approach Towards NUI Interaction
    Design</i>. Springer Verlag, 2013, pp. 32–41.
  short: F. Klompmaker, V. Paelke, H.G. Fischer, (2013) 32–41.
date_created: 2021-11-05T23:52:16Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '71'
language:
- iso: eng
page: 32-41
publication_status: published
publisher: Springer Verlag
series_title: LNCS 8028
status: public
title: A Taxonomy-Based Approach Towards NUI Interaction Design
type: conference
user_id: '71124'
year: '2013'
...
---
_id: '2733'
author:
- first_name: Eugen
  full_name: Dimant, Eugen
  last_name: Dimant
- first_name: Tim
  full_name: Krieger, Tim
  last_name: Krieger
- first_name: Margarete
  full_name: Redlin, Margarete
  id: '135'
  last_name: Redlin
citation:
  ama: Dimant E, Krieger T, Redlin M. <i>A Crook Is a Crook … But Is He Still a Crook
    Abroad? - On the Effect of Immigration on Destination-Country Corruption</i>.
    Vol 2013-14. Paderborn University, CIE Center for International Economics; 2013.
  apa: Dimant, E., Krieger, T., &#38; Redlin, M. (2013). <i>A Crook is a Crook … But
    is He Still a Crook Abroad? - On the Effect of Immigration on Destination-Country
    Corruption</i> (Vol. 2013–14). Paderborn University, CIE Center for International
    Economics.
  bibtex: '@book{Dimant_Krieger_Redlin_2013, series={Working Papers CIE}, title={A
    Crook is a Crook … But is He Still a Crook Abroad? - On the Effect of Immigration
    on Destination-Country Corruption}, volume={2013–14}, publisher={Paderborn University,
    CIE Center for International Economics}, author={Dimant, Eugen and Krieger, Tim
    and Redlin, Margarete}, year={2013}, collection={Working Papers CIE} }'
  chicago: Dimant, Eugen, Tim Krieger, and Margarete Redlin. <i>A Crook Is a Crook
    … But Is He Still a Crook Abroad? - On the Effect of Immigration on Destination-Country
    Corruption</i>. Vol. 2013–14. Working Papers CIE. Paderborn University, CIE Center
    for International Economics, 2013.
  ieee: E. Dimant, T. Krieger, and M. Redlin, <i>A Crook is a Crook … But is He Still
    a Crook Abroad? - On the Effect of Immigration on Destination-Country Corruption</i>,
    vol. 2013–14. Paderborn University, CIE Center for International Economics, 2013.
  mla: Dimant, Eugen, et al. <i>A Crook Is a Crook … But Is He Still a Crook Abroad?
    - On the Effect of Immigration on Destination-Country Corruption</i>. Vol. 2013–14,
    Paderborn University, CIE Center for International Economics, 2013.
  short: E. Dimant, T. Krieger, M. Redlin, A Crook Is a Crook … But Is He Still a
    Crook Abroad? - On the Effect of Immigration on Destination-Country Corruption,
    Paderborn University, CIE Center for International Economics, 2013.
date_created: 2018-05-14T07:59:13Z
date_updated: 2022-01-06T06:57:38Z
department:
- _id: '475'
- _id: '200'
- _id: '202'
main_file_link:
- open_access: '1'
  url: https://EconPapers.repec.org/RePEc:pdn:ciepap:71
oa: '1'
publisher: Paderborn University, CIE Center for International Economics
series_title: Working Papers CIE
status: public
title: A Crook is a Crook … But is He Still a Crook Abroad? - On the Effect of Immigration
  on Destination-Country Corruption
type: working_paper
user_id: '135'
volume: 2013-14
year: '2013'
...
