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.
7269 Publications
2018 | Journal Article | LibreCat-ID: 6562
@article{Feldmann_Jurgelucks_Claes_Schulze_Henning_Walther_2018, title={An inverse approach to the characterisation of material parameters of piezoelectric discs with triple-ring-electrodes}, volume={86}, DOI={10.1515/teme-2018-0066}, number={2}, journal={tm - Technisches Messen}, publisher={Walter de Gruyter GmbH}, author={Feldmann, Nadine and Jurgelucks, Benjamin and Claes, Leander and Schulze, Veronika and Henning, Bernd and Walther, Andrea}, year={2018}, pages={59–65} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6567
@article{Johannesmann_Düchting_Webersen_Claes_Henning_2018, title={An acoustic waveguide-based approach to the complete characterisation of linear elastic, orthotropic material behaviour}, volume={2018}, DOI={10.1515/teme-2017-0132}, number={85}, journal={tm - Technisches Messen}, author={Johannesmann, Sarah and Düchting, Julia and Webersen, Manuel and Claes, Leander and Henning, Bernd}, year={2018}, pages={478–486} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6568
@inproceedings{Johannesmann_Brockschmidt_Rump_Webersen_Claes_Henning_2018, title={Acoustic material characterization of prestressed, plate-shaped specimens}, booktitle={Sensoren und Messsysteme}, publisher={VDE Verlag GmbH}, author={Johannesmann, Sarah and Brockschmidt, Tobias and Rump, Friedhelm and Webersen, Manuel and Claes, Leander and Henning, Bernd}, year={2018}, pages={231–234} }
LibreCat
2018 | Journal Article | LibreCat-ID: 6577
@article{Webersen_Johannesmann_Düchting_Claes_Henning_2018, title={Guided ultrasonic waves for determining effective orthotropic material parameters of continuous-fiber reinforced thermoplastic plates}, volume={84}, DOI={10.1016/j.ultras.2017.10.005}, journal={Ultrasonics}, author={Webersen, Manuel and Johannesmann, Sarah and Düchting, Julia and Claes, Leander and Henning, Bernd}, year={2018}, pages={53–62} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6578
@inproceedings{Webersen_Johannesmann_Düchting_Claes_Henning_2018, title={Akustische Charakterisierung der richtungsabhängigen elastischen Eigenschaften faserverstärkter Kunststoffe}, booktitle={Fortschritte der Akustik - DAGA 2018}, author={Webersen, Manuel and Johannesmann, Sarah and Düchting, Julia and Claes, Leander and Henning, Bernd}, year={2018}, pages={1263–1266} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 6584
@inproceedings{Feldmann_Henning_2018, place={München}, title={Efficient optimisation of initial values for characterising piezoelectric material parameters}, booktitle={Fortschritte der Akustik}, author={Feldmann, Nadine and Henning, Bernd}, year={2018}, pages={1275–1278} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 6586
@inproceedings{Thiel_Feldmann_Henning_2018, title={Extraction of Interpretable Features from Temporal Measurements using Approximate Prototypes}, booktitle={Sensoren und Messsysteme 2018}, publisher={VDE Verlag GmbH}, author={Thiel, Christian and Feldmann, Nadine and Henning, Bernd}, year={2018}, pages={536–539} }
LibreCat
2018 | Misc | LibreCat-ID: 6593
@book{Claes_Feldmann_Henning_2018, place={PI Ceramic Akademie, Lederhose}, title={Materialparameter von bleihaltigen und bleifreien Piezokeramiken und ihre Bedeutung in der Anwendung}, author={Claes, Leander and Feldmann, Nadine and Henning, Bernd}, year={2018} }
LibreCat
2018 | Misc | LibreCat-ID: 6594
@book{Claes_Zeipert_Koppa_Tröster_Henning_2018, place={Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck}, title={Additiv gefertigte, akustische Diffusor-Strukturen für Ultraschallanwendungen}, author={Claes, Leander and Zeipert, Henning and Koppa, Peter and Tröster, Thomas and Henning, Bernd}, year={2018} }
LibreCat
2018 | Misc | LibreCat-ID: 6595
@book{Feldmann_Jurgelucks_Claes_Henning_2018, place={Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck}, title={Vollständige Charakterisierung von piezoelektrischen Scheiben mit Ringelektroden}, author={Feldmann, Nadine and Jurgelucks, Benjamin and Claes, Leander and Henning, Bernd}, year={2018} }
LibreCat
2018 | Misc | LibreCat-ID: 6596
@book{Webersen_Johannesmann_Brockschmidt_Rump_Claes_Henning_2018, place={Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck}, title={Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren}, author={Webersen, Manuel and Johannesmann, Sarah and Brockschmidt, Tobias and Rump, Friedhelm and Claes, Leander and Henning, Bernd}, year={2018} }
LibreCat
2018 | Book | LibreCat-ID: 6738
@book{Gruber_Harteis_2018, place={Cham}, title={Individual and Social Influences on Professional Learning}, DOI={10.1007/978-3-319-97041-7}, publisher={Springer International Publishing}, author={Gruber, Hans and Harteis, Christian}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6763
@inproceedings{Jovanovikj_Engels_Anjorin_Sauer_2018, place={Cham}, title={Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model}, DOI={https://doi.org/10.1007/978-3-319-92901-9_13}, booktitle={Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs}, publisher={Springer International Publishing}, author={Jovanovikj, Ivan and Engels, Gregor and Anjorin, Anthony and Sauer, Stefan}, editor={Mendling, Jan and Mouratidis, HaralambosEditors}, year={2018}, pages={133–147} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6828
@article{Derrick_Doherty_Dongol_Schellhorn_Travkin_Wehrheim_2018, title={Mechanized proofs of opacity: a comparison of two techniques}, volume={30}, DOI={10.1007/s00165-017-0433-3}, number={5}, journal={Formal Asp. Comput.}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, year={2018}, pages={597–625} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Making Linearizability Compositional for Partially Ordered Executions}, DOI={10.1007/978-3-319-98938-9\_7}, booktitle={Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={110–129} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Making Linearizability Compositional for Partially Ordered Executions}, DOI={10.1007/978-3-319-98938-9\_7}, booktitle={Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={110–129} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 16715
@article{Bittracher_Koltai_Klus_Banisch_Dellnitz_Schütte_2018, title={Transition Manifolds of Complex Metastable Systems}, volume={28}, DOI={10.1007/s00332-017-9415-0}, journal={Journal of Nonlinear Science}, author={Bittracher, Andreas and Koltai, Péter and Klus, Stefan and Banisch, Ralf and Dellnitz, Michael and Schütte, Christof}, year={2018}, pages={471–512} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
@inbook{Engels_Maier_Ötting_Steffen_Teetz_2018, place={Berlin, Heidelberg}, title={Gerechtigkeit in flexiblen Arbeits- und Managementprozessen}, DOI={10.1007/978-3-662-49266-6_16}, booktitle={Zukunft der Arbeit – Eine praxisnahe Betrachtung}, publisher={Springer Verlag}, author={Engels, Gregor and Maier, Günter W. and Ötting, Sonja K. and Steffen, Eckhard and Teetz, Alexander}, editor={Wischmann, Steffen and Hartmann, Ernst AndreasEditors}, year={2018}, pages={221–231} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1043
@article{Isenberg_Jakobs_Pauck_Wehrheim_2018, title={Validity of Software Verification Results on Approximate Hardware}, DOI={10.1109/LES.2017.2758200}, journal={IEEE Embedded Systems Letters}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike}, year={2018}, pages={22–25} }
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
@book{Leer_2018, title={Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis}, publisher={Universität Paderborn}, author={Leer, Richard}, year={2018} }
LibreCat
| Files available