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
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 | Preprint | LibreCat-ID: 18018
Bengs V, Holzmann H. Uniform approximation in classical weak convergence theory. arXiv:190309864. 2019.
LibreCat
 

2019 | Dissertation | LibreCat-ID: 8080
Feldotto M. Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games. Universität Paderborn; 2019. doi:10.17619/UNIPB/1-588
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 19446
Drude L, Heitkaemper J, Boeddeker C, Haeb-Umbach R. 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
Pfannschmidt K, Gupta P, Hüllermeier E. Learning Choice Functions: Concepts and Architectures. arXiv:190110860. 2019.
LibreCat
 

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

2019 | Mastersthesis | LibreCat-ID: 15920
Keerthipati M. A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Universität Paderborn; 2019.
LibreCat
 

2019 | Dissertation | LibreCat-ID: 13126
Khaluf L. Organic Programming of Dynamic Real-Time Applications. Universität Paderborn; 2019.
LibreCat
 

2019 | Newspaper Article | LibreCat-ID: 20366
Koldewey C, Reinhold J, Willmes G, Michels JS. Smart Service-Innovationen - Gewusst wie. markt & wirtschaft westfalen - Das Wirtschaftsmagazin für zukunftsorientierte Unternehmer. 2019.
LibreCat
 

2019 | Newspaper Article | LibreCat-ID: 20342
Kahl B, Kogan Y, Menzefricke JS. Servicerobotik kooperativ entwickeln. Computer & Automation. 2019:58-61.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 20532
Piskachev G, Nguyen Quang Do L, Johnson O, Bodden E. 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
Stockmann L, Laux S, Bodden E. Architectural Runtime Verification. In: 2019 IEEE International Conference on Software Architecture Companion (ICSA-C). ; 2019:77-84. doi:10.1109/ICSA-C.2019.00021
LibreCat | DOI | Download (ext.)
 

2019 | Report | LibreCat-ID: 20537
Piskachev G, Nguyen L, Bodden E. Codebase-Adaptive Detection of Security-Relevant Methods.; 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: 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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed