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.
1967 Publications
2019 | Conference Paper | LibreCat-ID: 15976
@inproceedings{Akbulut Irmak_Hanses_Schweizer_Tröster_2019, title={Modeling the Energy Absorption Characteristics of Wood Crash Elements}, author={Akbulut Irmak, Emine Fulya and Hanses, Julius and Schweizer, Swetlana and Tröster, Thomas}, year={2019} }
LibreCat
2019 | Report | LibreCat-ID: 16029
@book{Marten_Tröster_2019, place={Düsseldorf}, title={Einsatz neuartiger Stähle und Generierung gradierter Leichtbaustrukturen im Presshärteprozess}, publisher={Forschungsvereinigung Stahlanwendung e.V. im Stahl Zentrum, P920, Verlag und Vertriebsgesellschaft mbH}, author={Marten, Thorsten and Tröster, Thomas}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 16030
@inproceedings{Triebus_Bienia_Marten_Tröster_Dröder_2019, title={Press Hardening Integrated Structuring for Hybrid Components}, publisher={Verlag Wissenschaftliche Scripten}, author={Triebus, Marcel and Bienia, S. and Marten, Thorsten and Tröster, Thomas and Dröder, K.}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 16076
@inproceedings{Hetkämper_Claes_Henning_2019, title={Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers}, DOI={10.1121/2.0001110}, booktitle={2019 International Congress on Ultrasonics}, author={Hetkämper, Tim and Claes, Leander and Henning, Bernd}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16113
@article{Tiedau_Bartley_Harder_Lita_Nam_Gerrits_Silberhorn_2019, title={Scalability of parametric down-conversion for generating higher-order Fock states}, DOI={10.1103/physreva.100.041802}, journal={Physical Review A}, author={Tiedau, Johannes and Bartley, Tim and Harder, Georg and Lita, Adriana E. and Nam, Sae Woo and Gerrits, Thomas and Silberhorn, Christine}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16215
@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Verifying Correctness of Persistent Concurrent Data Structures}, volume={11800}, DOI={10.1007/978-3-030-30942-8\_12}, booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, publisher={Springer}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, editor={H. ter Beek, Maurice and McIver, Annabelle and N. Oliveira, Jos{\’{e}}Editors}, year={2019}, pages={179–195}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16216
@article{Russo_Schürr_Wehrheim_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-019-00495-y}, number={5}, journal={Formal Asp. Comput.}, author={Russo, Alessandra and Schürr, Andy and Wehrheim, Heike}, year={2019}, pages={457–458} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-018-00477-6}, number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16223
@inproceedings{Groth_Schmitt_Teich_Hannig_2019, title={SYCL Code Generation for Multigrid Methods}, DOI={10.1145/3323439.3323984}, booktitle={Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES ’19}, author={Groth, Stefan and Schmitt, Christian and Teich, Jürgen and Hannig, Frank}, year={2019} }
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16251
@inbook{Müller_2019, title={Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier}, DOI={10.1007/978-3-030-06234-7_29}, booktitle={The Art of Structuring}, author={Müller, Oliver}, year={2019} }
LibreCat
| DOI