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.
10778 Publications
2018 | Conference Paper | LibreCat-ID: 26965
Scale-Up of Garvey-Die Test Setup
V. Schöppner, J. Walter, in: 13. Kautschuk-Herbst-Kolloquium (KHK), 2018.
LibreCat
V. Schöppner, J. Walter, in: 13. Kautschuk-Herbst-Kolloquium (KHK), 2018.
2018 | Conference Paper | LibreCat-ID: 26966
Scale-Up Regeln für Kautschukstiftextruder, Ansätze auf Basis einer konstanten Mischgüte
V. Schöppner, J. Walter, in: Deutsche Kautschuk-Tagung (DKT 2018), 2018.
LibreCat
V. Schöppner, J. Walter, in: Deutsche Kautschuk-Tagung (DKT 2018), 2018.
2018 | Journal Article | LibreCat-ID: 26967
Schweißnahtfestigkeit von Sandwichbauteilen mit einer glasfaserverstärkten Kernkomponente
V. Schöppner, I. Fiebig, Joining Plastics 12 (2018) 87–93.
LibreCat
V. Schöppner, I. Fiebig, Joining Plastics 12 (2018) 87–93.
2018 | Conference Paper | LibreCat-ID: 26968
Self-Optimizing Barrel Temperature Setting Control of Single Screw Extruders for Improving the Melt Quality
V. Schöppner, V. Resonnek, in: 34th International Conference of the Polymer Processing Society (PPS), 2018.
LibreCat
V. Schöppner, V. Resonnek, in: 34th International Conference of the Polymer Processing Society (PPS), 2018.
2018 | Conference Paper | LibreCat-ID: 26969
Spritznieten als neuartige Fügetechnik für Organoblech-Metall-Hybridverbindungen
E. Moritzer, C. Budde, M. Hüttner, D. Krassmann, in: 8. Fügetechnisches Gemeinschaftskolloquium, 2018.
LibreCat
E. Moritzer, C. Budde, M. Hüttner, D. Krassmann, in: 8. Fügetechnisches Gemeinschaftskolloquium, 2018.
2018 | Conference Paper | LibreCat-ID: 26970
Stempelnieten als neuartige Fügetechnik für Organoblech-Metall-Hybridverbindungen
E. Moritzer, C. Budde, M. Hüttner, D. Krassmann, in: 8. Fügetechnisches Gemeinschaftskolloquium, 2018.
LibreCat
E. Moritzer, C. Budde, M. Hüttner, D. Krassmann, in: 8. Fügetechnisches Gemeinschaftskolloquium, 2018.
2018 | Journal Article | LibreCat-ID: 26971
Synergies from the Screw
E. Moritzer, M. Wittke, Kunststoffe International (2018) 34–37.
LibreCat
E. Moritzer, M. Wittke, Kunststoffe International (2018) 34–37.
2018 | Journal Article | LibreCat-ID: 26972
Syngerien aus der Schnecke
E. Moritzer, M. Wittke, Kunststoffe (2018) 69–72.
LibreCat
E. Moritzer, M. Wittke, Kunststoffe (2018) 69–72.
2018 | Conference Paper | LibreCat-ID: 26974
System Integration of the Direct Injection Plasma Treatment for Injection Molding for Subsequent Assembly Processes
E. Moritzer, T. Nordmeyer, in: Joining in Car Body Engineering 2018, 2018.
LibreCat
E. Moritzer, T. Nordmeyer, in: Joining in Car Body Engineering 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 26975
The Influence of Environmental Aging on the Material Properties of Back-Molded Composite Sheets
E. Moritzer, A. Hirsch, M. Hüttner, J. Wächter, in: 34th International Conference of the Polymer Processing Society (PPS), 2018.
LibreCat
E. Moritzer, A. Hirsch, M. Hüttner, J. Wächter, in: 34th International Conference of the Polymer Processing Society (PPS), 2018.
2018 | Conference Paper | LibreCat-ID: 26977
The Influence of Hygrothermal Aging on the Material Properties of Continuous Fiber-Reinforced Thermoplastics
E. Moritzer, M. Hüttner, in: 76th Annual Technical Conference of the Society of Plastics Engineers (ANTEC), 2018.
LibreCat
E. Moritzer, M. Hüttner, in: 76th Annual Technical Conference of the Society of Plastics Engineers (ANTEC), 2018.
2018 | Bachelorsthesis | LibreCat-ID: 3320
Korrektheitsbeweise für Muster von Servicekompositionen
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
LibreCat
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 3362
Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes
A. Lösch, A. Wiens, M. Platzner, in: Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, Cham, 2018, pp. 73–84.
LibreCat
| Files available
| DOI
A. Lösch, A. Wiens, M. Platzner, in: Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, Cham, 2018, pp. 73–84.
2018 | Conference Paper | LibreCat-ID: 3373
An FPGA/HMC-Based Accelerator for Resolution Proof Checking
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
LibreCat
| Files available
| DOI
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
2018 | Journal Article | LibreCat-ID: 3402
On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis
V. Melnikov, E. Hüllermeier, Machine Learning (2018).
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, Machine Learning (2018).
2018 | Conference Paper | LibreCat-ID: 3414
JMCTest: Automatically Testing Inter-Method Contracts in Java
P. Börding, J.F. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Springer, 2018, pp. 39--55.
LibreCat
| Files available
P. Börding, J.F. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Springer, 2018, pp. 39--55.
2018 | Conference Paper | LibreCat-ID: 3422
Breaking the $\tilde\Omega(\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary
P. Robinson, C. Scheideler, A. Setzer, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), n.d.
LibreCat
| Files available
| DOI
P. Robinson, C. Scheideler, A. Setzer, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), n.d.
2018 | Journal Article | LibreCat-ID: 3510 | 
ML-Plan: Automated Machine Learning via Hierarchical Planning
F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018) 1495–1515.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018) 1495–1515.
2018 | Book Chapter | LibreCat-ID: 3536
FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.
LibreCat
| DOI
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.
2018 | Conference Paper | LibreCat-ID: 3550
Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions
B. Jazayeri, O. Zimmermann, G. Engels, J. Küster, D. Kundisch, D. Szopinski, in: Proceeding of International Symposium on Business Modeling and Software Design, Springer, Wien, Austria, 2018, pp. 390–400.
LibreCat
| Files available
| DOI
B. Jazayeri, O. Zimmermann, G. Engels, J. Küster, D. Kundisch, D. Szopinski, in: Proceeding of International Symposium on Business Modeling and Software Design, Springer, Wien, Austria, 2018, pp. 390–400.