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