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.
5786 Publications
2018 | Bachelorsthesis | LibreCat-ID: 5403
Geromel, M. (2018). Mobile Facility Leasing. Universität Paderborn.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5404
Kolpaczki, P. I. (2018). Online Algorithmen für das k-Page Migration Problem. Universität Paderborn.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 5414
Filmwala, T. (2018). Study Effects of Approximation on Conjugate Gradient Algorithm and Accelerate it on FPGA Platform. Universität Paderborn.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 5421
Gadewar, O. (2018). Programmable Programs? - Designing FPGA Overlay Architectures with OpenCL. Universität Paderborn.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5426
von Heißen, O. (2018). Implementierung und Analyse von Searchable Encryption.
LibreCat
2018 | Conference Paper | LibreCat-ID: 5438
Gjøsteen, K., & Jager, T. (2018). Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange. In Advances in Cryptology - CRYPTO 2018 - 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2018, Proceedings, Part II. https://doi.org/10.1007/978-3-319-96881-0_4
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 5442
Jager, T., Kakvi, S., & May, A. (2018). On the Security of the PKCS#1 v1.5 Signature Scheme. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS ’18. ACM Press. https://doi.org/10.1145/3243734.3243798
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 5530
Jazayeri, B., Zimmermann, O., Küster, J., Engels, G., Kundisch, D., & Szopinski, D. (2018). Patterns of Store-oriented Software Ecosystems: Detection, Classification, and Analysis of Design Options. In The Latin American Conference on Pattern Languages of Programs (SLPLoP). Valparaíso, Chile: ACM. To appear.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 5547
Lösch, A., & Platzner, M. (2018). A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes. In 2018 IEEE 29th International Conference on Application-specific Systems, Architectures and Processors (ASAP). Milan, Italy: IEEE. https://doi.org/10.1109/asap.2018.8445098
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 6483 | 
Peuster, M., Schneider, S. B., Christ, F., & Karl, H. (2018). A Prototyping Platform to Validate and Verify Network Service Header-based Service Chains. In IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN) 5GNetApp. Verona: IEEE.
LibreCat
| Files available
2018 | Report | LibreCat-ID: 6485 |
Rosa, R. V., Rothenberg, C. E., Peuster, M., & Karl, H. (n.d.). Methodology for VNF Benchmarking Automation. IETF.
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 6516
Mertens, J. C., Boschmann, A., Schmidt, M., & Plessl, C. (2018). Sprint diagnostic with GPS and inertial sensor fusion. Sports Engineering, 21(4), 441–451. https://doi.org/10.1007/s12283-018-0291-0
LibreCat
| Files available
| DOI
2018 | Dissertation | LibreCat-ID: 6597
Juhnke, J. (2018). Models and Constructions for Secure Reputation Systems. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-570
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 669
Feldotto, M., Leder, L., & Skopalik, A. (2018). Congestion games with mixed objectives. Journal of Combinatorial Optimization, 36(4), 1145–1167. https://doi.org/10.1007/s10878-017-0189-y
LibreCat
| Files available
| DOI
| arXiv
2018 | Journal Article | LibreCat-ID: 6743
Wolters, D. (2018). Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken. die hochschullehre, (4).
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6761
Jovanovikj, I., Narasimhan, V., Engels, G., & Sauer, S. (2018). Context-specific Quality Evaluation of Test Cases. In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, (pp. 594–601). Madeira, Portugal: SciTePress. https://doi.org/10.5220/0006724405940601
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6763
Jovanovikj, I., Engels, G., Anjorin, A., & Sauer, S. (2018). Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model. In J. Mendling & H. Mouratidis (Eds.), Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs (pp. 133–147). Cham: Springer International Publishing. 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. (2018). Mechanized proofs of opacity: a comparison of two techniques. Formal Asp. Comput., 30(5), 597–625. https://doi.org/10.1007/s00165-017-0433-3
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
LibreCat
| DOI