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, 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
2017 | Book (Editor) | LibreCat-ID: 7751
Spalazzese, Romina, Marie Christin Platenius, Steffen Becker, Per Persson, and Gregor Engels, eds. Message from the IoT-ASAP Chairs, 2017. https://doi.org/10.1109/ICSAW.2017.67.
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7754
Hess, Steffen , and Holger Gerhard 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: 7755
Mendes, Jorge, Jacome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva, and Stefan Sauer. “Towards Systematic Spreadsheet Construction Processes.” In 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) . IEEE, 2017. https://doi.org/10.1109/icse-c.2017.141.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 7767 | 
Schumacher, Jan. “Sinnkonstruktion beim Erkunden von Mustern und Strukturen.” In Beiträge zum Mathematikunterricht 2017, edited by Ulrich Kortenkamp and Ana Kuzle. Münster: WTM-Verlag, 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 78
Jazayeri, Bahar, and Simon 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, 120--127. Gothenburg, Sweden: IEEE, 2017. https://doi.org/10.1109/ICSAW.2017.59.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 79
Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and Sören 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), 10787:207–22. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-89441-6.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 8073
Grieger, Marvin, Masud Fazal-Baqaie, Gregor Engels, and Markus Klenke. “Concept-Based Engineering of Situation-Specific Migration Methods.” In Software Engineering 2017, 65–66, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 81
Luo, Linghui. MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 82
Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity.” In Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 139–50. LNCS, 2017. https://doi.org/10.1007/978-3-319-59605-1_13.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 8225
Mendes, Jorge, Jácome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva, and Stefan 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, 123–27. IEEE, 2017. http://dx.doi.org/10.1109/VLHCC.2017.8103459.
LibreCat
| DOI