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.
4523 Publications
2019 | Conference Paper | LibreCat-ID: 15261
Lugovtsova Y, Johannesmann S, Henning B, Prager J. Analysis of Lamb wave mode repulsion and its implications to the characterisation of adhesive bonding strength. In: 2019 International Congress on Ultrasonics. Proceedings of Meetings on Acoustics. Bruges: Acoustical Society of America; 2019. doi:10.1121/2.0001074
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 15002
Waegeman W, Dembczynski K, Hüllermeier E. Multi-target prediction: a unifying view on problems and methods. Data Mining and Knowledge Discovery. 2019;33(2):293-324. doi:10.1007/s10618-018-0595-5
LibreCat
| Files available
| DOI
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 | Conference Paper | LibreCat-ID: 15014
Hüllermeier E, Couso I, Diestercke S. Learning from Imprecise Data: Adjustments of Optimistic and Pessimistic Variants. In: Proceedings SUM 2019, International Conference on Scalable Uncertainty Management. ; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15583
Schmidt A-K, Schulte C. Das RetiBNE Café. In: Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund. ; 2019:315-324. doi:10.18420/infos2019-c17
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14819
Heinovski J, Stratmann L, Buse DS, et al. Modeling Cycling Behavior to Improve Bicyclists’ Safety at Intersections - A Networking Perspective. In: 2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM). ; 2019. doi:10.1109/wowmom.2019.8793008
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14826
Kanda N, Boeddeker C, Heitkaemper J, Fujita Y, Horiguchi S, Haeb-Umbach R. Guided Source Separation Meets a Strong ASR Backend: Hitachi/Paderborn University Joint Investigation for Dinner Party ASR. In: INTERSPEECH 2019, Graz, Austria. ; 2019.
LibreCat
| Files available
2019 | Preprint | LibreCat-ID: 16295
Gebken B, Peitz S. Inverse multiobjective optimization: Inferring decision criteria from data. arXiv:190106141. 2019.
LibreCat
| Download (ext.)
2019 | Preprint | LibreCat-ID: 16341
Brandt S, Jähn C, Fischer M, Meyer auf der Heide F. Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels. arXiv:190408225. 2019.
LibreCat
| Download (ext.)
| arXiv
2019 | Mastersthesis | LibreCat-ID: 15920
Keerthipati M. A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Paderborn University; 2019.
LibreCat
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 | Conference Paper | LibreCat-ID: 15792
Nelus A, Ebbers J, Haeb-Umbach R, Martin R. Privacy-preserving Variational Information Feature Extraction for Domestic Activity Monitoring Versus Speaker Identification. In: INTERSPEECH 2019, Graz, Austria. ; 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 15812
Heymann J, Khe Chai Sim BL. Improving CTC Using Stimulated Learning for Sequence Modeling. In: ICASSP 2019, Brighton, UK. ; 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 15641
Schlichtig M, Opel SA, Schulte C, et al. Maschinelles Lernen im Unterricht mit Jupyter Notebook. In: INFOS. Vol P-288. LNI. Gesellschaft für Informatik; 2019:385.
LibreCat
2019 | Preprint | LibreCat-ID: 16853
Witschen LM, Ghasemzadeh Mohammadi H, Artmann M, Platzner M. Jump Search: A Fast Technique for the Synthesis of Approximate Circuits. Fourth Workshop on Approximate Computing (AxC 2019).
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 3585
Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Microelectronics Reliability. 2019;99:277-290. doi:10.1016/j.microrel.2019.04.003
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 3287
Schneider SB, Sharma A, Karl H, Wehrheim H. Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM). Washington, DC, USA: IFIP; 2019:116--124.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 6976
Götte T, Vijayalakshmi VR, Scheideler C. Always be Two Steps Ahead of Your Enemy - Maintaining a Routable Overlay under Massive Churn with an Almost Up-to-date Adversary. In: Proceedings of the 2019 IEEE 33rd International Parallel and Distributed Processing Symposium (IPDPS ’19). IEEE.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 7626
Schubert P, Hermann B, Bodden E. PhASAR: An Inter-Procedural Static Analysis Framework for C/C++. In: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019). Vol II. ; 2019:393-410. doi:10.1007/978-3-030-17465-1_22
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 7669
Josifovska K, Yigitbas E, Engels G. A Digital Twin-Based Multi-Modal UI Adaptation Framework for Assistance Systems in Industry 4.0 . In: Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019). Vol 11568. Springer, LNCS; 2019:398-409.
LibreCat
2019 | Misc | LibreCat-ID: 8112
Maaz MU, Sprenger A, Hellebrand S. A Hybrid Space Compactor for Varying X-Rates. Prien am Chiemsee: 31. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’19); 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 8080
Feldotto M. Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games. Paderborn; 2019. doi:10.17619/UNIPB/1-588
LibreCat
| Files available
| DOI
| Download (ext.)
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 | 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
2019 | Book (Editor) | LibreCat-ID: 13139
Rezat S, Fan L, Hattermann M, Schumacher J, Wuschke H, eds. Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany. Paderborn: Universitätsbibliothek Paderborn; 2019. doi:10.17619/UNIPB/1-768
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13141
Weidmann N, Anjorin A, Robrecht P, Varró G. Incremental (Unidirectional) Model Transformation with eMoflon::IBeX. In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings. ; 2019:131-140. doi:10.1007/978-3-030-23611-3\_8
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 11950
Boschmann A, Agne A, Thombansen G, Witschen LM, Kraus F, Platzner M. Zynq-based acceleration of robust high density myoelectric signal processing. Journal of Parallel and Distributed Computing. 2019;123:77-89. doi:10.1016/j.jpdc.2018.07.004
LibreCat
| 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 | 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 | 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 | Journal Article | LibreCat-ID: 12890
Drude L, Haeb-Umbach R. Integration of Neural Networks and Probabilistic Spatial Models for Acoustic Blind Source Separation. IEEE Journal of Selected Topics in Signal Processing. 2019. doi:10.1109/JSTSP.2019.2912565
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13874
Isenberg T, Jakobs M-C, Pauck F, Wehrheim H. When Are Software Verification Results Valid for Approximate Hardware? In: Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. ; 2019:3-20. doi:10.1007/978-3-030-31157-5\_1
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13937
Meyer auf der Heide F. Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln. Mathematische Semesterberichte. 2019;66(2):259-260. doi:10.1007/s00591-019-00249-0
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13557
Blömer J, Löken N. Dynamic Searchable Encryption with Access Control. In: 12th International Symposium on Foundations and Practice of Security, FPS 2019. Vol 12056. LNCS. Springer; 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15332
Schlichtig M, Opel SA, Budde L, Schulte C. Understanding Artificial Intelligence – A Project for the Development of Comprehensive Teaching Material. In: Jasutė E, Pozdniakov S, eds. ISSEP 2019 - 12th International Conference on Informatics in Schools: Situation, Evaluation and Perspectives, Local Proceedings. Vol 12. ; 2019:65-73.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15375
Müller M, Behnke D, Bök P-B, Schneider SB, Peuster M, Karl H. Putting NFV into Reality: Physical Smart Manufacturing Testbed. In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN). Dallas: IEEE; 2019.
LibreCat