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.
2328 Publications
2019 | Report | LibreCat-ID: 16029
Marten, Thorsten, and Thomas 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
Triebus, Marcel, S. Bienia, Thorsten Marten, Thomas Tröster, and K. Dröder. “Press Hardening Integrated Structuring for Hybrid Components.” Verlag Wissenschaftliche Scripten, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 16076
Hetkämper, Tim, Leander Claes, and Bernd Henning. “Evolutionary Algorithm for the Design of Passive Electric Matching Networks for Ultrasonic Transducers.” In 2019 International Congress on Ultrasonics, 2019. https://doi.org/10.1121/2.0001110.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16113
Tiedau, Johannes, Tim Bartley, Georg Harder, Adriana E. Lita, Sae Woo Nam, Thomas Gerrits, and Christine Silberhorn. “Scalability of Parametric Down-Conversion for Generating Higher-Order Fock States.” Physical Review A, 2019. https://doi.org/10.1103/physreva.100.041802.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16215
Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike 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, edited by Maurice H. ter Beek, Annabelle McIver, and Jos{\’{e}} N. Oliveira, 11800:179–95. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16216
Russo, Alessandra, Andy Schürr, and Heike Wehrheim. “Editorial.” Formal Asp. Comput. 31, no. 5 (2019): 457–58. https://doi.org/10.1007/s00165-019-00495-y.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16223
Groth, Stefan, Christian Schmitt, Jürgen Teich, and Frank Hannig. “SYCL Code Generation for Multigrid Methods.” In Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES ’19, 2019. https://doi.org/10.1145/3323439.3323984.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16251
Müller, Oliver. “Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier.” In The Art of Structuring, 2019. https://doi.org/10.1007/978-3-030-06234-7_29.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16271
Claes, Leander, Sarah Johannesmann, Elmar Baumhögger, and Bernd Henning. “Quantification of Frequency-Dependent Absorption Phenomena.” In 2019 International Congress on Ultrasonics, 2019. https://doi.org/10.1121/2.0001043.
LibreCat
| DOI