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.
9783 Publications
2020 | Journal Article | LibreCat-ID: 24029
Haddadian, Sanaz, and Christoph Scheytt. “Analysis, Design and Implementation of a Fully Integrated Analog Front-End for Microwave RFIDs at 5.8 GHz to Be Used with Compact MIMO Readers.” IEEE Journal of Radio Frequency Identification, 2020, pp. 1–1, doi:10.1109/JRFID.2020.3009741.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24030
Ballandras, Sylvain, et al. “Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers.” GeMiC 2020 - German Microwave Conference, 2020.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 3583
Guetttatfi, Zakarya, et al. “Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices.” Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 3800
Wachsmuth, Henning, and Till Werner. “Intrinsic Quality Assessment of Arguments.” Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020, pp. 6739–45.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 3878
El Baff, Roxanne, et al. “Analyzing the Persuasive Effect of Style in News Editorial Argumentation.” Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, edited by Junichi Tsujii and Jan Hajic, 2020, pp. 553–64.
LibreCat
2020 | Journal Article | LibreCat-ID: 29045 | 
Engels, Gregor. “Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen.” Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO), 2020, pp. 363–70, doi:10.1007/s11612-020-00527-9.
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 21016
Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR (Artifact).” Dagstuhl Artifacts Ser., vol. 6, no. 2, 2020, pp. 15:1-15:2, doi:10.4230/DARTS.6.2.15.
LibreCat
| DOI
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 | 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 | 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 | 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
2020 | Journal Article | LibreCat-ID: 21379
Dumitrescu, Roman, et al. “KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung.” ZWF, Zeitschrift für wirtschaftliche Fabrikplanung, no. 1–2, 2020, pp. 86–90.
LibreCat