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, Marcel. Mobile Facility Leasing. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5404
Kolpaczki, Patrick Irenäus. Online Algorithmen Für Das K-Page Migration Problem. Universität Paderborn, 2018.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 5414
Filmwala, Tasneem. 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, Onkar. Programmable Programs? - Designing FPGA Overlay Architectures with OpenCL. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5426
von Heißen, Oliver. Implementierung und Analyse von Searchable Encryption. 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 5438
Gjøsteen, Kristian, and Tibor Jager. “Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange.” 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, Tibor, et al. “On the Security of the PKCS#1 v1.5 Signature Scheme.” 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, Bahar, et al. “Patterns of Store-Oriented Software Ecosystems: Detection, Classification, and Analysis of Design Options.” The Latin American Conference on Pattern Languages of Programs (SLPLoP), ACM. To appear, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 5547
Lösch, Achim, and Marco Platzner. “A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes.” 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, Manuel, et al. “A Prototyping Platform to Validate and Verify Network Service Header-Based Service Chains.” IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN) 5GNetApp, IEEE, 2018.
LibreCat
| Files available
2018 | Report | LibreCat-ID: 6485 |
Rosa, Raphael Vicente, et al. Methodology for VNF Benchmarking Automation. IETF.
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 6516
Mertens, Jan Cedric, et al. “Sprint Diagnostic with GPS and Inertial Sensor Fusion.” Sports Engineering, vol. 21, no. 4, Springer Nature, 2018, pp. 441–51, doi:10.1007/s12283-018-0291-0.
LibreCat
| Files available
| DOI
2018 | Dissertation | LibreCat-ID: 6597
Juhnke, Jakob. 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, Matthias, et al. “Congestion Games with Mixed Objectives.” Journal of Combinatorial Optimization, vol. 36, no. 4, Springer Nature, 2018, pp. 1145–67, doi:10.1007/s10878-017-0189-y.
LibreCat
| Files available
| DOI
| arXiv
2018 | Journal Article | LibreCat-ID: 6743
Wolters, Dennis. “Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken.” die hochschullehre, no. 4, 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6761
Jovanovikj, Ivan, et al. “Context-Specific Quality Evaluation of Test Cases.” Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, SciTePress, 2018, pp. 594–601, doi:10.5220/0006724405940601.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6763
Jovanovikj, Ivan, et al. “Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model.” Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, edited by Jan Mendling and Haralambos Mouratidis, Springer International Publishing, 2018, pp. 133–47, doi:https://doi.org/10.1007/978-3-319-92901-9_13.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6828
Derrick, John, et al. “Mechanized Proofs of Opacity: A Comparison of Two Techniques.” Formal Asp. Comput., vol. 30, no. 5, 2018, pp. 597–625, doi:10.1007/s00165-017-0433-3.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
Doherty, Simon, et al. “Making Linearizability Compositional for Partially Ordered Executions.” Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–29, doi:10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, Simon, et al. “Making Linearizability Compositional for Partially Ordered Executions.” Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–29, doi:10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI