---
_id: '8433'
author:
- first_name: Frank
full_name: Salger, Frank
last_name: Salger
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Alexander
full_name: Hofmann, Alexander
last_name: Hofmann
citation:
ama: 'Salger F, Engels G, Hofmann A. Inspection Effectiveness for Different Quality
Attributes of Software Requirement Specifications - An Industrial Case Study.
In: Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009). ;
2009:15-21.'
apa: Salger, F., Engels, G., & Hofmann, A. (2009). Inspection Effectiveness
for Different Quality Attributes of Software Requirement Specifications - An Industrial
Case Study. In Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009)
(pp. 15–21).
bibtex: '@inproceedings{Salger_Engels_Hofmann_2009, title={Inspection Effectiveness
for Different Quality Attributes of Software Requirement Specifications - An Industrial
Case Study}, booktitle={Proceedings of the ICSE Workshop on Software Quality (WoSQ
2009)}, author={Salger, Frank and Engels, Gregor and Hofmann, Alexander}, year={2009},
pages={15–21} }'
chicago: Salger, Frank, Gregor Engels, and Alexander Hofmann. “Inspection Effectiveness
for Different Quality Attributes of Software Requirement Specifications - An Industrial
Case Study.” In Proceedings of the ICSE Workshop on Software Quality (WoSQ
2009), 15–21, 2009.
ieee: F. Salger, G. Engels, and A. Hofmann, “Inspection Effectiveness for Different
Quality Attributes of Software Requirement Specifications - An Industrial Case
Study,” in Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009),
2009, pp. 15–21.
mla: Salger, Frank, et al. “Inspection Effectiveness for Different Quality Attributes
of Software Requirement Specifications - An Industrial Case Study.” Proceedings
of the ICSE Workshop on Software Quality (WoSQ 2009), 2009, pp. 15–21.
short: 'F. Salger, G. Engels, A. Hofmann, in: Proceedings of the ICSE Workshop on
Software Quality (WoSQ 2009), 2009, pp. 15–21.'
date_created: 2019-03-06T16:20:28Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
language:
- iso: eng
page: 15-21
publication: Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009)
status: public
title: Inspection Effectiveness for Different Quality Attributes of Software Requirement
Specifications - An Industrial Case Study
type: conference
user_id: '52534'
year: '2009'
...
---
_id: '8434'
abstract:
- lang: eng
text: The software specification acts as a bridge between customers, architects,
software developers and testers. If information gets lost or distorted when building
this bridge, the wrong system will be built or the system will not be built in
time and budget–or both! Standards and recommendations give advice on how to structure
specifications or check software-engineering artefacts with reviews or inspections.
But these constructive and analytical approaches are not well integrated with
each other. Moreover, they are often too generic to efficiently support the specification
of particular system types. In this paper, we present the integrated “specification
framework” of Capgemini sd&m. It consists of our specification method for business
information systems (BIS) and its concerted analytical counterpart, the “specification
quality gate”. Since this framework is tailored to the specification of large
BIS, it allows a quick ramp-up phase for software engineering projects without
the need for extensive tailoring or extension.
author:
- first_name: Frank
full_name: Salger, Frank
last_name: Salger
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Salger F, Sauer S, Engels G. An Integrated Quality Assurance Framework for
Specifying Business Information Systems. In: Proceedings of the Forum at the
CAiSE 2009 Conference, Amsterdam (The Netherlands). Vol 453. CEUR; 2009:25-30.'
apa: Salger, F., Sauer, S., & Engels, G. (2009). An Integrated Quality Assurance
Framework for Specifying Business Information Systems. In Proceedings of the
Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands) (Vol. 453,
pp. 25–30). CEUR.
bibtex: '@inproceedings{Salger_Sauer_Engels_2009, title={An Integrated Quality Assurance
Framework for Specifying Business Information Systems}, volume={453}, booktitle={Proceedings
of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands)}, publisher={CEUR},
author={Salger, Frank and Sauer, Stefan and Engels, Gregor}, year={2009}, pages={25–30}
}'
chicago: Salger, Frank, Stefan Sauer, and Gregor Engels. “An Integrated Quality
Assurance Framework for Specifying Business Information Systems.” In Proceedings
of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands), 453:25–30.
CEUR, 2009.
ieee: F. Salger, S. Sauer, and G. Engels, “An Integrated Quality Assurance Framework
for Specifying Business Information Systems,” in Proceedings of the Forum at
the CAiSE 2009 Conference, Amsterdam (The Netherlands), 2009, vol. 453, pp.
25–30.
mla: Salger, Frank, et al. “An Integrated Quality Assurance Framework for Specifying
Business Information Systems.” Proceedings of the Forum at the CAiSE 2009 Conference,
Amsterdam (The Netherlands), vol. 453, CEUR, 2009, pp. 25–30.
short: 'F. Salger, S. Sauer, G. Engels, in: Proceedings of the Forum at the CAiSE
2009 Conference, Amsterdam (The Netherlands), CEUR, 2009, pp. 25–30.'
date_created: 2019-03-06T16:20:30Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
intvolume: ' 453'
language:
- iso: eng
page: 25-30
publication: Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam (The
Netherlands)
publisher: CEUR
status: public
title: An Integrated Quality Assurance Framework for Specifying Business Information
Systems
type: conference
user_id: '52534'
volume: 453
year: '2009'
...
---
_id: '8435'
abstract:
- lang: eng
text: Visual Process Pattern (VPP) is a visual language to describe constraints
on the behavior of UML Activities. They have been developed for the sake of formulating
and verifying requirements on business process models (with Activities being one
possible description language). In the VPP approach, a visual pattern is translated
into an LTL formula, which can then be verified against a transition system describing
the behavior of the Activity under consideration. In this paper, we aim at generalizing
VPP. We show how to formulate patterns more generally, using either concrete or
abstract syntax of the behavioral model under consideration. Additionally, we
describe how these more general patterns can be verified against a model’s behavior.
author:
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Soltenborn C, Engels G. Towards Generalizing Visual Process Pattern. In: Proceedings
of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009),
Corvallis, OR (USA). Vol 25. Electronic Communications of the EASST. European
Association of Software Science and Technology; 2009.'
apa: Soltenborn, C., & Engels, G. (2009). Towards Generalizing Visual Process
Pattern. In Proceedings of the 1st International Workshop on Visual Formalisms
for Patterns (VFfP 2009), Corvallis, OR (USA) (Vol. 25). European Association
of Software Science and Technology.
bibtex: '@inproceedings{Soltenborn_Engels_2009, series={Electronic Communications
of the EASST}, title={Towards Generalizing Visual Process Pattern}, volume={25},
booktitle={Proceedings of the 1st International Workshop on Visual Formalisms
for Patterns (VFfP 2009), Corvallis, OR (USA)}, publisher={European Association
of Software Science and Technology}, author={Soltenborn, Christian and Engels,
Gregor}, year={2009}, collection={Electronic Communications of the EASST} }'
chicago: Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual
Process Pattern.” In Proceedings of the 1st International Workshop on Visual
Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), Vol. 25. Electronic
Communications of the EASST. European Association of Software Science and Technology,
2009.
ieee: C. Soltenborn and G. Engels, “Towards Generalizing Visual Process Pattern,”
in Proceedings of the 1st International Workshop on Visual Formalisms for Patterns
(VFfP 2009), Corvallis, OR (USA), 2009, vol. 25.
mla: Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual Process
Pattern.” Proceedings of the 1st International Workshop on Visual Formalisms
for Patterns (VFfP 2009), Corvallis, OR (USA), vol. 25, European Association
of Software Science and Technology, 2009.
short: 'C. Soltenborn, G. Engels, in: Proceedings of the 1st International Workshop
on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), European Association
of Software Science and Technology, 2009.'
date_created: 2019-03-06T16:20:31Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
intvolume: ' 25'
language:
- iso: eng
publication: Proceedings of the 1st International Workshop on Visual Formalisms for
Patterns (VFfP 2009), Corvallis, OR (USA)
publisher: European Association of Software Science and Technology
series_title: Electronic Communications of the EASST
status: public
title: Towards Generalizing Visual Process Pattern
type: conference
user_id: '14955'
volume: 25
year: '2009'
...
---
_id: '8436'
author:
- first_name: Thomas
full_name: von der Maßen, Thomas
last_name: von der Maßen
- first_name: Andreas
full_name: Wübbeke, Andreas
last_name: Wübbeke
citation:
ama: 'von der Maßen T, Wübbeke A. Lösungsorientierte Software Produktlinienentwicklung
in heterogenen Systemlandschaften. In: Proceedings of Produktlinien Im Kontext
(PIK09). Hildesheimer Informatikberichte. ; 2009:15-23.'
apa: von der Maßen, T., & Wübbeke, A. (2009). Lösungsorientierte Software Produktlinienentwicklung
in heterogenen Systemlandschaften. In Proceedings of Produktlinien im Kontext
(PIK09) (pp. 15–23).
bibtex: '@inproceedings{von der Maßen_Wübbeke_2009, series={Hildesheimer Informatikberichte},
title={Lösungsorientierte Software Produktlinienentwicklung in heterogenen Systemlandschaften},
booktitle={Proceedings of Produktlinien im Kontext (PIK09)}, author={von der Maßen,
Thomas and Wübbeke, Andreas}, year={2009}, pages={15–23}, collection={Hildesheimer
Informatikberichte} }'
chicago: Maßen, Thomas von der, and Andreas Wübbeke. “Lösungsorientierte Software
Produktlinienentwicklung in Heterogenen Systemlandschaften.” In Proceedings
of Produktlinien Im Kontext (PIK09), 15–23. Hildesheimer Informatikberichte,
2009.
ieee: T. von der Maßen and A. Wübbeke, “Lösungsorientierte Software Produktlinienentwicklung
in heterogenen Systemlandschaften,” in Proceedings of Produktlinien im Kontext
(PIK09), 2009, pp. 15–23.
mla: von der Maßen, Thomas, and Andreas Wübbeke. “Lösungsorientierte Software Produktlinienentwicklung
in Heterogenen Systemlandschaften.” Proceedings of Produktlinien Im Kontext
(PIK09), 2009, pp. 15–23.
short: 'T. von der Maßen, A. Wübbeke, in: Proceedings of Produktlinien Im Kontext
(PIK09), 2009, pp. 15–23.'
date_created: 2019-03-06T16:20:32Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
language:
- iso: eng
page: 15-23
publication: Proceedings of Produktlinien im Kontext (PIK09)
series_title: Hildesheimer Informatikberichte
status: public
title: Lösungsorientierte Software Produktlinienentwicklung in heterogenen Systemlandschaften
type: conference
user_id: '52534'
year: '2009'
...
---
_id: '9616'
author:
- first_name: Saqib
full_name: Kakvi, Saqib
id: '66268'
last_name: Kakvi
citation:
ama: 'Kakvi S. Reinforcement Learning for Blackjack. In: Lecture Notes in Computer
Science. Berlin, Heidelberg; 2009. doi:10.1007/978-3-642-04052-8_43'
apa: Kakvi, S. (2009). Reinforcement Learning for Blackjack. In Lecture Notes
in Computer Science. Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04052-8_43
bibtex: '@inbook{Kakvi_2009, place={Berlin, Heidelberg}, title={Reinforcement Learning
for Blackjack}, DOI={10.1007/978-3-642-04052-8_43},
booktitle={Lecture Notes in Computer Science}, author={Kakvi, Saqib}, year={2009}
}'
chicago: Kakvi, Saqib. “Reinforcement Learning for Blackjack.” In Lecture Notes
in Computer Science. Berlin, Heidelberg, 2009. https://doi.org/10.1007/978-3-642-04052-8_43.
ieee: S. Kakvi, “Reinforcement Learning for Blackjack,” in Lecture Notes in Computer
Science, Berlin, Heidelberg, 2009.
mla: Kakvi, Saqib. “Reinforcement Learning for Blackjack.” Lecture Notes in Computer
Science, 2009, doi:10.1007/978-3-642-04052-8_43.
short: 'S. Kakvi, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2009.'
date_created: 2019-05-06T09:54:39Z
date_updated: 2022-01-06T07:04:17Z
department:
- _id: '558'
doi: 10.1007/978-3-642-04052-8_43
extern: '1'
language:
- iso: eng
place: Berlin, Heidelberg
publication: Lecture Notes in Computer Science
publication_identifier:
isbn:
- '9783642040511'
- '9783642040528'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Reinforcement Learning for Blackjack
type: book_chapter
user_id: '66268'
year: '2009'
...
---
_id: '16429'
author:
- first_name: Jarosław
full_name: Kutyłowski, Jarosław
last_name: Kutyłowski
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Kutyłowski J, Meyer auf der Heide F. Optimal strategies for maintaining a chain
of relays between an explorer and a base camp. Theoretical Computer Science.
2009:3391-3405. doi:10.1016/j.tcs.2008.04.010
apa: Kutyłowski, J., & Meyer auf der Heide, F. (2009). Optimal strategies for
maintaining a chain of relays between an explorer and a base camp. Theoretical
Computer Science, 3391–3405. https://doi.org/10.1016/j.tcs.2008.04.010
bibtex: '@article{Kutyłowski_Meyer auf der Heide_2009, title={Optimal strategies
for maintaining a chain of relays between an explorer and a base camp}, DOI={10.1016/j.tcs.2008.04.010},
journal={Theoretical Computer Science}, author={Kutyłowski, Jarosław and Meyer
auf der Heide, Friedhelm}, year={2009}, pages={3391–3405} }'
chicago: Kutyłowski, Jarosław, and Friedhelm Meyer auf der Heide. “Optimal Strategies
for Maintaining a Chain of Relays between an Explorer and a Base Camp.” Theoretical
Computer Science, 2009, 3391–3405. https://doi.org/10.1016/j.tcs.2008.04.010.
ieee: J. Kutyłowski and F. Meyer auf der Heide, “Optimal strategies for maintaining
a chain of relays between an explorer and a base camp,” Theoretical Computer
Science, pp. 3391–3405, 2009.
mla: Kutyłowski, Jarosław, and Friedhelm Meyer auf der Heide. “Optimal Strategies
for Maintaining a Chain of Relays between an Explorer and a Base Camp.” Theoretical
Computer Science, 2009, pp. 3391–405, doi:10.1016/j.tcs.2008.04.010.
short: J. Kutyłowski, F. Meyer auf der Heide, Theoretical Computer Science (2009)
3391–3405.
date_created: 2020-04-06T13:52:18Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '63'
doi: 10.1016/j.tcs.2008.04.010
language:
- iso: eng
page: 3391-3405
publication: Theoretical Computer Science
publication_identifier:
issn:
- 0304-3975
publication_status: published
status: public
title: Optimal strategies for maintaining a chain of relays between an explorer and
a base camp
type: journal_article
user_id: '15415'
year: '2009'
...
---
_id: '16430'
author:
- first_name: Jan
full_name: Mehler, Jan
last_name: Mehler
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Mehler J, Meyer auf der Heide F. Power-aware online file allocation in mobile
ad hoc networks. In: Proceedings of the Twenty-First Annual Symposium on Parallelism
in Algorithms and Architectures - SPAA ’09. ; 2009. doi:10.1145/1583991.1584072'
apa: Mehler, J., & Meyer auf der Heide, F. (2009). Power-aware online file allocation
in mobile ad hoc networks. In Proceedings of the twenty-first annual symposium
on Parallelism in algorithms and architectures - SPAA ’09. https://doi.org/10.1145/1583991.1584072
bibtex: '@inproceedings{Mehler_Meyer auf der Heide_2009, title={Power-aware online
file allocation in mobile ad hoc networks}, DOI={10.1145/1583991.1584072},
booktitle={Proceedings of the twenty-first annual symposium on Parallelism in
algorithms and architectures - SPAA ’09}, author={Mehler, Jan and Meyer auf der
Heide, Friedhelm}, year={2009} }'
chicago: Mehler, Jan, and Friedhelm Meyer auf der Heide. “Power-Aware Online File
Allocation in Mobile Ad Hoc Networks.” In Proceedings of the Twenty-First Annual
Symposium on Parallelism in Algorithms and Architectures - SPAA ’09, 2009.
https://doi.org/10.1145/1583991.1584072.
ieee: J. Mehler and F. Meyer auf der Heide, “Power-aware online file allocation
in mobile ad hoc networks,” in Proceedings of the twenty-first annual symposium
on Parallelism in algorithms and architectures - SPAA ’09, 2009.
mla: Mehler, Jan, and Friedhelm Meyer auf der Heide. “Power-Aware Online File Allocation
in Mobile Ad Hoc Networks.” Proceedings of the Twenty-First Annual Symposium
on Parallelism in Algorithms and Architectures - SPAA ’09, 2009, doi:10.1145/1583991.1584072.
short: 'J. Mehler, F. Meyer auf der Heide, in: Proceedings of the Twenty-First Annual
Symposium on Parallelism in Algorithms and Architectures - SPAA ’09, 2009.'
date_created: 2020-04-06T13:53:57Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '63'
doi: 10.1145/1583991.1584072
language:
- iso: eng
publication: Proceedings of the twenty-first annual symposium on Parallelism in algorithms
and architectures - SPAA '09
publication_identifier:
isbn:
- '9781605586069'
publication_status: published
status: public
title: Power-aware online file allocation in mobile ad hoc networks
type: conference
user_id: '15415'
year: '2009'
...
---
_id: '16431'
citation:
ama: Meyer auf der Heide F, Bender MA, eds. Proceedings of the Twenty-First Annual
Symposium on Parallelism in Algorithms and Architectures - SPAA ’09.; 2009.
doi:10.1145/1583991
apa: Meyer auf der Heide, F., & Bender, M. A. (Eds.). (2009). Proceedings
of the twenty-first annual symposium on Parallelism in algorithms and architectures
- SPAA ’09. https://doi.org/10.1145/1583991
bibtex: '@book{Meyer auf der Heide_Bender_2009, title={Proceedings of the twenty-first
annual symposium on Parallelism in algorithms and architectures - SPAA ’09}, DOI={10.1145/1583991}, year={2009} }'
chicago: Meyer auf der Heide, Friedhelm, and Michael A. Bender, eds. Proceedings
of the Twenty-First Annual Symposium on Parallelism in Algorithms and Architectures
- SPAA ’09, 2009. https://doi.org/10.1145/1583991.
ieee: F. Meyer auf der Heide and M. A. Bender, Eds., Proceedings of the twenty-first
annual symposium on Parallelism in algorithms and architectures - SPAA ’09.
2009.
mla: Meyer auf der Heide, Friedhelm, and Michael A. Bender, editors. Proceedings
of the Twenty-First Annual Symposium on Parallelism in Algorithms and Architectures
- SPAA ’09. 2009, doi:10.1145/1583991.
short: F. Meyer auf der Heide, M.A. Bender, eds., Proceedings of the Twenty-First
Annual Symposium on Parallelism in Algorithms and Architectures - SPAA ’09, 2009.
date_created: 2020-04-06T13:55:23Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '63'
doi: 10.1145/1583991
editor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Michael A.
full_name: Bender, Michael A.
last_name: Bender
language:
- iso: eng
publication_identifier:
isbn:
- '9781605586069'
publication_status: published
status: public
title: Proceedings of the twenty-first annual symposium on Parallelism in algorithms
and architectures - SPAA '09
type: conference_editor
user_id: '15415'
year: '2009'
...
---
_id: '16637'
article_number: '9'
author:
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
citation:
ama: 'Domik G. Who is on my Team: Building strong Teams in Interdisciplinary Visualization
Courses . In: ACM SIGGRAPH ASIA 2009 Educators Program. Vol 1. SIGGRAPH
ASIA ’09. New York, NY, USA: Association for Computing Machinery; 2009. doi:10.1145/1666611.1666620'
apa: 'Domik, G. (2009). Who is on my Team: Building strong Teams in Interdisciplinary
Visualization Courses . In ACM SIGGRAPH ASIA 2009 Educators Program (Vol.
1). New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/1666611.1666620'
bibtex: '@inproceedings{Domik_2009, place={New York, NY, USA}, series={SIGGRAPH
ASIA ’09}, title={Who is on my Team: Building strong Teams in Interdisciplinary
Visualization Courses }, volume={1}, DOI={10.1145/1666611.1666620},
number={9}, booktitle={ACM SIGGRAPH ASIA 2009 Educators Program}, publisher={Association
for Computing Machinery}, author={Domik, Gitta}, year={2009}, collection={SIGGRAPH
ASIA ’09} }'
chicago: 'Domik, Gitta. “Who Is on My Team: Building Strong Teams in Interdisciplinary
Visualization Courses .” In ACM SIGGRAPH ASIA 2009 Educators Program, Vol.
1. SIGGRAPH ASIA ’09. New York, NY, USA: Association for Computing Machinery,
2009. https://doi.org/10.1145/1666611.1666620.'
ieee: 'G. Domik, “Who is on my Team: Building strong Teams in Interdisciplinary
Visualization Courses ,” in ACM SIGGRAPH ASIA 2009 Educators Program, Asia,
2009, vol. 1.'
mla: 'Domik, Gitta. “Who Is on My Team: Building Strong Teams in Interdisciplinary
Visualization Courses .” ACM SIGGRAPH ASIA 2009 Educators Program, vol.
1, 9, Association for Computing Machinery, 2009, doi:10.1145/1666611.1666620.'
short: 'G. Domik, in: ACM SIGGRAPH ASIA 2009 Educators Program, Association for
Computing Machinery, New York, NY, USA, 2009.'
conference:
location: Asia
name: ACM SIGGRAPH
date_created: 2020-04-16T08:51:12Z
date_updated: 2022-01-06T06:52:53Z
department:
- _id: '65'
doi: 10.1145/1666611.1666620
intvolume: ' 1'
language:
- iso: eng
place: New York, NY, USA
publication: ACM SIGGRAPH ASIA 2009 Educators Program
publication_identifier:
isbn:
- '9781450379335'
publisher: Association for Computing Machinery
series_title: SIGGRAPH ASIA '09
status: public
title: 'Who is on my Team: Building strong Teams in Interdisciplinary Visualization
Courses '
type: conference
user_id: '14955'
volume: 1
year: '2009'
...
---
_id: '10639'
author:
- first_name: Alexander
full_name: Boschmann, Alexander
last_name: Boschmann
- first_name: Paul
full_name: Kaufmann, Paul
last_name: Kaufmann
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Michael
full_name: Winkler, Michael
last_name: Winkler
citation:
ama: 'Boschmann A, Kaufmann P, Platzner M, Winkler M. Towards multi-movement hand
prostheses: Combining adaptive classification with high precision sockets. In:
Proc. Technically Assisted Rehabilitation (TAR). ; 2009.'
apa: 'Boschmann, A., Kaufmann, P., Platzner, M., & Winkler, M. (2009). Towards
multi-movement hand prostheses: Combining adaptive classification with high precision
sockets. In Proc. Technically Assisted Rehabilitation (TAR).'
bibtex: '@inproceedings{Boschmann_Kaufmann_Platzner_Winkler_2009, title={Towards
multi-movement hand prostheses: Combining adaptive classification with high precision
sockets}, booktitle={Proc. Technically Assisted Rehabilitation (TAR)}, author={Boschmann,
Alexander and Kaufmann, Paul and Platzner, Marco and Winkler, Michael}, year={2009}
}'
chicago: 'Boschmann, Alexander, Paul Kaufmann, Marco Platzner, and Michael Winkler.
“Towards Multi-Movement Hand Prostheses: Combining Adaptive Classification with
High Precision Sockets.” In Proc. Technically Assisted Rehabilitation (TAR),
2009.'
ieee: 'A. Boschmann, P. Kaufmann, M. Platzner, and M. Winkler, “Towards multi-movement
hand prostheses: Combining adaptive classification with high precision sockets,”
in Proc. Technically Assisted Rehabilitation (TAR), 2009.'
mla: 'Boschmann, Alexander, et al. “Towards Multi-Movement Hand Prostheses: Combining
Adaptive Classification with High Precision Sockets.” Proc. Technically Assisted
Rehabilitation (TAR), 2009.'
short: 'A. Boschmann, P. Kaufmann, M. Platzner, M. Winkler, in: Proc. Technically
Assisted Rehabilitation (TAR), 2009.'
date_created: 2019-07-10T11:03:25Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
language:
- iso: eng
publication: Proc. Technically Assisted Rehabilitation (TAR)
status: public
title: 'Towards multi-movement hand prostheses: Combining adaptive classification
with high precision sockets'
type: conference
user_id: '3118'
year: '2009'
...
---
_id: '10702'
author:
- first_name: Alexander
full_name: Kostin, Alexander
last_name: Kostin
citation:
ama: Kostin A. Evolvable Robot Controller. Paderborn University; 2009.
apa: Kostin, A. (2009). Evolvable Robot Controller. Paderborn University.
bibtex: '@book{Kostin_2009, title={Evolvable Robot Controller}, publisher={Paderborn
University}, author={Kostin, Alexander}, year={2009} }'
chicago: Kostin, Alexander. Evolvable Robot Controller. Paderborn University,
2009.
ieee: A. Kostin, Evolvable Robot Controller. Paderborn University, 2009.
mla: Kostin, Alexander. Evolvable Robot Controller. Paderborn University,
2009.
short: A. Kostin, Evolvable Robot Controller, Paderborn University, 2009.
date_created: 2019-07-10T11:38:28Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
language:
- iso: eng
publisher: Paderborn University
status: public
supervisor:
- first_name: Paul
full_name: Kaufmann, Paul
last_name: Kaufmann
title: Evolvable Robot Controller
type: mastersthesis
user_id: '3118'
year: '2009'
...
---
_id: '10703'
author:
- first_name: Enno
full_name: Lübbers, Enno
last_name: Lübbers
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Lübbers E, Platzner M. ReconOS: Multithreaded Programming for Reconfigurable
Computers. ACM Transactions on Embedded Computing Systems. 2009;9(1):8:1-8:33.
doi:10.1145/1596532.1596540'
apa: 'Lübbers, E., & Platzner, M. (2009). ReconOS: Multithreaded Programming
for Reconfigurable Computers. ACM Transactions on Embedded Computing Systems,
9(1), 8:1-8:33. https://doi.org/10.1145/1596532.1596540'
bibtex: '@article{Lübbers_Platzner_2009, title={ReconOS: Multithreaded Programming
for Reconfigurable Computers}, volume={9}, DOI={10.1145/1596532.1596540},
number={1}, journal={ACM Transactions on Embedded Computing Systems}, author={Lübbers,
Enno and Platzner, Marco}, year={2009}, pages={8:1-8:33} }'
chicago: 'Lübbers, Enno, and Marco Platzner. “ReconOS: Multithreaded Programming
for Reconfigurable Computers.” ACM Transactions on Embedded Computing Systems
9, no. 1 (2009): 8:1-8:33. https://doi.org/10.1145/1596532.1596540.'
ieee: 'E. Lübbers and M. Platzner, “ReconOS: Multithreaded Programming for Reconfigurable
Computers,” ACM Transactions on Embedded Computing Systems, vol. 9, no.
1, pp. 8:1-8:33, 2009.'
mla: 'Lübbers, Enno, and Marco Platzner. “ReconOS: Multithreaded Programming for
Reconfigurable Computers.” ACM Transactions on Embedded Computing Systems,
vol. 9, no. 1, 2009, pp. 8:1-8:33, doi:10.1145/1596532.1596540.'
short: E. Lübbers, M. Platzner, ACM Transactions on Embedded Computing Systems 9
(2009) 8:1-8:33.
date_created: 2019-07-10T11:41:17Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
doi: 10.1145/1596532.1596540
intvolume: ' 9'
issue: '1'
keyword:
- Reconfigurable computing
- multithreading
- operating systems
language:
- iso: eng
page: 8:1-8:33
publication: ACM Transactions on Embedded Computing Systems
publication_identifier:
issn:
- 1539-9087
status: public
title: 'ReconOS: Multithreaded Programming for Reconfigurable Computers'
type: journal_article
user_id: '3118'
volume: 9
year: '2009'
...
---
_id: '10746'
author:
- first_name: Martin
full_name: Tofall, Martin
last_name: Tofall
citation:
ama: Tofall M. Compiler for a Custom Instruction Set CPU. Paderborn University;
2009.
apa: Tofall, M. (2009). Compiler for a Custom Instruction Set CPU. Paderborn
University.
bibtex: '@book{Tofall_2009, title={Compiler for a Custom Instruction Set CPU}, publisher={Paderborn
University}, author={Tofall, Martin}, year={2009} }'
chicago: Tofall, Martin. Compiler for a Custom Instruction Set CPU. Paderborn
University, 2009.
ieee: M. Tofall, Compiler for a Custom Instruction Set CPU. Paderborn University,
2009.
mla: Tofall, Martin. Compiler for a Custom Instruction Set CPU. Paderborn
University, 2009.
short: M. Tofall, Compiler for a Custom Instruction Set CPU, Paderborn University,
2009.
date_created: 2019-07-10T12:01:52Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
language:
- iso: eng
publisher: Paderborn University
status: public
title: Compiler for a Custom Instruction Set CPU
type: mastersthesis
user_id: '3118'
year: '2009'
...
---
_id: '10749'
author:
- first_name: Alexander
full_name: Warkentin, Alexander
last_name: Warkentin
citation:
ama: Warkentin A. Coarse-Grained CGP Model Using Xilinx Virtex5 DSP48E Functional
Units. Paderborn University; 2009.
apa: Warkentin, A. (2009). Coarse-grained CGP Model using Xilinx Virtex5 DSP48E
Functional Units. Paderborn University.
bibtex: '@book{Warkentin_2009, title={Coarse-grained CGP Model using Xilinx Virtex5
DSP48E Functional Units}, publisher={Paderborn University}, author={Warkentin,
Alexander}, year={2009} }'
chicago: Warkentin, Alexander. Coarse-Grained CGP Model Using Xilinx Virtex5
DSP48E Functional Units. Paderborn University, 2009.
ieee: A. Warkentin, Coarse-grained CGP Model using Xilinx Virtex5 DSP48E Functional
Units. Paderborn University, 2009.
mla: Warkentin, Alexander. Coarse-Grained CGP Model Using Xilinx Virtex5 DSP48E
Functional Units. Paderborn University, 2009.
short: A. Warkentin, Coarse-Grained CGP Model Using Xilinx Virtex5 DSP48E Functional
Units, Paderborn University, 2009.
date_created: 2019-07-10T12:02:58Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
language:
- iso: eng
publisher: Paderborn University
status: public
supervisor:
- first_name: Paul
full_name: Kaufmann, Paul
last_name: Kaufmann
title: Coarse-grained CGP Model using Xilinx Virtex5 DSP48E Functional Units
type: mastersthesis
user_id: '3118'
year: '2009'
...
---
_id: '10753'
author:
- first_name: Benedikt
full_name: Wildenhain, Benedikt
last_name: Wildenhain
citation:
ama: Wildenhain B. Implementierung von Kryptographie-Hardwarebeschleunigern Für
Das HW/SW-Betriebssystem ReconOS. Paderborn University; 2009.
apa: Wildenhain, B. (2009). Implementierung von Kryptographie-Hardwarebeschleunigern
für das HW/SW-Betriebssystem ReconOS. Paderborn University.
bibtex: '@book{Wildenhain_2009, title={Implementierung von Kryptographie-Hardwarebeschleunigern
für das HW/SW-Betriebssystem ReconOS}, publisher={Paderborn University}, author={Wildenhain,
Benedikt}, year={2009} }'
chicago: Wildenhain, Benedikt. Implementierung von Kryptographie-Hardwarebeschleunigern
Für Das HW/SW-Betriebssystem ReconOS. Paderborn University, 2009.
ieee: B. Wildenhain, Implementierung von Kryptographie-Hardwarebeschleunigern
für das HW/SW-Betriebssystem ReconOS. Paderborn University, 2009.
mla: Wildenhain, Benedikt. Implementierung von Kryptographie-Hardwarebeschleunigern
Für Das HW/SW-Betriebssystem ReconOS. Paderborn University, 2009.
short: B. Wildenhain, Implementierung von Kryptographie-Hardwarebeschleunigern Für
Das HW/SW-Betriebssystem ReconOS, Paderborn University, 2009.
date_created: 2019-07-10T12:05:17Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
language:
- iso: eng
publisher: Paderborn University
status: public
title: Implementierung von Kryptographie-Hardwarebeschleunigern für das HW/SW-Betriebssystem
ReconOS
type: bachelorsthesis
user_id: '3118'
year: '2009'
...
---
_id: '10777'
author:
- first_name: Hassan
full_name: Ghasemzadeh Mohammadi, Hassan
id: '61186'
last_name: Ghasemzadeh Mohammadi
- first_name: Seyed Ghassem
full_name: Miremadi, Seyed Ghassem
last_name: Miremadi
- first_name: Alireza
full_name: Ejlali, Alireza
last_name: Ejlali
citation:
ama: 'Ghasemzadeh Mohammadi H, Miremadi SG, Ejlali A. Signature Self Checking (SSC):
A Low-Cost Reliable Control Logic for Pipelined Microprocessors. In: Dependable
Computing (PRDC), 2009 IEEE Pacific Rim International Symposium On. IEEE;
2009:252-255. doi:10.1109/PRDC.2009.69'
apa: 'Ghasemzadeh Mohammadi, H., Miremadi, S. G., & Ejlali, A. (2009). Signature
Self Checking (SSC): A Low-Cost Reliable Control Logic for Pipelined Microprocessors.
In Dependable Computing (PRDC), 2009 IEEE Pacific Rim International Symposium
on (pp. 252–255). IEEE. https://doi.org/10.1109/PRDC.2009.69'
bibtex: '@inproceedings{Ghasemzadeh Mohammadi_Miremadi_Ejlali_2009, title={Signature
Self Checking (SSC): A Low-Cost Reliable Control Logic for Pipelined Microprocessors},
DOI={10.1109/PRDC.2009.69},
booktitle={Dependable Computing (PRDC), 2009 IEEE Pacific Rim International Symposium
on}, publisher={IEEE}, author={Ghasemzadeh Mohammadi, Hassan and Miremadi, Seyed
Ghassem and Ejlali, Alireza}, year={2009}, pages={252–255} }'
chicago: 'Ghasemzadeh Mohammadi, Hassan, Seyed Ghassem Miremadi, and Alireza Ejlali.
“Signature Self Checking (SSC): A Low-Cost Reliable Control Logic for Pipelined
Microprocessors.” In Dependable Computing (PRDC), 2009 IEEE Pacific Rim International
Symposium On, 252–55. IEEE, 2009. https://doi.org/10.1109/PRDC.2009.69.'
ieee: 'H. Ghasemzadeh Mohammadi, S. G. Miremadi, and A. Ejlali, “Signature Self
Checking (SSC): A Low-Cost Reliable Control Logic for Pipelined Microprocessors,”
in Dependable Computing (PRDC), 2009 IEEE Pacific Rim International Symposium
on, 2009, pp. 252–255.'
mla: 'Ghasemzadeh Mohammadi, Hassan, et al. “Signature Self Checking (SSC): A Low-Cost
Reliable Control Logic for Pipelined Microprocessors.” Dependable Computing
(PRDC), 2009 IEEE Pacific Rim International Symposium On, IEEE, 2009, pp.
252–55, doi:10.1109/PRDC.2009.69.'
short: 'H. Ghasemzadeh Mohammadi, S.G. Miremadi, A. Ejlali, in: Dependable Computing
(PRDC), 2009 IEEE Pacific Rim International Symposium On, IEEE, 2009, pp. 252–255.'
date_created: 2019-07-10T12:11:34Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
doi: 10.1109/PRDC.2009.69
extern: '1'
language:
- iso: eng
page: 252-255
publication: Dependable Computing (PRDC), 2009 IEEE Pacific Rim International Symposium
on
publisher: IEEE
status: public
title: 'Signature Self Checking (SSC): A Low-Cost Reliable Control Logic for Pipelined
Microprocessors'
type: conference
user_id: '3118'
year: '2009'
...
---
_id: '12060'
author:
- first_name: Christoph
full_name: Sommer, Christoph
id: '49154'
last_name: Sommer
orcid: 0000-0002-4336-7350
- first_name: Isabel
full_name: Dietrich, Isabel
last_name: Dietrich
- first_name: Falko
full_name: Dressler, Falko
last_name: Dressler
citation:
ama: Sommer C, Dietrich I, Dressler F. Simulation of Ad Hoc Routing Protocols using
OMNeT++. Mobile Networks and Applications. 2009:786-801. doi:10.1007/s11036-009-0174-5
apa: Sommer, C., Dietrich, I., & Dressler, F. (2009). Simulation of Ad Hoc Routing
Protocols using OMNeT++. Mobile Networks and Applications, 786–801. https://doi.org/10.1007/s11036-009-0174-5
bibtex: '@article{Sommer_Dietrich_Dressler_2009, title={Simulation of Ad Hoc Routing
Protocols using OMNeT++}, DOI={10.1007/s11036-009-0174-5},
journal={Mobile Networks and Applications}, author={Sommer, Christoph and Dietrich,
Isabel and Dressler, Falko}, year={2009}, pages={786–801} }'
chicago: Sommer, Christoph, Isabel Dietrich, and Falko Dressler. “Simulation of
Ad Hoc Routing Protocols Using OMNeT++.” Mobile Networks and Applications,
2009, 786–801. https://doi.org/10.1007/s11036-009-0174-5.
ieee: C. Sommer, I. Dietrich, and F. Dressler, “Simulation of Ad Hoc Routing Protocols
using OMNeT++,” Mobile Networks and Applications, pp. 786–801, 2009.
mla: Sommer, Christoph, et al. “Simulation of Ad Hoc Routing Protocols Using OMNeT++.”
Mobile Networks and Applications, 2009, pp. 786–801, doi:10.1007/s11036-009-0174-5.
short: C. Sommer, I. Dietrich, F. Dressler, Mobile Networks and Applications (2009)
786–801.
date_created: 2019-07-18T09:55:21Z
date_updated: 2022-01-06T06:51:16Z
department:
- _id: '589'
doi: 10.1007/s11036-009-0174-5
language:
- iso: eng
page: 786-801
publication: Mobile Networks and Applications
publication_identifier:
issn:
- 1383-469X
- 1572-8153
publication_status: published
status: public
title: Simulation of Ad Hoc Routing Protocols using OMNeT++
type: journal_article
user_id: '49154'
year: '2009'
...
---
_id: '15680'
author:
- first_name: Jürgen
full_name: Börstler, Jürgen
last_name: Börstler
- first_name: Mark
full_name: S. Hall, Mark
last_name: S. Hall
- first_name: Marie
full_name: Nordström, Marie
last_name: Nordström
- first_name: James
full_name: H. Paterson, James
last_name: H. Paterson
- first_name: Kate
full_name: Sanders, Kate
last_name: Sanders
- first_name: Carsten
full_name: Schulte, Carsten
id: '60311'
last_name: Schulte
- first_name: Lynda
full_name: Thomas, Lynda
last_name: Thomas
citation:
ama: Börstler J, S. Hall M, Nordström M, et al. An evaluation of object oriented
example programs in introductory programming textbooks. SIGCSE Bulletin.
2009;41(4):126-143.
apa: Börstler, J., S. Hall, M., Nordström, M., H. Paterson, J., Sanders, K., Schulte,
C., & Thomas, L. (2009). An evaluation of object oriented example programs
in introductory programming textbooks. SIGCSE Bulletin, 41(4), 126–143.
bibtex: '@article{Börstler_S. Hall_Nordström_H. Paterson_Sanders_Schulte_Thomas_2009,
title={An evaluation of object oriented example programs in introductory programming
textbooks}, volume={41}, number={4}, journal={SIGCSE Bulletin}, author={Börstler,
Jürgen and S. Hall, Mark and Nordström, Marie and H. Paterson, James and Sanders,
Kate and Schulte, Carsten and Thomas, Lynda}, year={2009}, pages={126–143} }'
chicago: 'Börstler, Jürgen, Mark S. Hall, Marie Nordström, James H. Paterson, Kate
Sanders, Carsten Schulte, and Lynda Thomas. “An Evaluation of Object Oriented
Example Programs in Introductory Programming Textbooks.” SIGCSE Bulletin
41, no. 4 (2009): 126–43.'
ieee: J. Börstler et al., “An evaluation of object oriented example programs
in introductory programming textbooks,” SIGCSE Bulletin, vol. 41, no. 4,
pp. 126–143, 2009.
mla: Börstler, Jürgen, et al. “An Evaluation of Object Oriented Example Programs
in Introductory Programming Textbooks.” SIGCSE Bulletin, vol. 41, no. 4,
2009, pp. 126–43.
short: J. Börstler, M. S. Hall, M. Nordström, J. H. Paterson, K. Sanders, C. Schulte,
L. Thomas, SIGCSE Bulletin 41 (2009) 126–143.
date_created: 2020-01-28T10:29:22Z
date_updated: 2022-01-06T06:52:31Z
department:
- _id: '67'
intvolume: ' 41'
issue: '4'
language:
- iso: eng
page: 126-143
publication: SIGCSE Bulletin
status: public
title: An evaluation of object oriented example programs in introductory programming
textbooks
type: journal_article
user_id: '21145'
volume: 41
year: '2009'
...
---
_id: '15681'
author:
- first_name: Carsten
full_name: Schulte, Carsten
id: '60311'
last_name: Schulte
- first_name: Robert
full_name: Tolksdorf, Robert
last_name: Tolksdorf
citation:
ama: 'Schulte C, Tolksdorf R. Qualitätssicherung in einer interaktiven und lerneraktivierenden
E-Learning-Umgebung. In: DeLFI Workshops. Logos Verlag; 2009:219-225.'
apa: Schulte, C., & Tolksdorf, R. (2009). Qualitätssicherung in einer interaktiven
und lerneraktivierenden E-Learning-Umgebung. In DeLFI Workshops (pp. 219–225).
Logos Verlag.
bibtex: '@inproceedings{Schulte_Tolksdorf_2009, title={Qualitätssicherung in einer
interaktiven und lerneraktivierenden E-Learning-Umgebung}, booktitle={DeLFI Workshops},
publisher={Logos Verlag}, author={Schulte, Carsten and Tolksdorf, Robert}, year={2009},
pages={219–225} }'
chicago: Schulte, Carsten, and Robert Tolksdorf. “Qualitätssicherung in Einer Interaktiven
Und Lerneraktivierenden E-Learning-Umgebung.” In DeLFI Workshops, 219–25.
Logos Verlag, 2009.
ieee: C. Schulte and R. Tolksdorf, “Qualitätssicherung in einer interaktiven und
lerneraktivierenden E-Learning-Umgebung,” in DeLFI Workshops, 2009, pp.
219–225.
mla: Schulte, Carsten, and Robert Tolksdorf. “Qualitätssicherung in Einer Interaktiven
Und Lerneraktivierenden E-Learning-Umgebung.” DeLFI Workshops, Logos Verlag,
2009, pp. 219–25.
short: 'C. Schulte, R. Tolksdorf, in: DeLFI Workshops, Logos Verlag, 2009, pp. 219–225.'
date_created: 2020-01-28T10:29:23Z
date_updated: 2022-01-06T06:52:31Z
department:
- _id: '67'
language:
- iso: eng
page: 219-225
publication: DeLFI Workshops
publisher: Logos Verlag
status: public
title: Qualitätssicherung in einer interaktiven und lerneraktivierenden E-Learning-Umgebung
type: conference
user_id: '21145'
year: '2009'
...
---
_id: '15682'
author:
- first_name: Albrecht
full_name: Ehlert, Albrecht
last_name: Ehlert
- first_name: Carsten
full_name: Schulte, Carsten
id: '60311'
last_name: Schulte
citation:
ama: 'Ehlert A, Schulte C. Empirical comparison of objects-first and objects-later.
In: ICER. ACM; 2009:15-26.'
apa: Ehlert, A., & Schulte, C. (2009). Empirical comparison of objects-first
and objects-later. In ICER (pp. 15–26). ACM.
bibtex: '@inproceedings{Ehlert_Schulte_2009, title={Empirical comparison of objects-first
and objects-later}, booktitle={ICER}, publisher={ACM}, author={Ehlert, Albrecht
and Schulte, Carsten}, year={2009}, pages={15–26} }'
chicago: Ehlert, Albrecht, and Carsten Schulte. “Empirical Comparison of Objects-First
and Objects-Later.” In ICER, 15–26. ACM, 2009.
ieee: A. Ehlert and C. Schulte, “Empirical comparison of objects-first and objects-later,”
in ICER, 2009, pp. 15–26.
mla: Ehlert, Albrecht, and Carsten Schulte. “Empirical Comparison of Objects-First
and Objects-Later.” ICER, ACM, 2009, pp. 15–26.
short: 'A. Ehlert, C. Schulte, in: ICER, ACM, 2009, pp. 15–26.'
date_created: 2020-01-28T10:29:24Z
date_updated: 2022-01-06T06:52:31Z
department:
- _id: '67'
language:
- iso: eng
page: 15-26
publication: ICER
publisher: ACM
status: public
title: Empirical comparison of objects-first and objects-later
type: conference
user_id: '21145'
year: '2009'
...