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.
2173 Publications
2017 | Journal Article | LibreCat-ID: 90
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
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 91
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.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 92
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.
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 93
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.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 94
Martens M. Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn; 2017.
LibreCat
2017 | Encyclopedia Article | LibreCat-ID: 95
Kundisch D, John T. Geschäftsmodell-Modellierungssprache/Business Model Modeling Language. In: Enzyklopädie der Wirtschaftsinformatik, GITO. ; 2017.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 9514
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
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 77
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.
LibreCat
| Files available
2017 | Conference (Editor) | LibreCat-ID: 7749
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.
LibreCat
2017 | Conference (Editor) | LibreCat-ID: 7750
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.
LibreCat
2017 | Book (Editor) | LibreCat-ID: 7751
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
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7754
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.
LibreCat
2017 | Conference Paper | LibreCat-ID: 7755
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
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 7767 | 
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.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 78
Jazayeri B, Schwichtenberg S. On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture. In: Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop. Gothenburg, Sweden: IEEE; 2017:120--127. doi:10.1109/ICSAW.2017.59
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 79
Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. 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). Vol 10787. Lecture Notes in Computer Science. Springer; 2017:207-222. doi:10.1007/978-3-319-89441-6
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 8073
Grieger M, Fazal-Baqaie M, Engels G, Klenke M. Concept-Based Engineering of Situation-Specific Migration Methods. In: Software Engineering 2017. ; 2017:65-66.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 81
Luo L. MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained. Universität Paderborn; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 82
Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity. In: Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW). LNCS. ; 2017:139-150. doi:10.1007/978-3-319-59605-1_13
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 8225
Mendes J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. 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. IEEE; 2017:123-127. doi:http://dx.doi.org/10.1109/VLHCC.2017.8103459
LibreCat
| DOI