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.
8481 Publications
2019 | Conference Abstract | LibreCat-ID: 13399
Zibart A, Kenig E. Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode. In: Frankfurt: ProcessNet-Fachgruppe Computational Fluid Dynamics; 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 13431
Dridger A, Caylak I, Mahnken R, Penner E. “A possibilistic finite element method for sparse data.” Safety and Reliability. 2019:58-82. doi:10.1080/09617353.2018.1552477
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13432
Ju X, Mahnken R. “Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity.” Computer Methods in Applied Mechanics and Engineering. 2019:297-329. doi:10.1016/j.cma.2019.01.031
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13434
Mäck M, Caylak I, Edler P, et al. “Optimization with constraints considering polymorphic uncertainties.” GAMM-Mitteilungen. 2019. doi:10.1002/gamm.201900005
LibreCat
| DOI
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 | Book Chapter | LibreCat-ID: 13436
Camberg AA, Stratmann I, Tröster T. TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES. In: Technologies for Economical and Functional Lightweight Design. Berlin, Heidelberg; 2019. doi:10.1007/978-3-662-58206-0_12
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13442
Manavi SA, Kenig E. Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface. In: Computer Aided Chemical Engineering. Eindhoven, Netherlands: 29th European Symposium on Computer Aided Process Engineering; 2019. doi:10.1016/b978-0-12-818634-3.50138-7
LibreCat
| DOI
2019 | Book | LibreCat-ID: 10002
Sextro W, Brökelmann M. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol VIII. Springer Verlag; 2019. doi:10.1007/978-3-662-55146-2
LibreCat
| DOI
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 | 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: 10255
Bender A, Reinke K, Sextro W. Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement. In: 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019. Vol VDI-Berichte 2346. Bremen 2019; 2019:241-248.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10257
Kaul T, Hentze J, Sextro W, Gräßler I. Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung. In: Fachtagung Mechatronik 2019 Paderborn. ; 2019.
LibreCat
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