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
C. Richter and H. Wehrheim, “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, 2020, pp. 1016–1028.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21117
P. Manegold, On Batch Proofs of Partial Knowledge. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
A. Anonymous, Measuring the Performance of SNARK Libraries. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems. 2020.
LibreCat
2020 | Report | LibreCat-ID: 21152
M. Otroshi, G. Meschut, L. Masendorf, and A. Esderts, 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
D. Alexandrovsky 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, 2020, pp. 32–45.
LibreCat
| DOI
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 21268
T. Huhmann, K. Eilterts, C. Schulte, and F. Winkelnkemper, “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
P. Ködding, J. Reinhold, M. Scholtysik, and R. Dumitrescu, “Consulting via Research in IMPRESS,” Journal of Systemics, Cybernetics and Informatics, vol. 18, no. 2, pp. 14–19, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21320
F. Brünker, J. Marx, B. Ross, M. Mirbabaie, and S. Stieglitz, “‘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, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21321
J. Fromm, M. Mirbabaie, and S. Stieglitz, “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, 2020.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 21324
K. Chandrakar, Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis. 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21377
C. Pierenkemper and J. Gausemeier, “Developing Strategies for Digital Transformation in SMEs with Maturity Models,” in Proceeding of the ISPIM Connects, Bangkok, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21379
R. Dumitrescu, M. Drewel, and T. Falkowski, “KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung,” ZWF, Zeitschrift für wirtschaftliche Fabrikplanung, no. 1–2, pp. 86–90, 2020.
LibreCat