@articleFränzle_Kapur_Wehrheim_Zhan_2019, title=Editorial, volume=31, DOI=10.1007/s00165-018-00477-6, number=1, journal=Formal Asp. Comput., author=Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun, year=2019, pages=1 

@inproceedingsJohannesmann_Springer_Thiel_Henning_2019, place=Rostock, title=Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN, volume=45, booktitle=Fortschritte der Akustik - DAGA 2019, publisher=Deutsche Gesellschaft für Akustik, author=Johannesmann, Sarah and Springer, Dimitri and Thiel, Christian and Henning, Bernd, editor=Gesellschaft für Akustik e.V., DeutscheEditor, year=2019, pages=1055–1058 

@articleGries_2019, title=A New Theory of Demand-Restricted Growth: The Basic Idea, DOI=10.1177/0569434519846477, number=056943451984647, journal=The American Economist, author=Gries, Thomas, year=2019 

@inproceedingsKö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 

@inproceedingsDoherty_Dongol_Wehrheim_Derrick_2019, title=Verifying10.1145/3293883.3295702__programs operationally, DOI=10.1145/3293883.3295702, booktitle=Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, publisher=ACM, author=Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John, editor=K. Hollingsworth, Jeffrey and Keidar, IditEditors, year=2019, pages=355–365 

@inproceedingsBeyer_Jakobs_Lemberger_Wehrheim_2019, series=LNI, title=Combining Verifiers in Conditional Model Checking via Reducers, volume=P-292, DOI=10.18420/se2019-46, booktitle=Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, publisher=GI, author=Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike, editor=Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors, year=2019, pages=151--152, collection=LNI 

@inproceedingsSharma_Wehrheim_2019, series=LNI, title=Testing Balancedness of ML Algorithms, volume=P-292, DOI=10.18420/se2019-48, booktitle=Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, publisher=GI, author=Sharma, Arnab and Wehrheim, Heike, editor=Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors, year=2019, pages=157–158, collection=LNI 

@inproceedingsRichter_Wehrheim_2019, series=Lecture Notes in Computer Science, title=PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution), volume=11429, DOI=10.1007/978-3-030-17502-3_19, booktitle=Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, publisher=Springer, author=Richter, Cedric and Wehrheim, Heike, editor=Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, BernhardEditors, year=2019, pages=229–233, collection=Lecture Notes in Computer Science 

@articleBeyer_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 

@articleHasso_Pelster_Breitmayer_2019, title=Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts, volume=23, DOI=10.1016/j.jbef.2019.04.009, journal=Journal of Behavioral and Experimental Finance, publisher=Elsevier, author=Hasso, Tim and Pelster, Matthias and Breitmayer, Bastian, year=2019, pages=64–74 

@bookHaltermann_2019, title=Analyzing Data Usage in Array Programs, publisher=Universität Paderborn, author=Haltermann, Jan, year=2019 

@inproceedingsWebersen_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 

@inproceedingsWever_Mohr_Tornede_Hüllermeier_2019, title=Automating Multi-Label Classification Extending ML-Plan, author=Wever, Marcel Dominik and Mohr, Felix and Tornede, Alexander and Hüllermeier, Eyke, year=2019 

@inproceedingsBender_Reinke_Sextro_2019, place=Bremen 2019, title=Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement, volume=VDI-Berichte 2346, booktitle=10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, author=Bender, Amelie and Reinke, Kai and Sextro, Walter, year=2019, pages=241–248 

@inproceedingsKaul_Hentze_Sextro_Gräßler_2019, title=Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung, booktitle=Fachtagung Mechatronik 2019 Paderborn, author=Kaul, Thorben and Hentze, Julian and Sextro, Walter and Gräßler, Iris, year=2019 

@inproceedingsDunst_Hemsel_Bornmann_Littmann_Sextro_2019, title=Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten, booktitle=DAGA 2019, author=Dunst, Paul and Hemsel, Tobias and Bornmann, Peter and Littmann, Walter  and Sextro, Walter, year=2019 

@bookN._2019, title=Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, publisher=Universität Paderborn, author=N., N., year=2019 

@bookAlthaus_2019, place=Universität Paderborn, title=Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry, author=Althaus, Steffen, year=2019 

@articlePelster_Breitmayer_Hasso_2019, title=Are cryptocurrency traders pioneers or just risk-seekers? evidence from brokerage accounts, volume=182, DOI=10.1016/j.econlet.2019.06.013, journal=Economics Letters, author=Pelster, Matthias and Breitmayer, Bastian and Hasso, Tim, year=2019, pages=98–100 

@inproceedingsFeldotto_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