[{"date_updated":"2022-01-06T06:55:20Z","_id":"21938","article_number":"094104","doi":"10.1063/1.4976518","citation":{"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. The Journal of Chemical Physics. 2017. doi:10.1063/1.4976518","apa":"Nüske, F., Wu, H., Prinz, J.-H., Wehmeyer, C., Clementi, C., & Noé, F. (2017). Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias. The Journal of Chemical Physics. https://doi.org/10.1063/1.4976518","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.” The Journal of Chemical Physics, 2017. https://doi.org/10.1063/1.4976518.","mla":"Nüske, Feliks, et al. “Markov State Models from Short Non-Equilibrium Simulations—Analysis and Correction of Estimation Bias.” The Journal of Chemical Physics, 094104, 2017, doi:10.1063/1.4976518.","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={10.1063/1.4976518}, 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} }","short":"F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, F. Noé, The Journal of Chemical Physics (2017).","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,” The Journal of Chemical Physics, 2017."},"year":"2017","type":"journal_article","language":[{"iso":"eng"}],"extern":"1","title":"Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias","user_id":"81513","author":[{"first_name":"Feliks","orcid":"0000-0003-2444-7889","full_name":"Nüske, Feliks","last_name":"Nüske","id":"81513"},{"first_name":"Hao","full_name":"Wu, Hao","last_name":"Wu"},{"last_name":"Prinz","full_name":"Prinz, Jan-Hendrik","first_name":"Jan-Hendrik"},{"first_name":"Christoph","full_name":"Wehmeyer, Christoph","last_name":"Wehmeyer"},{"first_name":"Cecilia","full_name":"Clementi, Cecilia","last_name":"Clementi"},{"last_name":"Noé","first_name":"Frank","full_name":"Noé, Frank"}],"department":[{"_id":"101"}],"publication":"The Journal of Chemical Physics","publication_status":"published","publication_identifier":{"issn":["0021-9606","1089-7690"]},"status":"public","date_created":"2021-04-30T16:55:31Z"},{"author":[{"full_name":"Wu, Hao","first_name":"Hao","last_name":"Wu"},{"last_name":"Nüske","id":"81513","first_name":"Feliks","orcid":"0000-0003-2444-7889","full_name":"Nüske, Feliks"},{"first_name":"Fabian","full_name":"Paul, Fabian","last_name":"Paul"},{"last_name":"Klus","full_name":"Klus, Stefan","first_name":"Stefan"},{"first_name":"Péter","full_name":"Koltai, Péter","last_name":"Koltai"},{"first_name":"Frank","full_name":"Noé, Frank","last_name":"Noé"}],"department":[{"_id":"101"}],"publication":"The Journal of Chemical Physics","publication_identifier":{"issn":["0021-9606","1089-7690"]},"publication_status":"published","status":"public","date_created":"2021-04-30T16:57:21Z","extern":"1","title":"Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations","user_id":"81513","year":"2017","citation":{"short":"H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, F. Noé, The Journal of Chemical Physics (2017).","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,” The Journal of Chemical Physics, 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.” The Journal of Chemical Physics, 2017. https://doi.org/10.1063/1.4979344.","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. The Journal of Chemical Physics. 2017. doi:10.1063/1.4979344","apa":"Wu, H., Nüske, F., Paul, F., Klus, S., Koltai, P., & Noé, F. (2017). Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations. The Journal of Chemical Physics. https://doi.org/10.1063/1.4979344","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={10.1063/1.4979344}, 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.” The Journal of Chemical Physics, 154104, 2017, doi:10.1063/1.4979344."},"type":"journal_article","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:55:20Z","_id":"21939","article_number":"154104","doi":"10.1063/1.4979344"},{"author":[{"full_name":"Knoop, F.","first_name":"F.","last_name":"Knoop"},{"last_name":"Lieneke","id":"13956","first_name":"Tobias","full_name":"Lieneke, Tobias"},{"last_name":"Schöppner","id":"20530","first_name":"Volker","full_name":"Schöppner, Volker"}],"publication":"Rapid Tech - International Trade Show & Conference for Additive Manufacturing","department":[{"_id":"219"},{"_id":"624"},{"_id":"367"},{"_id":"146"},{"_id":"321"},{"_id":"9"}],"status":"public","date_created":"2021-05-07T13:23:22Z","abstract":[{"lang":"eng","text":"Fused Deposition Modeling (FDM) is used for prototypes, single-partproduction and small batch productions of thermoplastic components. This manufacturing technique has the huge benefit that no forming tool is needed. The knowledge about dimensional deviations which occur in the FDM process is necessary for calculating fits and for determining tolerances. A major challenge is the reproducibility of the dimensional accuracy of FDM parts and the reproducibility between different FDM machines. There are many influential factors on the dimensional accuracy in the FDM process for example geometric, material-specific or process-specific factors, which are considered in this paper. The influence of the part position on the build platform of a Stratasys Fortus 400mc is analyzed in terms of the achievable dimensional accuracy. For this purpose, the temperature distribution in the actively heated build chamber is investigated and possible correlations to the dimensional accuracy are identified. The reproducibility of one machine is examined by a multiple production of the test specimens. In addition, a comparison with three other FDM machines from Stratasys is made. Afterwards, the long-term reproducibility of the dimensional accuracy is verified to consider how environmental influences such as maintenance or modification of machine components affect the dimensional accuracy of the FDM process."}],"title":"Reproduzierbarkeit der Maßhaltigkeit im Fused Deposition Modeling","user_id":"70729","type":"conference","citation":{"ieee":"F. Knoop, T. Lieneke, and V. Schöppner, “Reproduzierbarkeit der Maßhaltigkeit im Fused Deposition Modeling,” in Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 2017, pp. 52–66, doi: 10.3139/9783446454606.004.","short":"F. Knoop, T. Lieneke, V. Schöppner, in: Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 2017, pp. 52–66.","mla":"Knoop, F., et al. “Reproduzierbarkeit Der Maßhaltigkeit Im Fused Deposition Modeling.” Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 2017, pp. 52–66, doi:10.3139/9783446454606.004.","bibtex":"@inproceedings{Knoop_Lieneke_Schöppner_2017, title={Reproduzierbarkeit der Maßhaltigkeit im Fused Deposition Modeling}, DOI={10.3139/9783446454606.004}, booktitle={Rapid Tech - International Trade Show & Conference for Additive Manufacturing}, author={Knoop, F. and Lieneke, Tobias and Schöppner, Volker}, year={2017}, pages={52–66} }","chicago":"Knoop, F., Tobias Lieneke, and Volker Schöppner. “Reproduzierbarkeit Der Maßhaltigkeit Im Fused Deposition Modeling.” In Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 52–66, 2017. https://doi.org/10.3139/9783446454606.004.","ama":"Knoop F, Lieneke T, Schöppner V. Reproduzierbarkeit der Maßhaltigkeit im Fused Deposition Modeling. In: Rapid Tech - International Trade Show & Conference for Additive Manufacturing. ; 2017:52-66. doi:10.3139/9783446454606.004","apa":"Knoop, F., Lieneke, T., & Schöppner, V. (2017). Reproduzierbarkeit der Maßhaltigkeit im Fused Deposition Modeling. Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 52–66. https://doi.org/10.3139/9783446454606.004"},"year":"2017","page":"52-66","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:55:23Z","_id":"22040","doi":"10.3139/9783446454606.004"},{"volume":28,"date_created":"2021-05-07T13:23:24Z","status":"public","publication":"28th Annual International Solid Freeform Fabrication Symposium","department":[{"_id":"219"},{"_id":"624"},{"_id":"367"},{"_id":"321"},{"_id":"9"}],"author":[{"full_name":"Schumacher, C.","first_name":"C.","last_name":"Schumacher"},{"last_name":"Schöppner","id":"20530","first_name":"Volker","full_name":"Schöppner, Volker"},{"first_name":"J.","full_name":"Guntermann, J.","last_name":"Guntermann"}],"title":"Considering machine- and process-specific influences to create custom-built specimens for the Fused Deposition Modeling process","user_id":"70729","abstract":[{"lang":"eng","text":"Compared to conventional polymer processing technologies the material selection in the Fused Deposition Modelling (FDM) process is restricted. To expand the range of materials the requirements for the material properties and the semi-finished products (filaments) must be clarified. For this, a machine- and process-independent rating of the processability is necessary. The established standards for the tensile strength test apply to specimens with nearly isotropic mechanical properties. The FDM process generates anisotropic parts. The properties are mainly influenced by the machine quality and the data processing. It is not possible to test a material for FDM independently of the machine and the data processing. In this paper, machine and process specific influences are investigated. Considering these influences, a custom-built specimen is created to test the tensile strength of the welding seams for polyamide 6. This procedure allows a machine- and process-independent rating of the processability in terms of tensile strength for different materials."}],"page":"470-484","citation":{"short":"C. Schumacher, V. Schöppner, J. Guntermann, in: 28th Annual International Solid Freeform Fabrication Symposium, 2017, pp. 470–484.","ieee":"C. Schumacher, V. Schöppner, and J. Guntermann, “Considering machine- and process-specific influences to create custom-built specimens for the Fused Deposition Modeling process,” in 28th Annual International Solid Freeform Fabrication Symposium, 2017, vol. 28, pp. 470–484, doi: http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf.","ama":"Schumacher C, Schöppner V, Guntermann J. Considering machine- and process-specific influences to create custom-built specimens for the Fused Deposition Modeling process. In: 28th Annual International Solid Freeform Fabrication Symposium. Vol 28. ; 2017:470-484. doi:http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf","apa":"Schumacher, C., Schöppner, V., & Guntermann, J. (2017). Considering machine- and process-specific influences to create custom-built specimens for the Fused Deposition Modeling process. 28th Annual International Solid Freeform Fabrication Symposium, 28, 470–484. http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf","chicago":"Schumacher, C., Volker Schöppner, and J. Guntermann. “Considering Machine- and Process-Specific Influences to Create Custom-Built Specimens for the Fused Deposition Modeling Process.” In 28th Annual International Solid Freeform Fabrication Symposium, 28:470–84, 2017. http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf.","bibtex":"@inproceedings{Schumacher_Schöppner_Guntermann_2017, title={Considering machine- and process-specific influences to create custom-built specimens for the Fused Deposition Modeling process}, volume={28}, DOI={http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf}, booktitle={28th Annual International Solid Freeform Fabrication Symposium}, author={Schumacher, C. and Schöppner, Volker and Guntermann, J.}, year={2017}, pages={470–484} }","mla":"Schumacher, C., et al. “Considering Machine- and Process-Specific Influences to Create Custom-Built Specimens for the Fused Deposition Modeling Process.” 28th Annual International Solid Freeform Fabrication Symposium, vol. 28, 2017, pp. 470–84, doi:http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf."},"year":"2017","type":"conference","language":[{"iso":"eng"}],"doi":"http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf","date_updated":"2022-01-06T06:55:23Z","_id":"22042","intvolume":" 28"},{"language":[{"iso":"eng"}],"year":"2017","type":"conference","citation":{"ieee":"F. Knoop and V. Schöppner, “Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling,” in 28th Annual International Solid Freeform Fabrication Symposium, 2017, vol. 28, pp. 2757–2776, doi: http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf.","short":"F. Knoop, V. Schöppner, in: 28th Annual International Solid Freeform Fabrication Symposium, 2017, pp. 2757–2776.","mla":"Knoop, F., and Volker Schöppner. “Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling.” 28th Annual International Solid Freeform Fabrication Symposium, vol. 28, 2017, pp. 2757–76, doi:http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf.","bibtex":"@inproceedings{Knoop_Schöppner_2017, title={Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling}, volume={28}, DOI={http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf}, booktitle={28th Annual International Solid Freeform Fabrication Symposium}, author={Knoop, F. and Schöppner, Volker}, year={2017}, pages={2757–2776} }","chicago":"Knoop, F., and Volker Schöppner. “Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling.” In 28th Annual International Solid Freeform Fabrication Symposium, 28:2757–76, 2017. http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf.","apa":"Knoop, F., & Schöppner, V. (2017). Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling. 28th Annual International Solid Freeform Fabrication Symposium, 28, 2757–2776. http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf","ama":"Knoop F, Schöppner V. Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling. In: 28th Annual International Solid Freeform Fabrication Symposium. Vol 28. ; 2017:2757-2776. doi:http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf"},"page":"2757-2776","doi":"http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf","intvolume":" 28","_id":"22045","date_updated":"2022-01-06T06:55:23Z","status":"public","date_created":"2021-05-07T13:23:28Z","volume":28,"author":[{"full_name":"Knoop, F.","first_name":"F.","last_name":"Knoop"},{"full_name":"Schöppner, Volker","first_name":"Volker","id":"20530","last_name":"Schöppner"}],"publication":"28th Annual International Solid Freeform Fabrication Symposium","department":[{"_id":"219"},{"_id":"624"},{"_id":"367"},{"_id":"321"},{"_id":"9"}],"user_id":"70729","title":"Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling","abstract":[{"text":"A widely used Additive Manufacturing (AM) technology is Fused Deposition Modeling (FDM) to create prototypes and end-use parts with close-to-production thermoplastics. For their use as a final product, it is necessary that additively manufactured parts strictly adhere to the geometrical requirements of the technical drawing. In this paper, the holes and cylinders of the cylindrical elements are investigated in terms of achievable geometrical accuracy. For this purpose, different test specimens that allow a measurement of inner and outer diameters from 3 to 80 mm were designed. All specimens were measured with a coordinate measuring machine (CMM) to evaluate deviations from the nominal dimension and form deviations. The measuring method includes a scanning of the surface to record the course of dimensional deviations over the diameter. Thus, it was possible to visualize how deviations on cylindrical elements manufactured in FDM occur. In order to counteract these deviations and to improve the dimensional accuracy, different shrink factors and filling patterns were investigated. Consequently, an improvement of the dimensional accuracy was achieved.","lang":"eng"}]},{"publisher":"Institut für Wissenschaftliche Veröffentlichungen","author":[{"full_name":"Schöppner, Volker","first_name":"Volker","id":"20530","last_name":"Schöppner"},{"full_name":"Schumacher, C.","first_name":"C.","last_name":"Schumacher"},{"last_name":"Guntermann","first_name":"J.","full_name":"Guntermann, J."}],"department":[{"_id":"219"},{"_id":"624"},{"_id":"367"},{"_id":"321"},{"_id":"9"}],"publication":"Jahresmagazin Kunststofftechnik","volume":1,"publication_identifier":{"isbn":["1618-8357"]},"status":"public","date_created":"2021-05-07T13:23:33Z","abstract":[{"lang":"eng","text":"Um die Materialauswahl für den FDM-Prozess zu steigern, sollten die durch den FDM-Prozess an das Material gestellten Anforderungen bekannt sein. Dazu ist eine von der Maschine und der individuellen Datenaufbereitung möglichst unabhängige Bewertung der FDM-Verarbeitungseignung wünschenswert. In diesem Artikel werden eine Prüfmethode und ein dazu entwickelter Probekörper vorgestellt, mit dem die Schweißnahtfestigkeit verschiedener Polyamid 6 Typen im FDM-Prozess ermittelt und verglichen wird."}],"title":"Beurteilung der Schweißnahtfestigkeiten verschiedener Kunststoffe im FDM-Prozess","user_id":"70729","year":"2017","type":"journal_article","citation":{"chicago":"Schöppner, Volker, C. Schumacher, and J. Guntermann. “Beurteilung Der Schweißnahtfestigkeiten Verschiedener Kunststoffe Im FDM-Prozess.” Jahresmagazin Kunststofftechnik 1, no. 1 (2017): 108–14.","ama":"Schöppner V, Schumacher C, Guntermann J. Beurteilung der Schweißnahtfestigkeiten verschiedener Kunststoffe im FDM-Prozess. Jahresmagazin Kunststofftechnik. 2017;1(1):108-114.","apa":"Schöppner, V., Schumacher, C., & Guntermann, J. (2017). Beurteilung der Schweißnahtfestigkeiten verschiedener Kunststoffe im FDM-Prozess. Jahresmagazin Kunststofftechnik, 1(1), 108–114.","bibtex":"@article{Schöppner_Schumacher_Guntermann_2017, title={Beurteilung der Schweißnahtfestigkeiten verschiedener Kunststoffe im FDM-Prozess}, volume={1}, number={1}, journal={Jahresmagazin Kunststofftechnik}, publisher={Institut für Wissenschaftliche Veröffentlichungen}, author={Schöppner, Volker and Schumacher, C. and Guntermann, J.}, year={2017}, pages={108–114} }","mla":"Schöppner, Volker, et al. “Beurteilung Der Schweißnahtfestigkeiten Verschiedener Kunststoffe Im FDM-Prozess.” Jahresmagazin Kunststofftechnik, vol. 1, no. 1, Institut für Wissenschaftliche Veröffentlichungen, 2017, pp. 108–14.","short":"V. Schöppner, C. Schumacher, J. Guntermann, Jahresmagazin Kunststofftechnik 1 (2017) 108–114.","ieee":"V. Schöppner, C. Schumacher, and J. Guntermann, “Beurteilung der Schweißnahtfestigkeiten verschiedener Kunststoffe im FDM-Prozess,” Jahresmagazin Kunststofftechnik, vol. 1, no. 1, pp. 108–114, 2017."},"page":"108-114","language":[{"iso":"eng"}],"intvolume":" 1","_id":"22049","date_updated":"2022-01-06T06:55:23Z","issue":"1"},{"abstract":[{"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.","lang":"eng"}],"user_id":"477","ddc":["040"],"file":[{"file_id":"1572","creator":"florida","file_size":584870,"success":1,"relation":"main_file","content_type":"application/pdf","date_updated":"2018-03-21T13:13:04Z","file_name":"90-a47-isenberg.pdf","date_created":"2018-03-21T13:13:04Z","access_level":"closed"}],"file_date_updated":"2018-03-21T13:13:04Z","publication":"ACM Transactions on Embedded Computing Systems","author":[{"first_name":"Tobias","full_name":"Isenberg, Tobias","last_name":"Isenberg"}],"publisher":"ACM","date_created":"2017-10-17T12:41:09Z","status":"public","has_accepted_license":"1","_id":"90","issue":"2","page":"47:1-47:24","type":"journal_article","year":"2017","citation":{"mla":"Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” ACM Transactions on Embedded Computing Systems, no. 2, ACM, 2017, pp. 47:1-47:24, doi:10.1145/2984640.","bibtex":"@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={10.1145/2984640}, 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. ACM Transactions on Embedded Computing Systems, (2), 47:1-47:24. https://doi.org/10.1145/2984640","ama":"Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems. 2017;(2):47:1-47:24. doi:10.1145/2984640","chicago":"Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” ACM Transactions on Embedded Computing Systems, no. 2 (2017): 47:1-47:24. https://doi.org/10.1145/2984640.","ieee":"T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24, 2017.","short":"T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24."},"title":"Incremental Inductive Verification of Parameterized Timed Systems","department":[{"_id":"77"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"date_updated":"2022-01-06T07:04:06Z","doi":"10.1145/2984640","language":[{"iso":"eng"}]},{"project":[{"_id":"1","name":"SFB 901"},{"_id":"17","name":"SFB 901 - Subprojekt C5"},{"name":"SFB 901 - Project Area C","_id":"4"}],"date_created":"2017-10-17T12:41:09Z","status":"public","has_accepted_license":"1","publication":"Proceedings of the 23rd Americas Conference on Information Systems (AMCIS)","file_date_updated":"2018-11-12T13:22:49Z","department":[{"_id":"276"}],"author":[{"id":"36372","last_name":"Szopinski","full_name":"Szopinski, Daniel","first_name":"Daniel"},{"last_name":"Schoormann","first_name":"Thorsten","full_name":"Schoormann, Thorsten"},{"id":"3952","last_name":"John","full_name":"John, Thomas","first_name":"Thomas"},{"last_name":"Knackstedt","first_name":"Ralf","full_name":"Knackstedt, Ralf"},{"first_name":"Dennis","full_name":"Kundisch, Dennis","last_name":"Kundisch","id":"21117"}],"file":[{"file_size":912449,"creator":"dsz","file_id":"5503","date_updated":"2018-11-12T13:22:49Z","content_type":"application/pdf","success":1,"relation":"main_file","file_name":"AMCIS2017_BMDT.pdf","date_created":"2018-11-12T13:22:49Z","access_level":"closed"}],"title":"How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools","ddc":["040"],"user_id":"16205","abstract":[{"text":"The interest in business model innovation has risen rapidly in recent years, and software tools for business model development hold great promise for supporting business model innovation. Nonetheless, virtually no design-relevant knowledge exists concerning the functions that such tools should possess. Therefore, we develop a comprehensive taxonomy that identifies characteristic functions of software-based business model development tools. For developing the taxonomy, we draw on prior research on business model innovation, process modeling, and creativity support systems, and we analyze software tools for business model development that have been proposed in practice. The resulting taxonomy can support practitioners in their tool (re-)design and investment decisions, and for researchers can serve as a preliminary step towards more advanced theories for software tools for business model development.","lang":"eng"}],"citation":{"chicago":"Szopinski, Daniel, Thorsten Schoormann, Thomas John, Ralf Knackstedt, and Dennis Kundisch. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” In Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.","ama":"Szopinski D, Schoormann T, John T, Knackstedt R, Kundisch D. How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In: Proceedings of the 23rd Americas Conference on Information Systems (AMCIS). ; 2017.","apa":"Szopinski, D., Schoormann, T., John, T., Knackstedt, R., & Kundisch, D. (2017). How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In Proceedings of the 23rd Americas Conference on Information Systems (AMCIS). Boston, USA.","bibtex":"@inproceedings{Szopinski_Schoormann_John_Knackstedt_Kundisch_2017, title={How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools}, booktitle={Proceedings of the 23rd Americas Conference on Information Systems (AMCIS)}, author={Szopinski, Daniel and Schoormann, Thorsten and John, Thomas and Knackstedt, Ralf and Kundisch, Dennis}, year={2017} }","mla":"Szopinski, Daniel, et al. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.","short":"D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.","ieee":"D. Szopinski, T. Schoormann, T. John, R. Knackstedt, and D. Kundisch, “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools,” in Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), Boston, USA, 2017."},"type":"conference","year":"2017","language":[{"iso":"eng"}],"conference":{"name":"23rd Americas Conference on Information Systems (AMCIS)","location":"Boston, USA"},"_id":"91","date_updated":"2022-01-06T07:04:08Z"},{"date_created":"2017-10-17T12:41:09Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt C5","_id":"17"},{"name":"SFB 901 - Project Area C","_id":"4"}],"has_accepted_license":"1","status":"public","file":[{"date_created":"2018-11-29T15:02:15Z","file_name":"Bosch BMI Summit 2017.pdf","access_level":"closed","creator":"dsz","file_id":"5981","file_size":1359194,"success":1,"relation":"main_file","content_type":"application/pdf","date_updated":"2018-11-29T15:02:15Z"}],"file_date_updated":"2018-11-29T15:02:15Z","publication":"Bosch Business Model Innovation Summit 2017","department":[{"_id":"276"}],"author":[{"full_name":"Szopinski, Daniel","first_name":"Daniel","id":"36372","last_name":"Szopinski"},{"last_name":"Schoormann","full_name":"Schoormann, Thorsten","first_name":"Thorsten"},{"last_name":"John","id":"3952","first_name":"Thomas","full_name":"John, Thomas"},{"full_name":"Knackstedt, Ralf","first_name":"Ralf","last_name":"Knackstedt"},{"last_name":"Kundisch","id":"21117","first_name":"Dennis","full_name":"Kundisch, Dennis"}],"user_id":"477","ddc":["040"],"title":"How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools","language":[{"iso":"eng"}],"citation":{"short":"D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Bosch Business Model Innovation Summit 2017, 2017.","ieee":"D. Szopinski, T. Schoormann, T. John, R. Knackstedt, and D. Kundisch, “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools,” in Bosch Business Model Innovation Summit 2017, Renningen, Germany, 2017.","apa":"Szopinski, D., Schoormann, T., John, T., Knackstedt, R., & Kundisch, D. (2017). How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In Bosch Business Model Innovation Summit 2017. Renningen, Germany.","ama":"Szopinski D, Schoormann T, John T, Knackstedt R, Kundisch D. How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In: Bosch Business Model Innovation Summit 2017. ; 2017.","chicago":"Szopinski, Daniel, Thorsten Schoormann, Thomas John, Ralf Knackstedt, and Dennis Kundisch. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” In Bosch Business Model Innovation Summit 2017, 2017.","mla":"Szopinski, Daniel, et al. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” Bosch Business Model Innovation Summit 2017, 2017.","bibtex":"@inproceedings{Szopinski_Schoormann_John_Knackstedt_Kundisch_2017, title={How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools}, booktitle={Bosch Business Model Innovation Summit 2017}, author={Szopinski, Daniel and Schoormann, Thorsten and John, Thomas and Knackstedt, Ralf and Kundisch, Dennis}, year={2017} }"},"type":"conference_abstract","year":"2017","conference":{"name":"Bosch Business Model Innovation Summit 2017","location":"Renningen, Germany"},"_id":"92","date_updated":"2022-01-06T07:04:09Z"},{"language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:04:13Z","department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"edition":"1","editor":[{"full_name":"Christiansen, Henning ","first_name":"Henning ","last_name":"Christiansen"},{"last_name":"Jiménez-López","first_name":"M. Dolores","full_name":"Jiménez-López, M. Dolores"},{"last_name":"Loukanova","first_name":"Roussanka ","full_name":"Loukanova, Roussanka "},{"full_name":"Moss, Lawrence S.","first_name":"Lawrence S.","last_name":"Moss"}],"publication_identifier":{"isbn":["978-1- 4438-7947-7"]},"publication_status":"published","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"place":"Newcastle upon Tyne, UK","title":"Guesswork? Resolving Vagueness in User-Generated Software Requirements","citation":{"bibtex":"@inbook{Geierhos_Bäumer_2017, place={Newcastle upon Tyne, UK}, edition={1}, title={Guesswork? Resolving Vagueness in User-Generated Software Requirements}, booktitle={Partiality and Underspecification in Information, Languages, and Knowledge}, publisher={Cambridge Scholars Publishing}, author={Geierhos, Michaela and Bäumer, Frederik Simon}, editor={Christiansen, Henning and Jiménez-López, M. Dolores and Loukanova, Roussanka and Moss, Lawrence S.Editors}, year={2017}, pages={65–108} }","mla":"Geierhos, Michaela, and Frederik Simon Bäumer. “Guesswork? Resolving Vagueness in User-Generated Software Requirements.” Partiality and Underspecification in Information, Languages, and Knowledge, edited by Henning Christiansen et al., 1st ed., Cambridge Scholars Publishing, 2017, pp. 65–108.","chicago":"Geierhos, Michaela, and Frederik Simon Bäumer. “Guesswork? Resolving Vagueness in User-Generated Software Requirements.” In Partiality and Underspecification in Information, Languages, and Knowledge, edited by Henning Christiansen, M. Dolores Jiménez-López, Roussanka Loukanova, and Lawrence S. Moss, 1st ed., 65–108. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017.","ama":"Geierhos M, Bäumer FS. Guesswork? Resolving Vagueness in User-Generated Software Requirements. In: Christiansen H, Jiménez-López MD, Loukanova R, Moss LS, eds. Partiality and Underspecification in Information, Languages, and Knowledge. 1st ed. Newcastle upon Tyne, UK: Cambridge Scholars Publishing; 2017:65-108.","apa":"Geierhos, M., & Bäumer, F. S. (2017). Guesswork? Resolving Vagueness in User-Generated Software Requirements. In H. Christiansen, M. D. Jiménez-López, R. Loukanova, & L. S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge (1st ed., pp. 65–108). Newcastle upon Tyne, UK: Cambridge Scholars Publishing.","ieee":"M. Geierhos and F. S. Bäumer, “Guesswork? Resolving Vagueness in User-Generated Software Requirements,” in Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., H. Christiansen, M. D. Jiménez-López, R. Loukanova, and L. S. Moss, Eds. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017, pp. 65–108.","short":"M. Geierhos, F.S. Bäumer, in: H. Christiansen, M.D. Jiménez-López, R. Loukanova, L.S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., Cambridge Scholars Publishing, Newcastle upon Tyne, UK, 2017, pp. 65–108."},"type":"book_chapter","year":"2017","page":"65-108","_id":"93","author":[{"first_name":"Michaela","orcid":"0000-0002-8180-5606","full_name":"Geierhos, Michaela","last_name":"Geierhos","id":"42496"},{"first_name":"Frederik Simon","full_name":"Bäumer, Frederik Simon","last_name":"Bäumer","id":"38837"}],"publisher":"Cambridge Scholars Publishing","quality_controlled":"1","publication":"Partiality and Underspecification in Information, Languages, and Knowledge","file_date_updated":"2019-01-11T11:43:23Z","file":[{"date_updated":"2019-01-11T11:43:23Z","content_type":"application/pdf","success":1,"relation":"main_file","file_size":2888473,"creator":"fbaeumer","file_id":"6625","access_level":"closed","file_name":"CSP_Chapter_GeierhosBaeumer.pdf","date_created":"2019-01-11T11:43:23Z"}],"has_accepted_license":"1","status":"public","date_created":"2017-10-17T12:41:09Z","abstract":[{"text":"In recent years, there has been a proliferation of technological developments that incorporate processing of human language. Hardware and software can be specialized for designated subject areas, and computational devices are designed for a widening variety of applications. At the same time, new areas and applications are emerging by demanding intelligent technology enhanced by the processing of human language. These new applications often perform tasks which handle information, and they have a capacity to reason, using both formal and human language. Many sub-areas of Artificial Intelligence demand integration of Natural Language Processing, at least to some degree. Furthermore, technologies require coverage of known as well as unknown agents, and tasks with potential variations. All of this takes place in environments with unknown factors.\r\nThe book covers theoretical work, advanced applications, approaches, and techniques for computational models of information, reasoning systems, and presentation in language. The book promotes work on intelligent natural language processing and related models of information, thought, reasoning, and other cognitive processes. The topics covered by the chapters prompt further research and developments of advanced systems in the areas of logic, computability, computational linguistics, cognitive science, neuroscience of language, robotics, and artificial intelligence, among others.","lang":"eng"}],"ddc":["004"],"user_id":"38837"},{"date_created":"2017-10-17T12:41:09Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt C5","_id":"17"},{"name":"SFB 901 - Project Area C","_id":"4"}],"status":"public","publisher":"Universität Paderborn","author":[{"first_name":"Martin","full_name":"Martens, Martin","last_name":"Martens"}],"user_id":"16205","title":"Geschäftsmodelle elektronischer Handelsplattformen","language":[{"iso":"ger"}],"year":"2017","citation":{"chicago":"Martens, Martin. Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn, 2017.","ama":"Martens M. Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn; 2017.","apa":"Martens, M. (2017). Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn.","mla":"Martens, Martin. Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn, 2017.","bibtex":"@book{Martens_2017, title={Geschäftsmodelle elektronischer Handelsplattformen}, publisher={Universität Paderborn}, author={Martens, Martin}, year={2017} }","short":"M. Martens, Geschäftsmodelle elektronischer Handelsplattformen, Universität Paderborn, 2017.","ieee":"M. Martens, Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn, 2017."},"type":"bachelorsthesis","_id":"94","date_updated":"2022-01-06T07:04:14Z"},{"file":[{"access_level":"closed","file_name":"EDW_BMML.PDF","date_created":"2018-12-03T15:24:40Z","success":1,"relation":"main_file","content_type":"application/pdf","date_updated":"2018-12-03T15:24:40Z","creator":"abursig","file_id":"5990","file_size":456551}],"publication":"Enzyklopädie der Wirtschaftsinformatik, GITO","department":[{"_id":"276"}],"file_date_updated":"2018-12-03T15:24:40Z","author":[{"first_name":"Dennis","full_name":"Kundisch, Dennis","last_name":"Kundisch","id":"21117"},{"last_name":"John","id":"3952","first_name":"Thomas","full_name":"John, Thomas"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subproject C5","_id":"17"},{"name":"SFB 901 - Project Area C","_id":"4"}],"date_created":"2017-10-17T12:41:10Z","status":"public","has_accepted_license":"1","user_id":"477","related_material":{"link":[{"relation":"confirmation","url":"http://www.enzyklopaedie-der-wirtschaftsinformatik.de/lexikon/is-management/Systementwicklung/Hauptaktivitaten-der-Systementwicklung/Problemanalyse-/geschaeftsmodellmodellierungssprache-business-model-modeling-language"}]},"ddc":["040"],"title":"Geschäftsmodell-Modellierungssprache/Business Model Modeling Language","language":[{"iso":"ger"}],"year":"2017","citation":{"short":"D. Kundisch, T. John, in: Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.","ieee":"D. Kundisch and T. John, “Geschäftsmodell-Modellierungssprache/Business Model Modeling Language,” in Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.","ama":"Kundisch D, John T. Geschäftsmodell-Modellierungssprache/Business Model Modeling Language. In: Enzyklopädie der Wirtschaftsinformatik, GITO. ; 2017.","apa":"Kundisch, D., & John, T. (2017). Geschäftsmodell-Modellierungssprache/Business Model Modeling Language. In Enzyklopädie der Wirtschaftsinformatik, GITO.","chicago":"Kundisch, Dennis, and Thomas John. “Geschäftsmodell-Modellierungssprache/Business Model Modeling Language.” In Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.","mla":"Kundisch, Dennis, and Thomas John. “Geschäftsmodell-Modellierungssprache/Business Model Modeling Language.” Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.","bibtex":"@inbook{Kundisch_John_2017, title={Geschäftsmodell-Modellierungssprache/Business Model Modeling Language}, booktitle={Enzyklopädie der Wirtschaftsinformatik, GITO}, author={Kundisch, Dennis and John, Thomas}, year={2017} }"},"type":"encyclopedia_article","date_updated":"2022-01-06T07:04:16Z","_id":"95"},{"user_id":"30525","title":"Volumetric Generation of Optical Vortices with Metasurfaces","department":[{"_id":"15"},{"_id":"230"},{"_id":"289"}],"publication":"ACS Photonics","author":[{"full_name":"Huang, Lingling","first_name":"Lingling","last_name":"Huang"},{"last_name":"Song","first_name":"Xu","full_name":"Song, Xu"},{"full_name":"Reineke, Bernhard","first_name":"Bernhard","last_name":"Reineke"},{"last_name":"Li","first_name":"Tianyou","full_name":"Li, Tianyou"},{"last_name":"Li","full_name":"Li, Xiaowei","first_name":"Xiaowei"},{"last_name":"Liu","first_name":"Juan","full_name":"Liu, Juan"},{"first_name":"Shuang","full_name":"Zhang, Shuang","last_name":"Zhang"},{"full_name":"Wang, Yongtian","first_name":"Yongtian","last_name":"Wang"},{"first_name":"Thomas","full_name":"Zentgraf, Thomas","orcid":"0000-0002-8662-1101","last_name":"Zentgraf","id":"30525"}],"date_created":"2019-04-26T07:19:53Z","status":"public","publication_status":"published","publication_identifier":{"issn":["2330-4022","2330-4022"]},"_id":"9514","date_updated":"2022-01-06T07:04:16Z","doi":"10.1021/acsphotonics.6b00808","language":[{"iso":"eng"}],"page":"338-346","type":"journal_article","citation":{"bibtex":"@article{Huang_Song_Reineke_Li_Li_Liu_Zhang_Wang_Zentgraf_2017, title={Volumetric Generation of Optical Vortices with Metasurfaces}, DOI={10.1021/acsphotonics.6b00808}, journal={ACS Photonics}, author={Huang, Lingling and Song, Xu and Reineke, Bernhard and Li, Tianyou and Li, Xiaowei and Liu, Juan and Zhang, Shuang and Wang, Yongtian and Zentgraf, Thomas}, year={2017}, pages={338–346} }","mla":"Huang, Lingling, et al. “Volumetric Generation of Optical Vortices with Metasurfaces.” ACS Photonics, 2017, pp. 338–46, doi:10.1021/acsphotonics.6b00808.","ama":"Huang L, Song X, Reineke B, et al. Volumetric Generation of Optical Vortices with Metasurfaces. ACS Photonics. 2017:338-346. doi:10.1021/acsphotonics.6b00808","apa":"Huang, L., Song, X., Reineke, B., Li, T., Li, X., Liu, J., … Zentgraf, T. (2017). Volumetric Generation of Optical Vortices with Metasurfaces. ACS Photonics, 338–346. https://doi.org/10.1021/acsphotonics.6b00808","chicago":"Huang, Lingling, Xu Song, Bernhard Reineke, Tianyou Li, Xiaowei Li, Juan Liu, Shuang Zhang, Yongtian Wang, and Thomas Zentgraf. “Volumetric Generation of Optical Vortices with Metasurfaces.” ACS Photonics, 2017, 338–46. https://doi.org/10.1021/acsphotonics.6b00808.","ieee":"L. Huang et al., “Volumetric Generation of Optical Vortices with Metasurfaces,” ACS Photonics, pp. 338–346, 2017.","short":"L. Huang, X. Song, B. Reineke, T. Li, X. Li, J. Liu, S. Zhang, Y. Wang, T. Zentgraf, ACS Photonics (2017) 338–346."},"year":"2017"},{"_id":"77","type":"conference","citation":{"bibtex":"@inproceedings{Szopinski_Jazayeri_Engels_Kundisch_2017, series={Lecture Notes in Informatics (LNI)}, title={On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten}, booktitle={Proceedings of the Workshop Enterprise Architecture Management in Forschung und Praxis, INFORMATIK 2017, Chemnitz, Germany}, publisher={GI}, author={Szopinski, Daniel and Jazayeri, Bahar and Engels, Gregor and Kundisch, Dennis}, year={2017}, pages={2059–2066}, collection={Lecture Notes in Informatics (LNI)} }","mla":"Szopinski, Daniel, et al. “On-The-Fly Computing: Ein Referenzmodell Für Individualisierte IT-Dienstleistungen in Dynamischen Märkten.” Proceedings of the Workshop Enterprise Architecture Management in Forschung Und Praxis, INFORMATIK 2017, Chemnitz, Germany, GI, 2017, pp. 2059–66.","ama":"Szopinski D, Jazayeri B, Engels G, Kundisch D. On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten. In: Proceedings of the Workshop Enterprise Architecture Management in Forschung Und Praxis, INFORMATIK 2017, Chemnitz, Germany. Lecture Notes in Informatics (LNI). GI; 2017:2059-2066.","apa":"Szopinski, D., Jazayeri, B., Engels, G., & Kundisch, D. (2017). On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten. In Proceedings of the Workshop Enterprise Architecture Management in Forschung und Praxis, INFORMATIK 2017, Chemnitz, Germany (pp. 2059–2066). GI.","chicago":"Szopinski, Daniel, Bahar Jazayeri, Gregor Engels, and Dennis Kundisch. “On-The-Fly Computing: Ein Referenzmodell Für Individualisierte IT-Dienstleistungen in Dynamischen Märkten.” In Proceedings of the Workshop Enterprise Architecture Management in Forschung Und Praxis, INFORMATIK 2017, Chemnitz, Germany, 2059–66. Lecture Notes in Informatics (LNI). GI, 2017.","ieee":"D. Szopinski, B. Jazayeri, G. Engels, and D. Kundisch, “On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten,” in Proceedings of the Workshop Enterprise Architecture Management in Forschung und Praxis, INFORMATIK 2017, Chemnitz, Germany, 2017, pp. 2059–2066.","short":"D. Szopinski, B. Jazayeri, G. Engels, D. Kundisch, in: Proceedings of the Workshop Enterprise Architecture Management in Forschung Und Praxis, INFORMATIK 2017, Chemnitz, Germany, GI, 2017, pp. 2059–2066."},"year":"2017","page":"2059-2066","user_id":"16205","ddc":["040"],"abstract":[{"text":"Das Enterprise Architecture Management stellt umfangreiche Methoden, Modelle und Frameworks f{\\\"u}r die Modellierung von Unternehmensarchitekturen zur Verf{\\\"u}gung. Die Entwicklung von Software und deren Integration in IT-Landschaften ist heutzutage zunehmend von Komplexit{\\\"a}t und Unsicherheit gepr{\\\"a}gt. Dieser Beitrag (Research-in-progress) m{\\\"o}chte ein neues Paradigma – das „On-The-Fly Computing“ – vorschlagen, um diesen Herausforderungen zu begegnen, m{\\\"o}gliche L{\\\"o}sungsans{\\\"a}tze zu diskutieren sowie erste Ergebnisse eines Referenzmodells f{\\\"u}r individualisierte IT-Dienstleistungen in dynamischen Software-M{\\\"a}rkten dokumentieren.","lang":"eng"}],"status":"public","has_accepted_license":"1","date_created":"2017-10-17T12:41:06Z","file":[{"relation":"main_file","success":1,"date_updated":"2018-11-12T13:22:12Z","content_type":"application/pdf","creator":"dsz","file_id":"5502","file_size":251032,"access_level":"closed","date_created":"2018-11-12T13:22:12Z","file_name":"INFORMATIK2017_OTF.pdf"}],"publisher":"GI","author":[{"first_name":"Daniel","full_name":"Szopinski, Daniel","last_name":"Szopinski","id":"36372"},{"full_name":"Jazayeri, Bahar","first_name":"Bahar","id":"36399","last_name":"Jazayeri"},{"first_name":"Gregor","full_name":"Engels, Gregor","last_name":"Engels","id":"107"},{"last_name":"Kundisch","id":"21117","first_name":"Dennis","full_name":"Kundisch, Dennis"}],"publication":"Proceedings of the Workshop Enterprise Architecture Management in Forschung und Praxis, INFORMATIK 2017, Chemnitz, Germany","file_date_updated":"2018-11-12T13:22:12Z","date_updated":"2022-01-06T07:03:44Z","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Informatics (LNI)","title":"On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt C5","_id":"17"},{"name":"SFB 901 - Project Area C","_id":"4"}],"publication_status":"published","department":[{"_id":"276"}]},{"date_updated":"2022-01-06T07:03:45Z","_id":"7749","intvolume":" 10445","language":[{"iso":"eng"}],"citation":{"chicago":"Carmona , Josep , Gregor Engels, and Akhil Kumar, eds. Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science. Vol. 10445. Springer, 2017.","apa":"Carmona , J., Engels, G., & Kumar, A. (Eds.). (2017). Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science (Vol. 10445). Springer.","ama":"Carmona J, Engels G, Kumar A, eds. Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science. Vol 10445. Springer; 2017.","mla":"Carmona , Josep, et al., editors. Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science. Vol. 10445, Springer, 2017.","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.","ieee":"J. Carmona , G. Engels, and A. Kumar, Eds., Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science, vol. 10445. Springer, 2017."},"year":"2017","type":"conference_editor","user_id":"52534","title":"Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science","status":"public","date_created":"2019-02-18T14:18:26Z","editor":[{"first_name":"Josep ","full_name":"Carmona , Josep ","last_name":"Carmona "},{"full_name":"Engels, Gregor","first_name":"Gregor","id":"107","last_name":"Engels"},{"last_name":"Kumar","first_name":"Akhil ","full_name":"Kumar, Akhil "}],"volume":10445,"publisher":"Springer","department":[{"_id":"66"}]},{"language":[{"iso":"eng"}],"citation":{"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.","ieee":"J. Carmona , G. Engels, and A. Kumar, Eds., Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297, vol. 297. Springer, 2017.","chicago":"Carmona , Josep , Gregor Engels, and Akhil Kumar, eds. Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297. Vol. 297. Springer, 2017.","apa":"Carmona , J., Engels, G., & Kumar, A. (Eds.). (2017). Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297 (Vol. 297). Springer.","ama":"Carmona J, Engels G, Kumar A, eds. Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297. Vol 297. Springer; 2017.","mla":"Carmona , Josep, et al., editors. Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297. Vol. 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} }"},"year":"2017","type":"conference_editor","_id":"7750","intvolume":" 297","date_updated":"2022-01-06T07:03:45Z","department":[{"_id":"66"}],"publisher":"Springer","date_created":"2019-02-18T14:26:32Z","status":"public","volume":297,"editor":[{"first_name":"Josep ","full_name":"Carmona , Josep ","last_name":"Carmona "},{"last_name":"Engels","id":"107","first_name":"Gregor","full_name":"Engels, Gregor"},{"last_name":"Kumar","first_name":"Akhil ","full_name":"Kumar, Akhil "}],"user_id":"52534","title":"Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297"},{"doi":"10.1109/ICSAW.2017.67","_id":"7751","date_updated":"2022-01-06T07:03:45Z","language":[{"iso":"eng"}],"citation":{"short":"R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, G. Engels, eds., Message from the IoT-ASAP Chairs, 2017.","ieee":"R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, and G. Engels, Eds., Message from the IoT-ASAP Chairs. 2017.","chicago":"Spalazzese, Romina, Marie Christin Platenius, Steffen Becker, Per Persson, and Gregor Engels, eds. Message from the IoT-ASAP Chairs, 2017. https://doi.org/10.1109/ICSAW.2017.67.","ama":"Spalazzese R, Christin Platenius M, Becker S, Persson P, Engels G, eds. Message from the IoT-ASAP Chairs.; 2017. doi:10.1109/ICSAW.2017.67","apa":"Spalazzese, R., Christin Platenius, M., Becker, S., Persson, P., & Engels, G. (Eds.). (2017). Message from the IoT-ASAP Chairs. https://doi.org/10.1109/ICSAW.2017.67","mla":"Spalazzese, Romina, et al., editors. Message from the IoT-ASAP Chairs. 2017, doi:10.1109/ICSAW.2017.67.","bibtex":"@book{Spalazzese_Christin Platenius_Becker_Persson_Engels_2017, title={Message from the IoT-ASAP Chairs}, DOI={10.1109/ICSAW.2017.67}, year={2017} }"},"type":"book_editor","year":"2017","user_id":"52534","title":"Message from the IoT-ASAP Chairs","status":"public","date_created":"2019-02-18T14:27:25Z","editor":[{"first_name":"Romina","full_name":"Spalazzese, Romina","last_name":"Spalazzese"},{"last_name":"Christin Platenius","full_name":"Christin Platenius, Marie","first_name":"Marie"},{"last_name":"Becker","first_name":"Steffen","full_name":"Becker, Steffen"},{"last_name":"Persson","full_name":"Persson, Per","first_name":"Per"},{"id":"107","last_name":"Engels","full_name":"Engels, Gregor","first_name":"Gregor"}],"department":[{"_id":"66"}]},{"date_updated":"2022-01-06T07:03:45Z","_id":"7754","language":[{"iso":"eng"}],"citation":{"chicago":"Hess, Steffen , and Holger Gerhard Fischer, eds. Mensch Und Computer 2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V., 2017.","apa":"Hess, S., & Fischer, H. G. (Eds.). (2017). Mensch und Computer 2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.","ama":"Hess S, Fischer HG, eds. Mensch Und Computer 2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.; 2017.","mla":"Hess, Steffen, and Holger Gerhard Fischer, editors. Mensch Und Computer 2017 - Usability Professionals. Tagungsband. Gesellschaft für Informatik e.V. und German UPA e.V., 2017.","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.","ieee":"S. Hess and H. G. Fischer, Eds., Mensch und Computer 2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V., 2017."},"type":"conference_editor","year":"2017","place":"Regensburg","user_id":"52534","title":"Mensch und Computer 2017 - Usability Professionals. Tagungsband","department":[{"_id":"66"}],"publisher":"Gesellschaft für Informatik e.V. und German UPA e.V.","date_created":"2019-02-19T11:44:42Z","status":"public","editor":[{"last_name":"Hess","first_name":"Steffen ","full_name":"Hess, Steffen "},{"first_name":"Holger Gerhard","full_name":"Fischer, Holger Gerhard","last_name":"Fischer","id":"30457"}]},{"language":[{"iso":"eng"}],"citation":{"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.","ieee":"J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, and S. Sauer, “Towards systematic spreadsheet construction processes,” in 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), 2017.","apa":"Mendes, J., Cunha, J., Duarte, F., Engels, G., Saraiva, J., & Sauer, S. (2017). Towards systematic spreadsheet construction processes. 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. https://doi.org/10.1109/icse-c.2017.141","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. 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C). IEEE; 2017. doi:10.1109/icse-c.2017.141","chicago":"Mendes, Jorge, Jacome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva, and Stefan Sauer. “Towards Systematic Spreadsheet Construction Processes.” In 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) . IEEE, 2017. https://doi.org/10.1109/icse-c.2017.141.","bibtex":"@inproceedings{Mendes_Cunha_Duarte_Engels_Saraiva_Sauer_2017, title={Towards systematic spreadsheet construction processes}, DOI={10.1109/icse-c.2017.141}, 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.” 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) , IEEE, 2017, doi:10.1109/icse-c.2017.141."},"type":"conference","year":"2017","corporate_editor":["Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) "],"doi":"10.1109/icse-c.2017.141","date_updated":"2022-01-06T07:03:45Z","_id":"7755","date_created":"2019-02-19T11:47:41Z","status":"public","publication_identifier":{"isbn":["9781538615898"]},"publication_status":"published","publication":"2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)","department":[{"_id":"66"}],"author":[{"last_name":"Mendes","first_name":"Jorge","full_name":"Mendes, Jorge"},{"last_name":"Cunha","full_name":"Cunha, Jacome","first_name":"Jacome"},{"first_name":"Francisco","full_name":"Duarte, Francisco","last_name":"Duarte"},{"id":"107","last_name":"Engels","full_name":"Engels, Gregor","first_name":"Gregor"},{"full_name":"Saraiva, Joao","first_name":"Joao","last_name":"Saraiva"},{"full_name":"Sauer, Stefan","first_name":"Stefan","id":"447","last_name":"Sauer"}],"publisher":"IEEE","user_id":"52534","title":"Towards systematic spreadsheet construction processes"},{"editor":[{"full_name":"Kortenkamp, Ulrich","first_name":"Ulrich","last_name":"Kortenkamp"},{"full_name":"Kuzle, Ana","first_name":"Ana","last_name":"Kuzle"}],"publication_status":"published","status":"public","date_created":"2019-02-19T12:43:36Z","author":[{"last_name":"Schumacher","id":"26809","first_name":"Jan","orcid":"0000-0002-6676-9774","full_name":"Schumacher, Jan"}],"publisher":"WTM-Verlag","publication":"Beiträge zum Mathematikunterricht 2017","department":[{"_id":"360"}],"title":"Sinnkonstruktion beim Erkunden von Mustern und Strukturen","user_id":"26809","place":"Münster","citation":{"ieee":"J. Schumacher, “Sinnkonstruktion beim Erkunden von Mustern und Strukturen,” in Beiträge zum Mathematikunterricht 2017, 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.” Beiträge zum Mathematikunterricht 2017, edited by Ulrich Kortenkamp and Ana Kuzle, WTM-Verlag, 2017.","chicago":"Schumacher, Jan. “Sinnkonstruktion beim Erkunden von Mustern und Strukturen.” In Beiträge zum Mathematikunterricht 2017, edited by Ulrich Kortenkamp and Ana Kuzle. Münster: WTM-Verlag, 2017.","apa":"Schumacher, J. (2017). Sinnkonstruktion beim Erkunden von Mustern und Strukturen. In U. Kortenkamp & A. Kuzle (Eds.), Beiträge zum Mathematikunterricht 2017. Münster: WTM-Verlag.","ama":"Schumacher J. Sinnkonstruktion beim Erkunden von Mustern und Strukturen. In: Kortenkamp U, Kuzle A, eds. Beiträge zum Mathematikunterricht 2017. Münster: WTM-Verlag; 2017."},"year":"2017","type":"conference","language":[{"iso":"ger"}],"main_file_link":[{"url":"https://eldorado.tu-dortmund.de/handle/2003/36640","open_access":"1"}],"oa":"1","date_updated":"2022-01-06T07:03:45Z","_id":"7767"}]