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.

9766 Publications


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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2018 | Conference Paper | LibreCat-ID: 1061
Sorting Out the Lemons - Identifying Product Failures in Online Reviews and their Relationship with Sales
D. Gutt, in: Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
LibreCat | Files available
 

2018 | Journal Article | LibreCat-ID: 1063
More than skills: A novel matching proposal for multiplayer video games
N. Stroh-Maraun, D. Kaimann, J. Cox, Entertainment Computing 25 (2018) 26–36.
LibreCat | Files available | DOI
 

2018 | Bachelorsthesis | LibreCat-ID: 1064
Zu den Anreizwirkungen der Kronzeugenregelung - eine wettbewerbspolitische Analyse des Bierkartells
L. Rumert, Zu den Anreizwirkungen der Kronzeugenregelung - eine wettbewerbspolitische Analyse des Bierkartells, Universität Paderborn, 2018.
LibreCat
 

Filters and Search Terms

isbn%3D978-3-88579-686-2

Search

Filter Publications

Display / Sort

Export / Embed