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.
7891 Publications
2015 | Conference Paper | LibreCat-ID: 283
M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 28304
D. Biermann et al., “Planning and Optimisation of Manufacturing Process Chains for Functionally Graded Components – Part 2: Case Study on Self-reinforced Thermoplastic Composites,” Production Engineering Research & Development 9(3), pp. 405–416, 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 28312
B. Amshoff, C. Dülme, J. Echterfeld, and J. Gausemeier, “BUSINESS MODEL PATTERNS FOR DISRUPTIVE TECHNOLOGIES,” International Journal of Innovation Management 19(3), 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 28321
M. Petersen, G. Rehage, J. Gausemeier, and F. Bauer, “Wissensaufbereitung und -bereitstellung durch Ontologien im Lebenszyklus von Produktionssystemen,” in Wissenschafts- und Industrieforum 2015 Intelligente Technische Systeme - 10. Paderborner Workshop Entwurf mechatronischer Systeme, Nr. 343, 2015, pp. 189–209.
LibreCat
2015 | Conference Paper | LibreCat-ID: 28322
C. Jähn, M. Fischer, M. Gerges, and J. Berssenbrügge, “Automatische Ableitung geometrischer Eigenschaften von Bauteilen aus dem 3-D-Polygonmodell,” in 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Band 342, 2015, pp. 107–120.
LibreCat
2015 | Conference Paper | LibreCat-ID: 28326
M. Petersen, J. Gausemeier, D. Köchling, M. Schneider, and M. Wellpott, “ Industrie 4.0 – Dezentralisierung bestehender Produktionssysteme durch kostengünstige Einplatinenrechner,” in 24. Deutscher Materialfluss-Kongress mit VDI-Konferenz Shuttle in der Logistik, VDI-Berichte, Band 2234, 2015, pp. 249–265.
LibreCat
2015 | Conference Paper | LibreCat-ID: 285
T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 28596
O. Erstad, B. Eickelmann, and K. Eichhorn, “Preparing teachers for schooling in the digital age: A meta-perspective on existing strategies and future challenges,” Education and Information Technologies, vol. 20, no. 4, pp. 641–654, 2015, doi: 10.1007/s10639-015-9431-3.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 287
P. Wette and H. Karl, “HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks,” in Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 1--7.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 24073
C. Erfurth and J. Pottebaum, “IT-Unterstützung in Emergency Management & Response,” in 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September - 2. Oktober 2015 in Cottbus, Deutschland, 2015, pp. 1141–1142.
LibreCat
2015 | Conference Paper | LibreCat-ID: 242
A. Koutsopoulos, C. Scheideler, and T. F. Strothmann, “Towards a Universal Approach for the Finite Departure Problem in Overlay Networks,” in Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2015, pp. 201–216.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 243
T. F. Strothmann, “The impact of communication patterns on distributed locally self-adjusting binary search trees,” in Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), 2015, pp. 175--186.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 245
M. Becker, S. Lehrig, and S. Becker, “Systematically Deriving Quality Metrics for Cloud Computing Systems,” in Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 2015, pp. 169--174.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 246
G. Besova, Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 247
A. Schwabe and H. Karl, “SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics,” in Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 37–42.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 260
F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, and S. Kounev, “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures,” Transactions on Software Engineering, no. 2, pp. 157--175, 2015.
LibreCat
| Files available
| DOI
2015 | Book Chapter | LibreCat-ID: 26119
J. V. Erler, S. Machunsky, S. Franke, P. Grimm, H.-J. Schmid, and U. A. Peuker, “Process Development of a Liquid-Liquid Phase Transfer of Colloidal Particles for Production of High-Quality Organosols,” in Colloid Process Engineering, Cham, 2015.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 262
M.-C. Jakobs and H. Wehrheim, “Programs from Proofs of Predicated Dataflow Analyses,” in Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 264
P. Wette, Optimizing Software-Defined Networks using Application-Layer Knowledge. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 26429
G. Tsatsaronis et al., “An overview of the BIOASQ large-scale biomedical semantic indexing and question answering competition,” {BMC} Bioinform., vol. 16, p. 138:1-138:28, 2015, doi: 10.1186/s12859-015-0564-6.
LibreCat
| DOI