---
_id: '316'
author:
- first_name: Jannis
full_name: Pautz, Jannis
last_name: Pautz
citation:
ama: Pautz J. Budget Games with Priced Strategies. Universität Paderborn;
2015.
apa: Pautz, J. (2015). Budget Games with priced strategies. Universität Paderborn.
bibtex: '@book{Pautz_2015, title={Budget Games with priced strategies}, publisher={Universität
Paderborn}, author={Pautz, Jannis}, year={2015} }'
chicago: Pautz, Jannis. Budget Games with Priced Strategies. Universität
Paderborn, 2015.
ieee: J. Pautz, Budget Games with priced strategies. Universität Paderborn,
2015.
mla: Pautz, Jannis. Budget Games with Priced Strategies. Universität Paderborn,
2015.
short: J. Pautz, Budget Games with Priced Strategies, Universität Paderborn, 2015.
date_created: 2017-10-17T12:41:53Z
date_updated: 2022-01-06T06:59:01Z
department:
- _id: '63'
- _id: '541'
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
supervisor:
- first_name: Alexander
full_name: Skopalik, Alexander
id: '40384'
last_name: Skopalik
title: Budget Games with priced strategies
type: bachelorsthesis
user_id: '14052'
year: '2015'
...
---
_id: '3162'
author:
- first_name: Steffen
full_name: Ziegert, Steffen
last_name: Ziegert
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Ziegert S, Wehrheim H. Temporal plans for software architecture reconfiguration.
Computer Science - R & D. 2015;(3-4):303--320. doi:10.1007/s00450-014-0259-7
apa: Ziegert, S., & Wehrheim, H. (2015). Temporal plans for software architecture
reconfiguration. Computer Science - R & D, (3–4), 303--320. https://doi.org/10.1007/s00450-014-0259-7
bibtex: '@article{Ziegert_Wehrheim_2015, title={Temporal plans for software architecture
reconfiguration}, DOI={10.1007/s00450-014-0259-7},
number={3–4}, journal={Computer Science - R & D}, author={Ziegert, Steffen
and Wehrheim, Heike}, year={2015}, pages={303--320} }'
chicago: 'Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture
Reconfiguration.” Computer Science - R & D, no. 3–4 (2015): 303--320.
https://doi.org/10.1007/s00450-014-0259-7.'
ieee: S. Ziegert and H. Wehrheim, “Temporal plans for software architecture reconfiguration,”
Computer Science - R & D, no. 3–4, pp. 303--320, 2015.
mla: Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture
Reconfiguration.” Computer Science - R & D, no. 3–4, 2015, pp. 303--320,
doi:10.1007/s00450-014-0259-7.
short: S. Ziegert, H. Wehrheim, Computer Science - R & D (2015) 303--320.
date_created: 2018-06-13T07:47:56Z
date_updated: 2022-01-06T06:59:01Z
ddc:
- '000'
department:
- _id: '77'
doi: 10.1007/s00450-014-0259-7
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:52:13Z
date_updated: 2018-11-02T15:52:13Z
file_id: '5315'
file_name: TemporalPlansForSoftwareArchit.pdf
file_size: 2136451
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:52:13Z
has_accepted_license: '1'
issue: 3-4
language:
- iso: eng
page: 303--320
project:
- _id: '3'
name: SFB 901 - Project Area B
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subproject B3
publication: Computer Science - R & D
status: public
title: Temporal plans for software architecture reconfiguration
type: journal_article
user_id: '477'
year: '2015'
...
---
_id: '3163'
author:
- first_name: Roland
full_name: Meyer, Roland
last_name: Meyer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Meyer R, Wehrheim H. From Program Verification to Time and Space: The Scientific
Life of Ernst-R{\"{u}}diger Olderog. In: Meyer R, Platzer A, Wehrheim H, eds.
Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on
the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings.
Lecture Notes in Computer Science. ; 2015:3--4. doi:10.1007/978-3-319-23506-6_1'
apa: 'Meyer, R., & Wehrheim, H. (2015). From Program Verification to Time and
Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog. In R. Meyer, A. Platzer,
& H. Wehrheim (Eds.), Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9,
2015. Proceedings (pp. 3--4). https://doi.org/10.1007/978-3-319-23506-6_1'
bibtex: '@inproceedings{Meyer_Wehrheim_2015, series={Lecture Notes in Computer Science},
title={From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger
Olderog}, DOI={10.1007/978-3-319-23506-6_1},
booktitle={Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog
on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015.
Proceedings}, author={Meyer, Roland and Wehrheim, Heike}, editor={Meyer, Roland
and Platzer, Andr{\’{e}} and Wehrheim, HeikeEditors}, year={2015}, pages={3--4},
collection={Lecture Notes in Computer Science} }'
chicago: 'Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time
and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog.” In Correct
System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion
of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings,
edited by Roland Meyer, Andr{\’{e}} Platzer, and Heike Wehrheim, 3--4. Lecture
Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-23506-6_1.'
ieee: 'R. Meyer and H. Wehrheim, “From Program Verification to Time and Space: The
Scientific Life of Ernst-R{\"{u}}diger Olderog,” in Correct System Design -
Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th
Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015, pp.
3--4.'
mla: 'Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and
Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog.” Correct System
Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of
His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, edited
by Roland Meyer et al., 2015, pp. 3--4, doi:10.1007/978-3-319-23506-6_1.'
short: 'R. Meyer, H. Wehrheim, in: R. Meyer, A. Platzer, H. Wehrheim (Eds.), Correct
System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion
of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015,
pp. 3--4.'
date_created: 2018-06-13T07:49:28Z
date_updated: 2022-01-06T06:59:01Z
department:
- _id: '77'
doi: 10.1007/978-3-319-23506-6_1
editor:
- first_name: Roland
full_name: Meyer, Roland
last_name: Meyer
- first_name: Andr{\'{e}}
full_name: Platzer, Andr{\'{e}}
last_name: Platzer
- first_name: Heike
full_name: Wehrheim, Heike
last_name: Wehrheim
page: 3--4
publication: Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog
on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: 'From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger
Olderog'
type: conference
user_id: '29719'
year: '2015'
...
---
_id: '3164'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Oleg
full_name: Travkin, Oleg
last_name: Travkin
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Dongol B, Schellhorn G, Travkin O, Wehrheim H. Verifying Opacity
of a Transactional Mutex Lock. In: Bj{\o}rner N, S. de Boer F, eds. {FM} 2015:
Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015,
Proceedings. Lecture Notes in Computer Science. ; 2015:161--177. doi:10.1007/978-3-319-19249-9_11'
apa: 'Derrick, J., Dongol, B., Schellhorn, G., Travkin, O., & Wehrheim, H. (2015).
Verifying Opacity of a Transactional Mutex Lock. In N. Bj{\o}rner & F. S.
de Boer (Eds.), {FM} 2015: Formal Methods - 20th International Symposium, Oslo,
Norway, June 24-26, 2015, Proceedings (pp. 161--177). https://doi.org/10.1007/978-3-319-19249-9_11'
bibtex: '@inproceedings{Derrick_Dongol_Schellhorn_Travkin_Wehrheim_2015, series={Lecture
Notes in Computer Science}, title={Verifying Opacity of a Transactional Mutex
Lock}, DOI={10.1007/978-3-319-19249-9_11},
booktitle={{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings}, author={Derrick, John and Dongol, Brijesh and
Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Bj{\o}rner,
Nikolaj and S. de Boer, FrankEditors}, year={2015}, pages={161--177}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike
Wehrheim. “Verifying Opacity of a Transactional Mutex Lock.” In {FM} 2015:
Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015,
Proceedings, edited by Nikolaj Bj{\o}rner and Frank S. de Boer, 161--177.
Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-19249-9_11.'
ieee: 'J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim, “Verifying
Opacity of a Transactional Mutex Lock,” in {FM} 2015: Formal Methods - 20th
International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015,
pp. 161--177.'
mla: 'Derrick, John, et al. “Verifying Opacity of a Transactional Mutex Lock.” {FM}
2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26,
2015, Proceedings, edited by Nikolaj Bj{\o}rner and Frank S. de Boer, 2015,
pp. 161--177, doi:10.1007/978-3-319-19249-9_11.'
short: 'J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim, in: N. Bj{\o}rner,
F. S. de Boer (Eds.), {FM} 2015: Formal Methods - 20th International Symposium,
Oslo, Norway, June 24-26, 2015, Proceedings, 2015, pp. 161--177.'
date_created: 2018-06-13T07:50:43Z
date_updated: 2022-01-06T06:59:01Z
department:
- _id: '77'
doi: 10.1007/978-3-319-19249-9_11
editor:
- first_name: Nikolaj
full_name: Bj{\o}rner, Nikolaj
last_name: Bj{\o}rner
- first_name: Frank
full_name: S. de Boer, Frank
last_name: S. de Boer
page: 161--177
project:
- _id: '78'
name: Validation of Software Transactional Memory
publication: '{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Verifying Opacity of a Transactional Mutex Lock
type: conference
user_id: '29719'
year: '2015'
...
---
_id: '3165'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Oleg
full_name: Travkin, Oleg
last_name: Travkin
citation:
ama: 'Wehrheim H, Travkin O. {TSO} to {SC} via Symbolic Execution. In: Piterman
N, ed. Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015,
Proceedings. Lecture Notes in Computer Science. ; 2015:104--119. doi:10.1007/978-3-319-26287-1_7'
apa: 'Wehrheim, H., & Travkin, O. (2015). {TSO} to {SC} via Symbolic Execution.
In N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th
International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings (pp. 104--119). https://doi.org/10.1007/978-3-319-26287-1_7'
bibtex: '@inproceedings{Wehrheim_Travkin_2015, series={Lecture Notes in Computer
Science}, title={{TSO} to {SC} via Symbolic Execution}, DOI={10.1007/978-3-319-26287-1_7},
booktitle={Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015,
Proceedings}, author={Wehrheim, Heike and Travkin, Oleg}, editor={Piterman, NirEditor},
year={2015}, pages={104--119}, collection={Lecture Notes in Computer Science}
}'
chicago: 'Wehrheim, Heike, and Oleg Travkin. “{TSO} to {SC} via Symbolic Execution.”
In Hardware and Software: Verification and Testing - 11th International Haifa
Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings,
edited by Nir Piterman, 104--119. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-26287-1_7.'
ieee: 'H. Wehrheim and O. Travkin, “{TSO} to {SC} via Symbolic Execution,” in Hardware
and Software: Verification and Testing - 11th International Haifa Verification
Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings,
2015, pp. 104--119.'
mla: 'Wehrheim, Heike, and Oleg Travkin. “{TSO} to {SC} via Symbolic Execution.”
Hardware and Software: Verification and Testing - 11th International Haifa
Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings,
edited by Nir Piterman, 2015, pp. 104--119, doi:10.1007/978-3-319-26287-1_7.'
short: 'H. Wehrheim, O. Travkin, in: N. Piterman (Ed.), Hardware and Software: Verification
and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa,
Israel, November 17-19, 2015, Proceedings, 2015, pp. 104--119.'
date_created: 2018-06-13T07:52:44Z
date_updated: 2022-01-06T06:59:01Z
department:
- _id: '77'
doi: 10.1007/978-3-319-26287-1_7
editor:
- first_name: Nir
full_name: Piterman, Nir
last_name: Piterman
page: 104--119
publication: 'Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015,
Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: '{TSO} to {SC} via Symbolic Execution'
type: conference
user_id: '29719'
year: '2015'
...
---
_id: '3166'
citation:
ama: Meyer R, Platzer A, Wehrheim H, eds. Correct System Design - Symposium in
Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg,
Germany, September 8-9, 2015. Proceedings.; 2015. doi:10.1007/978-3-319-23506-6
apa: Meyer, R., Platzer, A., & Wehrheim, H. (Eds.). (2015). Correct System
Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of
His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. https://doi.org/10.1007/978-3-319-23506-6
bibtex: '@book{Meyer_Platzer_Wehrheim_2015, series={Lecture Notes in Computer Science},
title={Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog
on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015.
Proceedings}, DOI={10.1007/978-3-319-23506-6},
year={2015}, collection={Lecture Notes in Computer Science} }'
chicago: Meyer, Roland, Andr{\’{e}} Platzer, and Heike Wehrheim, eds. Correct
System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion
of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings.
Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-23506-6.
ieee: R. Meyer, A. Platzer, and H. Wehrheim, Eds., Correct System Design - Symposium
in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday,
Oldenburg, Germany, September 8-9, 2015. Proceedings. 2015.
mla: Meyer, Roland, et al., editors. Correct System Design - Symposium in Honor
of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg,
Germany, September 8-9, 2015. Proceedings. 2015, doi:10.1007/978-3-319-23506-6.
short: R. Meyer, A. Platzer, H. Wehrheim, eds., Correct System Design - Symposium
in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday,
Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015.
date_created: 2018-06-13T07:54:06Z
date_updated: 2022-01-06T06:59:01Z
department:
- _id: '77'
doi: 10.1007/978-3-319-23506-6
editor:
- first_name: Roland
full_name: Meyer, Roland
last_name: Meyer
- first_name: Andr{\'{e}}
full_name: Platzer, Andr{\'{e}}
last_name: Platzer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
publication_identifier:
isbn:
- 978-3-319-23505-9
series_title: Lecture Notes in Computer Science
status: public
title: Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on
the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
type: conference_editor
user_id: '29719'
year: '2015'
...
---
_id: '317'
author:
- first_name: Claudius
full_name: Jähn, Claudius
last_name: Jähn
citation:
ama: Jähn C. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen.
Universität Paderborn; 2015.
apa: Jähn, C. (2015). Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen.
Universität Paderborn.
bibtex: '@book{Jähn_2015, title={Bewertung von Renderingalgorithmen für komplexe
3-D-Szenen}, publisher={Universität Paderborn}, author={Jähn, Claudius}, year={2015}
}'
chicago: Jähn, Claudius. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen.
Universität Paderborn, 2015.
ieee: C. Jähn, Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen.
Universität Paderborn, 2015.
mla: Jähn, Claudius. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen.
Universität Paderborn, 2015.
short: C. Jähn, Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen, Universität
Paderborn, 2015.
date_created: 2017-10-17T12:41:53Z
date_updated: 2022-01-06T06:59:02Z
ddc:
- '040'
department:
- _id: '63'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:20:34Z
date_updated: 2018-03-21T09:20:34Z
file_id: '1462'
file_name: 317-Dissertation_ClaudiusJaehn.pdf
file_size: 20442332
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:20:34Z
has_accepted_license: '1'
language:
- iso: ger
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
title: Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen
type: dissertation
user_id: '14052'
year: '2015'
...
---
_id: '318'
author:
- first_name: Zille
full_name: Huma, Zille
last_name: Huma
citation:
ama: Huma Z. Automatic Service Discovery and Composition for Heterogeneous Service
Partners. Universität Paderborn; 2015.
apa: Huma, Z. (2015). Automatic Service Discovery and Composition for heterogeneous
service partners. Universität Paderborn.
bibtex: '@book{Huma_2015, title={Automatic Service Discovery and Composition for
heterogeneous service partners}, publisher={Universität Paderborn}, author={Huma,
Zille}, year={2015} }'
chicago: Huma, Zille. Automatic Service Discovery and Composition for Heterogeneous
Service Partners. Universität Paderborn, 2015.
ieee: Z. Huma, Automatic Service Discovery and Composition for heterogeneous
service partners. Universität Paderborn, 2015.
mla: Huma, Zille. Automatic Service Discovery and Composition for Heterogeneous
Service Partners. Universität Paderborn, 2015.
short: Z. Huma, Automatic Service Discovery and Composition for Heterogeneous Service
Partners, Universität Paderborn, 2015.
date_created: 2017-10-17T12:41:54Z
date_updated: 2022-01-06T06:59:03Z
ddc:
- '040'
department:
- _id: '66'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:42:30Z
date_updated: 2018-03-20T07:42:30Z
file_id: '1435'
file_name: 318-Dissertation_-_Huma.pdf
file_size: 8011875
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:42:30Z
has_accepted_license: '1'
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
title: Automatic Service Discovery and Composition for heterogeneous service partners
type: dissertation
user_id: '477'
year: '2015'
...
---
_id: '319'
abstract:
- lang: eng
text: Services are self-contained and platform independent software components that
aim at maximizing software reuse. The automated composition of services to a target
software artifact has been tackled with many AI techniques, but existing approaches
make unreasonably strong assumptions such as a predefined data flow, are limited
to tiny problem sizes, ignore non-functional properties, or assume offline service
repositories. This paper presents an algorithm that automatically composes services
without making such assumptions. We employ a backward search algorithm that starts
from an empty composition and prepends service calls to already discovered candidates
until a solution is found. Available services are determined during the search
process. We implemented our algorithm, performed an experimental evaluation, and
compared it to other approaches.
author:
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Hans
full_name: Kleine Büning, Hans
last_name: Kleine Büning
citation:
ama: 'Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition.
In: Proceedings of the 12th IEEE International Conference on Services Computing
(SCC). ; 2015:57--64. doi:10.1109/SCC.2015.18'
apa: Mohr, F., Jungmann, A., & Kleine Büning, H. (2015). Automated Online Service
Composition. In Proceedings of the 12th IEEE International Conference on Services
Computing (SCC) (pp. 57--64). https://doi.org/10.1109/SCC.2015.18
bibtex: '@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online
Service Composition}, DOI={10.1109/SCC.2015.18},
booktitle={Proceedings of the 12th IEEE International Conference on Services Computing
(SCC)}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans},
year={2015}, pages={57--64} }'
chicago: Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online
Service Composition.” In Proceedings of the 12th IEEE International Conference
on Services Computing (SCC), 57--64, 2015. https://doi.org/10.1109/SCC.2015.18.
ieee: F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,”
in Proceedings of the 12th IEEE International Conference on Services Computing
(SCC), 2015, pp. 57--64.
mla: Mohr, Felix, et al. “Automated Online Service Composition.” Proceedings
of the 12th IEEE International Conference on Services Computing (SCC), 2015,
pp. 57--64, doi:10.1109/SCC.2015.18.
short: 'F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE
International Conference on Services Computing (SCC), 2015, pp. 57--64.'
date_created: 2017-10-17T12:41:54Z
date_updated: 2022-01-06T06:59:04Z
ddc:
- '040'
department:
- _id: '355'
doi: 10.1109/SCC.2015.18
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:42:03Z
date_updated: 2018-03-20T07:42:03Z
file_id: '1434'
file_name: 319-07207336.pdf
file_size: 345742
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:42:03Z
has_accepted_license: '1'
language:
- iso: eng
page: 57--64
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 12th IEEE International Conference on Services Computing
(SCC)
status: public
title: Automated Online Service Composition
type: conference
user_id: '477'
year: '2015'
...
---
_id: '270'
author:
- first_name: Sebastian
full_name: Abshoff, Sebastian
last_name: Abshoff
citation:
ama: Abshoff S. On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks.
Universität Paderborn; 2015.
apa: Abshoff, S. (2015). On the Complexity of Fundamental Problems in Dynamic
Ad-hoc Networks. Universität Paderborn.
bibtex: '@book{Abshoff_2015, title={On the Complexity of Fundamental Problems in
Dynamic Ad-hoc Networks}, publisher={Universität Paderborn}, author={Abshoff,
Sebastian}, year={2015} }'
chicago: Abshoff, Sebastian. On the Complexity of Fundamental Problems in Dynamic
Ad-Hoc Networks. Universität Paderborn, 2015.
ieee: S. Abshoff, On the Complexity of Fundamental Problems in Dynamic Ad-hoc
Networks. Universität Paderborn, 2015.
mla: Abshoff, Sebastian. On the Complexity of Fundamental Problems in Dynamic
Ad-Hoc Networks. Universität Paderborn, 2015.
short: S. Abshoff, On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks,
Universität Paderborn, 2015.
date_created: 2017-10-17T12:41:44Z
date_updated: 2022-01-06T06:57:32Z
ddc:
- '040'
department:
- _id: '63'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:30:02Z
date_updated: 2018-03-21T09:30:02Z
file_id: '1476'
file_name: 270-Dissertation_-_Abshoff.pdf
file_size: 448614
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:30:02Z
has_accepted_license: '1'
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
supervisor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
title: On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks
type: dissertation
user_id: '477'
year: '2015'
...
---
_id: '27012'
author:
- first_name: L.S.A.
full_name: Augustin, L.S.A.
last_name: Augustin
- first_name: C.W.C.
full_name: Kendall, C.W.C.
last_name: Kendall
- first_name: D.J.A.
full_name: Jenkins, D.J.A.
last_name: Jenkins
- first_name: W.C.
full_name: Willett, W.C.
last_name: Willett
- first_name: A.
full_name: Astrup, A.
last_name: Astrup
- first_name: A.W.
full_name: Barclay, A.W.
last_name: Barclay
- first_name: I.
full_name: Björck, I.
last_name: Björck
- first_name: J.C.
full_name: Brand-Miller, J.C.
last_name: Brand-Miller
- first_name: F.
full_name: Brighenti, F.
last_name: Brighenti
- first_name: Anette
full_name: Buyken, Anette
id: '65985'
last_name: Buyken
- first_name: A.
full_name: Ceriello, A.
last_name: Ceriello
- first_name: C.
full_name: La Vecchia, C.
last_name: La Vecchia
- first_name: G.
full_name: Livesey, G.
last_name: Livesey
- first_name: S.
full_name: Liu, S.
last_name: Liu
- first_name: G.
full_name: Riccardi, G.
last_name: Riccardi
- first_name: S.W.
full_name: Rizkalla, S.W.
last_name: Rizkalla
- first_name: J.L.
full_name: Sievenpiper, J.L.
last_name: Sievenpiper
- first_name: A.
full_name: Trichopoulou, A.
last_name: Trichopoulou
- first_name: T.M.S.
full_name: Wolever, T.M.S.
last_name: Wolever
- first_name: S.
full_name: Baer-Sinnott, S.
last_name: Baer-Sinnott
- first_name: A.
full_name: Poli, A.
last_name: Poli
citation:
ama: 'Augustin LSA, Kendall CWC, Jenkins DJA, et al. Glycemic index, glycemic load
and glycemic response: An International Scientific Consensus Summit from the International
Carbohydrate Quality Consortium (ICQC). Nutrition, Metabolism and Cardiovascular
Diseases. Published online 2015:795-815. doi:10.1016/j.numecd.2015.05.005'
apa: 'Augustin, L. S. A., Kendall, C. W. C., Jenkins, D. J. A., Willett, W. C.,
Astrup, A., Barclay, A. W., Björck, I., Brand-Miller, J. C., Brighenti, F., Buyken,
A., Ceriello, A., La Vecchia, C., Livesey, G., Liu, S., Riccardi, G., Rizkalla,
S. W., Sievenpiper, J. L., Trichopoulou, A., Wolever, T. M. S., … Poli, A. (2015).
Glycemic index, glycemic load and glycemic response: An International Scientific
Consensus Summit from the International Carbohydrate Quality Consortium (ICQC).
Nutrition, Metabolism and Cardiovascular Diseases, 795–815. https://doi.org/10.1016/j.numecd.2015.05.005'
bibtex: '@article{Augustin_Kendall_Jenkins_Willett_Astrup_Barclay_Björck_Brand-Miller_Brighenti_Buyken_et
al._2015, title={Glycemic index, glycemic load and glycemic response: An International
Scientific Consensus Summit from the International Carbohydrate Quality Consortium
(ICQC)}, DOI={10.1016/j.numecd.2015.05.005},
journal={Nutrition, Metabolism and Cardiovascular Diseases}, author={Augustin,
L.S.A. and Kendall, C.W.C. and Jenkins, D.J.A. and Willett, W.C. and Astrup, A.
and Barclay, A.W. and Björck, I. and Brand-Miller, J.C. and Brighenti, F. and
Buyken, Anette and et al.}, year={2015}, pages={795–815} }'
chicago: 'Augustin, L.S.A., C.W.C. Kendall, D.J.A. Jenkins, W.C. Willett, A. Astrup,
A.W. Barclay, I. Björck, et al. “Glycemic Index, Glycemic Load and Glycemic Response:
An International Scientific Consensus Summit from the International Carbohydrate
Quality Consortium (ICQC).” Nutrition, Metabolism and Cardiovascular Diseases,
2015, 795–815. https://doi.org/10.1016/j.numecd.2015.05.005.'
ieee: 'L. S. A. Augustin et al., “Glycemic index, glycemic load and glycemic
response: An International Scientific Consensus Summit from the International
Carbohydrate Quality Consortium (ICQC),” Nutrition, Metabolism and Cardiovascular
Diseases, pp. 795–815, 2015, doi: 10.1016/j.numecd.2015.05.005.'
mla: 'Augustin, L. S. A., et al. “Glycemic Index, Glycemic Load and Glycemic Response:
An International Scientific Consensus Summit from the International Carbohydrate
Quality Consortium (ICQC).” Nutrition, Metabolism and Cardiovascular Diseases,
2015, pp. 795–815, doi:10.1016/j.numecd.2015.05.005.'
short: L.S.A. Augustin, C.W.C. Kendall, D.J.A. Jenkins, W.C. Willett, A. Astrup,
A.W. Barclay, I. Björck, J.C. Brand-Miller, F. Brighenti, A. Buyken, A. Ceriello,
C. La Vecchia, G. Livesey, S. Liu, G. Riccardi, S.W. Rizkalla, J.L. Sievenpiper,
A. Trichopoulou, T.M.S. Wolever, S. Baer-Sinnott, A. Poli, Nutrition, Metabolism
and Cardiovascular Diseases (2015) 795–815.
date_created: 2021-10-29T13:55:28Z
date_updated: 2022-01-06T06:57:32Z
department:
- _id: '17'
- _id: '22'
- _id: '571'
doi: 10.1016/j.numecd.2015.05.005
language:
- iso: eng
page: 795-815
publication: Nutrition, Metabolism and Cardiovascular Diseases
publication_identifier:
issn:
- 0939-4753
publication_status: published
status: public
title: 'Glycemic index, glycemic load and glycemic response: An International Scientific
Consensus Summit from the International Carbohydrate Quality Consortium (ICQC)'
type: journal_article
user_id: '61597'
year: '2015'
...
---
_id: '2702'
author:
- first_name: Marc
full_name: Beutner, Marc
last_name: Beutner
- first_name: Dennis
full_name: Kundisch, Dennis
id: '21117'
last_name: Kundisch
- first_name: J.
full_name: Magenheim, J.
last_name: Magenheim
- first_name: R.
full_name: Rechuel, R.
last_name: Rechuel
citation:
ama: 'Beutner M, Kundisch D, Magenheim J, Rechuel R. DUC - Fostering Diversity Aspects
in Higher Education by eLearning and User generated Content. In: Proceedings
of E-LEARN 2015 - World Conference on E-Learning. ; 2015.'
apa: Beutner, M., Kundisch, D., Magenheim, J., & Rechuel, R. (2015). DUC - Fostering
Diversity Aspects in Higher Education by eLearning and User generated Content.
In Proceedings of E-LEARN 2015 - World Conference on E-Learning. Kona,
USA.
bibtex: '@inproceedings{Beutner_Kundisch_Magenheim_Rechuel_2015, title={DUC - Fostering
Diversity Aspects in Higher Education by eLearning and User generated Content},
booktitle={Proceedings of E-LEARN 2015 - World Conference on E-Learning}, author={Beutner,
Marc and Kundisch, Dennis and Magenheim, J. and Rechuel, R.}, year={2015} }'
chicago: Beutner, Marc, Dennis Kundisch, J. Magenheim, and R. Rechuel. “DUC - Fostering
Diversity Aspects in Higher Education by ELearning and User Generated Content.”
In Proceedings of E-LEARN 2015 - World Conference on E-Learning, 2015.
ieee: M. Beutner, D. Kundisch, J. Magenheim, and R. Rechuel, “DUC - Fostering Diversity
Aspects in Higher Education by eLearning and User generated Content,” in Proceedings
of E-LEARN 2015 - World Conference on E-Learning, Kona, USA, 2015.
mla: Beutner, Marc, et al. “DUC - Fostering Diversity Aspects in Higher Education
by ELearning and User Generated Content.” Proceedings of E-LEARN 2015 - World
Conference on E-Learning, 2015.
short: 'M. Beutner, D. Kundisch, J. Magenheim, R. Rechuel, in: Proceedings of E-LEARN
2015 - World Conference on E-Learning, 2015.'
conference:
location: Kona, USA
name: E-LEARN 2015 - World Conference on E-Learning
date_created: 2018-05-08T13:08:33Z
date_updated: 2022-01-06T06:57:32Z
department:
- _id: '276'
language:
- iso: eng
publication: Proceedings of E-LEARN 2015 - World Conference on E-Learning
publication_status: published
status: public
title: DUC - Fostering Diversity Aspects in Higher Education by eLearning and User
generated Content
type: conference
user_id: '16205'
year: '2015'
...
---
_id: '2703'
author:
- first_name: Tobias
full_name: Mutter, Tobias
last_name: Mutter
- first_name: Dennis
full_name: Kundisch, Dennis
id: '21117'
last_name: Kundisch
citation:
ama: 'Mutter T, Kundisch D. Behavioral Mechanisms Prompted by Virtual Rewards: The
Small-Area Hypothesis. In: Proceedings of the 23rd European Conference on Information
Systems (ECIS). ; 2015.'
apa: 'Mutter, T., & Kundisch, D. (2015). Behavioral Mechanisms Prompted by Virtual
Rewards: The Small-Area Hypothesis. In Proceedings of the 23rd European Conference
on Information Systems (ECIS). Münster, Germany.'
bibtex: '@inproceedings{Mutter_Kundisch_2015, title={Behavioral Mechanisms Prompted
by Virtual Rewards: The Small-Area Hypothesis}, booktitle={Proceedings of the
23rd European Conference on Information Systems (ECIS)}, author={Mutter, Tobias
and Kundisch, Dennis}, year={2015} }'
chicago: 'Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by
Virtual Rewards: The Small-Area Hypothesis.” In Proceedings of the 23rd European
Conference on Information Systems (ECIS), 2015.'
ieee: 'T. Mutter and D. Kundisch, “Behavioral Mechanisms Prompted by Virtual Rewards:
The Small-Area Hypothesis,” in Proceedings of the 23rd European Conference
on Information Systems (ECIS), Münster, Germany, 2015.'
mla: 'Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by Virtual
Rewards: The Small-Area Hypothesis.” Proceedings of the 23rd European Conference
on Information Systems (ECIS), 2015.'
short: 'T. Mutter, D. Kundisch, in: Proceedings of the 23rd European Conference
on Information Systems (ECIS), 2015.'
conference:
location: Münster, Germany
name: 23rd European Conference on Information Systems (ECIS)
date_created: 2018-05-08T13:15:00Z
date_updated: 2022-01-06T06:57:32Z
department:
- _id: '276'
language:
- iso: eng
publication: Proceedings of the 23rd European Conference on Information Systems (ECIS)
publication_status: published
status: public
title: 'Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis'
type: conference
user_id: '16205'
year: '2015'
...
---
_id: '27039'
author:
- first_name: Lars
full_name: Libuda, Lars
id: '88682'
last_name: Libuda
orcid: 0000-0003-1603-3133
- first_name: Christina M.
full_name: Mesch, Christina M.
last_name: Mesch
- first_name: Madlen
full_name: Stimming, Madlen
last_name: Stimming
- first_name: Hans
full_name: Demmelmair, Hans
last_name: Demmelmair
- first_name: Berthold
full_name: Koletzko, Berthold
last_name: Koletzko
- first_name: Petra
full_name: Warschburger, Petra
last_name: Warschburger
- first_name: Katharina
full_name: Blanke, Katharina
last_name: Blanke
- first_name: Eva
full_name: Reischl, Eva
last_name: Reischl
- first_name: Hermann
full_name: Kalhoff, Hermann
last_name: Kalhoff
- first_name: Mathilde
full_name: Kersting, Mathilde
last_name: Kersting
citation:
ama: 'Libuda L, Mesch CM, Stimming M, et al. Fatty acid supply with complementary
foods and LC-PUFA status in healthy infants: results of a randomised controlled
trial. European Journal of Nutrition. Published online 2015:1633-1644.
doi:10.1007/s00394-015-0982-2'
apa: 'Libuda, L., Mesch, C. M., Stimming, M., Demmelmair, H., Koletzko, B., Warschburger,
P., Blanke, K., Reischl, E., Kalhoff, H., & Kersting, M. (2015). Fatty acid
supply with complementary foods and LC-PUFA status in healthy infants: results
of a randomised controlled trial. European Journal of Nutrition, 1633–1644.
https://doi.org/10.1007/s00394-015-0982-2'
bibtex: '@article{Libuda_Mesch_Stimming_Demmelmair_Koletzko_Warschburger_Blanke_Reischl_Kalhoff_Kersting_2015,
title={Fatty acid supply with complementary foods and LC-PUFA status in healthy
infants: results of a randomised controlled trial}, DOI={10.1007/s00394-015-0982-2},
journal={European Journal of Nutrition}, author={Libuda, Lars and Mesch, Christina
M. and Stimming, Madlen and Demmelmair, Hans and Koletzko, Berthold and Warschburger,
Petra and Blanke, Katharina and Reischl, Eva and Kalhoff, Hermann and Kersting,
Mathilde}, year={2015}, pages={1633–1644} }'
chicago: 'Libuda, Lars, Christina M. Mesch, Madlen Stimming, Hans Demmelmair, Berthold
Koletzko, Petra Warschburger, Katharina Blanke, Eva Reischl, Hermann Kalhoff,
and Mathilde Kersting. “Fatty Acid Supply with Complementary Foods and LC-PUFA
Status in Healthy Infants: Results of a Randomised Controlled Trial.” European
Journal of Nutrition, 2015, 1633–44. https://doi.org/10.1007/s00394-015-0982-2.'
ieee: 'L. Libuda et al., “Fatty acid supply with complementary foods and
LC-PUFA status in healthy infants: results of a randomised controlled trial,”
European Journal of Nutrition, pp. 1633–1644, 2015, doi: 10.1007/s00394-015-0982-2.'
mla: 'Libuda, Lars, et al. “Fatty Acid Supply with Complementary Foods and LC-PUFA
Status in Healthy Infants: Results of a Randomised Controlled Trial.” European
Journal of Nutrition, 2015, pp. 1633–44, doi:10.1007/s00394-015-0982-2.'
short: L. Libuda, C.M. Mesch, M. Stimming, H. Demmelmair, B. Koletzko, P. Warschburger,
K. Blanke, E. Reischl, H. Kalhoff, M. Kersting, European Journal of Nutrition
(2015) 1633–1644.
date_created: 2021-11-01T20:08:17Z
date_updated: 2022-01-06T06:57:32Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1007/s00394-015-0982-2
language:
- iso: eng
page: 1633-1644
publication: European Journal of Nutrition
publication_identifier:
issn:
- 1436-6207
- 1436-6215
publication_status: published
status: public
title: 'Fatty acid supply with complementary foods and LC-PUFA status in healthy infants:
results of a randomised controlled trial'
type: journal_article
user_id: '49428'
year: '2015'
...
---
_id: '27040'
author:
- first_name: Maike
full_name: Schröder, Maike
last_name: Schröder
- first_name: Katrin
full_name: Müller, Katrin
last_name: Müller
- first_name: Michael
full_name: Falkenstein, Michael
last_name: Falkenstein
- first_name: Peter
full_name: Stehle, Peter
last_name: Stehle
- first_name: Mathilde
full_name: Kersting, Mathilde
last_name: Kersting
- first_name: Lars
full_name: Libuda, Lars
id: '88682'
last_name: Libuda
orcid: 0000-0003-1603-3133
citation:
ama: 'Schröder M, Müller K, Falkenstein M, Stehle P, Kersting M, Libuda L. Short-term
effects of lunch on children’s executive cognitive functioning: The randomized
crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS). Physiology
& Behavior. Published online 2015:307-314. doi:10.1016/j.physbeh.2015.09.025'
apa: 'Schröder, M., Müller, K., Falkenstein, M., Stehle, P., Kersting, M., &
Libuda, L. (2015). Short-term effects of lunch on children’s executive cognitive
functioning: The randomized crossover Cognition Intervention Study Dortmund PLUS
(CogniDo PLUS). Physiology & Behavior, 307–314. https://doi.org/10.1016/j.physbeh.2015.09.025'
bibtex: '@article{Schröder_Müller_Falkenstein_Stehle_Kersting_Libuda_2015, title={Short-term
effects of lunch on children’s executive cognitive functioning: The randomized
crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS)}, DOI={10.1016/j.physbeh.2015.09.025},
journal={Physiology & Behavior}, author={Schröder, Maike and Müller, Katrin
and Falkenstein, Michael and Stehle, Peter and Kersting, Mathilde and Libuda,
Lars}, year={2015}, pages={307–314} }'
chicago: 'Schröder, Maike, Katrin Müller, Michael Falkenstein, Peter Stehle, Mathilde
Kersting, and Lars Libuda. “Short-Term Effects of Lunch on Children’s Executive
Cognitive Functioning: The Randomized Crossover Cognition Intervention Study Dortmund
PLUS (CogniDo PLUS).” Physiology & Behavior, 2015, 307–14. https://doi.org/10.1016/j.physbeh.2015.09.025.'
ieee: 'M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, and L. Libuda,
“Short-term effects of lunch on children’s executive cognitive functioning: The
randomized crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS),”
Physiology & Behavior, pp. 307–314, 2015, doi: 10.1016/j.physbeh.2015.09.025.'
mla: 'Schröder, Maike, et al. “Short-Term Effects of Lunch on Children’s Executive
Cognitive Functioning: The Randomized Crossover Cognition Intervention Study Dortmund
PLUS (CogniDo PLUS).” Physiology & Behavior, 2015, pp. 307–14, doi:10.1016/j.physbeh.2015.09.025.'
short: M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, L. Libuda,
Physiology & Behavior (2015) 307–314.
date_created: 2021-11-01T20:10:31Z
date_updated: 2022-01-06T06:57:32Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1016/j.physbeh.2015.09.025
language:
- iso: eng
page: 307-314
publication: Physiology & Behavior
publication_identifier:
issn:
- 0031-9384
publication_status: published
status: public
title: 'Short-term effects of lunch on children''s executive cognitive functioning:
The randomized crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS)'
type: journal_article
user_id: '49428'
year: '2015'
...
---
_id: '2705'
author:
- first_name: M.
full_name: Müller, M.
last_name: Müller
- first_name: Christian
full_name: Meier, Christian
last_name: Meier
- first_name: Dennis
full_name: Kundisch, Dennis
id: '21117'
last_name: Kundisch
- first_name: Steffen
full_name: Zimmermann, Steffen
last_name: Zimmermann
citation:
ama: 'Müller M, Meier C, Kundisch D, Zimmermann S. Interactions in IS Project Portfolio
Selection: Status Quo and Perspective. In: Wirtschaftsinformatik Proceedings.
; 2015.'
apa: 'Müller, M., Meier, C., Kundisch, D., & Zimmermann, S. (2015). Interactions
in IS Project Portfolio Selection: Status Quo and Perspective. In Wirtschaftsinformatik
Proceedings. Osnabrück.'
bibtex: '@inproceedings{Müller_Meier_Kundisch_Zimmermann_2015, title={Interactions
in IS Project Portfolio Selection: Status Quo and Perspective}, booktitle={Wirtschaftsinformatik
Proceedings}, author={Müller, M. and Meier, Christian and Kundisch, Dennis and
Zimmermann, Steffen}, year={2015} }'
chicago: 'Müller, M., Christian Meier, Dennis Kundisch, and Steffen Zimmermann.
“Interactions in IS Project Portfolio Selection: Status Quo and Perspective.”
In Wirtschaftsinformatik Proceedings, 2015.'
ieee: 'M. Müller, C. Meier, D. Kundisch, and S. Zimmermann, “Interactions in IS
Project Portfolio Selection: Status Quo and Perspective,” in Wirtschaftsinformatik
Proceedings, Osnabrück, 2015.'
mla: 'Müller, M., et al. “Interactions in IS Project Portfolio Selection: Status
Quo and Perspective.” Wirtschaftsinformatik Proceedings, 2015.'
short: 'M. Müller, C. Meier, D. Kundisch, S. Zimmermann, in: Wirtschaftsinformatik
Proceedings, 2015.'
conference:
location: Osnabrück
name: Wirtschaftsinformatik Proceedings
date_created: 2018-05-08T14:05:23Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '276'
language:
- iso: eng
publication: Wirtschaftsinformatik Proceedings
publication_status: published
status: public
title: 'Interactions in IS Project Portfolio Selection: Status Quo and Perspective'
type: conference
user_id: '16205'
year: '2015'
...
---
_id: '2706'
author:
- first_name: Thomas
full_name: John, Thomas
id: '3952'
last_name: John
- first_name: Dennis
full_name: Kundisch, Dennis
id: '21117'
last_name: Kundisch
citation:
ama: 'John T, Kundisch D. Creativity Through Cognitive Fit: Theory and Preliminary
Evidence in a Business Model Idea Generation Context. In: Wirtschaftsinformatik
Proceedings. ; 2015.'
apa: 'John, T., & Kundisch, D. (2015). Creativity Through Cognitive Fit: Theory
and Preliminary Evidence in a Business Model Idea Generation Context. In Wirtschaftsinformatik
Proceedings. Osnabrück.'
bibtex: '@inproceedings{John_Kundisch_2015, title={Creativity Through Cognitive
Fit: Theory and Preliminary Evidence in a Business Model Idea Generation Context},
booktitle={Wirtschaftsinformatik Proceedings}, author={John, Thomas and Kundisch,
Dennis}, year={2015} }'
chicago: 'John, Thomas, and Dennis Kundisch. “Creativity Through Cognitive Fit:
Theory and Preliminary Evidence in a Business Model Idea Generation Context.”
In Wirtschaftsinformatik Proceedings, 2015.'
ieee: 'T. John and D. Kundisch, “Creativity Through Cognitive Fit: Theory and Preliminary
Evidence in a Business Model Idea Generation Context,” in Wirtschaftsinformatik
Proceedings, Osnabrück, 2015.'
mla: 'John, Thomas, and Dennis Kundisch. “Creativity Through Cognitive Fit: Theory
and Preliminary Evidence in a Business Model Idea Generation Context.” Wirtschaftsinformatik
Proceedings, 2015.'
short: 'T. John, D. Kundisch, in: Wirtschaftsinformatik Proceedings, 2015.'
conference:
location: Osnabrück
name: Wirtschaftsinformatik Proceedings
date_created: 2018-05-08T14:33:23Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '276'
language:
- iso: eng
publication: Wirtschaftsinformatik Proceedings
publication_status: published
status: public
title: 'Creativity Through Cognitive Fit: Theory and Preliminary Evidence in a Business
Model Idea Generation Context'
type: conference
user_id: '16205'
year: '2015'
...
---
_id: '271'
abstract:
- lang: eng
text: In \emph{bandwidth allocation games} (BAGs), the strategy of a player consists
of various demands on different resources. The player's utility is at most the
sum of these demands, provided they are fully satisfied. Every resource has a
limited capacity and if it is exceeded by the total demand, it has to be split
between the players. Since these games generally do not have pure Nash equilibria,
we consider approximate pure Nash equilibria, in which no player can improve her
utility by more than some fixed factor $\alpha$ through unilateral strategy changes.
There is a threshold $\alpha_\delta$ (where $\delta$ is a parameter that limits
the demand of each player on a specific resource) such that $\alpha$-approximate
pure Nash equilibria always exist for $\alpha \geq \alpha_\delta$, but not for
$\alpha < \alpha_\delta$. We give both upper and lower bounds on this threshold
$\alpha_\delta$ and show that the corresponding decision problem is ${\sf NP}$-hard.
We also show that the $\alpha$-approximate price of anarchy for BAGs is $\alpha+1$.
For a restricted version of the game, where demands of players only differ slightly
from each other (e.g. symmetric games), we show that approximate Nash equilibria
can be reached (and thus also be computed) in polynomial time using the best-response
dynamic. Finally, we show that a broader class of utility-maximization games (which
includes BAGs) converges quickly towards states whose social welfare is close
to the optimum.
author:
- first_name: Maximilian
full_name: Drees, Maximilian
last_name: Drees
- first_name: Matthias
full_name: Feldotto, Matthias
id: '14052'
last_name: Feldotto
orcid: 0000-0003-1348-6516
- first_name: Sören
full_name: Riechers, Sören
last_name: Riechers
- first_name: Alexander
full_name: Skopalik, Alexander
id: '40384'
last_name: Skopalik
citation:
ama: 'Drees M, Feldotto M, Riechers S, Skopalik A. On Existence and Properties of
Approximate Pure Nash Equilibria in Bandwidth Allocation Games. In: Proceedings
of the 8th International Symposium on Algorithmic Game Theory (SAGT). Lecture
Notes in Computer Science. ; 2015:178-189. doi:10.1007/978-3-662-48433-3_14'
apa: Drees, M., Feldotto, M., Riechers, S., & Skopalik, A. (2015). On Existence
and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games.
In Proceedings of the 8th International Symposium on Algorithmic Game Theory
(SAGT) (pp. 178–189). https://doi.org/10.1007/978-3-662-48433-3_14
bibtex: '@inproceedings{Drees_Feldotto_Riechers_Skopalik_2015, series={Lecture Notes
in Computer Science}, title={On Existence and Properties of Approximate Pure Nash
Equilibria in Bandwidth Allocation Games}, DOI={10.1007/978-3-662-48433-3_14},
booktitle={Proceedings of the 8th International Symposium on Algorithmic Game
Theory (SAGT)}, author={Drees, Maximilian and Feldotto, Matthias and Riechers,
Sören and Skopalik, Alexander}, year={2015}, pages={178–189}, collection={Lecture
Notes in Computer Science} }'
chicago: Drees, Maximilian, Matthias Feldotto, Sören Riechers, and Alexander Skopalik.
“On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth
Allocation Games.” In Proceedings of the 8th International Symposium on Algorithmic
Game Theory (SAGT), 178–89. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-662-48433-3_14.
ieee: M. Drees, M. Feldotto, S. Riechers, and A. Skopalik, “On Existence and Properties
of Approximate Pure Nash Equilibria in Bandwidth Allocation Games,” in Proceedings
of the 8th International Symposium on Algorithmic Game Theory (SAGT), 2015,
pp. 178–189.
mla: Drees, Maximilian, et al. “On Existence and Properties of Approximate Pure
Nash Equilibria in Bandwidth Allocation Games.” Proceedings of the 8th International
Symposium on Algorithmic Game Theory (SAGT), 2015, pp. 178–89, doi:10.1007/978-3-662-48433-3_14.
short: 'M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in: Proceedings of the
8th International Symposium on Algorithmic Game Theory (SAGT), 2015, pp. 178–189.'
date_created: 2017-10-17T12:41:45Z
date_updated: 2022-01-06T06:57:34Z
ddc:
- '040'
department:
- _id: '63'
- _id: '541'
doi: 10.1007/978-3-662-48433-3_14
external_id:
arxiv:
- '1507.02908'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:29:34Z
date_updated: 2018-03-21T09:29:34Z
file_id: '1475'
file_name: 271-chp_3A10.1007_2F978-3-662-48433-3_14.pdf
file_size: 256718
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:29:34Z
has_accepted_license: '1'
page: 178-189
project:
- _id: '1'
name: SFB 901
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '16'
name: SFB 901 - Subproject C4
- _id: '2'
name: SFB 901 - Project Area A
- _id: '4'
name: SFB 901 - Project Area C
publication: Proceedings of the 8th International Symposium on Algorithmic Game Theory
(SAGT)
series_title: Lecture Notes in Computer Science
status: public
title: On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth
Allocation Games
type: conference
user_id: '14052'
year: '2015'
...
---
_id: '27120'
author:
- first_name: Isabel
full_name: Steinhardt, Isabel
id: '90339'
last_name: Steinhardt
orcid: https://orcid.org/0000-0002-2590-6189
citation:
ama: 'Steinhardt I. Lehre Stärkt Forschung: Studiengangentwicklung Durch ProfessorInnen
Im Handlungssystem Universität.; 2015.'
apa: 'Steinhardt, I. (2015). Lehre stärkt Forschung: Studiengangentwicklung durch
ProfessorInnen im Handlungssystem Universität.'
bibtex: '@book{Steinhardt_2015, title={Lehre stärkt Forschung: Studiengangentwicklung
durch ProfessorInnen im Handlungssystem Universität}, author={Steinhardt, Isabel},
year={2015} }'
chicago: 'Steinhardt, Isabel. Lehre Stärkt Forschung: Studiengangentwicklung
Durch ProfessorInnen Im Handlungssystem Universität, 2015.'
ieee: 'I. Steinhardt, Lehre stärkt Forschung: Studiengangentwicklung durch ProfessorInnen
im Handlungssystem Universität. 2015.'
mla: 'Steinhardt, Isabel. Lehre Stärkt Forschung: Studiengangentwicklung Durch
ProfessorInnen Im Handlungssystem Universität. 2015.'
short: 'I. Steinhardt, Lehre Stärkt Forschung: Studiengangentwicklung Durch ProfessorInnen
Im Handlungssystem Universität, 2015.'
date_created: 2021-11-03T13:14:48Z
date_updated: 2022-01-06T06:57:35Z
extern: '1'
language:
- iso: eng
publication_identifier:
isbn:
- 978-3-658-08858-3
status: public
title: 'Lehre stärkt Forschung: Studiengangentwicklung durch ProfessorInnen im Handlungssystem
Universität'
type: book
user_id: '90339'
year: '2015'
...
---
_id: '27163'
author:
- first_name: ' Reinhard '
full_name: 'Keil, Reinhard '
last_name: Keil
- first_name: Harald
full_name: Selke, Harald
id: '497'
last_name: Selke
citation:
ama: 'Keil Reinhard , Selke H. Virtual knowledge {\ “a} ume - From the presentation
of content to virtual learning {\” a} tten. In: Keil R, Selke Harald, eds. Vol
330. publishing series of the Heinz Nixdorf Institute, Paderborn; 2015:39-53.'
apa: Keil, Reinhard , & Selke, H. (2015). Virtual knowledge {\ “a} ume -
From the presentation of content to virtual learning {\” a} tten (R. Keil
& Harald Selke, Eds.; Vol. 330, pp. 39–53). publishing series of the Heinz
Nixdorf Institute, Paderborn.
bibtex: '@inproceedings{Keil_Selke_2015, title={Virtual knowledge {\ “a} ume - From
the presentation of content to virtual learning {\” a} tten}, volume={330}, publisher={publishing
series of the Heinz Nixdorf Institute, Paderborn}, author={Keil, Reinhard and
Selke, Harald}, editor={Keil, Reinhard and Selke, Harald}, year={2015}, pages={39–53}
}'
chicago: Keil, Reinhard , and Harald Selke. “Virtual Knowledge {\ ‘A} Ume - From
the Presentation of Content to Virtual Learning {\’ A} Tten.” edited by Reinhard Keil
and Harald Selke, 330:39–53. publishing series of the Heinz Nixdorf Institute,
Paderborn, 2015.
ieee: Reinhard Keil and H. Selke, “Virtual knowledge {\ ‘a} ume - From the presentation
of content to virtual learning {\’ a} tten,” 2015, vol. 330, pp. 39–53.
mla: Keil, Reinhard , and Harald Selke. Virtual Knowledge {\ “A} Ume - From
the Presentation of Content to Virtual Learning {\” A} Tten. Edited by Reinhard Keil
and Harald Selke, vol. 330, publishing series of the Heinz Nixdorf Institute,
Paderborn, 2015, pp. 39–53.
short: 'Reinhard Keil, H. Selke, in: R. Keil, Harald Selke (Eds.), publishing
series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 39–53.'
date_created: 2021-11-05T22:48:51Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '71'
editor:
- first_name: 'Reinhard '
full_name: 'Keil, Reinhard '
last_name: Keil
- first_name: ' Harald'
full_name: Selke, Harald
last_name: Selke
intvolume: ' 330'
language:
- iso: eng
page: 39-53
publication_status: published
publisher: publishing series of the Heinz Nixdorf Institute, Paderborn
status: public
title: Virtual knowledge {\ "a} ume - From the presentation of content to virtual
learning {\" a} tten
type: conference
user_id: '71124'
volume: 330
year: '2015'
...