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, Jens, et al. Stofftransport Bei Der Tropfenbildung. Jahrestreffen der ProcessNet-Fachgruppe Extraktion, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13399
Zibart, Alexander, and Eugeny Kenig. Reduktion von Parasitären Strömungen in Mehrphasensimulationen Durch Verwendung Der Height-Function Methode. ProcessNet-Fachgruppe Computational Fluid Dynamics, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 13431
Dridger, A., et al. “‘A Possibilistic Finite Element Method for Sparse Data.’” Safety and Reliability, 2019, pp. 58–82, doi:10.1080/09617353.2018.1552477.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13432
Ju, Xiaozhe, and Rolf Mahnken. “‘Goal-Oriented h-Type Adaptive Finite Elements for Micromorphic Elastoplasticity.’” Computer Methods in Applied Mechanics and Engineering, 2019, pp. 297–329, doi:10.1016/j.cma.2019.01.031.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13434
Mäck, Markus, et al. “‘Optimization with Constraints Considering Polymorphic Uncertainties.’” GAMM-Mitteilungen, e201900005, 2019, doi:10.1002/gamm.201900005.
LibreCat
| DOI
2019 | Bachelorsthesis | LibreCat-ID: 13435
Friesen, Edwin. 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, Alan Adam, et al. “TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES.” Technologies for Economical and Functional Lightweight Design, 2019, doi:10.1007/978-3-662-58206-0_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13442
Manavi, Seyed Alborz, and Eugeny Kenig. “Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface.” Computer Aided Chemical Engineering, 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, Walter, and Michael Brökelmann. 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ürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9\_18.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via Reducers.” Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 151--152, doi:10.18420/se2019-46.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” 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}, edited by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3_19.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
Wever, Marcel Dominik, et al. Automating Multi-Label Classification Extending ML-Plan. 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10255
Bender, Amelie, et al. “Konstruktion Und Zustandsüberwachung Eines Gummi-Metall-Teils Mit Integriertem Thermoelement.” 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, vol. VDI-Berichte 2346, 2019, pp. 241–48.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10257
Kaul, Thorben, et al. “Integration von Verlässlichkeitsmodellen Der Entwicklung in Einen Digitalen Zwilling Zur Umsetzung Einer Vorausschauenden Instandhaltung.” Fachtagung Mechatronik 2019 Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10258
Dunst, Paul, et al. “Modellbasierte Und Experimentelle Charakterisierung von Intensiven Ultraschall-Stehwellenfeldern Für Die Zerstäubung Hochviskoser Flüssigkeiten.” 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, Steffen. Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10281
Feldotto, Matthias, et al. “ From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation.” Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
LibreCat
| Files available
| Download (ext.)