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.
7267 Publications
2018 | Journal Article | LibreCat-ID: 6567
Johannesmann, Sarah, Julia Düchting, Manuel Webersen, Leander Claes, and Bernd Henning. “An Acoustic Waveguide-Based Approach to the Complete Characterisation of Linear Elastic, Orthotropic Material Behaviour.” Tm - Technisches Messen 2018, no. 85 (2018): 478–86. https://doi.org/10.1515/teme-2017-0132.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6568
Johannesmann, Sarah, Tobias Brockschmidt, Friedhelm Rump, Manuel Webersen, Leander Claes, and Bernd Henning. “Acoustic Material Characterization of Prestressed, Plate-Shaped Specimens.” In Sensoren Und Messsysteme, 231–34. VDE Verlag GmbH, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 6577
Webersen, Manuel, Sarah Johannesmann, Julia Düchting, Leander Claes, and Bernd Henning. “Guided Ultrasonic Waves for Determining Effective Orthotropic Material Parameters of Continuous-Fiber Reinforced Thermoplastic Plates.” Ultrasonics 84 (2018): 53–62. https://doi.org/10.1016/j.ultras.2017.10.005.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6578
Webersen, Manuel, Sarah Johannesmann, Julia Düchting, Leander Claes, and Bernd Henning. “Akustische Charakterisierung Der Richtungsabhängigen Elastischen Eigenschaften Faserverstärkter Kunststoffe.” In Fortschritte Der Akustik - DAGA 2018, 1263–66, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 6584
Feldmann, Nadine, and Bernd Henning. “Efficient Optimisation of Initial Values for Characterising Piezoelectric Material Parameters.” In Fortschritte Der Akustik, 1275–78. München, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 6586
Thiel, Christian, Nadine Feldmann, and Bernd Henning. “Extraction of Interpretable Features from Temporal Measurements Using Approximate Prototypes.” In Sensoren Und Messsysteme 2018, 536–39. VDE Verlag GmbH, 2018.
LibreCat
2018 | Misc | LibreCat-ID: 6593
Claes, Leander, Nadine Feldmann, and Bernd Henning. Materialparameter von Bleihaltigen Und Bleifreien Piezokeramiken Und Ihre Bedeutung in Der Anwendung. PI Ceramic Akademie, Lederhose, 2018.
LibreCat
2018 | Misc | LibreCat-ID: 6594
Claes, Leander, Henning Zeipert, Peter Koppa, Thomas Tröster, and Bernd Henning. Additiv Gefertigte, Akustische Diffusor-Strukturen Für Ultraschallanwendungen. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
LibreCat
2018 | Misc | LibreCat-ID: 6595
Feldmann, Nadine, Benjamin Jurgelucks, Leander Claes, and Bernd Henning. Vollständige Charakterisierung von Piezoelektrischen Scheiben Mit Ringelektroden. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
LibreCat
2018 | Misc | LibreCat-ID: 6596
Webersen, Manuel, Sarah Johannesmann, Tobias Brockschmidt, Friedhelm Rump, Leander Claes, and Bernd Henning. Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
LibreCat
2018 | Book | LibreCat-ID: 6738
Gruber, Hans, and Christian Harteis. Individual and Social Influences on Professional Learning. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-97041-7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6763
Jovanovikj, Ivan, Gregor Engels, Anthony Anjorin, and Stefan Sauer. “Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model.” In Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, edited by Jan Mendling and Haralambos Mouratidis, 133–47. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-92901-9_13.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6828
Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike Wehrheim. “Mechanized Proofs of Opacity: A Comparison of Two Techniques.” Formal Asp. Comput. 30, no. 5 (2018): 597–625. https://doi.org/10.1007/s00165-017-0433-3.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making Linearizability Compositional for Partially Ordered Executions.” In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 110–29, 2018. https://doi.org/10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making Linearizability Compositional for Partially Ordered Executions.” In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 110–29, 2018. https://doi.org/10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 16715
Bittracher, Andreas, Péter Koltai, Stefan Klus, Ralf Banisch, Michael Dellnitz, and Christof Schütte. “Transition Manifolds of Complex Metastable Systems.” Journal of Nonlinear Science 28 (2018): 471–512. https://doi.org/10.1007/s00332-017-9415-0.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
Engels, Gregor, Günter W. Maier, Sonja K. Ötting, Eckhard Steffen, and Alexander Teetz. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.” In Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, edited by Steffen Wischmann and Ernst Andreas Hartmann, 221–31. Berlin, Heidelberg: Springer Verlag, 2018. https://doi.org/10.1007/978-3-662-49266-6_16.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Validity of Software Verification Results on Approximate Hardware.” IEEE Embedded Systems Letters, 2018, 22–25. https://doi.org/10.1109/LES.2017.2758200.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, Richard. Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available