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
@inproceedings{Heine_Wecker_Kenig_Bart_2019, place={Muttenz, Schweiz}, title={Stofftransport bei der Tropfenbildung}, publisher={Jahrestreffen der ProcessNet-Fachgruppe Extraktion}, author={Heine, Jens and Wecker, Christian and Kenig, Eugeny and Bart, Hans-Joerg}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13399
@inproceedings{Zibart_Kenig_2019, place={Frankfurt}, title={Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode}, publisher={ProcessNet-Fachgruppe Computational Fluid Dynamics}, author={Zibart, Alexander and Kenig, Eugeny}, year={2019} }
LibreCat
2019 | Journal Article | LibreCat-ID: 13431
@article{Dridger_Caylak_Mahnken_Penner_2019, title={“A possibilistic finite element method for sparse data”}, DOI={10.1080/09617353.2018.1552477}, journal={Safety and Reliability}, author={Dridger, A. and Caylak, I. and Mahnken, R. and Penner, E.}, year={2019}, pages={58–82} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13432
@article{Ju_Mahnken_2019, title={“Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity”}, DOI={10.1016/j.cma.2019.01.031}, journal={Computer Methods in Applied Mechanics and Engineering}, author={Ju, Xiaozhe and Mahnken, Rolf}, year={2019}, pages={297–329} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13434
@article{Mäck_Caylak_Edler_Freitag_Hanss_Mahnken_Meschke_Penner_2019, title={“Optimization with constraints considering polymorphic uncertainties”}, DOI={10.1002/gamm.201900005}, number={e201900005}, journal={GAMM-Mitteilungen}, author={Mäck, Markus and Caylak, Ismail and Edler, Philipp and Freitag, Steffen and Hanss, Michael and Mahnken, Rolf and Meschke, Günther and Penner, Eduard}, year={2019} }
LibreCat
| DOI
2019 | Bachelorsthesis | LibreCat-ID: 13435
@book{Friesen_2019, title={Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis}, publisher={Universität Paderborn}, author={Friesen, Edwin}, year={2019} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13436
@inbook{Camberg_Stratmann_Tröster_2019, place={Berlin, Heidelberg}, title={TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES}, DOI={10.1007/978-3-662-58206-0_12}, booktitle={Technologies for economical and functional lightweight design}, author={Camberg, Alan Adam and Stratmann, Ina and Tröster, Thomas}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13442
@inproceedings{Manavi_Kenig_2019, place={Eindhoven, Netherlands}, title={Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface}, DOI={10.1016/b978-0-12-818634-3.50138-7}, booktitle={Computer Aided Chemical Engineering}, publisher={29th European Symposium on Computer Aided Process Engineering}, author={Manavi, Seyed Alborz and Kenig, Eugeny}, year={2019} }
LibreCat
| DOI
2019 | Book | LibreCat-ID: 10002
@book{Sextro_Brökelmann_2019, title={Intelligente Herstellung zuverlässiger Kupferbondverbindungen}, volume={VIII}, DOI={10.1007/978-3-662-55146-2}, publisher={Springer Verlag}, author={Sextro, Walter and Brökelmann, Michael}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10091
@inproceedings{Kö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} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
@inproceedings{Beyer_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} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
@inproceedings{Richter_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} }
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
@book{Haltermann_2019, title={Analyzing Data Usage in Array Programs}, publisher={Universität Paderborn}, author={Haltermann, Jan}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
@inproceedings{Wever_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} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10255
@inproceedings{Bender_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} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10257
@inproceedings{Kaul_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} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10258
@inproceedings{Dunst_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} }
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10271
@book{N._2019, title={Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves}, publisher={Universität Paderborn}, author={N., N.}, year={2019} }
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10277
@book{Althaus_2019, place={Universität Paderborn}, title={Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry}, author={Althaus, Steffen}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10281
@inproceedings{Feldotto_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} }
LibreCat
| Files available
| Download (ext.)