[{"language":[{"iso":"eng"}],"doi":"10.1007/s00450-014-0259-7","title":"Temporal plans for software architecture reconfiguration","year":"2015","author":[{"full_name":"Ziegert, Steffen","first_name":"Steffen","last_name":"Ziegert"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:59:01Z","file":[{"file_size":2136451,"access_level":"closed","file_name":"TemporalPlansForSoftwareArchit.pdf","date_updated":"2018-11-02T15:52:13Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"5315","creator":"ups","date_created":"2018-11-02T15:52:13Z"}],"date_created":"2018-06-13T07:47:56Z","type":"journal_article","department":[{"_id":"77"}],"publication":"Computer Science - R & D","issue":"3-4","page":"303--320","_id":"3162","ddc":["000"],"user_id":"477","status":"public","has_accepted_license":"1","file_date_updated":"2018-11-02T15:52:13Z","citation":{"chicago":"Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.” <i>Computer Science - R &#38; D</i>, no. 3–4 (2015): 303--320. <a href=\"https://doi.org/10.1007/s00450-014-0259-7\">https://doi.org/10.1007/s00450-014-0259-7</a>.","short":"S. Ziegert, H. Wehrheim, Computer Science - R &#38; D (2015) 303--320.","ieee":"S. Ziegert and H. Wehrheim, “Temporal plans for software architecture reconfiguration,” <i>Computer Science - R &#38; D</i>, no. 3–4, pp. 303--320, 2015.","apa":"Ziegert, S., &#38; Wehrheim, H. (2015). Temporal plans for software architecture reconfiguration. <i>Computer Science - R &#38; D</i>, (3–4), 303--320. <a href=\"https://doi.org/10.1007/s00450-014-0259-7\">https://doi.org/10.1007/s00450-014-0259-7</a>","bibtex":"@article{Ziegert_Wehrheim_2015, title={Temporal plans for software architecture reconfiguration}, DOI={<a href=\"https://doi.org/10.1007/s00450-014-0259-7\">10.1007/s00450-014-0259-7</a>}, number={3–4}, journal={Computer Science - R &#38; D}, author={Ziegert, Steffen and Wehrheim, Heike}, year={2015}, pages={303--320} }","ama":"Ziegert S, Wehrheim H. Temporal plans for software architecture reconfiguration. <i>Computer Science - R &#38; D</i>. 2015;(3-4):303--320. doi:<a href=\"https://doi.org/10.1007/s00450-014-0259-7\">10.1007/s00450-014-0259-7</a>","mla":"Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.” <i>Computer Science - R &#38; D</i>, no. 3–4, 2015, pp. 303--320, doi:<a href=\"https://doi.org/10.1007/s00450-014-0259-7\">10.1007/s00450-014-0259-7</a>."},"project":[{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subproject B3"}]},{"date_created":"2018-06-13T07:49:28Z","department":[{"_id":"77"}],"type":"conference","citation":{"bibtex":"@inproceedings{Meyer_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={From Program Verification to Time and Space: The Scientific Life of Ernst-R{\\\"{u}}diger Olderog}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-23506-6_1\">10.1007/978-3-319-23506-6_1</a>}, booktitle={Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings}, author={Meyer, Roland and Wehrheim, Heike}, editor={Meyer, Roland and Platzer, Andr{\\’{e}} and Wehrheim, HeikeEditors}, year={2015}, pages={3--4}, collection={Lecture Notes in Computer Science} }","ama":"Meyer R, Wehrheim H. From Program Verification to Time and Space: The Scientific Life of Ernst-R{\\\"{u}}diger Olderog. In: Meyer R, Platzer A, Wehrheim H, eds. <i>Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings</i>. Lecture Notes in Computer Science. ; 2015:3--4. doi:<a href=\"https://doi.org/10.1007/978-3-319-23506-6_1\">10.1007/978-3-319-23506-6_1</a>","mla":"Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and Space: The Scientific Life of Ernst-R{\\\"{u}}diger Olderog.” <i>Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings</i>, edited by Roland Meyer et al., 2015, pp. 3--4, doi:<a href=\"https://doi.org/10.1007/978-3-319-23506-6_1\">10.1007/978-3-319-23506-6_1</a>.","chicago":"Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and Space: The Scientific Life of Ernst-R{\\\"{u}}diger Olderog.” In <i>Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings</i>, edited by Roland Meyer, Andr{\\’{e}} Platzer, and Heike Wehrheim, 3--4. Lecture Notes in Computer Science, 2015. <a href=\"https://doi.org/10.1007/978-3-319-23506-6_1\">https://doi.org/10.1007/978-3-319-23506-6_1</a>.","short":"R. Meyer, H. Wehrheim, in: R. Meyer, A. Platzer, H. Wehrheim (Eds.), Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015, pp. 3--4.","ieee":"R. Meyer and H. Wehrheim, “From Program Verification to Time and Space: The Scientific Life of Ernst-R{\\\"{u}}diger Olderog,” in <i>Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings</i>, 2015, pp. 3--4.","apa":"Meyer, R., &#38; Wehrheim, H. (2015). From Program Verification to Time and Space: The Scientific Life of Ernst-R{\\\"{u}}diger Olderog. In R. Meyer, A. Platzer, &#38; H. Wehrheim (Eds.), <i>Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings</i> (pp. 3--4). <a href=\"https://doi.org/10.1007/978-3-319-23506-6_1\">https://doi.org/10.1007/978-3-319-23506-6_1</a>"},"publication":"Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings","series_title":"Lecture Notes in Computer Science","_id":"3163","page":"3--4","editor":[{"full_name":"Meyer, Roland","last_name":"Meyer","first_name":"Roland"},{"first_name":"Andr{\\'{e}}","last_name":"Platzer","full_name":"Platzer, Andr{\\'{e}}"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"user_id":"29719","doi":"10.1007/978-3-319-23506-6_1","author":[{"last_name":"Meyer","first_name":"Roland","full_name":"Meyer, Roland"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"status":"public","title":"From Program Verification to Time and Space: The Scientific Life of Ernst-R{\\\"{u}}diger Olderog","year":"2015","date_updated":"2022-01-06T06:59:01Z"},{"series_title":"Lecture Notes in Computer Science","_id":"3164","page":"161--177","editor":[{"first_name":"Nikolaj","last_name":"Bj{\\o}rner","full_name":"Bj{\\o}rner, Nikolaj"},{"last_name":"S. de Boer","first_name":"Frank","full_name":"S. de Boer, Frank"}],"doi":"10.1007/978-3-319-19249-9_11","user_id":"29719","author":[{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"full_name":"Dongol, Brijesh","first_name":"Brijesh","last_name":"Dongol"},{"first_name":"Gerhard","last_name":"Schellhorn","full_name":"Schellhorn, Gerhard"},{"first_name":"Oleg","last_name":"Travkin","full_name":"Travkin, Oleg"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"status":"public","title":"Verifying Opacity of a Transactional Mutex Lock","year":"2015","date_updated":"2022-01-06T06:59:01Z","date_created":"2018-06-13T07:50:43Z","department":[{"_id":"77"}],"type":"conference","citation":{"mla":"Derrick, John, et al. “Verifying Opacity of a Transactional Mutex Lock.” <i>{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings</i>, edited by Nikolaj Bj{\\o}rner and Frank S. de Boer, 2015, pp. 161--177, doi:<a href=\"https://doi.org/10.1007/978-3-319-19249-9_11\">10.1007/978-3-319-19249-9_11</a>.","bibtex":"@inproceedings{Derrick_Dongol_Schellhorn_Travkin_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Verifying Opacity of a Transactional Mutex Lock}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-19249-9_11\">10.1007/978-3-319-19249-9_11</a>}, booktitle={{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Bj{\\o}rner, Nikolaj and S. de Boer, FrankEditors}, year={2015}, pages={161--177}, collection={Lecture Notes in Computer Science} }","ama":"Derrick J, Dongol B, Schellhorn G, Travkin O, Wehrheim H. Verifying Opacity of a Transactional Mutex Lock. In: Bj{\\o}rner N, S. de Boer F, eds. <i>{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings</i>. Lecture Notes in Computer Science. ; 2015:161--177. doi:<a href=\"https://doi.org/10.1007/978-3-319-19249-9_11\">10.1007/978-3-319-19249-9_11</a>","ieee":"J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim, “Verifying Opacity of a Transactional Mutex Lock,” in <i>{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings</i>, 2015, pp. 161--177.","apa":"Derrick, J., Dongol, B., Schellhorn, G., Travkin, O., &#38; Wehrheim, H. (2015). Verifying Opacity of a Transactional Mutex Lock. In N. Bj{\\o}rner &#38; F. S. de Boer (Eds.), <i>{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings</i> (pp. 161--177). <a href=\"https://doi.org/10.1007/978-3-319-19249-9_11\">https://doi.org/10.1007/978-3-319-19249-9_11</a>","short":"J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim, in: N. Bj{\\o}rner, F. S. de Boer (Eds.), {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015, pp. 161--177.","chicago":"Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike Wehrheim. “Verifying Opacity of a Transactional Mutex Lock.” In <i>{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings</i>, edited by Nikolaj Bj{\\o}rner and Frank S. de Boer, 161--177. Lecture Notes in Computer Science, 2015. <a href=\"https://doi.org/10.1007/978-3-319-19249-9_11\">https://doi.org/10.1007/978-3-319-19249-9_11</a>."},"publication":"{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings","project":[{"_id":"78","name":"Validation of Software Transactional Memory"}]},{"type":"conference","department":[{"_id":"77"}],"date_created":"2018-06-13T07:52:44Z","publication":"Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings","citation":{"apa":"Wehrheim, H., &#38; Travkin, O. (2015). {TSO} to {SC} via Symbolic Execution. In N. Piterman (Ed.), <i>Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings</i> (pp. 104--119). <a href=\"https://doi.org/10.1007/978-3-319-26287-1_7\">https://doi.org/10.1007/978-3-319-26287-1_7</a>","ieee":"H. Wehrheim and O. Travkin, “{TSO} to {SC} via Symbolic Execution,” in <i>Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings</i>, 2015, pp. 104--119.","short":"H. Wehrheim, O. Travkin, in: N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings, 2015, pp. 104--119.","chicago":"Wehrheim, Heike, and Oleg Travkin. “{TSO} to {SC} via Symbolic Execution.” In <i>Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings</i>, edited by Nir Piterman, 104--119. Lecture Notes in Computer Science, 2015. <a href=\"https://doi.org/10.1007/978-3-319-26287-1_7\">https://doi.org/10.1007/978-3-319-26287-1_7</a>.","mla":"Wehrheim, Heike, and Oleg Travkin. “{TSO} to {SC} via Symbolic Execution.” <i>Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings</i>, edited by Nir Piterman, 2015, pp. 104--119, doi:<a href=\"https://doi.org/10.1007/978-3-319-26287-1_7\">10.1007/978-3-319-26287-1_7</a>.","ama":"Wehrheim H, Travkin O. {TSO} to {SC} via Symbolic Execution. In: Piterman N, ed. <i>Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings</i>. Lecture Notes in Computer Science. ; 2015:104--119. doi:<a href=\"https://doi.org/10.1007/978-3-319-26287-1_7\">10.1007/978-3-319-26287-1_7</a>","bibtex":"@inproceedings{Wehrheim_Travkin_2015, series={Lecture Notes in Computer Science}, title={{TSO} to {SC} via Symbolic Execution}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-26287-1_7\">10.1007/978-3-319-26287-1_7</a>}, booktitle={Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings}, author={Wehrheim, Heike and Travkin, Oleg}, editor={Piterman, NirEditor}, year={2015}, pages={104--119}, collection={Lecture Notes in Computer Science} }"},"user_id":"29719","doi":"10.1007/978-3-319-26287-1_7","editor":[{"full_name":"Piterman, Nir","first_name":"Nir","last_name":"Piterman"}],"page":"104--119","_id":"3165","series_title":"Lecture Notes in Computer Science","date_updated":"2022-01-06T06:59:01Z","title":"{TSO} to {SC} via Symbolic Execution","year":"2015","status":"public","author":[{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"},{"full_name":"Travkin, Oleg","last_name":"Travkin","first_name":"Oleg"}]},{"date_updated":"2022-01-06T06:59:01Z","title":"Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings","year":"2015","status":"public","publication_identifier":{"isbn":["978-3-319-23505-9"]},"user_id":"29719","doi":"10.1007/978-3-319-23506-6","editor":[{"last_name":"Meyer","first_name":"Roland","full_name":"Meyer, Roland"},{"last_name":"Platzer","first_name":"Andr{\\'{e}}","full_name":"Platzer, Andr{\\'{e}}"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"series_title":"Lecture Notes in Computer Science","_id":"3166","citation":{"bibtex":"@book{Meyer_Platzer_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-23506-6\">10.1007/978-3-319-23506-6</a>}, year={2015}, collection={Lecture Notes in Computer Science} }","chicago":"Meyer, Roland, Andr{\\’{e}} Platzer, and Heike Wehrheim, eds. <i>Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings</i>. Lecture Notes in Computer Science, 2015. <a href=\"https://doi.org/10.1007/978-3-319-23506-6\">https://doi.org/10.1007/978-3-319-23506-6</a>.","short":"R. Meyer, A. Platzer, H. Wehrheim, eds., Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015.","ama":"Meyer R, Platzer A, Wehrheim H, eds. <i>Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings</i>.; 2015. doi:<a href=\"https://doi.org/10.1007/978-3-319-23506-6\">10.1007/978-3-319-23506-6</a>","ieee":"R. Meyer, A. Platzer, and H. Wehrheim, Eds., <i>Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings</i>. 2015.","mla":"Meyer, Roland, et al., editors. <i>Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings</i>. 2015, doi:<a href=\"https://doi.org/10.1007/978-3-319-23506-6\">10.1007/978-3-319-23506-6</a>.","apa":"Meyer, R., Platzer, A., &#38; Wehrheim, H. (Eds.). (2015). <i>Correct System Design - Symposium in Honor of Ernst-R{\\\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings</i>. <a href=\"https://doi.org/10.1007/978-3-319-23506-6\">https://doi.org/10.1007/978-3-319-23506-6</a>"},"type":"conference_editor","department":[{"_id":"77"}],"date_created":"2018-06-13T07:54:06Z"},{"language":[{"iso":"ger"}],"_id":"317","publisher":"Universität Paderborn","user_id":"14052","ddc":["040"],"author":[{"last_name":"Jähn","first_name":"Claudius","full_name":"Jähn, Claudius"}],"year":"2015","status":"public","title":"Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen","has_accepted_license":"1","date_updated":"2022-01-06T06:59:02Z","date_created":"2017-10-17T12:41:53Z","file":[{"date_created":"2018-03-21T09:20:34Z","creator":"florida","content_type":"application/pdf","success":1,"file_id":"1462","access_level":"closed","file_size":20442332,"file_name":"317-Dissertation_ClaudiusJaehn.pdf","date_updated":"2018-03-21T09:20:34Z","relation":"main_file"}],"department":[{"_id":"63"}],"type":"dissertation","citation":{"mla":"Jähn, Claudius. <i>Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen</i>. Universität Paderborn, 2015.","apa":"Jähn, C. (2015). <i>Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen</i>. Universität Paderborn.","ieee":"C. Jähn, <i>Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen</i>. Universität Paderborn, 2015.","ama":"Jähn C. <i>Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen</i>. Universität Paderborn; 2015.","short":"C. Jähn, Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen, Universität Paderborn, 2015.","chicago":"Jähn, Claudius. <i>Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen</i>. Universität Paderborn, 2015.","bibtex":"@book{Jähn_2015, title={Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen}, publisher={Universität Paderborn}, author={Jähn, Claudius}, year={2015} }"},"supervisor":[{"last_name":"Meyer auf der Heide","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"}],"file_date_updated":"2018-03-21T09:20:34Z"},{"ddc":["040"],"user_id":"477","_id":"318","publisher":"Universität Paderborn","date_updated":"2022-01-06T06:59:03Z","has_accepted_license":"1","year":"2015","title":"Automatic Service Discovery and Composition for heterogeneous service partners","status":"public","author":[{"last_name":"Huma","first_name":"Zille","full_name":"Huma, Zille"}],"type":"dissertation","department":[{"_id":"66"}],"file":[{"file_id":"1435","success":1,"content_type":"application/pdf","file_name":"318-Dissertation_-_Huma.pdf","access_level":"closed","file_size":8011875,"relation":"main_file","date_updated":"2018-03-20T07:42:30Z","date_created":"2018-03-20T07:42:30Z","creator":"florida"}],"date_created":"2017-10-17T12:41:54Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-03-20T07:42:30Z","supervisor":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"}],"citation":{"chicago":"Huma, Zille. <i>Automatic Service Discovery and Composition for Heterogeneous Service Partners</i>. Universität Paderborn, 2015.","short":"Z. Huma, Automatic Service Discovery and Composition for Heterogeneous Service Partners, Universität Paderborn, 2015.","apa":"Huma, Z. (2015). <i>Automatic Service Discovery and Composition for heterogeneous service partners</i>. Universität Paderborn.","ieee":"Z. Huma, <i>Automatic Service Discovery and Composition for heterogeneous service partners</i>. Universität Paderborn, 2015.","ama":"Huma Z. <i>Automatic Service Discovery and Composition for Heterogeneous Service Partners</i>. Universität Paderborn; 2015.","bibtex":"@book{Huma_2015, title={Automatic Service Discovery and Composition for heterogeneous service partners}, publisher={Universität Paderborn}, author={Huma, Zille}, year={2015} }","mla":"Huma, Zille. <i>Automatic Service Discovery and Composition for Heterogeneous Service Partners</i>. Universität Paderborn, 2015."}},{"project":[{"name":"SFB 901","_id":"1"},{"_id":"10","name":"SFB 901 - Subprojekt B2"},{"name":"SFB 901 - Project Area B","_id":"3"}],"citation":{"ieee":"F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,” in <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>, 2015, pp. 57--64.","apa":"Mohr, F., Jungmann, A., &#38; Kleine Büning, H. (2015). Automated Online Service Composition. In <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i> (pp. 57--64). <a href=\"https://doi.org/10.1109/SCC.2015.18\">https://doi.org/10.1109/SCC.2015.18</a>","mla":"Mohr, Felix, et al. “Automated Online Service Composition.” <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>, 2015, pp. 57--64, doi:<a href=\"https://doi.org/10.1109/SCC.2015.18\">10.1109/SCC.2015.18</a>.","bibtex":"@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online Service Composition}, DOI={<a href=\"https://doi.org/10.1109/SCC.2015.18\">10.1109/SCC.2015.18</a>}, booktitle={Proceedings of the 12th IEEE International Conference on Services Computing (SCC)}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57--64} }","chicago":"Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online Service Composition.” In <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>, 57--64, 2015. <a href=\"https://doi.org/10.1109/SCC.2015.18\">https://doi.org/10.1109/SCC.2015.18</a>.","ama":"Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition. In: <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>. ; 2015:57--64. doi:<a href=\"https://doi.org/10.1109/SCC.2015.18\">10.1109/SCC.2015.18</a>","short":"F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64."},"file_date_updated":"2018-03-20T07:42:03Z","ddc":["040"],"user_id":"477","_id":"319","page":"57--64","has_accepted_license":"1","status":"public","department":[{"_id":"355"}],"type":"conference","date_created":"2017-10-17T12:41:54Z","file":[{"date_created":"2018-03-20T07:42:03Z","creator":"florida","content_type":"application/pdf","success":1,"file_id":"1434","file_size":345742,"access_level":"closed","file_name":"319-07207336.pdf","date_updated":"2018-03-20T07:42:03Z","relation":"main_file"}],"abstract":[{"text":"Services are self-contained and platform independent software components that aim at maximizing software reuse. The automated composition of services to a target software artifact has been tackled with many AI techniques, but existing approaches make unreasonably strong assumptions such as a predefined data flow, are limited to tiny problem sizes, ignore non-functional properties, or assume offline service repositories. This paper presents an algorithm that automatically composes services without making such assumptions. We employ a backward search algorithm that starts from an empty composition and prepends service calls to already discovered candidates until a solution is found. Available services are determined during the search process. We implemented our algorithm, performed an experimental evaluation, and compared it to other approaches.","lang":"eng"}],"publication":"Proceedings of the 12th IEEE International Conference on Services Computing (SCC)","doi":"10.1109/SCC.2015.18","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:59:04Z","author":[{"full_name":"Mohr, Felix","first_name":"Felix","last_name":"Mohr"},{"full_name":"Jungmann, Alexander","last_name":"Jungmann","first_name":"Alexander"},{"first_name":"Hans","last_name":"Kleine Büning","full_name":"Kleine Büning, Hans"}],"year":"2015","title":"Automated Online Service Composition"},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt A1","_id":"5"},{"name":"SFB 901 - Project Area A","_id":"2"}],"citation":{"mla":"Abshoff, Sebastian. <i>On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks</i>. Universität Paderborn, 2015.","ama":"Abshoff S. <i>On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks</i>. Universität Paderborn; 2015.","bibtex":"@book{Abshoff_2015, title={On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks}, publisher={Universität Paderborn}, author={Abshoff, Sebastian}, year={2015} }","apa":"Abshoff, S. (2015). <i>On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks</i>. Universität Paderborn.","ieee":"S. Abshoff, <i>On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks</i>. Universität Paderborn, 2015.","short":"S. Abshoff, On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks, Universität Paderborn, 2015.","chicago":"Abshoff, Sebastian. <i>On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks</i>. Universität Paderborn, 2015."},"supervisor":[{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"}],"file_date_updated":"2018-03-21T09:30:02Z","department":[{"_id":"63"}],"type":"dissertation","date_created":"2017-10-17T12:41:44Z","file":[{"creator":"florida","date_created":"2018-03-21T09:30:02Z","file_name":"270-Dissertation_-_Abshoff.pdf","file_size":448614,"access_level":"closed","relation":"main_file","date_updated":"2018-03-21T09:30:02Z","file_id":"1476","success":1,"content_type":"application/pdf"}],"has_accepted_license":"1","date_updated":"2022-01-06T06:57:32Z","author":[{"last_name":"Abshoff","first_name":"Sebastian","full_name":"Abshoff, Sebastian"}],"year":"2015","status":"public","title":"On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks","user_id":"477","ddc":["040"],"_id":"270","publisher":"Universität Paderborn"},{"author":[{"last_name":"Augustin","first_name":"L.S.A.","full_name":"Augustin, L.S.A."},{"full_name":"Kendall, C.W.C.","last_name":"Kendall","first_name":"C.W.C."},{"full_name":"Jenkins, D.J.A.","first_name":"D.J.A.","last_name":"Jenkins"},{"last_name":"Willett","first_name":"W.C.","full_name":"Willett, W.C."},{"full_name":"Astrup, A.","last_name":"Astrup","first_name":"A."},{"first_name":"A.W.","last_name":"Barclay","full_name":"Barclay, A.W."},{"first_name":"I.","last_name":"Björck","full_name":"Björck, I."},{"first_name":"J.C.","last_name":"Brand-Miller","full_name":"Brand-Miller, J.C."},{"first_name":"F.","last_name":"Brighenti","full_name":"Brighenti, F."},{"id":"65985","first_name":"Anette","last_name":"Buyken","full_name":"Buyken, Anette"},{"first_name":"A.","last_name":"Ceriello","full_name":"Ceriello, A."},{"first_name":"C.","last_name":"La Vecchia","full_name":"La Vecchia, C."},{"full_name":"Livesey, G.","last_name":"Livesey","first_name":"G."},{"full_name":"Liu, S.","first_name":"S.","last_name":"Liu"},{"last_name":"Riccardi","first_name":"G.","full_name":"Riccardi, G."},{"full_name":"Rizkalla, S.W.","last_name":"Rizkalla","first_name":"S.W."},{"last_name":"Sievenpiper","first_name":"J.L.","full_name":"Sievenpiper, J.L."},{"last_name":"Trichopoulou","first_name":"A.","full_name":"Trichopoulou, A."},{"last_name":"Wolever","first_name":"T.M.S.","full_name":"Wolever, T.M.S."},{"last_name":"Baer-Sinnott","first_name":"S.","full_name":"Baer-Sinnott, S."},{"full_name":"Poli, A.","last_name":"Poli","first_name":"A."}],"publication_identifier":{"issn":["0939-4753"]},"title":"Glycemic index, glycemic load and glycemic response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC)","status":"public","year":"2015","date_updated":"2022-01-06T06:57:32Z","publication_status":"published","language":[{"iso":"eng"}],"_id":"27012","page":"795-815","doi":"10.1016/j.numecd.2015.05.005","user_id":"61597","citation":{"chicago":"Augustin, L.S.A., C.W.C. Kendall, D.J.A. Jenkins, W.C. Willett, A. Astrup, A.W. Barclay, I. Björck, et al. “Glycemic Index, Glycemic Load and Glycemic Response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC).” <i>Nutrition, Metabolism and Cardiovascular Diseases</i>, 2015, 795–815. <a href=\"https://doi.org/10.1016/j.numecd.2015.05.005\">https://doi.org/10.1016/j.numecd.2015.05.005</a>.","short":"L.S.A. Augustin, C.W.C. Kendall, D.J.A. Jenkins, W.C. Willett, A. Astrup, A.W. Barclay, I. Björck, J.C. Brand-Miller, F. Brighenti, A. Buyken, A. Ceriello, C. La Vecchia, G. Livesey, S. Liu, G. Riccardi, S.W. Rizkalla, J.L. Sievenpiper, A. Trichopoulou, T.M.S. Wolever, S. Baer-Sinnott, A. Poli, Nutrition, Metabolism and Cardiovascular Diseases (2015) 795–815.","ieee":"L. S. A. Augustin <i>et al.</i>, “Glycemic index, glycemic load and glycemic response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC),” <i>Nutrition, Metabolism and Cardiovascular Diseases</i>, pp. 795–815, 2015, doi: <a href=\"https://doi.org/10.1016/j.numecd.2015.05.005\">10.1016/j.numecd.2015.05.005</a>.","apa":"Augustin, L. S. A., Kendall, C. W. C., Jenkins, D. J. A., Willett, W. C., Astrup, A., Barclay, A. W., Björck, I., Brand-Miller, J. C., Brighenti, F., Buyken, A., Ceriello, A., La Vecchia, C., Livesey, G., Liu, S., Riccardi, G., Rizkalla, S. W., Sievenpiper, J. L., Trichopoulou, A., Wolever, T. M. S., … Poli, A. (2015). Glycemic index, glycemic load and glycemic response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC). <i>Nutrition, Metabolism and Cardiovascular Diseases</i>, 795–815. <a href=\"https://doi.org/10.1016/j.numecd.2015.05.005\">https://doi.org/10.1016/j.numecd.2015.05.005</a>","bibtex":"@article{Augustin_Kendall_Jenkins_Willett_Astrup_Barclay_Björck_Brand-Miller_Brighenti_Buyken_et al._2015, title={Glycemic index, glycemic load and glycemic response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC)}, DOI={<a href=\"https://doi.org/10.1016/j.numecd.2015.05.005\">10.1016/j.numecd.2015.05.005</a>}, journal={Nutrition, Metabolism and Cardiovascular Diseases}, author={Augustin, L.S.A. and Kendall, C.W.C. and Jenkins, D.J.A. and Willett, W.C. and Astrup, A. and Barclay, A.W. and Björck, I. and Brand-Miller, J.C. and Brighenti, F. and Buyken, Anette and et al.}, year={2015}, pages={795–815} }","ama":"Augustin LSA, Kendall CWC, Jenkins DJA, et al. Glycemic index, glycemic load and glycemic response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC). <i>Nutrition, Metabolism and Cardiovascular Diseases</i>. Published online 2015:795-815. doi:<a href=\"https://doi.org/10.1016/j.numecd.2015.05.005\">10.1016/j.numecd.2015.05.005</a>","mla":"Augustin, L. S. A., et al. “Glycemic Index, Glycemic Load and Glycemic Response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC).” <i>Nutrition, Metabolism and Cardiovascular Diseases</i>, 2015, pp. 795–815, doi:<a href=\"https://doi.org/10.1016/j.numecd.2015.05.005\">10.1016/j.numecd.2015.05.005</a>."},"publication":"Nutrition, Metabolism and Cardiovascular Diseases","date_created":"2021-10-29T13:55:28Z","department":[{"_id":"17"},{"_id":"22"},{"_id":"571"}],"type":"journal_article"},{"user_id":"16205","_id":"2702","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T06:57:32Z","author":[{"last_name":"Beutner","first_name":"Marc","full_name":"Beutner, Marc"},{"full_name":"Kundisch, Dennis","first_name":"Dennis","last_name":"Kundisch","id":"21117"},{"last_name":"Magenheim","first_name":"J.","full_name":"Magenheim, J."},{"last_name":"Rechuel","first_name":"R.","full_name":"Rechuel, R."}],"conference":{"location":"Kona, USA","name":"E-LEARN 2015 - World Conference on E-Learning"},"title":"DUC - Fostering Diversity Aspects in Higher Education by eLearning and User generated Content","year":"2015","status":"public","department":[{"_id":"276"}],"type":"conference","date_created":"2018-05-08T13:08:33Z","citation":{"mla":"Beutner, Marc, et al. “DUC - Fostering Diversity Aspects in Higher Education by ELearning and User Generated Content.” <i>Proceedings of E-LEARN 2015 - World Conference on E-Learning</i>, 2015.","ama":"Beutner M, Kundisch D, Magenheim J, Rechuel R. DUC - Fostering Diversity Aspects in Higher Education by eLearning and User generated Content. In: <i>Proceedings of E-LEARN 2015 - World Conference on E-Learning</i>. ; 2015.","bibtex":"@inproceedings{Beutner_Kundisch_Magenheim_Rechuel_2015, title={DUC - Fostering Diversity Aspects in Higher Education by eLearning and User generated Content}, booktitle={Proceedings of E-LEARN 2015 - World Conference on E-Learning}, author={Beutner, Marc and Kundisch, Dennis and Magenheim, J. and Rechuel, R.}, year={2015} }","apa":"Beutner, M., Kundisch, D., Magenheim, J., &#38; Rechuel, R. (2015). DUC - Fostering Diversity Aspects in Higher Education by eLearning and User generated Content. In <i>Proceedings of E-LEARN 2015 - World Conference on E-Learning</i>. Kona, USA.","ieee":"M. Beutner, D. Kundisch, J. Magenheim, and R. Rechuel, “DUC - Fostering Diversity Aspects in Higher Education by eLearning and User generated Content,” in <i>Proceedings of E-LEARN 2015 - World Conference on E-Learning</i>, Kona, USA, 2015.","short":"M. Beutner, D. Kundisch, J. Magenheim, R. Rechuel, in: Proceedings of E-LEARN 2015 - World Conference on E-Learning, 2015.","chicago":"Beutner, Marc, Dennis Kundisch, J. Magenheim, and R. Rechuel. “DUC - Fostering Diversity Aspects in Higher Education by ELearning and User Generated Content.” In <i>Proceedings of E-LEARN 2015 - World Conference on E-Learning</i>, 2015."},"publication":"Proceedings of E-LEARN 2015 - World Conference on E-Learning"},{"publication":"Proceedings of the 23rd European Conference on Information Systems (ECIS)","citation":{"mla":"Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis.” <i>Proceedings of the 23rd European Conference on Information Systems (ECIS)</i>, 2015.","bibtex":"@inproceedings{Mutter_Kundisch_2015, title={Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis}, booktitle={Proceedings of the 23rd European Conference on Information Systems (ECIS)}, author={Mutter, Tobias and Kundisch, Dennis}, year={2015} }","ama":"Mutter T, Kundisch D. Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis. In: <i>Proceedings of the 23rd European Conference on Information Systems (ECIS)</i>. ; 2015.","ieee":"T. Mutter and D. Kundisch, “Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis,” in <i>Proceedings of the 23rd European Conference on Information Systems (ECIS)</i>, Münster, Germany, 2015.","apa":"Mutter, T., &#38; Kundisch, D. (2015). Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis. In <i>Proceedings of the 23rd European Conference on Information Systems (ECIS)</i>. Münster, Germany.","short":"T. Mutter, D. Kundisch, in: Proceedings of the 23rd European Conference on Information Systems (ECIS), 2015.","chicago":"Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis.” In <i>Proceedings of the 23rd European Conference on Information Systems (ECIS)</i>, 2015."},"type":"conference","department":[{"_id":"276"}],"date_created":"2018-05-08T13:15:00Z","date_updated":"2022-01-06T06:57:32Z","publication_status":"published","title":"Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis","status":"public","year":"2015","conference":{"location":"Münster, Germany","name":"23rd European Conference on Information Systems (ECIS)"},"author":[{"first_name":"Tobias","last_name":"Mutter","full_name":"Mutter, Tobias"},{"last_name":"Kundisch","first_name":"Dennis","full_name":"Kundisch, Dennis","id":"21117"}],"user_id":"16205","_id":"2703","language":[{"iso":"eng"}]},{"publication":"European Journal of Nutrition","citation":{"ieee":"L. Libuda <i>et al.</i>, “Fatty acid supply with complementary foods and LC-PUFA status in healthy infants: results of a randomised controlled trial,” <i>European Journal of Nutrition</i>, pp. 1633–1644, 2015, doi: <a href=\"https://doi.org/10.1007/s00394-015-0982-2\">10.1007/s00394-015-0982-2</a>.","apa":"Libuda, L., Mesch, C. M., Stimming, M., Demmelmair, H., Koletzko, B., Warschburger, P., Blanke, K., Reischl, E., Kalhoff, H., &#38; Kersting, M. (2015). Fatty acid supply with complementary foods and LC-PUFA status in healthy infants: results of a randomised controlled trial. <i>European Journal of Nutrition</i>, 1633–1644. <a href=\"https://doi.org/10.1007/s00394-015-0982-2\">https://doi.org/10.1007/s00394-015-0982-2</a>","chicago":"Libuda, Lars, Christina M. Mesch, Madlen Stimming, Hans Demmelmair, Berthold Koletzko, Petra Warschburger, Katharina Blanke, Eva Reischl, Hermann Kalhoff, and Mathilde Kersting. “Fatty Acid Supply with Complementary Foods and LC-PUFA Status in Healthy Infants: Results of a Randomised Controlled Trial.” <i>European Journal of Nutrition</i>, 2015, 1633–44. <a href=\"https://doi.org/10.1007/s00394-015-0982-2\">https://doi.org/10.1007/s00394-015-0982-2</a>.","short":"L. Libuda, C.M. Mesch, M. Stimming, H. Demmelmair, B. Koletzko, P. Warschburger, K. Blanke, E. Reischl, H. Kalhoff, M. Kersting, European Journal of Nutrition (2015) 1633–1644.","mla":"Libuda, Lars, et al. “Fatty Acid Supply with Complementary Foods and LC-PUFA Status in Healthy Infants: Results of a Randomised Controlled Trial.” <i>European Journal of Nutrition</i>, 2015, pp. 1633–44, doi:<a href=\"https://doi.org/10.1007/s00394-015-0982-2\">10.1007/s00394-015-0982-2</a>.","bibtex":"@article{Libuda_Mesch_Stimming_Demmelmair_Koletzko_Warschburger_Blanke_Reischl_Kalhoff_Kersting_2015, title={Fatty acid supply with complementary foods and LC-PUFA status in healthy infants: results of a randomised controlled trial}, DOI={<a href=\"https://doi.org/10.1007/s00394-015-0982-2\">10.1007/s00394-015-0982-2</a>}, journal={European Journal of Nutrition}, author={Libuda, Lars and Mesch, Christina M. and Stimming, Madlen and Demmelmair, Hans and Koletzko, Berthold and Warschburger, Petra and Blanke, Katharina and Reischl, Eva and Kalhoff, Hermann and Kersting, Mathilde}, year={2015}, pages={1633–1644} }","ama":"Libuda L, Mesch CM, Stimming M, et al. Fatty acid supply with complementary foods and LC-PUFA status in healthy infants: results of a randomised controlled trial. <i>European Journal of Nutrition</i>. Published online 2015:1633-1644. doi:<a href=\"https://doi.org/10.1007/s00394-015-0982-2\">10.1007/s00394-015-0982-2</a>"},"date_created":"2021-11-01T20:08:17Z","type":"journal_article","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"year":"2015","title":"Fatty acid supply with complementary foods and LC-PUFA status in healthy infants: results of a randomised controlled trial","status":"public","author":[{"id":"88682","first_name":"Lars","last_name":"Libuda","orcid":"0000-0003-1603-3133","full_name":"Libuda, Lars"},{"full_name":"Mesch, Christina M.","last_name":"Mesch","first_name":"Christina M."},{"full_name":"Stimming, Madlen","first_name":"Madlen","last_name":"Stimming"},{"last_name":"Demmelmair","first_name":"Hans","full_name":"Demmelmair, Hans"},{"last_name":"Koletzko","first_name":"Berthold","full_name":"Koletzko, Berthold"},{"full_name":"Warschburger, Petra","first_name":"Petra","last_name":"Warschburger"},{"full_name":"Blanke, Katharina","first_name":"Katharina","last_name":"Blanke"},{"full_name":"Reischl, Eva","last_name":"Reischl","first_name":"Eva"},{"full_name":"Kalhoff, Hermann","last_name":"Kalhoff","first_name":"Hermann"},{"full_name":"Kersting, Mathilde","first_name":"Mathilde","last_name":"Kersting"}],"publication_identifier":{"issn":["1436-6207","1436-6215"]},"publication_status":"published","date_updated":"2022-01-06T06:57:32Z","page":"1633-1644","language":[{"iso":"eng"}],"_id":"27039","user_id":"49428","doi":"10.1007/s00394-015-0982-2"},{"date_updated":"2022-01-06T06:57:32Z","publication_status":"published","author":[{"first_name":"Maike","last_name":"Schröder","full_name":"Schröder, Maike"},{"full_name":"Müller, Katrin","first_name":"Katrin","last_name":"Müller"},{"last_name":"Falkenstein","first_name":"Michael","full_name":"Falkenstein, Michael"},{"full_name":"Stehle, Peter","last_name":"Stehle","first_name":"Peter"},{"full_name":"Kersting, Mathilde","last_name":"Kersting","first_name":"Mathilde"},{"id":"88682","orcid":"0000-0003-1603-3133","first_name":"Lars","last_name":"Libuda","full_name":"Libuda, Lars"}],"publication_identifier":{"issn":["0031-9384"]},"title":"Short-term effects of lunch on children's executive cognitive functioning: The randomized crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS)","status":"public","year":"2015","doi":"10.1016/j.physbeh.2015.09.025","user_id":"49428","_id":"27040","language":[{"iso":"eng"}],"page":"307-314","citation":{"bibtex":"@article{Schröder_Müller_Falkenstein_Stehle_Kersting_Libuda_2015, title={Short-term effects of lunch on children’s executive cognitive functioning: The randomized crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS)}, DOI={<a href=\"https://doi.org/10.1016/j.physbeh.2015.09.025\">10.1016/j.physbeh.2015.09.025</a>}, journal={Physiology &#38; Behavior}, author={Schröder, Maike and Müller, Katrin and Falkenstein, Michael and Stehle, Peter and Kersting, Mathilde and Libuda, Lars}, year={2015}, pages={307–314} }","ama":"Schröder M, Müller K, Falkenstein M, Stehle P, Kersting M, Libuda L. Short-term effects of lunch on children’s executive cognitive functioning: The randomized crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS). <i>Physiology &#38; Behavior</i>. Published online 2015:307-314. doi:<a href=\"https://doi.org/10.1016/j.physbeh.2015.09.025\">10.1016/j.physbeh.2015.09.025</a>","mla":"Schröder, Maike, et al. “Short-Term Effects of Lunch on Children’s Executive Cognitive Functioning: The Randomized Crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS).” <i>Physiology &#38; Behavior</i>, 2015, pp. 307–14, doi:<a href=\"https://doi.org/10.1016/j.physbeh.2015.09.025\">10.1016/j.physbeh.2015.09.025</a>.","short":"M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, L. Libuda, Physiology &#38; Behavior (2015) 307–314.","chicago":"Schröder, Maike, Katrin Müller, Michael Falkenstein, Peter Stehle, Mathilde Kersting, and Lars Libuda. “Short-Term Effects of Lunch on Children’s Executive Cognitive Functioning: The Randomized Crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS).” <i>Physiology &#38; Behavior</i>, 2015, 307–14. <a href=\"https://doi.org/10.1016/j.physbeh.2015.09.025\">https://doi.org/10.1016/j.physbeh.2015.09.025</a>.","ieee":"M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, and L. Libuda, “Short-term effects of lunch on children’s executive cognitive functioning: The randomized crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS),” <i>Physiology &#38; Behavior</i>, pp. 307–314, 2015, doi: <a href=\"https://doi.org/10.1016/j.physbeh.2015.09.025\">10.1016/j.physbeh.2015.09.025</a>.","apa":"Schröder, M., Müller, K., Falkenstein, M., Stehle, P., Kersting, M., &#38; Libuda, L. (2015). Short-term effects of lunch on children’s executive cognitive functioning: The randomized crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS). <i>Physiology &#38; Behavior</i>, 307–314. <a href=\"https://doi.org/10.1016/j.physbeh.2015.09.025\">https://doi.org/10.1016/j.physbeh.2015.09.025</a>"},"publication":"Physiology & Behavior","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"type":"journal_article","date_created":"2021-11-01T20:10:31Z"},{"citation":{"chicago":"Müller, M., Christian Meier, Dennis Kundisch, and Steffen Zimmermann. “Interactions in IS Project Portfolio Selection: Status Quo and Perspective.” In <i>Wirtschaftsinformatik Proceedings</i>, 2015.","short":"M. Müller, C. Meier, D. Kundisch, S. Zimmermann, in: Wirtschaftsinformatik Proceedings, 2015.","ieee":"M. Müller, C. Meier, D. Kundisch, and S. Zimmermann, “Interactions in IS Project Portfolio Selection: Status Quo and Perspective,” in <i>Wirtschaftsinformatik Proceedings</i>, Osnabrück, 2015.","apa":"Müller, M., Meier, C., Kundisch, D., &#38; Zimmermann, S. (2015). Interactions in IS Project Portfolio Selection: Status Quo and Perspective. In <i>Wirtschaftsinformatik Proceedings</i>. Osnabrück.","bibtex":"@inproceedings{Müller_Meier_Kundisch_Zimmermann_2015, title={Interactions in IS Project Portfolio Selection: Status Quo and Perspective}, booktitle={Wirtschaftsinformatik Proceedings}, author={Müller, M. and Meier, Christian and Kundisch, Dennis and Zimmermann, Steffen}, year={2015} }","ama":"Müller M, Meier C, Kundisch D, Zimmermann S. Interactions in IS Project Portfolio Selection: Status Quo and Perspective. In: <i>Wirtschaftsinformatik Proceedings</i>. ; 2015.","mla":"Müller, M., et al. “Interactions in IS Project Portfolio Selection: Status Quo and Perspective.” <i>Wirtschaftsinformatik Proceedings</i>, 2015."},"publication":"Wirtschaftsinformatik Proceedings","department":[{"_id":"276"}],"type":"conference","date_created":"2018-05-08T14:05:23Z","date_updated":"2022-01-06T06:57:33Z","publication_status":"published","conference":{"location":"Osnabrück","name":"Wirtschaftsinformatik Proceedings"},"author":[{"full_name":"Müller, M.","first_name":"M.","last_name":"Müller"},{"last_name":"Meier","first_name":"Christian","full_name":"Meier, Christian"},{"full_name":"Kundisch, Dennis","first_name":"Dennis","last_name":"Kundisch","id":"21117"},{"full_name":"Zimmermann, Steffen","last_name":"Zimmermann","first_name":"Steffen"}],"year":"2015","status":"public","title":"Interactions in IS Project Portfolio Selection: Status Quo and Perspective","user_id":"16205","_id":"2705","language":[{"iso":"eng"}]},{"citation":{"chicago":"John, Thomas, and Dennis Kundisch. “Creativity Through Cognitive Fit: Theory and Preliminary Evidence in a Business Model Idea Generation Context.” In <i>Wirtschaftsinformatik Proceedings</i>, 2015.","short":"T. John, D. Kundisch, in: Wirtschaftsinformatik Proceedings, 2015.","ieee":"T. John and D. Kundisch, “Creativity Through Cognitive Fit: Theory and Preliminary Evidence in a Business Model Idea Generation Context,” in <i>Wirtschaftsinformatik Proceedings</i>, Osnabrück, 2015.","apa":"John, T., &#38; Kundisch, D. (2015). Creativity Through Cognitive Fit: Theory and Preliminary Evidence in a Business Model Idea Generation Context. In <i>Wirtschaftsinformatik Proceedings</i>. Osnabrück.","bibtex":"@inproceedings{John_Kundisch_2015, title={Creativity Through Cognitive Fit: Theory and Preliminary Evidence in a Business Model Idea Generation Context}, booktitle={Wirtschaftsinformatik Proceedings}, author={John, Thomas and Kundisch, Dennis}, year={2015} }","ama":"John T, Kundisch D. Creativity Through Cognitive Fit: Theory and Preliminary Evidence in a Business Model Idea Generation Context. In: <i>Wirtschaftsinformatik Proceedings</i>. ; 2015.","mla":"John, Thomas, and Dennis Kundisch. “Creativity Through Cognitive Fit: Theory and Preliminary Evidence in a Business Model Idea Generation Context.” <i>Wirtschaftsinformatik Proceedings</i>, 2015."},"publication":"Wirtschaftsinformatik Proceedings","date_created":"2018-05-08T14:33:23Z","department":[{"_id":"276"}],"type":"conference","conference":{"location":"Osnabrück","name":"Wirtschaftsinformatik Proceedings"},"author":[{"full_name":"John, Thomas","first_name":"Thomas","last_name":"John","id":"3952"},{"last_name":"Kundisch","first_name":"Dennis","full_name":"Kundisch, Dennis","id":"21117"}],"year":"2015","title":"Creativity Through Cognitive Fit: Theory and Preliminary Evidence in a Business Model Idea Generation Context","status":"public","date_updated":"2022-01-06T06:57:33Z","publication_status":"published","_id":"2706","language":[{"iso":"eng"}],"user_id":"16205"},{"external_id":{"arxiv":["1507.02908"]},"file_date_updated":"2018-03-21T09:29:34Z","citation":{"ama":"Drees M, Feldotto M, Riechers S, Skopalik A. On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games. In: <i>Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT)</i>. Lecture Notes in Computer Science. ; 2015:178-189. doi:<a href=\"https://doi.org/10.1007/978-3-662-48433-3_14\">10.1007/978-3-662-48433-3_14</a>","bibtex":"@inproceedings{Drees_Feldotto_Riechers_Skopalik_2015, series={Lecture Notes in Computer Science}, title={On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games}, DOI={<a href=\"https://doi.org/10.1007/978-3-662-48433-3_14\">10.1007/978-3-662-48433-3_14</a>}, booktitle={Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT)}, author={Drees, Maximilian and Feldotto, Matthias and Riechers, Sören and Skopalik, Alexander}, year={2015}, pages={178–189}, collection={Lecture Notes in Computer Science} }","mla":"Drees, Maximilian, et al. “On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games.” <i>Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT)</i>, 2015, pp. 178–89, doi:<a href=\"https://doi.org/10.1007/978-3-662-48433-3_14\">10.1007/978-3-662-48433-3_14</a>.","chicago":"Drees, Maximilian, Matthias Feldotto, Sören Riechers, and Alexander Skopalik. “On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games.” In <i>Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT)</i>, 178–89. Lecture Notes in Computer Science, 2015. <a href=\"https://doi.org/10.1007/978-3-662-48433-3_14\">https://doi.org/10.1007/978-3-662-48433-3_14</a>.","short":"M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in: Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT), 2015, pp. 178–189.","apa":"Drees, M., Feldotto, M., Riechers, S., &#38; Skopalik, A. (2015). On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games. In <i>Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT)</i> (pp. 178–189). <a href=\"https://doi.org/10.1007/978-3-662-48433-3_14\">https://doi.org/10.1007/978-3-662-48433-3_14</a>","ieee":"M. Drees, M. Feldotto, S. Riechers, and A. Skopalik, “On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games,” in <i>Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT)</i>, 2015, pp. 178–189."},"project":[{"name":"SFB 901","_id":"1"},{"_id":"7","name":"SFB 901 - Subprojekt A3"},{"name":"SFB 901 - Subproject C4","_id":"16"},{"_id":"2","name":"SFB 901 - Project Area A"},{"_id":"4","name":"SFB 901 - Project Area C"}],"page":"178-189","_id":"271","ddc":["040"],"user_id":"14052","status":"public","has_accepted_license":"1","file":[{"file_name":"271-chp_3A10.1007_2F978-3-662-48433-3_14.pdf","access_level":"closed","file_size":256718,"relation":"main_file","date_updated":"2018-03-21T09:29:34Z","file_id":"1475","success":1,"content_type":"application/pdf","creator":"florida","date_created":"2018-03-21T09:29:34Z"}],"date_created":"2017-10-17T12:41:45Z","type":"conference","department":[{"_id":"63"},{"_id":"541"}],"publication":"Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT)","abstract":[{"text":"In \\emph{bandwidth allocation games} (BAGs), the strategy of a player consists of various demands on different resources. The player's utility is at most the sum of these demands, provided they are fully satisfied. Every resource has a limited capacity and if it is exceeded by the total demand, it has to be split between the players. Since these games generally do not have pure Nash equilibria, we consider approximate pure Nash equilibria, in which no player can improve her utility by more than some fixed factor $\\alpha$ through unilateral strategy changes. There is a threshold $\\alpha_\\delta$ (where $\\delta$ is a parameter that limits the demand of each player on a specific resource) such that $\\alpha$-approximate pure Nash equilibria always exist for $\\alpha \\geq \\alpha_\\delta$, but not for $\\alpha < \\alpha_\\delta$. We give both upper and lower bounds on this threshold $\\alpha_\\delta$ and show that the corresponding decision problem is ${\\sf NP}$-hard. We also show that the $\\alpha$-approximate price of anarchy for BAGs is $\\alpha+1$. For a restricted version of the game, where demands of players only differ slightly from each other (e.g. symmetric games), we show that approximate Nash equilibria can be reached (and thus also be computed) in polynomial time using the best-response dynamic. Finally, we show that a broader class of utility-maximization games (which includes BAGs) converges quickly towards states whose social welfare is close to the optimum.","lang":"eng"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-662-48433-3_14","title":"On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games","year":"2015","author":[{"full_name":"Drees, Maximilian","last_name":"Drees","first_name":"Maximilian"},{"orcid":"0000-0003-1348-6516","first_name":"Matthias","last_name":"Feldotto","full_name":"Feldotto, Matthias","id":"14052"},{"full_name":"Riechers, Sören","last_name":"Riechers","first_name":"Sören"},{"full_name":"Skopalik, Alexander","first_name":"Alexander","last_name":"Skopalik","id":"40384"}],"date_updated":"2022-01-06T06:57:34Z"},{"date_updated":"2022-01-06T06:57:35Z","publication_identifier":{"isbn":["978-3-658-08858-3"]},"author":[{"id":"90339","orcid":"https://orcid.org/0000-0002-2590-6189","first_name":"Isabel","last_name":"Steinhardt","full_name":"Steinhardt, Isabel"}],"title":"Lehre stärkt Forschung: Studiengangentwicklung durch ProfessorInnen im Handlungssystem Universität","status":"public","year":"2015","user_id":"90339","language":[{"iso":"eng"}],"_id":"27120","extern":"1","citation":{"mla":"Steinhardt, Isabel. <i>Lehre Stärkt Forschung: Studiengangentwicklung Durch ProfessorInnen Im Handlungssystem Universität</i>. 2015.","bibtex":"@book{Steinhardt_2015, title={Lehre stärkt Forschung: Studiengangentwicklung durch ProfessorInnen im Handlungssystem Universität}, author={Steinhardt, Isabel}, year={2015} }","ama":"Steinhardt I. <i>Lehre Stärkt Forschung: Studiengangentwicklung Durch ProfessorInnen Im Handlungssystem Universität</i>.; 2015.","ieee":"I. Steinhardt, <i>Lehre stärkt Forschung: Studiengangentwicklung durch ProfessorInnen im Handlungssystem Universität</i>. 2015.","apa":"Steinhardt, I. (2015). <i>Lehre stärkt Forschung: Studiengangentwicklung durch ProfessorInnen im Handlungssystem Universität</i>.","chicago":"Steinhardt, Isabel. <i>Lehre Stärkt Forschung: Studiengangentwicklung Durch ProfessorInnen Im Handlungssystem Universität</i>, 2015.","short":"I. Steinhardt, Lehre Stärkt Forschung: Studiengangentwicklung Durch ProfessorInnen Im Handlungssystem Universität, 2015."},"type":"book","date_created":"2021-11-03T13:14:48Z"},{"editor":[{"full_name":"Keil, Reinhard ","first_name":"Reinhard ","last_name":"Keil"},{"last_name":"Selke","first_name":" Harald","full_name":"Selke,  Harald"}],"volume":330,"user_id":"71124","publisher":"publishing series of the Heinz Nixdorf Institute, Paderborn","_id":"27163","language":[{"iso":"eng"}],"page":"39-53","intvolume":"       330","date_updated":"2022-01-06T06:57:35Z","publication_status":"published","author":[{"full_name":"Keil,  Reinhard ","first_name":" Reinhard ","last_name":"Keil"},{"full_name":"Selke, Harald","last_name":"Selke","first_name":"Harald","id":"497"}],"status":"public","title":"Virtual knowledge {\\ \"a} ume - From the presentation of content to virtual learning {\\\" a} tten","year":"2015","department":[{"_id":"71"}],"type":"conference","date_created":"2021-11-05T22:48:51Z","citation":{"ieee":"Reinhard  Keil and H. Selke, “Virtual knowledge {\\ ‘a} ume - From the presentation of content to virtual learning {\\’ a} tten,” 2015, vol. 330, pp. 39–53.","apa":"Keil,  Reinhard , &#38; Selke, H. (2015). <i>Virtual knowledge {\\ “a} ume - From the presentation of content to virtual learning {\\” a} tten</i> (R. Keil &#38;  Harald Selke, Eds.; Vol. 330, pp. 39–53). publishing series of the Heinz Nixdorf Institute, Paderborn.","short":"Reinhard  Keil, H. Selke, in: R. Keil,  Harald Selke (Eds.), publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 39–53.","chicago":"Keil,  Reinhard , and Harald Selke. “Virtual Knowledge {\\ ‘A} Ume - From the Presentation of Content to Virtual Learning {\\’ A} Tten.” edited by Reinhard  Keil and  Harald Selke, 330:39–53. publishing series of the Heinz Nixdorf Institute, Paderborn, 2015.","mla":"Keil,  Reinhard , and Harald Selke. <i>Virtual Knowledge {\\ “A} Ume - From the Presentation of Content to Virtual Learning {\\” A} Tten</i>. Edited by Reinhard  Keil and  Harald Selke, vol. 330, publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 39–53.","bibtex":"@inproceedings{Keil_Selke_2015, title={Virtual knowledge {\\ “a} ume - From the presentation of content to virtual learning {\\” a} tten}, volume={330}, publisher={publishing series of the Heinz Nixdorf Institute, Paderborn}, author={Keil,  Reinhard  and Selke, Harald}, editor={Keil, Reinhard  and Selke,  Harald}, year={2015}, pages={39–53} }","ama":"Keil  Reinhard , Selke H. Virtual knowledge {\\ “a} ume - From the presentation of content to virtual learning {\\” a} tten. In: Keil R, Selke  Harald, eds. Vol 330. publishing series of the Heinz Nixdorf Institute, Paderborn; 2015:39-53."}},{"type":"dissertation","department":[{"_id":"71"}],"date_created":"2021-11-05T22:52:55Z","place":"Universit {\\ \"a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science","citation":{"chicago":"Klompmaker, Florian. <i>Development of a Structured Process of Interaction Design for {\\ “U} r Nat {\\” U} Local User Interfaces</i>. Universit {\\ \"a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Universitaetsbibliothek Paderborn, 2015.","short":"F. Klompmaker, Development of a Structured Process of Interaction Design for {\\ “U} r Nat {\\” U} Local User Interfaces, Universitaetsbibliothek Paderborn, Universit {\\ \"a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2015.","ama":"Klompmaker F. <i>Development of a Structured Process of Interaction Design for {\\ “U} r Nat {\\” U} Local User Interfaces</i>. Universitaetsbibliothek Paderborn; 2015.","bibtex":"@book{Klompmaker_2015, place={Universit {\\ \"a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science}, title={Development of a structured process of interaction design for {\\ “u} r nat {\\” u} local user interfaces}, publisher={Universitaetsbibliothek Paderborn}, author={Klompmaker, Florian}, year={2015} }","apa":"Klompmaker, F. (2015). <i>Development of a structured process of interaction design for {\\ “u} r nat {\\” u} local user interfaces</i>. Universitaetsbibliothek Paderborn.","mla":"Klompmaker, Florian. <i>Development of a Structured Process of Interaction Design for {\\ “U} r Nat {\\” U} Local User Interfaces</i>. Universitaetsbibliothek Paderborn, 2015.","ieee":"F. Klompmaker, <i>Development of a structured process of interaction design for {\\ “u} r nat {\\” u} local user interfaces</i>. Universit {\\ \"a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Universitaetsbibliothek Paderborn, 2015."},"user_id":"71124","language":[{"iso":"eng"}],"_id":"27164","publisher":"Universitaetsbibliothek Paderborn","date_updated":"2022-01-06T06:57:35Z","title":"Development of a structured process of interaction design for {\\ \"u} r nat {\\\" u} local user interfaces","status":"public","year":"2015","author":[{"full_name":"Klompmaker, Florian","first_name":"Florian","last_name":"Klompmaker"}]}]