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. (2017). Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems, (2), 47:1-47:24. https://doi.org/10.1145/2984640
LibreCat
| Files available
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7749
Carmona , J., Engels, G., & Kumar, A. (Eds.). (2017). Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science (Vol. 10445). Springer.
LibreCat
2017 | Conference (Editor) | LibreCat-ID: 7750
Carmona , J., Engels, G., & Kumar, A. (Eds.). (2017). Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297 (Vol. 297). Springer.
LibreCat
2017 | Book (Editor) | LibreCat-ID: 7751
Spalazzese, R., Christin Platenius, M., Becker, S., Persson, P., & Engels, G. (Eds.). (2017). Message from the IoT-ASAP Chairs. https://doi.org/10.1109/ICSAW.2017.67
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7754
Hess, S., & Fischer, H. G. (Eds.). (2017). Mensch und Computer 2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.
LibreCat
2017 | Conference Paper | LibreCat-ID: 7755
Mendes, J., Cunha, J., Duarte, F., Engels, G., Saraiva, J., & Sauer, S. (2017). 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. https://doi.org/10.1109/icse-c.2017.141
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 78
Jazayeri, B., & Schwichtenberg, S. (2017). On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture. In Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop (pp. 120--127). Gothenburg, Sweden: IEEE. https://doi.org/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. (2017). 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, pp. 207–222). Springer. https://doi.org/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. (2017). Concept-Based Engineering of Situation-Specific Migration Methods. In Software Engineering 2017 (pp. 65–66).
LibreCat
2017 | Mastersthesis | LibreCat-ID: 81
Luo, L. (2017). MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 82
Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan, P. (2017). Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity. In Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW) (pp. 139–150). https://doi.org/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. (2017). 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 (pp. 123–127). IEEE. http://dx.doi.org/10.1109/VLHCC.2017.8103459
LibreCat
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 5694
Schnitker, N. N. (2017). Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5695
Jazayeri, B., & Schwichtenberg, S. (2017). 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.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 5722
Gupta, P., Hetzer, A., Tornede, T., Gottschalk, S., Kornelsen, A., Osterbrink, S., … Hüllermeier, E. (2017). jPL: A Java-based Software Framework for Preference Learning. Presented at the WDA 2017 Workshops: KDML, FGWM, IR, and FGDB, Rostock.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 5724
Hetzer, A., & Tornede, T. (2017). Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5740
Yigitbas, E., Sauer, S., & Engels, G. (2017). 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 (pp. 99–104). https://doi.org/10.1145/3102113.3102144
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5741
Yigitbas, E., Grün, S., Sauer, S., & Engels, G. (2017). 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 (pp. 624–635). https://doi.org/10.1007/978-3-319-67585-5\_61
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5769
Töws, M., & Wehrheim, H. (2017). Policy Dependent and Independent Information Flow Analyses. In Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017) (pp. 362–378). Springer International Publishing. https://doi.org/10.1007/978-3-319-68690-5_22
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 58 | 
Dräxler, S., & Karl, H. (2017). Specification, Composition, and Placement of Network Services with Flexible Structures. International Journal of Network Management, (2), 1--16. https://doi.org/10.1002/nem.1963
LibreCat
| Files available
| DOI