---
_id: '2985'
author:
- first_name: Marcel R
  full_name: Ackermann, Marcel R
  last_name: Ackermann
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
- first_name: Christoph
  full_name: Scholz, Christoph
  last_name: Scholz
citation:
  ama: Ackermann MR, Blömer J, Scholz C. Hardness and Non-Approximability of Bregman
    Clustering Problems. 2011.
  apa: Ackermann, M. R., Blömer, J., &#38; Scholz, C. (2011). Hardness and Non-Approximability
    of Bregman Clustering Problems.
  bibtex: '@article{Ackermann_Blömer_Scholz_2011, series={Electronic Colloquium on
    Computational Complexity (ECCC)}, title={Hardness and Non-Approximability of Bregman
    Clustering Problems.}, author={Ackermann, Marcel R and Blömer, Johannes and Scholz,
    Christoph}, year={2011}, collection={Electronic Colloquium on Computational Complexity
    (ECCC)} }'
  chicago: Ackermann, Marcel R, Johannes Blömer, and Christoph Scholz. “Hardness and
    Non-Approximability of Bregman Clustering Problems.” Electronic Colloquium on
    Computational Complexity (ECCC), 2011.
  ieee: M. R. Ackermann, J. Blömer, and C. Scholz, “Hardness and Non-Approximability
    of Bregman Clustering Problems.” 2011.
  mla: Ackermann, Marcel R., et al. <i>Hardness and Non-Approximability of Bregman
    Clustering Problems.</i> 2011.
  short: M.R. Ackermann, J. Blömer, C. Scholz, (2011).
date_created: 2018-06-05T07:47:21Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
publication_status: published
series_title: Electronic Colloquium on Computational Complexity (ECCC)
status: public
title: Hardness and Non-Approximability of Bregman Clustering Problems.
type: conference
user_id: '25078'
year: '2011'
...
---
_id: '2986'
author:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
citation:
  ama: 'Blömer J. How to Share a Secret. In: <i>Algorithms Unplugged</i>. Berlin,
    Heidelberg: Springer Berlin Heidelberg; 2011:159-168. doi:<a href="https://doi.org/10.1007/978-3-642-15328-0_17">10.1007/978-3-642-15328-0_17</a>'
  apa: 'Blömer, J. (2011). How to Share a Secret. In <i>Algorithms Unplugged</i> (pp.
    159–168). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-642-15328-0_17">https://doi.org/10.1007/978-3-642-15328-0_17</a>'
  bibtex: '@inbook{Blömer_2011, place={Berlin, Heidelberg}, title={How to Share a
    Secret}, DOI={<a href="https://doi.org/10.1007/978-3-642-15328-0_17">10.1007/978-3-642-15328-0_17</a>},
    booktitle={Algorithms Unplugged}, publisher={Springer Berlin Heidelberg}, author={Blömer,
    Johannes}, year={2011}, pages={159–168} }'
  chicago: 'Blömer, Johannes. “How to Share a Secret.” In <i>Algorithms Unplugged</i>,
    159–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. <a href="https://doi.org/10.1007/978-3-642-15328-0_17">https://doi.org/10.1007/978-3-642-15328-0_17</a>.'
  ieee: 'J. Blömer, “How to Share a Secret,” in <i>Algorithms Unplugged</i>, Berlin,
    Heidelberg: Springer Berlin Heidelberg, 2011, pp. 159–168.'
  mla: Blömer, Johannes. “How to Share a Secret.” <i>Algorithms Unplugged</i>, Springer
    Berlin Heidelberg, 2011, pp. 159–68, doi:<a href="https://doi.org/10.1007/978-3-642-15328-0_17">10.1007/978-3-642-15328-0_17</a>.
  short: 'J. Blömer, in: Algorithms Unplugged, Springer Berlin Heidelberg, Berlin,
    Heidelberg, 2011, pp. 159–168.'
date_created: 2018-06-05T07:48:25Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
doi: 10.1007/978-3-642-15328-0_17
page: 159-168
place: Berlin, Heidelberg
publication: Algorithms Unplugged
publication_identifier:
  isbn:
  - '9783642153273'
  - '9783642153280'
publication_status: published
publisher: Springer Berlin Heidelberg
status: public
title: How to Share a Secret
type: book_chapter
user_id: '25078'
year: '2011'
...
---
_id: '3052'
author:
- first_name: Thomas
  full_name: Gries, Thomas
  id: '186'
  last_name: Gries
- first_name: Stefan
  full_name: Gravemeyer, Stefan
  last_name: Gravemeyer
- first_name: Jinjun
  full_name: Xue, Jinjun
  last_name: Xue
citation:
  ama: Gries T, Gravemeyer S, Xue J. Income Determination and Income Discrimination
    in Shenzhen. <i>Urban Studies</i>. 2011;48(7):1457-1475. doi:<a href="https://doi.org/10.1177/0042098010375317">10.1177/0042098010375317</a>
  apa: Gries, T., Gravemeyer, S., &#38; Xue, J. (2011). Income Determination and Income
    Discrimination in Shenzhen. <i>Urban Studies</i>, <i>48</i>(7), 1457–1475. <a
    href="https://doi.org/10.1177/0042098010375317">https://doi.org/10.1177/0042098010375317</a>
  bibtex: '@article{Gries_Gravemeyer_Xue_2011, title={Income Determination and Income
    Discrimination in Shenzhen}, volume={48}, DOI={<a href="https://doi.org/10.1177/0042098010375317">10.1177/0042098010375317</a>},
    number={7}, journal={Urban Studies}, author={Gries, Thomas and Gravemeyer, Stefan
    and Xue, Jinjun}, year={2011}, pages={1457–1475} }'
  chicago: 'Gries, Thomas, Stefan Gravemeyer, and Jinjun Xue. “Income Determination
    and Income Discrimination in Shenzhen.” <i>Urban Studies</i> 48, no. 7 (2011):
    1457–75. <a href="https://doi.org/10.1177/0042098010375317">https://doi.org/10.1177/0042098010375317</a>.'
  ieee: T. Gries, S. Gravemeyer, and J. Xue, “Income Determination and Income Discrimination
    in Shenzhen,” <i>Urban Studies</i>, vol. 48, no. 7, pp. 1457–1475, 2011.
  mla: Gries, Thomas, et al. “Income Determination and Income Discrimination in Shenzhen.”
    <i>Urban Studies</i>, vol. 48, no. 7, 2011, pp. 1457–75, doi:<a href="https://doi.org/10.1177/0042098010375317">10.1177/0042098010375317</a>.
  short: T. Gries, S. Gravemeyer, J. Xue, Urban Studies 48 (2011) 1457–1475.
date_created: 2018-06-05T11:54:07Z
date_updated: 2022-01-06T06:58:54Z
department:
- _id: '19'
- _id: '200'
- _id: '475'
- _id: '202'
doi: 10.1177/0042098010375317
intvolume: '        48'
issue: '7'
language:
- iso: eng
page: 1457-1475
publication: Urban Studies
status: public
title: Income Determination and Income Discrimination in Shenzhen
type: journal_article
user_id: '186'
volume: 48
year: '2011'
...
---
_id: '3053'
author:
- first_name: Thomas
  full_name: Gries, Thomas
  id: '186'
  last_name: Gries
- first_name: Manfred
  full_name: Kraft, Manfred
  last_name: Kraft
- first_name: Daniel
  full_name: Meierrieks, Daniel
  last_name: Meierrieks
citation:
  ama: Gries T, Kraft M, Meierrieks D. Financial Deepening, Trade Openness and Economic
    Growth in Latin America and the Caribbean. <i>Applied Economics</i>. 2011;43(30):4729-4739.
    doi:<a href="https://doi.org/10.1080/00036846.2010.498352">10.1080/00036846.2010.498352</a>
  apa: Gries, T., Kraft, M., &#38; Meierrieks, D. (2011). Financial Deepening, Trade
    Openness and Economic Growth in Latin America and the Caribbean. <i>Applied Economics</i>,
    <i>43</i>(30), 4729–4739. <a href="https://doi.org/10.1080/00036846.2010.498352">https://doi.org/10.1080/00036846.2010.498352</a>
  bibtex: '@article{Gries_Kraft_Meierrieks_2011, title={Financial Deepening, Trade
    Openness and Economic Growth in Latin America and the Caribbean}, volume={43},
    DOI={<a href="https://doi.org/10.1080/00036846.2010.498352">10.1080/00036846.2010.498352</a>},
    number={30}, journal={Applied Economics}, author={Gries, Thomas and Kraft, Manfred
    and Meierrieks, Daniel}, year={2011}, pages={4729–4739} }'
  chicago: 'Gries, Thomas, Manfred Kraft, and Daniel Meierrieks. “Financial Deepening,
    Trade Openness and Economic Growth in Latin America and the Caribbean.” <i>Applied
    Economics</i> 43, no. 30 (2011): 4729–39. <a href="https://doi.org/10.1080/00036846.2010.498352">https://doi.org/10.1080/00036846.2010.498352</a>.'
  ieee: T. Gries, M. Kraft, and D. Meierrieks, “Financial Deepening, Trade Openness
    and Economic Growth in Latin America and the Caribbean,” <i>Applied Economics</i>,
    vol. 43, no. 30, pp. 4729–4739, 2011.
  mla: Gries, Thomas, et al. “Financial Deepening, Trade Openness and Economic Growth
    in Latin America and the Caribbean.” <i>Applied Economics</i>, vol. 43, no. 30,
    2011, pp. 4729–39, doi:<a href="https://doi.org/10.1080/00036846.2010.498352">10.1080/00036846.2010.498352</a>.
  short: T. Gries, M. Kraft, D. Meierrieks, Applied Economics 43 (2011) 4729–4739.
date_created: 2018-06-05T11:57:33Z
date_updated: 2022-01-06T06:58:54Z
department:
- _id: '19'
- _id: '200'
- _id: '475'
- _id: '202'
doi: 10.1080/00036846.2010.498352
intvolume: '        43'
issue: '30'
language:
- iso: eng
page: 4729 - 4739
publication: Applied Economics
status: public
title: Financial Deepening, Trade Openness and Economic Growth in Latin America and
  the Caribbean
type: journal_article
user_id: '186'
volume: 43
year: '2011'
...
---
_id: '3054'
author:
- first_name: Thomas
  full_name: Gries, Thomas
  id: '186'
  last_name: Gries
- first_name: Tim
  full_name: Krieger, Tim
  last_name: Krieger
- first_name: Daniel
  full_name: Meierrieks, Daniel
  last_name: Meierrieks
citation:
  ama: Gries T, Krieger T, Meierrieks D. Causal Linkages Between Domestic Terrorism
    and Economic Growth. <i>Defence and Peace Economics</i>. 2011;22(5):493-508. doi:<a
    href="https://doi.org/10.1080/10242694.2010.532943">10.1080/10242694.2010.532943</a>
  apa: Gries, T., Krieger, T., &#38; Meierrieks, D. (2011). Causal Linkages Between
    Domestic Terrorism and Economic Growth. <i>Defence and Peace Economics</i>, <i>22</i>(5),
    493–508. <a href="https://doi.org/10.1080/10242694.2010.532943">https://doi.org/10.1080/10242694.2010.532943</a>
  bibtex: '@article{Gries_Krieger_Meierrieks_2011, title={Causal Linkages Between
    Domestic Terrorism and Economic Growth}, volume={22}, DOI={<a href="https://doi.org/10.1080/10242694.2010.532943">10.1080/10242694.2010.532943</a>},
    number={5}, journal={Defence and Peace Economics}, author={Gries, Thomas and Krieger,
    Tim and Meierrieks, Daniel}, year={2011}, pages={493–508} }'
  chicago: 'Gries, Thomas, Tim Krieger, and Daniel Meierrieks. “Causal Linkages Between
    Domestic Terrorism and Economic Growth.” <i>Defence and Peace Economics</i> 22,
    no. 5 (2011): 493–508. <a href="https://doi.org/10.1080/10242694.2010.532943">https://doi.org/10.1080/10242694.2010.532943</a>.'
  ieee: T. Gries, T. Krieger, and D. Meierrieks, “Causal Linkages Between Domestic
    Terrorism and Economic Growth,” <i>Defence and Peace Economics</i>, vol. 22, no.
    5, pp. 493–508, 2011.
  mla: Gries, Thomas, et al. “Causal Linkages Between Domestic Terrorism and Economic
    Growth.” <i>Defence and Peace Economics</i>, vol. 22, no. 5, 2011, pp. 493–508,
    doi:<a href="https://doi.org/10.1080/10242694.2010.532943">10.1080/10242694.2010.532943</a>.
  short: T. Gries, T. Krieger, D. Meierrieks, Defence and Peace Economics 22 (2011)
    493–508.
date_created: 2018-06-05T12:00:14Z
date_updated: 2022-01-06T06:58:54Z
department:
- _id: '19'
- _id: '200'
- _id: '475'
- _id: '202'
doi: 10.1080/10242694.2010.532943
intvolume: '        22'
issue: '5'
language:
- iso: eng
page: 493 - 508
publication: Defence and Peace Economics
status: public
title: Causal Linkages Between Domestic Terrorism and Economic Growth
type: journal_article
user_id: '186'
volume: 22
year: '2011'
...
---
_id: '3058'
author:
- first_name: Thomas
  full_name: Gries, Thomas
  id: '186'
  last_name: Gries
- first_name: Manfred
  full_name: Kraft, Manfred
  last_name: Kraft
- first_name: Christina
  full_name: Piek, Christina
  last_name: Piek
citation:
  ama: Gries T, Kraft M, Piek C. Interregional Migration, Self-selection and the Returns
    to Education in Brazil. <i>The Annals of Regional Science</i>. 2011;46(3):707-732.
    doi:<a href="https://doi.org/10.1007/s00168-009-0344-1">10.1007/s00168-009-0344-1</a>
  apa: Gries, T., Kraft, M., &#38; Piek, C. (2011). Interregional Migration, Self-selection
    and the Returns to Education in Brazil. <i>The Annals of Regional Science</i>,
    <i>46</i>(3), 707–732. <a href="https://doi.org/10.1007/s00168-009-0344-1">https://doi.org/10.1007/s00168-009-0344-1</a>
  bibtex: '@article{Gries_Kraft_Piek_2011, title={Interregional Migration, Self-selection
    and the Returns to Education in Brazil}, volume={46}, DOI={<a href="https://doi.org/10.1007/s00168-009-0344-1">10.1007/s00168-009-0344-1</a>},
    number={3}, journal={The Annals of Regional Science}, author={Gries, Thomas and
    Kraft, Manfred and Piek, Christina}, year={2011}, pages={707–732} }'
  chicago: 'Gries, Thomas, Manfred Kraft, and Christina Piek. “Interregional Migration,
    Self-Selection and the Returns to Education in Brazil.” <i>The Annals of Regional
    Science</i> 46, no. 3 (2011): 707–32. <a href="https://doi.org/10.1007/s00168-009-0344-1">https://doi.org/10.1007/s00168-009-0344-1</a>.'
  ieee: T. Gries, M. Kraft, and C. Piek, “Interregional Migration, Self-selection
    and the Returns to Education in Brazil,” <i>The Annals of Regional Science</i>,
    vol. 46, no. 3, pp. 707–732, 2011.
  mla: Gries, Thomas, et al. “Interregional Migration, Self-Selection and the Returns
    to Education in Brazil.” <i>The Annals of Regional Science</i>, vol. 46, no. 3,
    2011, pp. 707–32, doi:<a href="https://doi.org/10.1007/s00168-009-0344-1">10.1007/s00168-009-0344-1</a>.
  short: T. Gries, M. Kraft, C. Piek, The Annals of Regional Science 46 (2011) 707–732.
date_created: 2018-06-05T12:11:44Z
date_updated: 2022-01-06T06:58:54Z
department:
- _id: '19'
- _id: '200'
- _id: '475'
- _id: '202'
doi: 10.1007/s00168-009-0344-1
intvolume: '        46'
issue: '3'
language:
- iso: eng
page: 707-732
publication: The Annals of Regional Science
status: public
title: Interregional Migration, Self-selection and the Returns to Education in Brazil
type: journal_article
user_id: '186'
volume: 46
year: '2011'
...
---
_id: '3137'
author:
- first_name: Dennis
  full_name: Hofheinz, Dennis
  last_name: Hofheinz
- first_name: Tibor
  full_name: Jager, Tibor
  id: '64669'
  last_name: Jager
- first_name: Eike
  full_name: Kiltz, Eike
  last_name: Kiltz
citation:
  ama: 'Hofheinz D, Jager T, Kiltz E. Short Signatures from Weaker Assumptions. In:
    <i>Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on
    the Theory and Application of Cryptology and Information Security, Seoul, South
    Korea, December 4-8, 2011. Proceedings</i>. ; 2011:647--666. doi:<a href="https://doi.org/10.1007/978-3-642-25385-0_35">10.1007/978-3-642-25385-0_35</a>'
  apa: Hofheinz, D., Jager, T., &#38; Kiltz, E. (2011). Short Signatures from Weaker
    Assumptions. In <i>Advances in Cryptology - ASIACRYPT 2011 - 17th International
    Conference on the Theory and Application of Cryptology and Information Security,
    Seoul, South Korea, December 4-8, 2011. Proceedings</i> (pp. 647--666). <a href="https://doi.org/10.1007/978-3-642-25385-0_35">https://doi.org/10.1007/978-3-642-25385-0_35</a>
  bibtex: '@inproceedings{Hofheinz_Jager_Kiltz_2011, title={Short Signatures from
    Weaker Assumptions}, DOI={<a href="https://doi.org/10.1007/978-3-642-25385-0_35">10.1007/978-3-642-25385-0_35</a>},
    booktitle={Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference
    on the Theory and Application of Cryptology and Information Security, Seoul, South
    Korea, December 4-8, 2011. Proceedings}, author={Hofheinz, Dennis and Jager, Tibor
    and Kiltz, Eike}, year={2011}, pages={647--666} }'
  chicago: Hofheinz, Dennis, Tibor Jager, and Eike Kiltz. “Short Signatures from Weaker
    Assumptions.” In <i>Advances in Cryptology - ASIACRYPT 2011 - 17th International
    Conference on the Theory and Application of Cryptology and Information Security,
    Seoul, South Korea, December 4-8, 2011. Proceedings</i>, 647--666, 2011. <a href="https://doi.org/10.1007/978-3-642-25385-0_35">https://doi.org/10.1007/978-3-642-25385-0_35</a>.
  ieee: D. Hofheinz, T. Jager, and E. Kiltz, “Short Signatures from Weaker Assumptions,”
    in <i>Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference
    on the Theory and Application of Cryptology and Information Security, Seoul, South
    Korea, December 4-8, 2011. Proceedings</i>, 2011, pp. 647--666.
  mla: Hofheinz, Dennis, et al. “Short Signatures from Weaker Assumptions.” <i>Advances
    in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and
    Application of Cryptology and Information Security, Seoul, South Korea, December
    4-8, 2011. Proceedings</i>, 2011, pp. 647--666, doi:<a href="https://doi.org/10.1007/978-3-642-25385-0_35">10.1007/978-3-642-25385-0_35</a>.
  short: 'D. Hofheinz, T. Jager, E. Kiltz, in: Advances in Cryptology - ASIACRYPT
    2011 - 17th International Conference on the Theory and Application of Cryptology
    and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings,
    2011, pp. 647--666.'
date_created: 2018-06-07T09:27:58Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-642-25385-0_35
extern: '1'
page: 647--666
publication: Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference
  on the Theory and Application of Cryptology and Information Security, Seoul, South
  Korea, December 4-8, 2011. Proceedings
status: public
title: Short Signatures from Weaker Assumptions
type: conference
user_id: '38235'
year: '2011'
...
---
_id: '3138'
author:
- first_name: Tibor
  full_name: Jager, Tibor
  id: '64669'
  last_name: Jager
- first_name: Juraj
  full_name: Somorovsky, Juraj
  last_name: Somorovsky
citation:
  ama: 'Jager T, Somorovsky J. How to break XML encryption. In: <i>Proceedings of
    the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago,
    Illinois, USA, October 17-21, 2011</i>. ; 2011:413--422. doi:<a href="https://doi.org/10.1145/2046707.2046756">10.1145/2046707.2046756</a>'
  apa: Jager, T., &#38; Somorovsky, J. (2011). How to break XML encryption. In <i>Proceedings
    of the 18th ACM Conference on Computer and Communications Security, CCS 2011,
    Chicago, Illinois, USA, October 17-21, 2011</i> (pp. 413--422). <a href="https://doi.org/10.1145/2046707.2046756">https://doi.org/10.1145/2046707.2046756</a>
  bibtex: '@inproceedings{Jager_Somorovsky_2011, title={How to break XML encryption},
    DOI={<a href="https://doi.org/10.1145/2046707.2046756">10.1145/2046707.2046756</a>},
    booktitle={Proceedings of the 18th ACM Conference on Computer and Communications
    Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011}, author={Jager,
    Tibor and Somorovsky, Juraj}, year={2011}, pages={413--422} }'
  chicago: Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.” In <i>Proceedings
    of the 18th ACM Conference on Computer and Communications Security, CCS 2011,
    Chicago, Illinois, USA, October 17-21, 2011</i>, 413--422, 2011. <a href="https://doi.org/10.1145/2046707.2046756">https://doi.org/10.1145/2046707.2046756</a>.
  ieee: T. Jager and J. Somorovsky, “How to break XML encryption,” in <i>Proceedings
    of the 18th ACM Conference on Computer and Communications Security, CCS 2011,
    Chicago, Illinois, USA, October 17-21, 2011</i>, 2011, pp. 413--422.
  mla: Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.” <i>Proceedings
    of the 18th ACM Conference on Computer and Communications Security, CCS 2011,
    Chicago, Illinois, USA, October 17-21, 2011</i>, 2011, pp. 413--422, doi:<a href="https://doi.org/10.1145/2046707.2046756">10.1145/2046707.2046756</a>.
  short: 'T. Jager, J. Somorovsky, in: Proceedings of the 18th ACM Conference on Computer
    and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21,
    2011, 2011, pp. 413--422.'
date_created: 2018-06-07T09:28:23Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1145/2046707.2046756
extern: '1'
page: 413--422
publication: Proceedings of the 18th ACM Conference on Computer and Communications
  Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011
status: public
title: How to break XML encryption
type: conference
user_id: '38235'
year: '2011'
...
---
_id: '3183'
author:
- first_name: Steve
  full_name: Schneider, Steve
  last_name: Schneider
- first_name: Helen
  full_name: Treharne, Helen
  last_name: Treharne
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Schneider S, Treharne H, Wehrheim H. Bounded Retransmission in Event-B{\(\parallel\)}CSP:
    a Case Study. <i>Electr Notes Theor Comput Sci</i>. 2011:69--80. doi:<a href="https://doi.org/10.1016/j.entcs.2011.11.019">10.1016/j.entcs.2011.11.019</a>'
  apa: 'Schneider, S., Treharne, H., &#38; Wehrheim, H. (2011). Bounded Retransmission
    in Event-B{\(\parallel\)}CSP: a Case Study. <i>Electr. Notes Theor. Comput. Sci.</i>,
    69--80. <a href="https://doi.org/10.1016/j.entcs.2011.11.019">https://doi.org/10.1016/j.entcs.2011.11.019</a>'
  bibtex: '@article{Schneider_Treharne_Wehrheim_2011, title={Bounded Retransmission
    in Event-B{\(\parallel\)}CSP: a Case Study}, DOI={<a href="https://doi.org/10.1016/j.entcs.2011.11.019">10.1016/j.entcs.2011.11.019</a>},
    journal={Electr. Notes Theor. Comput. Sci.}, author={Schneider, Steve and Treharne,
    Helen and Wehrheim, Heike}, year={2011}, pages={69--80} }'
  chicago: 'Schneider, Steve, Helen Treharne, and Heike Wehrheim. “Bounded Retransmission
    in Event-B{\(\parallel\)}CSP: A Case Study.” <i>Electr. Notes Theor. Comput. Sci.</i>,
    2011, 69--80. <a href="https://doi.org/10.1016/j.entcs.2011.11.019">https://doi.org/10.1016/j.entcs.2011.11.019</a>.'
  ieee: 'S. Schneider, H. Treharne, and H. Wehrheim, “Bounded Retransmission in Event-B{\(\parallel\)}CSP:
    a Case Study,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 69--80, 2011.'
  mla: 'Schneider, Steve, et al. “Bounded Retransmission in Event-B{\(\parallel\)}CSP:
    A Case Study.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2011, pp. 69--80, doi:<a
    href="https://doi.org/10.1016/j.entcs.2011.11.019">10.1016/j.entcs.2011.11.019</a>.'
  short: S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci.
    (2011) 69--80.
date_created: 2018-06-13T08:20:47Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2011.11.019
page: 69--80
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: 'Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study'
type: journal_article
user_id: '29719'
year: '2011'
...
---
_id: '3184'
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. Mechanically verified proof obligations
    for linearizability. <i>{ACM} Trans Program Lang Syst</i>. 2011;(1):4:1--4:43.
    doi:<a href="https://doi.org/10.1145/1889997.1890001">10.1145/1889997.1890001</a>
  apa: Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2011). Mechanically verified
    proof obligations for linearizability. <i>{ACM} Trans. Program. Lang. Syst.</i>,
    (1), 4:1--4:43. <a href="https://doi.org/10.1145/1889997.1890001">https://doi.org/10.1145/1889997.1890001</a>
  bibtex: '@article{Derrick_Schellhorn_Wehrheim_2011, title={Mechanically verified
    proof obligations for linearizability}, DOI={<a href="https://doi.org/10.1145/1889997.1890001">10.1145/1889997.1890001</a>},
    number={1}, journal={{ACM} Trans. Program. Lang. Syst.}, author={Derrick, John
    and Schellhorn, Gerhard and Wehrheim, Heike}, year={2011}, pages={4:1--4:43} }'
  chicago: 'Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanically Verified
    Proof Obligations for Linearizability.” <i>{ACM} Trans. Program. Lang. Syst.</i>,
    no. 1 (2011): 4:1--4:43. <a href="https://doi.org/10.1145/1889997.1890001">https://doi.org/10.1145/1889997.1890001</a>.'
  ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanically verified proof obligations
    for linearizability,” <i>{ACM} Trans. Program. Lang. Syst.</i>, no. 1, pp. 4:1--4:43,
    2011.
  mla: Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.”
    <i>{ACM} Trans. Program. Lang. Syst.</i>, no. 1, 2011, pp. 4:1--4:43, doi:<a href="https://doi.org/10.1145/1889997.1890001">10.1145/1889997.1890001</a>.
  short: J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst.
    (2011) 4:1--4:43.
date_created: 2018-06-13T08:22:02Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1145/1889997.1890001
issue: '1'
page: 4:1--4:43
publication: '{ACM} Trans. Program. Lang. Syst.'
status: public
title: Mechanically verified proof obligations for linearizability
type: journal_article
user_id: '29719'
year: '2011'
...
---
_id: '3185'
author:
- first_name: Thomas
  full_name: Ruhroth, Thomas
  last_name: Ruhroth
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Steffen
  full_name: Ziegert, Steffen
  last_name: Ziegert
citation:
  ama: 'Ruhroth T, Wehrheim H, Ziegert S. ReL: {A} Generic Refactoring Language for
    Specification and Execution. In: <i>37th {EUROMICRO} Conference on Software Engineering
    and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2,
    2011</i>. ; 2011:83--90. doi:<a href="https://doi.org/10.1109/SEAA.2011.22">10.1109/SEAA.2011.22</a>'
  apa: 'Ruhroth, T., Wehrheim, H., &#38; Ziegert, S. (2011). ReL: {A} Generic Refactoring
    Language for Specification and Execution. In <i>37th {EUROMICRO} Conference on
    Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August
    30 - September 2, 2011</i> (pp. 83--90). <a href="https://doi.org/10.1109/SEAA.2011.22">https://doi.org/10.1109/SEAA.2011.22</a>'
  bibtex: '@inproceedings{Ruhroth_Wehrheim_Ziegert_2011, title={ReL: {A} Generic Refactoring
    Language for Specification and Execution}, DOI={<a href="https://doi.org/10.1109/SEAA.2011.22">10.1109/SEAA.2011.22</a>},
    booktitle={37th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
    {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011}, author={Ruhroth, Thomas
    and Wehrheim, Heike and Ziegert, Steffen}, year={2011}, pages={83--90} }'
  chicago: 'Ruhroth, Thomas, Heike Wehrheim, and Steffen Ziegert. “ReL: {A} Generic
    Refactoring Language for Specification and Execution.” In <i>37th {EUROMICRO}
    Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu,
    Finland, August 30 - September 2, 2011</i>, 83--90, 2011. <a href="https://doi.org/10.1109/SEAA.2011.22">https://doi.org/10.1109/SEAA.2011.22</a>.'
  ieee: 'T. Ruhroth, H. Wehrheim, and S. Ziegert, “ReL: {A} Generic Refactoring Language
    for Specification and Execution,” in <i>37th {EUROMICRO} Conference on Software
    Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 -
    September 2, 2011</i>, 2011, pp. 83--90.'
  mla: 'Ruhroth, Thomas, et al. “ReL: {A} Generic Refactoring Language for Specification
    and Execution.” <i>37th {EUROMICRO} Conference on Software Engineering and Advanced
    Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011</i>, 2011,
    pp. 83--90, doi:<a href="https://doi.org/10.1109/SEAA.2011.22">10.1109/SEAA.2011.22</a>.'
  short: 'T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on
    Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August
    30 - September 2, 2011, 2011, pp. 83--90.'
date_created: 2018-06-13T08:23:28Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1109/SEAA.2011.22
page: 83--90
publication: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
  {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011
status: public
title: 'ReL: {A} Generic Refactoring Language for Specification and Execution'
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '3186'
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. Verifying Linearisability with Potential
    Linearisation Points. In: J. Butler M, Schulte W, eds. <i>{FM} 2011: Formal Methods
    - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24,
    2011. Proceedings</i>. Lecture Notes in Computer Science. ; 2011:323--337. doi:<a
    href="https://doi.org/10.1007/978-3-642-21437-0_25">10.1007/978-3-642-21437-0_25</a>'
  apa: 'Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2011). Verifying Linearisability
    with Potential Linearisation Points. In M. J. Butler &#38; W. Schulte (Eds.),
    <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods,
    Limerick, Ireland, June 20-24, 2011. Proceedings</i> (pp. 323--337). <a href="https://doi.org/10.1007/978-3-642-21437-0_25">https://doi.org/10.1007/978-3-642-21437-0_25</a>'
  bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2011, series={Lecture Notes
    in Computer Science}, title={Verifying Linearisability with Potential Linearisation
    Points}, DOI={<a href="https://doi.org/10.1007/978-3-642-21437-0_25">10.1007/978-3-642-21437-0_25</a>},
    booktitle={{FM} 2011: Formal Methods - 17th International Symposium on Formal
    Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, author={Derrick, John
    and Schellhorn, Gerhard and Wehrheim, Heike}, editor={J. Butler, Michael and Schulte,
    WolframEditors}, year={2011}, pages={323--337}, collection={Lecture Notes in Computer
    Science} }'
  chicago: 'Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Linearisability
    with Potential Linearisation Points.” In <i>{FM} 2011: Formal Methods - 17th International
    Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i>,
    edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer
    Science, 2011. <a href="https://doi.org/10.1007/978-3-642-21437-0_25">https://doi.org/10.1007/978-3-642-21437-0_25</a>.'
  ieee: 'J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with
    Potential Linearisation Points,” in <i>{FM} 2011: Formal Methods - 17th International
    Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i>,
    2011, pp. 323--337.'
  mla: 'Derrick, John, et al. “Verifying Linearisability with Potential Linearisation
    Points.” <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal
    Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i>, edited by Michael
    J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:<a href="https://doi.org/10.1007/978-3-642-21437-0_25">10.1007/978-3-642-21437-0_25</a>.'
  short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.),
    {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick,
    Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.'
date_created: 2018-06-13T08:25:07Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1007/978-3-642-21437-0_25
editor:
- first_name: Michael
  full_name: J. Butler, Michael
  last_name: J. Butler
- first_name: Wolfram
  full_name: Schulte, Wolfram
  last_name: Schulte
page: 323--337
publication: '{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods,
  Limerick, Ireland, June 20-24, 2011. Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Verifying Linearisability with Potential Linearisation Points
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '3187'
author:
- first_name: Dominik
  full_name: Steenken, Dominik
  last_name: Steenken
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Daniel
  full_name: Wonisch, Daniel
  last_name: Wonisch
citation:
  ama: 'Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation.
    In: da Silva Sim{\~{a}}o A, Morgan C, eds. <i>Formal Methods, Foundations and
    Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil,
    September 26-30, 2011, Revised Selected Papers</i>. Lecture Notes in Computer
    Science. ; 2011:92--107. doi:<a href="https://doi.org/10.1007/978-3-642-25032-3_7">10.1007/978-3-642-25032-3_7</a>'
  apa: Steenken, D., Wehrheim, H., &#38; Wonisch, D. (2011). Sound and Complete Abstract
    Graph Transformation. In A. da Silva Sim{\~{a}}o &#38; C. Morgan (Eds.), <i>Formal
    Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011,
    S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i> (pp.
    92--107). <a href="https://doi.org/10.1007/978-3-642-25032-3_7">https://doi.org/10.1007/978-3-642-25032-3_7</a>
  bibtex: '@inproceedings{Steenken_Wehrheim_Wonisch_2011, series={Lecture Notes in
    Computer Science}, title={Sound and Complete Abstract Graph Transformation}, DOI={<a
    href="https://doi.org/10.1007/978-3-642-25032-3_7">10.1007/978-3-642-25032-3_7</a>},
    booktitle={Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
    {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected
    Papers}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, editor={da
    Silva Sim{\~{a}}o, Adenilso and Morgan, CarrollEditors}, year={2011}, pages={92--107},
    collection={Lecture Notes in Computer Science} }'
  chicago: Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Sound and Complete
    Abstract Graph Transformation.” In <i>Formal Methods, Foundations and Applications
    - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30,
    2011, Revised Selected Papers</i>, edited by Adenilso da Silva Sim{\~{a}}o and
    Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011. <a href="https://doi.org/10.1007/978-3-642-25032-3_7">https://doi.org/10.1007/978-3-642-25032-3_7</a>.
  ieee: D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph
    Transformation,” in <i>Formal Methods, Foundations and Applications - 14th Brazilian
    Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
    Selected Papers</i>, 2011, pp. 92--107.
  mla: Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.”
    <i>Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF}
    2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i>,
    edited by Adenilso da Silva Sim{\~{a}}o and Carroll Morgan, 2011, pp. 92--107,
    doi:<a href="https://doi.org/10.1007/978-3-642-25032-3_7">10.1007/978-3-642-25032-3_7</a>.
  short: 'D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan
    (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
    {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected
    Papers, 2011, pp. 92--107.'
date_created: 2018-06-13T08:32:12Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1007/978-3-642-25032-3_7
editor:
- first_name: Adenilso
  full_name: da Silva Sim{\~{a}}o, Adenilso
  last_name: da Silva Sim{\~{a}}o
- first_name: Carroll
  full_name: Morgan, Carroll
  last_name: Morgan
page: 92--107
publication: Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
  {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
series_title: Lecture Notes in Computer Science
status: public
title: Sound and Complete Abstract Graph Transformation
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '3188'
author:
- first_name: Steve
  full_name: Schneider, Steve
  last_name: Schneider
- first_name: Helen
  full_name: Treharne, Helen
  last_name: Treharne
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Schneider S, Treharne H, Wehrheim H. A {CSP} Account of Event-B Refinement.
    In: Derrick J, A. Boiten E, Reeves S, eds. <i>Proceedings 15th International Refinement
    Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i> {EPTCS}. ; 2011:139--154.
    doi:<a href="https://doi.org/10.4204/EPTCS.55.9">10.4204/EPTCS.55.9</a>'
  apa: Schneider, S., Treharne, H., &#38; Wehrheim, H. (2011). A {CSP} Account of
    Event-B Refinement. In J. Derrick, E. A. Boiten, &#38; S. Reeves (Eds.), <i>Proceedings
    15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th
    June 2011.</i> (pp. 139--154). <a href="https://doi.org/10.4204/EPTCS.55.9">https://doi.org/10.4204/EPTCS.55.9</a>
  bibtex: '@inproceedings{Schneider_Treharne_Wehrheim_2011, series={{EPTCS}}, title={A
    {CSP} Account of Event-B Refinement}, DOI={<a href="https://doi.org/10.4204/EPTCS.55.9">10.4204/EPTCS.55.9</a>},
    booktitle={Proceedings 15th International Refinement Workshop, Refine@FM 2011,
    Limerick, Ireland, 20th June 2011.}, author={Schneider, Steve and Treharne, Helen
    and Wehrheim, Heike}, editor={Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors},
    year={2011}, pages={139--154}, collection={{EPTCS}} }'
  chicago: Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Account
    of Event-B Refinement.” In <i>Proceedings 15th International Refinement Workshop,
    Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i>, edited by John Derrick,
    Eerke A. Boiten, and Steve Reeves, 139--154. {EPTCS}, 2011. <a href="https://doi.org/10.4204/EPTCS.55.9">https://doi.org/10.4204/EPTCS.55.9</a>.
  ieee: S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Account of Event-B Refinement,”
    in <i>Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick,
    Ireland, 20th June 2011.</i>, 2011, pp. 139--154.
  mla: Schneider, Steve, et al. “A {CSP} Account of Event-B Refinement.” <i>Proceedings
    15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th
    June 2011.</i>, edited by John Derrick et al., 2011, pp. 139--154, doi:<a href="https://doi.org/10.4204/EPTCS.55.9">10.4204/EPTCS.55.9</a>.
  short: 'S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S.
    Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011,
    Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.'
date_created: 2018-06-13T08:43:19Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.4204/EPTCS.55.9
editor:
- first_name: John
  full_name: Derrick, John
  last_name: Derrick
- first_name: Eerke
  full_name: A. Boiten, Eerke
  last_name: A. Boiten
- first_name: Steve
  full_name: Reeves, Steve
  last_name: Reeves
page: 139--154
publication: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick,
  Ireland, 20th June 2011.
series_title: '{EPTCS}'
status: public
title: A {CSP} Account of Event-B Refinement
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '26981'
author:
- first_name: Christoph
  full_name: Sondermann-Wölke, Christoph
  last_name: Sondermann-Wölke
- first_name: Walter
  full_name: Sextro, Walter
  id: '21220'
  last_name: Sextro
- first_name: Peter
  full_name: Reinold, Peter
  last_name: Reinold
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
citation:
  ama: "Sondermann-Wölke C, Sextro W, Reinold P, Trächtler A. Zuverlässigkeitsorientierte
    Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs. In: <i>Technische
    Zuverlässigkeit \x96TTZ</i>. ; 2011."
  apa: "Sondermann-Wölke, C., Sextro, W., Reinold, P., &#38; Trächtler, A. (2011).
    Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines
    X-by-wire-Fahrzeugs. <i>Technische Zuverlässigkeit \x96TTZ</i>."
  bibtex: "@inproceedings{Sondermann-Wölke_Sextro_Reinold_Trächtler_2011, title={Zuverlässigkeitsorientierte
    Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs}, booktitle={Technische
    Zuverlässigkeit \x96TTZ}, author={Sondermann-Wölke, Christoph and Sextro, Walter
    and Reinold, Peter and Trächtler, Ansgar}, year={2011} }"
  chicago: "Sondermann-Wölke, Christoph, Walter Sextro, Peter Reinold, and Ansgar
    Trächtler. “Zuverlässigkeitsorientierte Mehrzieloptimierung Zur Aktorrekonfiguration
    Eines X-by-Wire-Fahrzeugs.” In <i>Technische Zuverlässigkeit \x96TTZ</i>, 2011."
  ieee: C. Sondermann-Wölke, W. Sextro, P. Reinold, and A. Trächtler, “Zuverlässigkeitsorientierte
    Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs,” 2011.
  mla: "Sondermann-Wölke, Christoph, et al. “Zuverlässigkeitsorientierte Mehrzieloptimierung
    Zur Aktorrekonfiguration Eines X-by-Wire-Fahrzeugs.” <i>Technische Zuverlässigkeit
    \x96TTZ</i>, 2011."
  short: "C. Sondermann-Wölke, W. Sextro, P. Reinold, A. Trächtler, in: Technische
    Zuverlässigkeit \x96TTZ, 2011."
date_created: 2021-10-27T11:04:55Z
date_updated: 2022-01-06T06:57:31Z
department:
- _id: '675'
language:
- iso: eng
publication: "Technische Zuverlässigkeit \x96TTZ"
status: public
title: Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines
  X-by-wire-Fahrzeugs
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26982'
author:
- first_name: Rafal
  full_name: Krol, Rafal
  last_name: Krol
citation:
  ama: Krol R. <i>Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle
    Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM)</i>.
    Vol Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band
    293; 2011.
  apa: 'Krol, R. (2011). <i>Eine Reduktionsmethode zur Ableitung elektromechanischer
    Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente-
    Methode (FEM): Vol. Band 293</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, Band 293.'
  bibtex: '@book{Krol_2011, title={Eine Reduktionsmethode zur Ableitung elektromechanischer
    Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente-
    Methode (FEM)}, volume={Band 293}, publisher={Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, Paderborn, Band 293}, author={Krol, Rafal}, year={2011} }'
  chicago: Krol, Rafal. <i>Eine Reduktionsmethode Zur Ableitung Elektromechanischer
    Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente-
    Methode (FEM)</i>. Vol. Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, Band 293, 2011.
  ieee: R. Krol, <i>Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle
    für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)</i>,
    vol. Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band
    293, 2011.
  mla: Krol, Rafal. <i>Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle
    Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM)</i>.
    Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.
  short: R. Krol, Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle
    Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM),
    Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.
date_created: 2021-10-27T11:07:17Z
date_updated: 2022-01-06T06:57:31Z
department:
- _id: '675'
language:
- iso: eng
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293
status: public
title: Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für
  piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)
type: dissertation
user_id: '21240'
volume: Band 293
year: '2011'
...
---
_id: '27010'
author:
- first_name: Katharina
  full_name: Diethelm, Katharina
  last_name: Diethelm
- first_name: Thomas
  full_name: Remer, Thomas
  last_name: Remer
- first_name: Hannah
  full_name: Jilani, Hannah
  last_name: Jilani
- first_name: Clemens
  full_name: Kunz, Clemens
  last_name: Kunz
- first_name: Anette
  full_name: Buyken, Anette
  id: '65985'
  last_name: Buyken
citation:
  ama: Diethelm K, Remer T, Jilani H, Kunz C, Buyken A. Associations between the macronutrient
    composition of the evening meal and average daily sleep duration in early childhood.
    <i>Clinical Nutrition</i>. Published online 2011:640-646. doi:<a href="https://doi.org/10.1016/j.clnu.2011.05.004">10.1016/j.clnu.2011.05.004</a>
  apa: Diethelm, K., Remer, T., Jilani, H., Kunz, C., &#38; Buyken, A. (2011). Associations
    between the macronutrient composition of the evening meal and average daily sleep
    duration in early childhood. <i>Clinical Nutrition</i>, 640–646. <a href="https://doi.org/10.1016/j.clnu.2011.05.004">https://doi.org/10.1016/j.clnu.2011.05.004</a>
  bibtex: '@article{Diethelm_Remer_Jilani_Kunz_Buyken_2011, title={Associations between
    the macronutrient composition of the evening meal and average daily sleep duration
    in early childhood}, DOI={<a href="https://doi.org/10.1016/j.clnu.2011.05.004">10.1016/j.clnu.2011.05.004</a>},
    journal={Clinical Nutrition}, author={Diethelm, Katharina and Remer, Thomas and
    Jilani, Hannah and Kunz, Clemens and Buyken, Anette}, year={2011}, pages={640–646}
    }'
  chicago: Diethelm, Katharina, Thomas Remer, Hannah Jilani, Clemens Kunz, and Anette
    Buyken. “Associations between the Macronutrient Composition of the Evening Meal
    and Average Daily Sleep Duration in Early Childhood.” <i>Clinical Nutrition</i>,
    2011, 640–46. <a href="https://doi.org/10.1016/j.clnu.2011.05.004">https://doi.org/10.1016/j.clnu.2011.05.004</a>.
  ieee: 'K. Diethelm, T. Remer, H. Jilani, C. Kunz, and A. Buyken, “Associations between
    the macronutrient composition of the evening meal and average daily sleep duration
    in early childhood,” <i>Clinical Nutrition</i>, pp. 640–646, 2011, doi: <a href="https://doi.org/10.1016/j.clnu.2011.05.004">10.1016/j.clnu.2011.05.004</a>.'
  mla: Diethelm, Katharina, et al. “Associations between the Macronutrient Composition
    of the Evening Meal and Average Daily Sleep Duration in Early Childhood.” <i>Clinical
    Nutrition</i>, 2011, pp. 640–46, doi:<a href="https://doi.org/10.1016/j.clnu.2011.05.004">10.1016/j.clnu.2011.05.004</a>.
  short: K. Diethelm, T. Remer, H. Jilani, C. Kunz, A. Buyken, Clinical Nutrition
    (2011) 640–646.
date_created: 2021-10-29T13:52:19Z
date_updated: 2022-01-06T06:57:32Z
department:
- _id: '17'
- _id: '22'
- _id: '571'
doi: 10.1016/j.clnu.2011.05.004
language:
- iso: eng
page: 640-646
publication: Clinical Nutrition
publication_identifier:
  issn:
  - 0261-5614
publication_status: published
status: public
title: Associations between the macronutrient composition of the evening meal and
  average daily sleep duration in early childhood
type: journal_article
user_id: '61597'
year: '2011'
...
---
_id: '27011'
abstract:
- lang: eng
  text: <jats:p>There are no published data regarding the overall dietary glycaemic
    index (GI) and glycaemic load (GL) of Australian children and adolescents. We
    therefore aim to describe the dietary GI and GL of participants of the 2007 Australian
    National Children's Nutrition and Physical Activity Survey (2007ANCNPAS), and
    to identify the main foods contributing to their GL. Children, aged 2–16 years,
    who provided two 24 h recalls in the 2007ANCNPAS were included. A final dataset
    of 4184 participants was analysed. GI of each food item was assigned using a previously
    published method. GL was calculated, and food groups contributing to the GL were
    described by age group and sex. The weighted mean dietary GI and GL of the participants
    were 54 (<jats:sc>sd</jats:sc> 5) and 136 (<jats:sc>sd</jats:sc> 44), respectively.
    Among the nutrients examined, Ca had the highest inverse relationship with GI
    (<jats:italic>P</jats:italic> &lt; 0·001), while percentage energy from starch
    was most positively associated with GI. The association between fibre density
    and GI was modest, and percentage energy from sugar had an inverse relationship
    with GI. Daily dietary GL contributed by energy-dense and/or nutrient-poor (EDNP)
    items in subjects aged 14–16 years was more than doubled that of subjects aged
    2–3 years. To conclude, Australian children and adolescents were having a high-GI
    dietary pattern characterised by high-starchy food intake and low Ca intake. A
    significant proportion of their dietary GL was from EDNP foods. Efforts to reduce
    dietary GI and GL in children and adolescents should focus on energy-dense starchy
    foods.</jats:p>
author:
- first_name: Jimmy
  full_name: Chun Yu Louie, Jimmy
  last_name: Chun Yu Louie
- first_name: Anette
  full_name: Buyken, Anette
  id: '65985'
  last_name: Buyken
- first_name: Kristina
  full_name: Heyer, Kristina
  last_name: Heyer
- first_name: Victoria M.
  full_name: Flood, Victoria M.
  last_name: Flood
citation:
  ama: Chun Yu Louie J, Buyken A, Heyer K, Flood VM. Dietary glycaemic index and glycaemic
    load among Australian children and adolescents. <i>British Journal of Nutrition</i>.
    Published online 2011:1273-1282. doi:<a href="https://doi.org/10.1017/s0007114511001577">10.1017/s0007114511001577</a>
  apa: Chun Yu Louie, J., Buyken, A., Heyer, K., &#38; Flood, V. M. (2011). Dietary
    glycaemic index and glycaemic load among Australian children and adolescents.
    <i>British Journal of Nutrition</i>, 1273–1282. <a href="https://doi.org/10.1017/s0007114511001577">https://doi.org/10.1017/s0007114511001577</a>
  bibtex: '@article{Chun Yu Louie_Buyken_Heyer_Flood_2011, title={Dietary glycaemic
    index and glycaemic load among Australian children and adolescents}, DOI={<a href="https://doi.org/10.1017/s0007114511001577">10.1017/s0007114511001577</a>},
    journal={British Journal of Nutrition}, author={Chun Yu Louie, Jimmy and Buyken,
    Anette and Heyer, Kristina and Flood, Victoria M.}, year={2011}, pages={1273–1282}
    }'
  chicago: Chun Yu Louie, Jimmy, Anette Buyken, Kristina Heyer, and Victoria M. Flood.
    “Dietary Glycaemic Index and Glycaemic Load among Australian Children and Adolescents.”
    <i>British Journal of Nutrition</i>, 2011, 1273–82. <a href="https://doi.org/10.1017/s0007114511001577">https://doi.org/10.1017/s0007114511001577</a>.
  ieee: 'J. Chun Yu Louie, A. Buyken, K. Heyer, and V. M. Flood, “Dietary glycaemic
    index and glycaemic load among Australian children and adolescents,” <i>British
    Journal of Nutrition</i>, pp. 1273–1282, 2011, doi: <a href="https://doi.org/10.1017/s0007114511001577">10.1017/s0007114511001577</a>.'
  mla: Chun Yu Louie, Jimmy, et al. “Dietary Glycaemic Index and Glycaemic Load among
    Australian Children and Adolescents.” <i>British Journal of Nutrition</i>, 2011,
    pp. 1273–82, doi:<a href="https://doi.org/10.1017/s0007114511001577">10.1017/s0007114511001577</a>.
  short: J. Chun Yu Louie, A. Buyken, K. Heyer, V.M. Flood, British Journal of Nutrition
    (2011) 1273–1282.
date_created: 2021-10-29T13:54:48Z
date_updated: 2022-01-06T06:57:32Z
department:
- _id: '17'
- _id: '22'
- _id: '571'
doi: 10.1017/s0007114511001577
language:
- iso: eng
page: 1273-1282
publication: British Journal of Nutrition
publication_identifier:
  issn:
  - 0007-1145
  - 1475-2662
publication_status: published
status: public
title: Dietary glycaemic index and glycaemic load among Australian children and adolescents
type: journal_article
user_id: '61597'
year: '2011'
...
---
_id: '27068'
abstract:
- lang: eng
  text: <jats:title>Abstract</jats:title><jats:sec id="S1368980011002138_abs1" sec-type="general"><jats:title>Objective</jats:title><jats:p>Highly
    processed foods such as convenience foods usually have a high salt content and
    therefore might indirectly act as adipogenic due to an increasing consumption
    of sugar-containing beverages (SCB). We examined the association between dietary
    salt and body weight status.</jats:p></jats:sec><jats:sec id="S1368980011002138_abs2"
    sec-type="general"><jats:title>Design</jats:title><jats:p>We used data on urinary
    Na excretion as an indicator of dietary salt and BMI standard deviation score
    (BMI-SDS) and percentage body fat (%BF) of children and adolescents participating
    in the DONALD (Dortmund Nutritional and Anthropometric Longitudinally Designed)
    Study.</jats:p></jats:sec><jats:sec id="S1368980011002138_abs3" sec-type="general"><jats:title>Setting</jats:title><jats:p>Dortmund,
    Germany.</jats:p></jats:sec><jats:sec id="S1368980011002138_abs4" sec-type="subjects"><jats:title>Subjects</jats:title><jats:p>Children
    and adolescents (<jats:italic>n</jats:italic> 364) who had at least two 24 h urine
    samples and two dietary records in the observational period between 2003 and 2009
    were considered in our data analysis.</jats:p></jats:sec><jats:sec id="S1368980011002138_abs5"
    sec-type="results"><jats:title>Results</jats:title><jats:p>Repeated-measures regression
    models revealed that urinary Na was positively associated with BMI-SDS (+0·202
    SDS/g Na excretion at baseline; <jats:italic>P</jats:italic> &lt; 0·001) and %BF
    (+1·303 %BF/g Na excretion at baseline; <jats:italic>P</jats:italic> &lt; 0·01)
    at baseline in boys and girls. These associations remained significant after adjustment
    for SCB consumption and total energy intake. Furthermore, there was a positive
    trend between baseline Na excretion and the individual change in %BF in the study
    period (+0·364 increase in %BF/g Na excretion at baseline), which was confirmed
    after inclusion of SCB consumption or total energy intake. There was no significant
    association between the change in Na excretion and the concurrent change of either
    BMI-SDS or %BF in any model.</jats:p></jats:sec><jats:sec id="S1368980011002138_abs6"
    sec-type="conclusion"><jats:title>Conclusions</jats:title><jats:p>Our results
    suggest that a high intake of processed salty foods could have a negative impact
    on body weight status in children and adolescents independently from their consumption
    of SCB.</jats:p></jats:sec>
author:
- first_name: Lars
  full_name: Libuda, Lars
  id: '88682'
  last_name: Libuda
  orcid: 0000-0003-1603-3133
- first_name: Mathilde
  full_name: Kersting, Mathilde
  last_name: Kersting
- first_name: Ute
  full_name: Alexy, Ute
  last_name: Alexy
citation:
  ama: Libuda L, Kersting M, Alexy U. Consumption of dietary salt measured by urinary
    sodium excretion and its association with body weight status in healthy children
    and adolescents. <i>Public Health Nutrition</i>. Published online 2011:433-441.
    doi:<a href="https://doi.org/10.1017/s1368980011002138">10.1017/s1368980011002138</a>
  apa: Libuda, L., Kersting, M., &#38; Alexy, U. (2011). Consumption of dietary salt
    measured by urinary sodium excretion and its association with body weight status
    in healthy children and adolescents. <i>Public Health Nutrition</i>, 433–441.
    <a href="https://doi.org/10.1017/s1368980011002138">https://doi.org/10.1017/s1368980011002138</a>
  bibtex: '@article{Libuda_Kersting_Alexy_2011, title={Consumption of dietary salt
    measured by urinary sodium excretion and its association with body weight status
    in healthy children and adolescents}, DOI={<a href="https://doi.org/10.1017/s1368980011002138">10.1017/s1368980011002138</a>},
    journal={Public Health Nutrition}, author={Libuda, Lars and Kersting, Mathilde
    and Alexy, Ute}, year={2011}, pages={433–441} }'
  chicago: Libuda, Lars, Mathilde Kersting, and Ute Alexy. “Consumption of Dietary
    Salt Measured by Urinary Sodium Excretion and Its Association with Body Weight
    Status in Healthy Children and Adolescents.” <i>Public Health Nutrition</i>, 2011,
    433–41. <a href="https://doi.org/10.1017/s1368980011002138">https://doi.org/10.1017/s1368980011002138</a>.
  ieee: 'L. Libuda, M. Kersting, and U. Alexy, “Consumption of dietary salt measured
    by urinary sodium excretion and its association with body weight status in healthy
    children and adolescents,” <i>Public Health Nutrition</i>, pp. 433–441, 2011,
    doi: <a href="https://doi.org/10.1017/s1368980011002138">10.1017/s1368980011002138</a>.'
  mla: Libuda, Lars, et al. “Consumption of Dietary Salt Measured by Urinary Sodium
    Excretion and Its Association with Body Weight Status in Healthy Children and
    Adolescents.” <i>Public Health Nutrition</i>, 2011, pp. 433–41, doi:<a href="https://doi.org/10.1017/s1368980011002138">10.1017/s1368980011002138</a>.
  short: L. Libuda, M. Kersting, U. Alexy, Public Health Nutrition (2011) 433–441.
date_created: 2021-11-02T20:35:36Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1017/s1368980011002138
language:
- iso: eng
page: 433-441
publication: Public Health Nutrition
publication_identifier:
  issn:
  - 1368-9800
  - 1475-2727
publication_status: published
status: public
title: Consumption of dietary salt measured by urinary sodium excretion and its association
  with body weight status in healthy children and adolescents
type: journal_article
user_id: '49428'
year: '2011'
...
---
_id: '27069'
author:
- first_name: Ute
  full_name: Alexy, Ute
  last_name: Alexy
- first_name: Guo
  full_name: Cheng, Guo
  last_name: Cheng
- first_name: Lars
  full_name: Libuda, Lars
  id: '88682'
  last_name: Libuda
  orcid: 0000-0003-1603-3133
- first_name: Annett
  full_name: Hilbig, Annett
  last_name: Hilbig
- first_name: Mathilde
  full_name: Kersting, Mathilde
  last_name: Kersting
citation:
  ama: Alexy U, Cheng G, Libuda L, Hilbig A, Kersting M. 24h-Sodium excretion and
    hydration status in children and adolescents - Results of the DONALD Study. <i>Clinical
    Nutrition</i>. Published online 2011:78-84. doi:<a href="https://doi.org/10.1016/j.clnu.2011.08.014">10.1016/j.clnu.2011.08.014</a>
  apa: Alexy, U., Cheng, G., Libuda, L., Hilbig, A., &#38; Kersting, M. (2011). 24h-Sodium
    excretion and hydration status in children and adolescents - Results of the DONALD
    Study. <i>Clinical Nutrition</i>, 78–84. <a href="https://doi.org/10.1016/j.clnu.2011.08.014">https://doi.org/10.1016/j.clnu.2011.08.014</a>
  bibtex: '@article{Alexy_Cheng_Libuda_Hilbig_Kersting_2011, title={24h-Sodium excretion
    and hydration status in children and adolescents - Results of the DONALD Study},
    DOI={<a href="https://doi.org/10.1016/j.clnu.2011.08.014">10.1016/j.clnu.2011.08.014</a>},
    journal={Clinical Nutrition}, author={Alexy, Ute and Cheng, Guo and Libuda, Lars
    and Hilbig, Annett and Kersting, Mathilde}, year={2011}, pages={78–84} }'
  chicago: Alexy, Ute, Guo Cheng, Lars Libuda, Annett Hilbig, and Mathilde Kersting.
    “24h-Sodium Excretion and Hydration Status in Children and Adolescents - Results
    of the DONALD Study.” <i>Clinical Nutrition</i>, 2011, 78–84. <a href="https://doi.org/10.1016/j.clnu.2011.08.014">https://doi.org/10.1016/j.clnu.2011.08.014</a>.
  ieee: 'U. Alexy, G. Cheng, L. Libuda, A. Hilbig, and M. Kersting, “24h-Sodium excretion
    and hydration status in children and adolescents - Results of the DONALD Study,”
    <i>Clinical Nutrition</i>, pp. 78–84, 2011, doi: <a href="https://doi.org/10.1016/j.clnu.2011.08.014">10.1016/j.clnu.2011.08.014</a>.'
  mla: Alexy, Ute, et al. “24h-Sodium Excretion and Hydration Status in Children and
    Adolescents - Results of the DONALD Study.” <i>Clinical Nutrition</i>, 2011, pp.
    78–84, doi:<a href="https://doi.org/10.1016/j.clnu.2011.08.014">10.1016/j.clnu.2011.08.014</a>.
  short: U. Alexy, G. Cheng, L. Libuda, A. Hilbig, M. Kersting, Clinical Nutrition
    (2011) 78–84.
date_created: 2021-11-02T20:37:23Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1016/j.clnu.2011.08.014
language:
- iso: eng
page: 78-84
publication: Clinical Nutrition
publication_identifier:
  issn:
  - 0261-5614
publication_status: published
status: public
title: 24h-Sodium excretion and hydration status in children and adolescents - Results
  of the DONALD Study
type: journal_article
user_id: '49428'
year: '2011'
...
