--- _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' ...