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.
7272 Publications
2017 | Journal Article | LibreCat-ID: 90
Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” ACM Transactions on Embedded Computing Systems, no. 2 (2017): 47:1-47:24. https://doi.org/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.” In Partiality and Underspecification in Information, Languages, and Knowledge, edited by Henning Christiansen, M. Dolores Jiménez-López, Roussanka Loukanova, and Lawrence S. Moss, 1st ed., 65–108. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 79
Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and Sören Riechers. “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), 10787:207–22. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-89441-6.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 82
Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity.” In Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 139–50. LNCS, 2017. https://doi.org/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, Markus Dollmann, and Michaela Geierhos. “Studying Software Descriptions in SourceForge and App Stores for a Better Understanding of Real-Life Requirements.” In Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics, edited by Federica Sarro, Emad Shihab, Meiyappan Nagappan, Marie Christin Platenius, and Daniel Kaimann, 19–25. New York, NY, USA: ACM, 2017. https://doi.org/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, Hagen Stahl, Stefan Sauer, and Gregor Engels. “Self-Adaptive UIs: Integrated Model-Driven Development of UIs and Their Adaptations.” In Modelling Foundations and Applications - 13th European Conference, {ECMFA} 2017, Held as Part of {STAF} 2017, Marburg, Germany, July 19-20, 2017, Proceedings, 126–41, 2017. https://doi.org/10.1007/978-3-319-61482-3\_8.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5741
Yigitbas, Enes, Silas Grün, Stefan Sauer, and Gregor Engels. “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, 624–35, 2017. https://doi.org/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.” In Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017), 362–78. Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-68690-5_22.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 5830
Wolters, Dennis, Jonas Kirchhoff, Christian Gerth, and Gregor Engels. “XDAI-A: Framework for Enabling Cross-Device Integration of Android Apps.” In Service-Oriented Computing -- ICSOC 2016 Workshops, edited by Khalil Drira, Hongbing Wang, Qi Yu, Yan Wang, Yuhong Yan, François Charoy, Jan Mendling, Mohamed Mohamed, Zhongjie Wang, and Sami Bhiri, 203–6. Cham: Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-68136-8_25.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 59
Kling, Peter, Alexander Mäcker, Sören Riechers, and Alexander Skopalik. “Sharing Is Caring: Multiprocessor Scheduling with a Sharable Resource.” In Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 123--132, 2017. https://doi.org/10.1145/3087556.3087578.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 5914
Dellnitz, Michael, Julian Eckstein, Kathrin Flaßkamp, Patrick Friedel, Christian Horenkamp, Ulrich Köhler, Sina Ober-Blöbaum, Sebastian Peitz, and Sebastian Tiemeyer. “Multiobjective Optimal Control Methods for the Development of an Intelligent Cruise Control.” In Progress in Industrial Mathematics at ECMI 2014 , 633–41. Cham: Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-23413-7_87.
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 6255
Fischer, Holger Gerhard, Michael Engler, and Stefan Sauer. “A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0.” In Design, User Experience, and Usability: Theory, Methodology, and Management, 10288:570–83. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-58634-2_42.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 6256
Fischer, Holger Gerhard, Björn Senft, and Katharina Stahl. “Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering.” In Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, edited by Eric Bodden, Falko Dressler, Roman Dumitrescu, Jürgen Gausemeier, Friedhelm Meyer auf der Heide, Christoph Scheytt, and Ansgar Trächtler, 369:197–210. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2017. https://doi.org/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, Oliver Müller, and Jan vom Brocke. “The Impact of Content, Context, and Creator on User Engagement in Social Media Marketing.” In Hawaii International Conference on System Sciences, 2017. https://doi.org/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, Bernd Günter, and Andreas Eggert, eds. Kundenwert. Wiesbaden: Springer Fachmedien Wiesbaden, 2017. https://doi.org/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.” In Kundenwert, 41–59. Wiesbaden: Gabler Verlag, 2017. https://doi.org/10.1007/978-3-8349-9288-8_2.
LibreCat
| DOI