T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24, 2017.
LibreCat: /record/90
DOI: 10.1145/2984640

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.
LibreCat: /record/91

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.
LibreCat: /record/92

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.
LibreCat: /record/93

M. Martens, Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn, 2017.
LibreCat: /record/94

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

L. Huang et al., “Volumetric Generation of Optical Vortices with Metasurfaces,” ACS Photonics, pp. 338–346, 2017.
LibreCat: /record/9514
DOI: 10.1021/acsphotonics.6b00808

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.
LibreCat: /record/77

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.
LibreCat: /record/7749

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.
LibreCat: /record/7750