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.
5431 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 | 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 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 | 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 | Bachelorsthesis | LibreCat-ID: 83
Uden D. Microsoft vs. the EU Commission - An Analysis on Product Bundeling. Universität Paderborn; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5692 | 
Aziz H, Rauchecker G, Schryen G, Walsh T. Algorithms for Max-Min Share Fair Allocation of Indivisible Chores. In: Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). Vol 31. ; 2017:1-7.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 5694
Schnitker NN. Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies. Universität Paderborn; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5695
Jazayeri B, Schwichtenberg S. On the Necessity of an Architecture Framework for On-The-Fly Computing. In: Proceedings of Softwaretechnik-Trends Workshops. Vol 37. Bad Honnef, Germany: Gesellschaft für Informatik eV, Fachgruppe PARS; 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 57
Bäumer FS, Dollmann M, Geierhos M. Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements. In: Sarro F, Shihab E, Nagappan M, Platenius MC, Kaimann D, eds. Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics. New York, NY, USA: ACM; 2017:19-25. doi:10.1145/3121264.3121269
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 5724
Hetzer A, Tornede T. Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction. Universität Paderborn; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5769
Töws M, Wehrheim H. Policy Dependent and Independent Information Flow Analyses. In: Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017). Springer International Publishing; 2017:362-378. doi:10.1007/978-3-319-68690-5_22
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 58 |
Dräxler S, Karl H. Specification, Composition, and Placement of Network Services with Flexible Structures. International Journal of Network Management. 2017;(2):1--16. doi:10.1002/nem.1963
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 59
Kling P, Mäcker A, Riechers S, Skopalik A. Sharing is Caring: Multiprocessor Scheduling with a Sharable Resource. In: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2017:123--132. doi:10.1145/3087556.3087578
LibreCat
| Files available
| DOI