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.
9813 Publications
2016 | Conference Paper | LibreCat-ID: 13152
T. Graf and M. Platzner, “Monte-Carlo Simulation Balancing Revisited,” in IEEE Computational Intelligence and Games, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 132
T. Wiersema and M. Platzner, “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware,” in Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 13215
E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “An Approach to Non-Destructive Testing of Aged Polymers,” presented at the 32nd International Conference of the Polymer Processing Society, Lyon, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 13216
E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Molekularen Schäden auf der Spur,” Kunststoffe, no. 4, pp. 94–96, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 13217
E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Detecting Molecular Damage,” Kunststoffe International, no. 4, pp. 43–45, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 13218
E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Non-destructive characterization of hygrothermally aged polymers,” presented at the ANTEC 2016, Indianapolis, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 13219
E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Ultraschallbasierte Charakterisierung von gealterten Polymeren,” in Jahresmagazin Kunststofftechnik 2016, Institut für Wissenschaftliche Veröffentlichungen, Ed. 2016, pp. 2–7.
LibreCat
2016 | Conference Paper | LibreCat-ID: 13223
M. Webersen, M. Hüttner, F. Bause, E. Moritzer, and B. Henning, “Zerstörungsfreie Charakterisierung des hydrothermischen Alterungsverhaltens von Polymeren,” presented at the 18. GMA/ITG-Fachtagung Sensoren und Messsysteme 2016, Nürnberg, 2016, pp. 683–688.
LibreCat
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 133
M. Dewender, Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
P. Heinisch, Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.
LibreCat