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.
9013 Publications
2019 | Conference Abstract | LibreCat-ID: 13395
Visualization of Marangoni Phenomena during Droplet Formation
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: 10th International Conference on Multiphase Flow, Rio de Janeiro, Brasilien, 2019.
LibreCat
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: 10th International Conference on Multiphase Flow, Rio de Janeiro, Brasilien, 2019.
2019 | Conference Abstract | LibreCat-ID: 13396
In-situ Messung des Stofftransports bei der Tropfenbildung
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Essen, 2019.
LibreCat
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Essen, 2019.
2019 | Conference Abstract | LibreCat-ID: 13397
Stofftransport und Fluidmechanik bei der Tropfenbildung unter Berücksichtigung von Marangonikonvektion mittels CFD
C. Wecker, A. Schulz, J. Heine, H.-J. Bart, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.
LibreCat
C. Wecker, A. Schulz, J. Heine, H.-J. Bart, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.
2019 | Conference Abstract | LibreCat-ID: 13398
Stofftransport bei der Tropfenbildung
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.
LibreCat
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.
2019 | Conference Abstract | LibreCat-ID: 13399
Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode
A. Zibart, E. Kenig, in: ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt, 2019.
LibreCat
A. Zibart, E. Kenig, in: ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt, 2019.
2019 | Journal Article | LibreCat-ID: 13431
"A possibilistic finite element method for sparse data"
A. Dridger, I. Caylak, R. Mahnken, E. Penner, Safety and Reliability (2019) 58–82.
LibreCat
| DOI
A. Dridger, I. Caylak, R. Mahnken, E. Penner, Safety and Reliability (2019) 58–82.
2019 | Journal Article | LibreCat-ID: 13432
"Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity"
X. Ju, R. Mahnken, Computer Methods in Applied Mechanics and Engineering (2019) 297–329.
LibreCat
| DOI
X. Ju, R. Mahnken, Computer Methods in Applied Mechanics and Engineering (2019) 297–329.
2019 | Journal Article | LibreCat-ID: 13434
"Optimization with constraints considering polymorphic uncertainties"
M. Mäck, I. Caylak, P. Edler, S. Freitag, M. Hanss, R. Mahnken, G. Meschke, E. Penner, GAMM-Mitteilungen (2019).
LibreCat
| DOI
M. Mäck, I. Caylak, P. Edler, S. Freitag, M. Hanss, R. Mahnken, G. Meschke, E. Penner, GAMM-Mitteilungen (2019).
2019 | Bachelorsthesis | LibreCat-ID: 13435
Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis, Universität Paderborn, 2019.
LibreCat
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 13442
Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface
S.A. Manavi, E. Kenig, in: Computer Aided Chemical Engineering, 29th European Symposium on Computer Aided Process Engineering, Eindhoven, Netherlands, 2019.
LibreCat
| DOI
S.A. Manavi, E. Kenig, in: Computer Aided Chemical Engineering, 29th European Symposium on Computer Aided Process Engineering, Eindhoven, Netherlands, 2019.
2019 | Book | LibreCat-ID: 10002
Intelligente Herstellung zuverlässiger Kupferbondverbindungen
W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen, Springer Verlag, 2019.
LibreCat
| DOI
W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen, Springer Verlag, 2019.
2019 | Conference Paper | LibreCat-ID: 10091
Data Independence for Software Transactional Memory
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
LibreCat
| DOI
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
2019 | Conference Paper | LibreCat-ID: 10093
Combining Verifiers in Conditional Model Checking via Reducers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
LibreCat
| Files available
| DOI
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, 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}, Springer, 2019, pp. 229–233.
LibreCat
| Files available
| DOI
C. Richter, H. Wehrheim, 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}, Springer, 2019, pp. 229–233.
2019 | Mastersthesis | LibreCat-ID: 10105
Analyzing Data Usage in Array Programs
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
LibreCat
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 10232 | 
Automating Multi-Label Classification Extending ML-Plan
M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.
LibreCat
| Files available
M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.
2019 | Conference Paper | LibreCat-ID: 10255
Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement
A. Bender, K. Reinke, W. Sextro, in: 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, Bremen 2019, 2019, pp. 241–248.
LibreCat
A. Bender, K. Reinke, W. Sextro, in: 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, Bremen 2019, 2019, pp. 241–248.
2019 | Conference Paper | LibreCat-ID: 10257
Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung
T. Kaul, J. Hentze, W. Sextro, I. Gräßler, in: Fachtagung Mechatronik 2019 Paderborn, 2019.
LibreCat
T. Kaul, J. Hentze, W. Sextro, I. Gräßler, in: Fachtagung Mechatronik 2019 Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 10258
Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten
P. Dunst, T. Hemsel, P. Bornmann, W. Littmann, W. Sextro, in: DAGA 2019, 2019.
LibreCat
P. Dunst, T. Hemsel, P. Bornmann, W. Littmann, W. Sextro, in: DAGA 2019, 2019.
2019 | Mastersthesis | LibreCat-ID: 10271
Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, Universität Paderborn, 2019.
LibreCat
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, Universität Paderborn, 2019.