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.
10720 Publications
2020 | Conference (Editor) | LibreCat-ID: 20278
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: 20279
Sharma A, Wehrheim H. Testing Monotonicity of Machine Learning Models. CoRR. 2020;abs/2002.12278.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24022
Abughannam S, Scheytt C. Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator. In: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) . IEEE; 2020. doi:10.1109/PIMRC48278.2020.9217198
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24027
Adelt P, Koppelmann B, Müller W, Scheytt C. A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures. In: MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop. ; 2020.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 24030
Ballandras S, Abughannam S, Courjon E, Scheytt C. Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers. In: GeMiC 2020 - German Microwave Conference. ; 2020.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 3583
Guetttatfi Z, Kaufmann P, Platzner M. Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices. In: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC). ; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 3800
Wachsmuth H, Werner T. Intrinsic Quality Assessment of Arguments. In: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics. ; 2020:6739-6745.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 3878
El Baff R, Wachsmuth H, Al-Khatib K, Stein B. Analyzing the Persuasive Effect of Style in News Editorial Argumentation. In: Tsujii J, Hajic J, eds. Proceedings of 58th Annual Meeting of the Association for Computational Linguistics. ; 2020:553-564.
LibreCat
2020 | Journal Article | LibreCat-ID: 29045 | 
Engels G. Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen. Gruppe Interaktion Organisation Zeitschrift für Angewandte Organisationspsychologie (GIO). Published online 2020:363-370. doi:10.1007/s11612-020-00527-9
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 21016
Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser. 2020;6(2):15:1-15:2. doi:10.4230/DARTS.6.2.15
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR. In: Hirschfeld R, Pape T, eds. 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). Vol 166. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik; 2020:11:1-11:26. doi:10.4230/LIPIcs.ECOOP.2020.11
LibreCat
| DOI
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 | 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 | 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