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.
2200 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 | Conference Paper | LibreCat-ID: 91
Szopinski, Daniel, Thorsten Schoormann, Thomas John, Ralf Knackstedt, and Dennis Kundisch. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” In Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 92
Szopinski, Daniel, Thorsten Schoormann, Thomas John, Ralf Knackstedt, and Dennis Kundisch. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” In Bosch Business Model Innovation Summit 2017, 2017.
LibreCat
| Files available
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 | Bachelorsthesis | LibreCat-ID: 94
Martens, Martin. Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn, 2017.
LibreCat
2017 | Encyclopedia Article | LibreCat-ID: 95
Kundisch, Dennis, and Thomas John. “Geschäftsmodell-Modellierungssprache/Business Model Modeling Language.” In Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 9514
Huang, Lingling, Xu Song, Bernhard Reineke, Tianyou Li, Xiaowei Li, Juan Liu, Shuang Zhang, Yongtian Wang, and Thomas Zentgraf. “Volumetric Generation of Optical Vortices with Metasurfaces.” ACS Photonics, 2017, 338–46. https://doi.org/10.1021/acsphotonics.6b00808.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 77
Szopinski, Daniel, Bahar Jazayeri, Gregor Engels, and Dennis Kundisch. “On-The-Fly Computing: Ein Referenzmodell Für Individualisierte IT-Dienstleistungen in Dynamischen Märkten.” In Proceedings of the Workshop Enterprise Architecture Management in Forschung Und Praxis, INFORMATIK 2017, Chemnitz, Germany, 2059–66. Lecture Notes in Informatics (LNI). GI, 2017.
LibreCat
| Files available
2017 | Conference (Editor) | LibreCat-ID: 7749
Carmona , Josep , Gregor Engels, and Akhil Kumar, 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 , Josep , Gregor Engels, and Akhil Kumar, 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, Romina, Marie Christin Platenius, Steffen Becker, Per Persson, and Gregor Engels, eds. Message from the IoT-ASAP Chairs, 2017. https://doi.org/10.1109/ICSAW.2017.67.
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7754
Hess, Steffen , and Holger Gerhard Fischer, 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, Jorge, Jacome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva, and Stefan Sauer. “Towards Systematic Spreadsheet Construction Processes.” In 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. https://doi.org/10.1109/icse-c.2017.141.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 7767 | 
Schumacher, Jan. “Sinnkonstruktion beim Erkunden von Mustern und Strukturen.” In Beiträge zum Mathematikunterricht 2017, edited by Ulrich Kortenkamp and Ana Kuzle. Münster: WTM-Verlag, 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 78
Jazayeri, Bahar, and Simon Schwichtenberg. “On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture.” In Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, 120--127. Gothenburg, Sweden: IEEE, 2017. https://doi.org/10.1109/ICSAW.2017.59.
LibreCat
| Files available
| DOI
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: 8073
Grieger, Marvin, Masud Fazal-Baqaie, Gregor Engels, and Markus Klenke. “Concept-Based Engineering of Situation-Specific Migration Methods.” In Software Engineering 2017, 65–66, 2017.
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., 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 | Conference Paper | LibreCat-ID: 8225
Mendes, Jorge, Jácome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva, and Stefan Sauer. “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, 123–27. IEEE, 2017. http://dx.doi.org/10.1109/VLHCC.2017.8103459.
LibreCat
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 83
Uden, Dennis. Microsoft vs. the EU Commission - An Analysis on Product Bundeling. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5692 |
Aziz, Haris, Gerhard Rauchecker, Guido Schryen, and Toby Walsh. “Algorithms for Max-Min Share Fair Allocation of Indivisible Chores.” In Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), 31:1–7, 2017.
LibreCat
| Files available
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.” In Proceedings of Softwaretechnik-Trends Workshops, Vol. 37. Bad Honnef, Germany: Gesellschaft für Informatik eV, Fachgruppe PARS, 2017.
LibreCat
| Files available
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 | Conference Abstract | LibreCat-ID: 5722
Gupta, Pritha, Alexander Hetzer, Tanja Tornede, Sebastian Gottschalk, Andreas Kornelsen, Sebastian Osterbrink, Karlson Pfannschmidt, and Eyke Hüllermeier. “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: 5725
Holzinger, Philipp, Ben Hermann, Johannes Lerch, Eric Bodden, and Mira Mezini. “Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation.” In 2017 IEEE Symposium on Security and Privacy (SP). IEEE, 2017. https://doi.org/10.1109/sp.2017.16.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5726
Reif, Michael, Michael Eichberg, Ben Hermann, and Mira Mezini. “Hermes: Assessment and Creation of Effective Test Corpora.” In Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017. ACM Press, 2017. https://doi.org/10.1145/3088515.3088523.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5727
Kübler, Florian, Patrick Müller, and Ben Hermann. “SootKeeper: Runtime Reusability for Modular Static Analysis.” In Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017. ACM Press, 2017. https://doi.org/10.1145/3088515.3088518.
LibreCat
| DOI
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: 5740
Yigitbas, Enes, Stefan Sauer, and Gregor Engels. “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, 99–104, 2017. https://doi.org/10.1145/3102113.3102144.
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 | 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 (2017): 1--16. https://doi.org/10.1002/nem.1963.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 5800
Tramm, T., H.-Hugo Kremer, and G. Reinmann. “Editorial zur Ausgabe 33: Entwicklungsbezogene (Praxis-)Forschung .” bwp@ Berufs- und Wirtschaftspädagogik - online, no. 33 (2017): 1–5.
LibreCat
| Download (ext.)
2017 | Book Chapter | LibreCat-ID: 5802
Kremer, H.-Hugo, and Peter F. E. Sloane. “‘Quo vadis Wirtschaftspädagogik’: Lehrerbildung für Berufskollegs zwischen akademischem Anspruch und Verwaltungslogiken.” In Die Fakultät für Wirtschaftswissenschaften an der Universität Paderborn: Zeitzeugen geben Einblicke in den Werdegang ihrer Fakultät, edited by C. Sureth-Sloane, 248–62. Detmold, 2017.
LibreCat
2017 | Book Chapter | LibreCat-ID: 5806
Kremer, H.-Hugo. “Praxisphasen als Studienelement. Professionalisierung durch Forschendes Lernen.” In Berufsschullehrerbildung in der Volksrepublik China und in der Bundesrepublik Deutschland. Professionalisierung - Kompetenzen - Herausforderungen, edited by J. Wang, X. Feng, and J. Rützel, 157–81. Shanghai, 2017.
LibreCat
2017 | Book Chapter | LibreCat-ID: 5807
Kremer, H.-Hugo. “Teaching under and in inequality in German Vocational Schools.” In Wealth Equity Dynamics: Economics and Education Challenges, edited by S. Natale and A. Libertella, 47–67. New York, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 5808
Kremer, H.-Hugo, and Heike Kundisch. “Steuerung Aus Der Mitte: Relevanz Und Methoden Einer Rollenschärfung Des Mittleren Managements Am Berufskolleg.” Bwp@ Berufs- Und Wirtschaftspädagogik - Online, no. 31 (2017): 1–20.
LibreCat
| Download (ext.)
2017 | Book Chapter | LibreCat-ID: 5810
Kremer, H.-Hugo, and U. Weyland. “Praxissemester in berufs- und wirtschaftspädagogischen Studiengängen.” In Forschendes Lernen im Praxissemester. Zugänge, Konzepte, Erfahrungen, edited by R. Schüssler, A. Schöning, V. Schwier, S. Schicht, J. Gold, and U. Weyland, 206–14. Bad Heilbrunn, 2017.
LibreCat
2017 | Book | LibreCat-ID: 5811
Kundisch, Heike, and H.-Hugo Kremer. Mittlere Leitungsebene an Berufskollegs. Eine kollegiale Weiterbildung zur Rollenschärfung in Auseinandersetzung mit Handlungsfeldern der Bildungsarbeit. Paderborn, 2017.
LibreCat
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 | Book Chapter | LibreCat-ID: 5896
Kempen, Leander, and Thomas Wassong. “VEMINT Mobile with Apps: Der Gezielte Einsatz von Mobilen Endgeräten in Einem Mathematik-Vorkurs Unter Verwendung Der Multimedialen VEMINT-Materialien.” In Hochschuldidaktik Im Dialog. Beiträge Der Jahrestagung Der Deutschen Gesellschaft Für Hochschuldidaktik (Dghd) 2015, edited by Robert Kordts-Freudinger, Daniel Al-Kabbani, and Niclas Schaper, 131:15–40. Bielefeld: wbv, 2017.
LibreCat
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 | Bachelorsthesis | LibreCat-ID: 5946
Kühn, Sarah. Outsourcing Und Qualität Im Supply Chain - Eine Gleichgewichtsanalyse. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5950
Gunning, Justine. Crowdfunding Plattformen Als Vermittler Auf Zweiseitigen Märkten - Eine Mikroökonomische Analyse. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 5975
Tramm, T., H.-Hugo Kremer, and G. Reinmann. “Entwicklungsbezogene Praxisforschung .” bwp@ Berufs- und Wirtschaftspädagogik - online, no. 30 (2017).
LibreCat
| Download (ext.)
2017 | Book | LibreCat-ID: 5978
Kückmann, Marie-Ann, and H.-Hugo Kremer. Innovationsarena 3i: Handreichung zur multiprofessionellen Teamarbeit (mpT) in der Ausbildungsvorbereitung am Berufskolleg. Paderborn, 2017.
LibreCat
| Download (ext.)