@inproceedings{3583,
  author       = {{ Guetttatfi, Zakarya and Kaufmann, Paul and Platzner, Marco}},
  booktitle    = {{Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC)}},
  title        = {{{Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices}}},
  year         = {{2020}},
}

@inproceedings{3800,
  author       = {{Wachsmuth, Henning and Werner, Till}},
  booktitle    = {{Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics}},
  pages        = {{6739--6745}},
  title        = {{{Intrinsic Quality Assessment of Arguments}}},
  year         = {{2020}},
}

@inproceedings{3878,
  author       = {{El Baff, Roxanne and Wachsmuth, Henning and Al-Khatib, Khalid and Stein, Benno}},
  booktitle    = {{Proceedings of 58th Annual Meeting of the Association for Computational Linguistics}},
  editor       = {{Tsujii, Junichi and Hajic, Jan}},
  pages        = {{553--564}},
  title        = {{{Analyzing the Persuasive Effect of Style in News Editorial Argumentation}}},
  year         = {{2020}},
}

@article{29045,
  author       = {{Engels, Gregor}},
  issn         = {{2366-6145}},
  journal      = {{Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO)}},
  pages        = {{363--370}},
  title        = {{{Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen}}},
  doi          = {{10.1007/s11612-020-00527-9}},
  year         = {{2020}},
}

@article{21016,
  author       = {{Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}},
  journal      = {{Dagstuhl Artifacts Ser.}},
  number       = {{2}},
  pages        = {{15:1--15:2}},
  title        = {{{Owicki-Gries Reasoning for C11 RAR (Artifact)}}},
  doi          = {{10.4230/DARTS.6.2.15}},
  volume       = {{6}},
  year         = {{2020}},
}

@inproceedings{21017,
  author       = {{Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}},
  booktitle    = {{34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)}},
  editor       = {{Hirschfeld, Robert and Pape, Tobias}},
  pages        = {{11:1--11:26}},
  publisher    = {{Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}},
  title        = {{{Owicki-Gries Reasoning for C11 RAR}}},
  doi          = {{10.4230/LIPIcs.ECOOP.2020.11}},
  volume       = {{166}},
  year         = {{2020}},
}

@inproceedings{21018,
  author       = {{Richter, Cedric and Wehrheim, Heike}},
  booktitle    = {{35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020}},
  pages        = {{1016--1028}},
  publisher    = {{{IEEE}}},
  title        = {{{Attend and Represent: A Novel View on Algorithm Selection for Software Verification}}},
  year         = {{2020}},
}

@proceedings{21019,
  editor       = {{Ahrendt, Wolfgang and Wehrheim, Heike}},
  isbn         = {{978-3-030-50994-1}},
  publisher    = {{Springer}},
  title        = {{{Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}}},
  doi          = {{10.1007/978-3-030-50995-8}},
  volume       = {{12165}},
  year         = {{2020}},
}

@misc{21117,
  author       = {{Manegold, Philipp}},
  title        = {{{On Batch Proofs of Partial Knowledge}}},
  year         = {{2020}},
}

@misc{21118,
  author       = {{Anonymous, Anonymous}},
  title        = {{{Measuring the Performance of SNARK Libraries}}},
  year         = {{2020}},
}

@misc{21119,
  author       = {{Westerwelle, Max}},
  title        = {{{Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions}}},
  year         = {{2020}},
}

@misc{21121,
  author       = {{Anonymous, Anonymous}},
  title        = {{{Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems}}},
  year         = {{2020}},
}

@inbook{21268,
  author       = {{Huhmann, Tobias and Eilterts, Katja and Schulte, Carsten and Winkelnkemper, Felix}},
  booktitle    = {{Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis}},
  publisher    = {{Waxmann Verlag}},
  title        = {{{Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken}}},
  year         = {{2020}},
}

@article{21269,
  author       = {{Ködding, Patrick and Reinhold, Jannik and Scholtysik, Michel and Dumitrescu, Roman}},
  issn         = {{1690-4524}},
  journal      = {{Journal of Systemics, Cybernetics and Informatics}},
  number       = {{2}},
  pages        = {{pp. 14--19}},
  title        = {{{Consulting via Research in IMPRESS}}},
  volume       = {{18}},
  year         = {{2020}},
}

@article{21281,
  author       = {{Drewel, Marvin and Özcan, Leon and Koldewey, Christian and Gausemeier, Jürgen}},
  issn         = {{0963-1690}},
  journal      = {{Creativity and Innovation Management}},
  title        = {{{Pattern‐based development of digital platforms}}},
  doi          = {{10.1111/caim.12415}},
  year         = {{2020}},
}

@misc{21324,
  author       = {{Chandrakar, Khushboo}},
  title        = {{{Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis}}},
  year         = {{2020}},
}

@inproceedings{21377,
  author       = {{Pierenkemper, Christoph and Gausemeier, Jürgen}},
  booktitle    = {{Proceeding of the ISPIM Connects}},
  location     = {{Bangkok}},
  title        = {{{Developing Strategies for Digital Transformation in SMEs with Maturity Models}}},
  year         = {{2020}},
}

@article{21379,
  author       = {{Dumitrescu, Roman and Drewel, Marvin and Falkowski, Tommy}},
  journal      = {{ZWF, Zeitschrift für wirtschaftliche Fabrikplanung}},
  number       = {{1-2}},
  pages        = {{86 -- 90}},
  title        = {{{KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung}}},
  year         = {{2020}},
}

@inproceedings{21380,
  author       = {{Anacker, Harald and Dumitrescu, Roman and Kharatyan, Aschot and Lipsmeier, Andre}},
  booktitle    = {{Proceedings of the Design Society}},
  location     = {{Cavtat}},
  pages        = {{1195--1204}},
  title        = {{{Pattern based systems engineering – application of solution patterns in the design of intelligent technical systems}}},
  year         = {{2020}},
}

@inproceedings{21381,
  author       = {{Lipsmeier, Andre and Kühn, Arno and Joppen, Robert and Dumitrescu, Roman}},
  booktitle    = {{Procedia CIRP}},
  number       = {{88}},
  pages        = {{173--178}},
  title        = {{{Process for the development of a digital strategy}}},
  year         = {{2020}},
}