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.
6950 Publications
2018 | Conference Paper | LibreCat-ID: 6568
Johannesmann, S., Brockschmidt, T., Rump, F., Webersen, M., Claes, L., & Henning, B. (2018). Acoustic material characterization of prestressed, plate-shaped specimens. In Sensoren und Messsysteme (pp. 231–234). VDE Verlag GmbH.
LibreCat
2018 | Journal Article | LibreCat-ID: 6577
Webersen, M., Johannesmann, S., Düchting, J., Claes, L., & Henning, B. (2018). Guided ultrasonic waves for determining effective orthotropic material parameters of continuous-fiber reinforced thermoplastic plates. Ultrasonics, 84, 53–62. https://doi.org/10.1016/j.ultras.2017.10.005
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6578
Webersen, M., Johannesmann, S., Düchting, J., Claes, L., & Henning, B. (2018). Akustische Charakterisierung der richtungsabhängigen elastischen Eigenschaften faserverstärkter Kunststoffe. In Fortschritte der Akustik - DAGA 2018 (pp. 1263–1266).
LibreCat
2018 | Conference Paper | LibreCat-ID: 6584
Feldmann, N., & Henning, B. (2018). Efficient optimisation of initial values for characterising piezoelectric material parameters. In Fortschritte der Akustik (pp. 1275–1278). München.
LibreCat
2018 | Conference Paper | LibreCat-ID: 6586
Thiel, C., Feldmann, N., & Henning, B. (2018). Extraction of Interpretable Features from Temporal Measurements using Approximate Prototypes. In Sensoren und Messsysteme 2018 (pp. 536–539). VDE Verlag GmbH.
LibreCat
2018 | Misc | LibreCat-ID: 6593
Claes, L., Feldmann, N., & Henning, B. (2018). Materialparameter von bleihaltigen und bleifreien Piezokeramiken und ihre Bedeutung in der Anwendung. PI Ceramic Akademie, Lederhose.
LibreCat
2018 | Misc | LibreCat-ID: 6594
Claes, L., Zeipert, H., Koppa, P., Tröster, T., & Henning, B. (2018). Additiv gefertigte, akustische Diffusor-Strukturen für Ultraschallanwendungen. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck.
LibreCat
2018 | Misc | LibreCat-ID: 6595
Feldmann, N., Jurgelucks, B., Claes, L., & Henning, B. (2018). Vollständige Charakterisierung von piezoelektrischen Scheiben mit Ringelektroden. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck.
LibreCat
2018 | Misc | LibreCat-ID: 6596
Webersen, M., Johannesmann, S., Brockschmidt, T., Rump, F., Claes, L., & Henning, B. (2018). Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck.
LibreCat
2018 | Book | LibreCat-ID: 6738
Gruber, H., & Harteis, C. (2018). Individual and Social Influences on Professional Learning. Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-97041-7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6763
Jovanovikj, I., Engels, G., Anjorin, A., & Sauer, S. (2018). Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model. In J. Mendling & H. Mouratidis (Eds.), Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs (pp. 133–147). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-92901-9_13
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6828
Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., Travkin, O., & Wehrheim, H. (2018). Mechanized proofs of opacity: a comparison of two techniques. Formal Asp. Comput., 30(5), 597–625. https://doi.org/10.1007/s00165-017-0433-3
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
Engels, G., Maier, G. W., Ötting, S. K., Steffen, E., & Teetz, A. (2018). Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In S. Wischmann & E. A. Hartmann (Eds.), Zukunft der Arbeit – Eine praxisnahe Betrachtung (pp. 221–231). Berlin, Heidelberg: Springer Verlag. https://doi.org/10.1007/978-3-662-49266-6_16
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, R. (2018). Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, J. N. (2018). Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1096
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In Proceedings of the 40th International Conference on Software Engineering (ICSE) (pp. 1182--1193). Gothenburg, Sweden: ACM.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, F. P. (2018). Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn.
LibreCat