Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2200 Publications
2017 | Journal Article | LibreCat-ID: 90
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.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 91
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.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 92
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.
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 93
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.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 94
Martens, Martin. Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn, 2017.
LibreCat
2017 | Encyclopedia Article | LibreCat-ID: 95
Kundisch, Dennis, and Thomas John. “Geschäftsmodell-Modellierungssprache/Business Model Modeling Language.” In Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 9514
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.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 77
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.
LibreCat
| Files available
2017 | Conference (Editor) | LibreCat-ID: 7749
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.
LibreCat
2017 | Conference (Editor) | LibreCat-ID: 7750
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.
LibreCat