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. (2017). Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems, (2), 47:1-47:24. https://doi.org/10.1145/2984640
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 91
Szopinski, D., Schoormann, T., John, T., Knackstedt, R., & Kundisch, D. (2017). 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.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 92
Szopinski, D., Schoormann, T., John, T., Knackstedt, R., & Kundisch, D. (2017). 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.
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 93
Geierhos, M., & Bäumer, F. S. (2017). Guesswork? Resolving Vagueness in User-Generated Software Requirements. In H. Christiansen, M. D. Jiménez-López, R. Loukanova, & L. S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge (1st ed., pp. 65–108). Newcastle upon Tyne, UK: Cambridge Scholars Publishing.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 94
Martens, M. (2017). Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn.
LibreCat
2017 | Encyclopedia Article | LibreCat-ID: 95
Kundisch, D., & John, T. (2017). Geschäftsmodell-Modellierungssprache/Business Model Modeling Language. In Enzyklopädie der Wirtschaftsinformatik, GITO.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 9514
Huang, L., Song, X., Reineke, B., Li, T., Li, X., Liu, J., … Zentgraf, T. (2017). Volumetric Generation of Optical Vortices with Metasurfaces. ACS Photonics, 338–346. https://doi.org/10.1021/acsphotonics.6b00808
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 77
Szopinski, D., Jazayeri, B., Engels, G., & Kundisch, D. (2017). 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 (pp. 2059–2066). GI.
LibreCat
| Files available
2017 | Conference (Editor) | LibreCat-ID: 7749
Carmona , J., Engels, G., & Kumar, A. (Eds.). (2017). Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science (Vol. 10445). Springer.
LibreCat
2017 | Conference (Editor) | LibreCat-ID: 7750
Carmona , J., Engels, G., & Kumar, A. (Eds.). (2017). Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297 (Vol. 297). Springer.
LibreCat
2017 | Book (Editor) | LibreCat-ID: 7751
Spalazzese, R., Christin Platenius, M., Becker, S., Persson, P., & Engels, G. (Eds.). (2017). Message from the IoT-ASAP Chairs. https://doi.org/10.1109/ICSAW.2017.67
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7754
Hess, S., & Fischer, H. G. (Eds.). (2017). Mensch und Computer 2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.
LibreCat
2017 | Conference Paper | LibreCat-ID: 7755
Mendes, J., Cunha, J., Duarte, F., Engels, G., Saraiva, J., & Sauer, S. (2017). 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. https://doi.org/10.1109/icse-c.2017.141
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 7767 | 
Schumacher, J. (2017). Sinnkonstruktion beim Erkunden von Mustern und Strukturen. In U. Kortenkamp & A. Kuzle (Eds.), Beiträge zum Mathematikunterricht 2017. Münster: WTM-Verlag.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 78
Jazayeri, B., & Schwichtenberg, S. (2017). On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture. In Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop (pp. 120--127). Gothenburg, Sweden: IEEE. https://doi.org/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. (2017). 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, pp. 207–222). Springer. https://doi.org/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. (2017). Concept-Based Engineering of Situation-Specific Migration Methods. In Software Engineering 2017 (pp. 65–66).
LibreCat
2017 | Mastersthesis | LibreCat-ID: 81
Luo, L. (2017). MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 82
Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan, P. (2017). Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity. In Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW) (pp. 139–150). https://doi.org/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. (2017). 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 (pp. 123–127). IEEE. http://dx.doi.org/10.1109/VLHCC.2017.8103459
LibreCat
| DOI