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 | Journal Article | LibreCat-ID: 17762
R. Haeb-Umbach, “Lektionen für Alexa \& Co?!,” forschung, vol. 44, no. 1, pp. 12–15, 2019.
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 10091
J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, 2019, vol. 11460, pp. 263–279.
LibreCat | DOI
 

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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed