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
T. Marten and T. Tröster, 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
M. Triebus, S. Bienia, T. Marten, T. Tröster, and K. Dröder, “Press Hardening Integrated Structuring for Hybrid Components,” presented at the 7th International Conference on Hot Sheet Metal Forming of High-Performance Steel, Lulea, Sweden, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 16076
T. Hetkämper, L. Claes, and B. Henning, “Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers,” in 2019 International Congress on Ultrasonics, Bruges, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16113
J. Tiedau et al., “Scalability of parametric down-conversion for generating higher-order Fock states,” Physical Review A, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 16215
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “Verifying Correctness of Persistent Concurrent Data Structures,” in Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, vol. 11800, pp. 179–195.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16216
A. Russo, A. Schürr, and H. Wehrheim, “Editorial,” Formal Asp. Comput., vol. 31, no. 5, pp. 457–458, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16217
M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 16223
S. Groth, C. Schmitt, J. Teich, and F. Hannig, “SYCL Code Generation for Multigrid Methods,” in Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems  - SCOPES ’19, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 16251
O. Müller, “Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier,” in The Art of Structuring, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 16271
L. Claes, S. Johannesmann, E. Baumhögger, and B. Henning, “Quantification of frequency-dependent absorption phenomena,” in 2019 International Congress on Ultrasonics, 2019.
LibreCat | DOI
 

Filters and Search Terms

year=2019

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed