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.
2330 Publications
2017 | Journal Article | LibreCat-ID: 90
T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24, 2017.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 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 Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), Boston, USA, 2017.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 92
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
| Files available
2017 | Book Chapter | LibreCat-ID: 93
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
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 94
M. Martens, Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn, 2017.
LibreCat
2017 | Encyclopedia Article | LibreCat-ID: 95
D. Kundisch and T. John, “Geschäftsmodell-Modellierungssprache/Business Model Modeling Language,” in Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 77
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
| Files available
2017 | Conference (Editor) | LibreCat-ID: 7749
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
2017 | Conference (Editor) | LibreCat-ID: 7750
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
2017 | Conference (Editor) | LibreCat-ID: 7754
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.
LibreCat
2017 | Conference Paper | LibreCat-ID: 7767 | 
J. Schumacher, “Sinnkonstruktion beim Erkunden von Mustern und Strukturen,” in Beiträge zum Mathematikunterricht 2017, 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 78
B. Jazayeri and S. Schwichtenberg, “On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture,” in Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, 2017, pp. 120--127.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 79
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 Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), 2017, vol. 10787, pp. 207–222.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 8073
M. Grieger, M. Fazal-Baqaie, G. Engels, and M. Klenke, “Concept-Based Engineering of Situation-Specific Migration Methods,” in Software Engineering 2017, 2017, pp. 65–66.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 81
L. Luo, MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 82
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 Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 8225
J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, and S. Sauer, “Systematic spreadsheet construction processes,” in Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, 2017, pp. 123–127.
LibreCat
| DOI