---
_id: '3121'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Jörg
full_name: Schwenk, Jörg
last_name: Schwenk
- first_name: Juraj
full_name: Somorovsky, Juraj
last_name: Somorovsky
citation:
ama: 'Jager T, Schwenk J, Somorovsky J. On the Security of TLS 1.3 and QUIC Against
Weaknesses in PKCS#1 v1.5 Encryption. In: Proceedings of the 22nd ACM SIGSAC
Conference on Computer and Communications Security, Denver, CO, USA, October 12-16,
2015. ; 2015:1185--1196. doi:10.1145/2810103.2813657'
apa: Jager, T., Schwenk, J., & Somorovsky, J. (2015). On the Security of TLS
1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption. In Proceedings of
the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver,
CO, USA, October 12-16, 2015 (pp. 1185--1196). https://doi.org/10.1145/2810103.2813657
bibtex: '@inproceedings{Jager_Schwenk_Somorovsky_2015, title={On the Security of
TLS 1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption}, DOI={10.1145/2810103.2813657},
booktitle={Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications
Security, Denver, CO, USA, October 12-16, 2015}, author={Jager, Tibor and Schwenk,
Jörg and Somorovsky, Juraj}, year={2015}, pages={1185--1196} }'
chicago: Jager, Tibor, Jörg Schwenk, and Juraj Somorovsky. “On the Security of TLS
1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption.” In Proceedings
of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver,
CO, USA, October 12-16, 2015, 1185--1196, 2015. https://doi.org/10.1145/2810103.2813657.
ieee: T. Jager, J. Schwenk, and J. Somorovsky, “On the Security of TLS 1.3 and QUIC
Against Weaknesses in PKCS#1 v1.5 Encryption,” in Proceedings of the 22nd ACM
SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October
12-16, 2015, 2015, pp. 1185--1196.
mla: Jager, Tibor, et al. “On the Security of TLS 1.3 and QUIC Against Weaknesses
in PKCS#1 v1.5 Encryption.” Proceedings of the 22nd ACM SIGSAC Conference on
Computer and Communications Security, Denver, CO, USA, October 12-16, 2015,
2015, pp. 1185--1196, doi:10.1145/2810103.2813657.
short: 'T. Jager, J. Schwenk, J. Somorovsky, in: Proceedings of the 22nd ACM SIGSAC
Conference on Computer and Communications Security, Denver, CO, USA, October 12-16,
2015, 2015, pp. 1185--1196.'
date_created: 2018-06-07T09:17:47Z
date_updated: 2022-01-06T06:58:57Z
department:
- _id: '558'
doi: 10.1145/2810103.2813657
extern: '1'
page: 1185--1196
publication: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications
Security, Denver, CO, USA, October 12-16, 2015
status: public
title: On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption
type: conference
user_id: '38235'
year: '2015'
...
---
_id: '3122'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Jörg
full_name: Schwenk, Jörg
last_name: Schwenk
- first_name: Juraj
full_name: Somorovsky, Juraj
last_name: Somorovsky
citation:
ama: 'Jager T, Schwenk J, Somorovsky J. Practical Invalid Curve Attacks on TLS-ECDH.
In: Computer Security - ESORICS 2015 - 20th European Symposium on Research
in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part
I. ; 2015:407--425. doi:10.1007/978-3-319-24174-6_21'
apa: Jager, T., Schwenk, J., & Somorovsky, J. (2015). Practical Invalid Curve
Attacks on TLS-ECDH. In Computer Security - ESORICS 2015 - 20th European Symposium
on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings,
Part I (pp. 407--425). https://doi.org/10.1007/978-3-319-24174-6_21
bibtex: '@inproceedings{Jager_Schwenk_Somorovsky_2015, title={Practical Invalid
Curve Attacks on TLS-ECDH}, DOI={10.1007/978-3-319-24174-6_21},
booktitle={Computer Security - ESORICS 2015 - 20th European Symposium on Research
in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part
I}, author={Jager, Tibor and Schwenk, Jörg and Somorovsky, Juraj}, year={2015},
pages={407--425} }'
chicago: Jager, Tibor, Jörg Schwenk, and Juraj Somorovsky. “Practical Invalid Curve
Attacks on TLS-ECDH.” In Computer Security - ESORICS 2015 - 20th European Symposium
on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings,
Part I, 407--425, 2015. https://doi.org/10.1007/978-3-319-24174-6_21.
ieee: T. Jager, J. Schwenk, and J. Somorovsky, “Practical Invalid Curve Attacks
on TLS-ECDH,” in Computer Security - ESORICS 2015 - 20th European Symposium
on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings,
Part I, 2015, pp. 407--425.
mla: Jager, Tibor, et al. “Practical Invalid Curve Attacks on TLS-ECDH.” Computer
Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security,
Vienna, Austria, September 21-25, 2015, Proceedings, Part I, 2015, pp. 407--425,
doi:10.1007/978-3-319-24174-6_21.
short: 'T. Jager, J. Schwenk, J. Somorovsky, in: Computer Security - ESORICS 2015
- 20th European Symposium on Research in Computer Security, Vienna, Austria, September
21-25, 2015, Proceedings, Part I, 2015, pp. 407--425.'
date_created: 2018-06-07T09:18:33Z
date_updated: 2022-01-06T06:58:57Z
department:
- _id: '558'
doi: 10.1007/978-3-319-24174-6_21
extern: '1'
page: 407--425
publication: Computer Security - ESORICS 2015 - 20th European Symposium on Research
in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part
I
status: public
title: Practical Invalid Curve Attacks on TLS-ECDH
type: conference
user_id: '38235'
year: '2015'
...
---
_id: '3123'
author:
- first_name: Felix
full_name: Heuer, Felix
last_name: Heuer
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Eike
full_name: Kiltz, Eike
last_name: Kiltz
- first_name: Sven
full_name: Schäge, Sven
last_name: Schäge
citation:
ama: 'Heuer F, Jager T, Kiltz E, Schäge S. On the Selective Opening Security of
Practical Public-Key Encryption Schemes. In: Public-Key Cryptography - PKC
2015 - 18th IACR International Conference on Practice and Theory in Public-Key
Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings.
; 2015:27--51. doi:10.1007/978-3-662-46447-2_2'
apa: Heuer, F., Jager, T., Kiltz, E., & Schäge, S. (2015). On the Selective
Opening Security of Practical Public-Key Encryption Schemes. In Public-Key
Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory
in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings
(pp. 27--51). https://doi.org/10.1007/978-3-662-46447-2_2
bibtex: '@inproceedings{Heuer_Jager_Kiltz_Schäge_2015, title={On the Selective Opening
Security of Practical Public-Key Encryption Schemes}, DOI={10.1007/978-3-662-46447-2_2},
booktitle={Public-Key Cryptography - PKC 2015 - 18th IACR International Conference
on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March
30 - April 1, 2015, Proceedings}, author={Heuer, Felix and Jager, Tibor and Kiltz,
Eike and Schäge, Sven}, year={2015}, pages={27--51} }'
chicago: Heuer, Felix, Tibor Jager, Eike Kiltz, and Sven Schäge. “On the Selective
Opening Security of Practical Public-Key Encryption Schemes.” In Public-Key
Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory
in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings,
27--51, 2015. https://doi.org/10.1007/978-3-662-46447-2_2.
ieee: F. Heuer, T. Jager, E. Kiltz, and S. Schäge, “On the Selective Opening Security
of Practical Public-Key Encryption Schemes,” in Public-Key Cryptography - PKC
2015 - 18th IACR International Conference on Practice and Theory in Public-Key
Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings,
2015, pp. 27--51.
mla: Heuer, Felix, et al. “On the Selective Opening Security of Practical Public-Key
Encryption Schemes.” Public-Key Cryptography - PKC 2015 - 18th IACR International
Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD,
USA, March 30 - April 1, 2015, Proceedings, 2015, pp. 27--51, doi:10.1007/978-3-662-46447-2_2.
short: 'F. Heuer, T. Jager, E. Kiltz, S. Schäge, in: Public-Key Cryptography - PKC
2015 - 18th IACR International Conference on Practice and Theory in Public-Key
Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings, 2015,
pp. 27--51.'
date_created: 2018-06-07T09:19:04Z
date_updated: 2022-01-06T06:58:57Z
department:
- _id: '558'
doi: 10.1007/978-3-662-46447-2_2
extern: '1'
page: 27--51
publication: Public-Key Cryptography - PKC 2015 - 18th IACR International Conference
on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March
30 - April 1, 2015, Proceedings
status: public
title: On the Selective Opening Security of Practical Public-Key Encryption Schemes
type: conference
user_id: '38235'
year: '2015'
...
---
_id: '3124'
author:
- first_name: Florian
full_name: Bergsma, Florian
last_name: Bergsma
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Jörg
full_name: Schwenk, Jörg
last_name: Schwenk
citation:
ama: 'Bergsma F, Jager T, Schwenk J. One-Round Key Exchange with Strong Security:
An Efficient and Generic Construction in the Standard Model. In: Public-Key
Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory
in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings.
; 2015:477--494. doi:10.1007/978-3-662-46447-2_21'
apa: 'Bergsma, F., Jager, T., & Schwenk, J. (2015). One-Round Key Exchange with
Strong Security: An Efficient and Generic Construction in the Standard Model.
In Public-Key Cryptography - PKC 2015 - 18th IACR International Conference
on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March
30 - April 1, 2015, Proceedings (pp. 477--494). https://doi.org/10.1007/978-3-662-46447-2_21'
bibtex: '@inproceedings{Bergsma_Jager_Schwenk_2015, title={One-Round Key Exchange
with Strong Security: An Efficient and Generic Construction in the Standard Model},
DOI={10.1007/978-3-662-46447-2_21},
booktitle={Public-Key Cryptography - PKC 2015 - 18th IACR International Conference
on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March
30 - April 1, 2015, Proceedings}, author={Bergsma, Florian and Jager, Tibor and
Schwenk, Jörg}, year={2015}, pages={477--494} }'
chicago: 'Bergsma, Florian, Tibor Jager, and Jörg Schwenk. “One-Round Key Exchange
with Strong Security: An Efficient and Generic Construction in the Standard Model.”
In Public-Key Cryptography - PKC 2015 - 18th IACR International Conference
on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March
30 - April 1, 2015, Proceedings, 477--494, 2015. https://doi.org/10.1007/978-3-662-46447-2_21.'
ieee: 'F. Bergsma, T. Jager, and J. Schwenk, “One-Round Key Exchange with Strong
Security: An Efficient and Generic Construction in the Standard Model,” in Public-Key
Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory
in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings,
2015, pp. 477--494.'
mla: 'Bergsma, Florian, et al. “One-Round Key Exchange with Strong Security: An
Efficient and Generic Construction in the Standard Model.” Public-Key Cryptography
- PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key
Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings,
2015, pp. 477--494, doi:10.1007/978-3-662-46447-2_21.'
short: 'F. Bergsma, T. Jager, J. Schwenk, in: Public-Key Cryptography - PKC 2015
- 18th IACR International Conference on Practice and Theory in Public-Key Cryptography,
Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings, 2015, pp. 477--494.'
date_created: 2018-06-07T09:19:47Z
date_updated: 2022-01-06T06:58:57Z
department:
- _id: '558'
doi: 10.1007/978-3-662-46447-2_21
extern: '1'
page: 477--494
publication: Public-Key Cryptography - PKC 2015 - 18th IACR International Conference
on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March
30 - April 1, 2015, Proceedings
status: public
title: 'One-Round Key Exchange with Strong Security: An Efficient and Generic Construction
in the Standard Model'
type: conference
user_id: '38235'
year: '2015'
...
---
_id: '3125'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
citation:
ama: 'Jager T. Verifiable Random Functions from Weaker Assumptions. In: Theory
of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland,
March 23-25, 2015, Proceedings, Part {II}. ; 2015:121--143. doi:10.1007/978-3-662-46497-7_5'
apa: Jager, T. (2015). Verifiable Random Functions from Weaker Assumptions. In Theory
of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland,
March 23-25, 2015, Proceedings, Part {II} (pp. 121--143). https://doi.org/10.1007/978-3-662-46497-7_5
bibtex: '@inproceedings{Jager_2015, title={Verifiable Random Functions from Weaker
Assumptions}, DOI={10.1007/978-3-662-46497-7_5},
booktitle={Theory of Cryptography - 12th Theory of Cryptography Conference, TCC
2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part {II}}, author={Jager,
Tibor}, year={2015}, pages={121--143} }'
chicago: Jager, Tibor. “Verifiable Random Functions from Weaker Assumptions.” In
Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015,
Warsaw, Poland, March 23-25, 2015, Proceedings, Part {II}, 121--143, 2015.
https://doi.org/10.1007/978-3-662-46497-7_5.
ieee: T. Jager, “Verifiable Random Functions from Weaker Assumptions,” in Theory
of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland,
March 23-25, 2015, Proceedings, Part {II}, 2015, pp. 121--143.
mla: Jager, Tibor. “Verifiable Random Functions from Weaker Assumptions.” Theory
of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland,
March 23-25, 2015, Proceedings, Part {II}, 2015, pp. 121--143, doi:10.1007/978-3-662-46497-7_5.
short: 'T. Jager, in: Theory of Cryptography - 12th Theory of Cryptography Conference,
TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part {II}, 2015, pp.
121--143.'
date_created: 2018-06-07T09:20:19Z
date_updated: 2022-01-06T06:58:57Z
department:
- _id: '558'
doi: 10.1007/978-3-662-46497-7_5
extern: '1'
page: 121--143
publication: Theory of Cryptography - 12th Theory of Cryptography Conference, TCC
2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part {II}
status: public
title: Verifiable Random Functions from Weaker Assumptions
type: conference
user_id: '38235'
year: '2015'
...
---
_id: '3126'
author:
- first_name: Christoph
full_name: Bader, Christoph
last_name: Bader
- first_name: Dennis
full_name: Hofheinz, Dennis
last_name: Hofheinz
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Eike
full_name: Kiltz, Eike
last_name: Kiltz
- first_name: Yong
full_name: Li, Yong
last_name: Li
citation:
ama: 'Bader C, Hofheinz D, Jager T, Kiltz E, Li Y. Tightly-Secure Authenticated
Key Exchange. In: Theory of Cryptography - 12th Theory of Cryptography Conference,
TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I. ; 2015:629--658.
doi:10.1007/978-3-662-46494-6_26'
apa: Bader, C., Hofheinz, D., Jager, T., Kiltz, E., & Li, Y. (2015). Tightly-Secure
Authenticated Key Exchange. In Theory of Cryptography - 12th Theory of Cryptography
Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I
(pp. 629--658). https://doi.org/10.1007/978-3-662-46494-6_26
bibtex: '@inproceedings{Bader_Hofheinz_Jager_Kiltz_Li_2015, title={Tightly-Secure
Authenticated Key Exchange}, DOI={10.1007/978-3-662-46494-6_26},
booktitle={Theory of Cryptography - 12th Theory of Cryptography Conference, TCC
2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I}, author={Bader,
Christoph and Hofheinz, Dennis and Jager, Tibor and Kiltz, Eike and Li, Yong},
year={2015}, pages={629--658} }'
chicago: Bader, Christoph, Dennis Hofheinz, Tibor Jager, Eike Kiltz, and Yong Li.
“Tightly-Secure Authenticated Key Exchange.” In Theory of Cryptography - 12th
Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015,
Proceedings, Part I, 629--658, 2015. https://doi.org/10.1007/978-3-662-46494-6_26.
ieee: C. Bader, D. Hofheinz, T. Jager, E. Kiltz, and Y. Li, “Tightly-Secure Authenticated
Key Exchange,” in Theory of Cryptography - 12th Theory of Cryptography Conference,
TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I, 2015, pp.
629--658.
mla: Bader, Christoph, et al. “Tightly-Secure Authenticated Key Exchange.” Theory
of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland,
March 23-25, 2015, Proceedings, Part I, 2015, pp. 629--658, doi:10.1007/978-3-662-46494-6_26.
short: 'C. Bader, D. Hofheinz, T. Jager, E. Kiltz, Y. Li, in: Theory of Cryptography
- 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25,
2015, Proceedings, Part I, 2015, pp. 629--658.'
date_created: 2018-06-07T09:20:48Z
date_updated: 2022-01-06T06:58:57Z
department:
- _id: '558'
doi: 10.1007/978-3-662-46494-6_26
extern: '1'
page: 629--658
publication: Theory of Cryptography - 12th Theory of Cryptography Conference, TCC
2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I
status: public
title: Tightly-Secure Authenticated Key Exchange
type: conference
user_id: '38235'
year: '2015'
...
---
_id: '313'
abstract:
- lang: eng
text: 'Nowadays, many service providers offer software components in the form of
Software as a Service. Requesters that want to discover those services in order
to use or to integrate them, need to find out which service satisfies their requirements
best. For this purpose, service matching approaches determine how well the specifications
of provided services satisfy their requirements (including structural, behavioral,
and non-functional requirements). In this paper, we describe the tool-suite MatchBox
that allows the integration of existing service matchers and their combination
as part of flexibly configurable matching processes. Taking requirements and service
specifications as an input, MatchBox is able to execute such matching processes
and deliver rich matching results. In contrast to related tools, MatchBox allows
users to take into account many different kinds of requirements, while it also
provides the flexibility to control the matching process in many different ways. '
author:
- first_name: Paul
full_name: Börding, Paul
last_name: Börding
- first_name: Melanie
full_name: Bruns, Melanie
last_name: Bruns
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
citation:
ama: 'Börding P, Bruns M, Platenius MC. Comprehensive Service Matching with MatchBox.
In: 10th Joint Meeting of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15).
; 2015:974--977. doi:10.1145/2786805.2803181'
apa: Börding, P., Bruns, M., & Platenius, M. C. (2015). Comprehensive Service
Matching with MatchBox. In 10th Joint Meeting of the European Software Engineering
Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(ESEC/FSE’15) (pp. 974--977). https://doi.org/10.1145/2786805.2803181
bibtex: '@inproceedings{Börding_Bruns_Platenius_2015, title={Comprehensive Service
Matching with MatchBox}, DOI={10.1145/2786805.2803181},
booktitle={10th Joint Meeting of the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15)},
author={Börding, Paul and Bruns, Melanie and Platenius, Marie Christin}, year={2015},
pages={974--977} }'
chicago: Börding, Paul, Melanie Bruns, and Marie Christin Platenius. “Comprehensive
Service Matching with MatchBox.” In 10th Joint Meeting of the European Software
Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software
Engineering (ESEC/FSE’15), 974--977, 2015. https://doi.org/10.1145/2786805.2803181.
ieee: P. Börding, M. Bruns, and M. C. Platenius, “Comprehensive Service Matching
with MatchBox,” in 10th Joint Meeting of the European Software Engineering
Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(ESEC/FSE’15), 2015, pp. 974--977.
mla: Börding, Paul, et al. “Comprehensive Service Matching with MatchBox.” 10th
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT
Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015,
pp. 974--977, doi:10.1145/2786805.2803181.
short: 'P. Börding, M. Bruns, M.C. Platenius, in: 10th Joint Meeting of the European
Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977.'
date_created: 2017-10-17T12:41:53Z
date_updated: 2022-01-06T06:58:58Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1145/2786805.2803181
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:44:26Z
date_updated: 2018-03-20T07:44:26Z
file_id: '1438'
file_name: 313-p974-boerding.pdf
file_size: 875687
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:44:26Z
has_accepted_license: '1'
language:
- iso: eng
page: 974--977
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: 10th Joint Meeting of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15)
status: public
title: Comprehensive Service Matching with MatchBox
type: conference
user_id: '477'
year: '2015'
...
---
_id: '314'
abstract:
- lang: eng
text: On an intermediate goods market we allow for vertical and horizontal product
differentiation and analyze the influence of simultaneous competition for resources
and customers on the market outcome. Asymmetries between intermediaries cannot
arise just from distinct product qualities, but also from different production
technologies. The intermediaries face either price or quantity competition on
the output market and a monopolistic input supplier on the input market. We find
that there exist quality and productivity differences such that for quantity competition
only one intermediary is willing to procure inputs from the input supplier, while
for price competition both intermediaries are willing to purchase inputs. Considering
product innovation for symmetric productivities we derive equilibrium conditions
on the investment costs and compare price and quantity competition. It turns out
that on the one hand there exist product qualities and degrees of horizontal product
differentiation for complements such that asymmetric investment equilibria fail
to exist. On the other hand we find that there also exist product qualities and
degrees of horizontal product differentiation for substitutes such that existence
can be guaranteed if the investment costs are chosen accordingly.
author:
- first_name: Sonja
full_name: Brangewitz, Sonja
last_name: Brangewitz
- first_name: Jochen
full_name: Manegold, Jochen
last_name: Manegold
citation:
ama: Brangewitz S, Manegold J. Competition and Product Innovation of Intermediaries
in a Differentiated Duopoly. Universität Paderborn; 2015.
apa: Brangewitz, S., & Manegold, J. (2015). Competition and Product Innovation
of Intermediaries in a Differentiated Duopoly. Universität Paderborn.
bibtex: '@book{Brangewitz_Manegold_2015, title={Competition and Product Innovation
of Intermediaries in a Differentiated Duopoly}, publisher={Universität Paderborn},
author={Brangewitz, Sonja and Manegold, Jochen}, year={2015} }'
chicago: Brangewitz, Sonja, and Jochen Manegold. Competition and Product Innovation
of Intermediaries in a Differentiated Duopoly. Universität Paderborn, 2015.
ieee: S. Brangewitz and J. Manegold, Competition and Product Innovation of Intermediaries
in a Differentiated Duopoly. Universität Paderborn, 2015.
mla: Brangewitz, Sonja, and Jochen Manegold. Competition and Product Innovation
of Intermediaries in a Differentiated Duopoly. Universität Paderborn, 2015.
short: S. Brangewitz, J. Manegold, Competition and Product Innovation of Intermediaries
in a Differentiated Duopoly, Universität Paderborn, 2015.
date_created: 2017-10-17T12:41:53Z
date_updated: 2022-01-06T06:58:58Z
ddc:
- '040'
department:
- _id: '205'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:43:55Z
date_updated: 2018-03-20T07:43:55Z
file_id: '1437'
file_name: 314-PB-2015-04.pdf
file_size: 631075
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:43:55Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '2'
name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Competition and Product Innovation of Intermediaries in a Differentiated Duopoly
type: report
user_id: '477'
year: '2015'
...
---
_id: '315'
abstract:
- lang: eng
text: In this paper, we introduce an approach for combining embedded systems with
Service-oriented Computing techniques based on a concrete application scenario
from the robotics domain. Our proposed Service-oriented Architecture allows for
incorporating computational expensive functionality as services into a distributed
computing environment. Furthermore, our framework facilitates a seamless integration
of embedded systems such as robots as service providers into the computing environment.
The entire communication is based on so-called recipes, which can be interpreted
as autonomous messages that contain all necessary information for executing compositions
of services.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing
with Embedded Systems - A Robotics Case Study. In: Proceedings of the 5th IFIP
International Embedded Systems Symposium. ; 2015.'
apa: Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2015). Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study. In Proceedings of
the 5th IFIP International Embedded Systems Symposium.
bibtex: '@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings
of the 5th IFIP International Embedded Systems Symposium}, author={Jungmann, Alexander
and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }'
chicago: Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Combining
Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” In
Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.
ieee: A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study,” in Proceedings of
the 5th IFIP International Embedded Systems Symposium, 2015.
mla: Jungmann, Alexander, et al. “Combining Service-Oriented Computing with Embedded
Systems - A Robotics Case Study.” Proceedings of the 5th IFIP International
Embedded Systems Symposium, 2015.
short: 'A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP
International Embedded Systems Symposium, 2015.'
date_created: 2017-10-17T12:41:53Z
date_updated: 2022-01-06T06:58:58Z
ddc:
- '040'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:43:26Z
date_updated: 2018-03-20T07:43:26Z
file_id: '1436'
file_name: 315-JungmannJatzkowskiKleinjohann.pdf
file_size: 1482481
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:43:26Z
has_accepted_license: '1'
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 5th IFIP International Embedded Systems Symposium
status: public
title: Combining Service-oriented Computing with Embedded Systems - A Robotics Case
Study
type: conference
user_id: '15504'
year: '2015'
...
---
_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'
...