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. https://doi.org/10.1007/978-3-030-20652-9\_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.
LibreCat
 

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

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. https://doi.org/10.1145/3299874.3317998
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.
LibreCat
 

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. https://doi.org/10.1016/j.econlet.2019.06.013
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. https://doi.org/10.1186/s13638-019-1493-2
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
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: APA

Export / Embed