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.

10111 Publications


2017 | Conference Paper | LibreCat-ID: 22865
Drewel M, Gausemeier J, Kluge A, Pierenkemper C. Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft. In: Bodden E, Dressler F, Dumitrescu R, et al., eds. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369. Vol 369. ; 2017:53-66.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 22866
Fechtelpeter C, Bansmann M, Dumitrescu R, Anacker H. Implementation planning and transfer of technology induced scenarios of digitized work. In: Presentation and Proceedings, Technology Transfer Society (T2S) Annual Conference, 2017. ; 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 22867
Westermann T, Anacker H, Dumitrescu R. Reifegradmodell für die Planung von Cyber-Physical Systems. In: Bodden E, Dressler F, Dumitrescu R, et al., eds. Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369. ; 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 22868
Reinhart F, Kühn A, Dumitrescu R. Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau. In: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),. Heinz Nixdorf MuseumsForum; 2017:321-334.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 22869
Roßmann J, Schluse M, Rast M, et al. Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der Raumfahrt. In: Wissenschaftsforum Intelligente Technische Systeme (WinTeSys). Paderborn; 2017.
LibreCat
 

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

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

2017 | Conference (Editor) | LibreCat-ID: 7749
Carmona J, Engels G, Kumar A, 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 J, Engels G, Kumar A, 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 R, Christin Platenius M, Becker S, Persson P, Engels G, eds. Message from the IoT-ASAP Chairs.; 2017. doi:10.1109/ICSAW.2017.67
LibreCat | DOI
 

2017 | Conference (Editor) | LibreCat-ID: 7754
Hess S, Fischer HG, 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 J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. Towards systematic spreadsheet construction processes. 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. doi:10.1109/icse-c.2017.141
LibreCat | DOI
 

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

2017 | Conference Paper | LibreCat-ID: 79
Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. 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). Vol 10787. Lecture Notes in Computer Science. Springer; 2017:207-222. doi:10.1007/978-3-319-89441-6
LibreCat | Files available | DOI
 

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

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

2017 | Conference Paper | LibreCat-ID: 82
Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity. In: Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW). LNCS. ; 2017:139-150. doi:10.1007/978-3-319-59605-1_13
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 8225
Mendes J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. 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. IEEE; 2017:123-127. doi:http://dx.doi.org/10.1109/VLHCC.2017.8103459
LibreCat | DOI
 

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

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

Filters and Search Terms

isbn%3D978-0-9981331-5-7

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed