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.
2170 Publications
2019 | Mastersthesis | LibreCat-ID: 15946
Mehta J. Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recongurable System-on-Chip.; 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 15950
Akbulut Irmak EF, Tröster T. Fracture prediction of additively manufactured AlSi10Mg materials. Procedia Structural Integrity. 2019:190-197. doi:10.1016/j.prostr.2019.12.101
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15976
Akbulut Irmak EF, Hanses J, Schweizer S, Tröster T. Modeling the Energy Absorption Characteristics of Wood Crash Elements. In: ; 2019.
LibreCat
2019 | Report | LibreCat-ID: 16029
Marten T, Tröster T. Einsatz neuartiger Stähle und Generierung gradierter Leichtbaustrukturen im Presshärteprozess. Düsseldorf: Forschungsvereinigung Stahlanwendung e.V. im Stahl Zentrum, P920, Verlag und Vertriebsgesellschaft mbH; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 16030
Triebus M, Bienia S, Marten T, Tröster T, Dröder K. Press Hardening Integrated Structuring for Hybrid Components. In: Verlag Wissenschaftliche Scripten; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 16076
Hetkämper T, Claes L, Henning B. Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers. In: 2019 International Congress on Ultrasonics. ; 2019. doi:10.1121/2.0001110
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16113
Tiedau J, Bartley T, Harder G, et al. Scalability of parametric down-conversion for generating higher-order Fock states. Physical Review A. 2019. doi:10.1103/physreva.100.041802
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16215
Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. Verifying Correctness of Persistent Concurrent Data Structures. In: H. ter Beek M, McIver A, N. Oliveira J, eds. Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Vol 11800. Lecture Notes in Computer Science. Springer; 2019:179-195. doi:10.1007/978-3-030-30942-8\_12
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16216
Russo A, Schürr A, Wehrheim H. Editorial. Formal Asp Comput. 2019;31(5):457-458. doi:10.1007/s00165-019-00495-y
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput. 2019;31(1):1. doi:10.1007/s00165-018-00477-6
LibreCat
| DOI