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.
2331 Publications
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
2019 | Conference Paper | LibreCat-ID: 16223
Groth S, Schmitt C, Teich J, Hannig F. SYCL Code Generation for Multigrid Methods. In: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES ’19. ; 2019. doi:10.1145/3323439.3323984
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16251
Müller O. Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier. In: The Art of Structuring. ; 2019. doi:10.1007/978-3-030-06234-7_29
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16271
Claes L, Johannesmann S, Baumhögger E, Henning B. Quantification of frequency-dependent absorption phenomena. In: 2019 International Congress on Ultrasonics. ; 2019. doi:10.1121/2.0001043
LibreCat
| DOI