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.

4638 Publications


2019 | Journal Article | LibreCat-ID: 8667
Sprenger A, Hellebrand S. Divide and Compact - Stochastic Space Compaction for Faster-than-At-Speed Test. Journal of Circuits, Systems and Computers. 2019;28(1):1-23. doi:10.1142/s0218126619400012
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 8833
Jovanovikj I, Yigitbas E, Gerth C, Sauer S, Engels G. Detection and Resolution of Data-Flow Differences in Business Process Models. In: Cappiello C, Ruiz M, eds. Information Systems Engineering in Responsible Information Systems - CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings. Vol 350. ; 2019:145-157.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 8871
Augustine J, Ghaffari M, Gmyr R, et al. Distributed Computation in Node-Capacitated Networks. In: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures. ACM; 2019:69--79. doi:10.1145/3323165.3323195
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 9824
Peuster M, Schneider SB, Zhao M, et al. Introducing Automated Verification and Validation for Virtualized Network Functions and Services. IEEE Communications Magazine. 2019:96-102. doi:10.1109/mcom.2019.1800873
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 9913
Ahmed QA, Wiersema T, Platzner M. Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan. In: Hochberger C, Nelson B, Koch A, Woods R, Diniz P, eds. Applied Reconfigurable Computing. Vol 11444. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2019:127-136. doi:10.1007/978-3-030-17227-5_10
LibreCat | Files available | DOI
 

2019 | Book Chapter | LibreCat-ID: 16966
Kuklinski C, Liebendörfer M, Hochmuth R, et al. Features of innovative lectures that distinguish them from traditional lectures and their evaluation by attending students. In: Proceedings of {CERME} 11. Utrecht; 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 | Files available
 

2019 | Newspaper Article | LibreCat-ID: 17402
Koldewey C, Dumitrescu R. Strategie als Erfolgsfaktor. ServiceToday. 2019:76-77.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15007
Melnikov V, Hüllermeier E. Learning to Aggregate: Tackling the Aggregation/Disaggregation Problem for OWA. In: Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101). ; 2019. doi:10.1016/j.jmva.2019.02.017
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 17565
Merten M-L, Seemann N, Wever MD. Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff. Niederdeutsches Jahrbuch. 2019;(142):124-146.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 17762
Haeb-Umbach R. Lektionen für Alexa \& Co?! forschung. 2019;44(1):12-15. doi:10.1002/fors.201970104
LibreCat | DOI
 

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: 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 | 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 | Mastersthesis | LibreCat-ID: 10306
Porzenheim LA. Post-Quantum Secure Group Signatures.; 2019.
LibreCat | Files available
 

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.)
 

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: 13292
Schneider SB, Peuster M, Hannemann K, et al. “Producing Cloud-Native”: Smart Manufacturing Use Cases on Kubernetes. In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track. Dallas, TX, USA: IEEE; 2019.
LibreCat | Files available
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed