[{"publication_status":"published","publication_identifier":{"issn":["0021-9606","1089-7690"]},"citation":{"short":"F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, F. Noé, The Journal of Chemical Physics (2017).","bibtex":"@article{Nüske_Wu_Prinz_Wehmeyer_Clementi_Noé_2017, title={Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias}, DOI={<a href=\"https://doi.org/10.1063/1.4976518\">10.1063/1.4976518</a>}, number={094104}, journal={The Journal of Chemical Physics}, author={Nüske, Feliks and Wu, Hao and Prinz, Jan-Hendrik and Wehmeyer, Christoph and Clementi, Cecilia and Noé, Frank}, year={2017} }","mla":"Nüske, Feliks, et al. “Markov State Models from Short Non-Equilibrium Simulations—Analysis and Correction of Estimation Bias.” <i>The Journal of Chemical Physics</i>, 094104, 2017, doi:<a href=\"https://doi.org/10.1063/1.4976518\">10.1063/1.4976518</a>.","apa":"Nüske, F., Wu, H., Prinz, J.-H., Wehmeyer, C., Clementi, C., &#38; Noé, F. (2017). Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias. <i>The Journal of Chemical Physics</i>. <a href=\"https://doi.org/10.1063/1.4976518\">https://doi.org/10.1063/1.4976518</a>","ama":"Nüske F, Wu H, Prinz J-H, Wehmeyer C, Clementi C, Noé F. Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias. <i>The Journal of Chemical Physics</i>. 2017. doi:<a href=\"https://doi.org/10.1063/1.4976518\">10.1063/1.4976518</a>","chicago":"Nüske, Feliks, Hao Wu, Jan-Hendrik Prinz, Christoph Wehmeyer, Cecilia Clementi, and Frank Noé. “Markov State Models from Short Non-Equilibrium Simulations—Analysis and Correction of Estimation Bias.” <i>The Journal of Chemical Physics</i>, 2017. <a href=\"https://doi.org/10.1063/1.4976518\">https://doi.org/10.1063/1.4976518</a>.","ieee":"F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, and F. Noé, “Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias,” <i>The Journal of Chemical Physics</i>, 2017."},"year":"2017","date_created":"2021-04-30T16:55:31Z","author":[{"orcid":"0000-0003-2444-7889","last_name":"Nüske","full_name":"Nüske, Feliks","id":"81513","first_name":"Feliks"},{"last_name":"Wu","full_name":"Wu, Hao","first_name":"Hao"},{"first_name":"Jan-Hendrik","last_name":"Prinz","full_name":"Prinz, Jan-Hendrik"},{"full_name":"Wehmeyer, Christoph","last_name":"Wehmeyer","first_name":"Christoph"},{"last_name":"Clementi","full_name":"Clementi, Cecilia","first_name":"Cecilia"},{"first_name":"Frank","full_name":"Noé, Frank","last_name":"Noé"}],"date_updated":"2022-01-06T06:55:20Z","doi":"10.1063/1.4976518","title":"Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias","type":"journal_article","publication":"The Journal of Chemical Physics","status":"public","user_id":"81513","department":[{"_id":"101"}],"_id":"21938","language":[{"iso":"eng"}],"extern":"1","article_number":"094104"},{"year":"2017","citation":{"ieee":"H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, and F. Noé, “Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations,” <i>The Journal of Chemical Physics</i>, 2017.","chicago":"Wu, Hao, Feliks Nüske, Fabian Paul, Stefan Klus, Péter Koltai, and Frank Noé. “Variational Koopman Models: Slow Collective Variables and Molecular Kinetics from Short off-Equilibrium Simulations.” <i>The Journal of Chemical Physics</i>, 2017. <a href=\"https://doi.org/10.1063/1.4979344\">https://doi.org/10.1063/1.4979344</a>.","ama":"Wu H, Nüske F, Paul F, Klus S, Koltai P, Noé F. Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations. <i>The Journal of Chemical Physics</i>. 2017. doi:<a href=\"https://doi.org/10.1063/1.4979344\">10.1063/1.4979344</a>","apa":"Wu, H., Nüske, F., Paul, F., Klus, S., Koltai, P., &#38; Noé, F. (2017). Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations. <i>The Journal of Chemical Physics</i>. <a href=\"https://doi.org/10.1063/1.4979344\">https://doi.org/10.1063/1.4979344</a>","short":"H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, F. Noé, The Journal of Chemical Physics (2017).","bibtex":"@article{Wu_Nüske_Paul_Klus_Koltai_Noé_2017, title={Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations}, DOI={<a href=\"https://doi.org/10.1063/1.4979344\">10.1063/1.4979344</a>}, number={154104}, journal={The Journal of Chemical Physics}, author={Wu, Hao and Nüske, Feliks and Paul, Fabian and Klus, Stefan and Koltai, Péter and Noé, Frank}, year={2017} }","mla":"Wu, Hao, et al. “Variational Koopman Models: Slow Collective Variables and Molecular Kinetics from Short off-Equilibrium Simulations.” <i>The Journal of Chemical Physics</i>, 154104, 2017, doi:<a href=\"https://doi.org/10.1063/1.4979344\">10.1063/1.4979344</a>."},"publication_identifier":{"issn":["0021-9606","1089-7690"]},"publication_status":"published","title":"Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations","doi":"10.1063/1.4979344","date_updated":"2022-01-06T06:55:20Z","author":[{"first_name":"Hao","last_name":"Wu","full_name":"Wu, Hao"},{"first_name":"Feliks","last_name":"Nüske","orcid":"0000-0003-2444-7889","full_name":"Nüske, Feliks","id":"81513"},{"first_name":"Fabian","full_name":"Paul, Fabian","last_name":"Paul"},{"first_name":"Stefan","last_name":"Klus","full_name":"Klus, Stefan"},{"last_name":"Koltai","full_name":"Koltai, Péter","first_name":"Péter"},{"last_name":"Noé","full_name":"Noé, Frank","first_name":"Frank"}],"date_created":"2021-04-30T16:57:21Z","status":"public","publication":"The Journal of Chemical Physics","type":"journal_article","article_number":"154104","language":[{"iso":"eng"}],"extern":"1","_id":"21939","department":[{"_id":"101"}],"user_id":"81513"},{"_id":"90","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"department":[{"_id":"77"}],"user_id":"477","ddc":["040"],"file_date_updated":"2018-03-21T13:13:04Z","language":[{"iso":"eng"}],"publication":"ACM Transactions on Embedded Computing Systems","type":"journal_article","abstract":[{"lang":"eng","text":"We propose and extend an approach for the verification of safety properties for parameterized timed systems modeled as networks of timed automata. For this task, we introduce an incremental workflow that is based on our algorithm IC3 with Zones. It proceeds in a cycle in which single models of the system are verified, and the verification results are employed for the reasoning about the entire system. Starting with the smallest instances, the verification of the safety property is carried out fast and efficient. On successful verification, the algorithm produces an inductive strengthening of the safety property. We reuse this result and try to reason about the entire parameterized timed system. To this end, we extrapolate the inductive strengthening into a candidate for the next-larger model. In case this candidate is a valid inductive strengthening for the next larger model, our main theorem reasons about all models of the parameterized timed system, stating that the safety property holds true for all models. Otherwise, the main cycle starts over with the verification of the next larger model. This workflow is iterated indefinitely, until able to reason about the entire parameterized timed system, until a counterexample trace is found, or until the single models become too large to be handled in the verification. We reuse the intermediate results in a Feedback-loop in order to accelerate the verification runs for the single models. Furthermore, we consider an extended formalism in comparison to our previous publications."}],"status":"public","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","file_id":"1572","file_name":"90-a47-isenberg.pdf","access_level":"closed","file_size":584870,"creator":"florida","date_created":"2018-03-21T13:13:04Z","date_updated":"2018-03-21T13:13:04Z"}],"date_updated":"2022-01-06T07:04:06Z","publisher":"ACM","author":[{"first_name":"Tobias","full_name":"Isenberg, Tobias","last_name":"Isenberg"}],"date_created":"2017-10-17T12:41:09Z","title":"Incremental Inductive Verification of Parameterized Timed Systems","doi":"10.1145/2984640","has_accepted_license":"1","issue":"2","year":"2017","page":"47:1-47:24","citation":{"mla":"Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2, ACM, 2017, pp. 47:1-47:24, doi:<a href=\"https://doi.org/10.1145/2984640\">10.1145/2984640</a>.","short":"T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24.","bibtex":"@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={<a href=\"https://doi.org/10.1145/2984640\">10.1145/2984640</a>}, number={2}, journal={ACM Transactions on Embedded Computing Systems}, publisher={ACM}, author={Isenberg, Tobias}, year={2017}, pages={47:1-47:24} }","apa":"Isenberg, T. (2017). Incremental Inductive Verification of Parameterized Timed Systems. <i>ACM Transactions on Embedded Computing Systems</i>, (2), 47:1-47:24. <a href=\"https://doi.org/10.1145/2984640\">https://doi.org/10.1145/2984640</a>","chicago":"Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2 (2017): 47:1-47:24. <a href=\"https://doi.org/10.1145/2984640\">https://doi.org/10.1145/2984640</a>.","ieee":"T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2, pp. 47:1-47:24, 2017.","ama":"Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. <i>ACM Transactions on Embedded Computing Systems</i>. 2017;(2):47:1-47:24. doi:<a href=\"https://doi.org/10.1145/2984640\">10.1145/2984640</a>"}},{"publisher":"Springer","date_updated":"2022-01-06T07:03:45Z","date_created":"2019-02-18T14:18:26Z","volume":10445,"title":"Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science","year":"2017","citation":{"apa":"Carmona , J., Engels, G., &#38; Kumar, A. (Eds.). (2017). <i>Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science</i> (Vol. 10445). Springer.","bibtex":"@book{Carmona _Engels_Kumar_2017, title={Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science}, volume={10445}, publisher={Springer}, year={2017} }","short":"J. Carmona , G. Engels, A. Kumar, eds., Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science, Springer, 2017.","mla":"Carmona , Josep, et al., editors. <i>Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science</i>. Vol. 10445, Springer, 2017.","ama":"Carmona  J, Engels G, Kumar A, eds. <i>Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science</i>. Vol 10445. Springer; 2017.","ieee":"J. Carmona , G. Engels, and A. Kumar, Eds., <i>Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science</i>, vol. 10445. Springer, 2017.","chicago":"Carmona , Josep , Gregor Engels, and Akhil  Kumar, eds. <i>Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science</i>. Vol. 10445. Springer, 2017."},"intvolume":"     10445","_id":"7749","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference_editor","editor":[{"full_name":"Carmona , Josep ","last_name":"Carmona ","first_name":"Josep "},{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"full_name":"Kumar, Akhil ","last_name":"Kumar","first_name":"Akhil "}],"status":"public"},{"citation":{"apa":"Carmona , J., Engels, G., &#38; Kumar, A. (Eds.). (2017). <i>Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297</i> (Vol. 297). Springer.","short":"J. Carmona , G. Engels, A. Kumar, eds., Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297, Springer, 2017.","bibtex":"@book{Carmona _Engels_Kumar_2017, title={Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297}, volume={297}, publisher={Springer}, year={2017} }","mla":"Carmona , Josep, et al., editors. <i>Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297</i>. Vol. 297, Springer, 2017.","ama":"Carmona  J, Engels G, Kumar A, eds. <i>Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297</i>. Vol 297. Springer; 2017.","chicago":"Carmona , Josep , Gregor Engels, and Akhil  Kumar, eds. <i>Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297</i>. Vol. 297. Springer, 2017.","ieee":"J. Carmona , G. Engels, and A. Kumar, Eds., <i>Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297</i>, vol. 297. Springer, 2017."},"intvolume":"       297","year":"2017","title":"Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297","date_created":"2019-02-18T14:26:32Z","volume":297,"date_updated":"2022-01-06T07:03:45Z","publisher":"Springer","status":"public","editor":[{"first_name":"Josep ","full_name":"Carmona , Josep ","last_name":"Carmona "},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"first_name":"Akhil ","last_name":"Kumar","full_name":"Kumar, Akhil "}],"type":"conference_editor","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7750"},{"department":[{"_id":"66"}],"user_id":"52534","_id":"7751","language":[{"iso":"eng"}],"type":"book_editor","status":"public","editor":[{"full_name":"Spalazzese, Romina","last_name":"Spalazzese","first_name":"Romina"},{"first_name":"Marie","full_name":"Christin Platenius, Marie","last_name":"Christin Platenius"},{"first_name":"Steffen","full_name":"Becker, Steffen","last_name":"Becker"},{"full_name":"Persson, Per","last_name":"Persson","first_name":"Per"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"}],"date_created":"2019-02-18T14:27:25Z","date_updated":"2022-01-06T07:03:45Z","doi":"10.1109/ICSAW.2017.67","title":"Message from the IoT-ASAP Chairs","citation":{"ama":"Spalazzese R, Christin Platenius M, Becker S, Persson P, Engels G, eds. <i>Message from the IoT-ASAP Chairs</i>.; 2017. doi:<a href=\"https://doi.org/10.1109/ICSAW.2017.67\">10.1109/ICSAW.2017.67</a>","ieee":"R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, and G. Engels, Eds., <i>Message from the IoT-ASAP Chairs</i>. 2017.","chicago":"Spalazzese, Romina, Marie Christin Platenius, Steffen Becker, Per Persson, and Gregor Engels, eds. <i>Message from the IoT-ASAP Chairs</i>, 2017. <a href=\"https://doi.org/10.1109/ICSAW.2017.67\">https://doi.org/10.1109/ICSAW.2017.67</a>.","mla":"Spalazzese, Romina, et al., editors. <i>Message from the IoT-ASAP Chairs</i>. 2017, doi:<a href=\"https://doi.org/10.1109/ICSAW.2017.67\">10.1109/ICSAW.2017.67</a>.","bibtex":"@book{Spalazzese_Christin Platenius_Becker_Persson_Engels_2017, title={Message from the IoT-ASAP Chairs}, DOI={<a href=\"https://doi.org/10.1109/ICSAW.2017.67\">10.1109/ICSAW.2017.67</a>}, year={2017} }","short":"R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, G. Engels, eds., Message from the IoT-ASAP Chairs, 2017.","apa":"Spalazzese, R., Christin Platenius, M., Becker, S., Persson, P., &#38; Engels, G. (Eds.). (2017). <i>Message from the IoT-ASAP Chairs</i>. <a href=\"https://doi.org/10.1109/ICSAW.2017.67\">https://doi.org/10.1109/ICSAW.2017.67</a>"},"year":"2017"},{"language":[{"iso":"eng"}],"_id":"7754","department":[{"_id":"66"}],"user_id":"52534","editor":[{"first_name":"Steffen ","last_name":"Hess","full_name":"Hess, Steffen "},{"first_name":"Holger Gerhard","last_name":"Fischer","id":"30457","full_name":"Fischer, Holger Gerhard"}],"status":"public","type":"conference_editor","title":"Mensch und Computer 2017 - Usability Professionals. Tagungsband","date_updated":"2022-01-06T07:03:45Z","publisher":"Gesellschaft für Informatik e.V. und German UPA e.V.","date_created":"2019-02-19T11:44:42Z","year":"2017","place":"Regensburg","citation":{"bibtex":"@book{Hess_Fischer_2017, place={Regensburg}, title={Mensch und Computer 2017 - Usability Professionals. Tagungsband}, publisher={Gesellschaft für Informatik e.V. und German UPA e.V.}, year={2017} }","short":"S. Hess, H.G. Fischer, eds., Mensch Und Computer 2017 - Usability Professionals. Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Regensburg, 2017.","mla":"Hess, Steffen, and Holger Gerhard Fischer, editors. <i>Mensch Und Computer 2017 - Usability Professionals. Tagungsband</i>. Gesellschaft für Informatik e.V. und German UPA e.V., 2017.","apa":"Hess, S., &#38; Fischer, H. G. (Eds.). (2017). <i>Mensch und Computer 2017 - Usability Professionals. Tagungsband</i>. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.","ama":"Hess S, Fischer HG, eds. <i>Mensch Und Computer 2017 - Usability Professionals. Tagungsband</i>. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.; 2017.","ieee":"S. Hess and H. G. Fischer, Eds., <i>Mensch und Computer 2017 - Usability Professionals. Tagungsband</i>. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V., 2017.","chicago":"Hess, Steffen , and Holger Gerhard Fischer, eds. <i>Mensch Und Computer 2017 - Usability Professionals. Tagungsband</i>. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V., 2017."}},{"publisher":"IEEE","date_updated":"2022-01-06T07:03:45Z","date_created":"2019-02-19T11:47:41Z","author":[{"full_name":"Mendes, Jorge","last_name":"Mendes","first_name":"Jorge"},{"last_name":"Cunha","full_name":"Cunha, Jacome","first_name":"Jacome"},{"last_name":"Duarte","full_name":"Duarte, Francisco","first_name":"Francisco"},{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"last_name":"Saraiva","full_name":"Saraiva, Joao","first_name":"Joao"},{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"}],"title":"Towards systematic spreadsheet construction processes","doi":"10.1109/icse-c.2017.141","publication_status":"published","publication_identifier":{"isbn":["9781538615898"]},"year":"2017","citation":{"apa":"Mendes, J., Cunha, J., Duarte, F., Engels, G., Saraiva, J., &#38; Sauer, S. (2017). Towards systematic spreadsheet construction processes. In Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg)  (Ed.), <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)</i>. IEEE. <a href=\"https://doi.org/10.1109/icse-c.2017.141\">https://doi.org/10.1109/icse-c.2017.141</a>","bibtex":"@inproceedings{Mendes_Cunha_Duarte_Engels_Saraiva_Sauer_2017, title={Towards systematic spreadsheet construction processes}, DOI={<a href=\"https://doi.org/10.1109/icse-c.2017.141\">10.1109/icse-c.2017.141</a>}, booktitle={2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)}, publisher={IEEE}, author={Mendes, Jorge and Cunha, Jacome and Duarte, Francisco and Engels, Gregor and Saraiva, Joao and Sauer, Stefan}, editor={Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) Editor}, year={2017} }","mla":"Mendes, Jorge, et al. “Towards Systematic Spreadsheet Construction Processes.” <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)</i>, edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) , IEEE, 2017, doi:<a href=\"https://doi.org/10.1109/icse-c.2017.141\">10.1109/icse-c.2017.141</a>.","short":"J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg)  (Ed.), 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), IEEE, 2017.","chicago":"Mendes, Jorge, Jacome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva, and Stefan Sauer. “Towards Systematic Spreadsheet Construction Processes.” In <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)</i>, edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) . IEEE, 2017. <a href=\"https://doi.org/10.1109/icse-c.2017.141\">https://doi.org/10.1109/icse-c.2017.141</a>.","ieee":"J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, and S. Sauer, “Towards systematic spreadsheet construction processes,” in <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)</i>, 2017.","ama":"Mendes J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. Towards systematic spreadsheet construction processes. In: Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) , ed. <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)</i>. IEEE; 2017. doi:<a href=\"https://doi.org/10.1109/icse-c.2017.141\">10.1109/icse-c.2017.141</a>"},"corporate_editor":["Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) "],"_id":"7755","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference","publication":"2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)","status":"public"},{"language":[{"iso":"ger"}],"department":[{"_id":"360"}],"user_id":"26809","_id":"7767","status":"public","editor":[{"last_name":"Kortenkamp","full_name":"Kortenkamp, Ulrich","first_name":"Ulrich"},{"full_name":"Kuzle, Ana","last_name":"Kuzle","first_name":"Ana"}],"publication":"Beiträge zum Mathematikunterricht 2017","type":"conference","main_file_link":[{"url":"https://eldorado.tu-dortmund.de/handle/2003/36640","open_access":"1"}],"title":"Sinnkonstruktion beim Erkunden von Mustern und Strukturen","author":[{"orcid":"0000-0002-6676-9774","last_name":"Schumacher","id":"26809","full_name":"Schumacher, Jan","first_name":"Jan"}],"date_created":"2019-02-19T12:43:36Z","date_updated":"2022-01-06T07:03:45Z","publisher":"WTM-Verlag","oa":"1","citation":{"chicago":"Schumacher, Jan. “Sinnkonstruktion beim Erkunden von Mustern und Strukturen.” In <i>Beiträge zum Mathematikunterricht 2017</i>, edited by Ulrich Kortenkamp and Ana Kuzle. Münster: WTM-Verlag, 2017.","ieee":"J. Schumacher, “Sinnkonstruktion beim Erkunden von Mustern und Strukturen,” in <i>Beiträge zum Mathematikunterricht 2017</i>, 2017.","ama":"Schumacher J. Sinnkonstruktion beim Erkunden von Mustern und Strukturen. In: Kortenkamp U, Kuzle A, eds. <i>Beiträge zum Mathematikunterricht 2017</i>. Münster: WTM-Verlag; 2017.","short":"J. Schumacher, in: U. Kortenkamp, A. Kuzle (Eds.), Beiträge zum Mathematikunterricht 2017, WTM-Verlag, Münster, 2017.","bibtex":"@inproceedings{Schumacher_2017, place={Münster}, title={Sinnkonstruktion beim Erkunden von Mustern und Strukturen}, booktitle={Beiträge zum Mathematikunterricht 2017}, publisher={WTM-Verlag}, author={Schumacher, Jan}, editor={Kortenkamp, Ulrich and Kuzle, AnaEditors}, year={2017} }","mla":"Schumacher, Jan. “Sinnkonstruktion beim Erkunden von Mustern und Strukturen.” <i>Beiträge zum Mathematikunterricht 2017</i>, edited by Ulrich Kortenkamp and Ana Kuzle, WTM-Verlag, 2017.","apa":"Schumacher, J. (2017). Sinnkonstruktion beim Erkunden von Mustern und Strukturen. In U. Kortenkamp &#38; A. Kuzle (Eds.), <i>Beiträge zum Mathematikunterricht 2017</i>. Münster: WTM-Verlag."},"place":"Münster","year":"2017","publication_status":"published"},{"ddc":["000"],"language":[{"iso":"eng"}],"abstract":[{"text":"The Internet of Things (IoT) connects the things of our everyday life and supports usin our common activities.Several markets for IoT services have been created. These markets enable IoT users to search and compose services in order to support an IoT activity.However, existing IoT markets like IFTTT (If This Then That) are not convenient for users with respect to service discovery and composition.The objective of On-the-fly (OTF) computing is to configure and provide software markets that fulfill individual users' wishes by the automatic on-the-fly composition of single services.The architecture framework of On-the-fly computing markets helps architects to systematically develop these systems in different domains.In this paper, we use our OTF architectural framework to examine the requirements of a reference architecture for IoT markets.Furthermore, we perform a comparison between the architecture of IFTTT as an existing IoT market with this reference architecture. The results show how existing IoT markets can be improved. In return, the practical knowledge of IFTTT is taken to the reference architecture.This knowledge helps to overcome the limitations of today's IoT markets or creating new markets in the future.","lang":"eng"}],"file":[{"date_created":"2018-11-02T14:49:05Z","creator":"ups","date_updated":"2018-11-02T14:49:05Z","file_id":"5284","access_level":"closed","file_name":"07958467.pdf","file_size":624689,"content_type":"application/pdf","relation":"main_file","success":1}],"publication":"Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop","title":"On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture","publisher":"IEEE","date_created":"2017-10-17T12:41:06Z","year":"2017","file_date_updated":"2018-11-02T14:49:05Z","_id":"78","project":[{"_id":"1","name":"SFB 901"},{"_id":"17","name":"SFB 901 - Subprojekt C5"},{"name":"SFB 901 - Project Area C","_id":"4"}],"department":[{"_id":"66"}],"user_id":"36399","status":"public","type":"conference","doi":"10.1109/ICSAW.2017.59","date_updated":"2022-01-06T07:03:46Z","author":[{"first_name":"Bahar","last_name":"Jazayeri","full_name":"Jazayeri, Bahar","id":"36399"},{"first_name":"Simon","last_name":"Schwichtenberg","id":"13235","full_name":"Schwichtenberg, Simon"}],"place":"Gothenburg, Sweden","page":"120--127","citation":{"apa":"Jazayeri, B., &#38; Schwichtenberg, S. (2017). On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture. In <i>Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i> (pp. 120--127). Gothenburg, Sweden: IEEE. <a href=\"https://doi.org/10.1109/ICSAW.2017.59\">https://doi.org/10.1109/ICSAW.2017.59</a>","mla":"Jazayeri, Bahar, and Simon Schwichtenberg. “On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture.” <i>Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i>, IEEE, 2017, pp. 120--127, doi:<a href=\"https://doi.org/10.1109/ICSAW.2017.59\">10.1109/ICSAW.2017.59</a>.","bibtex":"@inproceedings{Jazayeri_Schwichtenberg_2017, place={Gothenburg, Sweden}, title={On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture}, DOI={<a href=\"https://doi.org/10.1109/ICSAW.2017.59\">10.1109/ICSAW.2017.59</a>}, booktitle={Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop}, publisher={IEEE}, author={Jazayeri, Bahar and Schwichtenberg, Simon}, year={2017}, pages={120--127} }","short":"B. Jazayeri, S. Schwichtenberg, in: Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, Gothenburg, Sweden, 2017, pp. 120--127.","chicago":"Jazayeri, Bahar, and Simon Schwichtenberg. “On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture.” In <i>Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i>, 120--127. Gothenburg, Sweden: IEEE, 2017. <a href=\"https://doi.org/10.1109/ICSAW.2017.59\">https://doi.org/10.1109/ICSAW.2017.59</a>.","ieee":"B. Jazayeri and S. Schwichtenberg, “On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture,” in <i>Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i>, 2017, pp. 120--127.","ama":"Jazayeri B, Schwichtenberg S. On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture. In: <i>Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i>. Gothenburg, Sweden: IEEE; 2017:120--127. doi:<a href=\"https://doi.org/10.1109/ICSAW.2017.59\">10.1109/ICSAW.2017.59</a>"},"has_accepted_license":"1"},{"language":[{"iso":"eng"}],"ddc":["000"],"file":[{"date_updated":"2018-11-02T14:59:22Z","creator":"ups","date_created":"2018-11-02T14:59:22Z","file_size":380629,"access_level":"closed","file_name":"Non-clairvoyantSchedulingToMin.pdf","file_id":"5289","content_type":"application/pdf","success":1,"relation":"main_file"}],"abstract":[{"text":"Consider a problem in which $n$ jobs that are classified into $k$ types arrive over time at their release times and are to be scheduled on a single machine so as to minimize the maximum flow time.The machine requires a setup taking $s$ time units whenever it switches from processing jobs of one type to jobs of a different type.We consider the problem as an online problem where each job is only known to the scheduler as soon as it arrives and where the processing time of a job only becomes known upon its completion (non-clairvoyance).We are interested in the potential of simple ``greedy-like'' algorithms.We analyze a modification of the FIFO strategy and show its competitiveness to be $\\Theta(\\sqrt{n})$, which is optimal for the considered class of algorithms.For $k=2$ types it achieves a constant competitiveness.Our main insight is obtained by an analysis of the smoothed competitiveness.If processing times $p_j$ are independently perturbed to $\\hat p_j = (1+X_j)p_j$, we obtain a competitiveness of $O(\\sigma^{-2} \\log^2 n)$ when $X_j$ is drawn from a uniform or a (truncated) normal distribution with standard deviation $\\sigma$.The result proves that bad instances are fragile and ``practically'' one might expect a much better performance than given by the $\\Omega(\\sqrt{n})$-bound.","lang":"eng"}],"publication":"Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)","title":"Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times","date_created":"2017-10-17T12:41:06Z","publisher":"Springer","year":"2017","file_date_updated":"2018-11-02T14:59:22Z","department":[{"_id":"63"}],"series_title":"Lecture Notes in Computer Science","user_id":"477","_id":"79","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt C4","_id":"16"},{"name":"SFB 901 - Project Area C","_id":"4"}],"status":"public","type":"conference","doi":"10.1007/978-3-319-89441-6","volume":10787,"author":[{"full_name":"Mäcker, Alexander","id":"13536","last_name":"Mäcker","first_name":"Alexander"},{"full_name":"Malatyali, Manuel","last_name":"Malatyali","first_name":"Manuel"},{"full_name":"Meyer auf der Heide, Friedhelm","id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"full_name":"Riechers, Sören","last_name":"Riechers","first_name":"Sören"}],"date_updated":"2022-01-06T07:03:47Z","page":"207-222","intvolume":"     10787","citation":{"ama":"Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times. In: <i>Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i>. Vol 10787. Lecture Notes in Computer Science. Springer; 2017:207-222. doi:<a href=\"https://doi.org/10.1007/978-3-319-89441-6\">10.1007/978-3-319-89441-6</a>","chicago":"Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and Sören Riechers. “Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times.” In <i>Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i>, 10787:207–22. Lecture Notes in Computer Science. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-89441-6\">https://doi.org/10.1007/978-3-319-89441-6</a>.","ieee":"A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times,” in <i>Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i>, 2017, vol. 10787, pp. 207–222.","bibtex":"@inproceedings{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2017, series={Lecture Notes in Computer Science}, title={Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times}, volume={10787}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-89441-6\">10.1007/978-3-319-89441-6</a>}, booktitle={Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)}, publisher={Springer}, author={Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2017}, pages={207–222}, collection={Lecture Notes in Computer Science} }","short":"A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), Springer, 2017, pp. 207–222.","mla":"Mäcker, Alexander, et al. “Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times.” <i>Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i>, vol. 10787, Springer, 2017, pp. 207–22, doi:<a href=\"https://doi.org/10.1007/978-3-319-89441-6\">10.1007/978-3-319-89441-6</a>.","apa":"Mäcker, A., Malatyali, M., Meyer auf der Heide, F., &#38; Riechers, S. (2017). Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times. In <i>Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i> (Vol. 10787, pp. 207–222). Springer. <a href=\"https://doi.org/10.1007/978-3-319-89441-6\">https://doi.org/10.1007/978-3-319-89441-6</a>"},"has_accepted_license":"1"},{"page":"65-66","citation":{"ama":"Grieger M, Fazal-Baqaie M, Engels G, Klenke M. Concept-Based Engineering of Situation-Specific Migration Methods. In: <i>Software Engineering 2017</i>. ; 2017:65-66.","chicago":"Grieger, Marvin, Masud Fazal-Baqaie, Gregor Engels, and Markus Klenke. “Concept-Based Engineering of Situation-Specific Migration Methods.” In <i>Software Engineering 2017</i>, 65–66, 2017.","ieee":"M. Grieger, M. Fazal-Baqaie, G. Engels, and M. Klenke, “Concept-Based Engineering of Situation-Specific Migration Methods,” in <i>Software Engineering 2017</i>, 2017, pp. 65–66.","apa":"Grieger, M., Fazal-Baqaie, M., Engels, G., &#38; Klenke, M. (2017). Concept-Based Engineering of Situation-Specific Migration Methods. In <i>Software Engineering 2017</i> (pp. 65–66).","mla":"Grieger, Marvin, et al. “Concept-Based Engineering of Situation-Specific Migration Methods.” <i>Software Engineering 2017</i>, 2017, pp. 65–66.","bibtex":"@inproceedings{Grieger_Fazal-Baqaie_Engels_Klenke_2017, title={Concept-Based Engineering of Situation-Specific Migration Methods}, booktitle={Software Engineering 2017}, author={Grieger, Marvin and Fazal-Baqaie, Masud and Engels, Gregor and Klenke, Markus}, year={2017}, pages={65–66} }","short":"M. Grieger, M. Fazal-Baqaie, G. Engels, M. Klenke, in: Software Engineering 2017, 2017, pp. 65–66."},"year":"2017","title":"Concept-Based Engineering of Situation-Specific Migration Methods","author":[{"last_name":"Grieger","full_name":"Grieger, Marvin","first_name":"Marvin"},{"first_name":"Masud","full_name":"Fazal-Baqaie, Masud","last_name":"Fazal-Baqaie"},{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"first_name":"Markus","full_name":"Klenke, Markus","last_name":"Klenke"}],"date_created":"2019-02-21T21:28:39Z","date_updated":"2022-01-06T07:03:50Z","status":"public","publication":"Software Engineering 2017","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8073"},{"citation":{"chicago":"Luo, Linghui. <i>MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained</i>. Universität Paderborn, 2017.","ieee":"L. Luo, <i>MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained</i>. Universität Paderborn, 2017.","ama":"Luo L. <i>MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained</i>. Universität Paderborn; 2017.","mla":"Luo, Linghui. <i>MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained</i>. Universität Paderborn, 2017.","short":"L. Luo, MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained, Universität Paderborn, 2017.","bibtex":"@book{Luo_2017, title={MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained}, publisher={Universität Paderborn}, author={Luo, Linghui}, year={2017} }","apa":"Luo, L. (2017). <i>MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained</i>. Universität Paderborn."},"year":"2017","author":[{"last_name":"Luo","full_name":"Luo, Linghui","first_name":"Linghui"}],"date_created":"2017-10-17T12:41:07Z","supervisor":[{"first_name":"Christian","full_name":"Scheideler, Christian","id":"20792","last_name":"Scheideler"}],"publisher":"Universität Paderborn","date_updated":"2022-01-06T07:03:50Z","title":"MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained","type":"mastersthesis","status":"public","department":[{"_id":"79"}],"user_id":"477","_id":"81","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt A1","_id":"5"},{"_id":"2","name":"SFB 901 - Project Area A"}],"language":[{"iso":"eng"}]},{"ddc":["000"],"file_date_updated":"2018-11-02T15:07:35Z","language":[{"iso":"eng"}],"_id":"82","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area A","_id":"2"},{"name":"SFB 901 - Subproject A1","_id":"5"}],"department":[{"_id":"63"}],"user_id":"477","series_title":"LNCS","abstract":[{"text":"Many graph problems such as maximum cut, chromatic number, hamiltonian cycle, and edge dominating set are known to be fixed-parameter tractable (FPT) when parameterized by the treewidth of the input graphs, but become W-hard with respect to the clique-width parameter. Recently, Gajarský et al. proposed a new parameter called modular-width using the notion of modular decomposition of graphs. They showed that the chromatic number problem and the partitioning into paths problem, and hence hamiltonian path and hamiltonian cycle, are FPT when parameterized by this parameter. In this paper, we study modular-width in parameterized parallel complexity and show that the weighted maximum clique problem and the maximum matching problem are fixed-parameter parallel-tractable (FPPT) when parameterized by this parameter.","lang":"eng"}],"status":"public","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","file_id":"5294","file_name":"Modular-WidthAnAuxiliaryParame.pdf","access_level":"closed","file_size":238276,"creator":"ups","date_created":"2018-11-02T15:07:35Z","date_updated":"2018-11-02T15:07:35Z"}],"publication":"Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)","type":"conference","title":"Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity","doi":"10.1007/978-3-319-59605-1_13","date_updated":"2022-01-06T07:03:52Z","date_created":"2017-10-17T12:41:07Z","author":[{"first_name":"Faisal N.","full_name":"Abu-Khzam, Faisal N.","last_name":"Abu-Khzam"},{"first_name":"Shouwei","last_name":"Li","full_name":"Li, Shouwei"},{"last_name":"Markarian","id":"37612","full_name":"Markarian, Christine","first_name":"Christine"},{"first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm","id":"15523","last_name":"Meyer auf der Heide"},{"last_name":"Podlipyan","full_name":"Podlipyan, Pavel","first_name":"Pavel"}],"year":"2017","page":"139-150","citation":{"ama":"Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity. In: <i>Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)</i>. LNCS. ; 2017:139-150. doi:<a href=\"https://doi.org/10.1007/978-3-319-59605-1_13\">10.1007/978-3-319-59605-1_13</a>","chicago":"Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity.” In <i>Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)</i>, 139–50. LNCS, 2017. <a href=\"https://doi.org/10.1007/978-3-319-59605-1_13\">https://doi.org/10.1007/978-3-319-59605-1_13</a>.","ieee":"F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity,” in <i>Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)</i>, 2017, pp. 139–150.","apa":"Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., &#38; Podlipyan, P. (2017). Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity. In <i>Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)</i> (pp. 139–150). <a href=\"https://doi.org/10.1007/978-3-319-59605-1_13\">https://doi.org/10.1007/978-3-319-59605-1_13</a>","bibtex":"@inproceedings{Abu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2017, series={LNCS}, title={Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-59605-1_13\">10.1007/978-3-319-59605-1_13</a>}, booktitle={Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)}, author={Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel}, year={2017}, pages={139–150}, collection={LNCS} }","mla":"Abu-Khzam, Faisal N., et al. “Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity.” <i>Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)</i>, 2017, pp. 139–50, doi:<a href=\"https://doi.org/10.1007/978-3-319-59605-1_13\">10.1007/978-3-319-59605-1_13</a>.","short":"F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150."},"has_accepted_license":"1"},{"language":[{"iso":"eng"}],"_id":"8225","department":[{"_id":"66"}],"user_id":"52534","status":"public","publication":"Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume","type":"conference","title":"Systematic spreadsheet construction processes","doi":"http://dx.doi.org/10.1109/VLHCC.2017.8103459","publisher":"IEEE","date_updated":"2022-01-06T07:03:52Z","author":[{"full_name":"Mendes, Jorge","last_name":"Mendes","first_name":"Jorge"},{"first_name":"Jácome","last_name":"Cunha","full_name":"Cunha, Jácome"},{"last_name":"Duarte","full_name":"Duarte, Francisco","first_name":"Francisco"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"last_name":"Saraiva","full_name":"Saraiva, Joao","first_name":"Joao"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}],"date_created":"2019-03-03T16:57:56Z","year":"2017","page":"123-127","citation":{"chicago":"Mendes, Jorge, Jácome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva, and Stefan Sauer. “Systematic Spreadsheet Construction Processes.” In <i>Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume</i>, 123–27. IEEE, 2017. <a href=\"http://dx.doi.org/10.1109/VLHCC.2017.8103459\">http://dx.doi.org/10.1109/VLHCC.2017.8103459</a>.","ieee":"J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, and S. Sauer, “Systematic spreadsheet construction processes,” in <i>Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume</i>, 2017, pp. 123–127.","ama":"Mendes J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. Systematic spreadsheet construction processes. In: <i>Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume</i>. IEEE; 2017:123-127. doi:<a href=\"http://dx.doi.org/10.1109/VLHCC.2017.8103459\">http://dx.doi.org/10.1109/VLHCC.2017.8103459</a>","apa":"Mendes, J., Cunha, J., Duarte, F., Engels, G., Saraiva, J., &#38; Sauer, S. (2017). Systematic spreadsheet construction processes. In <i>Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume</i> (pp. 123–127). IEEE. <a href=\"http://dx.doi.org/10.1109/VLHCC.2017.8103459\">http://dx.doi.org/10.1109/VLHCC.2017.8103459</a>","short":"J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, IEEE, 2017, pp. 123–127.","mla":"Mendes, Jorge, et al. “Systematic Spreadsheet Construction Processes.” <i>Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume</i>, IEEE, 2017, pp. 123–27, doi:<a href=\"http://dx.doi.org/10.1109/VLHCC.2017.8103459\">http://dx.doi.org/10.1109/VLHCC.2017.8103459</a>.","bibtex":"@inproceedings{Mendes_Cunha_Duarte_Engels_Saraiva_Sauer_2017, title={Systematic spreadsheet construction processes}, DOI={<a href=\"http://dx.doi.org/10.1109/VLHCC.2017.8103459\">http://dx.doi.org/10.1109/VLHCC.2017.8103459</a>}, booktitle={Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume}, publisher={IEEE}, author={Mendes, Jorge and Cunha, Jácome and Duarte, Francisco and Engels, Gregor and Saraiva, Joao and Sauer, Stefan}, year={2017}, pages={123–127} }"}},{"supervisor":[{"last_name":"Hüllermeier","id":"48129","full_name":"Hüllermeier, Eyke","first_name":"Eyke"}],"author":[{"first_name":"Nino Noel","last_name":"Schnitker","full_name":"Schnitker, Nino Noel"}],"date_created":"2018-11-15T08:10:48Z","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:02:35Z","title":"Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies","citation":{"ama":"Schnitker NN. <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn; 2017.","ieee":"N. N. Schnitker, <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn, 2017.","chicago":"Schnitker, Nino Noel. <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn, 2017.","mla":"Schnitker, Nino Noel. <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn, 2017.","bibtex":"@book{Schnitker_2017, title={Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies}, publisher={Universität Paderborn}, author={Schnitker, Nino Noel}, year={2017} }","short":"N.N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies, Universität Paderborn, 2017.","apa":"Schnitker, N. N. (2017). <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn."},"year":"2017","user_id":"477","department":[{"_id":"355"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B2","_id":"10"}],"_id":"5694","language":[{"iso":"ger"}],"type":"bachelorsthesis","status":"public"},{"file_date_updated":"2018-11-15T09:08:46Z","article_number":"2","department":[{"_id":"66"}],"user_id":"36399","_id":"5695","project":[{"name":"SFB 901","_id":"1"},{"_id":"4","name":"SFB 901 - Project Area C"},{"_id":"17","name":"SFB 901 - Subproject C5"}],"status":"public","type":"conference","volume":37,"author":[{"last_name":"Jazayeri","id":"36399","full_name":"Jazayeri, Bahar","first_name":"Bahar"},{"first_name":"Simon","last_name":"Schwichtenberg","full_name":"Schwichtenberg, Simon","id":"13235"}],"date_updated":"2022-01-06T07:02:35Z","intvolume":"        37","citation":{"ama":"Jazayeri B, Schwichtenberg S. On the Necessity of an Architecture Framework for On-The-Fly Computing. In: <i>Proceedings of Softwaretechnik-Trends Workshops</i>. Vol 37. Bad Honnef, Germany: Gesellschaft für Informatik eV, Fachgruppe PARS; 2017.","chicago":"Jazayeri, Bahar, and Simon Schwichtenberg. “On the Necessity of an Architecture Framework for On-The-Fly Computing.” In <i>Proceedings of Softwaretechnik-Trends Workshops</i>, Vol. 37. Bad Honnef, Germany: Gesellschaft für Informatik eV, Fachgruppe PARS, 2017.","ieee":"B. Jazayeri and S. Schwichtenberg, “On the Necessity of an Architecture Framework for On-The-Fly Computing,” in <i>Proceedings of Softwaretechnik-Trends Workshops</i>, 2017, vol. 37.","bibtex":"@inproceedings{Jazayeri_Schwichtenberg_2017, place={Bad Honnef, Germany}, title={On the Necessity of an Architecture Framework for On-The-Fly Computing}, volume={37}, number={2}, booktitle={Proceedings of Softwaretechnik-Trends Workshops}, publisher={Gesellschaft für Informatik eV, Fachgruppe PARS}, author={Jazayeri, Bahar and Schwichtenberg, Simon}, year={2017} }","mla":"Jazayeri, Bahar, and Simon Schwichtenberg. “On the Necessity of an Architecture Framework for On-The-Fly Computing.” <i>Proceedings of Softwaretechnik-Trends Workshops</i>, vol. 37, 2, Gesellschaft für Informatik eV, Fachgruppe PARS, 2017.","short":"B. Jazayeri, S. Schwichtenberg, in: Proceedings of Softwaretechnik-Trends Workshops, Gesellschaft für Informatik eV, Fachgruppe PARS, Bad Honnef, Germany, 2017.","apa":"Jazayeri, B., &#38; Schwichtenberg, S. (2017). On the Necessity of an Architecture Framework for On-The-Fly Computing. In <i>Proceedings of Softwaretechnik-Trends Workshops</i> (Vol. 37). Bad Honnef, Germany: Gesellschaft für Informatik eV, Fachgruppe PARS."},"place":"Bad Honnef, Germany","has_accepted_license":"1","language":[{"iso":"eng"}],"ddc":["040"],"file":[{"file_size":65506,"file_id":"5696","file_name":"Jazayeri_DFF2017.pdf","access_level":"closed","date_updated":"2018-11-15T09:08:46Z","date_created":"2018-11-15T09:08:46Z","creator":"bahareh","success":1,"relation":"main_file","content_type":"application/pdf"}],"publication":"Proceedings of Softwaretechnik-Trends Workshops","title":"On the Necessity of an Architecture Framework for On-The-Fly Computing","date_created":"2018-11-15T09:06:51Z","publisher":"Gesellschaft für Informatik eV, Fachgruppe PARS","year":"2017"},{"title":"jPL: A Java-based Software Framework for Preference Learning","conference":{"location":"Rostock","end_date":"13.09.2017","start_date":"11.09.2017","name":"WDA 2017 Workshops: KDML, FGWM, IR, and FGDB"},"date_updated":"2022-01-06T07:02:37Z","date_created":"2018-11-19T07:32:31Z","author":[{"first_name":"Pritha","last_name":"Gupta","full_name":"Gupta, Pritha"},{"last_name":"Hetzer","id":"38209","full_name":"Hetzer, Alexander","first_name":"Alexander"},{"full_name":"Tornede, Tanja","last_name":"Tornede","first_name":"Tanja"},{"first_name":"Sebastian","full_name":"Gottschalk, Sebastian","last_name":"Gottschalk"},{"last_name":"Kornelsen","full_name":"Kornelsen, Andreas","first_name":"Andreas"},{"full_name":"Osterbrink, Sebastian","last_name":"Osterbrink","first_name":"Sebastian"},{"last_name":"Pfannschmidt","full_name":"Pfannschmidt, Karlson","first_name":"Karlson"},{"full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke"}],"year":"2017","citation":{"ieee":"P. Gupta <i>et al.</i>, “jPL: A Java-based Software Framework for Preference Learning,” presented at the WDA 2017 Workshops: KDML, FGWM, IR, and FGDB, Rostock, 2017.","chicago":"Gupta, Pritha, Alexander Hetzer, Tanja Tornede, Sebastian Gottschalk, Andreas Kornelsen, Sebastian Osterbrink, Karlson Pfannschmidt, and Eyke Hüllermeier. “JPL: A Java-Based Software Framework for Preference Learning,” 2017.","ama":"Gupta P, Hetzer A, Tornede T, et al. jPL: A Java-based Software Framework for Preference Learning. In: ; 2017.","bibtex":"@inproceedings{Gupta_Hetzer_Tornede_Gottschalk_Kornelsen_Osterbrink_Pfannschmidt_Hüllermeier_2017, title={jPL: A Java-based Software Framework for Preference Learning}, author={Gupta, Pritha and Hetzer, Alexander and Tornede, Tanja and Gottschalk, Sebastian and Kornelsen, Andreas and Osterbrink, Sebastian and Pfannschmidt, Karlson and Hüllermeier, Eyke}, year={2017} }","short":"P. Gupta, A. Hetzer, T. Tornede, S. Gottschalk, A. Kornelsen, S. Osterbrink, K. Pfannschmidt, E. Hüllermeier, in: 2017.","mla":"Gupta, Pritha, et al. <i>JPL: A Java-Based Software Framework for Preference Learning</i>. 2017.","apa":"Gupta, P., Hetzer, A., Tornede, T., Gottschalk, S., Kornelsen, A., Osterbrink, S., … Hüllermeier, E. (2017). jPL: A Java-based Software Framework for Preference Learning. Presented at the WDA 2017 Workshops: KDML, FGWM, IR, and FGDB, Rostock."},"extern":"1","language":[{"iso":"eng"}],"_id":"5722","department":[{"_id":"355"}],"user_id":"38209","status":"public","type":"conference_abstract"},{"year":"2017","citation":{"ieee":"A. Hetzer and T. Tornede, <i>Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction</i>. Universität Paderborn, 2017.","chicago":"Hetzer, Alexander, and Tanja Tornede. <i>Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction</i>. Universität Paderborn, 2017.","ama":"Hetzer A, Tornede T. <i>Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction</i>. Universität Paderborn; 2017.","mla":"Hetzer, Alexander, and Tanja Tornede. <i>Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction</i>. Universität Paderborn, 2017.","bibtex":"@book{Hetzer_Tornede_2017, title={Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction}, publisher={Universität Paderborn}, author={Hetzer, Alexander and Tornede, Tanja}, year={2017} }","short":"A. Hetzer, T. Tornede, Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction, Universität Paderborn, 2017.","apa":"Hetzer, A., &#38; Tornede, T. (2017). <i>Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction</i>. Universität Paderborn."},"date_updated":"2022-01-06T07:02:37Z","publisher":"Universität Paderborn","date_created":"2018-11-19T07:49:13Z","supervisor":[{"first_name":"Felix","full_name":"Mohr, Felix","last_name":"Mohr"},{"last_name":"Hüllermeier","id":"48129","full_name":"Hüllermeier, Eyke","first_name":"Eyke"},{"first_name":"Kevin","last_name":"Tierney","full_name":"Tierney, Kevin"}],"author":[{"first_name":"Alexander","last_name":"Hetzer","full_name":"Hetzer, Alexander","id":"38209"},{"full_name":"Tornede, Tanja","last_name":"Tornede","first_name":"Tanja"}],"title":"Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction","type":"mastersthesis","status":"public","_id":"5724","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B2","_id":"10"}],"department":[{"_id":"355"},{"_id":"199"}],"user_id":"477","language":[{"iso":"eng"}]},{"publication":"Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017","type":"conference","status":"public","_id":"5740","department":[{"_id":"66"}],"user_id":"8447","language":[{"iso":"eng"}],"year":"2017","page":"99-104","citation":{"ieee":"E. Yigitbas, S. Sauer, and G. Engels, “Adapt-UI: an IDE supporting model-driven development of self-adaptive UIs,” in <i>Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017</i>, 2017, pp. 99–104.","chicago":"Yigitbas, Enes, Stefan Sauer, and Gregor Engels. “Adapt-UI: An IDE Supporting Model-Driven Development of Self-Adaptive UIs.” In <i>Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017</i>, 99–104, 2017. <a href=\"https://doi.org/10.1145/3102113.3102144\">https://doi.org/10.1145/3102113.3102144</a>.","ama":"Yigitbas E, Sauer S, Engels G. Adapt-UI: an IDE supporting model-driven development of self-adaptive UIs. In: <i>Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017</i>. ; 2017:99-104. doi:<a href=\"https://doi.org/10.1145/3102113.3102144\">10.1145/3102113.3102144</a>","short":"E. Yigitbas, S. Sauer, G. Engels, in: Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017, 2017, pp. 99–104.","mla":"Yigitbas, Enes, et al. “Adapt-UI: An IDE Supporting Model-Driven Development of Self-Adaptive UIs.” <i>Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017</i>, 2017, pp. 99–104, doi:<a href=\"https://doi.org/10.1145/3102113.3102144\">10.1145/3102113.3102144</a>.","bibtex":"@inproceedings{Yigitbas_Sauer_Engels_2017, title={Adapt-UI: an IDE supporting model-driven development of self-adaptive UIs}, DOI={<a href=\"https://doi.org/10.1145/3102113.3102144\">10.1145/3102113.3102144</a>}, booktitle={Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017}, author={Yigitbas, Enes and Sauer, Stefan and Engels, Gregor}, year={2017}, pages={99–104} }","apa":"Yigitbas, E., Sauer, S., &#38; Engels, G. (2017). Adapt-UI: an IDE supporting model-driven development of self-adaptive UIs. In <i>Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017</i> (pp. 99–104). <a href=\"https://doi.org/10.1145/3102113.3102144\">https://doi.org/10.1145/3102113.3102144</a>"},"date_updated":"2022-01-06T07:02:38Z","date_created":"2018-11-19T15:13:41Z","author":[{"first_name":"Enes","full_name":"Yigitbas, Enes","id":"8447","last_name":"Yigitbas","orcid":"0000-0002-5967-833X"},{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"},{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"}],"title":"Adapt-UI: an IDE supporting model-driven development of self-adaptive UIs","doi":"10.1145/3102113.3102144"}]