---
_id: '679'
article_number: e17016
author:
- first_name: Xinghui
full_name: Yin, Xinghui
last_name: Yin
- first_name: Tobias
full_name: Steinle, Tobias
last_name: Steinle
- first_name: Lingling
full_name: Huang, Lingling
last_name: Huang
- first_name: Thomas
full_name: Taubner, Thomas
last_name: Taubner
- first_name: Matthias
full_name: Wuttig, Matthias
last_name: Wuttig
- first_name: Thomas
full_name: Zentgraf, Thomas
id: '30525'
last_name: Zentgraf
orcid: 0000-0002-8662-1101
- first_name: Harald
full_name: Giessen, Harald
last_name: Giessen
citation:
ama: 'Yin X, Steinle T, Huang L, et al. Beam switching and bifocal zoom lensing
using active plasmonic metasurfaces. Light: Science & Applications.
2017;6(7). doi:10.1038/lsa.2017.16'
apa: 'Yin, X., Steinle, T., Huang, L., Taubner, T., Wuttig, M., Zentgraf, T., &
Giessen, H. (2017). Beam switching and bifocal zoom lensing using active plasmonic
metasurfaces. Light: Science & Applications, 6(7). https://doi.org/10.1038/lsa.2017.16'
bibtex: '@article{Yin_Steinle_Huang_Taubner_Wuttig_Zentgraf_Giessen_2017, title={Beam
switching and bifocal zoom lensing using active plasmonic metasurfaces}, volume={6},
DOI={10.1038/lsa.2017.16}, number={7e17016},
journal={Light: Science & Applications}, publisher={Springer Nature}, author={Yin,
Xinghui and Steinle, Tobias and Huang, Lingling and Taubner, Thomas and Wuttig,
Matthias and Zentgraf, Thomas and Giessen, Harald}, year={2017} }'
chicago: 'Yin, Xinghui, Tobias Steinle, Lingling Huang, Thomas Taubner, Matthias
Wuttig, Thomas Zentgraf, and Harald Giessen. “Beam Switching and Bifocal Zoom
Lensing Using Active Plasmonic Metasurfaces.” Light: Science & Applications
6, no. 7 (2017). https://doi.org/10.1038/lsa.2017.16.'
ieee: 'X. Yin et al., “Beam switching and bifocal zoom lensing using active
plasmonic metasurfaces,” Light: Science & Applications, vol. 6, no.
7, 2017.'
mla: 'Yin, Xinghui, et al. “Beam Switching and Bifocal Zoom Lensing Using Active
Plasmonic Metasurfaces.” Light: Science & Applications, vol. 6, no.
7, e17016, Springer Nature, 2017, doi:10.1038/lsa.2017.16.'
short: 'X. Yin, T. Steinle, L. Huang, T. Taubner, M. Wuttig, T. Zentgraf, H. Giessen,
Light: Science & Applications 6 (2017).'
date_created: 2017-11-13T07:35:37Z
date_updated: 2022-01-06T07:03:19Z
ddc:
- '530'
doi: 10.1038/lsa.2017.16
file:
- access_level: closed
content_type: application/pdf
creator: zentgraf
date_created: 2018-11-28T06:54:11Z
date_updated: 2018-11-28T06:54:11Z
file_id: '5918'
file_name: LSA_Yin_2017.pdf
file_size: 2285477
relation: main_file
success: 1
file_date_updated: 2018-11-28T06:54:11Z
has_accepted_license: '1'
intvolume: ' 6'
issue: '7'
language:
- iso: eng
publication: 'Light: Science & Applications'
publication_identifier:
issn:
- 2047-7538
publication_status: published
publisher: Springer Nature
status: public
title: Beam switching and bifocal zoom lensing using active plasmonic metasurfaces
type: journal_article
user_id: '30525'
volume: 6
year: '2017'
...
---
_id: '68'
abstract:
- lang: eng
text: Proof-carrying hardware (PCH) is a principle for achieving safety for dynamically
reconfigurable hardware systems. The producer of a hardware module spends huge
effort when creating a proof for a safety policy. The proof is then transferred
as a certificate together with the configuration bitstream to the consumer of
the hardware module, who can quickly verify the given proof. Previous work utilized
SAT solvers and resolution traces to set up a PCH technology and corresponding
tool flows. In this article, we present a novel technology for PCH based on inductive
invariants. For sequential circuits, our approach is fundamentally stronger than
the previous SAT-based one since we avoid the limitations of bounded unrolling.
We contrast our technology to existing ones and show that it fits into previously
proposed tool flows. We conduct experiments with four categories of benchmark
circuits and report consumer and producer runtime and peak memory consumption,
as well as the size of the certificates and the distribution of the workload between
producer and consumer. Experiments clearly show that our new induction-based technology
is superior for sequential circuits, whereas the previous SAT-based technology
is the better choice for combinational circuits.
author:
- first_name: Tobias
full_name: Isenberg, Tobias
last_name: Isenberg
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
citation:
ama: Isenberg T, Platzner M, Wehrheim H, Wiersema T. Proof-Carrying Hardware via
Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems.
2017;(4):61:1--61:23. doi:10.1145/3054743
apa: Isenberg, T., Platzner, M., Wehrheim, H., & Wiersema, T. (2017). Proof-Carrying
Hardware via Inductive Invariants. ACM Transactions on Design Automation of
Electronic Systems, (4), 61:1--61:23. https://doi.org/10.1145/3054743
bibtex: '@article{Isenberg_Platzner_Wehrheim_Wiersema_2017, title={Proof-Carrying
Hardware via Inductive Invariants}, DOI={10.1145/3054743},
number={4}, journal={ACM Transactions on Design Automation of Electronic Systems},
publisher={ACM}, author={Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike
and Wiersema, Tobias}, year={2017}, pages={61:1--61:23} }'
chicago: 'Isenberg, Tobias, Marco Platzner, Heike Wehrheim, and Tobias Wiersema.
“Proof-Carrying Hardware via Inductive Invariants.” ACM Transactions on Design
Automation of Electronic Systems, no. 4 (2017): 61:1--61:23. https://doi.org/10.1145/3054743.'
ieee: T. Isenberg, M. Platzner, H. Wehrheim, and T. Wiersema, “Proof-Carrying Hardware
via Inductive Invariants,” ACM Transactions on Design Automation of Electronic
Systems, no. 4, pp. 61:1--61:23, 2017.
mla: Isenberg, Tobias, et al. “Proof-Carrying Hardware via Inductive Invariants.”
ACM Transactions on Design Automation of Electronic Systems, no. 4, ACM,
2017, pp. 61:1--61:23, doi:10.1145/3054743.
short: T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design
Automation of Electronic Systems (2017) 61:1--61:23.
date_created: 2017-10-17T12:41:04Z
date_updated: 2022-01-06T07:03:20Z
ddc:
- '000'
department:
- _id: '77'
- _id: '78'
doi: 10.1145/3054743
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T16:08:17Z
date_updated: 2018-11-02T16:08:17Z
file_id: '5324'
file_name: a61-isenberg.pdf
file_size: 806356
relation: main_file
success: 1
file_date_updated: 2018-11-02T16:08:17Z
has_accepted_license: '1'
issue: '4'
language:
- iso: eng
page: 61:1--61:23
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: ACM Transactions on Design Automation of Electronic Systems
publisher: ACM
status: public
title: Proof-Carrying Hardware via Inductive Invariants
type: journal_article
user_id: '3118'
year: '2017'
...
---
_id: '680'
author:
- first_name: Manuel
full_name: Peter, Manuel
last_name: Peter
- first_name: Andre
full_name: Hildebrandt, Andre
last_name: Hildebrandt
- first_name: Christian
full_name: Schlickriede, Christian
id: '59792'
last_name: Schlickriede
- first_name: Kimia
full_name: Gharib, Kimia
last_name: Gharib
- first_name: Thomas
full_name: Zentgraf, Thomas
id: '30525'
last_name: Zentgraf
orcid: 0000-0002-8662-1101
- first_name: Jens
full_name: Förstner, Jens
id: '158'
last_name: Förstner
orcid: 0000-0001-7059-9862
- first_name: Stefan
full_name: Linden, Stefan
last_name: Linden
citation:
ama: Peter M, Hildebrandt A, Schlickriede C, et al. Directional Emission from Dielectric
Leaky-Wave Nanoantennas. Nano Letters. 2017;17(7):4178-4183. doi:10.1021/acs.nanolett.7b00966
apa: Peter, M., Hildebrandt, A., Schlickriede, C., Gharib, K., Zentgraf, T., Förstner,
J., & Linden, S. (2017). Directional Emission from Dielectric Leaky-Wave Nanoantennas.
Nano Letters, 17(7), 4178–4183. https://doi.org/10.1021/acs.nanolett.7b00966
bibtex: '@article{Peter_Hildebrandt_Schlickriede_Gharib_Zentgraf_Förstner_Linden_2017,
title={Directional Emission from Dielectric Leaky-Wave Nanoantennas}, volume={17},
DOI={10.1021/acs.nanolett.7b00966},
number={7}, journal={Nano Letters}, publisher={American Chemical Society (ACS)},
author={Peter, Manuel and Hildebrandt, Andre and Schlickriede, Christian and Gharib,
Kimia and Zentgraf, Thomas and Förstner, Jens and Linden, Stefan}, year={2017},
pages={4178–4183} }'
chicago: 'Peter, Manuel, Andre Hildebrandt, Christian Schlickriede, Kimia Gharib,
Thomas Zentgraf, Jens Förstner, and Stefan Linden. “Directional Emission from
Dielectric Leaky-Wave Nanoantennas.” Nano Letters 17, no. 7 (2017): 4178–83.
https://doi.org/10.1021/acs.nanolett.7b00966.'
ieee: M. Peter et al., “Directional Emission from Dielectric Leaky-Wave Nanoantennas,”
Nano Letters, vol. 17, no. 7, pp. 4178–4183, 2017.
mla: Peter, Manuel, et al. “Directional Emission from Dielectric Leaky-Wave Nanoantennas.”
Nano Letters, vol. 17, no. 7, American Chemical Society (ACS), 2017, pp.
4178–83, doi:10.1021/acs.nanolett.7b00966.
short: M. Peter, A. Hildebrandt, C. Schlickriede, K. Gharib, T. Zentgraf, J. Förstner,
S. Linden, Nano Letters 17 (2017) 4178–4183.
date_created: 2017-11-13T07:36:01Z
date_updated: 2022-01-06T07:03:20Z
ddc:
- '530'
department:
- _id: '61'
- _id: '289'
doi: 10.1021/acs.nanolett.7b00966
file:
- access_level: open_access
content_type: application/pdf
creator: fossie
date_created: 2018-08-16T08:07:31Z
date_updated: 2018-08-21T10:41:58Z
file_id: '3917'
file_name: 2017-08 Peter - Nano Letters - Directional Emission from Dielectric Leaky-Wave
Antennas.pdf
file_size: 3398275
relation: main_file
file_date_updated: 2018-08-21T10:41:58Z
has_accepted_license: '1'
intvolume: ' 17'
issue: '7'
keyword:
- tet_topic_opticalantenna
language:
- iso: eng
oa: '1'
page: 4178-4183
project:
- _id: '53'
name: TRR 142
- _id: '56'
name: TRR 142 - Project Area C
- _id: '74'
name: TRR 142 - Subproject C4
publication: Nano Letters
publication_identifier:
issn:
- 1530-6984
- 1530-6992
publication_status: published
publisher: American Chemical Society (ACS)
status: public
title: Directional Emission from Dielectric Leaky-Wave Nanoantennas
type: journal_article
urn: '6808'
user_id: '158'
volume: 17
year: '2017'
...
---
_id: '681'
article_number: '14300'
author:
- first_name: Qinghua
full_name: Guo, Qinghua
last_name: Guo
- first_name: Christian
full_name: Schlickriede, Christian
id: '59792'
last_name: Schlickriede
- first_name: Dongyang
full_name: Wang, Dongyang
last_name: Wang
- first_name: Hongchao
full_name: Liu, Hongchao
last_name: Liu
- first_name: Yuanjiang
full_name: Xiang, Yuanjiang
last_name: Xiang
- first_name: Thomas
full_name: Zentgraf, Thomas
id: '30525'
last_name: Zentgraf
orcid: 0000-0002-8662-1101
- first_name: Shuang
full_name: Zhang, Shuang
last_name: Zhang
citation:
ama: Guo Q, Schlickriede C, Wang D, et al. Manipulation of vector beam polarization
with geometric metasurfaces. Optics Express. 2017;25(13). doi:10.1364/oe.25.014300
apa: Guo, Q., Schlickriede, C., Wang, D., Liu, H., Xiang, Y., Zentgraf, T., &
Zhang, S. (2017). Manipulation of vector beam polarization with geometric metasurfaces.
Optics Express, 25(13). https://doi.org/10.1364/oe.25.014300
bibtex: '@article{Guo_Schlickriede_Wang_Liu_Xiang_Zentgraf_Zhang_2017, title={Manipulation
of vector beam polarization with geometric metasurfaces}, volume={25}, DOI={10.1364/oe.25.014300}, number={1314300},
journal={Optics Express}, publisher={The Optical Society}, author={Guo, Qinghua
and Schlickriede, Christian and Wang, Dongyang and Liu, Hongchao and Xiang, Yuanjiang
and Zentgraf, Thomas and Zhang, Shuang}, year={2017} }'
chicago: Guo, Qinghua, Christian Schlickriede, Dongyang Wang, Hongchao Liu, Yuanjiang
Xiang, Thomas Zentgraf, and Shuang Zhang. “Manipulation of Vector Beam Polarization
with Geometric Metasurfaces.” Optics Express 25, no. 13 (2017). https://doi.org/10.1364/oe.25.014300.
ieee: Q. Guo et al., “Manipulation of vector beam polarization with geometric
metasurfaces,” Optics Express, vol. 25, no. 13, 2017.
mla: Guo, Qinghua, et al. “Manipulation of Vector Beam Polarization with Geometric
Metasurfaces.” Optics Express, vol. 25, no. 13, 14300, The Optical Society,
2017, doi:10.1364/oe.25.014300.
short: Q. Guo, C. Schlickriede, D. Wang, H. Liu, Y. Xiang, T. Zentgraf, S. Zhang,
Optics Express 25 (2017).
date_created: 2017-11-13T07:44:26Z
date_updated: 2022-01-06T07:03:21Z
doi: 10.1364/oe.25.014300
intvolume: ' 25'
issue: '13'
publication: Optics Express
publication_identifier:
issn:
- 1094-4087
publication_status: published
publisher: The Optical Society
status: public
title: Manipulation of vector beam polarization with geometric metasurfaces
type: journal_article
user_id: '30525'
volume: 25
year: '2017'
...
---
_id: '682'
author:
- first_name: Nils
full_name: Weber, Nils
last_name: Weber
- first_name: Maximilian
full_name: Protte, Maximilian
last_name: Protte
- first_name: Felicitas
full_name: Walter, Felicitas
last_name: Walter
- first_name: Philip
full_name: Georgi, Philip
last_name: Georgi
- first_name: Thomas
full_name: Zentgraf, Thomas
id: '30525'
last_name: Zentgraf
orcid: 0000-0002-8662-1101
- first_name: Cedrik
full_name: Meier, Cedrik
id: '20798'
last_name: Meier
orcid: https://orcid.org/0000-0002-3787-3572
citation:
ama: Weber N, Protte M, Walter F, Georgi P, Zentgraf T, Meier C. Double resonant
plasmonic nanoantennas for efficient second harmonic generation in zinc oxide.
Physical Review B. 2017;95(20). doi:10.1103/physrevb.95.205307
apa: Weber, N., Protte, M., Walter, F., Georgi, P., Zentgraf, T., & Meier, C.
(2017). Double resonant plasmonic nanoantennas for efficient second harmonic generation
in zinc oxide. Physical Review B, 95(20). https://doi.org/10.1103/physrevb.95.205307
bibtex: '@article{Weber_Protte_Walter_Georgi_Zentgraf_Meier_2017, title={Double
resonant plasmonic nanoantennas for efficient second harmonic generation in zinc
oxide}, volume={95}, DOI={10.1103/physrevb.95.205307},
number={20}, journal={Physical Review B}, publisher={American Physical Society
(APS)}, author={Weber, Nils and Protte, Maximilian and Walter, Felicitas and Georgi,
Philip and Zentgraf, Thomas and Meier, Cedrik}, year={2017} }'
chicago: Weber, Nils, Maximilian Protte, Felicitas Walter, Philip Georgi, Thomas
Zentgraf, and Cedrik Meier. “Double Resonant Plasmonic Nanoantennas for Efficient
Second Harmonic Generation in Zinc Oxide.” Physical Review B 95, no. 20
(2017). https://doi.org/10.1103/physrevb.95.205307.
ieee: N. Weber, M. Protte, F. Walter, P. Georgi, T. Zentgraf, and C. Meier, “Double
resonant plasmonic nanoantennas for efficient second harmonic generation in zinc
oxide,” Physical Review B, vol. 95, no. 20, 2017.
mla: Weber, Nils, et al. “Double Resonant Plasmonic Nanoantennas for Efficient Second
Harmonic Generation in Zinc Oxide.” Physical Review B, vol. 95, no. 20,
American Physical Society (APS), 2017, doi:10.1103/physrevb.95.205307.
short: N. Weber, M. Protte, F. Walter, P. Georgi, T. Zentgraf, C. Meier, Physical
Review B 95 (2017).
date_created: 2017-11-13T07:44:52Z
date_updated: 2022-01-06T07:03:21Z
department:
- _id: '15'
- _id: '35'
- _id: '230'
- _id: '287'
- _id: '289'
doi: 10.1103/physrevb.95.205307
intvolume: ' 95'
issue: '20'
language:
- iso: eng
project:
- _id: '53'
name: TRR 142
- _id: '54'
name: TRR 142 - Project Area A
- _id: '62'
name: TRR 142 - Subproject A5
publication: Physical Review B
publication_identifier:
issn:
- 2469-9950
- 2469-9969
publication_status: published
publisher: American Physical Society (APS)
status: public
title: Double resonant plasmonic nanoantennas for efficient second harmonic generation
in zinc oxide
type: journal_article
user_id: '20798'
volume: 95
year: '2017'
...
---
_id: '683'
article_number: '17010'
author:
- first_name: Guixin
full_name: Li, Guixin
last_name: Li
- first_name: Shuang
full_name: Zhang, Shuang
last_name: Zhang
- first_name: Thomas
full_name: Zentgraf, Thomas
id: '30525'
last_name: Zentgraf
orcid: 0000-0002-8662-1101
citation:
ama: Li G, Zhang S, Zentgraf T. Nonlinear photonic metasurfaces. Nature Reviews
Materials. 2017;2(5). doi:10.1038/natrevmats.2017.10
apa: Li, G., Zhang, S., & Zentgraf, T. (2017). Nonlinear photonic metasurfaces.
Nature Reviews Materials, 2(5). https://doi.org/10.1038/natrevmats.2017.10
bibtex: '@article{Li_Zhang_Zentgraf_2017, title={Nonlinear photonic metasurfaces},
volume={2}, DOI={10.1038/natrevmats.2017.10},
number={517010}, journal={Nature Reviews Materials}, publisher={Springer Nature},
author={Li, Guixin and Zhang, Shuang and Zentgraf, Thomas}, year={2017} }'
chicago: Li, Guixin, Shuang Zhang, and Thomas Zentgraf. “Nonlinear Photonic Metasurfaces.”
Nature Reviews Materials 2, no. 5 (2017). https://doi.org/10.1038/natrevmats.2017.10.
ieee: G. Li, S. Zhang, and T. Zentgraf, “Nonlinear photonic metasurfaces,” Nature
Reviews Materials, vol. 2, no. 5, 2017.
mla: Li, Guixin, et al. “Nonlinear Photonic Metasurfaces.” Nature Reviews Materials,
vol. 2, no. 5, 17010, Springer Nature, 2017, doi:10.1038/natrevmats.2017.10.
short: G. Li, S. Zhang, T. Zentgraf, Nature Reviews Materials 2 (2017).
date_created: 2017-11-13T07:45:13Z
date_updated: 2022-01-06T07:03:21Z
doi: 10.1038/natrevmats.2017.10
intvolume: ' 2'
issue: '5'
publication: Nature Reviews Materials
publication_identifier:
issn:
- 2058-8437
publication_status: published
publisher: Springer Nature
status: public
title: Nonlinear photonic metasurfaces
type: journal_article
user_id: '30525'
volume: 2
year: '2017'
...
---
_id: '684'
author:
- first_name: Felicitas
full_name: Walter, Felicitas
last_name: Walter
- first_name: Guixin
full_name: Li, Guixin
last_name: Li
- first_name: Cedrik
full_name: Meier, Cedrik
id: '20798'
last_name: Meier
orcid: https://orcid.org/0000-0002-3787-3572
- first_name: Shuang
full_name: Zhang, Shuang
last_name: Zhang
- first_name: Thomas
full_name: Zentgraf, Thomas
id: '30525'
last_name: Zentgraf
orcid: 0000-0002-8662-1101
citation:
ama: Walter F, Li G, Meier C, Zhang S, Zentgraf T. Ultrathin Nonlinear Metasurface
for Optical Image Encoding. Nano Letters. 2017;17(5):3171-3175. doi:10.1021/acs.nanolett.7b00676
apa: Walter, F., Li, G., Meier, C., Zhang, S., & Zentgraf, T. (2017). Ultrathin
Nonlinear Metasurface for Optical Image Encoding. Nano Letters, 17(5),
3171–3175. https://doi.org/10.1021/acs.nanolett.7b00676
bibtex: '@article{Walter_Li_Meier_Zhang_Zentgraf_2017, title={Ultrathin Nonlinear
Metasurface for Optical Image Encoding}, volume={17}, DOI={10.1021/acs.nanolett.7b00676},
number={5}, journal={Nano Letters}, publisher={American Chemical Society (ACS)},
author={Walter, Felicitas and Li, Guixin and Meier, Cedrik and Zhang, Shuang and
Zentgraf, Thomas}, year={2017}, pages={3171–3175} }'
chicago: 'Walter, Felicitas, Guixin Li, Cedrik Meier, Shuang Zhang, and Thomas Zentgraf.
“Ultrathin Nonlinear Metasurface for Optical Image Encoding.” Nano Letters
17, no. 5 (2017): 3171–75. https://doi.org/10.1021/acs.nanolett.7b00676.'
ieee: F. Walter, G. Li, C. Meier, S. Zhang, and T. Zentgraf, “Ultrathin Nonlinear
Metasurface for Optical Image Encoding,” Nano Letters, vol. 17, no. 5,
pp. 3171–3175, 2017.
mla: Walter, Felicitas, et al. “Ultrathin Nonlinear Metasurface for Optical Image
Encoding.” Nano Letters, vol. 17, no. 5, American Chemical Society (ACS),
2017, pp. 3171–75, doi:10.1021/acs.nanolett.7b00676.
short: F. Walter, G. Li, C. Meier, S. Zhang, T. Zentgraf, Nano Letters 17 (2017)
3171–3175.
date_created: 2017-11-13T07:45:40Z
date_updated: 2022-01-06T07:03:21Z
department:
- _id: '15'
- _id: '230'
- _id: '287'
- _id: '289'
- _id: '35'
doi: 10.1021/acs.nanolett.7b00676
intvolume: ' 17'
issue: '5'
language:
- iso: eng
page: 3171-3175
project:
- _id: '53'
name: TRR 142
- _id: '54'
name: TRR 142 - Project Area A
- _id: '62'
name: TRR 142 - Subproject A5
publication: Nano Letters
publication_identifier:
issn:
- 1530-6984
- 1530-6992
publication_status: published
publisher: American Chemical Society (ACS)
status: public
title: Ultrathin Nonlinear Metasurface for Optical Image Encoding
type: journal_article
user_id: '20798'
volume: 17
year: '2017'
...
---
_id: '685'
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
citation:
ama: Jakobs M-C. On-The-Fly Safety Checking - Customizing Program Certification
and Program Restructuring. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-104
apa: Jakobs, M.-C. (2017). On-The-Fly Safety Checking - Customizing Program Certification
and Program Restructuring. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-104
bibtex: '@book{Jakobs_2017, title={On-The-Fly Safety Checking - Customizing Program
Certification and Program Restructuring}, DOI={10.17619/UNIPB/1-104},
publisher={Universität Paderborn}, author={Jakobs, Marie-Christine}, year={2017}
}'
chicago: Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program
Certification and Program Restructuring. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-104.
ieee: M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification
and Program Restructuring. Universität Paderborn, 2017.
mla: Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program
Certification and Program Restructuring. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-104.
short: M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification
and Program Restructuring, Universität Paderborn, 2017.
date_created: 2017-11-13T08:13:29Z
date_updated: 2022-01-06T07:03:22Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.17619/UNIPB/1-104
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-14T12:26:52Z
date_updated: 2018-03-14T12:26:52Z
file_id: '1211'
file_name: 685-Dissertation-Jakobs.pdf
file_size: 11828624
relation: main_file
success: 1
file_date_updated: 2018-03-14T12:26:52Z
has_accepted_license: '1'
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
title: On-The-Fly Safety Checking - Customizing Program Certification and Program
Restructuring
type: dissertation
user_id: '477'
year: '2017'
...
---
_id: '69'
abstract:
- lang: eng
text: 'Today, software is traded worldwide on global markets, with apps being downloaded
to smartphones within minutes or seconds. This poses, more than ever, the challenge
of ensuring safety of software in the face of (1) unknown or untrusted software
providers together with (2) resource-limited software consumers. The concept of
Proof-Carrying Code (PCC), years ago suggested by Necula, provides one framework
for securing the execution of untrusted code. PCC techniques attach safety proofs,
constructed by software producers, to code. Based on the assumption that checking
proofs is usually much simpler than constructing proofs, software consumers should
thus be able to quickly check the safety of software. However, PCC techniques
often suffer from the size of certificates (i.e., the attached proofs), making
PCC techniques inefficient in practice.In this article, we introduce a new framework
for the safe execution of untrusted code called Programs from Proofs (PfP). The
basic assumption underlying the PfP technique is the fact that the structure of
programs significantly influences the complexity of checking a specific safety
property. Instead of attaching proofs to program code, the PfP technique transforms
the program into an efficiently checkable form, thus guaranteeing quick safety
checks for software consumers. For this transformation, the technique also uses
a producer-side automatic proof of safety. More specifically, safety proving for
the software producer proceeds via the construction of an abstract reachability
graph (ARG) unfolding the control-flow automaton (CFA) up to the degree necessary
for simple checking. To this end, we combine different sorts of software analysis:
expensive analyses incrementally determining the degree of unfolding, and cheap
analyses responsible for safety checking. Out of the abstract reachability graph
we generate the new program. In its CFA structure, it is isomorphic to the graph
and hence another, this time consumer-side, cheap analysis can quickly determine
its safety.Like PCC, Programs from Proofs is a general framework instantiable
with different sorts of (expensive and cheap) analysis. Here, we present the general
framework and exemplify it by some concrete examples. We have implemented different
instantiations on top of the configurable program analysis tool CPAchecker and
report on experiments, in particular on comparisons with PCC techniques.'
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Jakobs M-C, Wehrheim H. Programs from Proofs: A Framework for the Safe Execution
of Untrusted Software. ACM Transactions on Programming Languages and Systems.
2017;(2):7:1-7:56. doi:10.1145/3014427'
apa: 'Jakobs, M.-C., & Wehrheim, H. (2017). Programs from Proofs: A Framework
for the Safe Execution of Untrusted Software. ACM Transactions on Programming
Languages and Systems, (2), 7:1-7:56. https://doi.org/10.1145/3014427'
bibtex: '@article{Jakobs_Wehrheim_2017, title={Programs from Proofs: A Framework
for the Safe Execution of Untrusted Software}, DOI={10.1145/3014427},
number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={ACM},
author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017}, pages={7:1-7:56}
}'
chicago: 'Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A
Framework for the Safe Execution of Untrusted Software.” ACM Transactions on
Programming Languages and Systems, no. 2 (2017): 7:1-7:56. https://doi.org/10.1145/3014427.'
ieee: 'M.-C. Jakobs and H. Wehrheim, “Programs from Proofs: A Framework for the
Safe Execution of Untrusted Software,” ACM Transactions on Programming Languages
and Systems, no. 2, pp. 7:1-7:56, 2017.'
mla: 'Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A Framework
for the Safe Execution of Untrusted Software.” ACM Transactions on Programming
Languages and Systems, no. 2, ACM, 2017, pp. 7:1-7:56, doi:10.1145/3014427.'
short: M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and
Systems (2017) 7:1-7:56.
date_created: 2017-10-17T12:41:04Z
date_updated: 2022-01-06T07:03:23Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1145/3014427
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T13:15:09Z
date_updated: 2018-03-21T13:15:09Z
file_id: '1575'
file_name: 69-a7-jakobs.pdf
file_size: 1215139
relation: main_file
success: 1
file_date_updated: 2018-03-21T13:15:09Z
has_accepted_license: '1'
issue: '2'
language:
- iso: eng
page: 7:1-7:56
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: ACM Transactions on Programming Languages and Systems
publisher: ACM
status: public
title: 'Programs from Proofs: A Framework for the Safe Execution of Untrusted Software'
type: journal_article
user_id: '477'
year: '2017'
...
---
_id: '695'
author:
- first_name: Joshua
full_name: Nowack, Joshua
last_name: Nowack
citation:
ama: Nowack J. On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen
Einzelteilen. Universität Paderborn; 2017.
apa: Nowack, J. (2017). On-The-Fly Konstruktion zusammenhängender Straßennetze
aus gegebenen Einzelteilen. Universität Paderborn.
bibtex: '@book{Nowack_2017, title={On-The-Fly Konstruktion zusammenhängender Straßennetze
aus gegebenen Einzelteilen}, publisher={Universität Paderborn}, author={Nowack,
Joshua}, year={2017} }'
chicago: Nowack, Joshua. On-The-Fly Konstruktion zusammenhängender Straßennetze
aus gegebenen Einzelteilen. Universität Paderborn, 2017.
ieee: J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen
Einzelteilen. Universität Paderborn, 2017.
mla: Nowack, Joshua. On-The-Fly Konstruktion zusammenhängender Straßennetze aus
gegebenen Einzelteilen. Universität Paderborn, 2017.
short: J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen
Einzelteilen, Universität Paderborn, 2017.
date_created: 2017-11-14T06:57:49Z
date_updated: 2022-01-06T07:03:23Z
department:
- _id: '63'
language:
- iso: ger
publisher: Universität Paderborn
status: public
title: On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen
type: bachelorsthesis
user_id: '14052'
year: '2017'
...
---
_id: '696'
author:
- first_name: Lennart
full_name: Wachowiak, Lennart
last_name: Wachowiak
citation:
ama: Wachowiak L. Das Mobile Server Problem in Netzwerken. Universität Paderborn;
2017.
apa: Wachowiak, L. (2017). Das Mobile Server Problem in Netzwerken. Universität
Paderborn.
bibtex: '@book{Wachowiak_2017, title={Das Mobile Server Problem in Netzwerken},
publisher={Universität Paderborn}, author={Wachowiak, Lennart}, year={2017} }'
chicago: Wachowiak, Lennart. Das Mobile Server Problem in Netzwerken. Universität
Paderborn, 2017.
ieee: L. Wachowiak, Das Mobile Server Problem in Netzwerken. Universität
Paderborn, 2017.
mla: Wachowiak, Lennart. Das Mobile Server Problem in Netzwerken. Universität
Paderborn, 2017.
short: L. Wachowiak, Das Mobile Server Problem in Netzwerken, Universität Paderborn,
2017.
date_created: 2017-11-14T06:58:39Z
date_updated: 2022-01-06T07:03:24Z
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '5'
name: SFB 901 - Subprojekt A1
- _id: '2'
name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Das Mobile Server Problem in Netzwerken
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '697'
author:
- first_name: Michel
full_name: Burkhardt, Michel
last_name: Burkhardt
citation:
ama: Burkhardt M. Untersuchungen zum Cone-Hashing. Universität Paderborn;
2017.
apa: Burkhardt, M. (2017). Untersuchungen zum Cone-Hashing. Universität Paderborn.
bibtex: '@book{Burkhardt_2017, title={Untersuchungen zum Cone-Hashing}, publisher={Universität
Paderborn}, author={Burkhardt, Michel}, year={2017} }'
chicago: Burkhardt, Michel. Untersuchungen zum Cone-Hashing. Universität
Paderborn, 2017.
ieee: M. Burkhardt, Untersuchungen zum Cone-Hashing. Universität Paderborn,
2017.
mla: Burkhardt, Michel. Untersuchungen zum Cone-Hashing. Universität Paderborn,
2017.
short: M. Burkhardt, Untersuchungen zum Cone-Hashing, Universität Paderborn, 2017.
date_created: 2017-11-14T08:01:41Z
date_updated: 2022-01-06T07:03:24Z
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '5'
name: SFB 901 - Subprojekt A1
- _id: '2'
name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Untersuchungen zum Cone-Hashing
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '16444'
author:
- first_name: Jürgen
full_name: Gausemeier, Jürgen
last_name: Gausemeier
- first_name: Eric
full_name: Bodden, Eric
last_name: Bodden
- first_name: Falko
full_name: ' Dressler, Falko'
last_name: ' Dressler'
- first_name: Roman
full_name: Dumitrescu, Roman
last_name: Dumitrescu
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Christoph
full_name: Scheytt, Christoph
last_name: Scheytt
- first_name: Ansgar
full_name: Trächtler, Ansgar
last_name: Trächtler
citation:
ama: Gausemeier J, Bodden E, Dressler F, et al. Wissenschaftsforum Intelligente
Technische Systeme (WInTeSys). Paderborn; 2017.
apa: Gausemeier, J., Bodden, E., Dressler, F., Dumitrescu, R., Meyer auf der Heide,
F., Scheytt, C., & Trächtler, A. (2017). Wissenschaftsforum Intelligente
Technische Systeme (WInTeSys). Paderborn.
bibtex: '@book{Gausemeier_Bodden_ Dressler_Dumitrescu_Meyer auf der Heide_Scheytt_Trächtler_2017,
place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn}}, title={Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)},
author={Gausemeier, Jürgen and Bodden, Eric and Dressler, Falko and Dumitrescu,
Roman and Meyer auf der Heide, Friedhelm and Scheytt, Christoph and Trächtler,
Ansgar}, year={2017}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn}} }'
chicago: Gausemeier, Jürgen, Eric Bodden, Falko Dressler, Roman Dumitrescu, Friedhelm
Meyer auf der Heide, Christoph Scheytt, and Ansgar Trächtler. Wissenschaftsforum
Intelligente Technische Systeme (WInTeSys). Verlagsschriftenreihe Des Heinz
Nixdorf Instituts, Paderborn}. Paderborn, 2017.
ieee: J. Gausemeier et al., Wissenschaftsforum Intelligente Technische
Systeme (WInTeSys). Paderborn, 2017.
mla: Gausemeier, Jürgen, et al. Wissenschaftsforum Intelligente Technische Systeme
(WInTeSys). 2017.
short: J. Gausemeier, E. Bodden, F. Dressler, R. Dumitrescu, F. Meyer auf der Heide,
C. Scheytt, A. Trächtler, Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),
Paderborn, 2017.
date_created: 2020-04-07T06:36:06Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '63'
language:
- iso: eng
page: '369'
place: Paderborn
publication_status: published
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}
status: public
title: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)
type: book
user_id: '15415'
year: '2017'
...
---
_id: '16461'
author:
- first_name: Pascal
full_name: Bemmann, Pascal
last_name: Bemmann
- first_name: Felix
full_name: Biermeier, Felix
last_name: Biermeier
- first_name: Jan
full_name: Bürmann, Jan
last_name: Bürmann
- first_name: Arne
full_name: Kemper, Arne
last_name: Kemper
- first_name: Till
full_name: Knollmann, Till
id: '39241'
last_name: Knollmann
orcid: 0000-0003-2014-4696
- first_name: Steffen
full_name: Knorr, Steffen
last_name: Knorr
- first_name: Nils
full_name: Kothe, Nils
last_name: Kothe
- first_name: Alexander
full_name: Mäcker, Alexander
id: '13536'
last_name: Mäcker
- first_name: Manuel
full_name: Malatyali, Manuel
id: '41265'
last_name: Malatyali
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Sören
full_name: Riechers, Sören
last_name: Riechers
- first_name: Johannes Sebastian
full_name: Schaefer, Johannes Sebastian
id: '30291'
last_name: Schaefer
- first_name: Jannik
full_name: Sundermeier, Jannik
id: '38705'
last_name: Sundermeier
citation:
ama: 'Bemmann P, Biermeier F, Bürmann J, et al. Monitoring of Domain-Related Problems
in Distributed Data Streams. In: Structural Information and Communication Complexity.
; 2017. doi:10.1007/978-3-319-72050-0_13'
apa: Bemmann, P., Biermeier, F., Bürmann, J., Kemper, A., Knollmann, T., Knorr,
S., Kothe, N., Mäcker, A., Malatyali, M., Meyer auf der Heide, F., Riechers, S.,
Schaefer, J. S., & Sundermeier, J. (2017). Monitoring of Domain-Related Problems
in Distributed Data Streams. In Structural Information and Communication Complexity.
https://doi.org/10.1007/978-3-319-72050-0_13
bibtex: '@inbook{Bemmann_Biermeier_Bürmann_Kemper_Knollmann_Knorr_Kothe_Mäcker_Malatyali_Meyer
auf der Heide_et al._2017, place={Cham}, title={Monitoring of Domain-Related Problems
in Distributed Data Streams}, DOI={10.1007/978-3-319-72050-0_13},
booktitle={Structural Information and Communication Complexity}, author={Bemmann,
Pascal and Biermeier, Felix and Bürmann, Jan and Kemper, Arne and Knollmann, Till
and Knorr, Steffen and Kothe, Nils and Mäcker, Alexander and Malatyali, Manuel
and Meyer auf der Heide, Friedhelm and et al.}, year={2017} }'
chicago: Bemmann, Pascal, Felix Biermeier, Jan Bürmann, Arne Kemper, Till Knollmann,
Steffen Knorr, Nils Kothe, et al. “Monitoring of Domain-Related Problems in Distributed
Data Streams.” In Structural Information and Communication Complexity.
Cham, 2017. https://doi.org/10.1007/978-3-319-72050-0_13.
ieee: P. Bemmann et al., “Monitoring of Domain-Related Problems in Distributed
Data Streams,” in Structural Information and Communication Complexity,
Cham, 2017.
mla: Bemmann, Pascal, et al. “Monitoring of Domain-Related Problems in Distributed
Data Streams.” Structural Information and Communication Complexity, 2017,
doi:10.1007/978-3-319-72050-0_13.
short: 'P. Bemmann, F. Biermeier, J. Bürmann, A. Kemper, T. Knollmann, S. Knorr,
N. Kothe, A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, J.S. Schaefer,
J. Sundermeier, in: Structural Information and Communication Complexity, Cham,
2017.'
date_created: 2020-04-08T07:20:20Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '63'
doi: 10.1007/978-3-319-72050-0_13
external_id:
arxiv:
- 'arXiv:1706.03568 '
language:
- iso: eng
place: Cham
publication: Structural Information and Communication Complexity
publication_identifier:
isbn:
- '9783319720494'
- '9783319720500'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Monitoring of Domain-Related Problems in Distributed Data Streams
type: book_chapter
user_id: '15415'
year: '2017'
...
---
_id: '1648'
citation:
ama: 'Schmeisser W, Krimphove D, Zündorf H, Toebe M, Hannemann G, eds. Finanzierung
Und Investition. 2nd ed. Stuttgart : UTB; 2017.'
apa: 'Schmeisser, W., Krimphove, D., Zündorf, H., Toebe, M., & Hannemann, G.
(Eds.). (2017). Finanzierung und Investition (2nd ed.). Stuttgart : UTB.'
bibtex: '@book{Schmeisser_Krimphove_Zündorf_Toebe_Hannemann_2017, place={Stuttgart
}, edition={2}, title={Finanzierung und Investition}, publisher={UTB}, year={2017}
}'
chicago: 'Schmeisser, Wilhelm, Dieter Krimphove, Horst Zündorf, Marc Toebe, and
Gerfried Hannemann, eds. Finanzierung Und Investition. 2nd ed. Stuttgart
: UTB, 2017.'
ieee: 'W. Schmeisser, D. Krimphove, H. Zündorf, M. Toebe, and G. Hannemann, Eds.,
Finanzierung und Investition, 2nd ed. Stuttgart : UTB, 2017.'
mla: Schmeisser, Wilhelm, et al., editors. Finanzierung Und Investition.
2nd ed., UTB, 2017.
short: W. Schmeisser, D. Krimphove, H. Zündorf, M. Toebe, G. Hannemann, eds., Finanzierung
Und Investition, 2nd ed., UTB, Stuttgart , 2017.
date_created: 2018-03-22T14:12:59Z
date_updated: 2022-01-06T06:52:50Z
edition: '2'
editor:
- first_name: Wilhelm
full_name: Schmeisser, Wilhelm
last_name: Schmeisser
- first_name: Dieter
full_name: Krimphove, Dieter
id: '282'
last_name: Krimphove
- first_name: Horst
full_name: Zündorf, Horst
last_name: Zündorf
- first_name: Marc
full_name: Toebe, Marc
last_name: Toebe
- first_name: Gerfried
full_name: Hannemann, Gerfried
last_name: Hannemann
page: '260'
place: 'Stuttgart '
publisher: UTB
status: public
title: Finanzierung und Investition
type: book_editor
user_id: '282'
year: '2017'
...
---
_id: '16540'
author:
- first_name: Michael
full_name: Dellnitz, Michael
last_name: Dellnitz
- first_name: Stefan
full_name: Klus, Stefan
last_name: Klus
citation:
ama: Dellnitz M, Klus S. Sensing and control in symmetric networks. Dynamical
Systems. 2017:61-79. doi:10.1080/14689367.2016.1215410
apa: Dellnitz, M., & Klus, S. (2017). Sensing and control in symmetric networks.
Dynamical Systems, 61–79. https://doi.org/10.1080/14689367.2016.1215410
bibtex: '@article{Dellnitz_Klus_2017, title={Sensing and control in symmetric networks},
DOI={10.1080/14689367.2016.1215410},
journal={Dynamical Systems}, author={Dellnitz, Michael and Klus, Stefan}, year={2017},
pages={61–79} }'
chicago: Dellnitz, Michael, and Stefan Klus. “Sensing and Control in Symmetric Networks.”
Dynamical Systems, 2017, 61–79. https://doi.org/10.1080/14689367.2016.1215410.
ieee: M. Dellnitz and S. Klus, “Sensing and control in symmetric networks,” Dynamical
Systems, pp. 61–79, 2017.
mla: Dellnitz, Michael, and Stefan Klus. “Sensing and Control in Symmetric Networks.”
Dynamical Systems, 2017, pp. 61–79, doi:10.1080/14689367.2016.1215410.
short: M. Dellnitz, S. Klus, Dynamical Systems (2017) 61–79.
date_created: 2020-04-15T08:40:29Z
date_updated: 2022-01-06T06:52:52Z
department:
- _id: '101'
doi: 10.1080/14689367.2016.1215410
language:
- iso: eng
page: 61-79
publication: Dynamical Systems
publication_identifier:
issn:
- 1468-9367
- 1468-9375
publication_status: published
status: public
title: Sensing and control in symmetric networks
type: journal_article
user_id: '15701'
year: '2017'
...
---
_id: '16581'
author:
- first_name: Michael
full_name: Dellnitz, Michael
last_name: Dellnitz
- first_name: Stefan
full_name: Klus, Stefan
last_name: Klus
- first_name: Adrian
full_name: Ziessler, Adrian
last_name: Ziessler
citation:
ama: Dellnitz M, Klus S, Ziessler A. A Set-Oriented Numerical Approach for Dynamical
Systems with Parameter Uncertainty. SIAM Journal on Applied Dynamical Systems.
2017:120-138. doi:10.1137/16m1072735
apa: Dellnitz, M., Klus, S., & Ziessler, A. (2017). A Set-Oriented Numerical
Approach for Dynamical Systems with Parameter Uncertainty. SIAM Journal on
Applied Dynamical Systems, 120–138. https://doi.org/10.1137/16m1072735
bibtex: '@article{Dellnitz_Klus_Ziessler_2017, title={A Set-Oriented Numerical Approach
for Dynamical Systems with Parameter Uncertainty}, DOI={10.1137/16m1072735},
journal={SIAM Journal on Applied Dynamical Systems}, author={Dellnitz, Michael
and Klus, Stefan and Ziessler, Adrian}, year={2017}, pages={120–138} }'
chicago: Dellnitz, Michael, Stefan Klus, and Adrian Ziessler. “A Set-Oriented Numerical
Approach for Dynamical Systems with Parameter Uncertainty.” SIAM Journal on
Applied Dynamical Systems, 2017, 120–38. https://doi.org/10.1137/16m1072735.
ieee: M. Dellnitz, S. Klus, and A. Ziessler, “A Set-Oriented Numerical Approach
for Dynamical Systems with Parameter Uncertainty,” SIAM Journal on Applied
Dynamical Systems, pp. 120–138, 2017.
mla: Dellnitz, Michael, et al. “A Set-Oriented Numerical Approach for Dynamical
Systems with Parameter Uncertainty.” SIAM Journal on Applied Dynamical Systems,
2017, pp. 120–38, doi:10.1137/16m1072735.
short: M. Dellnitz, S. Klus, A. Ziessler, SIAM Journal on Applied Dynamical Systems
(2017) 120–138.
date_created: 2020-04-16T05:39:17Z
date_updated: 2022-01-06T06:52:52Z
department:
- _id: '101'
doi: 10.1137/16m1072735
language:
- iso: eng
page: 120-138
publication: SIAM Journal on Applied Dynamical Systems
publication_identifier:
issn:
- 1536-0040
publication_status: published
status: public
title: A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty
type: journal_article
user_id: '15701'
year: '2017'
...
---
_id: '16657'
author:
- first_name: Sebastian
full_name: Peitz, Sebastian
last_name: Peitz
- first_name: Kai
full_name: Schäfer, Kai
last_name: Schäfer
- first_name: Sina
full_name: Ober-Blöbaum, Sina
last_name: Ober-Blöbaum
- first_name: Julian
full_name: Eckstein, Julian
last_name: Eckstein
- first_name: Ulrich
full_name: Köhler, Ulrich
last_name: Köhler
- first_name: Michael
full_name: Dellnitz, Michael
last_name: Dellnitz
citation:
ama: Peitz S, Schäfer K, Ober-Blöbaum S, Eckstein J, Köhler U, Dellnitz M. A Multiobjective
MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded
by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge
Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL). IFAC-PapersOnLine.
2017:8674-8679. doi:10.1016/j.ifacol.2017.08.1526
apa: Peitz, S., Schäfer, K., Ober-Blöbaum, S., Eckstein, J., Köhler, U., & Dellnitz,
M. (2017). A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles
* *This research was funded by the German Federal Ministry of Education and Research
(BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe
(it’s OWL). IFAC-PapersOnLine, 8674–8679. https://doi.org/10.1016/j.ifacol.2017.08.1526
bibtex: '@article{Peitz_Schäfer_Ober-Blöbaum_Eckstein_Köhler_Dellnitz_2017, title={A
Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This
research was funded by the German Federal Ministry of Education and Research (BMBF)
within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe
(it’s OWL).}, DOI={10.1016/j.ifacol.2017.08.1526},
journal={IFAC-PapersOnLine}, author={Peitz, Sebastian and Schäfer, Kai and Ober-Blöbaum,
Sina and Eckstein, Julian and Köhler, Ulrich and Dellnitz, Michael}, year={2017},
pages={8674–8679} }'
chicago: Peitz, Sebastian, Kai Schäfer, Sina Ober-Blöbaum, Julian Eckstein, Ulrich
Köhler, and Michael Dellnitz. “A Multiobjective MPC Approach for Autonomously
Driven Electric Vehicles * *This Research Was Funded by the German Federal Ministry
of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical
Systems OstWestfalenLippe (It’s OWL).” IFAC-PapersOnLine, 2017, 8674–79.
https://doi.org/10.1016/j.ifacol.2017.08.1526.
ieee: S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, and M. Dellnitz,
“A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This
research was funded by the German Federal Ministry of Education and Research (BMBF)
within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe
(it’s OWL).,” IFAC-PapersOnLine, pp. 8674–8679, 2017.
mla: Peitz, Sebastian, et al. “A Multiobjective MPC Approach for Autonomously Driven
Electric Vehicles * *This Research Was Funded by the German Federal Ministry of
Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical
Systems OstWestfalenLippe (It’s OWL).” IFAC-PapersOnLine, 2017, pp. 8674–79,
doi:10.1016/j.ifacol.2017.08.1526.
short: S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, M. Dellnitz,
IFAC-PapersOnLine (2017) 8674–8679.
date_created: 2020-04-16T09:30:56Z
date_updated: 2022-01-06T06:52:53Z
department:
- _id: '101'
doi: 10.1016/j.ifacol.2017.08.1526
language:
- iso: eng
page: 8674-8679
publication: IFAC-PapersOnLine
publication_identifier:
issn:
- 2405-8963
publication_status: published
status: public
title: A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This
research was funded by the German Federal Ministry of Education and Research (BMBF)
within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe
(it’s OWL).
type: journal_article
user_id: '15701'
year: '2017'
...
---
_id: '16791'
author:
- first_name: André
full_name: Dietrich, André
last_name: Dietrich
- first_name: Bernard
full_name: Nacke, Bernard
last_name: Nacke
- first_name: Florian
full_name: Pfeifer, Florian
id: '22717'
last_name: Pfeifer
- first_name: Thorsten
full_name: Marten, Thorsten
id: '338'
last_name: Marten
- first_name: Thomas
full_name: Tröster, Thomas
id: '553'
last_name: Tröster
citation:
ama: 'Dietrich A, Nacke B, Pfeifer F, Marten T, Tröster T. Investigation of geometrical
discontinuities in blanks for hot sheet metal forming process under the influence
of induction heating. In: ; 2017.'
apa: Dietrich, A., Nacke, B., Pfeifer, F., Marten, T., & Tröster, T. (2017).
Investigation of geometrical discontinuities in blanks for hot sheet metal forming
process under the influence of induction heating. Presented at the 5th International
Conference on Steels in Cars and Trucks, Noordwijkerhout/Amsterdam.
bibtex: '@inproceedings{Dietrich_Nacke_Pfeifer_Marten_Tröster_2017, title={Investigation
of geometrical discontinuities in blanks for hot sheet metal forming process under
the influence of induction heating}, author={Dietrich, André and Nacke, Bernard
and Pfeifer, Florian and Marten, Thorsten and Tröster, Thomas}, year={2017} }'
chicago: Dietrich, André, Bernard Nacke, Florian Pfeifer, Thorsten Marten, and Thomas
Tröster. “Investigation of Geometrical Discontinuities in Blanks for Hot Sheet
Metal Forming Process under the Influence of Induction Heating,” 2017.
ieee: A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, and T. Tröster, “Investigation
of geometrical discontinuities in blanks for hot sheet metal forming process under
the influence of induction heating,” presented at the 5th International Conference
on Steels in Cars and Trucks, Noordwijkerhout/Amsterdam, 2017.
mla: Dietrich, André, et al. Investigation of Geometrical Discontinuities in
Blanks for Hot Sheet Metal Forming Process under the Influence of Induction Heating.
2017.
short: 'A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, T. Tröster, in: 2017.'
conference:
end_date: 2017-06-22
location: Noordwijkerhout/Amsterdam
name: 5th International Conference on Steels in Cars and Trucks
start_date: 2017-06-18
date_created: 2020-04-21T13:31:20Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '149'
- _id: '321'
- _id: '9'
language:
- iso: eng
status: public
title: Investigation of geometrical discontinuities in blanks for hot sheet metal
forming process under the influence of induction heating
type: conference
user_id: '338'
year: '2017'
...
---
_id: '16792'
author:
- first_name: André
full_name: Dietrich, André
last_name: Dietrich
- first_name: Bernard
full_name: Nacke, Bernard
last_name: Nacke
- first_name: Florian
full_name: Pfeifer, Florian
id: '22717'
last_name: Pfeifer
- first_name: Thorsten
full_name: Marten, Thorsten
id: '338'
last_name: Marten
- first_name: Thomas
full_name: Tröster, Thomas
id: '553'
last_name: Tröster
citation:
ama: 'Dietrich A, Nacke B, Pfeifer F, Marten T, Tröster T. Effects of Holes in Blanks
for Press Hardening Process due to Induction Heating. In: ; 2017.'
apa: Dietrich, A., Nacke, B., Pfeifer, F., Marten, T., & Tröster, T. (2017).
Effects of Holes in Blanks for Press Hardening Process due to Induction Heating.
Presented at the XVIII International UIE-Congress Electrotechnologies for Material
Processing, Hannover.
bibtex: '@inproceedings{Dietrich_Nacke_Pfeifer_Marten_Tröster_2017, title={Effects
of Holes in Blanks for Press Hardening Process due to Induction Heating}, author={Dietrich,
André and Nacke, Bernard and Pfeifer, Florian and Marten, Thorsten and Tröster,
Thomas}, year={2017} }'
chicago: Dietrich, André, Bernard Nacke, Florian Pfeifer, Thorsten Marten, and Thomas
Tröster. “Effects of Holes in Blanks for Press Hardening Process Due to Induction
Heating,” 2017.
ieee: A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, and T. Tröster, “Effects of
Holes in Blanks for Press Hardening Process due to Induction Heating,” presented
at the XVIII International UIE-Congress Electrotechnologies for Material Processing,
Hannover, 2017.
mla: Dietrich, André, et al. Effects of Holes in Blanks for Press Hardening Process
Due to Induction Heating. 2017.
short: 'A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, T. Tröster, in: 2017.'
conference:
end_date: 2017-06-09
location: Hannover
name: XVIII International UIE-Congress Electrotechnologies for Material Processing
start_date: 2017-06-06
date_created: 2020-04-21T13:35:46Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '149'
language:
- iso: eng
status: public
title: Effects of Holes in Blanks for Press Hardening Process due to Induction Heating
type: conference
user_id: '22717'
year: '2017'
...
---
_id: '1683'
author:
- first_name: Dieter
full_name: Krimphove, Dieter
id: '282'
last_name: Krimphove
- first_name: Christoph
full_name: Lüke, Christoph
last_name: Lüke
citation:
ama: Krimphove D, Lüke C. Finetrading – Neue Finanzierungsmöglichkeit im grenzüberschreitenden
Handel. Finanzierung Leasing Factoring . 2017;(Nr. 2):82 ff.
apa: Krimphove, D., & Lüke, C. (2017). Finetrading – Neue Finanzierungsmöglichkeit
im grenzüberschreitenden Handel. Finanzierung Leasing Factoring , (Nr.
2), 82 ff.
bibtex: '@article{Krimphove_Lüke_2017, title={Finetrading – Neue Finanzierungsmöglichkeit
im grenzüberschreitenden Handel}, number={Nr. 2}, journal={Finanzierung Leasing
Factoring }, author={Krimphove, Dieter and Lüke, Christoph}, year={2017}, pages={82
ff.} }'
chicago: 'Krimphove, Dieter, and Christoph Lüke. “Finetrading – Neue Finanzierungsmöglichkeit
Im Grenzüberschreitenden Handel.” Finanzierung Leasing Factoring , no.
Nr. 2 (2017): 82 ff.'
ieee: D. Krimphove and C. Lüke, “Finetrading – Neue Finanzierungsmöglichkeit im
grenzüberschreitenden Handel,” Finanzierung Leasing Factoring , no. Nr.
2, p. 82 ff., 2017.
mla: Krimphove, Dieter, and Christoph Lüke. “Finetrading – Neue Finanzierungsmöglichkeit
Im Grenzüberschreitenden Handel.” Finanzierung Leasing Factoring , no.
Nr. 2, 2017, p. 82 ff.
short: D. Krimphove, C. Lüke, Finanzierung Leasing Factoring (2017) 82 ff.
date_created: 2018-03-22T15:26:21Z
date_updated: 2022-01-06T06:52:57Z
issue: Nr. 2
page: 82 ff.
publication: 'Finanzierung Leasing Factoring '
status: public
title: Finetrading – Neue Finanzierungsmöglichkeit im grenzüberschreitenden Handel
type: journal_article
user_id: '282'
year: '2017'
...
---
_id: '1684'
author:
- first_name: Dieter
full_name: Krimphove, Dieter
id: '282'
last_name: Krimphove
- first_name: Julia
full_name: Michel, Julia
last_name: Michel
citation:
ama: Krimphove D, Michel J. Cookies zu Werbezwecken im Vertrieb. Zeitschrift
für Vertriebsrecht (ZVertriebsR). 2017:149 ff.
apa: Krimphove, D., & Michel, J. (2017). Cookies zu Werbezwecken im Vertrieb.
Zeitschrift Für Vertriebsrecht (ZVertriebsR), 149 ff.
bibtex: '@article{Krimphove_Michel_2017, title={Cookies zu Werbezwecken im Vertrieb},
journal={Zeitschrift für Vertriebsrecht (ZVertriebsR)}, author={Krimphove, Dieter
and Michel, Julia}, year={2017}, pages={149 ff.} }'
chicago: Krimphove, Dieter, and Julia Michel. “Cookies Zu Werbezwecken Im Vertrieb.”
Zeitschrift Für Vertriebsrecht (ZVertriebsR), 2017, 149 ff.
ieee: D. Krimphove and J. Michel, “Cookies zu Werbezwecken im Vertrieb,” Zeitschrift
für Vertriebsrecht (ZVertriebsR), p. 149 ff., 2017.
mla: Krimphove, Dieter, and Julia Michel. “Cookies Zu Werbezwecken Im Vertrieb.”
Zeitschrift Für Vertriebsrecht (ZVertriebsR), 2017, p. 149 ff.
short: D. Krimphove, J. Michel, Zeitschrift Für Vertriebsrecht (ZVertriebsR) (2017)
149 ff.
date_created: 2018-03-22T15:29:08Z
date_updated: 2022-01-06T06:52:57Z
page: 149 ff.
publication: Zeitschrift für Vertriebsrecht (ZVertriebsR)
status: public
title: Cookies zu Werbezwecken im Vertrieb
type: journal_article
user_id: '282'
year: '2017'
...
---
_id: '1685'
author:
- first_name: Dieter
full_name: Krimphove, Dieter
id: '282'
last_name: Krimphove
citation:
ama: Krimphove D. Das BaFin-Rundschreiben „aufsichtsrechtliche Mindestanforderungen
an die Geschäftsorganisationen von Versicherungsunternehmen“ (MaGo). Zeitschrift
für Versicherungsrecht, Haftung-und Schadensrecht VersR . 2017:326 ff.
apa: Krimphove, D. (2017). Das BaFin-Rundschreiben „aufsichtsrechtliche Mindestanforderungen
an die Geschäftsorganisationen von Versicherungsunternehmen“ (MaGo). Zeitschrift
Für Versicherungsrecht, Haftung-Und Schadensrecht VersR , 326 ff.
bibtex: '@article{Krimphove_2017, title={Das BaFin-Rundschreiben „aufsichtsrechtliche
Mindestanforderungen an die Geschäftsorganisationen von Versicherungsunternehmen“
(MaGo)}, journal={Zeitschrift für Versicherungsrecht, Haftung-und Schadensrecht
VersR }, author={Krimphove, Dieter}, year={2017}, pages={326 ff.} }'
chicago: Krimphove, Dieter. “Das BaFin-Rundschreiben „aufsichtsrechtliche Mindestanforderungen
an Die Geschäftsorganisationen von Versicherungsunternehmen“ (MaGo).” Zeitschrift
Für Versicherungsrecht, Haftung-Und Schadensrecht VersR , 2017, 326 ff.
ieee: D. Krimphove, “Das BaFin-Rundschreiben „aufsichtsrechtliche Mindestanforderungen
an die Geschäftsorganisationen von Versicherungsunternehmen“ (MaGo),” Zeitschrift
für Versicherungsrecht, Haftung-und Schadensrecht VersR , p. 326 ff., 2017.
mla: Krimphove, Dieter. “Das BaFin-Rundschreiben „aufsichtsrechtliche Mindestanforderungen
an Die Geschäftsorganisationen von Versicherungsunternehmen“ (MaGo).” Zeitschrift
Für Versicherungsrecht, Haftung-Und Schadensrecht VersR , 2017, p. 326 ff.
short: D. Krimphove, Zeitschrift Für Versicherungsrecht, Haftung-Und Schadensrecht
VersR (2017) 326 ff.
date_created: 2018-03-22T15:30:17Z
date_updated: 2022-01-06T06:52:57Z
page: 326 ff.
publication: 'Zeitschrift für Versicherungsrecht, Haftung-und Schadensrecht VersR '
status: public
title: Das BaFin-Rundschreiben „aufsichtsrechtliche Mindestanforderungen an die Geschäftsorganisationen
von Versicherungsunternehmen“ (MaGo)
type: journal_article
user_id: '282'
year: '2017'
...
---
_id: '1686'
author:
- first_name: Dieter
full_name: Krimphove, Dieter
id: '282'
last_name: Krimphove
citation:
ama: Krimphove D. Was ist Proportionalität? Zeitschrift für Bank- und Kapitalmarktrecht
BKR. 2017;(Heft 9):353 ff.
apa: Krimphove, D. (2017). Was ist Proportionalität? Zeitschrift Für Bank- Und
Kapitalmarktrecht BKR, (Heft 9), 353 ff.
bibtex: '@article{Krimphove_2017, title={Was ist Proportionalität?}, number={Heft
9}, journal={Zeitschrift für Bank- und Kapitalmarktrecht BKR}, author={Krimphove,
Dieter}, year={2017}, pages={353 ff.} }'
chicago: 'Krimphove, Dieter. “Was Ist Proportionalität?” Zeitschrift Für Bank-
Und Kapitalmarktrecht BKR, no. Heft 9 (2017): 353 ff.'
ieee: D. Krimphove, “Was ist Proportionalität?,” Zeitschrift für Bank- und Kapitalmarktrecht
BKR, no. Heft 9, p. 353 ff., 2017.
mla: Krimphove, Dieter. “Was Ist Proportionalität?” Zeitschrift Für Bank- Und
Kapitalmarktrecht BKR, no. Heft 9, 2017, p. 353 ff.
short: D. Krimphove, Zeitschrift Für Bank- Und Kapitalmarktrecht BKR (2017) 353
ff.
date_created: 2018-03-22T15:31:29Z
date_updated: 2022-01-06T06:52:57Z
issue: Heft 9
page: 353 ff.
publication: Zeitschrift für Bank- und Kapitalmarktrecht BKR
status: public
title: Was ist Proportionalität?
type: journal_article
user_id: '282'
year: '2017'
...
---
_id: '1687'
author:
- first_name: Dieter
full_name: Krimphove, Dieter
id: '282'
last_name: Krimphove
citation:
ama: Krimphove D. Neue Arbeitszeitrechtsprechung für familienadäquate Erziehungs-
und Betreuungstätigkeit. Neue Zeitschrift für Arbeitsrecht NZA . 2017:1374
ff.
apa: Krimphove, D. (2017). Neue Arbeitszeitrechtsprechung für familienadäquate Erziehungs-
und Betreuungstätigkeit. Neue Zeitschrift Für Arbeitsrecht NZA , 1374 ff.
bibtex: '@article{Krimphove_2017, title={Neue Arbeitszeitrechtsprechung für familienadäquate
Erziehungs- und Betreuungstätigkeit}, journal={Neue Zeitschrift für Arbeitsrecht
NZA }, author={Krimphove, Dieter}, year={2017}, pages={1374 ff.} }'
chicago: Krimphove, Dieter. “Neue Arbeitszeitrechtsprechung Für Familienadäquate
Erziehungs- Und Betreuungstätigkeit.” Neue Zeitschrift Für Arbeitsrecht NZA
, 2017, 1374 ff.
ieee: D. Krimphove, “Neue Arbeitszeitrechtsprechung für familienadäquate Erziehungs-
und Betreuungstätigkeit,” Neue Zeitschrift für Arbeitsrecht NZA , p. 1374
ff., 2017.
mla: Krimphove, Dieter. “Neue Arbeitszeitrechtsprechung Für Familienadäquate Erziehungs-
Und Betreuungstätigkeit.” Neue Zeitschrift Für Arbeitsrecht NZA , 2017,
p. 1374 ff.
short: D. Krimphove, Neue Zeitschrift Für Arbeitsrecht NZA (2017) 1374 ff.
date_created: 2018-03-22T15:33:23Z
date_updated: 2022-01-06T06:52:58Z
page: 1374 ff.
publication: 'Neue Zeitschrift für Arbeitsrecht NZA '
status: public
title: Neue Arbeitszeitrechtsprechung für familienadäquate Erziehungs- und Betreuungstätigkeit
type: journal_article
user_id: '282'
year: '2017'
...
---
_id: '1688'
author:
- first_name: Dieter
full_name: Krimphove, Dieter
id: '282'
last_name: Krimphove
citation:
ama: Krimphove D. Clash of Regulations oder Der Kampf der Richtlinien. ArbR –
Arbeitsrecht Aktuell . 2017;(Heft 24):583 ff.
apa: Krimphove, D. (2017). Clash of Regulations oder Der Kampf der Richtlinien.
ArbR – Arbeitsrecht Aktuell , (Heft 24), 583 ff.
bibtex: '@article{Krimphove_2017, title={Clash of Regulations oder Der Kampf der
Richtlinien}, number={Heft 24}, journal={ArbR – Arbeitsrecht Aktuell }, author={Krimphove,
Dieter}, year={2017}, pages={583 ff.} }'
chicago: 'Krimphove, Dieter. “Clash of Regulations Oder Der Kampf Der Richtlinien.”
ArbR – Arbeitsrecht Aktuell , no. Heft 24 (2017): 583 ff.'
ieee: D. Krimphove, “Clash of Regulations oder Der Kampf der Richtlinien,” ArbR
– Arbeitsrecht Aktuell , no. Heft 24, p. 583 ff., 2017.
mla: Krimphove, Dieter. “Clash of Regulations Oder Der Kampf Der Richtlinien.” ArbR
– Arbeitsrecht Aktuell , no. Heft 24, 2017, p. 583 ff.
short: D. Krimphove, ArbR – Arbeitsrecht Aktuell (2017) 583 ff.
date_created: 2018-03-22T15:34:50Z
date_updated: 2022-01-06T06:52:58Z
issue: Heft 24
page: 583 ff.
publication: 'ArbR – Arbeitsrecht Aktuell '
status: public
title: Clash of Regulations oder Der Kampf der Richtlinien
type: journal_article
user_id: '282'
year: '2017'
...
---
_id: '17158'
author:
- first_name: Daniel
full_name: Beverungen, Daniel
id: '59677'
last_name: Beverungen
- first_name: Oliver
full_name: Müller, Oliver
id: '72849'
last_name: Müller
- first_name: Martin
full_name: Matzner, Martin
last_name: Matzner
- first_name: Jan
full_name: Mendling, Jan
last_name: Mendling
- first_name: Jan
full_name: vom Brocke, Jan
last_name: vom Brocke
citation:
ama: Beverungen D, Müller O, Matzner M, Mendling J, vom Brocke J. Conceptualizing
smart service systems. Electronic Markets. 2017:7-18. doi:10.1007/s12525-017-0270-5
apa: Beverungen, D., Müller, O., Matzner, M., Mendling, J., & vom Brocke, J.
(2017). Conceptualizing smart service systems. Electronic Markets, 7–18.
https://doi.org/10.1007/s12525-017-0270-5
bibtex: '@article{Beverungen_Müller_Matzner_Mendling_vom Brocke_2017, title={Conceptualizing
smart service systems}, DOI={10.1007/s12525-017-0270-5},
journal={Electronic Markets}, author={Beverungen, Daniel and Müller, Oliver and
Matzner, Martin and Mendling, Jan and vom Brocke, Jan}, year={2017}, pages={7–18}
}'
chicago: Beverungen, Daniel, Oliver Müller, Martin Matzner, Jan Mendling, and Jan
vom Brocke. “Conceptualizing Smart Service Systems.” Electronic Markets,
2017, 7–18. https://doi.org/10.1007/s12525-017-0270-5.
ieee: D. Beverungen, O. Müller, M. Matzner, J. Mendling, and J. vom Brocke, “Conceptualizing
smart service systems,” Electronic Markets, pp. 7–18, 2017.
mla: Beverungen, Daniel, et al. “Conceptualizing Smart Service Systems.” Electronic
Markets, 2017, pp. 7–18, doi:10.1007/s12525-017-0270-5.
short: D. Beverungen, O. Müller, M. Matzner, J. Mendling, J. vom Brocke, Electronic
Markets (2017) 7–18.
date_created: 2020-06-24T10:49:48Z
date_updated: 2022-01-06T06:53:05Z
department:
- _id: '526'
doi: 10.1007/s12525-017-0270-5
language:
- iso: eng
page: 7-18
publication: Electronic Markets
publication_identifier:
issn:
- 1019-6781
- 1422-8890
publication_status: published
status: public
title: Conceptualizing smart service systems
type: journal_article
user_id: '21671'
year: '2017'
...
---
_id: '104'
author:
- first_name: Denis
full_name: Diemert, Denis
last_name: Diemert
citation:
ama: Diemert D. EAX - An Authenticated Encryption Mode for Block Ciphers.
Universität Paderborn; 2017.
apa: Diemert, D. (2017). EAX - An Authenticated Encryption Mode for Block Ciphers.
Universität Paderborn.
bibtex: '@book{Diemert_2017, title={EAX - An Authenticated Encryption Mode for Block
Ciphers}, publisher={Universität Paderborn}, author={Diemert, Denis}, year={2017}
}'
chicago: Diemert, Denis. EAX - An Authenticated Encryption Mode for Block Ciphers.
Universität Paderborn, 2017.
ieee: D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers.
Universität Paderborn, 2017.
mla: Diemert, Denis. EAX - An Authenticated Encryption Mode for Block Ciphers.
Universität Paderborn, 2017.
short: D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers, Universität
Paderborn, 2017.
date_created: 2017-10-17T12:41:11Z
date_updated: 2022-01-06T06:50:38Z
department:
- _id: '64'
project:
- _id: '1'
name: SFB 901
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '4'
name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: EAX - An Authenticated Encryption Mode for Block Ciphers
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '1042'
author:
- first_name: Steven
full_name: Van Rossem, Steven
last_name: Van Rossem
- first_name: Manuel
full_name: Peuster, Manuel
id: '13271'
last_name: Peuster
- first_name: Luıs
full_name: ' Conceicao, Luıs'
last_name: ' Conceicao'
- first_name: Hadi
full_name: Razzaghi Kouchaksaraei, Hadi
id: '60845'
last_name: Razzaghi Kouchaksaraei
- first_name: Wouter
full_name: Tavernier, Wouter
last_name: Tavernier
- first_name: Didier
full_name: Colle, Didier
last_name: Colle
- first_name: Mario
full_name: Pickavet, Mario
last_name: Pickavet
- first_name: Piet
full_name: Demeester, Piet
last_name: Demeester
citation:
ama: 'Van Rossem S, Peuster M, Conceicao L, et al. A Network Service Development
Kit Supporting the End-to-End Lifecycle of NFV-based Telecom Services. In: ; 2017.'
apa: Van Rossem, S., Peuster, M., Conceicao, L., Razzaghi Kouchaksaraei, H., Tavernier,
W., Colle, D., … Demeester, P. (2017). A Network Service Development Kit Supporting
the End-to-End Lifecycle of NFV-based Telecom Services. Presented at the IEEE
Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN),
Berlin, Germany.
bibtex: '@inproceedings{Van Rossem_Peuster_ Conceicao_Razzaghi Kouchaksaraei_Tavernier_Colle_Pickavet_Demeester_2017,
title={A Network Service Development Kit Supporting the End-to-End Lifecycle of
NFV-based Telecom Services}, author={Van Rossem, Steven and Peuster, Manuel and Conceicao,
Luıs and Razzaghi Kouchaksaraei, Hadi and Tavernier, Wouter and Colle, Didier
and Pickavet, Mario and Demeester, Piet}, year={2017} }'
chicago: Van Rossem, Steven, Manuel Peuster, Luıs Conceicao, Hadi Razzaghi Kouchaksaraei,
Wouter Tavernier, Didier Colle, Mario Pickavet, and Piet Demeester. “A Network
Service Development Kit Supporting the End-to-End Lifecycle of NFV-Based Telecom
Services,” 2017.
ieee: S. Van Rossem et al., “A Network Service Development Kit Supporting
the End-to-End Lifecycle of NFV-based Telecom Services,” presented at the IEEE
Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN),
Berlin, Germany, 2017.
mla: Van Rossem, Steven, et al. A Network Service Development Kit Supporting
the End-to-End Lifecycle of NFV-Based Telecom Services. 2017.
short: 'S. Van Rossem, M. Peuster, L. Conceicao, H. Razzaghi Kouchaksaraei, W.
Tavernier, D. Colle, M. Pickavet, P. Demeester, in: 2017.'
conference:
location: Berlin, Germany
name: IEEE Conference on Network Function Virtualization and Software Defined Networks
(NFV-SDN)
date_created: 2017-12-11T15:05:00Z
date_updated: 2022-01-06T06:50:38Z
language:
- iso: eng
publication_status: published
status: public
title: A Network Service Development Kit Supporting the End-to-End Lifecycle of NFV-based
Telecom Services
type: conference
user_id: '60845'
year: '2017'
...
---
_id: '1048'
author:
- first_name: Andreas
full_name: Schenk, Andreas
last_name: Schenk
citation:
ama: Schenk A. Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen.
Universität Paderborn; 2017.
apa: Schenk, A. (2017). Monotone Suchbarkeit in mehrdimensionalen verteilten
Datenstrukturen. Universität Paderborn.
bibtex: '@book{Schenk_2017, title={Monotone Suchbarkeit in mehrdimensionalen verteilten
Datenstrukturen}, publisher={Universität Paderborn}, author={Schenk, Andreas},
year={2017} }'
chicago: Schenk, Andreas. Monotone Suchbarkeit in mehrdimensionalen verteilten
Datenstrukturen. Universität Paderborn, 2017.
ieee: A. Schenk, Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen.
Universität Paderborn, 2017.
mla: Schenk, Andreas. Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen.
Universität Paderborn, 2017.
short: A. Schenk, Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen,
Universität Paderborn, 2017.
date_created: 2017-12-13T10:14:30Z
date_updated: 2022-01-06T06:50:41Z
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
publisher: Universität Paderborn
status: public
title: Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '1049'
author:
- first_name: Björn
full_name: Beckendorfer, Björn
last_name: Beckendorfer
citation:
ama: Beckendorfer B. Visualisierung zu Algorithmen verteilter Netzwerksysteme.
Universität Paderborn; 2017.
apa: Beckendorfer, B. (2017). Visualisierung zu Algorithmen verteilter Netzwerksysteme.
Universität Paderborn.
bibtex: '@book{Beckendorfer_2017, title={Visualisierung zu Algorithmen verteilter
Netzwerksysteme}, publisher={Universität Paderborn}, author={Beckendorfer, Björn},
year={2017} }'
chicago: Beckendorfer, Björn. Visualisierung zu Algorithmen verteilter Netzwerksysteme.
Universität Paderborn, 2017.
ieee: B. Beckendorfer, Visualisierung zu Algorithmen verteilter Netzwerksysteme.
Universität Paderborn, 2017.
mla: Beckendorfer, Björn. Visualisierung zu Algorithmen verteilter Netzwerksysteme.
Universität Paderborn, 2017.
short: B. Beckendorfer, Visualisierung zu Algorithmen verteilter Netzwerksysteme,
Universität Paderborn, 2017.
date_created: 2017-12-13T10:17:43Z
date_updated: 2022-01-06T06:50:42Z
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
- _id: '4'
name: SFB 901 - Project Area C
- _id: '13'
name: SFB 901 - Subproject C1
publisher: Universität Paderborn
status: public
title: Visualisierung zu Algorithmen verteilter Netzwerksysteme
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '105'
abstract:
- lang: eng
text: We initiate the study of network monitoring algorithms in a class of hybrid
networks in which the nodes are connected by an external network and an internal
network (as a short form for externally and internally controlled network). While
the external network lies outside of the control of the nodes (or in our case,
the monitoring protocol running in them) and might be exposed to continuous changes,
the internal network is fully under the control of the nodes. As an example, consider
a group of users with mobile devices having access to the cell phone infrastructure.
While the network formed by the WiFi connections of the devices is an external
network (as its structure is not necessarily under the control of the monitoring
protocol), the connections between the devices via the cell phone infrastructure
represent an internal network (as it can be controlled by the monitoring protocol).
Our goal is to continuously monitor properties of the external network with the
help of the internal network. We present scalable distributed algorithms that
efficiently monitor the number of edges, the average node degree, the clustering
coefficient, the bipartiteness, and the weight of a minimum spanning tree. Their
performance bounds demonstrate that monitoring the external network state with
the help of an internal network can be done much more efficiently than just using
the external network, as is usually done in the literature.
author:
- first_name: Robert
full_name: Gmyr, Robert
last_name: Gmyr
- first_name: Kristian
full_name: Hinnenthal, Kristian
id: '32229'
last_name: Hinnenthal
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Christian
full_name: Sohler, Christian
last_name: Sohler
citation:
ama: 'Gmyr R, Hinnenthal K, Scheideler C, Sohler C. Distributed Monitoring of Network
Properties: The Power of Hybrid Networks. In: Proceedings of the 44th International
Colloquium on Automata, Languages, and Programming (ICALP). Leibniz International
Proceedings in Informatics (LIPIcs). ; 2017:137:1--137:15. doi:10.4230/LIPIcs.ICALP.2017.137'
apa: 'Gmyr, R., Hinnenthal, K., Scheideler, C., & Sohler, C. (2017). Distributed
Monitoring of Network Properties: The Power of Hybrid Networks. In Proceedings
of the 44th International Colloquium on Automata, Languages, and Programming (ICALP)
(pp. 137:1--137:15). https://doi.org/10.4230/LIPIcs.ICALP.2017.137'
bibtex: '@inproceedings{Gmyr_Hinnenthal_Scheideler_Sohler_2017, series={Leibniz
International Proceedings in Informatics (LIPIcs)}, title={Distributed Monitoring
of Network Properties: The Power of Hybrid Networks}, DOI={10.4230/LIPIcs.ICALP.2017.137},
booktitle={Proceedings of the 44th International Colloquium on Automata, Languages,
and Programming (ICALP)}, author={Gmyr, Robert and Hinnenthal, Kristian and Scheideler,
Christian and Sohler, Christian}, year={2017}, pages={137:1--137:15}, collection={Leibniz
International Proceedings in Informatics (LIPIcs)} }'
chicago: 'Gmyr, Robert, Kristian Hinnenthal, Christian Scheideler, and Christian
Sohler. “Distributed Monitoring of Network Properties: The Power of Hybrid Networks.”
In Proceedings of the 44th International Colloquium on Automata, Languages,
and Programming (ICALP), 137:1--137:15. Leibniz International Proceedings
in Informatics (LIPIcs), 2017. https://doi.org/10.4230/LIPIcs.ICALP.2017.137.'
ieee: 'R. Gmyr, K. Hinnenthal, C. Scheideler, and C. Sohler, “Distributed Monitoring
of Network Properties: The Power of Hybrid Networks,” in Proceedings of the
44th International Colloquium on Automata, Languages, and Programming (ICALP),
2017, pp. 137:1--137:15.'
mla: 'Gmyr, Robert, et al. “Distributed Monitoring of Network Properties: The Power
of Hybrid Networks.” Proceedings of the 44th International Colloquium on Automata,
Languages, and Programming (ICALP), 2017, pp. 137:1--137:15, doi:10.4230/LIPIcs.ICALP.2017.137.'
short: 'R. Gmyr, K. Hinnenthal, C. Scheideler, C. Sohler, in: Proceedings of the
44th International Colloquium on Automata, Languages, and Programming (ICALP),
2017, pp. 137:1--137:15.'
date_created: 2017-10-17T12:41:12Z
date_updated: 2022-01-06T06:50:42Z
ddc:
- '040'
department:
- _id: '79'
doi: 10.4230/LIPIcs.ICALP.2017.137
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-13T09:23:11Z
date_updated: 2018-03-13T09:23:11Z
file_id: '1207'
file_name: 105-ICALP17-GHSS.pdf
file_size: 504161
relation: main_file
success: 1
file_date_updated: 2018-03-13T09:23:11Z
has_accepted_license: '1'
language:
- iso: eng
page: 137:1--137:15
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
publication: Proceedings of the 44th International Colloquium on Automata, Languages,
and Programming (ICALP)
series_title: Leibniz International Proceedings in Informatics (LIPIcs)
status: public
title: 'Distributed Monitoring of Network Properties: The Power of Hybrid Networks'
type: conference
user_id: '20792'
year: '2017'
...
---
_id: '1054'
abstract:
- lang: eng
text: 'We explore how competition between physicians affects medical service provision.
Previous research has shown that, without competition, physicians deviate from
patient‐optimal treatment under payment systems like capitation and fee‐for‐service.
Although competition might reduce these distortions, physicians usually interact
with each other repeatedly over time and only a fraction of patients switches
providers at all. Both patterns might prevent competition to work in the desired
direction. To analyze the behavioral effects of competition, we develop a theoretical
benchmark that is then tested in a controlled laboratory experiment. Experimental
conditions vary physician payment and patient characteristics. Real patients benefit
from provision decisions made in the experiment. Our results reveal that, in line
with the theoretical prediction, introducing competition can reduce overprovision
and underprovision, respectively. The observed effects depend on patient characteristics
and the payment system, though. Tacit collusion is observed and particularly pronounced
with fee‐for‐service payment, but it appears to be less frequent than in related
experimental research on price competition. '
article_type: original
author:
- first_name: Janet
full_name: Brosig-Koch, Janet
last_name: Brosig-Koch
- first_name: Burkhard
full_name: Hehenkamp, Burkhard
id: '37339'
last_name: Hehenkamp
- first_name: Johanna
full_name: Kokot, Johanna
last_name: Kokot
citation:
ama: Brosig-Koch J, Hehenkamp B, Kokot J. The effects of competition on medical
service provision. Health Economics. 2017;26(53):6-20. doi:10.1002/hec.3583
apa: Brosig-Koch, J., Hehenkamp, B., & Kokot, J. (2017). The effects of competition
on medical service provision. Health Economics, 26(53), 6–20. https://doi.org/10.1002/hec.3583
bibtex: '@article{Brosig-Koch_Hehenkamp_Kokot_2017, title={The effects of competition
on medical service provision}, volume={26}, DOI={10.1002/hec.3583},
number={53}, journal={Health Economics}, publisher={Wiley Online Library}, author={Brosig-Koch,
Janet and Hehenkamp, Burkhard and Kokot, Johanna}, year={2017}, pages={6–20} }'
chicago: 'Brosig-Koch, Janet, Burkhard Hehenkamp, and Johanna Kokot. “The Effects
of Competition on Medical Service Provision.” Health Economics 26, no.
53 (2017): 6–20. https://doi.org/10.1002/hec.3583.'
ieee: J. Brosig-Koch, B. Hehenkamp, and J. Kokot, “The effects of competition on
medical service provision,” Health Economics, vol. 26, no. 53, pp. 6–20,
2017.
mla: Brosig-Koch, Janet, et al. “The Effects of Competition on Medical Service Provision.”
Health Economics, vol. 26, no. 53, Wiley Online Library, 2017, pp. 6–20,
doi:10.1002/hec.3583.
short: J. Brosig-Koch, B. Hehenkamp, J. Kokot, Health Economics 26 (2017) 6–20.
date_created: 2017-12-15T11:16:41Z
date_updated: 2022-01-06T06:50:43Z
ddc:
- '000'
department:
- _id: '280'
- _id: '475'
doi: 10.1002/hec.3583
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:39:01Z
date_updated: 2018-11-02T15:39:01Z
file_id: '5309'
file_name: Brosig-Koch_et_al-2018-Health_Economics.pdf
file_size: 1116140
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:39:01Z
has_accepted_license: '1'
intvolume: ' 26'
issue: '53'
language:
- iso: eng
page: 6-20
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '7'
name: SFB 901 - Subproject A3
publication: Health Economics
publication_status: published
publisher: Wiley Online Library
quality_controlled: '1'
status: public
title: The effects of competition on medical service provision
type: journal_article
user_id: '477'
volume: 26
year: '2017'
...
---
_id: '1055'
author:
- first_name: Burkhard
full_name: Hehenkamp, Burkhard
id: '37339'
last_name: Hehenkamp
- first_name: Oddvar
full_name: Kaarboe, Oddvar
last_name: Kaarboe
citation:
ama: Hehenkamp B, Kaarboe O. Location Choice and Quality Competition in Mixed
Hospital Markets. Universität Paderborn; 2017.
apa: Hehenkamp, B., & Kaarboe, O. (2017). Location Choice and Quality Competition
in Mixed Hospital Markets. Universität Paderborn.
bibtex: '@book{Hehenkamp_Kaarboe_2017, title={Location Choice and Quality Competition
in Mixed Hospital Markets}, publisher={Universität Paderborn}, author={Hehenkamp,
Burkhard and Kaarboe, Oddvar}, year={2017} }'
chicago: Hehenkamp, Burkhard, and Oddvar Kaarboe. Location Choice and Quality
Competition in Mixed Hospital Markets. Universität Paderborn, 2017.
ieee: B. Hehenkamp and O. Kaarboe, Location Choice and Quality Competition in
Mixed Hospital Markets. Universität Paderborn, 2017.
mla: Hehenkamp, Burkhard, and Oddvar Kaarboe. Location Choice and Quality Competition
in Mixed Hospital Markets. Universität Paderborn, 2017.
short: B. Hehenkamp, O. Kaarboe, Location Choice and Quality Competition in Mixed
Hospital Markets, Universität Paderborn, 2017.
date_created: 2017-12-15T11:19:12Z
date_updated: 2022-01-06T06:50:44Z
ddc:
- '330'
department:
- _id: '280'
- _id: '475'
file:
- access_level: closed
content_type: application/pdf
creator: bhoyer
date_created: 2018-11-06T14:01:20Z
date_updated: 2018-11-06T14:01:20Z
file_id: '5379'
file_name: HehenkampKaarboe_20180905.pdf
file_size: 318340
relation: main_file
file_date_updated: 2018-11-06T14:01:20Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '7'
name: SFB 901 - Subproject A3
publisher: Universität Paderborn
status: public
title: Location Choice and Quality Competition in Mixed Hospital Markets
type: report
user_id: '42447'
year: '2017'
...
---
_id: '1056'
author:
- first_name: Yiguan
full_name: Gu, Yiguan
last_name: Gu
- first_name: Burkhard
full_name: Hehenkamp, Burkhard
id: '37339'
last_name: Hehenkamp
- first_name: Wolfgang
full_name: Leininger, Wolfgang
last_name: Leininger
citation:
ama: Gu Y, Hehenkamp B, Leininger W. Evolutionary Equilibrium in Stochastic Contests
- Entry, Effort, and Overdissipation. Universität Paderborn; 2017.
apa: Gu, Y., Hehenkamp, B., & Leininger, W. (2017). Evolutionary Equilibrium
in Stochastic Contests - Entry, Effort, and Overdissipation. Universität Paderborn.
bibtex: '@book{Gu_Hehenkamp_Leininger_2017, title={Evolutionary Equilibrium in Stochastic
Contests - Entry, Effort, and Overdissipation}, publisher={Universität Paderborn},
author={Gu, Yiguan and Hehenkamp, Burkhard and Leininger, Wolfgang}, year={2017}
}'
chicago: Gu, Yiguan, Burkhard Hehenkamp, and Wolfgang Leininger. Evolutionary
Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation. Universität
Paderborn, 2017.
ieee: Y. Gu, B. Hehenkamp, and W. Leininger, Evolutionary Equilibrium in Stochastic
Contests - Entry, Effort, and Overdissipation. Universität Paderborn, 2017.
mla: Gu, Yiguan, et al. Evolutionary Equilibrium in Stochastic Contests - Entry,
Effort, and Overdissipation. Universität Paderborn, 2017.
short: Y. Gu, B. Hehenkamp, W. Leininger, Evolutionary Equilibrium in Stochastic
Contests - Entry, Effort, and Overdissipation, Universität Paderborn, 2017.
date_created: 2017-12-15T11:21:34Z
date_updated: 2022-01-06T06:50:44Z
ddc:
- '330'
department:
- _id: '280'
- _id: '475'
file:
- access_level: closed
content_type: application/pdf
creator: bhoyer
date_created: 2018-11-06T14:05:20Z
date_updated: 2018-11-06T14:05:20Z
file_id: '5380'
file_name: ESS_Contest_20181026.pdf
file_size: 520711
relation: main_file
file_date_updated: 2018-11-06T14:05:20Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '7'
name: SFB 901 - Subproject A3
publisher: Universität Paderborn
status: public
title: Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation
type: report
user_id: '42447'
year: '2017'
...
---
_id: '1057'
author:
- first_name: Oktay
full_name: Sürücü, Oktay
last_name: Sürücü
- first_name: Behnud
full_name: Mir Djawadi, Behnud
id: '26032'
last_name: Mir Djawadi
orcid: 0000-0002-6271-5912
- first_name: Sonja
full_name: Brangewitz, Sonja
last_name: Brangewitz
citation:
ama: Sürücü O, Mir Djawadi B, Brangewitz S. Asymmetric Dominance Effect with
Multiple Decoys for Low- and High-Variance Lotteries. Universität Paderborn;
2017.
apa: Sürücü, O., Mir Djawadi, B., & Brangewitz, S. (2017). Asymmetric Dominance
Effect with Multiple Decoys for Low- and High-Variance Lotteries. Universität
Paderborn.
bibtex: '@book{Sürücü_Mir Djawadi_Brangewitz_2017, title={Asymmetric Dominance Effect
with Multiple Decoys for Low- and High-Variance Lotteries}, publisher={Universität
Paderborn}, author={Sürücü, Oktay and Mir Djawadi, Behnud and Brangewitz, Sonja},
year={2017} }'
chicago: Sürücü, Oktay, Behnud Mir Djawadi, and Sonja Brangewitz. Asymmetric
Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries.
Universität Paderborn, 2017.
ieee: O. Sürücü, B. Mir Djawadi, and S. Brangewitz, Asymmetric Dominance Effect
with Multiple Decoys for Low- and High-Variance Lotteries. Universität Paderborn,
2017.
mla: Sürücü, Oktay, et al. Asymmetric Dominance Effect with Multiple Decoys for
Low- and High-Variance Lotteries. Universität Paderborn, 2017.
short: O. Sürücü, B. Mir Djawadi, S. Brangewitz, Asymmetric Dominance Effect with
Multiple Decoys for Low- and High-Variance Lotteries, Universität Paderborn, 2017.
date_created: 2017-12-15T11:24:00Z
date_updated: 2022-01-06T06:50:44Z
ddc:
- '330'
department:
- _id: '205'
- _id: '179'
file:
- access_level: closed
content_type: application/pdf
creator: bhoyer
date_created: 2018-11-06T15:27:20Z
date_updated: 2018-11-06T15:27:20Z
file_id: '5386'
file_name: SSRN-id2959997.pdf
file_size: 260633
relation: main_file
success: 1
file_date_updated: 2018-11-06T15:27:20Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '7'
name: SFB 901 - Subproject A3
- _id: '8'
name: SFB 901 - Subproject A4
publisher: Universität Paderborn
status: public
title: Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance
Lotteries
type: report
user_id: '477'
year: '2017'
...
---
_id: '10589'
author:
- first_name: J.
full_name: Fürnkranz, J.
last_name: Fürnkranz
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Fürnkranz J, Hüllermeier E. Preference Learning. In: Encyclopedia of Machine
Learning and Data Mining. ; 2017:1000-1005.'
apa: Fürnkranz, J., & Hüllermeier, E. (2017). Preference Learning. In Encyclopedia
of Machine Learning and Data Mining (pp. 1000–1005).
bibtex: '@inbook{Fürnkranz_Hüllermeier_2017, title={Preference Learning}, booktitle={Encyclopedia
of Machine Learning and Data Mining}, author={Fürnkranz, J. and Hüllermeier, Eyke},
year={2017}, pages={1000–1005} }'
chicago: Fürnkranz, J., and Eyke Hüllermeier. “Preference Learning.” In Encyclopedia
of Machine Learning and Data Mining, 1000–1005, 2017.
ieee: J. Fürnkranz and E. Hüllermeier, “Preference Learning,” in Encyclopedia
of Machine Learning and Data Mining, 2017, pp. 1000–1005.
mla: Fürnkranz, J., and Eyke Hüllermeier. “Preference Learning.” Encyclopedia
of Machine Learning and Data Mining, 2017, pp. 1000–05.
short: 'J. Fürnkranz, E. Hüllermeier, in: Encyclopedia of Machine Learning and Data
Mining, 2017, pp. 1000–1005.'
date_created: 2019-07-09T15:37:09Z
date_updated: 2022-01-06T06:50:45Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
language:
- iso: eng
page: 1000-1005
publication: Encyclopedia of Machine Learning and Data Mining
status: public
title: Preference Learning
type: encyclopedia_article
user_id: '49109'
year: '2017'
...
---
_id: '10594'
abstract:
- lang: eng
text: "Multiobjective optimization plays an increasingly important role in modern
applications, where several criteria are often of equal importance. The task in
multiobjective optimization and multiobjective optimal control is therefore to
compute\r\nthe set of optimal compromises (the Pareto set) between the conflicting
objectives.\r\n\r\nSince – in contrast to the solution of a single objective optimization
problem – the\r\nPareto set generally consists of an infinite number of solutions,
the computational\r\neffort can quickly become challenging. This is even more
the case when many problems have to be solved, when the number of objectives is
high, or when the objectives\r\nare costly to evaluate. Consequently, this thesis
is devoted to the identification and\r\nexploitation of structure both in the
Pareto set and the dynamics of the underlying\r\nmodel as well as to the development
of efficient algorithms for solving problems with\r\nadditional parameters, with
a high number of objectives or with PDE-constraints.\r\nThese three challenges
are addressed in three respective parts.\r\n\r\nIn the first part, predictor-corrector
methods are extended to entire Pareto sets.\r\nWhen certain smoothness assumptions
are satisfied, then the set of parameter dependent Pareto sets possesses additional
structure, i.e. it is a manifold. The tangent\r\nspace can be approximated numerically
which yields a direction for the predictor\r\nstep. In the corrector step, the
predicted set converges to the Pareto set at a new\r\nparameter value. The resulting
algorithm is applied to an example from autonomous\r\ndriving.\r\n\r\nIn the second
part, the hierarchical structure of Pareto sets is investigated. When\r\nconsidering
a subset of the objectives, the resulting solution is a subset of the Pareto\r\nset
of the original problem. Under additional smoothness assumptions, the respective
subsets are located on the boundary of the Pareto set of the full problem. This\r\nway,
the “skeleton” of a Pareto set can be computed and due to the exponential\r\nincrease
in computing time with the number of objectives, the computations of\r\nthese
subsets are significantly faster which is demonstrated using an example from\r\nindustrial
laundries.\r\n\r\nIn the third part, PDE-constrained multiobjective optimal control
problems are\r\naddressed by reduced order modeling methods. Reduced order models
exploit the\r\nstructure in the system dynamics, for example by describing the
dynamics of only the\r\nmost energetic modes. The model reduction introduces an
error in both the function values and their gradients, which has to be taken into
account in the development of\r\nalgorithms. Both scalarization and set-oriented
approaches are coupled with reduced\r\norder modeling. Convergence results are
presented and the numerical benefit is\r\ninvestigated. The algorithms are applied
to semi-linear heat flow problems as well\r\nas to the Navier-Stokes equations.\r\n"
author:
- first_name: Sebastian
full_name: Peitz, Sebastian
id: '47427'
last_name: Peitz
orcid: https://orcid.org/0000-0002-3389-793X
citation:
ama: Peitz S. Exploiting Structure in Multiobjective Optimization and Optimal
Control.; 2017. doi:10.17619/UNIPB/1-176
apa: Peitz, S. (2017). Exploiting structure in multiobjective optimization
and optimal control. https://doi.org/10.17619/UNIPB/1-176
bibtex: '@book{Peitz_2017, title={ Exploiting structure in multiobjective optimization
and optimal control}, DOI={10.17619/UNIPB/1-176},
author={Peitz, Sebastian}, year={2017} }'
chicago: Peitz, Sebastian. Exploiting Structure in Multiobjective Optimization
and Optimal Control, 2017. https://doi.org/10.17619/UNIPB/1-176.
ieee: S. Peitz, Exploiting structure in multiobjective optimization and optimal
control. 2017.
mla: Peitz, Sebastian. Exploiting Structure in Multiobjective Optimization
and Optimal Control. 2017, doi:10.17619/UNIPB/1-176.
short: S. Peitz, Exploiting Structure in Multiobjective Optimization and Optimal
Control, 2017.
date_created: 2019-07-10T08:12:22Z
date_updated: 2022-01-06T06:50:46Z
ddc:
- '510'
department:
- _id: '101'
doi: 10.17619/UNIPB/1-176
file:
- access_level: closed
content_type: application/pdf
creator: speitz
date_created: 2020-03-13T12:52:50Z
date_updated: 2020-03-13T12:52:50Z
file_id: '16298'
file_name: Dissertation_Peitz.pdf
file_size: 16636801
relation: main_file
success: 1
file_date_updated: 2020-03-13T12:52:50Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://d-nb.info/1139356542/34
oa: '1'
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication_status: published
status: public
title: " \tExploiting structure in multiobjective optimization and optimal control"
type: dissertation
user_id: '47427'
year: '2017'
...
---
_id: '106'
author:
- first_name: Isabel
full_name: Krammer, Isabel
last_name: Krammer
citation:
ama: 'Krammer I. Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen
zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz.
Universität München; 2017.'
apa: 'Krammer, I. (2017). Denn wir wissen, was gemeint ist: Erweiterung bestehender
Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz.
Universität München.'
bibtex: '@book{Krammer_2017, title={Denn wir wissen, was gemeint ist: Erweiterung
bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven
Whitelist-Ansatz}, publisher={Universität München}, author={Krammer, Isabel},
year={2017} }'
chicago: 'Krammer, Isabel. Denn wir wissen, was gemeint ist: Erweiterung bestehender
Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz.
Universität München, 2017.'
ieee: 'I. Krammer, Denn wir wissen, was gemeint ist: Erweiterung bestehender
Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz.
Universität München, 2017.'
mla: 'Krammer, Isabel. Denn wir wissen, was gemeint ist: Erweiterung bestehender
Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz.
Universität München, 2017.'
short: 'I. Krammer, Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen
zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz,
Universität München, 2017.'
date_created: 2017-10-17T12:41:12Z
date_updated: 2022-01-06T06:50:46Z
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität München
status: public
title: 'Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen
Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz'
type: mastersthesis
user_id: '477'
year: '2017'
...
---
_id: '10600'
author:
- first_name: Philip
full_name: H.W. Leong, Philip
last_name: H.W. Leong
- first_name: Hideharu
full_name: Amano, Hideharu
last_name: Amano
- first_name: Jason
full_name: Anderson, Jason
last_name: Anderson
- first_name: Koen
full_name: Bertels, Koen
last_name: Bertels
- first_name: Jo\~{a}o
full_name: M.P. Cardoso, Jo\~{a}o
last_name: M.P. Cardoso
- first_name: Oliver
full_name: Diessel, Oliver
last_name: Diessel
- first_name: Guy
full_name: Gogniat, Guy
last_name: Gogniat
- first_name: Mike
full_name: Hutton, Mike
last_name: Hutton
- first_name: JunKyu
full_name: Lee, JunKyu
last_name: Lee
- first_name: Wayne
full_name: Luk, Wayne
last_name: Luk
- first_name: Patrick
full_name: Lysaght, Patrick
last_name: Lysaght
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Viktor
full_name: K. Prasanna, Viktor
last_name: K. Prasanna
- first_name: Tero
full_name: Rissa, Tero
last_name: Rissa
- first_name: Cristina
full_name: Silvano, Cristina
last_name: Silvano
- first_name: Hayden
full_name: So, Hayden
last_name: So
- first_name: Yu
full_name: Wang, Yu
last_name: Wang
citation:
ama: H.W. Leong P, Amano H, Anderson J, et al. The First 25 Years of the FPL Conference
– Significant Papers. ACM Transactions on Reconfigurable Technology and Systems.
2017. doi:10.1145/2996468
apa: H.W. Leong, P., Amano, H., Anderson, J., Bertels, K., M.P. Cardoso, J., Diessel,
O., … Wang, Y. (2017). The First 25 Years of the FPL Conference – Significant
Papers. ACM Transactions on Reconfigurable Technology and Systems. https://doi.org/10.1145/2996468
bibtex: '@article{H.W. Leong_Amano_Anderson_Bertels_M.P. Cardoso_Diessel_Gogniat_Hutton_Lee_Luk_et
al._2017, title={The First 25 Years of the FPL Conference – Significant Papers},
DOI={10.1145/2996468}, journal={ACM
Transactions on Reconfigurable Technology and Systems}, author={H.W. Leong, Philip
and Amano, Hideharu and Anderson, Jason and Bertels, Koen and M.P. Cardoso, Jo\~{a}o
and Diessel, Oliver and Gogniat, Guy and Hutton, Mike and Lee, JunKyu and Luk,
Wayne and et al.}, year={2017} }'
chicago: H.W. Leong, Philip, Hideharu Amano, Jason Anderson, Koen Bertels, Jo\~{a}o
M.P. Cardoso, Oliver Diessel, Guy Gogniat, et al. “The First 25 Years of the FPL
Conference – Significant Papers.” ACM Transactions on Reconfigurable Technology
and Systems, 2017. https://doi.org/10.1145/2996468.
ieee: P. H.W. Leong et al., “The First 25 Years of the FPL Conference – Significant
Papers,” ACM Transactions on Reconfigurable Technology and Systems, 2017.
mla: H.W. Leong, Philip, et al. “The First 25 Years of the FPL Conference – Significant
Papers.” ACM Transactions on Reconfigurable Technology and Systems, 2017,
doi:10.1145/2996468.
short: P. H.W. Leong, H. Amano, J. Anderson, K. Bertels, J. M.P. Cardoso, O. Diessel,
G. Gogniat, M. Hutton, J. Lee, W. Luk, P. Lysaght, M. Platzner, V. K. Prasanna,
T. Rissa, C. Silvano, H. So, Y. Wang, ACM Transactions on Reconfigurable Technology
and Systems (2017).
date_created: 2019-07-10T09:22:27Z
date_updated: 2022-01-06T06:50:47Z
department:
- _id: '78'
doi: 10.1145/2996468
language:
- iso: eng
publication: ACM Transactions on Reconfigurable Technology and Systems
status: public
title: The First 25 Years of the FPL Conference – Significant Papers
type: journal_article
user_id: '398'
year: '2017'
...
---
_id: '10601'
author:
- first_name: Ronald
full_name: F. DeMara, Ronald
last_name: F. DeMara
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Marco
full_name: Ottavi, Marco
last_name: Ottavi
citation:
ama: 'F. DeMara R, Platzner M, Ottavi M. Innovation in Reconfigurable Computing
Fabrics: from Devices to Architectures (guest editorial). IEEE Transactions
on Computers and IEEE Transactions on Emerging Topics in Computing. 2017.
doi:10.1109/TETC.2016.2641599'
apa: 'F. DeMara, R., Platzner, M., & Ottavi, M. (2017). Innovation in Reconfigurable
Computing Fabrics: from Devices to Architectures (guest editorial). IEEE Transactions
on Computers and IEEE Transactions on Emerging Topics in Computing. https://doi.org/10.1109/TETC.2016.2641599'
bibtex: '@article{F. DeMara_Platzner_Ottavi_2017, title={Innovation in Reconfigurable
Computing Fabrics: from Devices to Architectures (guest editorial)}, DOI={10.1109/TETC.2016.2641599},
journal={IEEE Transactions on Computers and IEEE Transactions on Emerging Topics
in Computing}, author={F. DeMara, Ronald and Platzner, Marco and Ottavi, Marco},
year={2017} }'
chicago: 'F. DeMara, Ronald, Marco Platzner, and Marco Ottavi. “Innovation in Reconfigurable
Computing Fabrics: From Devices to Architectures (Guest Editorial).” IEEE Transactions
on Computers and IEEE Transactions on Emerging Topics in Computing, 2017.
https://doi.org/10.1109/TETC.2016.2641599.'
ieee: 'R. F. DeMara, M. Platzner, and M. Ottavi, “Innovation in Reconfigurable Computing
Fabrics: from Devices to Architectures (guest editorial),” IEEE Transactions
on Computers and IEEE Transactions on Emerging Topics in Computing, 2017.'
mla: 'F. DeMara, Ronald, et al. “Innovation in Reconfigurable Computing Fabrics:
From Devices to Architectures (Guest Editorial).” IEEE Transactions on Computers
and IEEE Transactions on Emerging Topics in Computing, 2017, doi:10.1109/TETC.2016.2641599.'
short: R. F. DeMara, M. Platzner, M. Ottavi, IEEE Transactions on Computers and
IEEE Transactions on Emerging Topics in Computing (2017).
date_created: 2019-07-10T09:22:28Z
date_updated: 2022-01-06T06:50:47Z
department:
- _id: '78'
doi: 10.1109/TETC.2016.2641599
language:
- iso: eng
publication: IEEE Transactions on Computers and IEEE Transactions on Emerging Topics
in Computing
status: public
title: 'Innovation in Reconfigurable Computing Fabrics: from Devices to Architectures
(guest editorial)'
type: journal_article
user_id: '398'
year: '2017'
...
---
_id: '10611'
author:
- first_name: Jahanzeb
full_name: Anwer, Jahanzeb
last_name: Anwer
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: Anwer J, Platzner M. Evaluating fault-tolerance of redundant FPGA structures
using Boolean difference calculus. Microprocessors and Microsystems. 2017:160-172.
doi:10.1016/j.micpro.2017.06.002
apa: Anwer, J., & Platzner, M. (2017). Evaluating fault-tolerance of redundant
FPGA structures using Boolean difference calculus. Microprocessors and Microsystems,
160–172. https://doi.org/10.1016/j.micpro.2017.06.002
bibtex: '@article{Anwer_Platzner_2017, title={Evaluating fault-tolerance of redundant
FPGA structures using Boolean difference calculus}, DOI={10.1016/j.micpro.2017.06.002},
journal={Microprocessors and Microsystems}, publisher={Elsevier}, author={Anwer,
Jahanzeb and Platzner, Marco}, year={2017}, pages={160–172} }'
chicago: Anwer, Jahanzeb, and Marco Platzner. “Evaluating Fault-Tolerance of Redundant
FPGA Structures Using Boolean Difference Calculus.” Microprocessors and Microsystems,
2017, 160–72. https://doi.org/10.1016/j.micpro.2017.06.002.
ieee: J. Anwer and M. Platzner, “Evaluating fault-tolerance of redundant FPGA structures
using Boolean difference calculus,” Microprocessors and Microsystems, pp.
160–172, 2017.
mla: Anwer, Jahanzeb, and Marco Platzner. “Evaluating Fault-Tolerance of Redundant
FPGA Structures Using Boolean Difference Calculus.” Microprocessors and Microsystems,
Elsevier, 2017, pp. 160–72, doi:10.1016/j.micpro.2017.06.002.
short: J. Anwer, M. Platzner, Microprocessors and Microsystems (2017) 160–172.
date_created: 2019-07-10T09:23:11Z
date_updated: 2022-01-06T06:50:47Z
department:
- _id: '78'
doi: 10.1016/j.micpro.2017.06.002
language:
- iso: eng
page: 160-172
publication: Microprocessors and Microsystems
publisher: Elsevier
status: public
title: Evaluating fault-tolerance of redundant FPGA structures using Boolean difference
calculus
type: journal_article
user_id: '3118'
year: '2017'
...
---
_id: '10613'
author:
- first_name: Christian
full_name: Kaltschmidt, Christian
last_name: Kaltschmidt
citation:
ama: Kaltschmidt C. An AR-Based Training and Assessment System for Myoelectrical
Prosthetic Control. Paderborn University; 2017.
apa: Kaltschmidt, C. (2017). An AR-based Training and Assessment System for Myoelectrical
Prosthetic Control. Paderborn University.
bibtex: '@book{Kaltschmidt_2017, title={An AR-based Training and Assessment System
for Myoelectrical Prosthetic Control}, publisher={Paderborn University}, author={Kaltschmidt,
Christian}, year={2017} }'
chicago: Kaltschmidt, Christian. An AR-Based Training and Assessment System for
Myoelectrical Prosthetic Control. Paderborn University, 2017.
ieee: C. Kaltschmidt, An AR-based Training and Assessment System for Myoelectrical
Prosthetic Control. Paderborn University, 2017.
mla: Kaltschmidt, Christian. An AR-Based Training and Assessment System for Myoelectrical
Prosthetic Control. Paderborn University, 2017.
short: C. Kaltschmidt, An AR-Based Training and Assessment System for Myoelectrical
Prosthetic Control, Paderborn University, 2017.
date_created: 2019-07-10T09:25:11Z
date_updated: 2022-01-06T06:50:47Z
department:
- _id: '78'
language:
- iso: eng
publisher: Paderborn University
status: public
title: An AR-based Training and Assessment System for Myoelectrical Prosthetic Control
type: bachelorsthesis
user_id: '3118'
year: '2017'
...
---
_id: '1062'
author:
- first_name: Bernd
full_name: Frick, Bernd
last_name: Frick
- first_name: Olivier
full_name: Gergaud, Olivier
last_name: Gergaud
- first_name: Petra
full_name: Winter, Petra
last_name: Winter
citation:
ama: 'Frick B, Gergaud O, Winter P. The revenue potential of product differentiation:
Empirical evidence fro the Croation restaurant industry. Gastronomy and Tourism.
2017;2(4):259-271(13). doi:10.3727/216929717X15046207899410'
apa: 'Frick, B., Gergaud, O., & Winter, P. (2017). The revenue potential of
product differentiation: Empirical evidence fro the Croation restaurant industry.
Gastronomy and Tourism, 2(4), 259-271(13). https://doi.org/10.3727/216929717X15046207899410'
bibtex: '@article{Frick_Gergaud_Winter_2017, title={The revenue potential of product
differentiation: Empirical evidence fro the Croation restaurant industry}, volume={2},
DOI={10.3727/216929717X15046207899410},
number={4}, journal={Gastronomy and Tourism}, publisher={Cognizant Communication
Corporation}, author={Frick, Bernd and Gergaud, Olivier and Winter, Petra}, year={2017},
pages={259-271(13)} }'
chicago: 'Frick, Bernd, Olivier Gergaud, and Petra Winter. “The Revenue Potential
of Product Differentiation: Empirical Evidence Fro the Croation Restaurant Industry.”
Gastronomy and Tourism 2, no. 4 (2017): 259-271(13). https://doi.org/10.3727/216929717X15046207899410.'
ieee: 'B. Frick, O. Gergaud, and P. Winter, “The revenue potential of product differentiation:
Empirical evidence fro the Croation restaurant industry,” Gastronomy and Tourism,
vol. 2, no. 4, pp. 259-271(13), 2017.'
mla: 'Frick, Bernd, et al. “The Revenue Potential of Product Differentiation: Empirical
Evidence Fro the Croation Restaurant Industry.” Gastronomy and Tourism,
vol. 2, no. 4, Cognizant Communication Corporation, 2017, pp. 259-271(13), doi:10.3727/216929717X15046207899410.'
short: B. Frick, O. Gergaud, P. Winter, Gastronomy and Tourism 2 (2017) 259-271(13).
date_created: 2017-12-18T08:17:35Z
date_updated: 2022-01-06T06:50:48Z
ddc:
- '330'
department:
- _id: '183'
doi: 10.3727/216929717X15046207899410
file:
- access_level: closed
content_type: application/pdf
creator: bhoyer
date_created: 2018-11-21T09:43:33Z
date_updated: 2018-11-21T09:43:33Z
file_id: '5771'
file_name: frick_gergaud_matic_gat_2017.pdf
file_size: 79285
relation: main_file
file_date_updated: 2018-11-21T09:43:33Z
has_accepted_license: '1'
intvolume: ' 2'
issue: '4'
language:
- iso: eng
page: 259-271(13)
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '8'
name: SFB 901 - Subproject A4
publication: Gastronomy and Tourism
publisher: Cognizant Communication Corporation
status: public
title: 'The revenue potential of product differentiation: Empirical evidence fro the
Croation restaurant industry'
type: journal_article
user_id: '477'
volume: 2
year: '2017'
...
---
_id: '10630'
author:
- first_name: Alexander
full_name: Boschmann, Alexander
last_name: Boschmann
- first_name: Georg
full_name: Thombansen, Georg
last_name: Thombansen
- first_name: Linus Matthias
full_name: Witschen, Linus Matthias
id: '49051'
last_name: Witschen
- first_name: Alex
full_name: Wiens, Alex
last_name: Wiens
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Boschmann A, Thombansen G, Witschen LM, Wiens A, Platzner M. A Zynq-based
dynamically reconfigurable high density myoelectric prosthesis controller. In:
Design, Automation and Test in Europe (DATE). ; 2017. doi:10.23919/DATE.2017.7927137'
apa: Boschmann, A., Thombansen, G., Witschen, L. M., Wiens, A., & Platzner,
M. (2017). A Zynq-based dynamically reconfigurable high density myoelectric prosthesis
controller. In Design, Automation and Test in Europe (DATE). https://doi.org/10.23919/DATE.2017.7927137
bibtex: '@inproceedings{Boschmann_Thombansen_Witschen_Wiens_Platzner_2017, title={A
Zynq-based dynamically reconfigurable high density myoelectric prosthesis controller},
DOI={10.23919/DATE.2017.7927137},
booktitle={Design, Automation and Test in Europe (DATE)}, author={Boschmann, Alexander
and Thombansen, Georg and Witschen, Linus Matthias and Wiens, Alex and Platzner,
Marco}, year={2017} }'
chicago: Boschmann, Alexander, Georg Thombansen, Linus Matthias Witschen, Alex Wiens,
and Marco Platzner. “A Zynq-Based Dynamically Reconfigurable High Density Myoelectric
Prosthesis Controller.” In Design, Automation and Test in Europe (DATE),
2017. https://doi.org/10.23919/DATE.2017.7927137.
ieee: A. Boschmann, G. Thombansen, L. M. Witschen, A. Wiens, and M. Platzner, “A
Zynq-based dynamically reconfigurable high density myoelectric prosthesis controller,”
in Design, Automation and Test in Europe (DATE), 2017.
mla: Boschmann, Alexander, et al. “A Zynq-Based Dynamically Reconfigurable High
Density Myoelectric Prosthesis Controller.” Design, Automation and Test in
Europe (DATE), 2017, doi:10.23919/DATE.2017.7927137.
short: 'A. Boschmann, G. Thombansen, L.M. Witschen, A. Wiens, M. Platzner, in: Design,
Automation and Test in Europe (DATE), 2017.'
date_created: 2019-07-10T11:02:56Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
doi: 10.23919/DATE.2017.7927137
language:
- iso: eng
publication: Design, Automation and Test in Europe (DATE)
status: public
title: A Zynq-based dynamically reconfigurable high density myoelectric prosthesis
controller
type: conference
user_id: '3118'
year: '2017'
...
---
_id: '10666'
author:
- first_name: Umair
full_name: Riaz, Umair
last_name: Riaz
citation:
ama: Riaz U. Acceleration of Industrial Analytics Functions on a Platform FPGA.
Paderborn University; 2017.
apa: Riaz, U. (2017). Acceleration of Industrial Analytics Functions on a Platform
FPGA. Paderborn University.
bibtex: '@book{Riaz_2017, title={Acceleration of Industrial Analytics Functions
on a Platform FPGA}, publisher={Paderborn University}, author={Riaz, Umair}, year={2017}
}'
chicago: Riaz, Umair. Acceleration of Industrial Analytics Functions on a Platform
FPGA. Paderborn University, 2017.
ieee: U. Riaz, Acceleration of Industrial Analytics Functions on a Platform FPGA.
Paderborn University, 2017.
mla: Riaz, Umair. Acceleration of Industrial Analytics Functions on a Platform
FPGA. Paderborn University, 2017.
short: U. Riaz, Acceleration of Industrial Analytics Functions on a Platform FPGA,
Paderborn University, 2017.
date_created: 2019-07-10T11:15:10Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
language:
- iso: eng
publisher: Paderborn University
status: public
supervisor:
- first_name: Sebastian
full_name: Meisner, Sebastian
last_name: Meisner
title: Acceleration of Industrial Analytics Functions on a Platform FPGA
type: mastersthesis
user_id: '3118'
year: '2017'
...
---
_id: '10672'
author:
- first_name: Nam
full_name: Ho, Nam
last_name: Ho
- first_name: Ishraq Ibne
full_name: Ashraf, Ishraq Ibne
last_name: Ashraf
- first_name: Paul
full_name: Kaufmann, Paul
last_name: Kaufmann
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Ho N, Ashraf II, Kaufmann P, Platzner M. Accurate Private/Shared Classification
of Memory Accesses: a Run-time Analysis System for the LEON3 Multi-core Processor.
In: Proc. Design, Automation and Test in Europe Conf. (DATE). ; 2017. doi:10.23919/DATE.2017.7927096'
apa: 'Ho, N., Ashraf, I. I., Kaufmann, P., & Platzner, M. (2017). Accurate Private/Shared
Classification of Memory Accesses: a Run-time Analysis System for the LEON3 Multi-core
Processor. In Proc. Design, Automation and Test in Europe Conf. (DATE).
https://doi.org/10.23919/DATE.2017.7927096'
bibtex: '@inproceedings{Ho_Ashraf_Kaufmann_Platzner_2017, title={Accurate Private/Shared
Classification of Memory Accesses: a Run-time Analysis System for the LEON3 Multi-core
Processor}, DOI={10.23919/DATE.2017.7927096},
booktitle={Proc. Design, Automation and Test in Europe Conf. (DATE)}, author={Ho,
Nam and Ashraf, Ishraq Ibne and Kaufmann, Paul and Platzner, Marco}, year={2017}
}'
chicago: 'Ho, Nam, Ishraq Ibne Ashraf, Paul Kaufmann, and Marco Platzner. “Accurate
Private/Shared Classification of Memory Accesses: A Run-Time Analysis System for
the LEON3 Multi-Core Processor.” In Proc. Design, Automation and Test in Europe
Conf. (DATE), 2017. https://doi.org/10.23919/DATE.2017.7927096.'
ieee: 'N. Ho, I. I. Ashraf, P. Kaufmann, and M. Platzner, “Accurate Private/Shared
Classification of Memory Accesses: a Run-time Analysis System for the LEON3 Multi-core
Processor,” in Proc. Design, Automation and Test in Europe Conf. (DATE),
2017.'
mla: 'Ho, Nam, et al. “Accurate Private/Shared Classification of Memory Accesses:
A Run-Time Analysis System for the LEON3 Multi-Core Processor.” Proc. Design,
Automation and Test in Europe Conf. (DATE), 2017, doi:10.23919/DATE.2017.7927096.'
short: 'N. Ho, I.I. Ashraf, P. Kaufmann, M. Platzner, in: Proc. Design, Automation
and Test in Europe Conf. (DATE), 2017.'
date_created: 2019-07-10T11:17:58Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
doi: 10.23919/DATE.2017.7927096
language:
- iso: eng
publication: Proc. Design, Automation and Test in Europe Conf. (DATE)
status: public
title: 'Accurate Private/Shared Classification of Memory Accesses: a Run-time Analysis
System for the LEON3 Multi-core Processor'
type: conference
user_id: '3118'
year: '2017'
...
---
_id: '10676'
author:
- first_name: Nam
full_name: Ho, Nam
last_name: Ho
- first_name: Paul
full_name: Kaufmann, Paul
last_name: Kaufmann
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Ho N, Kaufmann P, Platzner M. Evolvable caches: Optimization of reconfigurable
cache mappings for a LEON3/Linux-based multi-core processor. In: 2017 International
Conference on Field Programmable Technology (ICFPT). ; 2017:215-218. doi:10.1109/FPT.2017.8280144'
apa: 'Ho, N., Kaufmann, P., & Platzner, M. (2017). Evolvable caches: Optimization
of reconfigurable cache mappings for a LEON3/Linux-based multi-core processor.
In 2017 International Conference on Field Programmable Technology (ICFPT)
(pp. 215–218). https://doi.org/10.1109/FPT.2017.8280144'
bibtex: '@inproceedings{Ho_Kaufmann_Platzner_2017, title={Evolvable caches: Optimization
of reconfigurable cache mappings for a LEON3/Linux-based multi-core processor},
DOI={10.1109/FPT.2017.8280144},
booktitle={2017 International Conference on Field Programmable Technology (ICFPT)},
author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2017}, pages={215–218}
}'
chicago: 'Ho, Nam, Paul Kaufmann, and Marco Platzner. “Evolvable Caches: Optimization
of Reconfigurable Cache Mappings for a LEON3/Linux-Based Multi-Core Processor.”
In 2017 International Conference on Field Programmable Technology (ICFPT),
215–18, 2017. https://doi.org/10.1109/FPT.2017.8280144.'
ieee: 'N. Ho, P. Kaufmann, and M. Platzner, “Evolvable caches: Optimization of reconfigurable
cache mappings for a LEON3/Linux-based multi-core processor,” in 2017 International
Conference on Field Programmable Technology (ICFPT), 2017, pp. 215–218.'
mla: 'Ho, Nam, et al. “Evolvable Caches: Optimization of Reconfigurable Cache Mappings
for a LEON3/Linux-Based Multi-Core Processor.” 2017 International Conference
on Field Programmable Technology (ICFPT), 2017, pp. 215–18, doi:10.1109/FPT.2017.8280144.'
short: 'N. Ho, P. Kaufmann, M. Platzner, in: 2017 International Conference on Field
Programmable Technology (ICFPT), 2017, pp. 215–218.'
date_created: 2019-07-10T11:22:59Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
doi: 10.1109/FPT.2017.8280144
keyword:
- Linux
- cache storage
- microprocessor chips
- multiprocessing systems
- LEON3-Linux based multicore processor
- MiBench suite
- block sizes
- cache adaptation
- evolvable caches
- memory-to-cache-index mapping function
- processor caches
- reconfigurable cache mapping optimization
- reconfigurable hardware technology
- replacement strategies
- standard Linux OS
- time a complete hardware implementation
- Hardware
- Indexes
- Linux
- Measurement
- Multicore processing
- Optimization
- Training
language:
- iso: eng
page: 215-218
publication: 2017 International Conference on Field Programmable Technology (ICFPT)
status: public
title: 'Evolvable caches: Optimization of reconfigurable cache mappings for a LEON3/Linux-based
multi-core processor'
type: conference
user_id: '398'
year: '2017'
...
---
_id: '1069'
author:
- first_name: Henning Cornelius
full_name: Petersen, Henning Cornelius
last_name: Petersen
citation:
ama: Petersen HC. Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine
ökonomische Analyse. Universität Paderborn; 2017.
apa: Petersen, H. C. (2017). Zu den Wechselwirkungen von Wettbewerb und Innovation
- Eine ökonomische Analyse. Universität Paderborn.
bibtex: '@book{Petersen_2017, title={Zu den Wechselwirkungen von Wettbewerb und
Innovation - Eine ökonomische Analyse}, publisher={Universität Paderborn}, author={Petersen,
Henning Cornelius}, year={2017} }'
chicago: Petersen, Henning Cornelius. Zu den Wechselwirkungen von Wettbewerb
und Innovation - Eine ökonomische Analyse. Universität Paderborn, 2017.
ieee: H. C. Petersen, Zu den Wechselwirkungen von Wettbewerb und Innovation -
Eine ökonomische Analyse. Universität Paderborn, 2017.
mla: Petersen, Henning Cornelius. Zu den Wechselwirkungen von Wettbewerb und
Innovation - Eine ökonomische Analyse. Universität Paderborn, 2017.
short: H.C. Petersen, Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine
ökonomische Analyse, Universität Paderborn, 2017.
date_created: 2017-12-19T09:47:48Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '280'
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '7'
name: SFB 901 - Subproject A3
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Burkhard
full_name: Hehenkamp, Burkhard
id: '37339'
last_name: Hehenkamp
title: Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine ökonomische Analyse
type: bachelorsthesis
user_id: '42447'
year: '2017'
...
---
_id: '10692'
author:
- first_name: Cong
full_name: Shen, Cong
last_name: Shen
- first_name: Paul
full_name: Kaufmann, Paul
last_name: Kaufmann
- first_name: Martin
full_name: Braun, Martin
last_name: Braun
citation:
ama: Shen C, Kaufmann P, Braun M. Three-Stage Power System Restoration Methodology
Considering Renewable Energies. Elsevier International Journal of Electrical
Power and Energy Systems (IJEPES). 2017.
apa: Shen, C., Kaufmann, P., & Braun, M. (2017). Three-Stage Power System Restoration
Methodology Considering Renewable Energies. Elsevier International Journal
of Electrical Power and Energy Systems (IJEPES).
bibtex: '@article{Shen_Kaufmann_Braun_2017, title={Three-Stage Power System Restoration
Methodology Considering Renewable Energies}, journal={Elsevier International Journal
of Electrical Power and Energy Systems (IJEPES)}, author={Shen, Cong and Kaufmann,
Paul and Braun, Martin}, year={2017} }'
chicago: Shen, Cong, Paul Kaufmann, and Martin Braun. “Three-Stage Power System
Restoration Methodology Considering Renewable Energies.” Elsevier International
Journal of Electrical Power and Energy Systems (IJEPES), 2017.
ieee: C. Shen, P. Kaufmann, and M. Braun, “Three-Stage Power System Restoration
Methodology Considering Renewable Energies,” Elsevier International Journal
of Electrical Power and Energy Systems (IJEPES), 2017.
mla: Shen, Cong, et al. “Three-Stage Power System Restoration Methodology Considering
Renewable Energies.” Elsevier International Journal of Electrical Power and
Energy Systems (IJEPES), 2017.
short: C. Shen, P. Kaufmann, M. Braun, Elsevier International Journal of Electrical
Power and Energy Systems (IJEPES) (2017).
date_created: 2019-07-10T11:29:58Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
publication: Elsevier International Journal of Electrical Power and Energy Systems
(IJEPES)
status: public
title: Three-Stage Power System Restoration Methodology Considering Renewable Energies
type: journal_article
user_id: '3118'
year: '2017'
...