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.

2173 Publications


2017 | Journal Article | LibreCat-ID: 90
Incremental Inductive Verification of Parameterized Timed Systems
T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 91
How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.
LibreCat | Files available
 

2017 | Conference Abstract | LibreCat-ID: 92
How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Bosch Business Model Innovation Summit 2017, 2017.
LibreCat | Files available
 

2017 | Book Chapter | LibreCat-ID: 93
Guesswork? Resolving Vagueness in User-Generated Software Requirements
M. Geierhos, F.S. Bäumer, in: H. Christiansen, M.D. Jiménez-López, R. Loukanova, L.S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., Cambridge Scholars Publishing, Newcastle upon Tyne, UK, 2017, pp. 65–108.
LibreCat | Files available
 

2017 | Bachelorsthesis | LibreCat-ID: 94
Geschäftsmodelle elektronischer Handelsplattformen
M. Martens, Geschäftsmodelle elektronischer Handelsplattformen, Universität Paderborn, 2017.
LibreCat
 

2017 | Encyclopedia Article | LibreCat-ID: 95
Geschäftsmodell-Modellierungssprache/Business Model Modeling Language
D. Kundisch, T. John, in: Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.
LibreCat | Files available
 

2017 | Journal Article | LibreCat-ID: 9514
Volumetric Generation of Optical Vortices with Metasurfaces
L. Huang, X. Song, B. Reineke, T. Li, X. Li, J. Liu, S. Zhang, Y. Wang, T. Zentgraf, ACS Photonics (2017) 338–346.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 77
On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten
D. Szopinski, B. Jazayeri, G. Engels, D. Kundisch, in: Proceedings of the Workshop Enterprise Architecture Management in Forschung Und Praxis, INFORMATIK 2017, Chemnitz, Germany, GI, 2017, pp. 2059–2066.
LibreCat | Files available
 

2017 | Conference (Editor) | LibreCat-ID: 7749
Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science
J. Carmona , G. Engels, A. Kumar, eds., Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science, Springer, 2017.
LibreCat
 

2017 | Conference (Editor) | LibreCat-ID: 7750
Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297
J. Carmona , G. Engels, A. Kumar, eds., Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297, Springer, 2017.
LibreCat
 

2017 | Book (Editor) | LibreCat-ID: 7751
Message from the IoT-ASAP Chairs
R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, G. Engels, eds., Message from the IoT-ASAP Chairs, 2017.
LibreCat | DOI
 

2017 | Conference (Editor) | LibreCat-ID: 7754
Mensch und Computer 2017 - Usability Professionals. Tagungsband
S. Hess, H.G. Fischer, eds., Mensch Und Computer 2017 - Usability Professionals. Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Regensburg, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 7755
Towards systematic spreadsheet construction processes
J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, 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, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 7767 | OA
Sinnkonstruktion beim Erkunden von Mustern und Strukturen
J. Schumacher, in: U. Kortenkamp, A. Kuzle (Eds.), Beiträge zum Mathematikunterricht 2017, WTM-Verlag, Münster, 2017.
LibreCat | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 78
On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture
B. Jazayeri, S. Schwichtenberg, in: Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, Gothenburg, Sweden, 2017, pp. 120--127.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 79
Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), Springer, 2017, pp. 207–222.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 8073
Concept-Based Engineering of Situation-Specific Migration Methods
M. Grieger, M. Fazal-Baqaie, G. Engels, M. Klenke, in: Software Engineering 2017, 2017, pp. 65–66.
LibreCat
 

2017 | Mastersthesis | LibreCat-ID: 81
MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained
L. Luo, MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained, Universität Paderborn, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 82
Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 8225
Systematic spreadsheet construction processes
J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, IEEE, 2017, pp. 123–127.
LibreCat | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 83
Microsoft vs. the EU Commission - An analysis on product bundeling
D. Uden, Microsoft vs. the EU Commission - An Analysis on Product Bundeling, Universität Paderborn, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 5692 | OA
Algorithms for Max-Min Share Fair Allocation of Indivisible Chores
H. Aziz, G. Rauchecker, G. Schryen, T. Walsh, in: Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), 2017, pp. 1–7.
LibreCat | Files available
 

2017 | Bachelorsthesis | LibreCat-ID: 5694
Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies
N.N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies, Universität Paderborn, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 5695
On the Necessity of an Architecture Framework for On-The-Fly Computing
B. Jazayeri, S. Schwichtenberg, in: Proceedings of Softwaretechnik-Trends Workshops, Gesellschaft für Informatik eV, Fachgruppe PARS, Bad Honnef, Germany, 2017.
LibreCat | Files available
 

2017 | Conference Paper | LibreCat-ID: 57
Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements
F.S. Bäumer, M. Dollmann, M. Geierhos, in: F. Sarro, E. Shihab, M. Nagappan, M.C. Platenius, D. Kaimann (Eds.), Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics, ACM, New York, NY, USA, 2017, pp. 19–25.
LibreCat | Files available | DOI
 

2017 | Conference Abstract | LibreCat-ID: 5722
jPL: A Java-based Software Framework for Preference Learning
P. Gupta, A. Hetzer, T. Tornede, S. Gottschalk, A. Kornelsen, S. Osterbrink, K. Pfannschmidt, E. Hüllermeier, in: 2017.
LibreCat
 

2017 | Mastersthesis | LibreCat-ID: 5724
Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction
A. Hetzer, T. 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
Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation
P. Holzinger, B. Hermann, J. Lerch, E. Bodden, M. Mezini, in: 2017 IEEE Symposium on Security and Privacy (SP), IEEE, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5726
Hermes: assessment and creation of effective test corpora
M. Reif, M. Eichberg, B. Hermann, M. Mezini, in: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2017, ACM Press, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5727
SootKeeper: runtime reusability for modular static analysis
F. Kübler, P. Müller, B. Hermann, in: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2017, ACM Press, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5739
Self-adaptive UIs: Integrated Model-Driven Development of UIs and Their Adaptations
E. Yigitbas, H. Stahl, S. Sauer, G. Engels, in: 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–141.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5740
Adapt-UI: an IDE supporting model-driven development of self-adaptive UIs
E. Yigitbas, S. Sauer, G. Engels, in: Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017, 2017, pp. 99–104.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5741
Model-Driven Context Management for Self-adaptive User Interfaces
E. Yigitbas, S. Grün, S. Sauer, G. Engels, in: Ubiquitous Computing and Ambient Intelligence - 11th International Conference, UCAmI 2017, Philadelphia, PA, USA, November 7-10, 2017, Proceedings, 2017, pp. 624–635.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5769
Policy Dependent and Independent Information Flow Analyses
M. Töws, H. Wehrheim, in: Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–378.
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 58 | OA
Specification, Composition, and Placement of Network Services with Flexible Structures
S. Dräxler, H. Karl, International Journal of Network Management (2017) 1--16.
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 5800
Editorial zur Ausgabe 33: Entwicklungsbezogene (Praxis-)Forschung
T. Tramm, H.-H. Kremer, G. Reinmann, bwp@ Berufs- und Wirtschaftspädagogik - online (2017) 1–5.
LibreCat | Download (ext.)
 

2017 | Book Chapter | LibreCat-ID: 5802
"Quo vadis Wirtschaftspädagogik": Lehrerbildung für Berufskollegs zwischen akademischem Anspruch und Verwaltungslogiken
H.-H. Kremer, P.F.E. Sloane, in: C. Sureth-Sloane (Ed.), Die Fakultät für Wirtschaftswissenschaften an der Universität Paderborn: Zeitzeugen geben Einblicke in den Werdegang ihrer Fakultät, Detmold, 2017, pp. 248–262.
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 5806
Praxisphasen als Studienelement. Professionalisierung durch Forschendes Lernen
H.-H. Kremer, in: J. Wang, X. Feng, J. Rützel (Eds.), Berufsschullehrerbildung in der Volksrepublik China und in der Bundesrepublik Deutschland. Professionalisierung - Kompetenzen - Herausforderungen, Shanghai, 2017, pp. 157–181.
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 5807
Teaching under and in inequality in German Vocational Schools
H.-H. Kremer, in: S. Natale, A. Libertella (Eds.), Wealth Equity Dynamics: Economics and Education Challenges, New York, 2017, pp. 47–67.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 5808
Steuerung aus der Mitte: Relevanz und Methoden einer Rollenschärfung des mittleren Managements am Berufskolleg
H.-H. Kremer, H. Kundisch, Bwp@ Berufs- Und Wirtschaftspädagogik - Online (2017) 1–20.
LibreCat | Download (ext.)
 

2017 | Book Chapter | LibreCat-ID: 5810
Praxissemester in berufs- und wirtschaftspädagogischen Studiengängen
H.-H. Kremer, U. Weyland, in: R. Schüssler, A. Schöning, V. Schwier, S. Schicht, J. Gold, U. Weyland (Eds.), Forschendes Lernen im Praxissemester. Zugänge, Konzepte, Erfahrungen, Bad Heilbrunn, 2017, pp. 206–214.
LibreCat
 

2017 | Book | LibreCat-ID: 5811
Mittlere Leitungsebene an Berufskollegs. Eine kollegiale Weiterbildung zur Rollenschärfung in Auseinandersetzung mit Handlungsfeldern der Bildungsarbeit
H. Kundisch, H.-H. 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
XDAI-A: Framework for Enabling Cross-Device Integration of Android Apps
D. Wolters, J. Kirchhoff, C. Gerth, G. Engels, in: K. Drira, H. Wang, Q. Yu, Y. Wang, Y. Yan, F. Charoy, J. Mendling, M. Mohamed, Z. Wang, S. Bhiri (Eds.), Service-Oriented Computing -- ICSOC 2016 Workshops, Springer International Publishing, Cham, 2017, pp. 203–206.
LibreCat | DOI
 

2017 | Book Chapter | LibreCat-ID: 5896
VEMINT mobile with Apps: Der gezielte Einsatz von mobilen Endgeräten in einem Mathematik-Vorkurs unter Verwendung der multimedialen VEMINT-Materialien
L. Kempen, T. Wassong, in: R. Kordts-Freudinger, D. Al-Kabbani, N. Schaper (Eds.), Hochschuldidaktik Im Dialog. Beiträge Der Jahrestagung Der Deutschen Gesellschaft Für Hochschuldidaktik (Dghd) 2015, wbv, Bielefeld, 2017, pp. 15–40.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 59
Sharing is Caring: Multiprocessor Scheduling with a Sharable Resource
P. Kling, A. Mäcker, S. Riechers, A. Skopalik, in: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 123--132.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 5914
Multiobjective Optimal Control Methods for the Development of an Intelligent Cruise Control
M. Dellnitz, J. Eckstein, K. Flaßkamp, P. Friedel, C. Horenkamp, U. Köhler, S. Ober-Blöbaum, S. Peitz, S. Tiemeyer, in: Progress in Industrial Mathematics at ECMI 2014 , Springer International Publishing, Cham, 2017, pp. 633–641.
LibreCat | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 5946
Outsourcing und Qualität im Supply Chain - Eine Gleichgewichtsanalyse
S. Kühn, Outsourcing Und Qualität Im Supply Chain - Eine Gleichgewichtsanalyse, Universität Paderborn, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 5950
Crowdfunding Plattformen als Vermittler auf zweiseitigen Märkten - Eine mikroökonomische Analyse
J. Gunning, Crowdfunding Plattformen Als Vermittler Auf Zweiseitigen Märkten - Eine Mikroökonomische Analyse, Universität Paderborn, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 5975
Entwicklungsbezogene Praxisforschung
T. Tramm, H.-H. Kremer, G. Reinmann, bwp@ Berufs- und Wirtschaftspädagogik - online (2017).
LibreCat | Download (ext.)
 

2017 | Book | LibreCat-ID: 5978
Innovationsarena 3i: Handreichung zur multiprofessionellen Teamarbeit (mpT) in der Ausbildungsvorbereitung am Berufskolleg
M.-A. Kückmann, H.-H. Kremer, Innovationsarena 3i: Handreichung zur multiprofessionellen Teamarbeit (mpT) in der Ausbildungsvorbereitung am Berufskolleg, Paderborn, 2017.
LibreCat | Download (ext.)
 

Filters and Search Terms

year=2017

Search

Filter Publications

Display / Sort

Export / Embed