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.
5786 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 (Editor) | LibreCat-ID: 7749
Carmona J, Engels G, Kumar A, 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 J, Engels G, Kumar A, 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 R, Christin Platenius M, Becker S, Persson P, Engels G, eds. Message from the IoT-ASAP Chairs.; 2017. doi:10.1109/ICSAW.2017.67
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7754
Hess S, Fischer HG, 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 J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. 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; 2017. doi:10.1109/icse-c.2017.141
LibreCat
| DOI
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 | Conference Paper | LibreCat-ID: 8073
Grieger M, Fazal-Baqaie M, Engels G, Klenke M. Concept-Based Engineering of Situation-Specific Migration Methods. In: Software Engineering 2017. ; 2017:65-66.
LibreCat
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 | Conference Paper | LibreCat-ID: 8225
Mendes J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. 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. IEEE; 2017:123-127. doi:http://dx.doi.org/10.1109/VLHCC.2017.8103459
LibreCat
| DOI
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 Abstract | LibreCat-ID: 5722
Gupta P, Hetzer A, Tornede T, et al. jPL: A Java-based Software Framework for Preference Learning. In: ; 2017.
LibreCat
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: 5740
Yigitbas E, Sauer S, Engels G. Adapt-UI: an IDE supporting model-driven development of self-adaptive UIs. In: Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017. ; 2017:99-104. doi:10.1145/3102113.3102144
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5741
Yigitbas E, Grün S, Sauer S, Engels G. Model-Driven Context Management for Self-adaptive User Interfaces. In: Ubiquitous Computing and Ambient Intelligence - 11th International Conference, UCAmI 2017, Philadelphia, PA, USA, November 7-10, 2017, Proceedings. ; 2017:624-635. doi:10.1007/978-3-319-67585-5\_61
LibreCat
| DOI
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