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.
9797 Publications
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 | 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 | Conference Paper | LibreCat-ID: 6970 | 
Schneider SB, Dräxler S, Karl H. Trade-offs in Dynamic Resource Allocation in Network Function Virtualization. In: IEEE Global Communications Conference (GLOBECOM 2018). IEEE; 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 6972 |
Schneider SB, Peuster M, Karl H. A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms. In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018). IEEE; 2018. doi:10.1109/NFV-SDN.2018.8725795
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6974 |
Schneider SB, Peuster M, Tavernier W, Karl H. A Fully Integrated Multi-Platform NFV SDK. In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018). IEEE; 2018. doi:10.1109/NFV-SDN.2018.8725794
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 16421
Ceissler C, Nepomuceno R, Pereira M, Araujo G. Automatic Offloading of Cluster Accelerators. In: 2018 IEEE 26th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM). ; 2018. doi:10.1109/fccm.2018.00058
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 16923
Harteis C, Fischer C, Töniges T, Wrede B. Do we betray errors beforehand? The use of eye tracking, automated face recognition and computer algorithms to analyse learning from errors. Frontline Learning Research. 2018;6(3):37-56.
LibreCat
2018 | Journal Article | LibreCat-ID: 16924
Harteis C, Kok E, Jarodzka H. The journey to proficiency: Exploring new objective methodologies to capture the process of learning and professional development. . Frontline Learning Research. 2018;6(3):1-5.
LibreCat
2018 | Conference Paper | LibreCat-ID: 16937
Cunha J, Fernandes JP, Kelleher C, Mendes J, Engels G. 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). In: Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018. IEEE; 2018. doi:10.1109/vl/hcc43341.2018
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