---
_id: '605'
author:
- first_name: Florian
  full_name: Isenberg, Florian
  last_name: Isenberg
citation:
  ama: Isenberg F. <i>Implementierung eines adaptiven Verfahrens zur Linearisierung
    von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung</i>.
    Universität Paderborn; 2012.
  apa: Isenberg, F. (2012). <i>Implementierung eines adaptiven Verfahrens zur Linearisierung
    von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung</i>.
    Universität Paderborn.
  bibtex: '@book{Isenberg_2012, title={Implementierung eines adaptiven Verfahrens
    zur Linearisierung von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe
    einer Fehlerabschätzung}, publisher={Universität Paderborn}, author={Isenberg,
    Florian}, year={2012} }'
  chicago: Isenberg, Florian. <i>Implementierung eines adaptiven Verfahrens zur Linearisierung
    von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung</i>.
    Universität Paderborn, 2012.
  ieee: F. Isenberg, <i>Implementierung eines adaptiven Verfahrens zur Linearisierung
    von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung</i>.
    Universität Paderborn, 2012.
  mla: Isenberg, Florian. <i>Implementierung eines adaptiven Verfahrens zur Linearisierung
    von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung</i>.
    Universität Paderborn, 2012.
  short: F. Isenberg, Implementierung eines adaptiven Verfahrens zur Linearisierung
    von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung,
    Universität Paderborn, 2012.
date_created: 2017-10-17T12:42:50Z
date_updated: 2022-01-06T07:02:51Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '15'
  name: SFB 901 - Subprojekt C3
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
title: Implementierung eines adaptiven Verfahrens zur Linearisierung von nicht-konvexen,
  nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung
type: mastersthesis
user_id: '477'
year: '2012'
...
---
_id: '6055'
author:
- first_name: Alexander
  full_name: Mehler, Alexander
  last_name: Mehler
- first_name: Andy
  full_name: Lücking, Andy
  last_name: Lücking
- first_name: Peter
  full_name: Menke, Peter
  id: '59649'
  last_name: Menke
citation:
  ama: Mehler A, Lücking A, Menke P. Assessing cognitive alignment in different types
    of dialog by means of a network model. <i>Neural Networks</i>. 2012;32:159-164.
    doi:<a href="https://doi.org/10.1016/j.neunet.2012.02.013">10.1016/j.neunet.2012.02.013</a>
  apa: Mehler, A., Lücking, A., &#38; Menke, P. (2012). Assessing cognitive alignment
    in different types of dialog by means of a network model. <i>Neural Networks</i>,
    <i>32</i>, 159–164. <a href="https://doi.org/10.1016/j.neunet.2012.02.013">https://doi.org/10.1016/j.neunet.2012.02.013</a>
  bibtex: '@article{Mehler_Lücking_Menke_2012, title={Assessing cognitive alignment
    in different types of dialog by means of a network model}, volume={32}, DOI={<a
    href="https://doi.org/10.1016/j.neunet.2012.02.013">10.1016/j.neunet.2012.02.013</a>},
    journal={Neural Networks}, publisher={Elsevier BV}, author={Mehler, Alexander
    and Lücking, Andy and Menke, Peter}, year={2012}, pages={159–164} }'
  chicago: 'Mehler, Alexander, Andy Lücking, and Peter Menke. “Assessing Cognitive
    Alignment in Different Types of Dialog by Means of a Network Model.” <i>Neural
    Networks</i> 32 (2012): 159–64. <a href="https://doi.org/10.1016/j.neunet.2012.02.013">https://doi.org/10.1016/j.neunet.2012.02.013</a>.'
  ieee: A. Mehler, A. Lücking, and P. Menke, “Assessing cognitive alignment in different
    types of dialog by means of a network model,” <i>Neural Networks</i>, vol. 32,
    pp. 159–164, 2012.
  mla: Mehler, Alexander, et al. “Assessing Cognitive Alignment in Different Types
    of Dialog by Means of a Network Model.” <i>Neural Networks</i>, vol. 32, Elsevier
    BV, 2012, pp. 159–64, doi:<a href="https://doi.org/10.1016/j.neunet.2012.02.013">10.1016/j.neunet.2012.02.013</a>.
  short: A. Mehler, A. Lücking, P. Menke, Neural Networks 32 (2012) 159–164.
date_created: 2018-12-07T15:17:39Z
date_updated: 2022-01-06T07:02:51Z
department:
- _id: '115'
doi: 10.1016/j.neunet.2012.02.013
extern: '1'
intvolume: '        32'
language:
- iso: eng
page: 159-164
publication: Neural Networks
publication_identifier:
  issn:
  - 0893-6080
publication_status: published
publisher: Elsevier BV
status: public
title: Assessing cognitive alignment in different types of dialog by means of a network
  model
type: journal_article
user_id: '59649'
volume: 32
year: '2012'
...
---
_id: '6057'
author:
- first_name: Peter
  full_name: Menke, Peter
  id: '59649'
  last_name: Menke
citation:
  ama: 'Menke P. Evaluation of Technical Communication. In: <i>Handbook of Technical
    Communication</i>. Vol 8. Handbooks of Applied Linguistics. de Gruyter; 2012:285–314.'
  apa: Menke, P. (2012). Evaluation of Technical Communication. In <i>Handbook of
    Technical Communication</i> (Vol. 8, pp. 285–314). de Gruyter.
  bibtex: '@inbook{Menke_2012, series={Handbooks of Applied Linguistics}, title={Evaluation
    of Technical Communication}, volume={8}, booktitle={Handbook of Technical Communication},
    publisher={de Gruyter}, author={Menke, Peter}, year={2012}, pages={285–314}, collection={Handbooks
    of Applied Linguistics} }'
  chicago: Menke, Peter. “Evaluation of Technical Communication.” In <i>Handbook of
    Technical Communication</i>, 8:285–314. Handbooks of Applied Linguistics. de Gruyter,
    2012.
  ieee: P. Menke, “Evaluation of Technical Communication,” in <i>Handbook of Technical
    Communication</i>, vol. 8, de Gruyter, 2012, pp. 285–314.
  mla: Menke, Peter. “Evaluation of Technical Communication.” <i>Handbook of Technical
    Communication</i>, vol. 8, de Gruyter, 2012, pp. 285–314.
  short: 'P. Menke, in: Handbook of Technical Communication, de Gruyter, 2012, pp.
    285–314.'
date_created: 2018-12-07T15:22:25Z
date_updated: 2022-01-06T07:02:51Z
department:
- _id: '115'
extern: '1'
intvolume: '         8'
language:
- iso: eng
page: 285–314
publication: Handbook of Technical Communication
publication_identifier:
  isbn:
  - 978-3-11-018834-9
publication_status: published
publisher: de Gruyter
series_title: Handbooks of Applied Linguistics
status: public
title: Evaluation of Technical Communication
type: book_chapter
user_id: '59649'
volume: 8
year: '2012'
...
---
_id: '606'
author:
- first_name: Nils
  full_name: Löken, Nils
  id: '13703'
  last_name: Löken
citation:
  ama: Löken N. <i>Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen
    auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas</i>.
    Universität Paderborn; 2012.
  apa: Löken, N. (2012). <i>Identitätsbasierte Signaturen - Ein Sicherheitsbeweis
    für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas</i>.
    Universität Paderborn.
  bibtex: '@book{Löken_2012, title={Identitätsbasierte Signaturen - Ein Sicherheitsbeweis
    für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas},
    publisher={Universität Paderborn}, author={Löken, Nils}, year={2012} }'
  chicago: Löken, Nils. <i>Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für
    Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas</i>.
    Universität Paderborn, 2012.
  ieee: N. Löken, <i>Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen
    auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas</i>.
    Universität Paderborn, 2012.
  mla: Löken, Nils. <i>Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen
    auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas</i>.
    Universität Paderborn, 2012.
  short: N. Löken, Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen
    auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas, Universität
    Paderborn, 2012.
date_created: 2017-10-17T12:42:50Z
date_updated: 2022-01-06T07:02:51Z
department:
- _id: '64'
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage
  von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas
type: bachelorsthesis
user_id: '13703'
year: '2012'
...
---
_id: '607'
author:
- first_name: Thomas
  full_name: Haarhoff, Thomas
  last_name: Haarhoff
citation:
  ama: Haarhoff T. <i>Identitätsbasierte Kryptographie - Implementierung von Paarungen
    für Körper der Charakteristik 2</i>. Universität Paderborn; 2012.
  apa: Haarhoff, T. (2012). <i>Identitätsbasierte Kryptographie - Implementierung
    von Paarungen für Körper der Charakteristik 2</i>. Universität Paderborn.
  bibtex: '@book{Haarhoff_2012, title={Identitätsbasierte Kryptographie - Implementierung
    von Paarungen für Körper der Charakteristik 2}, publisher={Universität Paderborn},
    author={Haarhoff, Thomas}, year={2012} }'
  chicago: Haarhoff, Thomas. <i>Identitätsbasierte Kryptographie - Implementierung
    von Paarungen für Körper der Charakteristik 2</i>. Universität Paderborn, 2012.
  ieee: T. Haarhoff, <i>Identitätsbasierte Kryptographie - Implementierung von Paarungen
    für Körper der Charakteristik 2</i>. Universität Paderborn, 2012.
  mla: Haarhoff, Thomas. <i>Identitätsbasierte Kryptographie - Implementierung von
    Paarungen für Körper der Charakteristik 2</i>. Universität Paderborn, 2012.
  short: T. Haarhoff, Identitätsbasierte Kryptographie - Implementierung von Paarungen
    für Körper der Charakteristik 2, Universität Paderborn, 2012.
date_created: 2017-10-17T12:42:50Z
date_updated: 2022-01-06T07:02:51Z
department:
- _id: '64'
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper
  der Charakteristik 2
type: bachelorsthesis
user_id: '477'
year: '2012'
...
---
_id: '608'
abstract:
- lang: eng
  text: 'Predicate abstraction is an established technique in software verification.
    It inherently includes an abstraction refinement loop successively adding predicates
    until the right level of abstraction is found. For concurrent systems, predicate
    abstraction can be combined with spotlight abstraction, further reducing the state
    space by abstracting away certain processes. Refinement then has to decide whether
    to add a new predicate or a new process. Selecting the right predicates and processes
    is a crucial task: The positive effect of abstraction may be compromised by unfavourable
    refinement decisions. Here we present a heuristic approach to abstraction refinement.
    The basis for a decision is a set of refinement candidates, derived by multiple
    counterexample-generation. Candidates are evaluated with respect to their influence
    on other components in the system. Experimental results show that our technique
    can significantly speed up verification as compared to a naive abstraction refinement.'
author:
- first_name: Nils
  full_name: Timm, Nils
  last_name: Timm
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Mike
  full_name: Czech, Mike
  last_name: Czech
citation:
  ama: 'Timm N, Wehrheim H, Czech M. Heuristic-Guided Abstraction Refinement for Concurrent
    Systems. In: <i>Proceedings of the 14th International Conference on Formal Engineering
    Methods (ICFEM)</i>. LNCS. ; 2012:348-363. doi:<a href="https://doi.org/10.1007/978-3-642-34281-3_25">10.1007/978-3-642-34281-3_25</a>'
  apa: Timm, N., Wehrheim, H., &#38; Czech, M. (2012). Heuristic-Guided Abstraction
    Refinement for Concurrent Systems. In <i>Proceedings of the 14th International
    Conference on Formal Engineering Methods (ICFEM)</i> (pp. 348–363). <a href="https://doi.org/10.1007/978-3-642-34281-3_25">https://doi.org/10.1007/978-3-642-34281-3_25</a>
  bibtex: '@inproceedings{Timm_Wehrheim_Czech_2012, series={LNCS}, title={Heuristic-Guided
    Abstraction Refinement for Concurrent Systems}, DOI={<a href="https://doi.org/10.1007/978-3-642-34281-3_25">10.1007/978-3-642-34281-3_25</a>},
    booktitle={Proceedings of the 14th International Conference on Formal Engineering
    Methods (ICFEM)}, author={Timm, Nils and Wehrheim, Heike and Czech, Mike}, year={2012},
    pages={348–363}, collection={LNCS} }'
  chicago: Timm, Nils, Heike Wehrheim, and Mike Czech. “Heuristic-Guided Abstraction
    Refinement for Concurrent Systems.” In <i>Proceedings of the 14th International
    Conference on Formal Engineering Methods (ICFEM)</i>, 348–63. LNCS, 2012. <a href="https://doi.org/10.1007/978-3-642-34281-3_25">https://doi.org/10.1007/978-3-642-34281-3_25</a>.
  ieee: N. Timm, H. Wehrheim, and M. Czech, “Heuristic-Guided Abstraction Refinement
    for Concurrent Systems,” in <i>Proceedings of the 14th International Conference
    on Formal Engineering Methods (ICFEM)</i>, 2012, pp. 348–363.
  mla: Timm, Nils, et al. “Heuristic-Guided Abstraction Refinement for Concurrent
    Systems.” <i>Proceedings of the 14th International Conference on Formal Engineering
    Methods (ICFEM)</i>, 2012, pp. 348–63, doi:<a href="https://doi.org/10.1007/978-3-642-34281-3_25">10.1007/978-3-642-34281-3_25</a>.
  short: 'N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International
    Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.'
date_created: 2017-10-17T12:42:50Z
date_updated: 2022-01-06T07:02:52Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-642-34281-3_25
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-15T08:15:33Z
  date_updated: 2018-03-15T08:15:33Z
  file_id: '1250'
  file_name: 608-Timm2013-0main.pdf
  file_size: 396337
  relation: main_file
  success: 1
file_date_updated: 2018-03-15T08:15:33Z
has_accepted_license: '1'
language:
- iso: eng
page: 348-363
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 14th International Conference on Formal Engineering
  Methods (ICFEM)
series_title: LNCS
status: public
title: Heuristic-Guided Abstraction Refinement for Concurrent Systems
type: conference
user_id: '477'
year: '2012'
...
---
_id: '610'
author:
- first_name: Mario
  full_name: Mohr, Mario
  last_name: Mohr
citation:
  ama: Mohr M. <i>Generating Prototypes of Adaptive Component-Based Software Systems
    for Performance Analysis</i>. Universität Paderborn; 2012.
  apa: Mohr, M. (2012). <i>Generating Prototypes of Adaptive Component-based Software
    Systems for Performance Analysis</i>. Universität Paderborn.
  bibtex: '@book{Mohr_2012, title={Generating Prototypes of Adaptive Component-based
    Software Systems for Performance Analysis}, publisher={Universität Paderborn},
    author={Mohr, Mario}, year={2012} }'
  chicago: Mohr, Mario. <i>Generating Prototypes of Adaptive Component-Based Software
    Systems for Performance Analysis</i>. Universität Paderborn, 2012.
  ieee: M. Mohr, <i>Generating Prototypes of Adaptive Component-based Software Systems
    for Performance Analysis</i>. Universität Paderborn, 2012.
  mla: Mohr, Mario. <i>Generating Prototypes of Adaptive Component-Based Software
    Systems for Performance Analysis</i>. Universität Paderborn, 2012.
  short: M. Mohr, Generating Prototypes of Adaptive Component-Based Software Systems
    for Performance Analysis, Universität Paderborn, 2012.
date_created: 2017-10-17T12:42:51Z
date_updated: 2022-01-06T07:02:52Z
ddc:
- '040'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-15T08:13:40Z
  date_updated: 2018-03-15T08:13:40Z
  file_id: '1248'
  file_name: 610-MA_Mohr_2012_final.pdf
  file_size: 1270467
  relation: main_file
  success: 1
file_date_updated: 2018-03-15T08:13:40Z
has_accepted_license: '1'
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Generating Prototypes of Adaptive Component-based Software Systems for Performance
  Analysis
type: mastersthesis
user_id: '15504'
year: '2012'
...
---
_id: '6102'
author:
- first_name: Holger
  full_name: Steinmetz, Holger
  id: '43261'
  last_name: Steinmetz
- first_name: C
  full_name: Schwens, C
  last_name: Schwens
- first_name: M
  full_name: Wehner, M
  last_name: Wehner
- first_name: Rüdiger
  full_name: Kabst, Rüdiger
  id: '42362'
  last_name: Kabst
citation:
  ama: 'Steinmetz H, Schwens C, Wehner M, Kabst R. Das Cranet-Projekt: Kreuzkulturelle
    Vergleiche im HR-Management. <i>PERSONALquartely</i>. 2012;64(1):34-39.'
  apa: 'Steinmetz, H., Schwens, C., Wehner, M., &#38; Kabst, R. (2012). Das Cranet-Projekt:
    Kreuzkulturelle Vergleiche im HR-Management. <i>PERSONALquartely</i>, <i>64</i>(1),
    34–39.'
  bibtex: '@article{Steinmetz_Schwens_Wehner_Kabst_2012, title={Das Cranet-Projekt:
    Kreuzkulturelle Vergleiche im HR-Management.}, volume={64}, number={1}, journal={PERSONALquartely},
    author={Steinmetz, Holger and Schwens, C and Wehner, M and Kabst, Rüdiger}, year={2012},
    pages={34–39} }'
  chicago: 'Steinmetz, Holger, C Schwens, M Wehner, and Rüdiger Kabst. “Das Cranet-Projekt:
    Kreuzkulturelle Vergleiche Im HR-Management.” <i>PERSONALquartely</i> 64, no.
    1 (2012): 34–39.'
  ieee: 'H. Steinmetz, C. Schwens, M. Wehner, and R. Kabst, “Das Cranet-Projekt: Kreuzkulturelle
    Vergleiche im HR-Management.,” <i>PERSONALquartely</i>, vol. 64, no. 1, pp. 34–39,
    2012.'
  mla: 'Steinmetz, Holger, et al. “Das Cranet-Projekt: Kreuzkulturelle Vergleiche
    Im HR-Management.” <i>PERSONALquartely</i>, vol. 64, no. 1, 2012, pp. 34–39.'
  short: H. Steinmetz, C. Schwens, M. Wehner, R. Kabst, PERSONALquartely 64 (2012)
    34–39.
date_created: 2018-12-10T11:09:13Z
date_updated: 2022-01-06T07:02:53Z
department:
- _id: '274'
intvolume: '        64'
issue: '1'
language:
- iso: eng
page: 34-39
publication: PERSONALquartely
status: public
title: 'Das Cranet-Projekt: Kreuzkulturelle Vergleiche im HR-Management.'
type: journal_article
user_id: '46632'
volume: 64
year: '2012'
...
---
_id: '6103'
author:
- first_name: Rüdiger
  full_name: Kabst, Rüdiger
  id: '42362'
  last_name: Kabst
- first_name: M
  full_name: Baum, M
  last_name: Baum
citation:
  ama: 'Kabst R, Baum M. Editorial: Employer Branding: Strategie, Instrumente, Umsetzung.
    <i>PERSONALquartely</i>. 2012;64(3):3.'
  apa: 'Kabst, R., &#38; Baum, M. (2012). Editorial: Employer Branding: Strategie,
    Instrumente, Umsetzung. <i>PERSONALquartely</i>, <i>64</i>(3), 3.'
  bibtex: '@article{Kabst_Baum_2012, title={Editorial: Employer Branding: Strategie,
    Instrumente, Umsetzung}, volume={64}, number={3}, journal={PERSONALquartely},
    author={Kabst, Rüdiger and Baum, M}, year={2012}, pages={3} }'
  chicago: 'Kabst, Rüdiger, and M Baum. “Editorial: Employer Branding: Strategie,
    Instrumente, Umsetzung.” <i>PERSONALquartely</i> 64, no. 3 (2012): 3.'
  ieee: 'R. Kabst and M. Baum, “Editorial: Employer Branding: Strategie, Instrumente,
    Umsetzung,” <i>PERSONALquartely</i>, vol. 64, no. 3, p. 3, 2012.'
  mla: 'Kabst, Rüdiger, and M. Baum. “Editorial: Employer Branding: Strategie, Instrumente,
    Umsetzung.” <i>PERSONALquartely</i>, vol. 64, no. 3, 2012, p. 3.'
  short: R. Kabst, M. Baum, PERSONALquartely 64 (2012) 3.
date_created: 2018-12-10T11:39:27Z
date_updated: 2022-01-06T07:02:53Z
department:
- _id: '274'
intvolume: '        64'
issue: '3'
language:
- iso: eng
page: '3'
publication: PERSONALquartely
status: public
title: 'Editorial: Employer Branding: Strategie, Instrumente, Umsetzung'
type: journal_article
user_id: '46632'
volume: 64
year: '2012'
...
---
_id: '611'
author:
- first_name: Hendrik
  full_name: Hangmann, Hendrik
  last_name: Hangmann
citation:
  ama: Hangmann H. <i>Generating Adjustable Temperature Gradients on Modern FPGAs</i>.
    Universität Paderborn; 2012.
  apa: Hangmann, H. (2012). <i>Generating Adjustable Temperature Gradients on modern
    FPGAs</i>. Universität Paderborn.
  bibtex: '@book{Hangmann_2012, title={Generating Adjustable Temperature Gradients
    on modern FPGAs}, publisher={Universität Paderborn}, author={Hangmann, Hendrik},
    year={2012} }'
  chicago: Hangmann, Hendrik. <i>Generating Adjustable Temperature Gradients on Modern
    FPGAs</i>. Universität Paderborn, 2012.
  ieee: H. Hangmann, <i>Generating Adjustable Temperature Gradients on modern FPGAs</i>.
    Universität Paderborn, 2012.
  mla: Hangmann, Hendrik. <i>Generating Adjustable Temperature Gradients on Modern
    FPGAs</i>. Universität Paderborn, 2012.
  short: H. Hangmann, Generating Adjustable Temperature Gradients on Modern FPGAs,
    Universität Paderborn, 2012.
date_created: 2017-10-17T12:42:51Z
date_updated: 2022-01-06T07:02:53Z
project:
- _id: '1'
  name: SFB 901
- _id: '14'
  name: SFB 901 - Subprojekt C2
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
title: Generating Adjustable Temperature Gradients on modern FPGAs
type: bachelorsthesis
user_id: '15504'
year: '2012'
...
---
_id: '613'
author:
- first_name: Stefan
  full_name: Wohlfarth, Stefan
  last_name: Wohlfarth
citation:
  ama: Wohlfarth S. <i>Erweiterung von d3fact um die Domäne Wasserversorgung in Verbindung
    mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens</i>.
    Universität Paderborn; 2012.
  apa: Wohlfarth, S. (2012). <i>Erweiterung von d3fact um die Domäne Wasserversorgung
    in Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens</i>.
    Universität Paderborn.
  bibtex: '@book{Wohlfarth_2012, title={Erweiterung von d3fact um die Domäne Wasserversorgung
    in Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens},
    publisher={Universität Paderborn}, author={Wohlfarth, Stefan}, year={2012} }'
  chicago: Wohlfarth, Stefan. <i>Erweiterung von d3fact um die Domäne Wasserversorgung
    in Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens</i>.
    Universität Paderborn, 2012.
  ieee: S. Wohlfarth, <i>Erweiterung von d3fact um die Domäne Wasserversorgung in
    Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens</i>.
    Universität Paderborn, 2012.
  mla: Wohlfarth, Stefan. <i>Erweiterung von d3fact um die Domäne Wasserversorgung
    in Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens</i>.
    Universität Paderborn, 2012.
  short: S. Wohlfarth, Erweiterung von d3fact um die Domäne Wasserversorgung in Verbindung
    mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens,
    Universität Paderborn, 2012.
date_created: 2017-10-17T12:42:51Z
date_updated: 2022-01-06T07:02:53Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '15'
  name: SFB 901 - Subprojekt C3
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
title: Erweiterung von d3fact um die Domäne Wasserversorgung in Verbindung mit der
  Analyse und Implementierung eines hydraulischen Simulationsverfahrens
type: mastersthesis
user_id: '477'
year: '2012'
...
---
_id: '6138'
author:
- first_name: W
  full_name: Weber, W
  last_name: Weber
- first_name: Rüdiger
  full_name: Kabst, Rüdiger
  id: '42362'
  last_name: Kabst
citation:
  ama: Weber W, Kabst R. <i>Einführung in Die Betriebswirtschaftslehre</i>. 8th ed.
    Wiesbaden; 2012.
  apa: Weber, W., &#38; Kabst, R. (2012). <i>Einführung in die Betriebswirtschaftslehre</i>
    (8th ed.). Wiesbaden.
  bibtex: '@book{Weber_Kabst_2012, place={Wiesbaden}, edition={8}, title={Einführung
    in die Betriebswirtschaftslehre}, author={Weber, W and Kabst, Rüdiger}, year={2012}
    }'
  chicago: Weber, W, and Rüdiger Kabst. <i>Einführung in Die Betriebswirtschaftslehre</i>.
    8th ed. Wiesbaden, 2012.
  ieee: W. Weber and R. Kabst, <i>Einführung in die Betriebswirtschaftslehre</i>,
    8th ed. Wiesbaden, 2012.
  mla: Weber, W., and Rüdiger Kabst. <i>Einführung in Die Betriebswirtschaftslehre</i>.
    8th ed., 2012.
  short: W. Weber, R. Kabst, Einführung in Die Betriebswirtschaftslehre, 8th ed.,
    Wiesbaden, 2012.
date_created: 2018-12-11T10:21:09Z
date_updated: 2022-01-06T07:02:53Z
department:
- _id: '274'
edition: '8'
language:
- iso: eng
place: Wiesbaden
publication_identifier:
  isbn:
  - 978-3-8349-1994-6
status: public
title: Einführung in die Betriebswirtschaftslehre
type: book
user_id: '46632'
year: '2012'
...
---
_id: '614'
author:
- first_name: Sebastian
  full_name: Lehrig, Sebastian
  last_name: Lehrig
citation:
  ama: Lehrig S. <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>.
    Universität Paderborn; 2012.
  apa: Lehrig, S. (2012). <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>.
    Universität Paderborn.
  bibtex: '@book{Lehrig_2012, title={Empirischer, quantitativer Vergleich von Modelltransformationssprachen},
    publisher={Universität Paderborn}, author={Lehrig, Sebastian}, year={2012} }'
  chicago: Lehrig, Sebastian. <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>.
    Universität Paderborn, 2012.
  ieee: S. Lehrig, <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>.
    Universität Paderborn, 2012.
  mla: Lehrig, Sebastian. <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>.
    Universität Paderborn, 2012.
  short: S. Lehrig, Empirischer, quantitativer Vergleich von Modelltransformationssprachen,
    Universität Paderborn, 2012.
date_created: 2017-10-17T12:42:51Z
date_updated: 2022-01-06T07:02:53Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Empirischer, quantitativer Vergleich von Modelltransformationssprachen
type: mastersthesis
user_id: '477'
year: '2012'
...
---
_id: '6148'
author:
- first_name: M
  full_name: Baum, M
  last_name: Baum
- first_name: C
  full_name: Schwens, C
  last_name: Schwens
- first_name: R
  full_name: Kabst, R
  last_name: Kabst
citation:
  ama: 'Baum M, Schwens C, Kabst R. Determinants of Different Types of Born Globals.
    In: Gabrielsson M, Kirpalani M, eds. <i>Handbook of Research on Born Globals</i>.
    Cheltenham Glos/Northampton: Edward Elgar Publishing Ltd.; 2012:36-45.'
  apa: 'Baum, M., Schwens, C., &#38; Kabst, R. (2012). Determinants of Different Types
    of Born Globals. In M. Gabrielsson &#38; M. Kirpalani (Eds.), <i>Handbook of Research
    on Born Globals</i> (pp. 36–45). Cheltenham Glos/Northampton: Edward Elgar Publishing
    Ltd.'
  bibtex: '@inbook{Baum_Schwens_Kabst_2012, place={Cheltenham Glos/Northampton}, title={Determinants
    of Different Types of Born Globals.}, booktitle={Handbook of Research on Born
    Globals}, publisher={Edward Elgar Publishing Ltd.}, author={Baum, M and Schwens,
    C and Kabst, R}, editor={Gabrielsson, M and Kirpalani, MEditors}, year={2012},
    pages={36–45} }'
  chicago: 'Baum, M, C Schwens, and R Kabst. “Determinants of Different Types of Born
    Globals.” In <i>Handbook of Research on Born Globals</i>, edited by M Gabrielsson
    and M Kirpalani, 36–45. Cheltenham Glos/Northampton: Edward Elgar Publishing Ltd.,
    2012.'
  ieee: 'M. Baum, C. Schwens, and R. Kabst, “Determinants of Different Types of Born
    Globals.,” in <i>Handbook of Research on Born Globals</i>, M. Gabrielsson and
    M. Kirpalani, Eds. Cheltenham Glos/Northampton: Edward Elgar Publishing Ltd.,
    2012, pp. 36–45.'
  mla: Baum, M., et al. “Determinants of Different Types of Born Globals.” <i>Handbook
    of Research on Born Globals</i>, edited by M Gabrielsson and M Kirpalani, Edward
    Elgar Publishing Ltd., 2012, pp. 36–45.
  short: 'M. Baum, C. Schwens, R. Kabst, in: M. Gabrielsson, M. Kirpalani (Eds.),
    Handbook of Research on Born Globals, Edward Elgar Publishing Ltd., Cheltenham
    Glos/Northampton, 2012, pp. 36–45.'
date_created: 2018-12-11T11:02:56Z
date_updated: 2022-01-06T07:02:53Z
department:
- _id: '274'
editor:
- first_name: M
  full_name: Gabrielsson, M
  last_name: Gabrielsson
- first_name: M
  full_name: Kirpalani, M
  last_name: Kirpalani
language:
- iso: eng
page: 36-45
place: Cheltenham Glos/Northampton
publication: Handbook of Research on Born Globals
publisher: Edward Elgar Publishing Ltd.
status: public
title: Determinants of Different Types of Born Globals.
type: book_chapter
user_id: '46632'
year: '2012'
...
---
_id: '6149'
author:
- first_name: R
  full_name: Isidor, R
  last_name: Isidor
- first_name: C
  full_name: Schwens, C
  last_name: Schwens
- first_name: R
  full_name: Kabst, R
  last_name: Kabst
citation:
  ama: 'Isidor R, Schwens C, Kabst R. Die Messung von Joint-Venture Erfolg. In: Zentes
    J, ed. <i>Markteintrittsstrategien - Dynamik Und Komplexität</i>. ; 2012:193-205.'
  apa: Isidor, R., Schwens, C., &#38; Kabst, R. (2012). Die Messung von Joint-Venture
    Erfolg. In J. Zentes (Ed.), <i>Markteintrittsstrategien - Dynamik und Komplexität</i>
    (pp. 193–205).
  bibtex: '@inbook{Isidor_Schwens_Kabst_2012, title={Die Messung von Joint-Venture
    Erfolg}, booktitle={Markteintrittsstrategien - Dynamik und Komplexität}, author={Isidor,
    R and Schwens, C and Kabst, R}, editor={Zentes, JEditor}, year={2012}, pages={193–205}
    }'
  chicago: Isidor, R, C Schwens, and R Kabst. “Die Messung von Joint-Venture Erfolg.”
    In <i>Markteintrittsstrategien - Dynamik Und Komplexität</i>, edited by J Zentes,
    193–205, 2012.
  ieee: R. Isidor, C. Schwens, and R. Kabst, “Die Messung von Joint-Venture Erfolg,”
    in <i>Markteintrittsstrategien - Dynamik und Komplexität</i>, J. Zentes, Ed. 2012,
    pp. 193–205.
  mla: Isidor, R., et al. “Die Messung von Joint-Venture Erfolg.” <i>Markteintrittsstrategien
    - Dynamik Und Komplexität</i>, edited by J Zentes, 2012, pp. 193–205.
  short: 'R. Isidor, C. Schwens, R. Kabst, in: J. Zentes (Ed.), Markteintrittsstrategien
    - Dynamik Und Komplexität, 2012, pp. 193–205.'
date_created: 2018-12-11T11:06:03Z
date_updated: 2022-01-06T07:02:53Z
department:
- _id: '274'
editor:
- first_name: J
  full_name: Zentes, J
  last_name: Zentes
language:
- iso: eng
page: 193-205
publication: Markteintrittsstrategien - Dynamik und Komplexität
publication_identifier:
  isbn:
  - 978-3-8349-3503-8
status: public
title: Die Messung von Joint-Venture Erfolg
type: book_chapter
user_id: '46632'
year: '2012'
...
---
_id: '616'
author:
- first_name: Sven
  full_name: Kluczniok, Sven
  last_name: Kluczniok
citation:
  ama: Kluczniok S. <i>Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen</i>.
    Universität Paderborn; 2012.
  apa: Kluczniok, S. (2012). <i>Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen</i>.
    Universität Paderborn.
  bibtex: '@book{Kluczniok_2012, title={Effiziente Paketbildung in mehrdimensionalen
    Verhandlungsproblemen}, publisher={Universität Paderborn}, author={Kluczniok,
    Sven}, year={2012} }'
  chicago: Kluczniok, Sven. <i>Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen</i>.
    Universität Paderborn, 2012.
  ieee: S. Kluczniok, <i>Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen</i>.
    Universität Paderborn, 2012.
  mla: Kluczniok, Sven. <i>Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen</i>.
    Universität Paderborn, 2012.
  short: S. Kluczniok, Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen,
    Universität Paderborn, 2012.
date_created: 2017-10-17T12:42:52Z
date_updated: 2022-01-06T07:02:54Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '7'
  name: SFB 901 - Subprojekt A3
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen
type: bachelorsthesis
user_id: '477'
year: '2012'
...
---
_id: '617'
abstract:
- lang: eng
  text: In this paper, a color based feature extraction and classification approach
    for image processing in embedded systems in presented. The algorithms and data
    structures developed for this approach pay particular attention to reduce memory
    consumption and computation power of the entire image processing, since embedded
    systems usually impose strong restrictions regarding those resources. The feature
    extraction is realized in terms of an image segmentation algorithm. The criteria
    of homogeneity for merging pixels and regions is provided by the color classification
    mechanism, which incorporates appropriate methods for defining, representing and
    accessing subspaces in the working color space. By doing so, pixels and regions
    with color values that belong to the same color class can be merged. Furthermore,
    pixels with redundant color values that do not belong to any pre-defined color
    class can be completely discarded in order to minimize computational effort. Subsequently,
    the extracted regions are converted to a more convenient feature representation
    in terms of statistical moments up to and including second order. For evaluation,
    the whole image processing approach is applied to a mobile representative of embedded
    systems within the scope of a simple real-world scenario.
author:
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
- first_name: Elisabeth
  full_name: Kleinjohann, Elisabeth
  id: '15588'
  last_name: Kleinjohann
- first_name: Maarten
  full_name: Bieshaar, Maarten
  last_name: Bieshaar
citation:
  ama: 'Jungmann A, Kleinjohann B, Kleinjohann E, Bieshaar M. Efficient Color-Based
    Image Segmentation and Feature Classification for Image Processing in Embedded
    Systems. In: <i>Proceedings of the Fourth International Conference on Resource
    Intensive Applications and Services (INTENSIVE)</i>. ; 2012:22-29.'
  apa: Jungmann, A., Kleinjohann, B., Kleinjohann, E., &#38; Bieshaar, M. (2012).
    Efficient Color-Based Image Segmentation and Feature Classification for Image
    Processing in Embedded Systems. In <i>Proceedings of the Fourth International
    Conference on Resource Intensive Applications and Services (INTENSIVE)</i> (pp.
    22–29).
  bibtex: '@inproceedings{Jungmann_Kleinjohann_Kleinjohann_Bieshaar_2012, title={Efficient
    Color-Based Image Segmentation and Feature Classification for Image Processing
    in Embedded Systems}, booktitle={Proceedings of the Fourth International Conference
    on Resource Intensive Applications and Services (INTENSIVE)}, author={Jungmann,
    Alexander and Kleinjohann, Bernd and Kleinjohann, Elisabeth and Bieshaar, Maarten},
    year={2012}, pages={22–29} }'
  chicago: Jungmann, Alexander, Bernd Kleinjohann, Elisabeth Kleinjohann, and Maarten
    Bieshaar. “Efficient Color-Based Image Segmentation and Feature Classification
    for Image Processing in Embedded Systems.” In <i>Proceedings of the Fourth International
    Conference on Resource Intensive Applications and Services (INTENSIVE)</i>, 22–29,
    2012.
  ieee: A. Jungmann, B. Kleinjohann, E. Kleinjohann, and M. Bieshaar, “Efficient Color-Based
    Image Segmentation and Feature Classification for Image Processing in Embedded
    Systems,” in <i>Proceedings of the Fourth International Conference on Resource
    Intensive Applications and Services (INTENSIVE)</i>, 2012, pp. 22–29.
  mla: Jungmann, Alexander, et al. “Efficient Color-Based Image Segmentation and Feature
    Classification for Image Processing in Embedded Systems.” <i>Proceedings of the
    Fourth International Conference on Resource Intensive Applications and Services
    (INTENSIVE)</i>, 2012, pp. 22–29.
  short: 'A. Jungmann, B. Kleinjohann, E. Kleinjohann, M. Bieshaar, in: Proceedings
    of the Fourth International Conference on Resource Intensive Applications and
    Services (INTENSIVE), 2012, pp. 22–29.'
date_created: 2017-10-17T12:42:52Z
date_updated: 2022-01-06T07:02:55Z
ddc:
- '040'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-15T06:47:50Z
  date_updated: 2018-03-15T06:47:50Z
  file_id: '1245'
  file_name: 617-INTENSIVE2012-Jungmann.pdf
  file_size: 2787964
  relation: main_file
  success: 1
file_date_updated: 2018-03-15T06:47:50Z
has_accepted_license: '1'
page: 22-29
project:
- _id: '1'
  name: SFB 901
- _id: '10'
  name: SFB 901 - Subprojekt B2
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the Fourth International Conference on Resource Intensive
  Applications and Services (INTENSIVE)
related_material:
  link:
  - relation: confirmation
    url: http://www.thinkmind.org/index.php?view=article&articleid=intensive_2012_1_50_30031
status: public
title: Efficient Color-Based Image Segmentation and Feature Classification for Image
  Processing in Embedded Systems
type: conference
user_id: '477'
year: '2012'
...
---
_id: '618'
author:
- first_name: Sven
  full_name: Kurras, Sven
  last_name: Kurras
citation:
  ama: Kurras S. <i>Distributed Sampling of Regular Graphs</i>. Universität Paderborn;
    2012.
  apa: Kurras, S. (2012). <i>Distributed Sampling of Regular Graphs</i>. Universität
    Paderborn.
  bibtex: '@book{Kurras_2012, title={Distributed Sampling of Regular Graphs}, publisher={Universität
    Paderborn}, author={Kurras, Sven}, year={2012} }'
  chicago: Kurras, Sven. <i>Distributed Sampling of Regular Graphs</i>. Universität
    Paderborn, 2012.
  ieee: S. Kurras, <i>Distributed Sampling of Regular Graphs</i>. Universität Paderborn,
    2012.
  mla: Kurras, Sven. <i>Distributed Sampling of Regular Graphs</i>. Universität Paderborn,
    2012.
  short: S. Kurras, Distributed Sampling of Regular Graphs, Universität Paderborn,
    2012.
date_created: 2017-10-17T12:42:52Z
date_updated: 2022-01-06T07:02:55Z
project:
- _id: '1'
  name: SFB 901
- _id: '5'
  name: SFB 901 - Subprojekt A1
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Distributed Sampling of Regular Graphs
type: mastersthesis
user_id: '15504'
year: '2012'
...
---
_id: '619'
abstract:
- lang: eng
  text: 'Dynamics in networks is caused by a variety of reasons, like nodes moving
    in 2D (or 3D) in multihop cellphone networks, joins and leaves in peer-to-peer
    networks, evolution in social networks, and many others. In order to understand
    such kinds of dynamics, and to design distributed algorithms that behave well
    under dynamics, many ways to model dynamics are introduced and analyzed w.r.t.
    correctness and eciency of distributed algorithms. In [16], Kuhn, Lynch, and Oshman
    have introduced a very general, worst case type model of dynamics: The edge set
    of the network may change arbitrarily from step to step, the only restriction
    is that it is connected at all times and the set of nodes does not change. An
    extended model demands that a xed connected subnetwork is maintained over each
    time interval of length T (T-interval dynamics). They have presented, among others,
    algorithms for counting the number of nodes under such general models of dynamics.In
    this paper, we generalize their models and algorithms by adding random edge faults,
    i.e., we consider fault-prone dynamic networks: We assume that an edge currently
    existing may fail to transmit data with some probability p. We rst observe that
    strong counting, i.e., each node knows the correct count and stops, is not possible
    in a model with random edge faults. Our main two positive results are feasibility
    and runtime bounds for weak counting, i.e., stopping is no longer required (but
    still a correct count in each node), and for strong counting with an upper bound,
    i.e., an upper bound N on n is known to all nodes.'
author:
- first_name: Philipp
  full_name: Brandes, Philipp
  last_name: Brandes
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
citation:
  ama: 'Brandes P, Meyer auf der Heide F. Distributed Computing in Fault-Prone Dynamic
    Networks. In: <i>Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic
    Distributed Systems (TADDS)</i>. ICPS. ; 2012:9-14. doi:<a href="https://doi.org/10.1145/2414815.2414818">10.1145/2414815.2414818</a>'
  apa: Brandes, P., &#38; Meyer auf der Heide, F. (2012). Distributed Computing in
    Fault-Prone Dynamic Networks. In <i>Proceedings of the 4th Workshop on Theoretical
    Aspects of Dynamic Distributed Systems (TADDS)</i> (pp. 9–14). <a href="https://doi.org/10.1145/2414815.2414818">https://doi.org/10.1145/2414815.2414818</a>
  bibtex: '@inproceedings{Brandes_Meyer auf der Heide_2012, series={ICPS}, title={Distributed
    Computing in Fault-Prone Dynamic Networks}, DOI={<a href="https://doi.org/10.1145/2414815.2414818">10.1145/2414815.2414818</a>},
    booktitle={Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed
    Systems (TADDS)}, author={Brandes, Philipp and Meyer auf der Heide, Friedhelm},
    year={2012}, pages={9–14}, collection={ICPS} }'
  chicago: Brandes, Philipp, and Friedhelm Meyer auf der Heide. “Distributed Computing
    in Fault-Prone Dynamic Networks.” In <i>Proceedings of the 4th Workshop on Theoretical
    Aspects of Dynamic Distributed Systems (TADDS)</i>, 9–14. ICPS, 2012. <a href="https://doi.org/10.1145/2414815.2414818">https://doi.org/10.1145/2414815.2414818</a>.
  ieee: P. Brandes and F. Meyer auf der Heide, “Distributed Computing in Fault-Prone
    Dynamic Networks,” in <i>Proceedings of the 4th Workshop on Theoretical Aspects
    of Dynamic Distributed Systems (TADDS)</i>, 2012, pp. 9–14.
  mla: Brandes, Philipp, and Friedhelm Meyer auf der Heide. “Distributed Computing
    in Fault-Prone Dynamic Networks.” <i>Proceedings of the 4th Workshop on Theoretical
    Aspects of Dynamic Distributed Systems (TADDS)</i>, 2012, pp. 9–14, doi:<a href="https://doi.org/10.1145/2414815.2414818">10.1145/2414815.2414818</a>.
  short: 'P. Brandes, F. Meyer auf der Heide, in: Proceedings of the 4th Workshop
    on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14.'
date_created: 2017-10-17T12:42:52Z
date_updated: 2022-01-06T07:02:56Z
ddc:
- '040'
department:
- _id: '63'
doi: 10.1145/2414815.2414818
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-15T06:47:15Z
  date_updated: 2018-03-15T06:47:15Z
  file_id: '1244'
  file_name: 619-Brandes_MadHTADDS12_01.pdf
  file_size: 346044
  relation: main_file
  success: 1
file_date_updated: 2018-03-15T06:47:15Z
has_accepted_license: '1'
page: 9-14
project:
- _id: '1'
  name: SFB 901
- _id: '5'
  name: SFB 901 - Subprojekt A1
- _id: '2'
  name: SFB 901 - Project Area A
publication: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed
  Systems (TADDS)
series_title: ICPS
status: public
title: Distributed Computing in Fault-Prone Dynamic Networks
type: conference
user_id: '15504'
year: '2012'
...
---
_id: '620'
author:
- first_name: Robert
  full_name: Mittendorf, Robert
  last_name: Mittendorf
citation:
  ama: Mittendorf R. <i>Datenschutzgerechtes DRM im Cloud Computing</i>. Universität
    Paderborn; 2012.
  apa: Mittendorf, R. (2012). <i>Datenschutzgerechtes DRM im Cloud Computing</i>.
    Universität Paderborn.
  bibtex: '@book{Mittendorf_2012, title={Datenschutzgerechtes DRM im Cloud Computing},
    publisher={Universität Paderborn}, author={Mittendorf, Robert}, year={2012} }'
  chicago: Mittendorf, Robert. <i>Datenschutzgerechtes DRM im Cloud Computing</i>.
    Universität Paderborn, 2012.
  ieee: R. Mittendorf, <i>Datenschutzgerechtes DRM im Cloud Computing</i>. Universität
    Paderborn, 2012.
  mla: Mittendorf, Robert. <i>Datenschutzgerechtes DRM im Cloud Computing</i>. Universität
    Paderborn, 2012.
  short: R. Mittendorf, Datenschutzgerechtes DRM im Cloud Computing, Universität Paderborn,
    2012.
date_created: 2017-10-17T12:42:52Z
date_updated: 2022-01-06T07:02:56Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
title: Datenschutzgerechtes DRM im Cloud Computing
type: bachelorsthesis
user_id: '477'
year: '2012'
...