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
Incremental Inductive Verification of Parameterized Timed Systems
T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24.
LibreCat
| Files available
| DOI
T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24.
2017 | Conference Paper | LibreCat-ID: 91
How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.
LibreCat
| Files available
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.
2017 | Conference Abstract | LibreCat-ID: 92
How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Bosch Business Model Innovation Summit 2017, 2017.
LibreCat
| Files available
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Bosch Business Model Innovation Summit 2017, 2017.
2017 | Book Chapter | LibreCat-ID: 93
Guesswork? Resolving Vagueness in User-Generated Software Requirements
M. Geierhos, F.S. Bäumer, 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., Cambridge Scholars Publishing, Newcastle upon Tyne, UK, 2017, pp. 65–108.
LibreCat
| Files available
M. Geierhos, F.S. Bäumer, 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., Cambridge Scholars Publishing, Newcastle upon Tyne, UK, 2017, pp. 65–108.
2017 | Bachelorsthesis | LibreCat-ID: 94
Geschäftsmodelle elektronischer Handelsplattformen
M. Martens, Geschäftsmodelle elektronischer Handelsplattformen, Universität Paderborn, 2017.
LibreCat
M. Martens, Geschäftsmodelle elektronischer Handelsplattformen, Universität Paderborn, 2017.
2017 | Encyclopedia Article | LibreCat-ID: 95
Geschäftsmodell-Modellierungssprache/Business Model Modeling Language
D. Kundisch, T. John, in: Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.
LibreCat
| Files available
D. Kundisch, T. John, in: Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.
2017 | Journal Article | LibreCat-ID: 9514
Volumetric Generation of Optical Vortices with Metasurfaces
L. Huang, X. Song, B. Reineke, T. Li, X. Li, J. Liu, S. Zhang, Y. Wang, T. Zentgraf, ACS Photonics (2017) 338–346.
LibreCat
| DOI
L. Huang, X. Song, B. Reineke, T. Li, X. Li, J. Liu, S. Zhang, Y. Wang, T. Zentgraf, ACS Photonics (2017) 338–346.
2017 | Conference Paper | LibreCat-ID: 77
On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten
D. Szopinski, B. Jazayeri, G. Engels, D. Kundisch, in: Proceedings of the Workshop Enterprise Architecture Management in Forschung Und Praxis, INFORMATIK 2017, Chemnitz, Germany, GI, 2017, pp. 2059–2066.
LibreCat
| Files available
D. Szopinski, B. Jazayeri, G. Engels, D. Kundisch, in: Proceedings of the Workshop Enterprise Architecture Management in Forschung Und Praxis, INFORMATIK 2017, Chemnitz, Germany, GI, 2017, pp. 2059–2066.
2017 | Conference (Editor) | LibreCat-ID: 7749
Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science
J. Carmona , G. Engels, A. Kumar, eds., Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science, Springer, 2017.
LibreCat
J. Carmona , G. Engels, A. Kumar, eds., Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science, Springer, 2017.
2017 | Conference (Editor) | LibreCat-ID: 7750
Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297
J. Carmona , G. Engels, A. Kumar, eds., Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297, Springer, 2017.
LibreCat
J. Carmona , G. Engels, A. Kumar, eds., Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297, Springer, 2017.
2017 | Book (Editor) | LibreCat-ID: 7751
Message from the IoT-ASAP Chairs
R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, G. Engels, eds., Message from the IoT-ASAP Chairs, 2017.
LibreCat
| DOI
R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, G. Engels, eds., Message from the IoT-ASAP Chairs, 2017.
2017 | Conference (Editor) | LibreCat-ID: 7754
Mensch und Computer 2017 - Usability Professionals. Tagungsband
S. Hess, H.G. Fischer, eds., Mensch Und Computer 2017 - Usability Professionals. Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Regensburg, 2017.
LibreCat
S. Hess, H.G. Fischer, eds., Mensch Und Computer 2017 - Usability Professionals. Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Regensburg, 2017.
2017 | Conference Paper | LibreCat-ID: 7755
Towards systematic spreadsheet construction processes
J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, 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.
LibreCat
| DOI
J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, 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.
2017 | Conference Paper | LibreCat-ID: 7767 | 
Sinnkonstruktion beim Erkunden von Mustern und Strukturen
J. Schumacher, in: U. Kortenkamp, A. Kuzle (Eds.), Beiträge zum Mathematikunterricht 2017, WTM-Verlag, Münster, 2017.
LibreCat
| Download (ext.)
J. Schumacher, in: U. Kortenkamp, A. Kuzle (Eds.), Beiträge zum Mathematikunterricht 2017, WTM-Verlag, Münster, 2017.
2017 | Conference Paper | LibreCat-ID: 78
On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture
B. Jazayeri, S. Schwichtenberg, in: Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, Gothenburg, Sweden, 2017, pp. 120--127.
LibreCat
| Files available
| DOI
B. Jazayeri, S. Schwichtenberg, in: Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, Gothenburg, Sweden, 2017, pp. 120--127.
2017 | Conference Paper | LibreCat-ID: 79
Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), Springer, 2017, pp. 207–222.
LibreCat
| Files available
| DOI
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), Springer, 2017, pp. 207–222.
2017 | Conference Paper | LibreCat-ID: 8073
Concept-Based Engineering of Situation-Specific Migration Methods
M. Grieger, M. Fazal-Baqaie, G. Engels, M. Klenke, in: Software Engineering 2017, 2017, pp. 65–66.
LibreCat
M. Grieger, M. Fazal-Baqaie, G. Engels, M. Klenke, in: Software Engineering 2017, 2017, pp. 65–66.
2017 | Mastersthesis | LibreCat-ID: 81
MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained
L. Luo, MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained, Universität Paderborn, 2017.
LibreCat
L. Luo, MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 82
Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150.
LibreCat
| Files available
| DOI
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150.
2017 | Conference Paper | LibreCat-ID: 8225
Systematic spreadsheet construction processes
J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, IEEE, 2017, pp. 123–127.
LibreCat
| DOI
J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, IEEE, 2017, pp. 123–127.