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
@inproceedings{König_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Data Independence for Software Transactional Memory}, volume={11460}, DOI={10.1007/978-3-030-20652-9\_18}, booktitle={{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}, publisher={Springer}, author={König, Jürgen and Wehrheim, Heike}, editor={M. Badger, Julia and Yvonne Rozier, KristinEditors}, year={2019}, pages={263–279}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI

2019 | Journal Article | LibreCat-ID: 10096
@article{Beyer_Wehrheim_2019, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={abs/1905.08505}, journal={CoRR}, author={Beyer, Dirk and Wehrheim, Heike}, year={2019} }

2019 | Conference Paper | LibreCat-ID: 10135
@inproceedings{Webersen_Hüttner_Woitschek_Moritzer_Henning_2019, title={Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere}, booktitle={Fortschritte der Akustik - DAGA 2019}, author={Webersen, Manuel and Hüttner, Matthias and Woitschek, Fabian and Moritzer, Elmar and Henning, Bernd}, editor={Deutsche Gesellschaft für Akustik e.V. (DEGA)Editor}, year={2019} }

2019 | Conference Paper | LibreCat-ID: 10577
@inproceedings{Witschen_Ghasemzadeh Mohammadi_Artmann_Platzner_2019, place={New York, NY, USA}, title={Jump Search: A Fast Technique for the Synthesis of Approximate Circuits}, DOI={10.1145/3299874.3317998}, booktitle={Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19}, publisher={ACM}, author={Witschen, Linus Matthias and Ghasemzadeh Mohammadi, Hassan and Artmann, Matthias and Platzner, Marco}, year={2019} }
LibreCat | DOI

2019 | Conference Paper | LibreCat-ID: 10255
@inproceedings{Bender_Reinke_Sextro_2019, place={Bremen 2019}, title={Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement}, volume={VDI-Berichte 2346}, booktitle={10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019}, author={Bender, Amelie and Reinke, Kai and Sextro, Walter}, year={2019}, pages={241–248} }

2019 | Journal Article | LibreCat-ID: 10279
@article{Pelster_Breitmayer_Hasso_2019, title={Are cryptocurrency traders pioneers or just risk-seekers? evidence from brokerage accounts}, volume={182}, DOI={10.1016/j.econlet.2019.06.013}, journal={Economics Letters}, author={Pelster, Matthias and Breitmayer, Bastian and Hasso, Tim}, year={2019}, pages={98–100} }
LibreCat | DOI

2019 | Conference Paper | LibreCat-ID: 10281
@inproceedings{Feldotto_Lenzner_Molitor_Skopalik_2019, title={ From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation}, booktitle={Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems}, publisher={International Foundation for Autonomous Agents and Multiagent Systems}, author={Feldotto, Matthias and Lenzner, Pascal and Molitor, Louise and Skopalik, Alexander}, year={2019}, pages={1949--1951} }
LibreCat | Files available | Download (ext.)

2019 | Mastersthesis | LibreCat-ID: 10306
@book{Porzenheim_2019, title={Post-Quantum Secure Group Signatures}, author={Porzenheim, Laurens Alexander}, year={2019} }
LibreCat | Files available

2019 | Journal Article | LibreCat-ID: 10325
@article{Peuster_Marchetti_García de Blas_Karl_2019, title={Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing}, DOI={10.1186/s13638-019-1493-2}, journal={EURASIP Journal on Wireless Communications and Networking}, publisher={Springer}, author={Peuster, Manuel and Marchetti, Michael and García de Blas, Gerardo and Karl, Holger}, year={2019} }
LibreCat | Files available | DOI | Download (ext.)

2019 | Report | LibreCat-ID: 10332
@book{Heinzel_2019, place={Paderborn University}, title={Bundling in a Distribution Channel with Retail Competition}, publisher={CIE Working Paper Series}, author={Heinzel, Joachim Maria Josef}, year={2019} }
LibreCat | Files available


Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed