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.
11548 Publications
2020 | Conference Paper | LibreCat-ID: 21018
@inproceedings{Richter_Wehrheim_2020, title={Attend and Represent: A Novel View on Algorithm Selection for Software Verification}, booktitle={35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020}, publisher={{IEEE}}, author={Richter, Cedric and Wehrheim, Heike}, year={2020}, pages={1016–1028} }
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21022
@article{Allgaier_Ansari_Donohue_Eigner_Quiring_Ricken_Brecht_Silberhorn_2020, title={Pulse shaping using dispersion-engineered difference frequency generation}, volume={101}, DOI={10.1103/physreva.101.043819}, number={043819}, journal={Physical Review A}, author={Allgaier, M. and Ansari, V. and Donohue, J. M. and Eigner, Christof and Quiring, V. and Ricken, R. and Brecht, Benjamin and Silberhorn, Christine}, year={2020} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21024
@article{Ansari_Donohue_Brecht_Silberhorn_2020, title={Remotely projecting states of photonic temporal modes}, volume={28}, DOI={10.1364/oe.395593}, number={1928295–28305}, journal={Optics Express}, author={Ansari, Vahid and Donohue, John M. and Brecht, Benjamin and Silberhorn, Christine}, year={2020} }
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 21117
@book{Manegold_2020, title={On Batch Proofs of Partial Knowledge}, author={Manegold, Philipp}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
@book{Anonymous_2020, title={Measuring the Performance of SNARK Libraries}, author={Anonymous, Anonymous}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
@book{Westerwelle_2020, title={Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions}, author={Westerwelle, Max}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
@book{Anonymous_2020, title={Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems}, author={Anonymous, Anonymous}, year={2020} }
LibreCat
2020 | Report | LibreCat-ID: 21152
@book{Otroshi_Meschut_Masendorf_Esderts_2020, title={Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile}, publisher={Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB)}, author={Otroshi, Mortaza and Meschut, Gerson and Masendorf, Lukas and Esderts, Alfons}, year={2020} }
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 21174
@inproceedings{Alexandrovsky_Volkmar_Spliethöver_Finke_Herrlich_Döring_Smeddinck_Malaka_2020, place={New York, NY, USA}, series={CHI PLAY’20}, title={Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy}, DOI={10.1145/3410404.3414222}, booktitle={Proceedings of the Annual Symposium on Computer-Human Interaction in Play}, publisher={Association for Computing Machinery}, author={Alexandrovsky, Dmitry and Volkmar, Georg and Spliethöver, Maximilian and Finke, Stefan and Herrlich, Marc and Döring, Tanja and Smeddinck, Jan David and Malaka, Rainer}, year={2020}, pages={32–45}, collection={CHI PLAY’20} }
LibreCat
| DOI
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 21268
@inbook{Huhmann_Eilterts_Schulte_Winkelnkemper_2020, title={Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken}, booktitle={Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis}, publisher={Waxmann Verlag}, author={Huhmann, Tobias and Eilterts, Katja and Schulte, Carsten and Winkelnkemper, Felix}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 21269
@article{Ködding_Reinhold_Scholtysik_Dumitrescu_2020, title={Consulting via Research in IMPRESS}, volume={18}, number={2}, journal={Journal of Systemics, Cybernetics and Informatics}, author={Ködding, Patrick and Reinhold, Jannik and Scholtysik, Michel and Dumitrescu, Roman}, year={2020}, pages={14–19} }
LibreCat
2020 | Journal Article | LibreCat-ID: 21281
@article{Drewel_Özcan_Koldewey_Gausemeier_2020, title={Pattern‐based development of digital platforms}, DOI={10.1111/caim.12415}, journal={Creativity and Innovation Management}, author={Drewel, Marvin and Özcan, Leon and Koldewey, Christian and Gausemeier, Jürgen}, year={2020} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21282
@article{Mirbabaie_Bunker_Stieglitz_Marx_Ehnis_2020, title={Social media in times of crisis: Learning from Hurricane Harvey for the coronavirus disease 2019 pandemic response}, DOI={10.1177/0268396220929258}, journal={Journal of Information Technology}, author={Mirbabaie, Milad and Bunker, Deborah and Stieglitz, Stefan and Marx, Julian and Ehnis, Christian}, year={2020}, pages={195–213} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21287
@article{Kaimann_2020, title={Behind the Review Curtain: Decomposition of Online Consumer Ratings in Peer-to-Peer Markets}, volume={12}, DOI={10.3390/su12156185}, number={156185}, journal={Sustainability}, author={Kaimann, Daniel}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21320
@inproceedings{Brünker_Marx_Ross_Mirbabaie_Stieglitz_2020, place={Potsdam, Germany}, title={‘The Tireless Selling-Machine’ – Commercial Deployment of Social Bots during Black Friday Season on Twitter}, booktitle={Proceedings of the 15. Internationaler Kongress Für Wirtschaftsinformatik}, author={Brünker, F. and Marx, J. and Ross, B. and Mirbabaie, Milad and Stieglitz, S.}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 21321
@inproceedings{Fromm_Mirbabaie_Stieglitz_2020, place={Potsdam, Germany}, title={The Effects of Virtual Reality Affordances and Constraints on Negative Group Effects during Brainstorming Sessions}, booktitle={Proceedings of the 15. Internationaler Kongress Für Wirtschaftsinformatik}, author={Fromm, J. and Mirbabaie, Milad and Stieglitz, S.}, year={2020} }
LibreCat
2020 | Mastersthesis | LibreCat-ID: 21324
@book{Chandrakar_2020, title={Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis}, author={Chandrakar, Khushboo}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 21377
@inproceedings{Pierenkemper_Gausemeier_2020, title={Developing Strategies for Digital Transformation in SMEs with Maturity Models}, booktitle={Proceeding of the ISPIM Connects}, author={Pierenkemper, Christoph and Gausemeier, Jürgen}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 21379
@article{Dumitrescu_Drewel_Falkowski_2020, title={KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung}, number={1–2}, journal={ZWF, Zeitschrift für wirtschaftliche Fabrikplanung}, author={Dumitrescu, Roman and Drewel, Marvin and Falkowski, Tommy}, year={2020}, pages={86–90} }
LibreCat