[{"date_created":"2017-10-17T12:41:43Z","file":[{"success":1,"content_type":"application/pdf","file_id":"1483","date_updated":"2018-03-21T09:35:34Z","relation":"main_file","file_size":554583,"access_level":"closed","file_name":"262-mainSACfinal.pdf","date_created":"2018-03-21T09:35:34Z","creator":"florida"}],"department":[{"_id":"77"}],"type":"conference","publication":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","abstract":[{"lang":"eng","text":"Programs from Proofs\" is a generic method which generates new programs out of correctness proofs of given programs. The technique ensures that the new and given program are behaviorally equivalent and that the new program is easily verifiable, thus serving as an alternative to proof-carrying code concepts. So far, this generic method has one instantiation that verifies type-state properties of programs. In this paper, we present a whole range of new instantiations, all based on data ow analyses. More precisely, we show how an imprecise but fast data ow analysis can be enhanced with a predicate analysis as to yield a precise but expensive analysis. Out of the safety proofs of this analysis, we generate new programs, again behaviorally equivalent to the given ones, which are easily verifiable\" in the sense that now the data ow analysis alone can yield precise results. An experimental evaluation practically supports our claim of easy verification."}],"language":[{"iso":"eng"}],"series_title":"SAC '15","doi":"10.1145/2695664.2695690","author":[{"last_name":"Jakobs","first_name":"Marie-Christine","full_name":"Jakobs, Marie-Christine"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"title":"Programs from Proofs of Predicated Dataflow Analyses","year":"2015","date_updated":"2022-01-06T06:57:18Z","citation":{"ama":"Jakobs M-C, Wehrheim H. Programs from Proofs of Predicated Dataflow Analyses. In: <i>Proceedings of the 30th Annual ACM Symposium on Applied Computing</i>. SAC ’15. ; 2015:1729-1736. doi:<a href=\"https://doi.org/10.1145/2695664.2695690\">10.1145/2695664.2695690</a>","bibtex":"@inproceedings{Jakobs_Wehrheim_2015, series={SAC ’15}, title={Programs from Proofs of Predicated Dataflow Analyses}, DOI={<a href=\"https://doi.org/10.1145/2695664.2695690\">10.1145/2695664.2695690</a>}, booktitle={Proceedings of the 30th Annual ACM Symposium on Applied Computing}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2015}, pages={1729–1736}, collection={SAC ’15} }","mla":"Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.” <i>Proceedings of the 30th Annual ACM Symposium on Applied Computing</i>, 2015, pp. 1729–36, doi:<a href=\"https://doi.org/10.1145/2695664.2695690\">10.1145/2695664.2695690</a>.","chicago":"Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.” In <i>Proceedings of the 30th Annual ACM Symposium on Applied Computing</i>, 1729–36. SAC ’15, 2015. <a href=\"https://doi.org/10.1145/2695664.2695690\">https://doi.org/10.1145/2695664.2695690</a>.","short":"M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.","apa":"Jakobs, M.-C., &#38; Wehrheim, H. (2015). Programs from Proofs of Predicated Dataflow Analyses. In <i>Proceedings of the 30th Annual ACM Symposium on Applied Computing</i> (pp. 1729–1736). <a href=\"https://doi.org/10.1145/2695664.2695690\">https://doi.org/10.1145/2695664.2695690</a>","ieee":"M.-C. Jakobs and H. Wehrheim, “Programs from Proofs of Predicated Dataflow Analyses,” in <i>Proceedings of the 30th Annual ACM Symposium on Applied Computing</i>, 2015, pp. 1729–1736."},"file_date_updated":"2018-03-21T09:35:34Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"262","page":"1729-1736","ddc":["040"],"user_id":"477","status":"public","has_accepted_license":"1"},{"citation":{"mla":"Peitz, Christoph. <i>Systematik zur Entwicklung einer produktlebenszyklusorientierten Geschäftsmodell-Roadmap</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","bibtex":"@book{Peitz_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Systematik zur Entwicklung einer produktlebenszyklusorientierten Geschäftsmodell-Roadmap}, volume={337}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Peitz, Christoph}, year={2015}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","ama":"Peitz C. <i>Systematik zur Entwicklung einer produktlebenszyklusorientierten Geschäftsmodell-Roadmap</i>. Vol 337. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2015.","ieee":"C. Peitz, <i>Systematik zur Entwicklung einer produktlebenszyklusorientierten Geschäftsmodell-Roadmap</i>, vol. 337. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","apa":"Peitz, C. (2015). <i>Systematik zur Entwicklung einer produktlebenszyklusorientierten Geschäftsmodell-Roadmap</i> (Vol. 337). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","short":"C. Peitz, Systematik zur Entwicklung einer produktlebenszyklusorientierten Geschäftsmodell-Roadmap, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","chicago":"Peitz, Christoph. <i>Systematik zur Entwicklung einer produktlebenszyklusorientierten Geschäftsmodell-Roadmap</i>. Vol. 337. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015."},"department":[{"_id":"26"}],"type":"dissertation","date_created":"2021-10-15T09:24:37Z","intvolume":"       337","date_updated":"2022-01-06T06:57:18Z","author":[{"last_name":"Peitz","first_name":"Christoph","full_name":"Peitz, Christoph"}],"year":"2015","status":"public","title":"Systematik zur Entwicklung einer produktlebenszyklusorientierten Geschäftsmodell-Roadmap","volume":337,"user_id":"60046","_id":"26222","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","language":[{"iso":"ger"}]},{"citation":{"ieee":"R. Dorociak, <i>Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit fortschrittlicher mechatronischer Systeme</i>, vol. 340. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","apa":"Dorociak, R. (2015). <i>Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit fortschrittlicher mechatronischer Systeme</i> (Vol. 340). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","short":"R. Dorociak, Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit fortschrittlicher mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","chicago":"Dorociak, Rafal. <i>Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit fortschrittlicher mechatronischer Systeme</i>. Vol. 340. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","mla":"Dorociak, Rafal. <i>Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit fortschrittlicher mechatronischer Systeme</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","bibtex":"@book{Dorociak_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit fortschrittlicher mechatronischer Systeme}, volume={340}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Dorociak, Rafal}, year={2015}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","ama":"Dorociak R. <i>Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit fortschrittlicher mechatronischer Systeme</i>. Vol 340. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2015."},"date_created":"2021-10-15T09:27:44Z","department":[{"_id":"26"}],"type":"dissertation","author":[{"full_name":"Dorociak, Rafal","first_name":"Rafal","last_name":"Dorociak"}],"title":"Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit fortschrittlicher mechatronischer Systeme","year":"2015","status":"public","intvolume":"       340","date_updated":"2022-01-06T06:57:18Z","_id":"26227","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","language":[{"iso":"ger"}],"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","volume":340,"user_id":"60046"},{"year":"2015","title":"Augmented & Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR ","status":"public","author":[{"last_name":"Gausemeier","first_name":"Jürgen","full_name":"Gausemeier, Jürgen"},{"full_name":"Grafe, Michael","first_name":"Michael","last_name":"Grafe"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm","last_name":"Meyer auf der Heide"}],"date_updated":"2022-01-06T06:57:18Z","intvolume":"       342","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","_id":"26229","language":[{"iso":"ger"}],"publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","user_id":"60046","volume":342,"citation":{"chicago":"Gausemeier, Jürgen, Michael Grafe, and Friedhelm Meyer auf der Heide. <i>Augmented &#38; Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR </i>. Vol. 342. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","short":"J. Gausemeier, M. Grafe, F. Meyer auf der Heide, Augmented &#38; Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR , Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","apa":"Gausemeier, J., Grafe, M., &#38; Meyer auf der Heide, F. (2015). <i>Augmented &#38; Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR </i> (Vol. 342). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","ieee":"J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, <i>Augmented &#38; Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR </i>, vol. 342. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","ama":"Gausemeier J, Grafe M, Meyer auf der Heide F. <i>Augmented &#38; Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR </i>. Vol 342. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2015.","bibtex":"@book{Gausemeier_Grafe_Meyer auf der Heide_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Augmented &#38; Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR }, volume={342}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm}, year={2015}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","mla":"Gausemeier, Jürgen, et al. <i>Augmented &#38; Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR </i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015."},"date_created":"2021-10-15T09:28:48Z","type":"book","department":[{"_id":"26"}]},{"user_id":"60046","volume":346,"_id":"26233","language":[{"iso":"ger"}],"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","date_updated":"2022-01-06T06:57:18Z","intvolume":"       346","year":"2015","status":"public","title":"Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter Technischer Systeme","author":[{"first_name":"Mareen","last_name":"Vaßholz","full_name":"Vaßholz, Mareen"}],"type":"dissertation","department":[{"_id":"26"}],"date_created":"2021-10-15T09:31:45Z","citation":{"ama":"Vaßholz M. <i>Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter Technischer Systeme</i>. Vol 346. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2015.","bibtex":"@book{Vaßholz_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter Technischer Systeme}, volume={346}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Vaßholz, Mareen}, year={2015}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","mla":"Vaßholz, Mareen. <i>Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter Technischer Systeme</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","short":"M. Vaßholz, Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter Technischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","chicago":"Vaßholz, Mareen. <i>Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter Technischer Systeme</i>. Vol. 346. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","apa":"Vaßholz, M. (2015). <i>Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter Technischer Systeme</i> (Vol. 346). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","ieee":"M. Vaßholz, <i>Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter Technischer Systeme</i>, vol. 346. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015."}},{"user_id":"60046","volume":348,"_id":"26234","language":[{"iso":"eng"}],"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","date_updated":"2022-01-06T06:57:18Z","intvolume":"       348","title":"Verification and Simulation of Self-Adaptive Mechatronic Systems","year":"2015","status":"public","author":[{"full_name":"Heinzemann, Christian","first_name":"Christian","last_name":"Heinzemann"}],"type":"dissertation","department":[{"_id":"26"}],"date_created":"2021-10-15T09:33:11Z","citation":{"ama":"Heinzemann C. <i>Verification and Simulation of Self-Adaptive Mechatronic Systems</i>. Vol 348. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2015.","bibtex":"@book{Heinzemann_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Verification and Simulation of Self-Adaptive Mechatronic Systems}, volume={348}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Heinzemann, Christian}, year={2015}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","mla":"Heinzemann, Christian. <i>Verification and Simulation of Self-Adaptive Mechatronic Systems</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","short":"C. Heinzemann, Verification and Simulation of Self-Adaptive Mechatronic Systems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","chicago":"Heinzemann, Christian. <i>Verification and Simulation of Self-Adaptive Mechatronic Systems</i>. Vol. 348. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.","apa":"Heinzemann, C. (2015). <i>Verification and Simulation of Self-Adaptive Mechatronic Systems</i> (Vol. 348). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","ieee":"C. Heinzemann, <i>Verification and Simulation of Self-Adaptive Mechatronic Systems</i>, vol. 348. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015."}},{"status":"public","year":"2015","title":"Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation","author":[{"full_name":"Hallmann, Corinna","first_name":"Corinna","last_name":"Hallmann"},{"full_name":"Suhl, Leena","last_name":"Suhl","first_name":"Leena"}],"date_updated":"2022-01-06T06:57:19Z","has_accepted_license":"1","page":"1-19","_id":"263","publisher":"Springer","user_id":"477","doi":"10.1007/s00291-015-0403-1","ddc":["040"],"file_date_updated":"2018-03-21T09:35:03Z","publication":"OR Spectrum","citation":{"short":"C. Hallmann, L. Suhl, OR Spectrum (2015) 1–19.","chicago":"Hallmann, Corinna, and Leena Suhl. “Optimizing Water Tanks in Water Distribution Systems by Combining Network Reduction, Mathematical Optimization and Hydraulic Simulation.” <i>OR Spectrum</i>, 2015, 1–19. <a href=\"https://doi.org/10.1007/s00291-015-0403-1\">https://doi.org/10.1007/s00291-015-0403-1</a>.","ieee":"C. Hallmann and L. Suhl, “Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation,” <i>OR Spectrum</i>, pp. 1–19, 2015.","apa":"Hallmann, C., &#38; Suhl, L. (2015). Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation. <i>OR Spectrum</i>, 1–19. <a href=\"https://doi.org/10.1007/s00291-015-0403-1\">https://doi.org/10.1007/s00291-015-0403-1</a>","bibtex":"@article{Hallmann_Suhl_2015, title={Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation}, DOI={<a href=\"https://doi.org/10.1007/s00291-015-0403-1\">10.1007/s00291-015-0403-1</a>}, journal={OR Spectrum}, publisher={Springer}, author={Hallmann, Corinna and Suhl, Leena}, year={2015}, pages={1–19} }","ama":"Hallmann C, Suhl L. Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation. <i>OR Spectrum</i>. 2015:1-19. doi:<a href=\"https://doi.org/10.1007/s00291-015-0403-1\">10.1007/s00291-015-0403-1</a>","mla":"Hallmann, Corinna, and Leena Suhl. “Optimizing Water Tanks in Water Distribution Systems by Combining Network Reduction, Mathematical Optimization and Hydraulic Simulation.” <i>OR Spectrum</i>, Springer, 2015, pp. 1–19, doi:<a href=\"https://doi.org/10.1007/s00291-015-0403-1\">10.1007/s00291-015-0403-1</a>."},"abstract":[{"text":"In the last two decades, water consumption in Germany has been decreasing, which causes the water tanks and pipes in water distribution systems to work inefficiently. This paper proposes a method that supports the planning process for tanks in water distribution systems. The method uses a combination of network reduction, mathematical optimization and hydraulic simulation. The mathematical optimization model is a non-convex Mixed Integer Quadratically Constrained Program (MIQCP) that is solved by a piecewise linearization. As this may lead to many binary variables and therefore high computing times, the size of the water distribution system model is reduced before building the optimization model. After applying several network reduction techniques and using a piecewise approximation of the original model, there may be some hydraulic differences between the original network model and the reduced network model. To make sure that the solution obtained in the optimization process is feasible in the original water distribution system model, the solution is verified by a hydraulic simulation. If the solution is not feasible, the reduced model has to be modified and solved again until the hydraulic simulation verifies a solution as feasible. In this paper, each of these processes is described and the results indicate the usefulness of each of them.","lang":"eng"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt C3","_id":"15"},{"name":"SFB 901 - Project Area C","_id":"4"}],"file":[{"date_created":"2018-03-21T09:35:03Z","creator":"florida","file_id":"1482","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-03-21T09:35:03Z","file_name":"263-Hallmann_-_Optimizing_water_tanks_in_water_distribution_systems.pdf","access_level":"closed","file_size":430920}],"date_created":"2017-10-17T12:41:43Z","type":"journal_article"},{"_id":"26330","language":[{"iso":"eng"}],"doi":"10.1103/physreva.92.053835","user_id":"75127","publication_identifier":{"issn":["1050-2947","1094-1622"]},"author":[{"full_name":"Lipfert, T.","last_name":"Lipfert","first_name":"T."},{"last_name":"Sperling","first_name":"Jan","orcid":"0000-0002-5844-3205","full_name":"Sperling, Jan","id":"75127"},{"full_name":"Vogel, W.","last_name":"Vogel","first_name":"W."}],"year":"2015","title":"Homodyne detection with on-off detector systems","status":"public","date_updated":"2022-01-06T06:57:19Z","publication_status":"published","date_created":"2021-10-15T16:48:31Z","type":"journal_article","citation":{"chicago":"Lipfert, T., Jan Sperling, and W. Vogel. “Homodyne Detection with On-off Detector Systems.” <i>Physical Review A</i>, 2015. <a href=\"https://doi.org/10.1103/physreva.92.053835\">https://doi.org/10.1103/physreva.92.053835</a>.","short":"T. Lipfert, J. Sperling, W. Vogel, Physical Review A (2015).","apa":"Lipfert, T., Sperling, J., &#38; Vogel, W. (2015). Homodyne detection with on-off detector systems. <i>Physical Review A</i>. <a href=\"https://doi.org/10.1103/physreva.92.053835\">https://doi.org/10.1103/physreva.92.053835</a>","ieee":"T. Lipfert, J. Sperling, and W. Vogel, “Homodyne detection with on-off detector systems,” <i>Physical Review A</i>, 2015, doi: <a href=\"https://doi.org/10.1103/physreva.92.053835\">10.1103/physreva.92.053835</a>.","ama":"Lipfert T, Sperling J, Vogel W. Homodyne detection with on-off detector systems. <i>Physical Review A</i>. Published online 2015. doi:<a href=\"https://doi.org/10.1103/physreva.92.053835\">10.1103/physreva.92.053835</a>","bibtex":"@article{Lipfert_Sperling_Vogel_2015, title={Homodyne detection with on-off detector systems}, DOI={<a href=\"https://doi.org/10.1103/physreva.92.053835\">10.1103/physreva.92.053835</a>}, journal={Physical Review A}, author={Lipfert, T. and Sperling, Jan and Vogel, W.}, year={2015} }","mla":"Lipfert, T., et al. “Homodyne Detection with On-off Detector Systems.” <i>Physical Review A</i>, 2015, doi:<a href=\"https://doi.org/10.1103/physreva.92.053835\">10.1103/physreva.92.053835</a>."},"publication":"Physical Review A","extern":"1"},{"type":"journal_article","date_created":"2021-10-15T16:48:53Z","extern":"1","publication":"Physical Review A","citation":{"ieee":"E. Agudelo, J. Sperling, W. Vogel, S. Köhnke, M. Mraz, and B. Hage, “Continuous sampling of the squeezed-state nonclassicality,” <i>Physical Review A</i>, 2015, doi: <a href=\"https://doi.org/10.1103/physreva.92.033837\">10.1103/physreva.92.033837</a>.","mla":"Agudelo, E., et al. “Continuous Sampling of the Squeezed-State Nonclassicality.” <i>Physical Review A</i>, 2015, doi:<a href=\"https://doi.org/10.1103/physreva.92.033837\">10.1103/physreva.92.033837</a>.","apa":"Agudelo, E., Sperling, J., Vogel, W., Köhnke, S., Mraz, M., &#38; Hage, B. (2015). Continuous sampling of the squeezed-state nonclassicality. <i>Physical Review A</i>. <a href=\"https://doi.org/10.1103/physreva.92.033837\">https://doi.org/10.1103/physreva.92.033837</a>","bibtex":"@article{Agudelo_Sperling_Vogel_Köhnke_Mraz_Hage_2015, title={Continuous sampling of the squeezed-state nonclassicality}, DOI={<a href=\"https://doi.org/10.1103/physreva.92.033837\">10.1103/physreva.92.033837</a>}, journal={Physical Review A}, author={Agudelo, E. and Sperling, Jan and Vogel, W. and Köhnke, S. and Mraz, M. and Hage, B.}, year={2015} }","chicago":"Agudelo, E., Jan Sperling, W. Vogel, S. Köhnke, M. Mraz, and B. Hage. “Continuous Sampling of the Squeezed-State Nonclassicality.” <i>Physical Review A</i>, 2015. <a href=\"https://doi.org/10.1103/physreva.92.033837\">https://doi.org/10.1103/physreva.92.033837</a>.","ama":"Agudelo E, Sperling J, Vogel W, Köhnke S, Mraz M, Hage B. Continuous sampling of the squeezed-state nonclassicality. <i>Physical Review A</i>. Published online 2015. doi:<a href=\"https://doi.org/10.1103/physreva.92.033837\">10.1103/physreva.92.033837</a>","short":"E. Agudelo, J. Sperling, W. Vogel, S. Köhnke, M. Mraz, B. Hage, Physical Review A (2015)."},"doi":"10.1103/physreva.92.033837","user_id":"75127","language":[{"iso":"eng"}],"_id":"26331","date_updated":"2022-01-06T06:57:19Z","publication_status":"published","year":"2015","title":"Continuous sampling of the squeezed-state nonclassicality","status":"public","publication_identifier":{"issn":["1050-2947","1094-1622"]},"author":[{"first_name":"E.","last_name":"Agudelo","full_name":"Agudelo, E."},{"full_name":"Sperling, Jan","orcid":"0000-0002-5844-3205","last_name":"Sperling","first_name":"Jan","id":"75127"},{"full_name":"Vogel, W.","first_name":"W.","last_name":"Vogel"},{"full_name":"Köhnke, S.","last_name":"Köhnke","first_name":"S."},{"full_name":"Mraz, M.","first_name":"M.","last_name":"Mraz"},{"full_name":"Hage, B.","last_name":"Hage","first_name":"B."}]},{"publication_identifier":{"issn":["1050-2947","1094-1622"]},"author":[{"full_name":"Ryl, S.","first_name":"S.","last_name":"Ryl"},{"id":"75127","full_name":"Sperling, Jan","orcid":"0000-0002-5844-3205","last_name":"Sperling","first_name":"Jan"},{"first_name":"E.","last_name":"Agudelo","full_name":"Agudelo, E."},{"full_name":"Mraz, M.","first_name":"M.","last_name":"Mraz"},{"full_name":"Köhnke, S.","first_name":"S.","last_name":"Köhnke"},{"full_name":"Hage, B.","first_name":"B.","last_name":"Hage"},{"full_name":"Vogel, W.","first_name":"W.","last_name":"Vogel"}],"year":"2015","title":"Unified nonclassicality criteria","status":"public","publication_status":"published","date_updated":"2022-01-06T06:57:19Z","language":[{"iso":"eng"}],"_id":"26332","user_id":"75127","doi":"10.1103/physreva.92.011801","citation":{"short":"S. Ryl, J. Sperling, E. Agudelo, M. Mraz, S. Köhnke, B. Hage, W. Vogel, Physical Review A (2015).","chicago":"Ryl, S., Jan Sperling, E. Agudelo, M. Mraz, S. Köhnke, B. Hage, and W. Vogel. “Unified Nonclassicality Criteria.” <i>Physical Review A</i>, 2015. <a href=\"https://doi.org/10.1103/physreva.92.011801\">https://doi.org/10.1103/physreva.92.011801</a>.","ieee":"S. Ryl <i>et al.</i>, “Unified nonclassicality criteria,” <i>Physical Review A</i>, 2015, doi: <a href=\"https://doi.org/10.1103/physreva.92.011801\">10.1103/physreva.92.011801</a>.","apa":"Ryl, S., Sperling, J., Agudelo, E., Mraz, M., Köhnke, S., Hage, B., &#38; Vogel, W. (2015). Unified nonclassicality criteria. <i>Physical Review A</i>. <a href=\"https://doi.org/10.1103/physreva.92.011801\">https://doi.org/10.1103/physreva.92.011801</a>","bibtex":"@article{Ryl_Sperling_Agudelo_Mraz_Köhnke_Hage_Vogel_2015, title={Unified nonclassicality criteria}, DOI={<a href=\"https://doi.org/10.1103/physreva.92.011801\">10.1103/physreva.92.011801</a>}, journal={Physical Review A}, author={Ryl, S. and Sperling, Jan and Agudelo, E. and Mraz, M. and Köhnke, S. and Hage, B. and Vogel, W.}, year={2015} }","ama":"Ryl S, Sperling J, Agudelo E, et al. Unified nonclassicality criteria. <i>Physical Review A</i>. Published online 2015. doi:<a href=\"https://doi.org/10.1103/physreva.92.011801\">10.1103/physreva.92.011801</a>","mla":"Ryl, S., et al. “Unified Nonclassicality Criteria.” <i>Physical Review A</i>, 2015, doi:<a href=\"https://doi.org/10.1103/physreva.92.011801\">10.1103/physreva.92.011801</a>."},"publication":"Physical Review A","extern":"1","date_created":"2021-10-15T16:49:18Z","type":"journal_article"},{"user_id":"75127","doi":"10.1088/0031-8949/90/7/074024","language":[{"iso":"eng"}],"_id":"26334","article_number":"074024","publication_status":"published","date_updated":"2022-01-06T06:57:19Z","author":[{"id":"75127","full_name":"Sperling, Jan","orcid":"0000-0002-5844-3205","first_name":"Jan","last_name":"Sperling"},{"first_name":"W","last_name":"Vogel","full_name":"Vogel, W"}],"publication_identifier":{"issn":["0031-8949","1402-4896"]},"title":"Convex ordering and quantification of quantumness","status":"public","year":"2015","type":"journal_article","date_created":"2021-10-15T16:50:22Z","extern":"1","citation":{"chicago":"Sperling, Jan, and W Vogel. “Convex Ordering and Quantification of Quantumness.” <i>Physica Scripta</i>, 2015. <a href=\"https://doi.org/10.1088/0031-8949/90/7/074024\">https://doi.org/10.1088/0031-8949/90/7/074024</a>.","ama":"Sperling J, Vogel W. Convex ordering and quantification of quantumness. <i>Physica Scripta</i>. Published online 2015. doi:<a href=\"https://doi.org/10.1088/0031-8949/90/7/074024\">10.1088/0031-8949/90/7/074024</a>","short":"J. Sperling, W. Vogel, Physica Scripta (2015).","bibtex":"@article{Sperling_Vogel_2015, title={Convex ordering and quantification of quantumness}, DOI={<a href=\"https://doi.org/10.1088/0031-8949/90/7/074024\">10.1088/0031-8949/90/7/074024</a>}, number={074024}, journal={Physica Scripta}, author={Sperling, Jan and Vogel, W}, year={2015} }","mla":"Sperling, Jan, and W. Vogel. “Convex Ordering and Quantification of Quantumness.” <i>Physica Scripta</i>, 074024, 2015, doi:<a href=\"https://doi.org/10.1088/0031-8949/90/7/074024\">10.1088/0031-8949/90/7/074024</a>.","apa":"Sperling, J., &#38; Vogel, W. (2015). Convex ordering and quantification of quantumness. <i>Physica Scripta</i>, Article 074024. <a href=\"https://doi.org/10.1088/0031-8949/90/7/074024\">https://doi.org/10.1088/0031-8949/90/7/074024</a>","ieee":"J. Sperling and W. Vogel, “Convex ordering and quantification of quantumness,” <i>Physica Scripta</i>, Art. no. 074024, 2015, doi: <a href=\"https://doi.org/10.1088/0031-8949/90/7/074024\">10.1088/0031-8949/90/7/074024</a>."},"publication":"Physica Scripta"},{"doi":"10.1103/physreva.91.042332","user_id":"75127","_id":"26335","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:57:19Z","publication_status":"published","year":"2015","title":"Entanglement and phase properties of noisy NOON states","status":"public","author":[{"first_name":"M.","last_name":"Bohmann","full_name":"Bohmann, M."},{"full_name":"Sperling, Jan","orcid":"0000-0002-5844-3205","first_name":"Jan","last_name":"Sperling","id":"75127"},{"first_name":"W.","last_name":"Vogel","full_name":"Vogel, W."}],"publication_identifier":{"issn":["1050-2947","1094-1622"]},"type":"journal_article","date_created":"2021-10-15T16:50:49Z","extern":"1","publication":"Physical Review A","citation":{"chicago":"Bohmann, M., Jan Sperling, and W. Vogel. “Entanglement and Phase Properties of Noisy NOON States.” <i>Physical Review A</i>, 2015. <a href=\"https://doi.org/10.1103/physreva.91.042332\">https://doi.org/10.1103/physreva.91.042332</a>.","short":"M. Bohmann, J. Sperling, W. Vogel, Physical Review A (2015).","ieee":"M. Bohmann, J. Sperling, and W. Vogel, “Entanglement and phase properties of noisy NOON states,” <i>Physical Review A</i>, 2015, doi: <a href=\"https://doi.org/10.1103/physreva.91.042332\">10.1103/physreva.91.042332</a>.","apa":"Bohmann, M., Sperling, J., &#38; Vogel, W. (2015). Entanglement and phase properties of noisy NOON states. <i>Physical Review A</i>. <a href=\"https://doi.org/10.1103/physreva.91.042332\">https://doi.org/10.1103/physreva.91.042332</a>","bibtex":"@article{Bohmann_Sperling_Vogel_2015, title={Entanglement and phase properties of noisy NOON states}, DOI={<a href=\"https://doi.org/10.1103/physreva.91.042332\">10.1103/physreva.91.042332</a>}, journal={Physical Review A}, author={Bohmann, M. and Sperling, Jan and Vogel, W.}, year={2015} }","ama":"Bohmann M, Sperling J, Vogel W. Entanglement and phase properties of noisy NOON states. <i>Physical Review A</i>. Published online 2015. doi:<a href=\"https://doi.org/10.1103/physreva.91.042332\">10.1103/physreva.91.042332</a>","mla":"Bohmann, M., et al. “Entanglement and Phase Properties of Noisy NOON States.” <i>Physical Review A</i>, 2015, doi:<a href=\"https://doi.org/10.1103/physreva.91.042332\">10.1103/physreva.91.042332</a>."}},{"doi":"10.1103/physreva.91.042324","user_id":"75127","language":[{"iso":"eng"}],"_id":"26336","date_updated":"2022-01-06T06:57:19Z","publication_status":"published","year":"2015","status":"public","title":"Entanglement witnesses for indistinguishable particles","publication_identifier":{"issn":["1050-2947","1094-1622"]},"author":[{"first_name":"A.","last_name":"Reusch","full_name":"Reusch, A."},{"full_name":"Sperling, Jan","first_name":"Jan","last_name":"Sperling","orcid":"0000-0002-5844-3205","id":"75127"},{"full_name":"Vogel, W.","first_name":"W.","last_name":"Vogel"}],"type":"journal_article","date_created":"2021-10-15T16:51:11Z","extern":"1","publication":"Physical Review A","citation":{"mla":"Reusch, A., et al. “Entanglement Witnesses for Indistinguishable Particles.” <i>Physical Review A</i>, 2015, doi:<a href=\"https://doi.org/10.1103/physreva.91.042324\">10.1103/physreva.91.042324</a>.","ama":"Reusch A, Sperling J, Vogel W. Entanglement witnesses for indistinguishable particles. <i>Physical Review A</i>. Published online 2015. doi:<a href=\"https://doi.org/10.1103/physreva.91.042324\">10.1103/physreva.91.042324</a>","bibtex":"@article{Reusch_Sperling_Vogel_2015, title={Entanglement witnesses for indistinguishable particles}, DOI={<a href=\"https://doi.org/10.1103/physreva.91.042324\">10.1103/physreva.91.042324</a>}, journal={Physical Review A}, author={Reusch, A. and Sperling, Jan and Vogel, W.}, year={2015} }","apa":"Reusch, A., Sperling, J., &#38; Vogel, W. (2015). Entanglement witnesses for indistinguishable particles. <i>Physical Review A</i>. <a href=\"https://doi.org/10.1103/physreva.91.042324\">https://doi.org/10.1103/physreva.91.042324</a>","ieee":"A. Reusch, J. Sperling, and W. Vogel, “Entanglement witnesses for indistinguishable particles,” <i>Physical Review A</i>, 2015, doi: <a href=\"https://doi.org/10.1103/physreva.91.042324\">10.1103/physreva.91.042324</a>.","short":"A. Reusch, J. Sperling, W. Vogel, Physical Review A (2015).","chicago":"Reusch, A., Jan Sperling, and W. Vogel. “Entanglement Witnesses for Indistinguishable Particles.” <i>Physical Review A</i>, 2015. <a href=\"https://doi.org/10.1103/physreva.91.042324\">https://doi.org/10.1103/physreva.91.042324</a>."}},{"doi":"10.1103/physrevlett.114.103602","user_id":"75127","language":[{"iso":"eng"}],"_id":"26337","date_updated":"2022-01-06T06:57:19Z","publication_status":"published","publication_identifier":{"issn":["0031-9007","1079-7114"]},"author":[{"last_name":"Luis","first_name":"Alfredo","full_name":"Luis, Alfredo"},{"full_name":"Sperling, Jan","first_name":"Jan","last_name":"Sperling","orcid":"0000-0002-5844-3205","id":"75127"},{"last_name":"Vogel","first_name":"Werner","full_name":"Vogel, Werner"}],"title":"Nonclassicality Phase-Space Functions: More Insight with Fewer Detectors","status":"public","year":"2015","type":"journal_article","date_created":"2021-10-15T16:51:31Z","extern":"1","citation":{"mla":"Luis, Alfredo, et al. “Nonclassicality Phase-Space Functions: More Insight with Fewer Detectors.” <i>Physical Review Letters</i>, 2015, doi:<a href=\"https://doi.org/10.1103/physrevlett.114.103602\">10.1103/physrevlett.114.103602</a>.","ama":"Luis A, Sperling J, Vogel W. Nonclassicality Phase-Space Functions: More Insight with Fewer Detectors. <i>Physical Review Letters</i>. Published online 2015. doi:<a href=\"https://doi.org/10.1103/physrevlett.114.103602\">10.1103/physrevlett.114.103602</a>","bibtex":"@article{Luis_Sperling_Vogel_2015, title={Nonclassicality Phase-Space Functions: More Insight with Fewer Detectors}, DOI={<a href=\"https://doi.org/10.1103/physrevlett.114.103602\">10.1103/physrevlett.114.103602</a>}, journal={Physical Review Letters}, author={Luis, Alfredo and Sperling, Jan and Vogel, Werner}, year={2015} }","apa":"Luis, A., Sperling, J., &#38; Vogel, W. (2015). Nonclassicality Phase-Space Functions: More Insight with Fewer Detectors. <i>Physical Review Letters</i>. <a href=\"https://doi.org/10.1103/physrevlett.114.103602\">https://doi.org/10.1103/physrevlett.114.103602</a>","ieee":"A. Luis, J. Sperling, and W. Vogel, “Nonclassicality Phase-Space Functions: More Insight with Fewer Detectors,” <i>Physical Review Letters</i>, 2015, doi: <a href=\"https://doi.org/10.1103/physrevlett.114.103602\">10.1103/physrevlett.114.103602</a>.","chicago":"Luis, Alfredo, Jan Sperling, and Werner Vogel. “Nonclassicality Phase-Space Functions: More Insight with Fewer Detectors.” <i>Physical Review Letters</i>, 2015. <a href=\"https://doi.org/10.1103/physrevlett.114.103602\">https://doi.org/10.1103/physrevlett.114.103602</a>.","short":"A. Luis, J. Sperling, W. Vogel, Physical Review Letters (2015)."},"publication":"Physical Review Letters"},{"type":"journal_article","date_created":"2021-10-15T16:52:04Z","extern":"1","publication":"EPL (Europhysics Letters)","citation":{"ama":"Sperling J, Vogel W, Agarwal GS. Balanced homodyne detection with on-off detector systems: Observable nonclassicality criteria. <i>EPL (Europhysics Letters)</i>. Published online 2015. doi:<a href=\"https://doi.org/10.1209/0295-5075/109/34001\">10.1209/0295-5075/109/34001</a>","bibtex":"@article{Sperling_Vogel_Agarwal_2015, title={Balanced homodyne detection with on-off detector systems: Observable nonclassicality criteria}, DOI={<a href=\"https://doi.org/10.1209/0295-5075/109/34001\">10.1209/0295-5075/109/34001</a>}, number={34001}, journal={EPL (Europhysics Letters)}, author={Sperling, Jan and Vogel, W. and Agarwal, G. S.}, year={2015} }","mla":"Sperling, Jan, et al. “Balanced Homodyne Detection with On-off Detector Systems: Observable Nonclassicality Criteria.” <i>EPL (Europhysics Letters)</i>, 34001, 2015, doi:<a href=\"https://doi.org/10.1209/0295-5075/109/34001\">10.1209/0295-5075/109/34001</a>.","short":"J. Sperling, W. Vogel, G.S. Agarwal, EPL (Europhysics Letters) (2015).","chicago":"Sperling, Jan, W. Vogel, and G. S. Agarwal. “Balanced Homodyne Detection with On-off Detector Systems: Observable Nonclassicality Criteria.” <i>EPL (Europhysics Letters)</i>, 2015. <a href=\"https://doi.org/10.1209/0295-5075/109/34001\">https://doi.org/10.1209/0295-5075/109/34001</a>.","apa":"Sperling, J., Vogel, W., &#38; Agarwal, G. S. (2015). Balanced homodyne detection with on-off detector systems: Observable nonclassicality criteria. <i>EPL (Europhysics Letters)</i>, Article 34001. <a href=\"https://doi.org/10.1209/0295-5075/109/34001\">https://doi.org/10.1209/0295-5075/109/34001</a>","ieee":"J. Sperling, W. Vogel, and G. S. Agarwal, “Balanced homodyne detection with on-off detector systems: Observable nonclassicality criteria,” <i>EPL (Europhysics Letters)</i>, Art. no. 34001, 2015, doi: <a href=\"https://doi.org/10.1209/0295-5075/109/34001\">10.1209/0295-5075/109/34001</a>."},"user_id":"75127","doi":"10.1209/0295-5075/109/34001","article_number":"34001","language":[{"iso":"eng"}],"_id":"26338","publication_status":"published","date_updated":"2022-01-06T06:57:19Z","status":"public","title":"Balanced homodyne detection with on-off detector systems: Observable nonclassicality criteria","year":"2015","publication_identifier":{"issn":["0295-5075","1286-4854"]},"author":[{"id":"75127","orcid":"0000-0002-5844-3205","first_name":"Jan","last_name":"Sperling","full_name":"Sperling, Jan"},{"full_name":"Vogel, W.","first_name":"W.","last_name":"Vogel"},{"full_name":"Agarwal, G. S.","first_name":"G. S.","last_name":"Agarwal"}]},{"date_created":"2021-10-15T16:52:29Z","type":"journal_article","publication":"Physical Review Letters","citation":{"mla":"Gerke, S., et al. “Full Multipartite Entanglement of Frequency-Comb Gaussian States.” <i>Physical Review Letters</i>, 2015, doi:<a href=\"https://doi.org/10.1103/physrevlett.114.050501\">10.1103/physrevlett.114.050501</a>.","bibtex":"@article{Gerke_Sperling_Vogel_Cai_Roslund_Treps_Fabre_2015, title={Full Multipartite Entanglement of Frequency-Comb Gaussian States}, DOI={<a href=\"https://doi.org/10.1103/physrevlett.114.050501\">10.1103/physrevlett.114.050501</a>}, journal={Physical Review Letters}, author={Gerke, S. and Sperling, Jan and Vogel, W. and Cai, Y. and Roslund, J. and Treps, N. and Fabre, C.}, year={2015} }","ama":"Gerke S, Sperling J, Vogel W, et al. Full Multipartite Entanglement of Frequency-Comb Gaussian States. <i>Physical Review Letters</i>. Published online 2015. doi:<a href=\"https://doi.org/10.1103/physrevlett.114.050501\">10.1103/physrevlett.114.050501</a>","ieee":"S. Gerke <i>et al.</i>, “Full Multipartite Entanglement of Frequency-Comb Gaussian States,” <i>Physical Review Letters</i>, 2015, doi: <a href=\"https://doi.org/10.1103/physrevlett.114.050501\">10.1103/physrevlett.114.050501</a>.","apa":"Gerke, S., Sperling, J., Vogel, W., Cai, Y., Roslund, J., Treps, N., &#38; Fabre, C. (2015). Full Multipartite Entanglement of Frequency-Comb Gaussian States. <i>Physical Review Letters</i>. <a href=\"https://doi.org/10.1103/physrevlett.114.050501\">https://doi.org/10.1103/physrevlett.114.050501</a>","chicago":"Gerke, S., Jan Sperling, W. Vogel, Y. Cai, J. Roslund, N. Treps, and C. Fabre. “Full Multipartite Entanglement of Frequency-Comb Gaussian States.” <i>Physical Review Letters</i>, 2015. <a href=\"https://doi.org/10.1103/physrevlett.114.050501\">https://doi.org/10.1103/physrevlett.114.050501</a>.","short":"S. Gerke, J. Sperling, W. Vogel, Y. Cai, J. Roslund, N. Treps, C. Fabre, Physical Review Letters (2015)."},"extern":"1","_id":"26339","language":[{"iso":"eng"}],"user_id":"75127","doi":"10.1103/physrevlett.114.050501","status":"public","title":"Full Multipartite Entanglement of Frequency-Comb Gaussian States","year":"2015","author":[{"full_name":"Gerke, S.","last_name":"Gerke","first_name":"S."},{"id":"75127","last_name":"Sperling","first_name":"Jan","orcid":"0000-0002-5844-3205","full_name":"Sperling, Jan"},{"first_name":"W.","last_name":"Vogel","full_name":"Vogel, W."},{"last_name":"Cai","first_name":"Y.","full_name":"Cai, Y."},{"full_name":"Roslund, J.","first_name":"J.","last_name":"Roslund"},{"full_name":"Treps, N.","first_name":"N.","last_name":"Treps"},{"last_name":"Fabre","first_name":"C.","full_name":"Fabre, C."}],"publication_identifier":{"issn":["0031-9007","1079-7114"]},"publication_status":"published","date_updated":"2022-01-06T06:57:19Z"},{"ddc":["040"],"user_id":"477","publisher":"Universität Paderborn","_id":"264","has_accepted_license":"1","date_updated":"2022-01-06T06:57:20Z","author":[{"full_name":"Wette, Philip","first_name":"Philip","last_name":"Wette"}],"year":"2015","status":"public","title":"Optimizing Software-Defined Networks using Application-Layer Knowledge","department":[{"_id":"75"}],"type":"dissertation","date_created":"2017-10-17T12:41:43Z","file":[{"date_created":"2018-03-21T09:34:36Z","creator":"florida","success":1,"content_type":"application/pdf","file_id":"1481","date_updated":"2018-03-21T09:34:36Z","relation":"main_file","file_size":8031107,"access_level":"closed","file_name":"264-Dissertation_-_Wette.pdf"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt A2","_id":"6"},{"name":"SFB 901 - Subprojekt C4","_id":"16"},{"_id":"2","name":"SFB 901 - Project Area A"},{"name":"SFB 901 - Project Area C","_id":"4"}],"supervisor":[{"full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger","id":"126"}],"citation":{"chicago":"Wette, Philip. <i>Optimizing Software-Defined Networks Using Application-Layer Knowledge</i>. Universität Paderborn, 2015.","short":"P. Wette, Optimizing Software-Defined Networks Using Application-Layer Knowledge, Universität Paderborn, 2015.","ama":"Wette P. <i>Optimizing Software-Defined Networks Using Application-Layer Knowledge</i>. Universität Paderborn; 2015.","bibtex":"@book{Wette_2015, title={Optimizing Software-Defined Networks using Application-Layer Knowledge}, publisher={Universität Paderborn}, author={Wette, Philip}, year={2015} }","mla":"Wette, Philip. <i>Optimizing Software-Defined Networks Using Application-Layer Knowledge</i>. Universität Paderborn, 2015.","apa":"Wette, P. (2015). <i>Optimizing Software-Defined Networks using Application-Layer Knowledge</i>. Universität Paderborn.","ieee":"P. Wette, <i>Optimizing Software-Defined Networks using Application-Layer Knowledge</i>. Universität Paderborn, 2015."},"file_date_updated":"2018-03-21T09:34:36Z"},{"_id":"26429","language":[{"iso":"eng"}],"page":"138:1-138:28","volume":16,"doi":"10.1186/s12859-015-0564-6","user_id":"15526","author":[{"first_name":"George","last_name":"Tsatsaronis","full_name":"Tsatsaronis, George"},{"full_name":"Balikas, Georgios","first_name":"Georgios","last_name":"Balikas"},{"last_name":"Malakasiotis","first_name":"Prodromos","full_name":"Malakasiotis, Prodromos"},{"last_name":"Partalas","first_name":"Ioannis","full_name":"Partalas, Ioannis"},{"last_name":"Zschunke","first_name":"Matthias","full_name":"Zschunke, Matthias"},{"full_name":"R. Alvers, Michael","last_name":"R. Alvers","first_name":"Michael"},{"first_name":"Dirk","last_name":"Weissenborn","full_name":"Weissenborn, Dirk"},{"full_name":"Krithara, Anastasia","last_name":"Krithara","first_name":"Anastasia"},{"last_name":"Petridis","first_name":"Sergios","full_name":"Petridis, Sergios"},{"full_name":"Polychronopoulos, Dimitris","first_name":"Dimitris","last_name":"Polychronopoulos"},{"full_name":"Almirantis, Yannis","first_name":"Yannis","last_name":"Almirantis"},{"first_name":"John","last_name":"Pavlopoulos","full_name":"Pavlopoulos, John"},{"first_name":"Nicolas","last_name":"Baskiotis","full_name":"Baskiotis, Nicolas"},{"last_name":"Gallinari","first_name":"Patrick","full_name":"Gallinari, Patrick"},{"full_name":"Artières, Thierry","first_name":"Thierry","last_name":"Artières"},{"id":"65716","last_name":"Ngonga Ngomo","first_name":"Axel-Cyrille","full_name":"Ngonga Ngomo, Axel-Cyrille"},{"last_name":"Heino","first_name":"Norman","full_name":"Heino, Norman"},{"full_name":"Gaussier, Éric","last_name":"Gaussier","first_name":"Éric"},{"full_name":"Barrio-Alvers, Liliana","first_name":"Liliana","last_name":"Barrio-Alvers"},{"last_name":"Schroeder","first_name":"Michael","full_name":"Schroeder, Michael"},{"last_name":"Androutsopoulos","first_name":"Ion","full_name":"Androutsopoulos, Ion"},{"full_name":"Paliouras, Georgios","first_name":"Georgios","last_name":"Paliouras"}],"title":"An overview of the BIOASQ large-scale biomedical semantic indexing and question answering competition","year":"2015","status":"public","intvolume":"        16","date_updated":"2022-01-06T06:57:20Z","date_created":"2021-10-18T20:25:28Z","type":"journal_article","citation":{"mla":"Tsatsaronis, George, et al. “An Overview of the BIOASQ Large-Scale Biomedical Semantic Indexing and Question Answering Competition.” <i>{BMC} Bioinform.</i>, vol. 16, 2015, p. 138:1-138:28, doi:<a href=\"https://doi.org/10.1186/s12859-015-0564-6\">10.1186/s12859-015-0564-6</a>.","bibtex":"@article{Tsatsaronis_Balikas_Malakasiotis_Partalas_Zschunke_R. Alvers_Weissenborn_Krithara_Petridis_Polychronopoulos_et al._2015, title={An overview of the BIOASQ large-scale biomedical semantic indexing and question answering competition}, volume={16}, DOI={<a href=\"https://doi.org/10.1186/s12859-015-0564-6\">10.1186/s12859-015-0564-6</a>}, journal={{BMC} Bioinform.}, author={Tsatsaronis, George and Balikas, Georgios and Malakasiotis, Prodromos and Partalas, Ioannis and Zschunke, Matthias and R. Alvers, Michael and Weissenborn, Dirk and Krithara, Anastasia and Petridis, Sergios and Polychronopoulos, Dimitris and et al.}, year={2015}, pages={138:1-138:28} }","ama":"Tsatsaronis G, Balikas G, Malakasiotis P, et al. An overview of the BIOASQ large-scale biomedical semantic indexing and question answering competition. <i>{BMC} Bioinform</i>. 2015;16:138:1-138:28. doi:<a href=\"https://doi.org/10.1186/s12859-015-0564-6\">10.1186/s12859-015-0564-6</a>","ieee":"G. Tsatsaronis <i>et al.</i>, “An overview of the BIOASQ large-scale biomedical semantic indexing and question answering competition,” <i>{BMC} Bioinform.</i>, vol. 16, p. 138:1-138:28, 2015, doi: <a href=\"https://doi.org/10.1186/s12859-015-0564-6\">10.1186/s12859-015-0564-6</a>.","apa":"Tsatsaronis, G., Balikas, G., Malakasiotis, P., Partalas, I., Zschunke, M., R. Alvers, M., Weissenborn, D., Krithara, A., Petridis, S., Polychronopoulos, D., Almirantis, Y., Pavlopoulos, J., Baskiotis, N., Gallinari, P., Artières, T., Ngonga Ngomo, A.-C., Heino, N., Gaussier, É., Barrio-Alvers, L., … Paliouras, G. (2015). An overview of the BIOASQ large-scale biomedical semantic indexing and question answering competition. <i>{BMC} Bioinform.</i>, <i>16</i>, 138:1-138:28. <a href=\"https://doi.org/10.1186/s12859-015-0564-6\">https://doi.org/10.1186/s12859-015-0564-6</a>","short":"G. Tsatsaronis, G. Balikas, P. Malakasiotis, I. Partalas, M. Zschunke, M. R. Alvers, D. Weissenborn, A. Krithara, S. Petridis, D. Polychronopoulos, Y. Almirantis, J. Pavlopoulos, N. Baskiotis, P. Gallinari, T. Artières, A.-C. Ngonga Ngomo, N. Heino, É. Gaussier, L. Barrio-Alvers, M. Schroeder, I. Androutsopoulos, G. Paliouras, {BMC} Bioinform. 16 (2015) 138:1-138:28.","chicago":"Tsatsaronis, George, Georgios Balikas, Prodromos Malakasiotis, Ioannis Partalas, Matthias Zschunke, Michael R. Alvers, Dirk Weissenborn, et al. “An Overview of the BIOASQ Large-Scale Biomedical Semantic Indexing and Question Answering Competition.” <i>{BMC} Bioinform.</i> 16 (2015): 138:1-138:28. <a href=\"https://doi.org/10.1186/s12859-015-0564-6\">https://doi.org/10.1186/s12859-015-0564-6</a>."},"publication":"{BMC} Bioinform."},{"type":"journal_article","date_created":"2021-10-18T20:29:29Z","citation":{"chicago":"Capadisli, Sarven, Sören Auer, and Axel-Cyrille Ngonga Ngomo. “Linked SDMX Data: Path to High Fidelity Statistical Linked Data.” <i>Semantic Web</i> 6, no. 2 (2015): 105–12. <a href=\"https://doi.org/10.3233/SW-130123\">https://doi.org/10.3233/SW-130123</a>.","short":"S. Capadisli, S. Auer, A.-C. Ngonga Ngomo, Semantic Web 6 (2015) 105–112.","ieee":"S. Capadisli, S. Auer, and A.-C. Ngonga Ngomo, “Linked SDMX Data: Path to high fidelity Statistical Linked Data,” <i>Semantic Web</i>, vol. 6, no. 2, pp. 105–112, 2015, doi: <a href=\"https://doi.org/10.3233/SW-130123\">10.3233/SW-130123</a>.","apa":"Capadisli, S., Auer, S., &#38; Ngonga Ngomo, A.-C. (2015). Linked SDMX Data: Path to high fidelity Statistical Linked Data. <i>Semantic Web</i>, <i>6</i>(2), 105–112. <a href=\"https://doi.org/10.3233/SW-130123\">https://doi.org/10.3233/SW-130123</a>","bibtex":"@article{Capadisli_Auer_Ngonga Ngomo_2015, title={Linked SDMX Data: Path to high fidelity Statistical Linked Data}, volume={6}, DOI={<a href=\"https://doi.org/10.3233/SW-130123\">10.3233/SW-130123</a>}, number={2}, journal={Semantic Web}, author={Capadisli, Sarven and Auer, Sören and Ngonga Ngomo, Axel-Cyrille}, year={2015}, pages={105–112} }","ama":"Capadisli S, Auer S, Ngonga Ngomo A-C. Linked SDMX Data: Path to high fidelity Statistical Linked Data. <i>Semantic Web</i>. 2015;6(2):105-112. doi:<a href=\"https://doi.org/10.3233/SW-130123\">10.3233/SW-130123</a>","mla":"Capadisli, Sarven, et al. “Linked SDMX Data: Path to High Fidelity Statistical Linked Data.” <i>Semantic Web</i>, vol. 6, no. 2, 2015, pp. 105–12, doi:<a href=\"https://doi.org/10.3233/SW-130123\">10.3233/SW-130123</a>."},"issue":"2","publication":"Semantic Web","volume":6,"doi":"10.3233/SW-130123","user_id":"15526","_id":"26430","language":[{"iso":"eng"}],"page":"105-112","intvolume":"         6","date_updated":"2022-01-06T06:57:20Z","author":[{"full_name":"Capadisli, Sarven","last_name":"Capadisli","first_name":"Sarven"},{"full_name":"Auer, Sören","last_name":"Auer","first_name":"Sören"},{"last_name":"Ngonga Ngomo","first_name":"Axel-Cyrille","full_name":"Ngonga Ngomo, Axel-Cyrille","id":"65716"}],"title":"Linked SDMX Data: Path to high fidelity Statistical Linked Data","year":"2015","status":"public"},{"date_updated":"2022-01-06T06:57:20Z","intvolume":"         6","status":"public","title":"Semantic Quran","year":"2015","author":[{"last_name":"Ahmed Sherif","first_name":"Mohamed","full_name":"Ahmed Sherif, Mohamed"},{"id":"65716","full_name":"Ngonga Ngomo, Axel-Cyrille","first_name":"Axel-Cyrille","last_name":"Ngonga Ngomo"}],"doi":"10.3233/SW-140137","user_id":"15526","volume":6,"page":"339-345","language":[{"iso":"eng"}],"_id":"26431","publication":"Semantic Web","issue":"4","citation":{"bibtex":"@article{Ahmed Sherif_Ngonga Ngomo_2015, title={Semantic Quran}, volume={6}, DOI={<a href=\"https://doi.org/10.3233/SW-140137\">10.3233/SW-140137</a>}, number={4}, journal={Semantic Web}, author={Ahmed Sherif, Mohamed and Ngonga Ngomo, Axel-Cyrille}, year={2015}, pages={339–345} }","ama":"Ahmed Sherif M, Ngonga Ngomo A-C. Semantic Quran. <i>Semantic Web</i>. 2015;6(4):339-345. doi:<a href=\"https://doi.org/10.3233/SW-140137\">10.3233/SW-140137</a>","mla":"Ahmed Sherif, Mohamed, and Axel-Cyrille Ngonga Ngomo. “Semantic Quran.” <i>Semantic Web</i>, vol. 6, no. 4, 2015, pp. 339–45, doi:<a href=\"https://doi.org/10.3233/SW-140137\">10.3233/SW-140137</a>.","chicago":"Ahmed Sherif, Mohamed, and Axel-Cyrille Ngonga Ngomo. “Semantic Quran.” <i>Semantic Web</i> 6, no. 4 (2015): 339–45. <a href=\"https://doi.org/10.3233/SW-140137\">https://doi.org/10.3233/SW-140137</a>.","short":"M. Ahmed Sherif, A.-C. Ngonga Ngomo, Semantic Web 6 (2015) 339–345.","ieee":"M. Ahmed Sherif and A.-C. Ngonga Ngomo, “Semantic Quran,” <i>Semantic Web</i>, vol. 6, no. 4, pp. 339–345, 2015, doi: <a href=\"https://doi.org/10.3233/SW-140137\">10.3233/SW-140137</a>.","apa":"Ahmed Sherif, M., &#38; Ngonga Ngomo, A.-C. (2015). Semantic Quran. <i>Semantic Web</i>, <i>6</i>(4), 339–345. <a href=\"https://doi.org/10.3233/SW-140137\">https://doi.org/10.3233/SW-140137</a>"},"type":"journal_article","date_created":"2021-10-18T20:30:28Z"}]