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.
2292 Publications
2018 | Journal Article | LibreCat-ID: 6567
Johannesmann S, Düchting J, Webersen M, Claes L, Henning B. An acoustic waveguide-based approach to the complete characterisation of linear elastic, orthotropic material behaviour. tm - Technisches Messen. 2018;2018(85):478-486. doi:10.1515/teme-2017-0132
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6568
Johannesmann S, Brockschmidt T, Rump F, Webersen M, Claes L, Henning B. Acoustic material characterization of prestressed, plate-shaped specimens. In: Sensoren Und Messsysteme. VDE Verlag GmbH; 2018:231-234.
LibreCat
2018 | Journal Article | LibreCat-ID: 6577
Webersen M, Johannesmann S, Düchting J, Claes L, Henning B. Guided ultrasonic waves for determining effective orthotropic material parameters of continuous-fiber reinforced thermoplastic plates. Ultrasonics. 2018;84:53-62. doi: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. Akustische Charakterisierung der richtungsabhängigen elastischen Eigenschaften faserverstärkter Kunststoffe. In: Fortschritte Der Akustik - DAGA 2018. ; 2018:1263-1266.
LibreCat
2018 | Conference Paper | LibreCat-ID: 6584
Feldmann N, Henning B. Efficient optimisation of initial values for characterising piezoelectric material parameters. In: Fortschritte Der Akustik. München; 2018:1275-1278.
LibreCat
2018 | Conference Paper | LibreCat-ID: 6586
Thiel C, Feldmann N, Henning B. Extraction of Interpretable Features from Temporal Measurements using Approximate Prototypes. In: Sensoren Und Messsysteme 2018. VDE Verlag GmbH; 2018:536-539.
LibreCat
2018 | Misc | LibreCat-ID: 6593
Claes L, Feldmann N, Henning B. Materialparameter von Bleihaltigen Und Bleifreien Piezokeramiken Und Ihre Bedeutung in Der Anwendung. PI Ceramic Akademie, Lederhose; 2018.
LibreCat
2018 | Misc | LibreCat-ID: 6594
Claes L, Zeipert H, Koppa P, Tröster T, Henning B. Additiv Gefertigte, Akustische Diffusor-Strukturen Für Ultraschallanwendungen. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck; 2018.
LibreCat
2018 | Misc | LibreCat-ID: 6595
Feldmann N, Jurgelucks B, Claes L, Henning B. Vollständige Charakterisierung von Piezoelektrischen Scheiben Mit Ringelektroden. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck; 2018.
LibreCat
2018 | Misc | LibreCat-ID: 6596
Webersen M, Johannesmann S, Brockschmidt T, Rump F, Claes L, Henning B. Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck; 2018.
LibreCat
2018 | Dissertation | LibreCat-ID: 6597
Juhnke J. Models and Constructions for Secure Reputation Systems. Universität Paderborn; 2018. doi:10.17619/UNIPB/1-570
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 669
Feldotto M, Leder L, Skopalik A. Congestion games with mixed objectives. Journal of Combinatorial Optimization. 2018;36(4):1145-1167. doi:10.1007/s10878-017-0189-y
LibreCat
| Files available
| DOI
| arXiv
2018 | Book | LibreCat-ID: 6738
Gruber H, Harteis C. Individual and Social Influences on Professional Learning. Cham: Springer International Publishing; 2018. doi:10.1007/978-3-319-97041-7
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6743
Wolters D. Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken. die hochschullehre. 2018;(4).
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6761
Jovanovikj I, Narasimhan V, Engels G, Sauer S. Context-specific Quality Evaluation of Test Cases. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,. SciTePress; 2018:594-601. doi:10.5220/0006724405940601
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6763
Jovanovikj I, Engels G, Anjorin A, Sauer S. Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model. In: Mendling J, Mouratidis H, eds. Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs. Cham: Springer International Publishing; 2018:133-147. doi: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. Mechanized proofs of opacity: a comparison of two techniques. Formal Asp Comput. 2018;30(5):597-625. doi:10.1007/s00165-017-0433-3
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
Doherty S, Dongol B, Wehrheim H, Derrick J. Making Linearizability Compositional for Partially Ordered Executions. In: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. ; 2018:110-129. doi:10.1007/978-3-319-98938-9\_7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty S, Dongol B, Wehrheim H, Derrick J. Making Linearizability Compositional for Partially Ordered Executions. In: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. ; 2018:110-129. doi:10.1007/978-3-319-98938-9\_7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6839
Doherty S, Dongol B, Wehrheim H, Derrick J. Brief Announcement: Generalising Concurrent Correctness to Weak Memory. In: 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018. ; 2018:45:1-45:3. doi:10.4230/LIPIcs.DISC.2018.45
LibreCat
| DOI