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.
7290 Publications
2015 | Conference Paper | LibreCat-ID: 283
Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: A. Egyed, I. Schaefer (Eds.), Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat
| Files available
| DOI
M. Czech, M.-C. Jakobs, H. Wehrheim, in: A. Egyed, I. Schaefer (Eds.), Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
2015 | Journal Article | LibreCat-ID: 28304
Planning and Optimisation of Manufacturing Process Chains for Functionally Graded Components – Part 2: Case Study on Self-reinforced Thermoplastic Composites
D. Biermann, J. Gausemeier, H.-P. Heim, S. Hess, M. Petersen, A. Ries, T. Wagner, Production Engineering Research & Development 9(3) (2015) 405–416.
LibreCat
D. Biermann, J. Gausemeier, H.-P. Heim, S. Hess, M. Petersen, A. Ries, T. Wagner, Production Engineering Research & Development 9(3) (2015) 405–416.
2015 | Journal Article | LibreCat-ID: 28312
BUSINESS MODEL PATTERNS FOR DISRUPTIVE TECHNOLOGIES
B. Amshoff, C. Dülme, J. Echterfeld, J. Gausemeier, International Journal of Innovation Management 19(3) (2015).
LibreCat
B. Amshoff, C. Dülme, J. Echterfeld, J. Gausemeier, International Journal of Innovation Management 19(3) (2015).
2015 | Conference Paper | LibreCat-ID: 28321
Wissensaufbereitung und -bereitstellung durch Ontologien im Lebenszyklus von Produktionssystemen
M. Petersen, G. Rehage, J. Gausemeier, F. Bauer, in: J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, A. Trächtler (Eds.), Wissenschafts- und Industrieforum 2015 Intelligente Technische Systeme - 10. Paderborner Workshop Entwurf mechatronischer Systeme, Nr. 343, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 189–209.
LibreCat
M. Petersen, G. Rehage, J. Gausemeier, F. Bauer, in: J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, A. Trächtler (Eds.), Wissenschafts- und Industrieforum 2015 Intelligente Technische Systeme - 10. Paderborner Workshop Entwurf mechatronischer Systeme, Nr. 343, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 189–209.
2015 | Conference Paper | LibreCat-ID: 28322
Automatische Ableitung geometrischer Eigenschaften von Bauteilen aus dem 3-D-Polygonmodell
C. Jähn, M. Fischer, M. Gerges, J. Berssenbrügge, in: 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Band 342, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 107–120.
LibreCat
C. Jähn, M. Fischer, M. Gerges, J. Berssenbrügge, in: 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Band 342, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 107–120.
2015 | Conference Paper | LibreCat-ID: 28326
Industrie 4.0 – Dezentralisierung bestehender Produktionssysteme durch kostengünstige Einplatinenrechner
M. Petersen, J. Gausemeier, D. Köchling, M. Schneider, M. Wellpott, in: 24. Deutscher Materialfluss-Kongress Mit VDI-Konferenz Shuttle in Der Logistik, VDI-Berichte, Band 2234, VDI-Gesellschaft Produktion und Logistik, VDI Wissensforum, 2015, pp. 249–265.
LibreCat
M. Petersen, J. Gausemeier, D. Köchling, M. Schneider, M. Wellpott, in: 24. Deutscher Materialfluss-Kongress Mit VDI-Konferenz Shuttle in Der Logistik, VDI-Berichte, Band 2234, VDI-Gesellschaft Produktion und Logistik, VDI Wissensforum, 2015, pp. 249–265.
2015 | Journal Article | LibreCat-ID: 284
IRIS: A Robust Information System Against Insider DoS Attacks
M. Eikel, C. Scheideler, Transactions on Parallel Computing (2015) 18:1--18:33.
LibreCat
| Files available
| DOI
M. Eikel, C. Scheideler, Transactions on Parallel Computing (2015) 18:1--18:33.
2015 | Conference Paper | LibreCat-ID: 285
Incremental Inductive Verification of Parameterized Timed Systems
T. Isenberg, in: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
LibreCat
| Files available
| DOI
T. Isenberg, in: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
2015 | Journal Article | LibreCat-ID: 28596
Preparing teachers for schooling in the digital age: A meta-perspective on existing strategies and future challenges
O. Erstad, B. Eickelmann, K. Eichhorn, Education and Information Technologies 20 (2015) 641–654.
LibreCat
| DOI
O. Erstad, B. Eickelmann, K. Eichhorn, Education and Information Technologies 20 (2015) 641–654.
2015 | Conference Paper | LibreCat-ID: 24073
IT-Unterstützung in Emergency Management & Response
C. Erfurth, J. Pottebaum, in: D.W. Cunningham, P. Hofstedt, K. Meer, I. Schmitt (Eds.), 45. Jahrestagung Der Gesellschaft Für Informatik, Informatik 2015, Informatik, Energie Und Umwelt, 28. September - 2. Oktober 2015 in Cottbus, Deutschland, GI, 2015, pp. 1141–1142.
LibreCat
C. Erfurth, J. Pottebaum, in: D.W. Cunningham, P. Hofstedt, K. Meer, I. Schmitt (Eds.), 45. Jahrestagung Der Gesellschaft Für Informatik, Informatik 2015, Informatik, Energie Und Umwelt, 28. September - 2. Oktober 2015 in Cottbus, Deutschland, GI, 2015, pp. 1141–1142.
2015 | Conference Paper | LibreCat-ID: 241
Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures
C. Scheideler, A. Setzer, T.F. Strothmann, in: Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015.
LibreCat
| Files available
| DOI
C. Scheideler, A. Setzer, T.F. Strothmann, in: Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015.
2015 | Conference Paper | LibreCat-ID: 242
Towards a Universal Approach for the Finite Departure Problem in Overlay Networks
A. Koutsopoulos, C. Scheideler, T.F. Strothmann, in: Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2015, pp. 201–216.
LibreCat
| Files available
| DOI
A. Koutsopoulos, C. Scheideler, T.F. Strothmann, in: Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2015, pp. 201–216.
2015 | Conference Paper | LibreCat-ID: 243
The impact of communication patterns on distributed locally self-adjusting binary search trees
T.F. Strothmann, in: Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), 2015, pp. 175--186.
LibreCat
| Files available
| DOI
T.F. Strothmann, in: Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), 2015, pp. 175--186.
2015 | Conference Paper | LibreCat-ID: 245
Systematically Deriving Quality Metrics for Cloud Computing Systems
M. Becker, S. Lehrig, S. Becker, in: Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, New York, NY, USA, 2015, pp. 169--174.
LibreCat
| Files available
| DOI
M. Becker, S. Lehrig, S. Becker, in: Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, New York, NY, USA, 2015, pp. 169--174.
2015 | Dissertation | LibreCat-ID: 246
Systematic Development and Re-Use of Model Tranformations
G. Besova, Systematic Development and Re-Use of Model Tranformations, Universität Paderborn, 2015.
LibreCat
| Files available
G. Besova, Systematic Development and Re-Use of Model Tranformations, Universität Paderborn, 2015.
2015 | Journal Article | LibreCat-ID: 260
Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures
F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, S. Kounev, Transactions on Software Engineering (2015) 157--175.
LibreCat
| Files available
| DOI
F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, S. Kounev, Transactions on Software Engineering (2015) 157--175.
2015 | Book Chapter | LibreCat-ID: 26119
Process Development of a Liquid-Liquid Phase Transfer of Colloidal Particles for Production of High-Quality Organosols
J.V. Erler, S. Machunsky, S. Franke, P. Grimm, H.-J. Schmid, U.A. Peuker, in: Colloid Process Engineering, Cham, 2015.
LibreCat
| DOI
J.V. Erler, S. Machunsky, S. Franke, P. Grimm, H.-J. Schmid, U.A. Peuker, in: Colloid Process Engineering, Cham, 2015.
2015 | Conference Paper | LibreCat-ID: 262
Programs from Proofs of Predicated Dataflow Analyses
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
LibreCat
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
2015 | Conference Paper | LibreCat-ID: 26436
CETUS - A Baseline Approach to Type Extraction
M. Röder, R. Usbeck, R. Speck, A.-C. Ngonga Ngomo, in: F. Gandon, E. Cabrio, M. Stankovic, A. Zimmermann (Eds.), Semantic Web Evaluation Challenges - Second SemWebEval Challenge at {ESWC} 2015, Portoro{\v{z}}, Slovenia, May 31 - June 4, 2015, Revised Selected Papers, Springer, 2015, pp. 16–27.
LibreCat
| DOI
M. Röder, R. Usbeck, R. Speck, A.-C. Ngonga Ngomo, in: F. Gandon, E. Cabrio, M. Stankovic, A. Zimmermann (Eds.), Semantic Web Evaluation Challenges - Second SemWebEval Challenge at {ESWC} 2015, Portoro{\v{z}}, Slovenia, May 31 - June 4, 2015, Revised Selected Papers, Springer, 2015, pp. 16–27.
2015 | Conference Paper | LibreCat-ID: 26438
Evaluating Entity Annotators Using GERBIL
R. Usbeck, M. Röder, A.-C. Ngonga Ngomo, in: F. Gandon, C. Guéret, S. Villata, J. G. Breslin, C. Faron-Zucker, A. Zimmermann (Eds.), The Semantic Web: {ESWC} 2015 Satellite Events - {ESWC} 2015 Satellite Events Portoro{\v{z}}, Slovenia, May 31 - June 4, 2015, Revised Selected Papers, Springer, 2015, pp. 159–164.
LibreCat
| DOI
R. Usbeck, M. Röder, A.-C. Ngonga Ngomo, in: F. Gandon, C. Guéret, S. Villata, J. G. Breslin, C. Faron-Zucker, A. Zimmermann (Eds.), The Semantic Web: {ESWC} 2015 Satellite Events - {ESWC} 2015 Satellite Events Portoro{\v{z}}, Slovenia, May 31 - June 4, 2015, Revised Selected Papers, Springer, 2015, pp. 159–164.