---
_id: '19901'
author:
- first_name: Christoforos L.
  full_name: Raptopoulos, Christoforos L.
  last_name: Raptopoulos
- first_name: Sotiris E.
  full_name: Nikoletseas, Sotiris E.
  last_name: Nikoletseas
- first_name: Paul G.
  full_name: Spirakis, Paul G.
  last_name: Spirakis
citation:
  ama: 'Raptopoulos CL, Nikoletseas SE, Spirakis PG. Colouring Non-sparse Random Intersection
    Graphs. In: <i>34st International Symposium on Mathematical Foundations of Computer
    Science</i>. ; 2009:600--611. doi:<a href="https://doi.org/10.1007/978-1-4939-2864-4_597">10.1007/978-1-4939-2864-4_597</a>'
  apa: Raptopoulos, C. L., Nikoletseas, S. E., &#38; Spirakis, P. G. (2009). Colouring
    Non-sparse Random Intersection Graphs. In <i>34st International Symposium on Mathematical
    Foundations of Computer Science</i> (pp. 600--611). <a href="https://doi.org/10.1007/978-1-4939-2864-4_597">https://doi.org/10.1007/978-1-4939-2864-4_597</a>
  bibtex: '@inproceedings{Raptopoulos_Nikoletseas_Spirakis_2009, title={Colouring
    Non-sparse Random Intersection Graphs}, DOI={<a href="https://doi.org/10.1007/978-1-4939-2864-4_597">10.1007/978-1-4939-2864-4_597</a>},
    booktitle={34st International Symposium on Mathematical Foundations of Computer
    Science}, author={Raptopoulos, Christoforos L. and Nikoletseas, Sotiris E. and
    Spirakis, Paul G.}, year={2009}, pages={600--611} }'
  chicago: Raptopoulos, Christoforos L., Sotiris E. Nikoletseas, and Paul G. Spirakis.
    “Colouring Non-Sparse Random Intersection Graphs.” In <i>34st International Symposium
    on Mathematical Foundations of Computer Science</i>, 600--611, 2009. <a href="https://doi.org/10.1007/978-1-4939-2864-4_597">https://doi.org/10.1007/978-1-4939-2864-4_597</a>.
  ieee: C. L. Raptopoulos, S. E. Nikoletseas, and P. G. Spirakis, “Colouring Non-sparse
    Random Intersection Graphs,” in <i>34st International Symposium on Mathematical
    Foundations of Computer Science</i>, 2009, pp. 600--611.
  mla: Raptopoulos, Christoforos L., et al. “Colouring Non-Sparse Random Intersection
    Graphs.” <i>34st International Symposium on Mathematical Foundations of Computer
    Science</i>, 2009, pp. 600--611, doi:<a href="https://doi.org/10.1007/978-1-4939-2864-4_597">10.1007/978-1-4939-2864-4_597</a>.
  short: 'C.L. Raptopoulos, S.E. Nikoletseas, P.G. Spirakis, in: 34st International
    Symposium on Mathematical Foundations of Computer Science, 2009, pp. 600--611.'
date_created: 2020-10-06T10:09:51Z
date_updated: 2022-01-06T06:54:14Z
department:
- _id: '63'
doi: 10.1007/978-1-4939-2864-4_597
language:
- iso: eng
page: 600--611
publication: 34st International Symposium on Mathematical Foundations of Computer
  Science
publication_identifier:
  isbn:
  - '9781493928637'
  - '9781493928644'
publication_status: published
status: public
title: Colouring Non-sparse Random Intersection Graphs
type: conference
user_id: '15415'
year: '2009'
...
---
_id: '19904'
author:
- first_name: Sotiris E.
  full_name: Nikoletseas, Sotiris E.
  last_name: Nikoletseas
- first_name: Christoforos L.
  full_name: Raptopoulos, Christoforos L.
  last_name: Raptopoulos
- first_name: Paul G.
  full_name: Spirakis, Paul G.
  last_name: Spirakis
citation:
  ama: 'Nikoletseas SE, Raptopoulos CL, Spirakis PG. Combinatorial Properties for
    Efficient Communication in Distributed Networks with Local Interactions. In: <i>
    Proceedings of IPDPS - IEEE International Parallel &#38; Distributed Processing
    Symposium</i>. ; 2009:1--11. doi:<a href="https://doi.org/10.1109/IPDPS.2009.5161002">10.1109/IPDPS.2009.5161002</a>'
  apa: Nikoletseas, S. E., Raptopoulos, C. L., &#38; Spirakis, P. G. (2009). Combinatorial
    Properties for Efficient Communication in Distributed Networks with Local Interactions.
    In <i> Proceedings of IPDPS - IEEE International Parallel &#38; Distributed Processing
    Symposium</i> (pp. 1--11). <a href="https://doi.org/10.1109/IPDPS.2009.5161002">https://doi.org/10.1109/IPDPS.2009.5161002</a>
  bibtex: '@inproceedings{Nikoletseas_Raptopoulos_Spirakis_2009, title={Combinatorial
    Properties for Efficient Communication in Distributed Networks with Local Interactions},
    DOI={<a href="https://doi.org/10.1109/IPDPS.2009.5161002">10.1109/IPDPS.2009.5161002</a>},
    booktitle={ Proceedings of IPDPS - IEEE International Parallel &#38; Distributed
    Processing Symposium}, author={Nikoletseas, Sotiris E. and Raptopoulos, Christoforos
    L. and Spirakis, Paul G.}, year={2009}, pages={1--11} }'
  chicago: Nikoletseas, Sotiris E., Christoforos L. Raptopoulos, and Paul G. Spirakis.
    “Combinatorial Properties for Efficient Communication in Distributed Networks
    with Local Interactions.” In <i> Proceedings of IPDPS - IEEE International Parallel
    &#38; Distributed Processing Symposium</i>, 1--11, 2009. <a href="https://doi.org/10.1109/IPDPS.2009.5161002">https://doi.org/10.1109/IPDPS.2009.5161002</a>.
  ieee: S. E. Nikoletseas, C. L. Raptopoulos, and P. G. Spirakis, “Combinatorial Properties
    for Efficient Communication in Distributed Networks with Local Interactions,”
    in <i> Proceedings of IPDPS - IEEE International Parallel &#38; Distributed Processing
    Symposium</i>, 2009, pp. 1--11.
  mla: Nikoletseas, Sotiris E., et al. “Combinatorial Properties for Efficient Communication
    in Distributed Networks with Local Interactions.” <i> Proceedings of IPDPS - IEEE
    International Parallel &#38; Distributed Processing Symposium</i>, 2009, pp. 1--11,
    doi:<a href="https://doi.org/10.1109/IPDPS.2009.5161002">10.1109/IPDPS.2009.5161002</a>.
  short: 'S.E. Nikoletseas, C.L. Raptopoulos, P.G. Spirakis, in:  Proceedings of IPDPS
    - IEEE International Parallel &#38; Distributed Processing Symposium, 2009, pp.
    1--11.'
date_created: 2020-10-06T10:23:53Z
date_updated: 2022-01-06T06:54:14Z
department:
- _id: '63'
doi: 10.1109/IPDPS.2009.5161002
language:
- iso: eng
page: 1--11
publication: ' Proceedings of IPDPS - IEEE International Parallel & Distributed Processing
  Symposium'
status: public
title: Combinatorial Properties for Efficient Communication in Distributed Networks
  with Local Interactions
type: conference
user_id: '15415'
year: '2009'
...
---
_id: '19934'
author:
- first_name: Deniz
  full_name: Deveci, Deniz
  last_name: Deveci
- first_name: Michael
  full_name: Kortenjan, Michael
  last_name: Kortenjan
- first_name: Gunnar
  full_name: Schomaker, Gunnar
  last_name: Schomaker
citation:
  ama: 'Deveci D, Kortenjan M, Schomaker G. Distributed Heterogeneous Hashing and
    Deterministic Dynamical Decompositions. In: <i> Parallel and Distributed Computing
    and Systems, Nr. 21</i>. ; 2009.'
  apa: Deveci, D., Kortenjan, M., &#38; Schomaker, G. (2009). Distributed Heterogeneous
    Hashing and Deterministic Dynamical Decompositions. In <i> Parallel and Distributed
    Computing and Systems, Nr. 21</i>.
  bibtex: '@inproceedings{Deveci_Kortenjan_Schomaker_2009, title={Distributed Heterogeneous
    Hashing and Deterministic Dynamical Decompositions}, booktitle={ Parallel and
    Distributed Computing and Systems, Nr. 21}, author={Deveci, Deniz and Kortenjan,
    Michael and Schomaker, Gunnar}, year={2009} }'
  chicago: Deveci, Deniz, Michael Kortenjan, and Gunnar Schomaker. “Distributed Heterogeneous
    Hashing and Deterministic Dynamical Decompositions.” In <i> Parallel and Distributed
    Computing and Systems, Nr. 21</i>, 2009.
  ieee: D. Deveci, M. Kortenjan, and G. Schomaker, “Distributed Heterogeneous Hashing
    and Deterministic Dynamical Decompositions,” in <i> Parallel and Distributed Computing
    and Systems, Nr. 21</i>, 2009.
  mla: Deveci, Deniz, et al. “Distributed Heterogeneous Hashing and Deterministic
    Dynamical Decompositions.” <i> Parallel and Distributed Computing and Systems,
    Nr. 21</i>, 2009.
  short: 'D. Deveci, M. Kortenjan, G. Schomaker, in:  Parallel and Distributed Computing
    and Systems, Nr. 21, 2009.'
date_created: 2020-10-06T14:12:26Z
date_updated: 2022-01-06T06:54:14Z
department:
- _id: '63'
- _id: '70'
language:
- iso: eng
publication: ' Parallel and Distributed Computing and Systems, Nr. 21'
status: public
title: Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions
type: conference
user_id: '15415'
year: '2009'
...
---
_id: '20254'
abstract:
- lang: eng
  text: One of the prominent challenges in mobile robotics is to develop control methodologies
    that allow the adaptation to dynamic and unforeseen environments. The classic
    approach of hand-coded controllers is very efficient for well-defined tasks and
    specific environments but poor in adapting to changing environmental conditions.
    One alternative approach is the application of evolutionary algorithms which need,
    in turn, easily evolvable representations of controllers. In this paper, we investigate
    one promising approach of an artificial hormone system as a control paradigm which
    is believed to be easily optimized by evolutionary processes. In a first step
    of this research, we focus on the simple task of collision avoidance. We present
    a brief mathematical analysis of this controller approach and an implementation
    of the controller on a mobile robot to check the feasibility in principle of our
    approach. The task is successfully accomplished and we conclude with a discussion
    of the hormone dynamics in the robot.
author:
- first_name: Jürgen
  full_name: Stradner, Jürgen
  last_name: Stradner
- first_name: Heiko
  full_name: Hamann, Heiko
  last_name: Hamann
- first_name: Thomas
  full_name: Schmickl, Thomas
  last_name: Schmickl
- first_name: Karl
  full_name: Crailsheim, Karl
  last_name: Crailsheim
citation:
  ama: 'Stradner J, Hamann H, Schmickl T, Crailsheim K. Analysis and implementation
    of an Artificial Homeostatic Hormone System: A first case study in robotic hardware.
    In: <i>2009 IEEE/RSJ International Conference on Intelligent Robots and Systems</i>.
    ; 2009. doi:<a href="https://doi.org/10.1109/iros.2009.5354056">10.1109/iros.2009.5354056</a>'
  apa: 'Stradner, J., Hamann, H., Schmickl, T., &#38; Crailsheim, K. (2009). Analysis
    and implementation of an Artificial Homeostatic Hormone System: A first case study
    in robotic hardware. In <i>2009 IEEE/RSJ International Conference on Intelligent
    Robots and Systems</i>. <a href="https://doi.org/10.1109/iros.2009.5354056">https://doi.org/10.1109/iros.2009.5354056</a>'
  bibtex: '@inproceedings{Stradner_Hamann_Schmickl_Crailsheim_2009, title={Analysis
    and implementation of an Artificial Homeostatic Hormone System: A first case study
    in robotic hardware}, DOI={<a href="https://doi.org/10.1109/iros.2009.5354056">10.1109/iros.2009.5354056</a>},
    booktitle={2009 IEEE/RSJ International Conference on Intelligent Robots and Systems},
    author={Stradner, Jürgen and Hamann, Heiko and Schmickl, Thomas and Crailsheim,
    Karl}, year={2009} }'
  chicago: 'Stradner, Jürgen, Heiko Hamann, Thomas Schmickl, and Karl Crailsheim.
    “Analysis and Implementation of an Artificial Homeostatic Hormone System: A First
    Case Study in Robotic Hardware.” In <i>2009 IEEE/RSJ International Conference
    on Intelligent Robots and Systems</i>, 2009. <a href="https://doi.org/10.1109/iros.2009.5354056">https://doi.org/10.1109/iros.2009.5354056</a>.'
  ieee: 'J. Stradner, H. Hamann, T. Schmickl, and K. Crailsheim, “Analysis and implementation
    of an Artificial Homeostatic Hormone System: A first case study in robotic hardware,”
    in <i>2009 IEEE/RSJ International Conference on Intelligent Robots and Systems</i>,
    2009.'
  mla: 'Stradner, Jürgen, et al. “Analysis and Implementation of an Artificial Homeostatic
    Hormone System: A First Case Study in Robotic Hardware.” <i>2009 IEEE/RSJ International
    Conference on Intelligent Robots and Systems</i>, 2009, doi:<a href="https://doi.org/10.1109/iros.2009.5354056">10.1109/iros.2009.5354056</a>.'
  short: 'J. Stradner, H. Hamann, T. Schmickl, K. Crailsheim, in: 2009 IEEE/RSJ International
    Conference on Intelligent Robots and Systems, 2009.'
date_created: 2020-11-02T14:04:46Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '63'
- _id: '238'
doi: 10.1109/iros.2009.5354056
language:
- iso: eng
publication: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems
publication_identifier:
  isbn:
  - '9781424438037'
publication_status: published
status: public
title: 'Analysis and implementation of an Artificial Homeostatic Hormone System: A
  first case study in robotic hardware'
type: conference
user_id: '15415'
year: '2009'
...
---
_id: '20255'
abstract:
- lang: eng
  text: 'By compiling macroscopic models we analyze the adaptive behavior in a swarm
    of autonomous robots generated by a bio-inspired, distributed control algorithm.
    We developed two macroscopic models by taking two different perspectives: A Stock
    & Flow model, which is simple to implement and fast to simulate, and a spatially
    resolved model based on diffusion processes. These two models were compared concerning
    their prediction quality and their analytical power: One model allowed easy identification
    of the major feedback loops governing the swarm behavior. The other model allowed
    analysis of the expected shapes and positions of observable robot clusters. We
    found a high correlation in the challenges posed by both modeling techniques and
    we highlighted the inherent problems of inferring emergent macroscopic rules from
    a microscopic description of swarm behavior.'
author:
- first_name: Thomas
  full_name: Schmickl, Thomas
  last_name: Schmickl
- first_name: Heiko
  full_name: Hamann, Heiko
  last_name: Hamann
- first_name: Heinz
  full_name: Wörn, Heinz
  last_name: Wörn
- first_name: Karl
  full_name: Crailsheim, Karl
  last_name: Crailsheim
citation:
  ama: Schmickl T, Hamann H, Wörn H, Crailsheim K. Two different approaches to a macroscopic
    model of a bio-inspired robotic swarm. <i>Robotics and Autonomous Systems</i>.
    2009;6(9):913-921. doi:<a href="https://doi.org/10.1016/j.robot.2009.06.002">10.1016/j.robot.2009.06.002</a>
  apa: Schmickl, T., Hamann, H., Wörn, H., &#38; Crailsheim, K. (2009). Two different
    approaches to a macroscopic model of a bio-inspired robotic swarm. <i>Robotics
    and Autonomous Systems</i>, <i>6</i>(9), 913–921. <a href="https://doi.org/10.1016/j.robot.2009.06.002">https://doi.org/10.1016/j.robot.2009.06.002</a>
  bibtex: '@article{Schmickl_Hamann_Wörn_Crailsheim_2009, title={Two different approaches
    to a macroscopic model of a bio-inspired robotic swarm}, volume={6}, DOI={<a href="https://doi.org/10.1016/j.robot.2009.06.002">10.1016/j.robot.2009.06.002</a>},
    number={9}, journal={Robotics and Autonomous Systems}, author={Schmickl, Thomas
    and Hamann, Heiko and Wörn, Heinz and Crailsheim, Karl}, year={2009}, pages={913–921}
    }'
  chicago: 'Schmickl, Thomas, Heiko Hamann, Heinz Wörn, and Karl Crailsheim. “Two
    Different Approaches to a Macroscopic Model of a Bio-Inspired Robotic Swarm.”
    <i>Robotics and Autonomous Systems</i> 6, no. 9 (2009): 913–21. <a href="https://doi.org/10.1016/j.robot.2009.06.002">https://doi.org/10.1016/j.robot.2009.06.002</a>.'
  ieee: T. Schmickl, H. Hamann, H. Wörn, and K. Crailsheim, “Two different approaches
    to a macroscopic model of a bio-inspired robotic swarm,” <i>Robotics and Autonomous
    Systems</i>, vol. 6, no. 9, pp. 913–921, 2009.
  mla: Schmickl, Thomas, et al. “Two Different Approaches to a Macroscopic Model of
    a Bio-Inspired Robotic Swarm.” <i>Robotics and Autonomous Systems</i>, vol. 6,
    no. 9, 2009, pp. 913–21, doi:<a href="https://doi.org/10.1016/j.robot.2009.06.002">10.1016/j.robot.2009.06.002</a>.
  short: T. Schmickl, H. Hamann, H. Wörn, K. Crailsheim, Robotics and Autonomous Systems
    6 (2009) 913–921.
date_created: 2020-11-02T14:07:44Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '63'
- _id: '238'
doi: 10.1016/j.robot.2009.06.002
intvolume: '         6'
issue: '9'
language:
- iso: eng
page: 913-921
publication: Robotics and Autonomous Systems
publication_identifier:
  issn:
  - 0921-8890
publication_status: published
status: public
title: Two different approaches to a macroscopic model of a bio-inspired robotic swarm
type: journal_article
user_id: '15415'
volume: 6
year: '2009'
...
---
_id: '20259'
author:
- first_name: Heiko
  full_name: Hamann, Heiko
  last_name: Hamann
- first_name: Inge
  full_name: Troch, Inge
  last_name: Troch
- first_name: F.
  full_name: Breitenecker, F.
  last_name: Breitenecker
citation:
  ama: 'Hamann H, Troch I, Breitenecker F. Pattern Formation as a Transient Phenomenon
    in the Nonlinear Dynamics of a Multi-Agent System. In: <i>MATHMOD 2009 - 6th Vienna
    International Conference on Mathematical Modelling</i>. ; 2009.'
  apa: Hamann, H., Troch, I., &#38; Breitenecker, F. (2009). Pattern Formation as
    a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System. In <i>MATHMOD
    2009 - 6th Vienna International Conference on Mathematical Modelling</i>.
  bibtex: '@inproceedings{Hamann_Troch_Breitenecker_2009, title={Pattern Formation
    as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System},
    booktitle={MATHMOD 2009 - 6th Vienna International Conference on Mathematical
    Modelling}, author={Hamann, Heiko and Troch, Inge and Breitenecker, F.}, year={2009}
    }'
  chicago: Hamann, Heiko, Inge Troch, and F. Breitenecker. “Pattern Formation as a
    Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System.” In <i>MATHMOD
    2009 - 6th Vienna International Conference on Mathematical Modelling</i>, 2009.
  ieee: H. Hamann, I. Troch, and F. Breitenecker, “Pattern Formation as a Transient
    Phenomenon in the Nonlinear Dynamics of a Multi-Agent System,” in <i>MATHMOD 2009
    - 6th Vienna International Conference on Mathematical Modelling</i>, 2009.
  mla: Hamann, Heiko, et al. “Pattern Formation as a Transient Phenomenon in the Nonlinear
    Dynamics of a Multi-Agent System.” <i>MATHMOD 2009 - 6th Vienna International
    Conference on Mathematical Modelling</i>, 2009.
  short: 'H. Hamann, I. Troch, F. Breitenecker, in: MATHMOD 2009 - 6th Vienna International
    Conference on Mathematical Modelling, 2009.'
date_created: 2020-11-02T14:18:27Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '63'
- _id: '238'
language:
- iso: eng
publication: MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling
status: public
title: Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a
  Multi-Agent System
type: conference
user_id: '15415'
year: '2009'
...
---
_id: '3199'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Daniel
  full_name: Wonisch, Daniel
  last_name: Wonisch
citation:
  ama: Wehrheim H, Wonisch D. Compositional {CSP} Traces Refinement Checking. <i>Electr
    Notes Theor Comput Sci</i>. 2009;(2):135--151. doi:<a href="https://doi.org/10.1016/j.entcs.2009.08.022">10.1016/j.entcs.2009.08.022</a>
  apa: Wehrheim, H., &#38; Wonisch, D. (2009). Compositional {CSP} Traces Refinement
    Checking. <i>Electr. Notes Theor. Comput. Sci.</i>, (2), 135--151. <a href="https://doi.org/10.1016/j.entcs.2009.08.022">https://doi.org/10.1016/j.entcs.2009.08.022</a>
  bibtex: '@article{Wehrheim_Wonisch_2009, title={Compositional {CSP} Traces Refinement
    Checking}, DOI={<a href="https://doi.org/10.1016/j.entcs.2009.08.022">10.1016/j.entcs.2009.08.022</a>},
    number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike
    and Wonisch, Daniel}, year={2009}, pages={135--151} }'
  chicago: 'Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement
    Checking.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2 (2009): 135--151. <a
    href="https://doi.org/10.1016/j.entcs.2009.08.022">https://doi.org/10.1016/j.entcs.2009.08.022</a>.'
  ieee: H. Wehrheim and D. Wonisch, “Compositional {CSP} Traces Refinement Checking,”
    <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, pp. 135--151, 2009.
  mla: Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement
    Checking.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, 2009, pp. 135--151,
    doi:<a href="https://doi.org/10.1016/j.entcs.2009.08.022">10.1016/j.entcs.2009.08.022</a>.
  short: H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
date_created: 2018-06-13T09:24:52Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2009.08.022
issue: '2'
page: 135--151
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Compositional {CSP} Traces Refinement Checking
type: journal_article
user_id: '29719'
year: '2009'
...
---
_id: '3200'
author:
- first_name: Thomas
  full_name: Ruhroth, Thomas
  last_name: Ruhroth
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Ruhroth T, Wehrheim H. Static Class Elements for Object-Z. <i>Electr Notes
    Theor Comput Sci</i>. 2009:193--205. doi:<a href="https://doi.org/10.1016/j.entcs.2009.12.025">10.1016/j.entcs.2009.12.025</a>
  apa: Ruhroth, T., &#38; Wehrheim, H. (2009). Static Class Elements for Object-Z.
    <i>Electr. Notes Theor. Comput. Sci.</i>, 193--205. <a href="https://doi.org/10.1016/j.entcs.2009.12.025">https://doi.org/10.1016/j.entcs.2009.12.025</a>
  bibtex: '@article{Ruhroth_Wehrheim_2009, title={Static Class Elements for Object-Z},
    DOI={<a href="https://doi.org/10.1016/j.entcs.2009.12.025">10.1016/j.entcs.2009.12.025</a>},
    journal={Electr. Notes Theor. Comput. Sci.}, author={Ruhroth, Thomas and Wehrheim,
    Heike}, year={2009}, pages={193--205} }'
  chicago: Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.”
    <i>Electr. Notes Theor. Comput. Sci.</i>, 2009, 193--205. <a href="https://doi.org/10.1016/j.entcs.2009.12.025">https://doi.org/10.1016/j.entcs.2009.12.025</a>.
  ieee: T. Ruhroth and H. Wehrheim, “Static Class Elements for Object-Z,” <i>Electr.
    Notes Theor. Comput. Sci.</i>, pp. 193--205, 2009.
  mla: Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.”
    <i>Electr. Notes Theor. Comput. Sci.</i>, 2009, pp. 193--205, doi:<a href="https://doi.org/10.1016/j.entcs.2009.12.025">10.1016/j.entcs.2009.12.025</a>.
  short: T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
date_created: 2018-06-13T09:26:31Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2009.12.025
page: 193--205
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Static Class Elements for Object-Z
type: journal_article
user_id: '29719'
year: '2009'
...
---
_id: '3201'
author:
- first_name: Thomas
  full_name: Ruhroth, Thomas
  last_name: Ruhroth
- first_name: Hendrik
  full_name: Voigt, Hendrik
  last_name: Voigt
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Ruhroth T, Voigt H, Wehrheim H. Measure, Diagnose, Refactor: {A} Formal Quality
    Cycle for Software Models. In: <i>35th Euromicro Conference on Software Engineering
    and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i>.
    ; 2009:360--367. doi:<a href="https://doi.org/10.1109/SEAA.2009.39">10.1109/SEAA.2009.39</a>'
  apa: 'Ruhroth, T., Voigt, H., &#38; Wehrheim, H. (2009). Measure, Diagnose, Refactor:
    {A} Formal Quality Cycle for Software Models. In <i>35th Euromicro Conference
    on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece,
    August 27-29, 2009, Proceedings</i> (pp. 360--367). <a href="https://doi.org/10.1109/SEAA.2009.39">https://doi.org/10.1109/SEAA.2009.39</a>'
  bibtex: '@inproceedings{Ruhroth_Voigt_Wehrheim_2009, title={Measure, Diagnose, Refactor:
    {A} Formal Quality Cycle for Software Models}, DOI={<a href="https://doi.org/10.1109/SEAA.2009.39">10.1109/SEAA.2009.39</a>},
    booktitle={35th Euromicro Conference on Software Engineering and Advanced Applications,
    {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings}, author={Ruhroth,
    Thomas and Voigt, Hendrik and Wehrheim, Heike}, year={2009}, pages={360--367}
    }'
  chicago: 'Ruhroth, Thomas, Hendrik Voigt, and Heike Wehrheim. “Measure, Diagnose,
    Refactor: {A} Formal Quality Cycle for Software Models.” In <i>35th Euromicro
    Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras,
    Greece, August 27-29, 2009, Proceedings</i>, 360--367, 2009. <a href="https://doi.org/10.1109/SEAA.2009.39">https://doi.org/10.1109/SEAA.2009.39</a>.'
  ieee: 'T. Ruhroth, H. Voigt, and H. Wehrheim, “Measure, Diagnose, Refactor: {A}
    Formal Quality Cycle for Software Models,” in <i>35th Euromicro Conference on
    Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August
    27-29, 2009, Proceedings</i>, 2009, pp. 360--367.'
  mla: 'Ruhroth, Thomas, et al. “Measure, Diagnose, Refactor: {A} Formal Quality Cycle
    for Software Models.” <i>35th Euromicro Conference on Software Engineering and
    Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i>,
    2009, pp. 360--367, doi:<a href="https://doi.org/10.1109/SEAA.2009.39">10.1109/SEAA.2009.39</a>.'
  short: 'T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software
    Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29,
    2009, Proceedings, 2009, pp. 360--367.'
date_created: 2018-06-13T09:30:27Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1109/SEAA.2009.39
page: 360--367
publication: 35th Euromicro Conference on Software Engineering and Advanced Applications,
  {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings
status: public
title: 'Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models'
type: conference
user_id: '29719'
year: '2009'
...
---
_id: '3202'
citation:
  ama: Leuschel M, Wehrheim H, eds. <i>Integrated Formal Methods, 7th International
    Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>.;
    2009. doi:<a href="https://doi.org/10.1007/978-3-642-00255-7">10.1007/978-3-642-00255-7</a>
  apa: Leuschel, M., &#38; Wehrheim, H. (Eds.). (2009). <i>Integrated Formal Methods,
    7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February
    16-19, 2009. Proceedings</i>. <a href="https://doi.org/10.1007/978-3-642-00255-7">https://doi.org/10.1007/978-3-642-00255-7</a>
  bibtex: '@book{Leuschel_Wehrheim_2009, series={Lecture Notes in Computer Science},
    title={Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf,
    Germany, February 16-19, 2009. Proceedings}, DOI={<a href="https://doi.org/10.1007/978-3-642-00255-7">10.1007/978-3-642-00255-7</a>},
    year={2009}, collection={Lecture Notes in Computer Science} }'
  chicago: Leuschel, Michael, and Heike Wehrheim, eds. <i>Integrated Formal Methods,
    7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February
    16-19, 2009. Proceedings</i>. Lecture Notes in Computer Science, 2009. <a href="https://doi.org/10.1007/978-3-642-00255-7">https://doi.org/10.1007/978-3-642-00255-7</a>.
  ieee: M. Leuschel and H. Wehrheim, Eds., <i>Integrated Formal Methods, 7th International
    Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>.
    2009.
  mla: Leuschel, Michael, and Heike Wehrheim, editors. <i>Integrated Formal Methods,
    7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February
    16-19, 2009. Proceedings</i>. 2009, doi:<a href="https://doi.org/10.1007/978-3-642-00255-7">10.1007/978-3-642-00255-7</a>.
  short: M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International
    Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings,
    2009.
date_created: 2018-06-13T09:44:34Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-00255-7
editor:
- first_name: Michael
  full_name: Leuschel, Michael
  last_name: Leuschel
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
publication_identifier:
  isbn:
  - 978-3-642-00254-0
series_title: Lecture Notes in Computer Science
status: public
title: Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf,
  Germany, February 16-19, 2009. Proceedings
type: conference_editor
user_id: '29719'
year: '2009'
...
---
_id: '2880'
author:
- first_name: Carsten
  full_name: Schröer, Carsten
  last_name: Schröer
citation:
  ama: Schröer C. <i>Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern</i>.;
    2009.
  apa: Schröer, C. (2009). <i>Hierarchisches Clustering mit minimalen Cluster-Durchmessern</i>.
  bibtex: '@book{Schröer_2009, title={Hierarchisches Clustering mit minimalen Cluster-Durchmessern},
    author={Schröer, Carsten}, year={2009} }'
  chicago: Schröer, Carsten. <i>Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern</i>,
    2009.
  ieee: C. Schröer, <i>Hierarchisches Clustering mit minimalen Cluster-Durchmessern</i>.
    2009.
  mla: Schröer, Carsten. <i>Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern</i>.
    2009.
  short: C. Schröer, Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern,
    2009.
date_created: 2018-05-25T09:07:25Z
date_updated: 2022-01-06T06:58:25Z
ddc:
- '000'
department:
- _id: '64'
file:
- access_level: closed
  content_type: application/pdf
  creator: feidens
  date_created: 2018-05-25T09:07:18Z
  date_updated: 2018-05-25T09:07:18Z
  file_id: '2881'
  file_name: 2009_Schroeer_HierarchischesDurchmesserClustering.pdf
  file_size: 626531
  relation: main_file
  success: 1
file_date_updated: 2018-05-25T09:07:18Z
has_accepted_license: '1'
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: Hierarchisches Clustering mit minimalen Cluster-Durchmessern
type: bachelorsthesis
user_id: '25078'
year: '2009'
...
---
_id: '2896'
author:
- first_name: Gennadij
  full_name: Liske, Gennadij
  last_name: Liske
citation:
  ama: Liske G. <i>Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens</i>.;
    2009.
  apa: Liske, G. (2009). <i>Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens</i>.
  bibtex: '@book{Liske_2009, title={Analyse und Evaluation eines identitätsbasierten
    Signcryption-Verfahrens}, author={Liske, Gennadij}, year={2009} }'
  chicago: Liske, Gennadij. <i>Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens</i>,
    2009.
  ieee: G. Liske, <i>Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens</i>.
    2009.
  mla: Liske, Gennadij. <i>Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens</i>.
    2009.
  short: G. Liske, Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens,
    2009.
date_created: 2018-05-25T09:31:04Z
date_updated: 2022-01-06T06:58:42Z
ddc:
- '000'
department:
- _id: '64'
file:
- access_level: open_access
  content_type: application/pdf
  creator: feidens
  date_created: 2018-05-25T09:30:58Z
  date_updated: 2018-07-12T09:41:46Z
  file_id: '2897'
  file_name: 2009_Liske_AnalyseUndEvaluationEinesIdentitaetsbasiertenSigncryptionVerfahrens.pdf
  file_size: 1196648
  relation: main_file
file_date_updated: 2018-07-12T09:41:46Z
has_accepted_license: '1'
oa: '1'
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  last_name: Blömer
title: Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens
type: bachelorsthesis
urn: '28960'
user_id: '25078'
year: '2009'
...
---
_id: '2904'
author:
- first_name: Christoph
  full_name: Scholz, Christoph
  last_name: Scholz
citation:
  ama: Scholz C. <i>Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen</i>.;
    2009.
  apa: Scholz, C. (2009). <i>Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen</i>.
  bibtex: '@book{Scholz_2009, title={Die Schwierigkeit des k-Median Clusterings für
    Bregman-Divergenzen}, author={Scholz, Christoph}, year={2009} }'
  chicago: Scholz, Christoph. <i>Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen</i>,
    2009.
  ieee: C. Scholz, <i>Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen</i>.
    2009.
  mla: Scholz, Christoph. <i>Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen</i>.
    2009.
  short: C. Scholz, Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen,
    2009.
date_created: 2018-05-25T09:48:17Z
date_updated: 2022-01-06T06:58:44Z
ddc:
- '000'
department:
- _id: '64'
file:
- access_level: closed
  content_type: application/pdf
  creator: feidens
  date_created: 2018-05-25T09:48:10Z
  date_updated: 2018-05-25T09:48:10Z
  file_id: '2905'
  file_name: 2009_Scholz_DieSchwierigkeitDesKMedianClusteringsFuerBregmanDivergenzen.pdf
  file_size: 844164
  relation: main_file
  success: 1
file_date_updated: 2018-05-25T09:48:10Z
has_accepted_license: '1'
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen
type: mastersthesis
user_id: '25078'
year: '2009'
...
---
_id: '2911'
author:
- first_name: Marcel Rudolf
  full_name: Ackermann, Marcel Rudolf
  last_name: Ackermann
citation:
  ama: Ackermann MR. <i>Algorithms for the Bregman K-Median Problem</i>. Universität
    Paderborn; 2009.
  apa: Ackermann, M. R. (2009). <i>Algorithms for the Bregman k-Median Problem</i>.
    Universität Paderborn.
  bibtex: '@book{Ackermann_2009, title={Algorithms for the Bregman k-Median Problem},
    publisher={Universität Paderborn}, author={Ackermann, Marcel Rudolf}, year={2009}
    }'
  chicago: Ackermann, Marcel Rudolf. <i>Algorithms for the Bregman K-Median Problem</i>.
    Universität Paderborn, 2009.
  ieee: M. R. Ackermann, <i>Algorithms for the Bregman k-Median Problem</i>. Universität
    Paderborn, 2009.
  mla: Ackermann, Marcel Rudolf. <i>Algorithms for the Bregman K-Median Problem</i>.
    Universität Paderborn, 2009.
  short: M.R. Ackermann, Algorithms for the Bregman K-Median Problem, Universität
    Paderborn, 2009.
date_created: 2018-05-25T10:48:51Z
date_updated: 2022-01-06T06:58:46Z
department:
- _id: '64'
main_file_link:
- url: http://digital.ub.uni-paderborn.de/hs/content/titleinfo/1561
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: Algorithms for the Bregman k-Median Problem
type: dissertation
user_id: '25078'
year: '2009'
...
---
_id: '2920'
author:
- first_name: Saqib
  full_name: Kakvi, Saqib
  last_name: Kakvi
citation:
  ama: 'Kakvi S. Reinforcement Learning for Blackjack. In: <i>Lecture Notes in Computer
    Science</i>. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:300-301. doi:<a
    href="https://doi.org/10.1007/978-3-642-04052-8_43">10.1007/978-3-642-04052-8_43</a>'
  apa: 'Kakvi, S. (2009). Reinforcement Learning for Blackjack. In <i>Lecture Notes
    in Computer Science</i> (pp. 300–301). Berlin, Heidelberg: Springer Berlin Heidelberg.
    <a href="https://doi.org/10.1007/978-3-642-04052-8_43">https://doi.org/10.1007/978-3-642-04052-8_43</a>'
  bibtex: '@inbook{Kakvi_2009, place={Berlin, Heidelberg}, title={Reinforcement Learning
    for Blackjack}, DOI={<a href="https://doi.org/10.1007/978-3-642-04052-8_43">10.1007/978-3-642-04052-8_43</a>},
    booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg},
    author={Kakvi, Saqib}, year={2009}, pages={300–301} }'
  chicago: 'Kakvi, Saqib. “Reinforcement Learning for Blackjack.” In <i>Lecture Notes
    in Computer Science</i>, 300–301. Berlin, Heidelberg: Springer Berlin Heidelberg,
    2009. <a href="https://doi.org/10.1007/978-3-642-04052-8_43">https://doi.org/10.1007/978-3-642-04052-8_43</a>.'
  ieee: 'S. Kakvi, “Reinforcement Learning for Blackjack,” in <i>Lecture Notes in
    Computer Science</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp.
    300–301.'
  mla: Kakvi, Saqib. “Reinforcement Learning for Blackjack.” <i>Lecture Notes in Computer
    Science</i>, Springer Berlin Heidelberg, 2009, pp. 300–01, doi:<a href="https://doi.org/10.1007/978-3-642-04052-8_43">10.1007/978-3-642-04052-8_43</a>.
  short: 'S. Kakvi, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg,
    Berlin, Heidelberg, 2009, pp. 300–301.'
date_created: 2018-05-25T12:38:01Z
date_updated: 2022-01-06T06:58:47Z
department:
- _id: '558'
doi: 10.1007/978-3-642-04052-8_43
extern: '1'
page: 300-301
place: Berlin, Heidelberg
publication: Lecture Notes in Computer Science
publication_identifier:
  isbn:
  - '9783642040511'
  - '9783642040528'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer Berlin Heidelberg
status: public
title: Reinforcement Learning for Blackjack
type: book_chapter
user_id: '25078'
year: '2009'
...
---
_id: '2995'
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. Coresets and Approximate Clustering for Bregman Divergences.
    In: <i>Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms</i>.
    Philadelphia, PA: Society for Industrial and Applied Mathematics; 2009:1088-1097.
    doi:<a href="https://doi.org/10.1137/1.9781611973068.118">10.1137/1.9781611973068.118</a>'
  apa: 'Ackermann, M. R., &#38; Blömer, J. (2009). Coresets and Approximate Clustering
    for Bregman Divergences. In <i>Proceedings of the Twentieth Annual ACM-SIAM Symposium
    on Discrete Algorithms</i> (pp. 1088–1097). Philadelphia, PA: Society for Industrial
    and Applied Mathematics. <a href="https://doi.org/10.1137/1.9781611973068.118">https://doi.org/10.1137/1.9781611973068.118</a>'
  bibtex: '@inbook{Ackermann_Blömer_2009, place={Philadelphia, PA}, title={Coresets
    and Approximate Clustering for Bregman Divergences}, DOI={<a href="https://doi.org/10.1137/1.9781611973068.118">10.1137/1.9781611973068.118</a>},
    booktitle={Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete
    Algorithms}, publisher={Society for Industrial and Applied Mathematics}, author={Ackermann,
    Marcel R. and Blömer, Johannes}, year={2009}, pages={1088–1097} }'
  chicago: 'Ackermann, Marcel R., and Johannes Blömer. “Coresets and Approximate Clustering
    for Bregman Divergences.” In <i>Proceedings of the Twentieth Annual ACM-SIAM Symposium
    on Discrete Algorithms</i>, 1088–97. Philadelphia, PA: Society for Industrial
    and Applied Mathematics, 2009. <a href="https://doi.org/10.1137/1.9781611973068.118">https://doi.org/10.1137/1.9781611973068.118</a>.'
  ieee: 'M. R. Ackermann and J. Blömer, “Coresets and Approximate Clustering for Bregman
    Divergences,” in <i>Proceedings of the Twentieth Annual ACM-SIAM Symposium on
    Discrete Algorithms</i>, Philadelphia, PA: Society for Industrial and Applied
    Mathematics, 2009, pp. 1088–1097.'
  mla: Ackermann, Marcel R., and Johannes Blömer. “Coresets and Approximate Clustering
    for Bregman Divergences.” <i>Proceedings of the Twentieth Annual ACM-SIAM Symposium
    on Discrete Algorithms</i>, Society for Industrial and Applied Mathematics, 2009,
    pp. 1088–97, doi:<a href="https://doi.org/10.1137/1.9781611973068.118">10.1137/1.9781611973068.118</a>.
  short: 'M.R. Ackermann, J. Blömer, in: Proceedings of the Twentieth Annual ACM-SIAM
    Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics,
    Philadelphia, PA, 2009, pp. 1088–1097.'
date_created: 2018-06-05T08:05:17Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
doi: 10.1137/1.9781611973068.118
language:
- iso: eng
page: 1088-1097
place: Philadelphia, PA
publication: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
publication_identifier:
  isbn:
  - '9780898716801'
  - '9781611973068'
publication_status: published
publisher: Society for Industrial and Applied Mathematics
status: public
title: Coresets and Approximate Clustering for Bregman Divergences
type: book_chapter
user_id: '25078'
year: '2009'
...
---
_id: '3000'
author:
- first_name: Jonas
  full_name: Schrieb, Jonas
  last_name: Schrieb
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Daniel
  full_name: Wonisch, Daniel
  last_name: Wonisch
citation:
  ama: 'Schrieb J, Wehrheim H, Wonisch D. Three-Valued Spotlight Abstractions. In:
    <i>FM 2009: Formal Methods</i>. Berlin, Heidelberg: Springer Berlin Heidelberg;
    2009:106-122. doi:<a href="https://doi.org/10.1007/978-3-642-05089-3_8">10.1007/978-3-642-05089-3_8</a>'
  apa: 'Schrieb, J., Wehrheim, H., &#38; Wonisch, D. (2009). Three-Valued Spotlight
    Abstractions. In <i>FM 2009: Formal Methods</i> (pp. 106–122). Berlin, Heidelberg:
    Springer Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-642-05089-3_8">https://doi.org/10.1007/978-3-642-05089-3_8</a>'
  bibtex: '@inbook{Schrieb_Wehrheim_Wonisch_2009, place={Berlin, Heidelberg}, title={Three-Valued
    Spotlight Abstractions}, DOI={<a href="https://doi.org/10.1007/978-3-642-05089-3_8">10.1007/978-3-642-05089-3_8</a>},
    booktitle={FM 2009: Formal Methods}, publisher={Springer Berlin Heidelberg}, author={Schrieb,
    Jonas and Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={106–122} }'
  chicago: 'Schrieb, Jonas, Heike Wehrheim, and Daniel Wonisch. “Three-Valued Spotlight
    Abstractions.” In <i>FM 2009: Formal Methods</i>, 106–22. Berlin, Heidelberg:
    Springer Berlin Heidelberg, 2009. <a href="https://doi.org/10.1007/978-3-642-05089-3_8">https://doi.org/10.1007/978-3-642-05089-3_8</a>.'
  ieee: 'J. Schrieb, H. Wehrheim, and D. Wonisch, “Three-Valued Spotlight Abstractions,”
    in <i>FM 2009: Formal Methods</i>, Berlin, Heidelberg: Springer Berlin Heidelberg,
    2009, pp. 106–122.'
  mla: 'Schrieb, Jonas, et al. “Three-Valued Spotlight Abstractions.” <i>FM 2009:
    Formal Methods</i>, Springer Berlin Heidelberg, 2009, pp. 106–22, doi:<a href="https://doi.org/10.1007/978-3-642-05089-3_8">10.1007/978-3-642-05089-3_8</a>.'
  short: 'J. Schrieb, H. Wehrheim, D. Wonisch, in: FM 2009: Formal Methods, Springer
    Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 106–122.'
date_created: 2018-06-05T08:09:11Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
doi: 10.1007/978-3-642-05089-3_8
page: 106-122
place: Berlin, Heidelberg
publication: 'FM 2009: Formal Methods'
publication_identifier:
  isbn:
  - '9783642050886'
  - '9783642050893'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer Berlin Heidelberg
status: public
title: Three-Valued Spotlight Abstractions
type: book_chapter
user_id: '25078'
year: '2009'
...
---
_id: '3142'
author:
- first_name: Tibor
  full_name: Jager, Tibor
  id: '64669'
  last_name: Jager
- first_name: Jörg
  full_name: Schwenk, Jörg
  last_name: Schwenk
citation:
  ama: 'Jager T, Schwenk J. On the Analysis of Cryptographic Assumptions in the Generic
    Ring Model. In: <i>Advances in Cryptology - ASIACRYPT 2009, 15th International
    Conference on the Theory and Application of Cryptology and Information Security,
    Tokyo, Japan, December 6-10, 2009. Proceedings</i>. ; 2009:399--416. doi:<a href="https://doi.org/10.1007/978-3-642-10366-7_24">10.1007/978-3-642-10366-7_24</a>'
  apa: Jager, T., &#38; Schwenk, J. (2009). On the Analysis of Cryptographic Assumptions
    in the Generic Ring Model. In <i>Advances in Cryptology - ASIACRYPT 2009, 15th
    International Conference on the Theory and Application of Cryptology and Information
    Security, Tokyo, Japan, December 6-10, 2009. Proceedings</i> (pp. 399--416). <a
    href="https://doi.org/10.1007/978-3-642-10366-7_24">https://doi.org/10.1007/978-3-642-10366-7_24</a>
  bibtex: '@inproceedings{Jager_Schwenk_2009, title={On the Analysis of Cryptographic
    Assumptions in the Generic Ring Model}, DOI={<a href="https://doi.org/10.1007/978-3-642-10366-7_24">10.1007/978-3-642-10366-7_24</a>},
    booktitle={Advances in Cryptology - ASIACRYPT 2009, 15th International Conference
    on the Theory and Application of Cryptology and Information Security, Tokyo, Japan,
    December 6-10, 2009. Proceedings}, author={Jager, Tibor and Schwenk, Jörg}, year={2009},
    pages={399--416} }'
  chicago: Jager, Tibor, and Jörg Schwenk. “On the Analysis of Cryptographic Assumptions
    in the Generic Ring Model.” In <i>Advances in Cryptology - ASIACRYPT 2009, 15th
    International Conference on the Theory and Application of Cryptology and Information
    Security, Tokyo, Japan, December 6-10, 2009. Proceedings</i>, 399--416, 2009.
    <a href="https://doi.org/10.1007/978-3-642-10366-7_24">https://doi.org/10.1007/978-3-642-10366-7_24</a>.
  ieee: T. Jager and J. Schwenk, “On the Analysis of Cryptographic Assumptions in
    the Generic Ring Model,” in <i>Advances in Cryptology - ASIACRYPT 2009, 15th International
    Conference on the Theory and Application of Cryptology and Information Security,
    Tokyo, Japan, December 6-10, 2009. Proceedings</i>, 2009, pp. 399--416.
  mla: Jager, Tibor, and Jörg Schwenk. “On the Analysis of Cryptographic Assumptions
    in the Generic Ring Model.” <i>Advances in Cryptology - ASIACRYPT 2009, 15th International
    Conference on the Theory and Application of Cryptology and Information Security,
    Tokyo, Japan, December 6-10, 2009. Proceedings</i>, 2009, pp. 399--416, doi:<a
    href="https://doi.org/10.1007/978-3-642-10366-7_24">10.1007/978-3-642-10366-7_24</a>.
  short: 'T. Jager, J. Schwenk, in: Advances in Cryptology - ASIACRYPT 2009, 15th
    International Conference on the Theory and Application of Cryptology and Information
    Security, Tokyo, Japan, December 6-10, 2009. Proceedings, 2009, pp. 399--416.'
date_created: 2018-06-07T09:30:18Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-642-10366-7_24
extern: '1'
page: 399--416
publication: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference
  on the Theory and Application of Cryptology and Information Security, Tokyo, Japan,
  December 6-10, 2009. Proceedings
status: public
title: On the Analysis of Cryptographic Assumptions in the Generic Ring Model
type: conference
user_id: '38235'
year: '2009'
...
---
_id: '20937'
author:
- first_name: Matthias
  full_name: Meyer, Matthias
  last_name: Meyer
citation:
  ama: Meyer M. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek
    Paderborn; 2009.
  apa: Meyer, M. (2009). <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>.
    Universitaetsbibliothek Paderborn.
  bibtex: '@book{Meyer_2009, title={Musterbasiertes Re-Engineering von Softwaresystemen},
    publisher={Universitaetsbibliothek Paderborn}, author={Meyer, Matthias}, year={2009}
    }'
  chicago: Meyer, Matthias. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>.
    Universitaetsbibliothek Paderborn, 2009.
  ieee: M. Meyer, <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek
    Paderborn, 2009.
  mla: Meyer, Matthias. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>.
    Universitaetsbibliothek Paderborn, 2009.
  short: M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek
    Paderborn, 2009.
date_created: 2021-01-13T10:02:36Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://ubdok.uni-paderborn.de/servlets/DocumentServlet?id=11678
publisher: Universitaetsbibliothek Paderborn
status: public
title: Musterbasiertes Re-Engineering von Softwaresystemen
type: dissertation
user_id: '5786'
year: '2009'
...
---
_id: '17453'
author:
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Meyer auf der Heide F, Rammig F-J. Self-Organisation and Self-Optimization.
    <i>Public Service Review: Science and Technology</i>. 2009;04.'
  apa: 'Meyer auf der Heide, F., &#38; Rammig, F.-J. (2009). Self-Organisation and
    Self-Optimization. <i>Public Service Review: Science and Technology</i>, <i>04</i>.'
  bibtex: '@article{Meyer auf der Heide_Rammig_2009, title={Self-Organisation and
    Self-Optimization}, volume={04}, journal={Public Service Review: Science and Technology},
    author={Meyer auf der Heide, Friedhelm and Rammig, Franz-Josef}, year={2009} }'
  chicago: 'Meyer auf der Heide, Friedhelm, and Franz-Josef Rammig. “Self-Organisation
    and Self-Optimization.” <i>Public Service Review: Science and Technology</i> 04
    (2009).'
  ieee: 'F. Meyer auf der Heide and F.-J. Rammig, “Self-Organisation and Self-Optimization,”
    <i>Public Service Review: Science and Technology</i>, vol. 04, 2009.'
  mla: 'Meyer auf der Heide, Friedhelm, and Franz-Josef Rammig. “Self-Organisation
    and Self-Optimization.” <i>Public Service Review: Science and Technology</i>,
    vol. 04, 2009.'
  short: 'F. Meyer auf der Heide, F.-J. Rammig, Public Service Review: Science and
    Technology 04 (2009).'
date_created: 2020-07-29T13:51:54Z
date_updated: 2022-01-06T06:53:12Z
department:
- _id: '63'
intvolume: '         4'
language:
- iso: eng
publication: 'Public Service Review: Science and Technology'
status: public
title: Self-Organisation and Self-Optimization
type: journal_article
user_id: '15415'
volume: '04'
year: '2009'
...