en
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.
3969 Publications
2019 | Bachelorsthesis | LibreCat-ID: 15747
Wördenweber NC. On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model.; 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 15920
Keerthipati M. A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Paderborn University; 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 15874
Lienen C. Implementing a Real-Time System on a Platform FPGA Operated with ReconOS. Universität Paderborn; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 8240
Dräxler S, Karl H. SPRING: Scaling, Placement, and Routing of Heterogeneous Services with Flexible Structures. In: 5th IEEE International Conference on Network Softwarization (NetSoft) 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 7689
Riebler H, Vaz GF, Kenter T, Plessl C. Transparent Acceleration for Heterogeneous Platforms with Compilation to OpenCL (to appear). ACM Trans Archit Code Optim (TACO). 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 8543
Strothmann TF. Förderung von Kreativität in studentischen Kleingruppenprojekten in der Informatik – Ein Prototyping-basierter Ansatz. die hochschullehre. 2019.
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 8795
Peuster M, Küttner H, Karl H. A flow handover protocol to support state migration in softwarized networks. International Journal of Network Management. 2019. doi:10.1002/nem.2067
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 8113
Peuster M, Dröge C, Boos C, Karl H. Joint testing and profiling of microservice-based network services using TTCN-3. ICT Express. 2019. doi:10.1016/j.icte.2019.02.001
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 10096
Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR. 2019;abs/1905.08505.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
Webersen M, Hüttner M, Woitschek F, Moritzer E, Henning B. Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere. In: Deutsche Gesellschaft für Akustik e.V. (DEGA), ed. Fortschritte der Akustik - DAGA 2019. ; 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10306
Porzenheim LA. Post-Quantum Secure Group Signatures.; 2019.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop S. Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine.; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10091
König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi:10.1007/978-3-030-20652-9\_18
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 10596
Schütze O, Cuate O, Martín A, Peitz S, Dellnitz M. Pareto Explorer: a global/local exploration tool for many-objective optimization problems. Engineering Optimization. 2019:1-24. doi:10.1080/0305215x.2019.1617286
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 12871
Platzner M, Plessl C. FPGAs im Rechenzentrum. Informatik Spektrum. 2019. doi:10.1007/s00287-019-01187-w
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 12908
Hammer M, Ebers L, Förstner J. Oblique quasi-lossless excitation of a thin silicon slab waveguide: a guided-wave variant of an anti-reflection coating. Journal of the Optical Society of America B. 2019. doi:10.1364/josab.36.002395
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 12876
Kurz G, Gilitschenski I, Pfaff F, et al. Directional Statistics and Filtering Using libDirectional. In: Journal of Statistical Software 89(4). ; 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10577
Witschen LM, Ghasemzadeh Mohammadi H, Artmann M, Platzner M. Jump Search: A Fast Technique for the Synthesis of Approximate Circuits. In: Proceedings of the 2019 on Great Lakes Symposium on VLSI - GLSVLSI ’19. New York, NY, USA: ACM; 2019. doi:10.1145/3299874.3317998
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10281
Feldotto M, Lenzner P, Molitor L, Skopalik A. From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation. In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. International Foundation for Autonomous Agents and Multiagent Systems; 2019:1949--1951.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 10325
Peuster M, Marchetti M, García de Blas G, Karl H. Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing. EURASIP Journal on Wireless Communications and Networking. 2019. doi:10.1186/s13638-019-1493-2
LibreCat
| Files available
| DOI
| Download (ext.)