[{"file":[{"date_created":"2018-11-28T06:54:11Z","file_name":"LSA_Yin_2017.pdf","access_level":"closed","file_size":2285477,"file_id":"5918","creator":"zentgraf","date_updated":"2018-11-28T06:54:11Z","content_type":"application/pdf","success":1,"relation":"main_file"}],"author":[{"last_name":"Yin","first_name":"Xinghui","full_name":"Yin, Xinghui"},{"last_name":"Steinle","full_name":"Steinle, Tobias","first_name":"Tobias"},{"first_name":"Lingling","full_name":"Huang, Lingling","last_name":"Huang"},{"first_name":"Thomas","full_name":"Taubner, Thomas","last_name":"Taubner"},{"last_name":"Wuttig","first_name":"Matthias","full_name":"Wuttig, Matthias"},{"last_name":"Zentgraf","id":"30525","first_name":"Thomas","orcid":"0000-0002-8662-1101","full_name":"Zentgraf, Thomas"},{"first_name":"Harald","full_name":"Giessen, Harald","last_name":"Giessen"}],"publisher":"Springer Nature","publication":"Light: Science & Applications","file_date_updated":"2018-11-28T06:54:11Z","has_accepted_license":"1","status":"public","date_created":"2017-11-13T07:35:37Z","volume":6,"user_id":"30525","ddc":["530"],"citation":{"ieee":"X. Yin et al., “Beam switching and bifocal zoom lensing using active plasmonic metasurfaces,” Light: Science & Applications, vol. 6, no. 7, 2017.","short":"X. Yin, T. Steinle, L. Huang, T. Taubner, M. Wuttig, T. Zentgraf, H. Giessen, Light: Science & Applications 6 (2017).","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} }","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.","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.","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","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"},"year":"2017","type":"journal_article","_id":"679","intvolume":" 6","issue":"7","article_number":"e17016","publication_identifier":{"issn":["2047-7538"]},"publication_status":"published","title":"Beam switching and bifocal zoom lensing using active plasmonic metasurfaces","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:19Z","doi":"10.1038/lsa.2017.16"},{"file":[{"creator":"ups","file_id":"5324","file_size":806356,"relation":"main_file","success":1,"content_type":"application/pdf","date_updated":"2018-11-02T16:08:17Z","date_created":"2018-11-02T16:08:17Z","file_name":"a61-isenberg.pdf","access_level":"closed"}],"file_date_updated":"2018-11-02T16:08:17Z","publication":"ACM Transactions on Design Automation of Electronic Systems","author":[{"full_name":"Isenberg, Tobias","first_name":"Tobias","last_name":"Isenberg"},{"full_name":"Platzner, Marco","first_name":"Marco","id":"398","last_name":"Platzner"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"},{"last_name":"Wiersema","id":"3118","first_name":"Tobias","full_name":"Wiersema, Tobias"}],"publisher":"ACM","date_created":"2017-10-17T12:41:04Z","has_accepted_license":"1","status":"public","abstract":[{"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.","lang":"eng"}],"user_id":"3118","ddc":["000"],"page":"61:1--61:23","year":"2017","type":"journal_article","citation":{"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} }","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.","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","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","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.","short":"T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23."},"_id":"68","issue":"4","department":[{"_id":"77"},{"_id":"78"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"title":"Proof-Carrying Hardware via Inductive Invariants","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:20Z","doi":"10.1145/3054743"},{"has_accepted_license":"1","status":"public","date_created":"2017-11-13T07:36:01Z","volume":17,"file":[{"file_size":3398275,"file_id":"3917","creator":"fossie","date_updated":"2018-08-21T10:41:58Z","content_type":"application/pdf","relation":"main_file","date_created":"2018-08-16T08:07:31Z","file_name":"2017-08 Peter - Nano Letters - Directional Emission from Dielectric Leaky-Wave Antennas.pdf","access_level":"open_access"}],"author":[{"first_name":"Manuel","full_name":"Peter, Manuel","last_name":"Peter"},{"last_name":"Hildebrandt","first_name":"Andre","full_name":"Hildebrandt, Andre"},{"id":"59792","last_name":"Schlickriede","full_name":"Schlickriede, Christian","first_name":"Christian"},{"last_name":"Gharib","full_name":"Gharib, Kimia","first_name":"Kimia"},{"full_name":"Zentgraf, Thomas","orcid":"0000-0002-8662-1101","first_name":"Thomas","id":"30525","last_name":"Zentgraf"},{"first_name":"Jens","orcid":"0000-0001-7059-9862","full_name":"Förstner, Jens","last_name":"Förstner","id":"158"},{"full_name":"Linden, Stefan","first_name":"Stefan","last_name":"Linden"}],"publisher":"American Chemical Society (ACS)","publication":"Nano Letters","keyword":["tet_topic_opticalantenna"],"file_date_updated":"2018-08-21T10:41:58Z","user_id":"158","ddc":["530"],"citation":{"ieee":"M. Peter et al., “Directional Emission from Dielectric Leaky-Wave Nanoantennas,” Nano Letters, vol. 17, no. 7, pp. 4178–4183, 2017.","short":"M. Peter, A. Hildebrandt, C. Schlickriede, K. Gharib, T. Zentgraf, J. Förstner, S. Linden, Nano Letters 17 (2017) 4178–4183.","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} }","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.","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","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."},"year":"2017","type":"journal_article","page":"4178-4183","issue":"7","intvolume":" 17","_id":"680","urn":"6808","project":[{"_id":"53","name":"TRR 142"},{"_id":"56","name":"TRR 142 - Project Area C"},{"_id":"74","name":"TRR 142 - Subproject C4"}],"publication_status":"published","publication_identifier":{"issn":["1530-6984","1530-6992"]},"department":[{"_id":"61"},{"_id":"289"}],"title":"Directional Emission from Dielectric Leaky-Wave Nanoantennas","language":[{"iso":"eng"}],"oa":"1","doi":"10.1021/acs.nanolett.7b00966","date_updated":"2022-01-06T07:03:20Z"},{"intvolume":" 25","_id":"681","date_updated":"2022-01-06T07:03:21Z","article_number":"14300","doi":"10.1364/oe.25.014300","issue":"13","type":"journal_article","citation":{"short":"Q. Guo, C. Schlickriede, D. Wang, H. Liu, Y. Xiang, T. Zentgraf, S. Zhang, Optics Express 25 (2017).","ieee":"Q. Guo et al., “Manipulation of vector beam polarization with geometric metasurfaces,” Optics Express, vol. 25, no. 13, 2017.","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","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","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.","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.","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} }"},"year":"2017","title":"Manipulation of vector beam polarization with geometric metasurfaces","user_id":"30525","author":[{"full_name":"Guo, Qinghua","first_name":"Qinghua","last_name":"Guo"},{"first_name":"Christian","full_name":"Schlickriede, Christian","last_name":"Schlickriede","id":"59792"},{"last_name":"Wang","first_name":"Dongyang","full_name":"Wang, Dongyang"},{"last_name":"Liu","full_name":"Liu, Hongchao","first_name":"Hongchao"},{"last_name":"Xiang","full_name":"Xiang, Yuanjiang","first_name":"Yuanjiang"},{"id":"30525","last_name":"Zentgraf","full_name":"Zentgraf, Thomas","orcid":"0000-0002-8662-1101","first_name":"Thomas"},{"last_name":"Zhang","first_name":"Shuang","full_name":"Zhang, Shuang"}],"publisher":"The Optical Society","publication":"Optics Express","publication_identifier":{"issn":["1094-4087"]},"publication_status":"published","volume":25,"status":"public","date_created":"2017-11-13T07:44:26Z"},{"user_id":"20798","publisher":"American Physical Society (APS)","author":[{"last_name":"Weber","first_name":"Nils","full_name":"Weber, Nils"},{"last_name":"Protte","full_name":"Protte, Maximilian","first_name":"Maximilian"},{"full_name":"Walter, Felicitas","first_name":"Felicitas","last_name":"Walter"},{"last_name":"Georgi","first_name":"Philip","full_name":"Georgi, Philip"},{"last_name":"Zentgraf","id":"30525","first_name":"Thomas","orcid":"0000-0002-8662-1101","full_name":"Zentgraf, Thomas"},{"last_name":"Meier","id":"20798","first_name":"Cedrik","orcid":"https://orcid.org/0000-0002-3787-3572","full_name":"Meier, Cedrik"}],"publication":"Physical Review B","status":"public","date_created":"2017-11-13T07:44:52Z","volume":95,"intvolume":" 95","_id":"682","issue":"20","type":"journal_article","year":"2017","citation":{"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.","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} }","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","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","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.","short":"N. Weber, M. Protte, F. Walter, P. Georgi, T. Zentgraf, C. Meier, Physical Review B 95 (2017)."},"title":"Double resonant plasmonic nanoantennas for efficient second harmonic generation in zinc oxide","department":[{"_id":"15"},{"_id":"35"},{"_id":"230"},{"_id":"287"},{"_id":"289"}],"project":[{"_id":"53","name":"TRR 142"},{"name":"TRR 142 - Project Area A","_id":"54"},{"name":"TRR 142 - Subproject A5","_id":"62"}],"publication_status":"published","publication_identifier":{"issn":["2469-9950","2469-9969"]},"date_updated":"2022-01-06T07:03:21Z","doi":"10.1103/physrevb.95.205307","language":[{"iso":"eng"}]},{"title":"Nonlinear photonic metasurfaces","user_id":"30525","publication_identifier":{"issn":["2058-8437"]},"volume":2,"publication_status":"published","date_created":"2017-11-13T07:45:13Z","status":"public","publication":"Nature Reviews Materials","publisher":"Springer Nature","author":[{"last_name":"Li","full_name":"Li, Guixin","first_name":"Guixin"},{"last_name":"Zhang","full_name":"Zhang, Shuang","first_name":"Shuang"},{"orcid":"0000-0002-8662-1101","full_name":"Zentgraf, Thomas","first_name":"Thomas","id":"30525","last_name":"Zentgraf"}],"doi":"10.1038/natrevmats.2017.10","article_number":"17010","issue":"5","_id":"683","intvolume":" 2","date_updated":"2022-01-06T07:03:21Z","year":"2017","citation":{"ieee":"G. Li, S. Zhang, and T. Zentgraf, “Nonlinear photonic metasurfaces,” Nature Reviews Materials, vol. 2, no. 5, 2017.","short":"G. Li, S. Zhang, T. Zentgraf, Nature Reviews Materials 2 (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.","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.","apa":"Li, G., Zhang, S., & Zentgraf, T. (2017). Nonlinear photonic metasurfaces. Nature Reviews Materials, 2(5). https://doi.org/10.1038/natrevmats.2017.10","ama":"Li G, Zhang S, Zentgraf T. Nonlinear photonic metasurfaces. Nature Reviews Materials. 2017;2(5). doi:10.1038/natrevmats.2017.10"},"type":"journal_article"},{"date_created":"2017-11-13T07:45:40Z","status":"public","volume":17,"publication":"Nano Letters","publisher":"American Chemical Society (ACS)","author":[{"last_name":"Walter","full_name":"Walter, Felicitas","first_name":"Felicitas"},{"first_name":"Guixin","full_name":"Li, Guixin","last_name":"Li"},{"orcid":"https://orcid.org/0000-0002-3787-3572","full_name":"Meier, Cedrik","first_name":"Cedrik","id":"20798","last_name":"Meier"},{"first_name":"Shuang","full_name":"Zhang, Shuang","last_name":"Zhang"},{"orcid":"0000-0002-8662-1101","full_name":"Zentgraf, Thomas","first_name":"Thomas","id":"30525","last_name":"Zentgraf"}],"user_id":"20798","page":"3171-3175","citation":{"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.","short":"F. Walter, G. Li, C. Meier, S. Zhang, T. Zentgraf, Nano Letters 17 (2017) 3171–3175.","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} }","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.","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","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."},"type":"journal_article","year":"2017","issue":"5","intvolume":" 17","_id":"684","project":[{"_id":"53","name":"TRR 142"},{"_id":"54","name":"TRR 142 - Project Area A"},{"name":"TRR 142 - Subproject A5","_id":"62"}],"publication_status":"published","publication_identifier":{"issn":["1530-6984","1530-6992"]},"department":[{"_id":"15"},{"_id":"230"},{"_id":"287"},{"_id":"289"},{"_id":"35"}],"title":"Ultrathin Nonlinear Metasurface for Optical Image Encoding","language":[{"iso":"eng"}],"doi":"10.1021/acs.nanolett.7b00676","date_updated":"2022-01-06T07:03:21Z"},{"user_id":"477","ddc":["040"],"title":"On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring","file":[{"date_updated":"2018-03-14T12:26:52Z","content_type":"application/pdf","relation":"main_file","success":1,"file_size":11828624,"creator":"florida","file_id":"1211","access_level":"closed","file_name":"685-Dissertation-Jakobs.pdf","date_created":"2018-03-14T12:26:52Z"}],"file_date_updated":"2018-03-14T12:26:52Z","department":[{"_id":"77"}],"publisher":"Universität Paderborn","author":[{"last_name":"Jakobs","full_name":"Jakobs, Marie-Christine","first_name":"Marie-Christine"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"date_created":"2017-11-13T08:13:29Z","has_accepted_license":"1","status":"public","date_updated":"2022-01-06T07:03:22Z","_id":"685","doi":"10.17619/UNIPB/1-104","supervisor":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"citation":{"short":"M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.","ieee":"M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017.","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","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","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.","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.","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} }"},"type":"dissertation","year":"2017"},{"citation":{"short":"M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56.","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.","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.","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","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.","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} }"},"type":"journal_article","year":"2017","page":"7:1-7:56","issue":"2","_id":"69","has_accepted_license":"1","status":"public","date_created":"2017-10-17T12:41:04Z","publisher":"ACM","author":[{"full_name":"Jakobs, Marie-Christine","first_name":"Marie-Christine","last_name":"Jakobs"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"publication":"ACM Transactions on Programming Languages and Systems","file_date_updated":"2018-03-21T13:15:09Z","file":[{"date_updated":"2018-03-21T13:15:09Z","content_type":"application/pdf","success":1,"relation":"main_file","file_size":1215139,"file_id":"1575","creator":"florida","access_level":"closed","file_name":"69-a7-jakobs.pdf","date_created":"2018-03-21T13:15:09Z"}],"ddc":["040"],"user_id":"477","abstract":[{"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.","lang":"eng"}],"language":[{"iso":"eng"}],"doi":"10.1145/3014427","date_updated":"2022-01-06T07:03:23Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"department":[{"_id":"77"}],"title":"Programs from Proofs: A Framework for the Safe Execution of Untrusted Software"},{"user_id":"14052","title":"On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen","status":"public","date_created":"2017-11-14T06:57:49Z","author":[{"last_name":"Nowack","full_name":"Nowack, Joshua","first_name":"Joshua"}],"publisher":"Universität Paderborn","department":[{"_id":"63"}],"date_updated":"2022-01-06T07:03:23Z","_id":"695","language":[{"iso":"ger"}],"year":"2017","citation":{"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} }","mla":"Nowack, Joshua. On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen. Universität Paderborn, 2017.","chicago":"Nowack, Joshua. 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.","ama":"Nowack J. 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.","short":"J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen, Universität Paderborn, 2017."},"type":"bachelorsthesis"},{"user_id":"477","title":"Das Mobile Server Problem in Netzwerken","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt A1","_id":"5"},{"name":"SFB 901 - Project Area A","_id":"2"}],"date_created":"2017-11-14T06:58:39Z","status":"public","publisher":"Universität Paderborn","author":[{"full_name":"Wachowiak, Lennart","first_name":"Lennart","last_name":"Wachowiak"}],"_id":"696","date_updated":"2022-01-06T07:03:24Z","language":[{"iso":"ger"}],"year":"2017","citation":{"chicago":"Wachowiak, Lennart. Das Mobile Server Problem in Netzwerken. Universität Paderborn, 2017.","apa":"Wachowiak, L. (2017). Das Mobile Server Problem in Netzwerken. Universität Paderborn.","ama":"Wachowiak L. Das Mobile Server Problem in Netzwerken. Universität Paderborn; 2017.","mla":"Wachowiak, Lennart. Das Mobile Server Problem in Netzwerken. Universität Paderborn, 2017.","bibtex":"@book{Wachowiak_2017, title={Das Mobile Server Problem in Netzwerken}, publisher={Universität Paderborn}, author={Wachowiak, Lennart}, year={2017} }","short":"L. Wachowiak, Das Mobile Server Problem in Netzwerken, Universität Paderborn, 2017.","ieee":"L. Wachowiak, Das Mobile Server Problem in Netzwerken. Universität Paderborn, 2017."},"type":"bachelorsthesis"},{"title":"Untersuchungen zum Cone-Hashing","user_id":"477","author":[{"last_name":"Burkhardt","full_name":"Burkhardt, Michel","first_name":"Michel"}],"publisher":"Universität Paderborn","status":"public","date_created":"2017-11-14T08:01:41Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt A1","_id":"5"},{"name":"SFB 901 - Project Area A","_id":"2"}],"date_updated":"2022-01-06T07:03:24Z","_id":"697","citation":{"short":"M. Burkhardt, Untersuchungen zum Cone-Hashing, Universität Paderborn, 2017.","ieee":"M. Burkhardt, Untersuchungen zum Cone-Hashing. Universität Paderborn, 2017.","ama":"Burkhardt M. Untersuchungen zum Cone-Hashing. Universität Paderborn; 2017.","apa":"Burkhardt, M. (2017). Untersuchungen zum Cone-Hashing. Universität Paderborn.","chicago":"Burkhardt, Michel. Untersuchungen zum Cone-Hashing. Universität Paderborn, 2017.","bibtex":"@book{Burkhardt_2017, title={Untersuchungen zum Cone-Hashing}, publisher={Universität Paderborn}, author={Burkhardt, Michel}, year={2017} }","mla":"Burkhardt, Michel. Untersuchungen zum Cone-Hashing. Universität Paderborn, 2017."},"type":"bachelorsthesis","year":"2017","language":[{"iso":"ger"}]},{"place":"Paderborn","user_id":"15415","title":"Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)","author":[{"first_name":"Jürgen","full_name":"Gausemeier, Jürgen","last_name":"Gausemeier"},{"first_name":"Eric","full_name":"Bodden, Eric","last_name":"Bodden"},{"last_name":" Dressler","first_name":"Falko","full_name":" Dressler, Falko"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"},{"id":"15523","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm"},{"first_name":"Christoph","full_name":"Scheytt, Christoph","last_name":"Scheytt"},{"last_name":"Trächtler","full_name":"Trächtler, Ansgar","first_name":"Ansgar"}],"department":[{"_id":"63"}],"status":"public","date_created":"2020-04-07T06:36:06Z","publication_status":"published","date_updated":"2022-01-06T06:52:50Z","_id":"16444","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}","language":[{"iso":"eng"}],"citation":{"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}} }","mla":"Gausemeier, Jürgen, et al. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). 2017.","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.","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.","ama":"Gausemeier J, Bodden E, Dressler F, et al. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Paderborn; 2017.","ieee":"J. Gausemeier et al., Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Paderborn, 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."},"type":"book","year":"2017","page":"369"},{"year":"2017","type":"book_chapter","citation":{"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} }","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.","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.","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","ieee":"P. Bemmann et al., “Monitoring of Domain-Related Problems in Distributed Data Streams,” in Structural Information and Communication Complexity, Cham, 2017.","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."},"language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:50Z","_id":"16461","doi":"10.1007/978-3-319-72050-0_13","author":[{"first_name":"Pascal","full_name":"Bemmann, Pascal","last_name":"Bemmann"},{"last_name":"Biermeier","first_name":"Felix","full_name":"Biermeier, Felix"},{"full_name":"Bürmann, Jan","first_name":"Jan","last_name":"Bürmann"},{"full_name":"Kemper, Arne","first_name":"Arne","last_name":"Kemper"},{"first_name":"Till","orcid":"0000-0003-2014-4696","full_name":"Knollmann, Till","last_name":"Knollmann","id":"39241"},{"first_name":"Steffen","full_name":"Knorr, Steffen","last_name":"Knorr"},{"last_name":"Kothe","full_name":"Kothe, Nils","first_name":"Nils"},{"last_name":"Mäcker","id":"13536","first_name":"Alexander","full_name":"Mäcker, Alexander"},{"last_name":"Malatyali","id":"41265","first_name":"Manuel","full_name":"Malatyali, Manuel"},{"last_name":"Meyer auf der Heide","id":"15523","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm"},{"full_name":"Riechers, Sören","first_name":"Sören","last_name":"Riechers"},{"full_name":"Schaefer, Johannes Sebastian","first_name":"Johannes Sebastian","id":"30291","last_name":"Schaefer"},{"full_name":"Sundermeier, Jannik","first_name":"Jannik","id":"38705","last_name":"Sundermeier"}],"department":[{"_id":"63"}],"publication":"Structural Information and Communication Complexity","publication_identifier":{"isbn":["9783319720494","9783319720500"],"issn":["0302-9743","1611-3349"]},"publication_status":"published","status":"public","date_created":"2020-04-08T07:20:20Z","place":"Cham","external_id":{"arxiv":["arXiv:1706.03568 "]},"title":"Monitoring of Domain-Related Problems in Distributed Data Streams","user_id":"15415"},{"place":"Stuttgart ","user_id":"282","title":"Finanzierung und Investition","edition":"2","publisher":"UTB","status":"public","date_created":"2018-03-22T14:12:59Z","editor":[{"first_name":"Wilhelm","full_name":"Schmeisser, Wilhelm","last_name":"Schmeisser"},{"full_name":"Krimphove, Dieter","first_name":"Dieter","id":"282","last_name":"Krimphove"},{"full_name":"Zündorf, Horst","first_name":"Horst","last_name":"Zündorf"},{"full_name":"Toebe, Marc","first_name":"Marc","last_name":"Toebe"},{"last_name":"Hannemann","full_name":"Hannemann, Gerfried","first_name":"Gerfried"}],"_id":"1648","date_updated":"2022-01-06T06:52:50Z","year":"2017","type":"book_editor","citation":{"ieee":"W. Schmeisser, D. Krimphove, H. Zündorf, M. Toebe, and G. Hannemann, Eds., Finanzierung und Investition, 2nd ed. Stuttgart : UTB, 2017.","short":"W. Schmeisser, D. Krimphove, H. Zündorf, M. Toebe, G. Hannemann, eds., Finanzierung Und Investition, 2nd ed., UTB, Stuttgart , 2017.","mla":"Schmeisser, Wilhelm, et al., editors. Finanzierung Und Investition. 2nd ed., UTB, 2017.","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.","apa":"Schmeisser, W., Krimphove, D., Zündorf, H., Toebe, M., & Hannemann, G. (Eds.). (2017). Finanzierung und Investition (2nd ed.). Stuttgart : UTB.","ama":"Schmeisser W, Krimphove D, Zündorf H, Toebe M, Hannemann G, eds. Finanzierung Und Investition. 2nd ed. Stuttgart : UTB; 2017."},"page":"260"},{"user_id":"15701","title":"Sensing and control in symmetric networks","date_created":"2020-04-15T08:40:29Z","status":"public","publication_status":"published","publication_identifier":{"issn":["1468-9367","1468-9375"]},"publication":"Dynamical Systems","department":[{"_id":"101"}],"author":[{"full_name":"Dellnitz, Michael","first_name":"Michael","last_name":"Dellnitz"},{"first_name":"Stefan","full_name":"Klus, Stefan","last_name":"Klus"}],"doi":"10.1080/14689367.2016.1215410","date_updated":"2022-01-06T06:52:52Z","_id":"16540","language":[{"iso":"eng"}],"page":"61-79","year":"2017","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","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.","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} }","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.","ieee":"M. Dellnitz and S. Klus, “Sensing and control in symmetric networks,” Dynamical Systems, pp. 61–79, 2017."},"type":"journal_article"},{"user_id":"15701","title":"A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty","publication":"SIAM Journal on Applied Dynamical Systems","department":[{"_id":"101"}],"author":[{"first_name":"Michael","full_name":"Dellnitz, Michael","last_name":"Dellnitz"},{"first_name":"Stefan","full_name":"Klus, Stefan","last_name":"Klus"},{"last_name":"Ziessler","full_name":"Ziessler, Adrian","first_name":"Adrian"}],"date_created":"2020-04-16T05:39:17Z","status":"public","publication_identifier":{"issn":["1536-0040"]},"publication_status":"published","date_updated":"2022-01-06T06:52:52Z","_id":"16581","doi":"10.1137/16m1072735","language":[{"iso":"eng"}],"page":"120-138","year":"2017","type":"journal_article","citation":{"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","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","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.","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.","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} }","short":"M. Dellnitz, S. Klus, A. Ziessler, SIAM Journal on Applied Dynamical Systems (2017) 120–138.","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."}},{"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).","user_id":"15701","publication":"IFAC-PapersOnLine","department":[{"_id":"101"}],"author":[{"last_name":"Peitz","full_name":"Peitz, Sebastian","first_name":"Sebastian"},{"last_name":"Schäfer","full_name":"Schäfer, Kai","first_name":"Kai"},{"first_name":"Sina","full_name":"Ober-Blöbaum, Sina","last_name":"Ober-Blöbaum"},{"last_name":"Eckstein","full_name":"Eckstein, Julian","first_name":"Julian"},{"last_name":"Köhler","first_name":"Ulrich","full_name":"Köhler, Ulrich"},{"last_name":"Dellnitz","first_name":"Michael","full_name":"Dellnitz, Michael"}],"publication_identifier":{"issn":["2405-8963"]},"publication_status":"published","date_created":"2020-04-16T09:30:56Z","status":"public","date_updated":"2022-01-06T06:52:53Z","_id":"16657","doi":"10.1016/j.ifacol.2017.08.1526","page":"8674-8679","type":"journal_article","year":"2017","citation":{"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.","short":"S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, M. Dellnitz, IFAC-PapersOnLine (2017) 8674–8679.","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} }","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.","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","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."},"language":[{"iso":"eng"}]},{"status":"public","date_created":"2020-04-21T13:31:20Z","author":[{"full_name":"Dietrich, André","first_name":"André","last_name":"Dietrich"},{"full_name":"Nacke, Bernard","first_name":"Bernard","last_name":"Nacke"},{"first_name":"Florian","full_name":"Pfeifer, Florian","last_name":"Pfeifer","id":"22717"},{"full_name":"Marten, Thorsten","first_name":"Thorsten","id":"338","last_name":"Marten"},{"id":"553","last_name":"Tröster","full_name":"Tröster, Thomas","first_name":"Thomas"}],"department":[{"_id":"149"},{"_id":"321"},{"_id":"9"}],"title":"Investigation of geometrical discontinuities in blanks for hot sheet metal forming process under the influence of induction heating","user_id":"338","citation":{"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} }","mla":"Dietrich, André, et al. Investigation of Geometrical Discontinuities in Blanks for Hot Sheet Metal Forming Process under the Influence of Induction Heating. 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.","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.","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.","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.","short":"A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, T. Tröster, in: 2017."},"type":"conference","year":"2017","language":[{"iso":"eng"}],"_id":"16791","date_updated":"2022-01-06T06:52:56Z","conference":{"name":"5th International Conference on Steels in Cars and Trucks","start_date":"2017-06-18","location":"Noordwijkerhout/Amsterdam","end_date":"2017-06-22"}},{"status":"public","date_created":"2020-04-21T13:35:46Z","author":[{"full_name":"Dietrich, André","first_name":"André","last_name":"Dietrich"},{"last_name":"Nacke","full_name":"Nacke, Bernard","first_name":"Bernard"},{"id":"22717","last_name":"Pfeifer","full_name":"Pfeifer, Florian","first_name":"Florian"},{"last_name":"Marten","id":"338","first_name":"Thorsten","full_name":"Marten, Thorsten"},{"last_name":"Tröster","id":"553","first_name":"Thomas","full_name":"Tröster, Thomas"}],"department":[{"_id":"149"}],"user_id":"22717","title":"Effects of Holes in Blanks for Press Hardening Process due to Induction Heating","language":[{"iso":"eng"}],"type":"conference","citation":{"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.","short":"A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, T. Tröster, in: 2017.","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} }","mla":"Dietrich, André, et al. Effects of Holes in Blanks for Press Hardening Process Due to Induction Heating. 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.","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."},"year":"2017","date_updated":"2022-01-06T06:52:56Z","_id":"16792","conference":{"start_date":"2017-06-06","name":"XVIII International UIE-Congress Electrotechnologies for Material Processing","location":"Hannover","end_date":"2017-06-09"}}]