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.
11505 Publications
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR.” 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias Pape, vol. 166, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26, doi:10.4230/LIPIcs.ECOOP.2020.11.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
Richter, Cedric, and Heike Wehrheim. “Attend and Represent: A Novel View on Algorithm Selection for Software Verification.” 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–28.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt, Wolfgang, and Heike Wehrheim, editors. 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., et al. “Pulse Shaping Using Dispersion-Engineered Difference Frequency Generation.” Physical Review A, vol. 101, 043819, 2020, doi:10.1103/physreva.101.043819.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21024
Ansari, Vahid, et al. “Remotely Projecting States of Photonic Temporal Modes.” Optics Express, vol. 28, no. 19, 28295–28305, 2020, doi:10.1364/oe.395593.
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 21117
Manegold, Philipp. On Batch Proofs of Partial Knowledge. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
Anonymous, Anonymous. Measuring the Performance of SNARK Libraries. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
Westerwelle, Max. Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
Anonymous, Anonymous. Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems. 2020.
LibreCat
2020 | Report | LibreCat-ID: 21152
Otroshi, Mortaza, et al. 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, Dmitry, et al. “Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy.” Proceedings of the Annual Symposium on Computer-Human Interaction in Play, Association for Computing Machinery, 2020, pp. 32–45, doi:10.1145/3410404.3414222.
LibreCat
| DOI
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 21268
Huhmann, Tobias, et al. “Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken.” Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis, Waxmann Verlag, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21269
Ködding, Patrick, et al. “Consulting via Research in IMPRESS.” Journal of Systemics, Cybernetics and Informatics, vol. 18, no. 2, 2020, pp. 14–19.
LibreCat
2020 | Journal Article | LibreCat-ID: 21281
Drewel, Marvin, et al. “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, Milad, et al. “Social Media in Times of Crisis: Learning from Hurricane Harvey for the Coronavirus Disease 2019 Pandemic Response.” Journal of Information Technology, 2020, pp. 195–213, doi:10.1177/0268396220929258.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21287
Kaimann, Daniel. “Behind the Review Curtain: Decomposition of Online Consumer Ratings in Peer-to-Peer Markets.” Sustainability, vol. 12, no. 15, 6185, 2020, doi:10.3390/su12156185.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21320
Brünker, F., et al. “‘The Tireless Selling-Machine’ – Commercial Deployment of Social Bots during Black Friday Season on Twitter.” Proceedings of the 15. Internationaler Kongress Für Wirtschaftsinformatik, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21321
Fromm, J., et al. “The Effects of Virtual Reality Affordances and Constraints on Negative Group Effects during Brainstorming Sessions.” Proceedings of the 15. Internationaler Kongress Für Wirtschaftsinformatik, 2020.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 21324
Chandrakar, Khushboo. Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis. 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21377
Pierenkemper, Christoph, and Jürgen Gausemeier. “Developing Strategies for Digital Transformation in SMEs with Maturity Models.” Proceeding of the ISPIM Connects, 2020.
LibreCat