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.

12549 Publications


2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-20652-9\_18.
LibreCat | DOI
 

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

2019 | Conference Paper | LibreCat-ID: 10135
Webersen, Manuel, Matthias Hüttner, Fabian Woitschek, Elmar Moritzer, and Bernd Henning. “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere.” In Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V. (DEGA), 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10577
Witschen, Linus Matthias, Hassan Ghasemzadeh Mohammadi, Matthias Artmann, and Marco 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. New York, NY, USA: ACM, 2019. https://doi.org/10.1145/3299874.3317998.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10255
Bender, Amelie, Kai Reinke, and Walter Sextro. “Konstruktion Und Zustandsüberwachung Eines Gummi-Metall-Teils Mit Integriertem Thermoelement.” In 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, VDI-Berichte 2346:241–48. Bremen 2019, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 10279
Pelster, Matthias, Bastian Breitmayer, and Tim Hasso. “Are Cryptocurrency Traders Pioneers or Just Risk-Seekers? Evidence from Brokerage Accounts.” Economics Letters 182 (2019): 98–100. https://doi.org/10.1016/j.econlet.2019.06.013.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10281
Feldotto, Matthias, Pascal Lenzner, Louise Molitor, and Alexander 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, 1949--1951. International Foundation for Autonomous Agents and Multiagent Systems, 2019.
LibreCat | Files available | Download (ext.)
 

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

2019 | Journal Article | LibreCat-ID: 10325
Peuster, Manuel, Michael Marchetti, Gerardo García de Blas, and Holger 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. https://doi.org/10.1186/s13638-019-1493-2.
LibreCat | Files available | DOI | Download (ext.)
 

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

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed