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.

10067 Publications

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.\_18
LibreCat | DOI

2019 | Journal Article | LibreCat-ID: 10096
Beyer, D., & Wehrheim, H. (2019). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR, abs/1905.08505.

2019 | Conference Paper | LibreCat-ID: 10135
Webersen, M., Hüttner, M., Woitschek, F., Moritzer, E., & Henning, B. (2019). Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere. In Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019. Rostock.

2019 | Conference Paper | LibreCat-ID: 10577
Witschen, L. M., Ghasemzadeh Mohammadi, H., Artmann, M., & Platzner, M. (2019). Jump Search: A Fast Technique for the Synthesis of Approximate Circuits. In Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19. New York, NY, USA: ACM.
LibreCat | DOI

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.

2019 | Journal Article | LibreCat-ID: 10279
Pelster, M., Breitmayer, B., & Hasso, T. (2019). Are cryptocurrency traders pioneers or just risk-seekers? evidence from brokerage accounts. Economics Letters, 182, 98–100.
LibreCat | DOI

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.)

2019 | Mastersthesis | LibreCat-ID: 10306
Porzenheim, L. A. (2019). Post-Quantum Secure Group Signatures.
LibreCat | Files available

2019 | Journal Article | LibreCat-ID: 10325
Peuster, M., Marchetti, M., García de Blas, G., & Karl, H. (2019). Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing. EURASIP Journal on Wireless Communications and Networking.
LibreCat | Files available | DOI | Download (ext.)

2019 | Report | LibreCat-ID: 10332
Heinzel, J. M. J. (2019). Bundling in a Distribution Channel with Retail Competition. Paderborn University: CIE Working Paper Series.
LibreCat | Files available

2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop, S. (2019). Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine.

2019 | Journal Article | LibreCat-ID: 13247
Tanaka, S., Tierney, K., Parreño-Torres, C., Alvarez-Valdes, R., & Ruiz, R. (2019). A Branch and Bound Approach for Large Pre-Marshalling Problems. European Journal of Operational Research, 211–225.
LibreCat | DOI

2019 | Journal Article | LibreCat-ID: 13273
Chatwell, R. S., Heinen, M., & Vrabec, J. (2019). Diffusion Limited Evaporation of a Binary Liquid Film. International Journal of Heat and Mass Transfer, 132, 1296–1305.
LibreCat | DOI

2019 | Conference Paper | LibreCat-ID: 13285
Hannes, W.-R., Krauß-Kodytek, L., Ruppert, C., Betz, M., & Meier, T. (2019). Intensity-dependent degenerate and non-degenerate nonlinear optical absorption of direct-gap semiconductors. In M. Betz & A. Y. Elezzabi (Eds.), Ultrafast Phenomena and Nanophotonics XXIII.
LibreCat | DOI

2019 | Conference Paper | LibreCat-ID: 13292
Schneider, S. B., Peuster, M., Hannemann, K., Behnke, D., Müller, M., Bök, P.-B., & Karl, H. (2019). “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: IEEE.
LibreCat | Files available

2019 | Conference Paper | LibreCat-ID: 13297
Gharibian, S., & Parekh, O. (2019). Almost Optimal Classical Approximation Algorithms for a Quantum Generalization of Max-Cut. In Proceedings of the 22nd International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX) (Vol. 145, pp. 31:1-31:17).
LibreCat | DOI | Download (ext.)

2019 | Journal Article | LibreCat-ID: 13343
Vollbrecht, J., Wiebeler, C., Bock, H., Schumacher, S., & Kitzerow, H.-S. (2019). Curved Polar Dibenzocoronene Esters and Imides versus Their Planar Centrosymmetric Homologs: Photophysical and Optoelectronic Analysis. The Journal of Physical Chemistry C, 123(7), 4483–4492.
LibreCat | DOI

2019 | Book (Editor) | LibreCat-ID: 13139
Rezat, S., Fan, L., Hattermann, M., Schumacher, J., & Wuschke, H. (Eds.). (2019). Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany. Presented at the Third International Conference on Mathematics Textbook Research and Development, Paderborn: Universitätsbibliothek Paderborn.
LibreCat | DOI | Download (ext.)

2019 | Conference Paper | LibreCat-ID: 13141
Weidmann, N., Anjorin, A., Robrecht, P., & Varró, G. (2019). Incremental (Unidirectional) Model Transformation with eMoflon::IBeX. In Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings (pp. 131–140).\_8
LibreCat | DOI

2019 | Working Paper | LibreCat-ID: 13146
Hippert, B. (2019). The relationship between announcements of complete mergers and acquisitions and acquirers’ abnormal CDS spread changes. Working Papers Dissertations from Paderborn University, Faculty of Business Administration and Economics.

Filters and Search Terms

year<=2030 AND year>=1980


Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: APA

Export / Embed