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.
8483 Publications
2019 | Conference Abstract | LibreCat-ID: 13398
Heine, J., Wecker, C., Kenig, E., & Bart, H.-J. (2019). Stofftransport bei der Tropfenbildung. Presented at the Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz: Jahrestreffen der ProcessNet-Fachgruppe Extraktion.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13399
Zibart, A., & Kenig, E. (2019). Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode. Presented at the ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt: ProcessNet-Fachgruppe Computational Fluid Dynamics.
LibreCat
2019 | Journal Article | LibreCat-ID: 13431
Dridger, A., Caylak, I., Mahnken, R., & Penner, E. (2019). “A possibilistic finite element method for sparse data.” Safety and Reliability, 58–82. https://doi.org/10.1080/09617353.2018.1552477
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13432
Ju, X., & Mahnken, R. (2019). “Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity.” Computer Methods in Applied Mechanics and Engineering, 297–329. https://doi.org/10.1016/j.cma.2019.01.031
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13434
Mäck, M., Caylak, I., Edler, P., Freitag, S., Hanss, M., Mahnken, R., … Penner, E. (2019). “Optimization with constraints considering polymorphic uncertainties.” GAMM-Mitteilungen. https://doi.org/10.1002/gamm.201900005
LibreCat
| DOI
2019 | Bachelorsthesis | LibreCat-ID: 13435
Friesen, E. (2019). Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn.
LibreCat
2019 | Book Chapter | LibreCat-ID: 13436
Camberg, A. A., Stratmann, I., & Tröster, T. (2019). 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. https://doi.org/10.1007/978-3-662-58206-0_12
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13442
Manavi, S. A., & Kenig, E. (2019). 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. https://doi.org/10.1016/b978-0-12-818634-3.50138-7
LibreCat
| DOI
2019 | Book | LibreCat-ID: 10002
Sextro, W., & Brökelmann, M. (2019). Intelligente Herstellung zuverlässiger Kupferbondverbindungen (Vol. VIII). Springer Verlag. https://doi.org/10.1007/978-3-662-55146-2
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10091
König, J., & Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger & K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer. https://doi.org/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. (2019). Combining Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 151--152). GI. https://doi.org/10.18420/se2019-46
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter, C., & Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (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, pp. 229–233). Springer. https://doi.org/10.1007/978-3-030-17502-3_19
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
Wever, M. D., Mohr, F., Tornede, A., & Hüllermeier, E. (2019). Automating Multi-Label Classification Extending ML-Plan. Presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10255
Bender, A., Reinke, K., & Sextro, W. (2019). Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement. In 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019 (Vol. VDI-Berichte 2346, pp. 241–248). Bremen 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10257
Kaul, T., Hentze, J., Sextro, W., & Gräßler, I. (2019). Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung. In Fachtagung Mechatronik 2019 Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10258
Dunst, P., Hemsel, T., Bornmann, P., Littmann, W., & Sextro, W. (2019). Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten. In DAGA 2019. Rostock.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10271
N., N. (2019). Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10277
Althaus, S. (2019). Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry. Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10281
Feldotto, M., Lenzner, P., Molitor, L., & Skopalik, A. (2019). 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 (pp. 1949--1951). Montreal QC, Canada: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat
| Files available
| Download (ext.)