T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24, 2017.

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.

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.

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.

M. Martens, Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn, 2017.

D. Kundisch and T. John, “Geschäftsmodell-Modellierungssprache/Business Model Modeling Language,” in Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.

L. Huang et al., “Volumetric Generation of Optical Vortices with Metasurfaces,” ACS Photonics, pp. 338–346, 2017.

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.

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.

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.