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
Richter C, Wehrheim H. Attend and Represent: A Novel View on Algorithm Selection for Software Verification. In: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020. {IEEE}; 2020:1016-1028.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt W, Wehrheim H, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol 12165. Springer; 2020. doi:10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21022
Allgaier M, Ansari V, Donohue JM, et al. Pulse shaping using dispersion-engineered difference frequency generation. Physical Review A. 2020;101. doi:10.1103/physreva.101.043819
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21024
Ansari V, Donohue JM, Brecht B, Silberhorn C. Remotely projecting states of photonic temporal modes. Optics Express. 2020;28(19). doi:10.1364/oe.395593
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 21117
Manegold P. On Batch Proofs of Partial Knowledge.; 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
Anonymous A. Measuring the Performance of SNARK Libraries.; 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
Westerwelle M. Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions.; 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
Anonymous A. Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems.; 2020.
LibreCat
2020 | Report | LibreCat-ID: 21152
Otroshi M, Meschut G, Masendorf L, Esderts A. Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB); 2020.
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 21174
Alexandrovsky D, Volkmar G, Spliethöver M, et al. Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy. In: Proceedings of the Annual Symposium on Computer-Human Interaction in Play. CHI PLAY’20. New York, NY, USA: Association for Computing Machinery; 2020:32–45. doi:10.1145/3410404.3414222
LibreCat
| DOI
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 21268
Huhmann T, Eilterts K, Schulte C, Winkelnkemper F. Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken. In: Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis. Waxmann Verlag; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21269
Ködding P, Reinhold J, Scholtysik M, Dumitrescu R. Consulting via Research in IMPRESS. Journal of Systemics, Cybernetics and Informatics. 2020;18(2):14-19.
LibreCat
2020 | Journal Article | LibreCat-ID: 21281
Drewel M, Özcan L, Koldewey C, Gausemeier J. Pattern‐based development of digital platforms. Creativity and Innovation Management. 2020. doi:10.1111/caim.12415
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21282
Mirbabaie M, Bunker D, Stieglitz S, Marx J, Ehnis C. Social media in times of crisis: Learning from Hurricane Harvey for the coronavirus disease 2019 pandemic response. Journal of Information Technology. 2020:195-213. doi:10.1177/0268396220929258
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21287
Kaimann D. Behind the Review Curtain: Decomposition of Online Consumer Ratings in Peer-to-Peer Markets. Sustainability. 2020;12(15). doi:10.3390/su12156185
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21320
Brünker F, Marx J, Ross B, Mirbabaie M, Stieglitz S. ‘The Tireless Selling-Machine’ – Commercial Deployment of Social Bots during Black Friday Season on Twitter. In: Proceedings of the 15. Internationaler Kongress Für Wirtschaftsinformatik. Potsdam, Germany; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21321
Fromm J, Mirbabaie M, Stieglitz S. The Effects of Virtual Reality Affordances and Constraints on Negative Group Effects during Brainstorming Sessions. In: Proceedings of the 15. Internationaler Kongress Für Wirtschaftsinformatik. Potsdam, Germany; 2020.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 21324
Chandrakar K. Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis.; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21377
Pierenkemper C, Gausemeier J. Developing Strategies for Digital Transformation in SMEs with Maturity Models. In: Proceeding of the ISPIM Connects. ; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21379
Dumitrescu R, Drewel M, Falkowski T. KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung. ZWF, Zeitschrift für wirtschaftliche Fabrikplanung. 2020;(1-2):86-90.
LibreCat