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, ACM, 2017, pp. 47:1-47:24, doi:10.1145/2984640.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 91
Szopinski, Daniel, et al. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 92
Szopinski, Daniel, et al. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” 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.” Partiality and Underspecification in Information, Languages, and Knowledge, edited by Henning Christiansen et al., 1st ed., Cambridge Scholars Publishing, 2017, pp. 65–108.
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.” Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 9514
Huang, Lingling, et al. “Volumetric Generation of Optical Vortices with Metasurfaces.” ACS Photonics, 2017, pp. 338–46, doi:10.1021/acsphotonics.6b00808.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 77
Szopinski, Daniel, et al. “On-The-Fly Computing: Ein Referenzmodell Für Individualisierte IT-Dienstleistungen in Dynamischen Märkten.” Proceedings of the Workshop Enterprise Architecture Management in Forschung Und Praxis, INFORMATIK 2017, Chemnitz, Germany, GI, 2017, pp. 2059–66.
LibreCat
| Files available
2017 | Conference (Editor) | LibreCat-ID: 7749
Carmona , Josep, et al., editors. 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, et al., editors. 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, et al., editors. Message from the IoT-ASAP Chairs. 2017, doi:10.1109/ICSAW.2017.67.
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7754
Hess, Steffen, and Holger Gerhard Fischer, editors. Mensch Und Computer 2017 - Usability Professionals. Tagungsband. Gesellschaft für Informatik e.V. und German UPA e.V., 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 7755
Mendes, Jorge, et al. “Towards Systematic Spreadsheet Construction Processes.” 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, doi:10.1109/icse-c.2017.141.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 7767 | 
Schumacher, Jan. “Sinnkonstruktion beim Erkunden von Mustern und Strukturen.” Beiträge zum Mathematikunterricht 2017, edited by Ulrich Kortenkamp and Ana Kuzle, 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.” Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, 2017, pp. 120--127, doi:10.1109/ICSAW.2017.59.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 79
Mäcker, Alexander, et al. “Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times.” Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), vol. 10787, Springer, 2017, pp. 207–22, doi:10.1007/978-3-319-89441-6.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 8073
Grieger, Marvin, et al. “Concept-Based Engineering of Situation-Specific Migration Methods.” Software Engineering 2017, 2017, pp. 65–66.
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., et al. “Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity.” Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–50, doi:10.1007/978-3-319-59605-1_13.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 8225
Mendes, Jorge, et al. “Systematic Spreadsheet Construction Processes.” Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, IEEE, 2017, pp. 123–27, doi:http://dx.doi.org/10.1109/VLHCC.2017.8103459.
LibreCat
| DOI