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.
7297 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 | Book Chapter | LibreCat-ID: 93
Geierhos, Michaela, and Frederik Simon Bäumer. “Guesswork? Resolving Vagueness in User-Generated Software Requirements.” Partiality and Underspecification in Information, Languages, and Knowledge, edited by Henning Christiansen et al., 1st ed., Cambridge Scholars Publishing, 2017, pp. 65–108.
LibreCat
| Files available
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: 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 | 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: 57
Bäumer, Frederik Simon, et al. “Studying Software Descriptions in SourceForge and App Stores for a Better Understanding of Real-Life Requirements.” Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics, edited by Federica Sarro et al., ACM, 2017, pp. 19–25, doi:10.1145/3121264.3121269.
LibreCat
| Files available
| DOI
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: 5739
Yigitbas, Enes, et al. “Self-Adaptive UIs: Integrated Model-Driven Development of UIs and Their Adaptations.” Modelling Foundations and Applications - 13th European Conference, {ECMFA} 2017, Held as Part of {STAF} 2017, Marburg, Germany, July 19-20, 2017, Proceedings, 2017, pp. 126–41, doi:10.1007/978-3-319-61482-3\_8.
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 | Conference Paper | LibreCat-ID: 5830
Wolters, Dennis, et al. “XDAI-A: Framework for Enabling Cross-Device Integration of Android Apps.” Service-Oriented Computing -- ICSOC 2016 Workshops, edited by Khalil Drira et al., Springer International Publishing, 2017, pp. 203–06, doi:10.1007/978-3-319-68136-8_25.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 59
Kling, Peter, et al. “Sharing Is Caring: Multiprocessor Scheduling with a Sharable Resource.” Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 123--132, doi:10.1145/3087556.3087578.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 5914
Dellnitz, Michael, et al. “Multiobjective Optimal Control Methods for the Development of an Intelligent Cruise Control.” Progress in Industrial Mathematics at ECMI 2014 , Springer International Publishing, 2017, pp. 633–41, doi:10.1007/978-3-319-23413-7_87.
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 6255
Fischer, Holger Gerhard, et al. “A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0.” Design, User Experience, and Usability: Theory, Methodology, and Management, vol. 10288, Springer International Publishing, 2017, pp. 570–83, doi:10.1007/978-3-319-58634-2_42.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 6256
Fischer, Holger Gerhard, et al. “Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering.” Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, edited by Eric Bodden et al., vol. 369, Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2017, pp. 197–210, doi:10.17619/UNIPB/1-93.
LibreCat
| DOI
2017 | Mastersthesis | LibreCat-ID: 46
Grobbel, Florian. Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 4683
Jaakonmäki, Roope, et al. “The Impact of Content, Context, and Creator on User Engagement in Social Media Marketing.” Hawaii International Conference on System Sciences, 2017, doi:10.24251/HICSS.2017.136.
LibreCat
| DOI
2017 | Mastersthesis | LibreCat-ID: 47
Theda, Mona. Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze. Universität Paderborn, 2017.
LibreCat
2017 | Book (Editor) | LibreCat-ID: 4908
Helm, Sabrina, et al., editors. Kundenwert. Springer Fachmedien Wiesbaden, 2017, doi:10.1007/978-3-658-10920-2.
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 4939
Eggert, Andreas. “Die Zwei Perspektiven Des Kundenwerts: Darstellung Und Versuch Einer Integration.” Kundenwert, Gabler Verlag, 2017, pp. 41–59, doi:10.1007/978-3-8349-9288-8_2.
LibreCat
| DOI