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.
9768 Publications
2018 | Conference Paper | LibreCat-ID: 6568
Acoustic material characterization of prestressed, plate-shaped specimens
S. Johannesmann, T. Brockschmidt, F. Rump, M. Webersen, L. Claes, B. Henning, in: Sensoren Und Messsysteme, VDE Verlag GmbH, 2018, pp. 231–234.
LibreCat
S. Johannesmann, T. Brockschmidt, F. Rump, M. Webersen, L. Claes, B. Henning, in: Sensoren Und Messsysteme, VDE Verlag GmbH, 2018, pp. 231–234.
2018 | Journal Article | LibreCat-ID: 6577
Guided ultrasonic waves for determining effective orthotropic material parameters of continuous-fiber reinforced thermoplastic plates
M. Webersen, S. Johannesmann, J. Düchting, L. Claes, B. Henning, Ultrasonics 84 (2018) 53–62.
LibreCat
| DOI
M. Webersen, S. Johannesmann, J. Düchting, L. Claes, B. Henning, Ultrasonics 84 (2018) 53–62.
2018 | Conference Paper | LibreCat-ID: 6578
Akustische Charakterisierung der richtungsabhängigen elastischen Eigenschaften faserverstärkter Kunststoffe
M. Webersen, S. Johannesmann, J. Düchting, L. Claes, B. Henning, in: Fortschritte Der Akustik - DAGA 2018, 2018, pp. 1263–1266.
LibreCat
M. Webersen, S. Johannesmann, J. Düchting, L. Claes, B. Henning, in: Fortschritte Der Akustik - DAGA 2018, 2018, pp. 1263–1266.
2018 | Conference Paper | LibreCat-ID: 6584
Efficient optimisation of initial values for characterising piezoelectric material parameters
N. Feldmann, B. Henning, in: Fortschritte Der Akustik, München, 2018, pp. 1275–1278.
LibreCat
N. Feldmann, B. Henning, in: Fortschritte Der Akustik, München, 2018, pp. 1275–1278.
2018 | Conference Paper | LibreCat-ID: 6586
Extraction of Interpretable Features from Temporal Measurements using Approximate Prototypes
C. Thiel, N. Feldmann, B. Henning, in: Sensoren Und Messsysteme 2018, VDE Verlag GmbH, 2018, pp. 536–539.
LibreCat
C. Thiel, N. Feldmann, B. Henning, in: Sensoren Und Messsysteme 2018, VDE Verlag GmbH, 2018, pp. 536–539.
2018 | Misc | LibreCat-ID: 6593
Materialparameter von bleihaltigen und bleifreien Piezokeramiken und ihre Bedeutung in der Anwendung
L. Claes, N. Feldmann, B. Henning, Materialparameter von Bleihaltigen Und Bleifreien Piezokeramiken Und Ihre Bedeutung in Der Anwendung, PI Ceramic Akademie, Lederhose, 2018.
LibreCat
L. Claes, N. Feldmann, B. Henning, Materialparameter von Bleihaltigen Und Bleifreien Piezokeramiken Und Ihre Bedeutung in Der Anwendung, PI Ceramic Akademie, Lederhose, 2018.
2018 | Misc | LibreCat-ID: 6594
Additiv gefertigte, akustische Diffusor-Strukturen für Ultraschallanwendungen
L. Claes, H. Zeipert, P. Koppa, T. Tröster, B. Henning, Additiv Gefertigte, Akustische Diffusor-Strukturen Für Ultraschallanwendungen, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
LibreCat
L. Claes, H. Zeipert, P. Koppa, T. Tröster, B. Henning, Additiv Gefertigte, Akustische Diffusor-Strukturen Für Ultraschallanwendungen, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
2018 | Misc | LibreCat-ID: 6595
Vollständige Charakterisierung von piezoelektrischen Scheiben mit Ringelektroden
N. Feldmann, B. Jurgelucks, L. Claes, B. Henning, Vollständige Charakterisierung von Piezoelektrischen Scheiben Mit Ringelektroden, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
LibreCat
N. Feldmann, B. Jurgelucks, L. Claes, B. Henning, Vollständige Charakterisierung von Piezoelektrischen Scheiben Mit Ringelektroden, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
2018 | Misc | LibreCat-ID: 6596
Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren
M. Webersen, S. Johannesmann, T. Brockschmidt, F. Rump, L. Claes, B. Henning, Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
LibreCat
M. Webersen, S. Johannesmann, T. Brockschmidt, F. Rump, L. Claes, B. Henning, Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
2018 | Journal Article | LibreCat-ID: 669
Congestion games with mixed objectives
M. Feldotto, L. Leder, A. Skopalik, Journal of Combinatorial Optimization 36 (2018) 1145–1167.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, L. Leder, A. Skopalik, Journal of Combinatorial Optimization 36 (2018) 1145–1167.
2018 | Book | LibreCat-ID: 6738
Individual and Social Influences on Professional Learning
H. Gruber, C. Harteis, Individual and Social Influences on Professional Learning, Springer International Publishing, Cham, 2018.
LibreCat
| DOI
H. Gruber, C. Harteis, Individual and Social Influences on Professional Learning, Springer International Publishing, Cham, 2018.
2018 | Conference Paper | LibreCat-ID: 6763
Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model
I. Jovanovikj, G. Engels, A. Anjorin, S. Sauer, in: J. Mendling, H. Mouratidis (Eds.), Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, Springer International Publishing, Cham, 2018, pp. 133–147.
LibreCat
| DOI
I. Jovanovikj, G. Engels, A. Anjorin, S. Sauer, in: J. Mendling, H. Mouratidis (Eds.), Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, Springer International Publishing, Cham, 2018, pp. 133–147.
2018 | Journal Article | LibreCat-ID: 6828
Mechanized proofs of opacity: a comparison of two techniques
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim, Formal Asp. Comput. 30 (2018) 597–625.
LibreCat
| DOI
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim, Formal Asp. Comput. 30 (2018) 597–625.
2018 | Conference Paper | LibreCat-ID: 6836
Making Linearizability Compositional for Partially Ordered Executions
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat
| DOI
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
2018 | Conference Paper | LibreCat-ID: 6838
Making Linearizability Compositional for Partially Ordered Executions
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat
| DOI
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
2018 | Book Chapter | LibreCat-ID: 16938
Gerechtigkeit in flexiblen Arbeits- und Managementprozessen
G. Engels, G.W. Maier, S.K. Ötting, E. Steffen, A. Teetz, in: S. Wischmann, E.A. Hartmann (Eds.), Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, Springer Verlag, Berlin, Heidelberg, 2018, pp. 221–231.
LibreCat
| DOI
G. Engels, G.W. Maier, S.K. Ötting, E. Steffen, A. Teetz, in: S. Wischmann, E.A. Hartmann (Eds.), Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, Springer Verlag, Berlin, Heidelberg, 2018, pp. 221–231.
2018 | Journal Article | LibreCat-ID: 1043
Validity of Software Verification Results on Approximate Hardware
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters (2018) 22–25.
LibreCat
| Files available
| DOI
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters (2018) 22–25.
2018 | Bachelorsthesis | LibreCat-ID: 1044
Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis
R. Leer, Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis, Universität Paderborn, 2018.
LibreCat
| Files available
R. Leer, Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis, Universität Paderborn, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 1045
Interactive Data Visualization for Exploded Supergraphs
J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018.
LibreCat
| Files available
J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 1060
When Local Praise Becomes Cheap Talk - Analyzing the Relationship between Reviewer Location and Usefulness of Online Reviews
J. Neumann, D. Gutt, D. Kundisch, D. van Straaten, in: Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
LibreCat
| Files available
J. Neumann, D. Gutt, D. Kundisch, D. van Straaten, in: Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.