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.
30438 Publications
2019 | Conference Paper | LibreCat-ID: 13182
M. Feldmann, T. Götte, and C. Scheideler, “A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory,” in Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2019, pp. 149–164.
LibreCat
| Files available
| DOI
| arXiv
2019 | Journal Article | LibreCat-ID: 13233
P. Müller, A. Neuba, U. Flörke, G. Henkel, T. D. Kühne, and M. Bauer, “Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes,” The Journal of Physical Chemistry A, vol. 123, no. 16, pp. 3575–3581, 2019.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13271 |
T. von Neumann, K. Kinoshita, M. Delcroix, S. Araki, T. Nakatani, and R. Haeb-Umbach, “All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis,” in ICASSP 2019, Brighton, UK, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 13292 |
S. B. Schneider et al., “‘Producing Cloud-Native’: Smart Manufacturing Use Cases on Kubernetes,” in IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track, Dallas, TX, USA, 2019.
LibreCat
| Files available
2019 | Conference Abstract | LibreCat-ID: 13393
A. Schulz, C. Wecker, and E. Kenig, “Ein Finite-Volumen Ansatz für den Stoffübergang an bewegten Phasengrenzflächen,” presented at the Jahrestreffen der ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13394
C. Wecker, A. Schulz, J. Heine, H.-J. Bart, and E. Kenig, “Numerische Untersuchungen zum Stofftransport und Fluidmechanik bei der Tropfenbildung,” presented at the Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Essen, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13395
J. Heine, C. Wecker, E. Kenig, and H.-J. Bart, “Visualization of Marangoni Phenomena during Droplet Formation,” presented at the 10th International Conference on Multiphase Flow, Rio de Janeiro, Brasilien, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13396
J. Heine, C. Wecker, E. Kenig, and H.-J. Bart, “In-situ Messung des Stofftransports bei der Tropfenbildung,” presented at the Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Essen, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13397
C. Wecker, A. Schulz, J. Heine, H.-J. Bart, and E. Kenig, “Stofftransport und Fluidmechanik bei der Tropfenbildung unter Berücksichtigung von Marangonikonvektion mittels CFD,” presented at the Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13398
J. Heine, C. Wecker, E. Kenig, and H.-J. Bart, “Stofftransport bei der Tropfenbildung,” presented at the Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13399
A. Zibart and E. Kenig, “Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode,” presented at the ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt, 2019.
LibreCat
2019 | Bachelorsthesis | LibreCat-ID: 13435
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn, 2019.
LibreCat
2019 | Book Chapter | LibreCat-ID: 13436
A. A. Camberg, I. Stratmann, and T. Tröster, “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.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13454
A. Eggert, M. Kleinaltenkamp, and V. Kashyap, “Mapping Value in Business Markets: An Integrative Framework,” Industrial Marketing Management, vol. 79, pp. 13--20, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 13455
I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, and E. Boehm, “Exploring the link between payment schemes and customer fraud: a mental accounting perspective,” Journal of the Academy of Marketing Science, vol. 47, no. 4, pp. 595--616, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13456
A. Eggert, E. Boehm, R. Akalan, and H. Gebauer, “Service Growth by Acquisition – An Event Study.” 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 13457
A. Eggert, L. Steinhoff, and C. Witte, “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships,” Journal of Marketing, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10042
S. Johannesmann, D. Springer, C. Thiel, and B. Henning, “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN,” in Fortschritte der Akustik - DAGA 2019, Rostock, 2019, vol. 45, pp. 1055–1058.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10092
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying C11 programs operationally,” in Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, 2019, pp. 355–365.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 151--152.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in 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}, 2019, vol. 11429, pp. 229–233.
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 10096
D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” CoRR, vol. abs/1905.08505, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10105
J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, and B. Henning, “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere,” in Fortschritte der Akustik - DAGA 2019, Rostock, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 |
M. D. Wever, F. Mohr, A. Tornede, and E. Hüllermeier, “Automating Multi-Label Classification Extending ML-Plan,” presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10255
A. Bender, K. Reinke, and W. Sextro, “Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement,” in 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, 2019, vol. VDI-Berichte 2346, pp. 241–248.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10257
T. Kaul, J. Hentze, W. Sextro, and I. Gräßler, “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
P. Dunst, T. Hemsel, P. Bornmann, W. Littmann, and W. Sextro, “Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten,” in DAGA 2019, Rostock, 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