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.
12173 Publications
2020 | Conference Paper | LibreCat-ID: 3878
El Baff, R., Wachsmuth, H., Al-Khatib, K., & Stein, B. (2020). Analyzing the Persuasive Effect of Style in News Editorial Argumentation. In J. Tsujii & J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics (pp. 553–564).
LibreCat
2020 | Journal Article | LibreCat-ID: 28842
Heldt, M., Lorenz, R., & Eickelmann, B. (2020). Relevanz schulischer Medienkonzepte als Orientierung für die Schule im Zuge der fortschreitenden Digitalisierung. Unterrichtswissenschaft, 48(3), 447–468. https://doi.org/10.1007/s42010-020-00070-y
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 28859
Eickelmann, B., & Drossel, K. (2020). Students’ computer literacy and the use of tablets in upper secondary schools. In A. Tatnall (Ed.), Encyclopedia of Education and Information Technologies (pp. 1577–1589). Springer. https://doi.org/10.1007/978-3-030-10576-1
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 29045 | 
Engels, G. (2020). Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen. Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO), 363–370. https://doi.org/10.1007/s11612-020-00527-9
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 27013
Rienks, J., Penczynski, K. J., Schmitting, S., Buyken, A., & Nöthlings, U. (2020). Dietary flavonoids among children and adolescents in the Dortmund Nutritional and Anthropometric Longitudinally Designed (DONALD) study: intake, food sources and trends from 1985 until 2016. British Journal of Nutrition, 1198–1206. https://doi.org/10.1017/s000711452000183x
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27091
Koldewey, C., Frank, M., Gausemeier, J., Bäsecke, A., Chohan, N., & Reinhold, J. (2020). Systematische Entwicklung von Normstrategien für Smart Services. ZWF, Zeitschrift Für Wirtschaftliche Fabrikplanung 115(7-8), 524–528.
LibreCat
2020 | Journal Article | LibreCat-ID: 27797
Della Corte, K., Fife, J., Gardner, A., Murphy, B. L., Kleis, L., Della Corte, D., Schwingshackl, L., LeCheminant, J. D., & Buyken, A. (2020). World trends in sugar-sweetened beverage and dietary sugar intakes in children and adolescents: a systematic review. Nutrition Reviews, 274–288. https://doi.org/10.1093/nutrit/nuaa070
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27864
Heldt, M., Massek, C., Drossel, K., & Eickelmann, B. (2020). The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data. Large-Scale Assessments in Education, 8, 1–20. https://doi.org/10.1186/s40536-020-00090-1
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 27867
Eickelmann, B., & Drossel, K. (2020). Students’ computer literacy and the use of tablets in upper secondary schools. In A. Tatnall (Ed.), Encyclopedia of Education and Information Technologies (pp. 1577–1589). Springer. https://doi.org/10.1007/978-3-030-10576-1
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21016
Dalvandi, S., Doherty, S., Dongol, B., & Wehrheim, H. (2020). Owicki-Gries Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser., 6(2), 15:1-15:2. https://doi.org/10.4230/DARTS.6.2.15
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi, S., Doherty, S., Dongol, B., & Wehrheim, H. (2020). Owicki-Gries Reasoning for C11 RAR. In R. Hirschfeld & T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference) (Vol. 166, pp. 11:1-11:26). Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2020.11
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
Richter, C., & Wehrheim, H. (2020). 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 (pp. 1016–1028). {IEEE}.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 21117
Manegold, P. (2020). On Batch Proofs of Partial Knowledge.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
Anonymous, A. (2020). Measuring the Performance of SNARK Libraries.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
Westerwelle, M. (2020). Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
Anonymous, A. (2020). Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems.
LibreCat
2020 | Report | LibreCat-ID: 21152
Otroshi, M., Meschut, G., Masendorf, L., & Esderts, A. (2020). Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB).
LibreCat
| Files available
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 21268
Huhmann, T., Eilterts, K., Schulte, C., & Winkelnkemper, F. (2020). 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.
LibreCat
2020 | Journal Article | LibreCat-ID: 21269
Ködding, P., Reinhold, J., Scholtysik, M., & Dumitrescu, R. (2020). Consulting via Research in IMPRESS. Journal of Systemics, Cybernetics and Informatics, 18(2), 14–19.
LibreCat