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.
7530 Publications
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 | 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 | 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 | Book Chapter | LibreCat-ID: 16938
Engels G, Maier GW, Ötting SK, Steffen E, Teetz A. Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In: Wischmann S, Hartmann EA, eds. Zukunft Der Arbeit – Eine Praxisnahe Betrachtung. Berlin, Heidelberg: Springer Verlag; 2018:221-231. doi: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. Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters. 2018:22-25. doi:10.1109/LES.2017.2758200
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer R. 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 JN. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn; 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1060
Neumann J, Gutt D, Kundisch D, van Straaten D. When Local Praise Becomes Cheap Talk - Analyzing the Relationship between Reviewer Location and Usefulness of Online Reviews. In: Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany. ; 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1061
Gutt D. Sorting Out the Lemons - Identifying Product Failures in Online Reviews and their Relationship with Sales. In: Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany. ; 2018.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 1063
Stroh-Maraun N, Kaimann D, Cox J. More than skills: A novel matching proposal for multiplayer video games. Entertainment Computing. 2018;25:26-36. doi:10.1016/j.entcom.2017.12.002
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 107
Zimmermann S, Herrmann P, Kundisch D, Nault B. Decomposing the Variance of Consumer Ratings and the Impact on Price and Demand. Information Systems Research. 2018;29(4):984-1002. doi:10.1287/isre.2017.0764
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 1096
Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Reducer-Based Construction of Conditional Verifiers. In: Proceedings of the 40th International Conference on Software Engineering (ICSE). ACM; 2018:1182--1193.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch FP. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn; 2018.
LibreCat