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. Mobile Facility Leasing. Universität Paderborn; 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5404
Kolpaczki PI. Online Algorithmen Für Das K-Page Migration Problem. Universität Paderborn; 2018.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 5414
Filmwala T. Study Effects of Approximation on Conjugate Gradient Algorithm and Accelerate It on FPGA Platform. Universität Paderborn; 2018.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 5421
Gadewar O. Programmable Programs? - Designing FPGA Overlay Architectures with OpenCL. Universität Paderborn; 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5426
von Heißen O. Implementierung und Analyse von Searchable Encryption.; 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 5438
Gjøsteen K, Jager T. 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. ; 2018. doi: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. 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; 2018. doi: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. Patterns of Store-oriented Software Ecosystems: Detection, Classification, and Analysis of Design Options. In: The Latin American Conference on Pattern Languages of Programs (SLPLoP). To appear. Valparaíso, Chile: ACM. To appear; 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 5547
Lösch A, Platzner M. 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). IEEE; 2018. doi:10.1109/asap.2018.8445098
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 6483 | 
Peuster M, Schneider SB, Christ F, Karl H. 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; 2018.
LibreCat
| Files available
2018 | Report | LibreCat-ID: 6485 |
Rosa RV, Rothenberg CE, Peuster M, Karl H. Methodology for VNF Benchmarking Automation. IETF
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 6516
Mertens JC, Boschmann A, Schmidt M, Plessl C. Sprint diagnostic with GPS and inertial sensor fusion. Sports Engineering. 2018;21(4):441-451. doi:10.1007/s12283-018-0291-0
LibreCat
| Files available
| DOI
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 | Journal Article | LibreCat-ID: 669
Feldotto M, Leder L, Skopalik A. Congestion games with mixed objectives. Journal of Combinatorial Optimization. 2018;36(4):1145-1167. doi:10.1007/s10878-017-0189-y
LibreCat
| Files available
| DOI
| arXiv
2018 | Journal Article | LibreCat-ID: 6743
Wolters D. Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken. die hochschullehre. 2018;(4).
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6761
Jovanovikj I, Narasimhan V, Engels G, Sauer S. Context-specific Quality Evaluation of Test Cases. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,. SciTePress; 2018:594-601. doi:10.5220/0006724405940601
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