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.

15985 Publications


2019 | Conference Paper | LibreCat-ID: 10091
J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, 2019, vol. 11460, pp. 263–279.
LibreCat | 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 | 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: 10577
L. M. Witschen, H. Ghasemzadeh Mohammadi, M. Artmann, and M. Platzner, “Jump Search: A Fast Technique for the Synthesis of Approximate Circuits,” in Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19, Tysons Corner, VA, USA, 2019.
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 10279
M. Pelster, B. Breitmayer, and T. Hasso, “Are cryptocurrency traders pioneers or just risk-seekers? evidence from brokerage accounts,” Economics Letters, vol. 182, pp. 98–100, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10281
M. Feldotto, P. Lenzner, L. Molitor, and A. Skopalik, “ 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, Montreal QC, Canada, 2019, pp. 1949--1951.
LibreCat | Files available | Download (ext.)
 

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

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

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

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: IEEE

Export / Embed