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.
5430 Publications
2019 | Journal Article | LibreCat-ID: 13148
Gu Y, Hehenkamp B, Leininger W. Evolutionary equilibrium in contests with stochastic participation: Entry, effort and overdissipation. Journal of Economic Behavior & Organization. 2019:469-485. doi:10.1016/j.jebo.2019.06.011
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13182
Feldmann M, Götte T, Scheideler C. A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory. In: Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). Lecture Notes in Computer Science. Springer, Cham; 2019:149-164. doi:https://doi.org/10.1007/978-3-030-34992-9_13
LibreCat
| Files available
| DOI
| arXiv
2019 | Journal Article | LibreCat-ID: 13185
Rittinghaus RD, Schäfer PM, Albrecht P, et al. New Kids in Lactide Polymerization: Highly Active and Robust Iron Guanidine Complexes as Superior Catalysts. ChemSusChem. 2019;12(10):2161-2165. doi:10.1002/cssc.201900481
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13236
Walczak R, Savateev A, Heske JJ, et al. Controlling the strength of interaction between carbon dioxide and nitrogen-rich carbon materials by molecular design. Sustainable Energy Fuels. 2019. doi:10.1039/C9SE00486F
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13270
Guevara-Carrion G, Ancherbak S, Mialdun A, Vrabec J, Shevtsova V. Diffusion of Methane in Supercritical Carbon Dioxide Across the Widom Line. Scientific Reports. 2019;9. doi:10.1038/s41598-019-44687-1
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13292 | 
Schneider SB, Peuster M, Hannemann K, et al. “Producing Cloud-Native”: Smart Manufacturing Use Cases on Kubernetes. In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track. Dallas, TX, USA: IEEE; 2019.
LibreCat
| Files available
2019 | Bachelorsthesis | LibreCat-ID: 13435
Friesen E. Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn; 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 10011
Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput. 2019;31(1):1. doi:10.1007/s00165-018-00477-6
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Combining Verifiers in Conditional Model Checking via Reducers. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019. Vol P-292. LNI. GI; 2019:151--152. doi:10.18420/se2019-46
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter C, Wehrheim H. PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In: Beyer D, Huisman M, Kordon F, Steffen B, eds. 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}. Vol 11429. Lecture Notes in Computer Science. Springer; 2019:229-233. doi:10.1007/978-3-030-17502-3_19
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann J. Analyzing Data Usage in Array Programs. Universität Paderborn; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 |
Wever MD, Mohr F, Tornede A, Hüllermeier E. Automating Multi-Label Classification Extending ML-Plan. In: ; 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10258
Dunst P, Hemsel T, Bornmann P, Littmann W, Sextro W. Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten. In: DAGA 2019. ; 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10271
N. N. Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn; 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10277
Althaus S. Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry. Universität Paderborn; 2019.
LibreCat
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 | Dissertation | LibreCat-ID: 10290
Gutt D. Essays on Drivers and Economic Outcomes of Online-Reviews. Universität Paderborn; 2019. doi:10.17619/UNIPB/1-688
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 10325 |
Peuster M, Marchetti M, García de Blas G, Karl H. Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing. EURASIP Journal on Wireless Communications and Networking. 2019. doi:10.1186/s13638-019-1493-2
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 10332
Heinzel JMJ. Bundling in a Distribution Channel with Retail Competition. Paderborn University: CIE Working Paper Series; 2019.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop S. Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn; 2019.
LibreCat