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.
10096 Publications
2020 | Dissertation | LibreCat-ID: 24629
Schlosser F. Integration von Wärmepumpen Zur Dekarbonisierung Der Industriellen Wärmeversorgung. Vol 25. Kassel University Press; 2020.
LibreCat
2020 | Report | LibreCat-ID: 24669
Lieneke T, Künneke T, Eschner N, et al. Kombination und Integration etablierter Technologien mit additiven Fertigungsverfahren.; 2020.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 26529
Duan R, Qiao T, Chen Y, et al. The overall diet quality in childhood is prospectively associated with the timing of puberty. European Journal of Nutrition. Published online 2020:2423-2434. doi:10.1007/s00394-020-02425-8
LibreCat
| DOI
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: 27013
Rienks J, Penczynski KJ, Schmitting S, Buyken A, Nöthlings U. 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. Published online 2020:1198-1206. doi:10.1017/s000711452000183x
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 27051
Augustine J, Hinnenthal K, Kuhn F, Scheideler C, Schneider P. Shortest Paths in a Hybrid Network Model. In: Chawla S, ed. Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, SODA 2020, Salt Lake City, UT, USA, January 5-8, 2020. SIAM; 2020:1280-1299. doi:10.1137/1.9781611975994.78
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27091
Koldewey C, Frank M, Gausemeier J, Bäsecke A, Chohan N, Reinhold J. Systematische Entwicklung von Normstrategien für Smart Services. ZWF, Zeitschrift für wirtschaftliche Fabrikplanung 115(7-8). Published online 2020:524-528.
LibreCat
2020 | Journal Article | LibreCat-ID: 27797
Della Corte K, Fife J, Gardner A, et al. World trends in sugar-sweetened beverage and dietary sugar intakes in children and adolescents: a systematic review. Nutrition Reviews. Published online 2020:274-288. doi:10.1093/nutrit/nuaa070
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27806
Perrar I, Gray N, Kuhnle GG, Remer T, Buyken A, Alexy U. Sugar intake among German adolescents: trends from 1990 to 2016 based on biomarker excretion in 24-h urine samples. British Journal of Nutrition. Published online 2020:164-172. doi:10.1017/s0007114520000665
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27834
Drossel K, Heldt M. Medienbezogene Lehrerkooperation. Kooperationsformen und thematische Schwerpunkte. Schulmagazin 5-10. Published online 2020:11-14.
LibreCat
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 | Book Chapter | LibreCat-ID: 21078
Menke P. »ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen. In: Kluge B, Mihatsch W, Schaller B, eds. Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag. Tübingen: Narr Francke Attempto; 2020:225–244.
LibreCat
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