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
@article{Merten_Seemann_Wever_2019, title={Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff}, number={142}, journal={Niederdeutsches Jahrbuch}, author={Merten, Marie-Luis and Seemann, Nina and Wever, Marcel Dominik}, year={2019}, pages={124–146} }
LibreCat
 

2019 | Journal Article | LibreCat-ID: 17762
@article{Haeb-Umbach_2019, title={Lektionen für Alexa \& Co?!}, volume={44}, DOI={10.1002/fors.201970104}, number={1}, journal={forschung}, author={Haeb-Umbach, Reinhold}, year={2019}, pages={12–15} }
LibreCat | DOI
 

2019 | Preprint | LibreCat-ID: 18018
@article{Bengs_Holzmann_2019, title={Uniform approximation in classical weak convergence theory}, journal={arXiv:1903.09864}, author={Bengs, Viktor and Holzmann, Hajo}, year={2019} }
LibreCat
 

2019 | Dissertation | LibreCat-ID: 8080
@book{Feldotto_2019, place={Universität Paderborn}, title={Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games}, DOI={10.17619/UNIPB/1-588}, author={Feldotto, Matthias}, year={2019} }
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 19446
@article{Drude_Heitkaemper_Boeddeker_Haeb-Umbach_2019, title={SMS-WSJ: Database, performance measures, and baseline recipe for multi-channel source separation and recognition}, journal={ArXiv e-prints}, author={Drude, Lukas and Heitkaemper, Jens and Boeddeker, Christoph and Haeb-Umbach, Reinhold}, year={2019} }
LibreCat | Files available
 

2019 | Preprint | LibreCat-ID: 19523
@article{Pfannschmidt_Gupta_Hüllermeier_2019, title={Learning Choice Functions: Concepts and Architectures}, journal={arXiv:1901.10860}, author={Pfannschmidt, Karlson and Gupta, Pritha and Hüllermeier, Eyke}, year={2019} }
LibreCat
 

2019 | Newspaper Article | LibreCat-ID: 17402
@article{Koldewey_Dumitrescu_2019, title={Strategie als Erfolgsfaktor}, number={4}, journal={ServiceToday}, author={Koldewey, Christian and Dumitrescu, Roman}, year={2019}, pages={76–77} }
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 15920
@book{Keerthipati_2019, title={A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking}, publisher={Universität Paderborn}, author={Keerthipati, Monica}, year={2019} }
LibreCat
 

2019 | Dissertation | LibreCat-ID: 13126
@book{Khaluf_2019, title={Organic Programming of Dynamic Real-Time Applications}, publisher={Universität Paderborn}, author={Khaluf, Lial}, year={2019} }
LibreCat
 

2019 | Newspaper Article | LibreCat-ID: 20366
@article{Koldewey_Reinhold_Willmes_Michels_2019, title={Smart Service-Innovationen - Gewusst wie}, journal={markt & wirtschaft westfalen - Das Wirtschaftsmagazin für zukunftsorientierte Unternehmer}, author={Koldewey, Christian and Reinhold, Jannik and Willmes, Georg and Michels, Jan Stefan}, year={2019} }
LibreCat
 

2019 | Newspaper Article | LibreCat-ID: 20342
@article{Kahl_Kogan_Menzefricke_2019, title={Servicerobotik kooperativ entwickeln}, volume={9–2019}, journal={Computer & Automation}, author={Kahl, Björn and Kogan, Yevgen and Menzefricke, Jörn Steffen}, year={2019}, pages={58–61} }
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 20532
@inproceedings{Piskachev_Nguyen Quang Do_Johnson_Bodden_2019, title={SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods}, booktitle={IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track}, author={Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric}, year={2019} }
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 20525
@inproceedings{Stockmann_Laux_Bodden_2019, title={Architectural Runtime Verification}, DOI={10.1109/ICSA-C.2019.00021}, booktitle={2019 IEEE International Conference on Software Architecture Companion (ICSA-C)}, author={Stockmann, Lars and Laux, Sven and Bodden, Eric}, year={2019}, pages={77–84} }
LibreCat | DOI | Download (ext.)
 

2019 | Report | LibreCat-ID: 20537
@book{Piskachev_Nguyen_Bodden_2019, title={Codebase-Adaptive Detection of Security-Relevant Methods}, author={Piskachev, Goran and Nguyen, Lisa and Bodden, Eric}, year={2019} }
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10091
@inproceedings{König_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Data Independence for Software Transactional Memory}, volume={11460}, DOI={10.1007/978-3-030-20652-9\_18}, booktitle={{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}, publisher={Springer}, author={König, Jürgen and Wehrheim, Heike}, editor={M. Badger, Julia and Yvonne Rozier, KristinEditors}, year={2019}, pages={263–279}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10096
@article{Beyer_Wehrheim_2019, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={abs/1905.08505}, journal={CoRR}, author={Beyer, Dirk and Wehrheim, Heike}, year={2019} }
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10135
@inproceedings{Webersen_Hüttner_Woitschek_Moritzer_Henning_2019, title={Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere}, booktitle={Fortschritte der Akustik - DAGA 2019}, author={Webersen, Manuel and Hüttner, Matthias and Woitschek, Fabian and Moritzer, Elmar and Henning, Bernd}, editor={Deutsche Gesellschaft für Akustik e.V. (DEGA)Editor}, year={2019} }
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10577
@inproceedings{Witschen_Ghasemzadeh Mohammadi_Artmann_Platzner_2019, place={New York, NY, USA}, title={Jump Search: A Fast Technique for the Synthesis of Approximate Circuits}, DOI={10.1145/3299874.3317998}, booktitle={Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19}, publisher={ACM}, author={Witschen, Linus Matthias and Ghasemzadeh Mohammadi, Hassan and Artmann, Matthias and Platzner, Marco}, year={2019} }
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10281
@inproceedings{Feldotto_Lenzner_Molitor_Skopalik_2019, title={ From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation}, booktitle={Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems}, publisher={International Foundation for Autonomous Agents and Multiagent Systems}, author={Feldotto, Matthias and Lenzner, Pascal and Molitor, Louise and Skopalik, Alexander}, year={2019}, pages={1949--1951} }
LibreCat | Files available | Download (ext.)
 

2019 | Mastersthesis | LibreCat-ID: 10306
@book{Porzenheim_2019, title={Post-Quantum Secure Group Signatures}, author={Porzenheim, Laurens Alexander}, year={2019} }
LibreCat | Files available
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed