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, 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 (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: 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
2017 | Bachelorsthesis | LibreCat-ID: 5694
Schnitker, Nino Noel. Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5695
Jazayeri, Bahar, and Simon Schwichtenberg. “On the Necessity of an Architecture Framework for On-The-Fly Computing.” Proceedings of Softwaretechnik-Trends Workshops, vol. 37, 2, Gesellschaft für Informatik eV, Fachgruppe PARS, 2017.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 5722
Gupta, Pritha, et al. JPL: A Java-Based Software Framework for Preference Learning. 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 5724
Hetzer, Alexander, and Tanja Tornede. 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, Enes, et al. “Adapt-UI: An IDE Supporting Model-Driven Development of Self-Adaptive UIs.” Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017, 2017, pp. 99–104, doi:10.1145/3102113.3102144.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5741
Yigitbas, Enes, et al. “Model-Driven Context Management for Self-Adaptive User Interfaces.” Ubiquitous Computing and Ambient Intelligence - 11th International Conference, UCAmI 2017, Philadelphia, PA, USA, November 7-10, 2017, Proceedings, 2017, pp. 624–35, doi:10.1007/978-3-319-67585-5\_61.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5769
Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.” Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–78, doi:10.1007/978-3-319-68690-5_22.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 58 | 
Dräxler, Sevil, and Holger Karl. “Specification, Composition, and Placement of Network Services with Flexible Structures.” International Journal of Network Management, no. 2, Wiley Online Library, 2017, pp. 1--16, doi:10.1002/nem.1963.
LibreCat
| Files available
| DOI