---
_id: '20226'
author:
- first_name: Heiko
  full_name: Hamann, Heiko
  last_name: Hamann
- first_name: Bernd
  full_name: Meyer, Bernd
  last_name: Meyer
- first_name: Thomas
  full_name: Schmickl, Thomas
  last_name: Schmickl
- first_name: Karl
  full_name: Crailsheim, Karl
  last_name: Crailsheim
citation:
  ama: 'Hamann H, Meyer B, Schmickl T, Crailsheim K. A Model of Symmetry Breaking
    in Collective Decision-Making. In: <i>From Animals to Animats 11</i>. Vol 6226.
    Springer; 2010:639-648. doi:<a href="https://doi.org/10.1007/978-3-642-15193-4_60">10.1007/978-3-642-15193-4_60</a>'
  apa: Hamann, H., Meyer, B., Schmickl, T., &#38; Crailsheim, K. (2010). A Model of
    Symmetry Breaking in Collective Decision-Making. In <i>From Animals to Animats
    11</i> (Vol. 6226, pp. 639–648). Springer. <a href="https://doi.org/10.1007/978-3-642-15193-4_60">https://doi.org/10.1007/978-3-642-15193-4_60</a>
  bibtex: '@inproceedings{Hamann_Meyer_Schmickl_Crailsheim_2010, title={A Model of
    Symmetry Breaking in Collective Decision-Making}, volume={6226}, DOI={<a href="https://doi.org/10.1007/978-3-642-15193-4_60">10.1007/978-3-642-15193-4_60</a>},
    booktitle={From Animals to Animats 11}, publisher={Springer}, author={Hamann,
    Heiko and Meyer, Bernd and Schmickl, Thomas and Crailsheim, Karl}, year={2010},
    pages={639–648} }'
  chicago: Hamann, Heiko, Bernd Meyer, Thomas Schmickl, and Karl Crailsheim. “A Model
    of Symmetry Breaking in Collective Decision-Making.” In <i>From Animals to Animats
    11</i>, 6226:639–48. Springer, 2010. <a href="https://doi.org/10.1007/978-3-642-15193-4_60">https://doi.org/10.1007/978-3-642-15193-4_60</a>.
  ieee: H. Hamann, B. Meyer, T. Schmickl, and K. Crailsheim, “A Model of Symmetry
    Breaking in Collective Decision-Making,” in <i>From Animals to Animats 11</i>,
    2010, vol. 6226, pp. 639–648.
  mla: Hamann, Heiko, et al. “A Model of Symmetry Breaking in Collective Decision-Making.”
    <i>From Animals to Animats 11</i>, vol. 6226, Springer, 2010, pp. 639–48, doi:<a
    href="https://doi.org/10.1007/978-3-642-15193-4_60">10.1007/978-3-642-15193-4_60</a>.
  short: 'H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats
    11, Springer, 2010, pp. 639–648.'
date_created: 2020-10-29T14:22:12Z
date_updated: 2022-01-06T06:54:24Z
department:
- _id: '63'
- _id: '238'
doi: 10.1007/978-3-642-15193-4_60
intvolume: '      6226'
language:
- iso: eng
page: 639-648
publication: From Animals to Animats 11
publication_identifier:
  isbn:
  - '9783642151927'
  - '9783642151934'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer
status: public
title: A Model of Symmetry Breaking in Collective Decision-Making
type: conference
user_id: '15415'
volume: 6226
year: '2010'
...
---
_id: '20258'
abstract:
- lang: eng
  text: Self-organization in natural systems demonstrates very reliable and scalable
    collective behavior without using any central elements. When providing collective
    robotic systems with self-organizing principles, we are facing new problems of
    making self-organization purposeful, self-adapting to changing environments and
    faster, in order to meet requirements from a technical perspective. This paper
    describes on-going work of creating such an artificial self-organization within
    artificial robot organisms, performed in the framework of several European projects.
author:
- first_name: Serge
  full_name: Kernbach, Serge
  last_name: Kernbach
- first_name: Heiko
  full_name: Hamann, Heiko
  last_name: Hamann
- first_name: Jürgen
  full_name: Stradner, Jürgen
  last_name: Stradner
- first_name: Ronald
  full_name: Thenius, Ronald
  last_name: Thenius
- first_name: Thomas
  full_name: Schmickl, Thomas
  last_name: Schmickl
- first_name: Karl
  full_name: Crailsheim, Karl
  last_name: Crailsheim
- first_name: A.C. van
  full_name: Rossum, A.C. van
  last_name: Rossum
- first_name: Michele
  full_name: Sebag, Michele
  last_name: Sebag
- first_name: Nicolas
  full_name: Bredeche, Nicolas
  last_name: Bredeche
- first_name: Yao
  full_name: Yao, Yao
  last_name: Yao
- first_name: Guy
  full_name: Baele, Guy
  last_name: Baele
- first_name: Yves Van de
  full_name: Peer, Yves Van de
  last_name: Peer
- first_name: Jon
  full_name: Timmis, Jon
  last_name: Timmis
- first_name: Maizura
  full_name: Mohktar, Maizura
  last_name: Mohktar
- first_name: Andy
  full_name: Tyrrell, Andy
  last_name: Tyrrell
- first_name: A.E.
  full_name: Eiben, A.E.
  last_name: Eiben
- first_name: S.P.
  full_name: McKibbin, S.P.
  last_name: McKibbin
- first_name: Wenguo
  full_name: Liu, Wenguo
  last_name: Liu
- first_name: Alan F.T.
  full_name: Winfield, Alan F.T.
  last_name: Winfield
citation:
  ama: 'Kernbach S, Hamann H, Stradner J, et al. On Adaptive Self-Organization in
    Artificial Robot Organisms. In: <i>2009 Computation World: Future Computing, Service
    Computation, Cognitive, Adaptive, Content, Patterns</i>. ; 2010. doi:<a href="https://doi.org/10.1109/computationworld.2009.9">10.1109/computationworld.2009.9</a>'
  apa: 'Kernbach, S., Hamann, H., Stradner, J., Thenius, R., Schmickl, T., Crailsheim,
    K., … Winfield, A. F. T. (2010). On Adaptive Self-Organization in Artificial Robot
    Organisms. In <i>2009 Computation World: Future Computing, Service Computation,
    Cognitive, Adaptive, Content, Patterns</i>. <a href="https://doi.org/10.1109/computationworld.2009.9">https://doi.org/10.1109/computationworld.2009.9</a>'
  bibtex: '@inproceedings{Kernbach_Hamann_Stradner_Thenius_Schmickl_Crailsheim_Rossum_Sebag_Bredeche_Yao_et
    al._2010, title={On Adaptive Self-Organization in Artificial Robot Organisms},
    DOI={<a href="https://doi.org/10.1109/computationworld.2009.9">10.1109/computationworld.2009.9</a>},
    booktitle={2009 Computation World: Future Computing, Service Computation, Cognitive,
    Adaptive, Content, Patterns}, author={Kernbach, Serge and Hamann, Heiko and Stradner,
    Jürgen and Thenius, Ronald and Schmickl, Thomas and Crailsheim, Karl and Rossum,
    A.C. van and Sebag, Michele and Bredeche, Nicolas and Yao, Yao and et al.}, year={2010}
    }'
  chicago: 'Kernbach, Serge, Heiko Hamann, Jürgen Stradner, Ronald Thenius, Thomas
    Schmickl, Karl Crailsheim, A.C. van Rossum, et al. “On Adaptive Self-Organization
    in Artificial Robot Organisms.” In <i>2009 Computation World: Future Computing,
    Service Computation, Cognitive, Adaptive, Content, Patterns</i>, 2010. <a href="https://doi.org/10.1109/computationworld.2009.9">https://doi.org/10.1109/computationworld.2009.9</a>.'
  ieee: 'S. Kernbach <i>et al.</i>, “On Adaptive Self-Organization in Artificial Robot
    Organisms,” in <i>2009 Computation World: Future Computing, Service Computation,
    Cognitive, Adaptive, Content, Patterns</i>, 2010.'
  mla: 'Kernbach, Serge, et al. “On Adaptive Self-Organization in Artificial Robot
    Organisms.” <i>2009 Computation World: Future Computing, Service Computation,
    Cognitive, Adaptive, Content, Patterns</i>, 2010, doi:<a href="https://doi.org/10.1109/computationworld.2009.9">10.1109/computationworld.2009.9</a>.'
  short: 'S. Kernbach, H. Hamann, J. Stradner, R. Thenius, T. Schmickl, K. Crailsheim,
    A.C. van Rossum, M. Sebag, N. Bredeche, Y. Yao, G. Baele, Y.V. de Peer, J. Timmis,
    M. Mohktar, A. Tyrrell, A.E. Eiben, S.P. McKibbin, W. Liu, A.F.T. Winfield, in:
    2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive,
    Content, Patterns, 2010.'
date_created: 2020-11-02T14:13:10Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '63'
- _id: '238'
doi: 10.1109/computationworld.2009.9
language:
- iso: eng
publication: '2009 Computation World: Future Computing, Service Computation, Cognitive,
  Adaptive, Content, Patterns'
publication_identifier:
  isbn:
  - '9781424451661'
publication_status: published
status: public
title: On Adaptive Self-Organization in Artificial Robot Organisms
type: conference
user_id: '15415'
year: '2010'
...
---
_id: '24282'
author:
- first_name: Ryszard
  full_name: Grza̧ślewicz, Ryszard
  last_name: Grza̧ślewicz
- first_name: Jarosław
  full_name: Kutyłowski, Jarosław
  last_name: Kutyłowski
- first_name: Mirosław
  full_name: Kutyłowski, Mirosław
  last_name: Kutyłowski
- first_name: Wojciech
  full_name: Pietkiewicz, Wojciech
  last_name: Pietkiewicz
citation:
  ama: 'Grza̧ślewicz R, Kutyłowski J, Kutyłowski M, Pietkiewicz W. Robust Undetectable
    Interference Watermarks. <i>ICCSA’05: Proceedings of the 2005 international conference
    on Computational Science and Its Applications</i>. Published online 2010. doi:<a
    href="https://doi.org/10.1007/11424826_55">10.1007/11424826_55</a>'
  apa: 'Grza̧ślewicz, R., Kutyłowski, J., Kutyłowski, M., &#38; Pietkiewicz, W. (2010).
    Robust Undetectable Interference Watermarks. <i>ICCSA’05: Proceedings of the 2005
    International Conference on Computational Science and Its Applications</i>. <a
    href="https://doi.org/10.1007/11424826_55">https://doi.org/10.1007/11424826_55</a>'
  bibtex: '@article{Grza̧ślewicz_Kutyłowski_Kutyłowski_Pietkiewicz_2010, title={Robust
    Undetectable Interference Watermarks}, DOI={<a href="https://doi.org/10.1007/11424826_55">10.1007/11424826_55</a>},
    journal={ICCSA’05: Proceedings of the 2005 international conference on Computational
    Science and Its Applications}, author={Grza̧ślewicz, Ryszard and Kutyłowski, Jarosław
    and Kutyłowski, Mirosław and Pietkiewicz, Wojciech}, year={2010} }'
  chicago: 'Grza̧ślewicz, Ryszard, Jarosław Kutyłowski, Mirosław Kutyłowski, and Wojciech
    Pietkiewicz. “Robust Undetectable Interference Watermarks.” <i>ICCSA’05: Proceedings
    of the 2005 International Conference on Computational Science and Its Applications</i>,
    2010. <a href="https://doi.org/10.1007/11424826_55">https://doi.org/10.1007/11424826_55</a>.'
  ieee: 'R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, and W. Pietkiewicz, “Robust
    Undetectable Interference Watermarks,” <i>ICCSA’05: Proceedings of the 2005 international
    conference on Computational Science and Its Applications</i>, 2010, doi: <a href="https://doi.org/10.1007/11424826_55">10.1007/11424826_55</a>.'
  mla: 'Grza̧ślewicz, Ryszard, et al. “Robust Undetectable Interference Watermarks.”
    <i>ICCSA’05: Proceedings of the 2005 International Conference on Computational
    Science and Its Applications</i>, 2010, doi:<a href="https://doi.org/10.1007/11424826_55">10.1007/11424826_55</a>.'
  short: 'R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, W. Pietkiewicz, ICCSA’05:
    Proceedings of the 2005 International Conference on Computational Science and
    Its Applications (2010).'
date_created: 2021-09-13T14:53:37Z
date_updated: 2022-01-06T06:56:17Z
department:
- _id: '63'
doi: 10.1007/11424826_55
language:
- iso: eng
publication: 'ICCSA''05: Proceedings of the 2005 international conference on Computational
  Science and Its Applications'
publication_identifier:
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: Robust Undetectable Interference Watermarks
type: journal_article
user_id: '15415'
year: '2010'
...
---
_id: '3195'
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} Approach to Control in Event-B.
    In: M{\’{e}}ry D, Merz S, eds. <i>Integrated Formal Methods - 8th International
    Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>. Lecture
    Notes in Computer Science. ; 2010:260--274. doi:<a href="https://doi.org/10.1007/978-3-642-16265-7_19">10.1007/978-3-642-16265-7_19</a>'
  apa: Schneider, S., Treharne, H., &#38; Wehrheim, H. (2010). A {CSP} Approach to
    Control in Event-B. In D. M{\’{e}}ry &#38; S. Merz (Eds.), <i>Integrated Formal
    Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14,
    2010. Proceedings</i> (pp. 260--274). <a href="https://doi.org/10.1007/978-3-642-16265-7_19">https://doi.org/10.1007/978-3-642-16265-7_19</a>
  bibtex: '@inproceedings{Schneider_Treharne_Wehrheim_2010, series={Lecture Notes
    in Computer Science}, title={A {CSP} Approach to Control in Event-B}, DOI={<a
    href="https://doi.org/10.1007/978-3-642-16265-7_19">10.1007/978-3-642-16265-7_19</a>},
    booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010,
    Nancy, France, October 11-14, 2010. Proceedings}, author={Schneider, Steve and
    Treharne, Helen and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz,
    StephanEditors}, year={2010}, pages={260--274}, collection={Lecture Notes in Computer
    Science} }'
  chicago: Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Approach
    to Control in Event-B.” In <i>Integrated Formal Methods - 8th International Conference,
    {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique
    M{\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010.
    <a href="https://doi.org/10.1007/978-3-642-16265-7_19">https://doi.org/10.1007/978-3-642-16265-7_19</a>.
  ieee: S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Approach to Control in
    Event-B,” in <i>Integrated Formal Methods - 8th International Conference, {IFM}
    2010, Nancy, France, October 11-14, 2010. Proceedings</i>, 2010, pp. 260--274.
  mla: Schneider, Steve, et al. “A {CSP} Approach to Control in Event-B.” <i>Integrated
    Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October
    11-14, 2010. Proceedings</i>, edited by Dominique M{\’{e}}ry and Stephan Merz,
    2010, pp. 260--274, doi:<a href="https://doi.org/10.1007/978-3-642-16265-7_19">10.1007/978-3-642-16265-7_19</a>.
  short: 'S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.),
    Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France,
    October 11-14, 2010. Proceedings, 2010, pp. 260--274.'
date_created: 2018-06-13T09:20:53Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-16265-7_19
editor:
- first_name: Dominique
  full_name: M{\'{e}}ry, Dominique
  last_name: M{\'{e}}ry
- first_name: Stephan
  full_name: Merz, Stephan
  last_name: Merz
page: 260--274
publication: Integrated Formal Methods - 8th International Conference, {IFM} 2010,
  Nancy, France, October 11-14, 2010. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: A {CSP} Approach to Control in Event-B
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3196'
author:
- first_name: Klaus
  full_name: Dräger, Klaus
  last_name: Dräger
- first_name: Andrey
  full_name: Kupriyanov, Andrey
  last_name: Kupriyanov
- first_name: Bernd
  full_name: Finkbeiner, Bernd
  last_name: Finkbeiner
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Dräger K, Kupriyanov A, Finkbeiner B, Wehrheim H. {SLAB:} {A} Certifying Model
    Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, eds.
    <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th International
    Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory
    and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i>.
    Lecture Notes in Computer Science. ; 2010:271--274. doi:<a href="https://doi.org/10.1007/978-3-642-12002-2_22">10.1007/978-3-642-12002-2_22</a>'
  apa: Dräger, K., Kupriyanov, A., Finkbeiner, B., &#38; Wehrheim, H. (2010). {SLAB:}
    {A} Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza
    &#38; R. Majumdar (Eds.), <i>Tools and Algorithms for the Construction and Analysis
    of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint
    European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos,
    Cyprus, March 20-28, 2010. Proceedings</i> (pp. 271--274). <a href="https://doi.org/10.1007/978-3-642-12002-2_22">https://doi.org/10.1007/978-3-642-12002-2_22</a>
  bibtex: '@inproceedings{Dräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series={Lecture
    Notes in Computer Science}, title={{SLAB:} {A} Certifying Model Checker for Infinite-State
    Concurrent Systems}, DOI={<a href="https://doi.org/10.1007/978-3-642-12002-2_22">10.1007/978-3-642-12002-2_22</a>},
    booktitle={Tools and Algorithms for the Construction and Analysis of Systems,
    16th International Conference, {TACAS} 2010, Held as Part of the Joint European
    Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
    March 20-28, 2010. Proceedings}, author={Dräger, Klaus and Kupriyanov, Andrey
    and Finkbeiner, Bernd and Wehrheim, Heike}, editor={Esparza, Javier and Majumdar,
    RupakEditors}, year={2010}, pages={271--274}, collection={Lecture Notes in Computer
    Science} }'
  chicago: Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim.
    “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.”
    In <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th
    International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences
    on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
    2010. Proceedings</i>, edited by Javier Esparza and Rupak Majumdar, 271--274.
    Lecture Notes in Computer Science, 2010. <a href="https://doi.org/10.1007/978-3-642-12002-2_22">https://doi.org/10.1007/978-3-642-12002-2_22</a>.
  ieee: K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying
    Model Checker for Infinite-State Concurrent Systems,” in <i>Tools and Algorithms
    for the Construction and Analysis of Systems, 16th International Conference, {TACAS}
    2010, Held as Part of the Joint European Conferences on Theory and Practice of
    Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i>, 2010,
    pp. 271--274.
  mla: Dräger, Klaus, et al. “{SLAB:} {A} Certifying Model Checker for Infinite-State
    Concurrent Systems.” <i>Tools and Algorithms for the Construction and Analysis
    of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint
    European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos,
    Cyprus, March 20-28, 2010. Proceedings</i>, edited by Javier Esparza and Rupak
    Majumdar, 2010, pp. 271--274, doi:<a href="https://doi.org/10.1007/978-3-642-12002-2_22">10.1007/978-3-642-12002-2_22</a>.
  short: 'K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R.
    Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems,
    16th International Conference, {TACAS} 2010, Held as Part of the Joint European
    Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
    March 20-28, 2010. Proceedings, 2010, pp. 271--274.'
date_created: 2018-06-13T09:22:07Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-12002-2_22
editor:
- first_name: Javier
  full_name: Esparza, Javier
  last_name: Esparza
- first_name: Rupak
  full_name: Majumdar, Rupak
  last_name: Majumdar
page: 271--274
publication: Tools and Algorithms for the Construction and Analysis of Systems, 16th
  International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences
  on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010.
  Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: '{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems'
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3198'
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. Towards {A} Shape Analysis for Graph Transformation
    Systems. <i>CoRR</i>. 2010.
  apa: Steenken, D., Wehrheim, H., &#38; Wonisch, D. (2010). Towards {A} Shape Analysis
    for Graph Transformation Systems. <i>CoRR</i>.
  bibtex: '@article{Steenken_Wehrheim_Wonisch_2010, title={Towards {A} Shape Analysis
    for Graph Transformation Systems}, journal={CoRR}, author={Steenken, Dominik and
    Wehrheim, Heike and Wonisch, Daniel}, year={2010} }'
  chicago: Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Towards {A} Shape
    Analysis for Graph Transformation Systems.” <i>CoRR</i>, 2010.
  ieee: D. Steenken, H. Wehrheim, and D. Wonisch, “Towards {A} Shape Analysis for
    Graph Transformation Systems,” <i>CoRR</i>, 2010.
  mla: Steenken, Dominik, et al. “Towards {A} Shape Analysis for Graph Transformation
    Systems.” <i>CoRR</i>, 2010.
  short: D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
date_created: 2018-06-13T09:23:16Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
publication: CoRR
status: public
title: Towards {A} Shape Analysis for Graph Transformation Systems
type: journal_article
user_id: '29719'
year: '2010'
...
---
_id: '3810'
author:
- first_name: Henning
  full_name: Wachsmuth, Henning
  id: '3900'
  last_name: Wachsmuth
- first_name: Peter
  full_name: Prettenhofer, Peter
  last_name: Prettenhofer
- first_name: Benno
  full_name: Stein, Benno
  last_name: Stein
citation:
  ama: 'Wachsmuth H, Prettenhofer P, Stein B. Efficient Statement Identification for
    Automatic Market Forecasting. In: <i>Proceedings of the 23rd International Conference
    on Computational Linguistics (Coling 2010)</i>. ; 2010:1128-1136.'
  apa: Wachsmuth, H., Prettenhofer, P., &#38; Stein, B. (2010). Efficient Statement
    Identification for Automatic Market Forecasting. In <i>Proceedings of the 23rd
    International Conference on Computational Linguistics (Coling 2010)</i> (pp. 1128–1136).
  bibtex: '@inproceedings{Wachsmuth_Prettenhofer_Stein_2010, title={Efficient Statement
    Identification for Automatic Market Forecasting}, booktitle={Proceedings of the
    23rd International Conference on Computational Linguistics (Coling 2010)}, author={Wachsmuth,
    Henning and Prettenhofer, Peter and Stein, Benno}, year={2010}, pages={1128–1136}
    }'
  chicago: Wachsmuth, Henning, Peter Prettenhofer, and Benno Stein. “Efficient Statement
    Identification for Automatic Market Forecasting.” In <i>Proceedings of the 23rd
    International Conference on Computational Linguistics (Coling 2010)</i>, 1128–36,
    2010.
  ieee: H. Wachsmuth, P. Prettenhofer, and B. Stein, “Efficient Statement Identification
    for Automatic Market Forecasting,” in <i>Proceedings of the 23rd International
    Conference on Computational Linguistics (Coling 2010)</i>, 2010, pp. 1128–1136.
  mla: Wachsmuth, Henning, et al. “Efficient Statement Identification for Automatic
    Market Forecasting.” <i>Proceedings of the 23rd International Conference on Computational
    Linguistics (Coling 2010)</i>, 2010, pp. 1128–36.
  short: 'H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International
    Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.'
date_created: 2018-08-02T13:38:35Z
date_updated: 2022-01-06T06:59:37Z
department:
- _id: '600'
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/C10-1127.pdf
page: 1128-1136
publication: Proceedings of the 23rd International Conference on Computational Linguistics
  (Coling 2010)
status: public
title: Efficient Statement Identification for Automatic Market Forecasting
type: conference
user_id: '82920'
year: '2010'
...
---
_id: '2988'
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
citation:
  ama: 'Ackermann MR, Blömer J. Bregman Clustering for Separable Instances. In: <i>SWAT
    2010</i>. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin
    Heidelberg; 2010:212-223. doi:<a href="https://doi.org/10.1007/978-3-642-13731-0_21">10.1007/978-3-642-13731-0_21</a>'
  apa: 'Ackermann, M. R., &#38; Blömer, J. (2010). Bregman Clustering for Separable
    Instances. In <i>SWAT 2010</i> (pp. 212–223). Berlin, Heidelberg: Springer Berlin
    Heidelberg. <a href="https://doi.org/10.1007/978-3-642-13731-0_21">https://doi.org/10.1007/978-3-642-13731-0_21</a>'
  bibtex: '@inbook{Ackermann_Blömer_2010, place={Berlin, Heidelberg}, series={Lecture
    Notes in Computer Science}, title={Bregman Clustering for Separable Instances},
    DOI={<a href="https://doi.org/10.1007/978-3-642-13731-0_21">10.1007/978-3-642-13731-0_21</a>},
    booktitle={SWAT 2010}, publisher={Springer Berlin Heidelberg}, author={Ackermann,
    Marcel R. and Blömer, Johannes}, year={2010}, pages={212–223}, collection={Lecture
    Notes in Computer Science} }'
  chicago: 'Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable
    Instances.” In <i>SWAT 2010</i>, 212–23. Lecture Notes in Computer Science. Berlin,
    Heidelberg: Springer Berlin Heidelberg, 2010. <a href="https://doi.org/10.1007/978-3-642-13731-0_21">https://doi.org/10.1007/978-3-642-13731-0_21</a>.'
  ieee: 'M. R. Ackermann and J. Blömer, “Bregman Clustering for Separable Instances,”
    in <i>SWAT 2010</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp.
    212–223.'
  mla: Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable
    Instances.” <i>SWAT 2010</i>, Springer Berlin Heidelberg, 2010, pp. 212–23, doi:<a
    href="https://doi.org/10.1007/978-3-642-13731-0_21">10.1007/978-3-642-13731-0_21</a>.
  short: 'M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin,
    Heidelberg, 2010, pp. 212–223.'
date_created: 2018-06-05T07:51:51Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
doi: 10.1007/978-3-642-13731-0_21
page: 212-223
place: Berlin, Heidelberg
publication: SWAT 2010
publication_identifier:
  isbn:
  - '9783642137303'
  - '9783642137310'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer Berlin Heidelberg
series_title: Lecture Notes in Computer Science
status: public
title: Bregman Clustering for Separable Instances
type: book_chapter
user_id: '25078'
year: '2010'
...
---
_id: '2990'
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: Christian
  full_name: Sohler, Christian
  last_name: Sohler
citation:
  ama: Ackermann MR, Blömer J, Sohler C. Clustering for Metric and Nonmetric Distance
    Measures. <i>ACM Trans Algorithms</i>. 2010;(4):59:1--59:26. doi:<a href="https://doi.org/10.1145/1824777.1824779">10.1145/1824777.1824779</a>
  apa: Ackermann, M. R., Blömer, J., &#38; Sohler, C. (2010). Clustering for Metric
    and Nonmetric Distance Measures. <i>ACM Trans. Algorithms</i>, (4), 59:1--59:26.
    <a href="https://doi.org/10.1145/1824777.1824779">https://doi.org/10.1145/1824777.1824779</a>
  bibtex: '@article{Ackermann_Blömer_Sohler_2010, title={Clustering for Metric and
    Nonmetric Distance Measures}, DOI={<a href="https://doi.org/10.1145/1824777.1824779">10.1145/1824777.1824779</a>},
    number={4}, journal={ACM Trans. Algorithms}, author={Ackermann, Marcel R. and
    Blömer, Johannes and Sohler, Christian}, year={2010}, pages={59:1--59:26} }'
  chicago: 'Ackermann, Marcel R., Johannes Blömer, and Christian Sohler. “Clustering
    for Metric and Nonmetric Distance Measures.” <i>ACM Trans. Algorithms</i>, no.
    4 (2010): 59:1--59:26. <a href="https://doi.org/10.1145/1824777.1824779">https://doi.org/10.1145/1824777.1824779</a>.'
  ieee: M. R. Ackermann, J. Blömer, and C. Sohler, “Clustering for Metric and Nonmetric
    Distance Measures,” <i>ACM Trans. Algorithms</i>, no. 4, pp. 59:1--59:26, 2010.
  mla: Ackermann, Marcel R., et al. “Clustering for Metric and Nonmetric Distance
    Measures.” <i>ACM Trans. Algorithms</i>, no. 4, 2010, pp. 59:1--59:26, doi:<a
    href="https://doi.org/10.1145/1824777.1824779">10.1145/1824777.1824779</a>.
  short: M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.
date_created: 2018-06-05T07:52:41Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
doi: 10.1145/1824777.1824779
issue: '4'
keyword:
- k-means clustering
- k-median clustering
- Approximation algorithm
- Bregman divergences
- Itakura-Saito divergence
- Kullback-Leibler divergence
- Mahalanobis distance
- random sampling
page: 59:1--59:26
publication: ACM Trans. Algorithms
publication_identifier:
  issn:
  - 1549-6325
publication_status: published
status: public
title: Clustering for Metric and Nonmetric Distance Measures
type: journal_article
user_id: '25078'
year: '2010'
...
---
_id: '2991'
author:
- first_name: Alexander
  full_name: Krueger, Alexander
  last_name: Krueger
- first_name: Volker
  full_name: Leutnant, Volker
  last_name: Leutnant
- first_name: Reinhold
  full_name: Haeb-Umbach, Reinhold
  last_name: Haeb-Umbach
- first_name: Marcel
  full_name: Ackermann, Marcel
  last_name: Ackermann
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
citation:
  ama: Krueger A, Leutnant V, Haeb-Umbach R, Ackermann M, Blömer J. On the initialization
    of dynamic models for speech features. <i>Proc of ITG Fachtagung Sprachkommunikation
    ITG, Bochum, Germany</i>. 2010.
  apa: Krueger, A., Leutnant, V., Haeb-Umbach, R., Ackermann, M., &#38; Blömer, J.
    (2010). On the initialization of dynamic models for speech features. <i>Proc.
    of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany</i>.
  bibtex: '@article{Krueger_Leutnant_Haeb-Umbach_Ackermann_Blömer_2010, title={On
    the initialization of dynamic models for speech features}, journal={Proc. of ITG
    Fachtagung Sprachkommunikation. ITG, Bochum, Germany}, author={Krueger, Alexander
    and Leutnant, Volker and Haeb-Umbach, Reinhold and Ackermann, Marcel and Blömer,
    Johannes}, year={2010} }'
  chicago: Krueger, Alexander, Volker Leutnant, Reinhold Haeb-Umbach, Marcel Ackermann,
    and Johannes Blömer. “On the Initialization of Dynamic Models for Speech Features.”
    <i>Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany</i>, 2010.
  ieee: A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, and J. Blömer, “On
    the initialization of dynamic models for speech features,” <i>Proc. of ITG Fachtagung
    Sprachkommunikation. ITG, Bochum, Germany</i>, 2010.
  mla: Krueger, Alexander, et al. “On the Initialization of Dynamic Models for Speech
    Features.” <i>Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany</i>,
    2010.
  short: A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of
    ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).
date_created: 2018-06-05T07:53:41Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
publication: Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany
publication_status: published
status: public
title: On the initialization of dynamic models for speech features
type: journal_article
user_id: '25078'
year: '2010'
...
---
_id: '2993'
author:
- first_name: Jonas
  full_name: Schrieb, Jonas
  last_name: Schrieb
citation:
  ama: Schrieb J. Efficient and Compact CCA Security from Partitioned IBKEM. 2010.
  apa: Schrieb, J. (2010). Efficient and Compact CCA Security from Partitioned IBKEM.
  bibtex: '@article{Schrieb_2010, series={Proceedings of the 3rd Western European
    Workshop on Research in Cryptology}, title={Efficient and Compact CCA Security
    from Partitioned IBKEM}, author={Schrieb, Jonas}, year={2010}, collection={Proceedings
    of the 3rd Western European Workshop on Research in Cryptology} }'
  chicago: Schrieb, Jonas. “Efficient and Compact CCA Security from Partitioned IBKEM.”
    Proceedings of the 3rd Western European Workshop on Research in Cryptology, 2010.
  ieee: J. Schrieb, “Efficient and Compact CCA Security from Partitioned IBKEM.” 2010.
  mla: Schrieb, Jonas. <i>Efficient and Compact CCA Security from Partitioned IBKEM</i>.
    2010.
  short: J. Schrieb, (2010).
date_created: 2018-06-05T08:02:25Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
series_title: Proceedings of the 3rd Western European Workshop on Research in Cryptology
status: public
title: Efficient and Compact CCA Security from Partitioned IBKEM
type: conference
user_id: '25078'
year: '2010'
...
---
_id: '2994'
author:
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  last_name: Trächtler
- first_name: Mauro
  full_name: Birattari, Mauro
  last_name: Birattari
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
- first_name: Marco
  full_name: Dorigo, Marco
  last_name: Dorigo
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Rehan
  full_name: O'Grady, Rehan
  last_name: O'Grady
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
- first_name: Franz
  full_name: Rammig, Franz
  last_name: Rammig
- first_name: Wolfgang
  full_name: Reif, Wolfgang
  last_name: Reif
citation:
  ama: 'Schäfer W, Trächtler A, Birattari M, et al. Engineering self-coordinating
    software intensive systems. In: <i>Proceedings of the FSE/SDP Workshop on Future
    of Software Engineering Research - FoSER ’10</i>. ACM Press; 2010. doi:<a href="https://doi.org/10.1145/1882362.1882428">10.1145/1882362.1882428</a>'
  apa: Schäfer, W., Trächtler, A., Birattari, M., Blömer, J., Dorigo, M., Engels,
    G., … Reif, W. (2010). Engineering self-coordinating software intensive systems.
    In <i>Proceedings of the FSE/SDP workshop on Future of software engineering research
    - FoSER ’10</i>. ACM Press. <a href="https://doi.org/10.1145/1882362.1882428">https://doi.org/10.1145/1882362.1882428</a>
  bibtex: '@inproceedings{Schäfer_Trächtler_Birattari_Blömer_Dorigo_Engels_O’Grady_Platzner_Rammig_Reif_2010,
    title={Engineering self-coordinating software intensive systems}, DOI={<a href="https://doi.org/10.1145/1882362.1882428">10.1145/1882362.1882428</a>},
    booktitle={Proceedings of the FSE/SDP workshop on Future of software engineering
    research - FoSER ’10}, publisher={ACM Press}, author={Schäfer, Wilhelm and Trächtler,
    Ansgar and Birattari, Mauro and Blömer, Johannes and Dorigo, Marco and Engels,
    Gregor and O’Grady, Rehan and Platzner, Marco and Rammig, Franz and Reif, Wolfgang},
    year={2010} }'
  chicago: Schäfer, Wilhelm, Ansgar Trächtler, Mauro Birattari, Johannes Blömer, Marco
    Dorigo, Gregor Engels, Rehan O’Grady, Marco Platzner, Franz Rammig, and Wolfgang
    Reif. “Engineering Self-Coordinating Software Intensive Systems.” In <i>Proceedings
    of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10</i>.
    ACM Press, 2010. <a href="https://doi.org/10.1145/1882362.1882428">https://doi.org/10.1145/1882362.1882428</a>.
  ieee: W. Schäfer <i>et al.</i>, “Engineering self-coordinating software intensive
    systems,” in <i>Proceedings of the FSE/SDP workshop on Future of software engineering
    research - FoSER ’10</i>, 2010.
  mla: Schäfer, Wilhelm, et al. “Engineering Self-Coordinating Software Intensive
    Systems.” <i>Proceedings of the FSE/SDP Workshop on Future of Software Engineering
    Research - FoSER ’10</i>, ACM Press, 2010, doi:<a href="https://doi.org/10.1145/1882362.1882428">10.1145/1882362.1882428</a>.
  short: 'W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels,
    R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop
    on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.'
date_created: 2018-06-05T08:03:49Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
doi: 10.1145/1882362.1882428
publication: Proceedings of the FSE/SDP workshop on Future of software engineering
  research - FoSER '10
publication_identifier:
  isbn:
  - '9781450304276'
publication_status: published
publisher: ACM Press
status: public
title: Engineering self-coordinating software intensive systems
type: conference
user_id: '25078'
year: '2010'
...
---
_id: '3139'
author:
- first_name: Tibor
  full_name: Jager, Tibor
  id: '64669'
  last_name: Jager
- first_name: Florian
  full_name: Kohlar, Florian
  last_name: Kohlar
- first_name: Sven
  full_name: Schäge, Sven
  last_name: Schäge
- first_name: Jörg
  full_name: Schwenk, Jörg
  last_name: Schwenk
citation:
  ama: 'Jager T, Kohlar F, Schäge S, Schwenk J. Generic Compilers for Authenticated
    Key Exchange. In: <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International
    Conference on the Theory and Application of Cryptology and Information Security,
    Singapore, December 5-9, 2010. Proceedings</i>. ; 2010:232--249. doi:<a href="https://doi.org/10.1007/978-3-642-17373-8_14">10.1007/978-3-642-17373-8_14</a>'
  apa: Jager, T., Kohlar, F., Schäge, S., &#38; Schwenk, J. (2010). Generic Compilers
    for Authenticated Key Exchange. In <i>Advances in Cryptology - ASIACRYPT 2010
    - 16th International Conference on the Theory and Application of Cryptology and
    Information Security, Singapore, December 5-9, 2010. Proceedings</i> (pp. 232--249).
    <a href="https://doi.org/10.1007/978-3-642-17373-8_14">https://doi.org/10.1007/978-3-642-17373-8_14</a>
  bibtex: '@inproceedings{Jager_Kohlar_Schäge_Schwenk_2010, title={Generic Compilers
    for Authenticated Key Exchange}, DOI={<a href="https://doi.org/10.1007/978-3-642-17373-8_14">10.1007/978-3-642-17373-8_14</a>},
    booktitle={Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference
    on the Theory and Application of Cryptology and Information Security, Singapore,
    December 5-9, 2010. Proceedings}, author={Jager, Tibor and Kohlar, Florian and
    Schäge, Sven and Schwenk, Jörg}, year={2010}, pages={232--249} }'
  chicago: Jager, Tibor, Florian Kohlar, Sven Schäge, and Jörg Schwenk. “Generic Compilers
    for Authenticated Key Exchange.” In <i>Advances in Cryptology - ASIACRYPT 2010
    - 16th International Conference on the Theory and Application of Cryptology and
    Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 232--249,
    2010. <a href="https://doi.org/10.1007/978-3-642-17373-8_14">https://doi.org/10.1007/978-3-642-17373-8_14</a>.
  ieee: T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, “Generic Compilers for Authenticated
    Key Exchange,” in <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International
    Conference on the Theory and Application of Cryptology and Information Security,
    Singapore, December 5-9, 2010. Proceedings</i>, 2010, pp. 232--249.
  mla: Jager, Tibor, et al. “Generic Compilers for Authenticated Key Exchange.” <i>Advances
    in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and
    Application of Cryptology and Information Security, Singapore, December 5-9, 2010.
    Proceedings</i>, 2010, pp. 232--249, doi:<a href="https://doi.org/10.1007/978-3-642-17373-8_14">10.1007/978-3-642-17373-8_14</a>.
  short: 'T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology -
    ASIACRYPT 2010 - 16th International Conference on the Theory and Application of
    Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings,
    2010, pp. 232--249.'
date_created: 2018-06-07T09:28:51Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-642-17373-8_14
extern: '1'
page: 232--249
publication: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference
  on the Theory and Application of Cryptology and Information Security, Singapore,
  December 5-9, 2010. Proceedings
status: public
title: Generic Compilers for Authenticated Key Exchange
type: conference
user_id: '38235'
year: '2010'
...
---
_id: '3140'
author:
- first_name: Tibor
  full_name: Jager, Tibor
  id: '64669'
  last_name: Jager
- first_name: Andy
  full_name: Rupp, Andy
  last_name: Rupp
citation:
  ama: 'Jager T, Rupp A. The Semi-Generic Group Model and Applications to Pairing-Based
    Cryptography. In: <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International
    Conference on the Theory and Application of Cryptology and Information Security,
    Singapore, December 5-9, 2010. Proceedings</i>. ; 2010:539--556. doi:<a href="https://doi.org/10.1007/978-3-642-17373-8_31">10.1007/978-3-642-17373-8_31</a>'
  apa: Jager, T., &#38; Rupp, A. (2010). The Semi-Generic Group Model and Applications
    to Pairing-Based Cryptography. In <i>Advances in Cryptology - ASIACRYPT 2010 -
    16th International Conference on the Theory and Application of Cryptology and
    Information Security, Singapore, December 5-9, 2010. Proceedings</i> (pp. 539--556).
    <a href="https://doi.org/10.1007/978-3-642-17373-8_31">https://doi.org/10.1007/978-3-642-17373-8_31</a>
  bibtex: '@inproceedings{Jager_Rupp_2010, title={The Semi-Generic Group Model and
    Applications to Pairing-Based Cryptography}, DOI={<a href="https://doi.org/10.1007/978-3-642-17373-8_31">10.1007/978-3-642-17373-8_31</a>},
    booktitle={Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference
    on the Theory and Application of Cryptology and Information Security, Singapore,
    December 5-9, 2010. Proceedings}, author={Jager, Tibor and Rupp, Andy}, year={2010},
    pages={539--556} }'
  chicago: Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications
    to Pairing-Based Cryptography.” In <i>Advances in Cryptology - ASIACRYPT 2010
    - 16th International Conference on the Theory and Application of Cryptology and
    Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 539--556,
    2010. <a href="https://doi.org/10.1007/978-3-642-17373-8_31">https://doi.org/10.1007/978-3-642-17373-8_31</a>.
  ieee: T. Jager and A. Rupp, “The Semi-Generic Group Model and Applications to Pairing-Based
    Cryptography,” in <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International
    Conference on the Theory and Application of Cryptology and Information Security,
    Singapore, December 5-9, 2010. Proceedings</i>, 2010, pp. 539--556.
  mla: Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications
    to Pairing-Based Cryptography.” <i>Advances in Cryptology - ASIACRYPT 2010 - 16th
    International Conference on the Theory and Application of Cryptology and Information
    Security, Singapore, December 5-9, 2010. Proceedings</i>, 2010, pp. 539--556,
    doi:<a href="https://doi.org/10.1007/978-3-642-17373-8_31">10.1007/978-3-642-17373-8_31</a>.
  short: 'T. Jager, A. Rupp, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International
    Conference on the Theory and Application of Cryptology and Information Security,
    Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556.'
date_created: 2018-06-07T09:29:23Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-642-17373-8_31
extern: '1'
page: 539--556
publication: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference
  on the Theory and Application of Cryptology and Information Security, Singapore,
  December 5-9, 2010. Proceedings
status: public
title: The Semi-Generic Group Model and Applications to Pairing-Based Cryptography
type: conference
user_id: '38235'
year: '2010'
...
---
_id: '3141'
author:
- first_name: Kristiyan
  full_name: Haralambiev, Kristiyan
  last_name: Haralambiev
- first_name: Tibor
  full_name: Jager, Tibor
  id: '64669'
  last_name: Jager
- first_name: Eike
  full_name: Kiltz, Eike
  last_name: Kiltz
- first_name: Victor
  full_name: Shoup, Victor
  last_name: Shoup
citation:
  ama: 'Haralambiev K, Jager T, Kiltz E, Shoup V. Simple and Efficient Public-Key
    Encryption from Computational Diffie-Hellman in the Standard Model. In: <i>Public
    Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory
    in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>. ;
    2010:1--18. doi:<a href="https://doi.org/10.1007/978-3-642-13013-7_1">10.1007/978-3-642-13013-7_1</a>'
  apa: Haralambiev, K., Jager, T., Kiltz, E., &#38; Shoup, V. (2010). Simple and Efficient
    Public-Key Encryption from Computational Diffie-Hellman in the Standard Model.
    In <i>Public Key Cryptography - PKC 2010, 13th International Conference on Practice
    and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>
    (pp. 1--18). <a href="https://doi.org/10.1007/978-3-642-13013-7_1">https://doi.org/10.1007/978-3-642-13013-7_1</a>
  bibtex: '@inproceedings{Haralambiev_Jager_Kiltz_Shoup_2010, title={Simple and Efficient
    Public-Key Encryption from Computational Diffie-Hellman in the Standard Model},
    DOI={<a href="https://doi.org/10.1007/978-3-642-13013-7_1">10.1007/978-3-642-13013-7_1</a>},
    booktitle={Public Key Cryptography - PKC 2010, 13th International Conference on
    Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010.
    Proceedings}, author={Haralambiev, Kristiyan and Jager, Tibor and Kiltz, Eike
    and Shoup, Victor}, year={2010}, pages={1--18} }'
  chicago: Haralambiev, Kristiyan, Tibor Jager, Eike Kiltz, and Victor Shoup. “Simple
    and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard
    Model.” In <i>Public Key Cryptography - PKC 2010, 13th International Conference
    on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010.
    Proceedings</i>, 1--18, 2010. <a href="https://doi.org/10.1007/978-3-642-13013-7_1">https://doi.org/10.1007/978-3-642-13013-7_1</a>.
  ieee: K. Haralambiev, T. Jager, E. Kiltz, and V. Shoup, “Simple and Efficient Public-Key
    Encryption from Computational Diffie-Hellman in the Standard Model,” in <i>Public
    Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory
    in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>, 2010,
    pp. 1--18.
  mla: Haralambiev, Kristiyan, et al. “Simple and Efficient Public-Key Encryption
    from Computational Diffie-Hellman in the Standard Model.” <i>Public Key Cryptography
    - PKC 2010, 13th International Conference on Practice and Theory in Public Key
    Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>, 2010, pp. 1--18,
    doi:<a href="https://doi.org/10.1007/978-3-642-13013-7_1">10.1007/978-3-642-13013-7_1</a>.
  short: 'K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, in: Public Key Cryptography
    - PKC 2010, 13th International Conference on Practice and Theory in Public Key
    Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18.'
date_created: 2018-06-07T09:29:52Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-642-13013-7_1
extern: '1'
page: 1--18
publication: Public Key Cryptography - PKC 2010, 13th International Conference on
  Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010.
  Proceedings
status: public
title: Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman
  in the Standard Model
type: conference
user_id: '38235'
year: '2010'
...
---
_id: '3189'
author:
- first_name: John
  full_name: Derrick, John
  last_name: Derrick
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Derrick J, Wehrheim H. Model transformations across views. <i>Sci Comput Program</i>.
    2010;(3):192--210. doi:<a href="https://doi.org/10.1016/j.scico.2009.11.004">10.1016/j.scico.2009.11.004</a>
  apa: Derrick, J., &#38; Wehrheim, H. (2010). Model transformations across views.
    <i>Sci. Comput. Program.</i>, (3), 192--210. <a href="https://doi.org/10.1016/j.scico.2009.11.004">https://doi.org/10.1016/j.scico.2009.11.004</a>
  bibtex: '@article{Derrick_Wehrheim_2010, title={Model transformations across views},
    DOI={<a href="https://doi.org/10.1016/j.scico.2009.11.004">10.1016/j.scico.2009.11.004</a>},
    number={3}, journal={Sci. Comput. Program.}, author={Derrick, John and Wehrheim,
    Heike}, year={2010}, pages={192--210} }'
  chicago: 'Derrick, John, and Heike Wehrheim. “Model Transformations across Views.”
    <i>Sci. Comput. Program.</i>, no. 3 (2010): 192--210. <a href="https://doi.org/10.1016/j.scico.2009.11.004">https://doi.org/10.1016/j.scico.2009.11.004</a>.'
  ieee: J. Derrick and H. Wehrheim, “Model transformations across views,” <i>Sci.
    Comput. Program.</i>, no. 3, pp. 192--210, 2010.
  mla: Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” <i>Sci.
    Comput. Program.</i>, no. 3, 2010, pp. 192--210, doi:<a href="https://doi.org/10.1016/j.scico.2009.11.004">10.1016/j.scico.2009.11.004</a>.
  short: J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
date_created: 2018-06-13T08:44:32Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1016/j.scico.2009.11.004
issue: '3'
page: 192--210
publication: Sci. Comput. Program.
status: public
title: Model transformations across views
type: journal_article
user_id: '29719'
year: '2010'
...
---
_id: '3191'
author:
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Schäfer W, Wehrheim H. Model-Driven Development with Mechatronic {UML}. In:
    Engels G, Lewerentz C, Sch{\"{a}}fer W, Sch{\"{u}}rr A, Westfechtel B, eds. <i>Graph
    Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl
    on the Occasion of His 65th Birthday</i>. Lecture Notes in Computer Science. ;
    2010:533--554. doi:<a href="https://doi.org/10.1007/978-3-642-17322-6_23">10.1007/978-3-642-17322-6_23</a>'
  apa: Schäfer, W., &#38; Wehrheim, H. (2010). Model-Driven Development with Mechatronic
    {UML}. In G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, &#38; B.
    Westfechtel (Eds.), <i>Graph Transformations and Model-Driven Engineering - Essays
    Dedicated to Manfred Nagl on the Occasion of his 65th Birthday</i> (pp. 533--554).
    <a href="https://doi.org/10.1007/978-3-642-17322-6_23">https://doi.org/10.1007/978-3-642-17322-6_23</a>
  bibtex: '@inproceedings{Schäfer_Wehrheim_2010, series={Lecture Notes in Computer
    Science}, title={Model-Driven Development with Mechatronic {UML}}, DOI={<a href="https://doi.org/10.1007/978-3-642-17322-6_23">10.1007/978-3-642-17322-6_23</a>},
    booktitle={Graph Transformations and Model-Driven Engineering - Essays Dedicated
    to Manfred Nagl on the Occasion of his 65th Birthday}, author={Schäfer, Wilhelm
    and Wehrheim, Heike}, editor={Engels, Gregor and Lewerentz, Claus and Sch{\"{a}}fer,
    Wilhelm and Sch{\"{u}}rr, Andy and Westfechtel, BernhardEditors}, year={2010},
    pages={533--554}, collection={Lecture Notes in Computer Science} }'
  chicago: Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic
    {UML}.” In <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated
    to Manfred Nagl on the Occasion of His 65th Birthday</i>, edited by Gregor Engels,
    Claus Lewerentz, Wilhelm Sch{\"{a}}fer, Andy Sch{\"{u}}rr, and Bernhard Westfechtel,
    533--554. Lecture Notes in Computer Science, 2010. <a href="https://doi.org/10.1007/978-3-642-17322-6_23">https://doi.org/10.1007/978-3-642-17322-6_23</a>.
  ieee: W. Schäfer and H. Wehrheim, “Model-Driven Development with Mechatronic {UML},”
    in <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to
    Manfred Nagl on the Occasion of his 65th Birthday</i>, 2010, pp. 533--554.
  mla: Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic
    {UML}.” <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated
    to Manfred Nagl on the Occasion of His 65th Birthday</i>, edited by Gregor Engels
    et al., 2010, pp. 533--554, doi:<a href="https://doi.org/10.1007/978-3-642-17322-6_23">10.1007/978-3-642-17322-6_23</a>.
  short: 'W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\"{a}}fer,
    A. Sch{\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven
    Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday,
    2010, pp. 533--554.'
date_created: 2018-06-13T09:10:56Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-17322-6_23
editor:
- first_name: Gregor
  full_name: Engels, Gregor
  last_name: Engels
- first_name: Claus
  full_name: Lewerentz, Claus
  last_name: Lewerentz
- first_name: Wilhelm
  full_name: Sch{\"{a}}fer, Wilhelm
  last_name: Sch{\"{a}}fer
- first_name: Andy
  full_name: Sch{\"{u}}rr, Andy
  last_name: Sch{\"{u}}rr
- first_name: Bernhard
  full_name: Westfechtel, Bernhard
  last_name: Westfechtel
page: 533--554
publication: Graph Transformations and Model-Driven Engineering - Essays Dedicated
  to Manfred Nagl on the Occasion of his 65th Birthday
series_title: Lecture Notes in Computer Science
status: public
title: Model-Driven Development with Mechatronic {UML}
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3193'
author:
- first_name: Nils
  full_name: Timm, Nils
  last_name: Timm
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised
    Systems. In: Song Dong J, Zhu H, eds. <i>Formal Methods and Software Engineering
    - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai,
    China, November 17-19, 2010. Proceedings</i>. Lecture Notes in Computer Science.
    ; 2010:534--548. doi:<a href="https://doi.org/10.1007/978-3-642-16901-4_35">10.1007/978-3-642-16901-4_35</a>'
  apa: Timm, N., &#38; Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying
    Parameterised Systems. In J. Song Dong &#38; H. Zhu (Eds.), <i>Formal Methods
    and Software Engineering - 12th International Conference on Formal Engineering
    Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>
    (pp. 534--548). <a href="https://doi.org/10.1007/978-3-642-16901-4_35">https://doi.org/10.1007/978-3-642-16901-4_35</a>
  bibtex: '@inproceedings{Timm_Wehrheim_2010, series={Lecture Notes in Computer Science},
    title={On Symmetries and Spotlights - Verifying Parameterised Systems}, DOI={<a
    href="https://doi.org/10.1007/978-3-642-16901-4_35">10.1007/978-3-642-16901-4_35</a>},
    booktitle={Formal Methods and Software Engineering - 12th International Conference
    on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19,
    2010. Proceedings}, author={Timm, Nils and Wehrheim, Heike}, editor={Song Dong,
    Jin and Zhu, HuibiaoEditors}, year={2010}, pages={534--548}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying
    Parameterised Systems.” In <i>Formal Methods and Software Engineering - 12th International
    Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
    17-19, 2010. Proceedings</i>, edited by Jin Song Dong and Huibiao Zhu, 534--548.
    Lecture Notes in Computer Science, 2010. <a href="https://doi.org/10.1007/978-3-642-16901-4_35">https://doi.org/10.1007/978-3-642-16901-4_35</a>.
  ieee: N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised
    Systems,” in <i>Formal Methods and Software Engineering - 12th International Conference
    on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19,
    2010. Proceedings</i>, 2010, pp. 534--548.
  mla: Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised
    Systems.” <i>Formal Methods and Software Engineering - 12th International Conference
    on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19,
    2010. Proceedings</i>, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548,
    doi:<a href="https://doi.org/10.1007/978-3-642-16901-4_35">10.1007/978-3-642-16901-4_35</a>.
  short: 'N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and
    Software Engineering - 12th International Conference on Formal Engineering Methods,
    {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.'
date_created: 2018-06-13T09:12:28Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-16901-4_35
editor:
- first_name: Jin
  full_name: Song Dong, Jin
  last_name: Song Dong
- first_name: Huibiao
  full_name: Zhu, Huibiao
  last_name: Zhu
page: 534--548
publication: Formal Methods and Software Engineering - 12th International Conference
  on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010.
  Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: On Symmetries and Spotlights - Verifying Parameterised Systems
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3194'
author:
- first_name: Mathias
  full_name: Hülsbusch, Mathias
  last_name: Hülsbusch
- first_name: Barbara
  full_name: König, Barbara
  last_name: König
- first_name: Arend
  full_name: Rensink, Arend
  last_name: Rensink
- first_name: Maria
  full_name: Semenyak, Maria
  last_name: Semenyak
- first_name: Christian
  full_name: Soltenborn, Christian
  id: '1737'
  last_name: Soltenborn
  orcid: 0000-0002-0342-8227
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing
    Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.
    In: M{\’{e}}ry D, Merz S, eds. <i>Integrated Formal Methods - 8th International
    Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>. Lecture
    Notes in Computer Science. ; 2010:183--198. doi:<a href="https://doi.org/10.1007/978-3-642-16265-7_14">10.1007/978-3-642-16265-7_14</a>'
  apa: Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &#38;
    Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation
    - {A} Comparison of Techniques. In D. M{\’{e}}ry &#38; S. Merz (Eds.), <i>Integrated
    Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October
    11-14, 2010. Proceedings</i> (pp. 183--198). <a href="https://doi.org/10.1007/978-3-642-16265-7_14">https://doi.org/10.1007/978-3-642-16265-7_14</a>
  bibtex: '@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010,
    series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation
    in Model Transformation - {A} Comparison of Techniques}, DOI={<a href="https://doi.org/10.1007/978-3-642-16265-7_14">10.1007/978-3-642-16265-7_14</a>},
    booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010,
    Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and
    König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian
    and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors},
    year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian
    Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model
    Transformation - {A} Comparison of Techniques.” In <i>Integrated Formal Methods
    - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010.
    Proceedings</i>, edited by Dominique M{\’{e}}ry and Stephan Merz, 183--198. Lecture
    Notes in Computer Science, 2010. <a href="https://doi.org/10.1007/978-3-642-16265-7_14">https://doi.org/10.1007/978-3-642-16265-7_14</a>.
  ieee: M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
    “Showing Full Semantics Preservation in Model Transformation - {A} Comparison
    of Techniques,” in <i>Integrated Formal Methods - 8th International Conference,
    {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, 2010, pp. 183--198.
  mla: Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation
    - {A} Comparison of Techniques.” <i>Integrated Formal Methods - 8th International
    Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited
    by Dominique M{\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:<a href="https://doi.org/10.1007/978-3-642-16265-7_14">10.1007/978-3-642-16265-7_14</a>.
  short: 'M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim,
    in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International
    Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010,
    pp. 183--198.'
date_created: 2018-06-13T09:19:33Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-16265-7_14
editor:
- first_name: Dominique
  full_name: M{\'{e}}ry, Dominique
  last_name: M{\'{e}}ry
- first_name: Stephan
  full_name: Merz, Stephan
  last_name: Merz
language:
- iso: eng
page: 183--198
publication: Integrated Formal Methods - 8th International Conference, {IFM} 2010,
  Nancy, France, October 11-14, 2010. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Showing Full Semantics Preservation in Model Transformation - {A} Comparison
  of Techniques
type: conference
user_id: '14955'
year: '2010'
...
---
_id: '27159'
author:
- first_name: Sufyan
  full_name: Samara, Sufyan
  last_name: Samara
- first_name: Gunnar
  full_name: Schomaker, Gunnar
  last_name: Schomaker
citation:
  ama: 'Samara S, Schomaker G. Real-time Adaptation and Load Balancing Aware OS Services
    for Distributed Reconfigurable System on Chip. In: <i>2010 10th IEEE International
    Conference on Computer and Information Technology</i>. ; 2010. doi:<a href="https://doi.org/10.1109/cit.2010.304">10.1109/cit.2010.304</a>'
  apa: Samara, S., &#38; Schomaker, G. (2010). Real-time Adaptation and Load Balancing
    Aware OS Services for Distributed Reconfigurable System on Chip. <i>2010 10th
    IEEE International Conference on Computer and Information Technology</i>. <a href="https://doi.org/10.1109/cit.2010.304">https://doi.org/10.1109/cit.2010.304</a>
  bibtex: '@inproceedings{Samara_Schomaker_2010, title={Real-time Adaptation and Load
    Balancing Aware OS Services for Distributed Reconfigurable System on Chip}, DOI={<a
    href="https://doi.org/10.1109/cit.2010.304">10.1109/cit.2010.304</a>}, booktitle={2010
    10th IEEE International Conference on Computer and Information Technology}, author={Samara,
    Sufyan and Schomaker, Gunnar}, year={2010} }'
  chicago: Samara, Sufyan, and Gunnar Schomaker. “Real-Time Adaptation and Load Balancing
    Aware OS Services for Distributed Reconfigurable System on Chip.” In <i>2010 10th
    IEEE International Conference on Computer and Information Technology</i>, 2010.
    <a href="https://doi.org/10.1109/cit.2010.304">https://doi.org/10.1109/cit.2010.304</a>.
  ieee: 'S. Samara and G. Schomaker, “Real-time Adaptation and Load Balancing Aware
    OS Services for Distributed Reconfigurable System on Chip,” 2010, doi: <a href="https://doi.org/10.1109/cit.2010.304">10.1109/cit.2010.304</a>.'
  mla: Samara, Sufyan, and Gunnar Schomaker. “Real-Time Adaptation and Load Balancing
    Aware OS Services for Distributed Reconfigurable System on Chip.” <i>2010 10th
    IEEE International Conference on Computer and Information Technology</i>, 2010,
    doi:<a href="https://doi.org/10.1109/cit.2010.304">10.1109/cit.2010.304</a>.
  short: 'S. Samara, G. Schomaker, in: 2010 10th IEEE International Conference on
    Computer and Information Technology, 2010.'
date_created: 2021-11-04T15:53:55Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '63'
- _id: '26'
doi: 10.1109/cit.2010.304
language:
- iso: eng
publication: 2010 10th IEEE International Conference on Computer and Information Technology
publication_status: published
status: public
title: Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable
  System on Chip
type: conference
user_id: '15415'
year: '2010'
...