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.
5146 Publications
2019 | Journal Article | LibreCat-ID: 17565
M.-L. Merten, N. Seemann, and M. D. Wever, “Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff,” Niederdeutsches Jahrbuch, no. 142, pp. 124–146, 2019.
LibreCat
2019 | Preprint | LibreCat-ID: 18018
V. Bengs and H. Holzmann, “Uniform approximation in classical weak convergence theory,” arXiv:1903.09864. 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 8080
M. Feldotto, Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games. Universität Paderborn, 2019.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 19446
L. Drude, J. Heitkaemper, C. Boeddeker, and R. Haeb-Umbach, “SMS-WSJ: Database, performance measures, and baseline recipe for multi-channel source separation and recognition,” ArXiv e-prints, 2019.
LibreCat
| Files available
2019 | Preprint | LibreCat-ID: 19523
K. Pfannschmidt, P. Gupta, and E. Hüllermeier, “Learning Choice Functions: Concepts and Architectures,” arXiv:1901.10860. 2019.
LibreCat
2019 | Newspaper Article | LibreCat-ID: 17402
C. Koldewey and R. Dumitrescu, “Strategie als Erfolgsfaktor,” ServiceToday, no. 4, pp. 76–77, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 15920
M. Keerthipati, A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Universität Paderborn, 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
L. Khaluf, Organic Programming of Dynamic Real-Time Applications. Universität Paderborn, 2019.
LibreCat
2019 | Newspaper Article | LibreCat-ID: 20366
C. Koldewey, J. Reinhold, G. Willmes, and J. S. Michels, “Smart Service-Innovationen - Gewusst wie,” markt & wirtschaft westfalen - Das Wirtschaftsmagazin für zukunftsorientierte Unternehmer, 2019.
LibreCat
2019 | Newspaper Article | LibreCat-ID: 20342
B. Kahl, Y. Kogan, and J. S. Menzefricke, “Servicerobotik kooperativ entwickeln,” Computer & Automation, vol. 9–2019, pp. 58–61, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20532
G. Piskachev, L. Nguyen Quang Do, O. Johnson, and E. Bodden, “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods,” in IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20525
L. Stockmann, S. Laux, and E. Bodden, “Architectural Runtime Verification,” in 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 2019, pp. 77–84.
LibreCat
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
G. Piskachev, L. Nguyen, and E. Bodden, Codebase-Adaptive Detection of Security-Relevant Methods. 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 10096
D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” CoRR, vol. abs/1905.08505, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, and B. Henning, “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere,” in Fortschritte der Akustik - DAGA 2019, Rostock, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10577
L. M. Witschen, H. Ghasemzadeh Mohammadi, M. Artmann, and M. Platzner, “Jump Search: A Fast Technique for the Synthesis of Approximate Circuits,” in Proceedings of the 2019 on Great Lakes Symposium on VLSI - GLSVLSI ’19, Tysons Corner, VA, USA, 2019.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10281
M. Feldotto, P. Lenzner, L. Molitor, and A. Skopalik, “ 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, Montreal QC, Canada, 2019, pp. 1949--1951.
LibreCat
| Files available
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10306
L. A. Porzenheim, Post-Quantum Secure Group Signatures. 2019.
LibreCat
| Files available