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.
12200 Publications
2020 | Conference Paper | LibreCat-ID: 3583
Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices
Z. Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.
LibreCat
Z. Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.
2020 | Conference Paper | LibreCat-ID: 3800
Intrinsic Quality Assessment of Arguments
H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020, pp. 6739–6745.
LibreCat
| Download (ext.)
H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020, pp. 6739–6745.
2020 | Conference Paper | LibreCat-ID: 3878
Analyzing the Persuasive Effect of Style in News Editorial Argumentation
R. El Baff, H. Wachsmuth, K. Al-Khatib, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
LibreCat
R. El Baff, H. Wachsmuth, K. Al-Khatib, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
2020 | Journal Article | LibreCat-ID: 28842
Relevanz schulischer Medienkonzepte als Orientierung für die Schule im Zuge der fortschreitenden Digitalisierung
M. Heldt, R. Lorenz, B. Eickelmann, Unterrichtswissenschaft 48 (2020) 447–468.
LibreCat
| DOI
M. Heldt, R. Lorenz, B. Eickelmann, Unterrichtswissenschaft 48 (2020) 447–468.
2020 | Book Chapter | LibreCat-ID: 28859
Students’ computer literacy and the use of tablets in upper secondary schools
B. Eickelmann, K. Drossel, in: A. Tatnall (Ed.), Encyclopedia of Education and Information Technologies, Springer, Cham, 2020, pp. 1577–1589.
LibreCat
| DOI
B. Eickelmann, K. Drossel, in: A. Tatnall (Ed.), Encyclopedia of Education and Information Technologies, Springer, Cham, 2020, pp. 1577–1589.
2020 | Journal Article | LibreCat-ID: 29045 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen
G. Engels, Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO) (2020) 363–370.
LibreCat
| DOI
| Download (ext.)
G. Engels, Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO) (2020) 363–370.
2020 | Journal Article | LibreCat-ID: 27013
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
J. Rienks, K.J. Penczynski, S. Schmitting, A. Buyken, U. Nöthlings, British Journal of Nutrition (2020) 1198–1206.
LibreCat
| DOI
J. Rienks, K.J. Penczynski, S. Schmitting, A. Buyken, U. Nöthlings, British Journal of Nutrition (2020) 1198–1206.
2020 | Journal Article | LibreCat-ID: 27091
Systematische Entwicklung von Normstrategien für Smart Services
C. Koldewey, M. Frank, J. Gausemeier, A. Bäsecke, N. Chohan, J. Reinhold, ZWF, Zeitschrift Für Wirtschaftliche Fabrikplanung 115(7-8) (2020) 524–528.
LibreCat
C. Koldewey, M. Frank, J. Gausemeier, A. Bäsecke, N. Chohan, J. Reinhold, ZWF, Zeitschrift Für Wirtschaftliche Fabrikplanung 115(7-8) (2020) 524–528.
2020 | Journal Article | LibreCat-ID: 27797
World trends in sugar-sweetened beverage and dietary sugar intakes in children and adolescents: a systematic review
K. Della Corte, J. Fife, A. Gardner, B.L. Murphy, L. Kleis, D. Della Corte, L. Schwingshackl, J.D. LeCheminant, A. Buyken, Nutrition Reviews (2020) 274–288.
LibreCat
| DOI
K. Della Corte, J. Fife, A. Gardner, B.L. Murphy, L. Kleis, D. Della Corte, L. Schwingshackl, J.D. LeCheminant, A. Buyken, Nutrition Reviews (2020) 274–288.
2020 | Journal Article | LibreCat-ID: 27864
The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data
M. Heldt, C. Massek, K. Drossel, B. Eickelmann, Large-Scale Assessments in Education 8 (2020) 1–20.
LibreCat
| DOI
M. Heldt, C. Massek, K. Drossel, B. Eickelmann, Large-Scale Assessments in Education 8 (2020) 1–20.
2020 | Book Chapter | LibreCat-ID: 27867
Students’ computer literacy and the use of tablets in upper secondary schools
B. Eickelmann, K. Drossel, in: A. Tatnall (Ed.), Encyclopedia of Education and Information Technologies, Springer, Cham, 2020, pp. 1577–1589.
LibreCat
| DOI
B. Eickelmann, K. Drossel, in: A. Tatnall (Ed.), Encyclopedia of Education and Information Technologies, Springer, Cham, 2020, pp. 1577–1589.
2020 | Journal Article | LibreCat-ID: 21016
Owicki-Gries Reasoning for C11 RAR (Artifact)
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
LibreCat
| DOI
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
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 | 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.