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, Marie-Luis, et al. “Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff.” Niederdeutsches Jahrbuch, no. 142, 2019, pp. 124–46.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 17762
Haeb-Umbach, Reinhold. “Lektionen Für Alexa \& Co?!” Forschung, vol. 44, no. 1, 2019, pp. 12–15, doi:10.1002/fors.201970104.
LibreCat | DOI
 

2019 | Preprint | LibreCat-ID: 18018
Bengs, Viktor, and Hajo Holzmann. “Uniform Approximation in Classical Weak Convergence Theory.” ArXiv:1903.09864, 2019.
LibreCat
 

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

2019 | Journal Article | LibreCat-ID: 19446
Drude, Lukas, et al. “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, Karlson, et al. “Learning Choice Functions: Concepts and Architectures.” ArXiv:1901.10860, 2019.
LibreCat
 

2019 | Newspaper Article | LibreCat-ID: 17402
Koldewey, Christian, and Roman Dumitrescu. “Strategie als Erfolgsfaktor.” ServiceToday, no. 4, 2019, pp. 76–77.
LibreCat
 

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

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

2019 | Newspaper Article | LibreCat-ID: 20366
Koldewey, Christian, et al. “Smart Service-Innovationen - Gewusst wie.” markt & wirtschaft westfalen - Das Wirtschaftsmagazin für zukunftsorientierte Unternehmer, 2019.
LibreCat
 

2019 | Newspaper Article | LibreCat-ID: 20342
Kahl, Björn, et al. “Servicerobotik Kooperativ Entwickeln.” Computer & Automation, vol. 9–2019, 2019, pp. 58–61.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 20532
Piskachev, Goran, et al. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 20525
Stockmann, Lars, et al. “Architectural Runtime Verification.” 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 2019, pp. 77–84, doi:10.1109/ICSA-C.2019.00021.
LibreCat | DOI | Download (ext.)
 

2019 | Report | LibreCat-ID: 20537
Piskachev, Goran, et al. Codebase-Adaptive Detection of Security-Relevant Methods. 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9\_18.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10096
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” CoRR, vol. abs/1905.08505, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10135
Webersen, Manuel, et al. “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V. (DEGA), 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10577
Witschen, Linus Matthias, et al. “Jump Search: A Fast Technique for the Synthesis of Approximate Circuits.” Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19, ACM, 2019, doi:10.1145/3299874.3317998.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10281
Feldotto, Matthias, et al. “ From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation.” Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
LibreCat | Files available | Download (ext.)
 

2019 | Mastersthesis | LibreCat-ID: 10306
Porzenheim, Laurens Alexander. Post-Quantum Secure Group Signatures. 2019.
LibreCat | Files available
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed