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
F. Schlosser, Integration von Wärmepumpen zur Dekarbonisierung der industriellen Wärmeversorgung, vol. 25. Kassel: Kassel University Press, 2020.
LibreCat
 

2020 | Report | LibreCat-ID: 24669
T. Lieneke et al., Kombination und Integration etablierter Technologien mit additiven Fertigungsverfahren. 2020.
LibreCat | Files available
 

2020 | Journal Article | LibreCat-ID: 26529
R. Duan et al., “The overall diet quality in childhood is prospectively associated with the timing of puberty,” European Journal of Nutrition, pp. 2423–2434, 2020, doi: 10.1007/s00394-020-02425-8.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 3583
Z. Guetttatfi, P. Kaufmann, and M. Platzner, “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
H. Wachsmuth and T. Werner, “Intrinsic Quality Assessment of Arguments,” in Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020, pp. 6739–6745.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 3878
R. El Baff, H. Wachsmuth, K. Al-Khatib, and B. Stein, “Analyzing the Persuasive Effect of Style in News Editorial Argumentation,” in Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 29045 | OA
G. Engels, “Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen,” Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO), pp. 363–370, 2020, doi: 10.1007/s11612-020-00527-9.
LibreCat | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 27013
J. Rienks, K. J. Penczynski, S. Schmitting, A. Buyken, and U. Nöthlings, “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, pp. 1198–1206, 2020, doi: 10.1017/s000711452000183x.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 27051
J. Augustine, K. Hinnenthal, F. Kuhn, C. Scheideler, and P. Schneider, “Shortest Paths in a Hybrid Network Model,” in Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, SODA 2020, Salt Lake City, UT, USA, January 5-8, 2020, 2020, pp. 1280–1299, doi: 10.1137/1.9781611975994.78.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 27091
C. Koldewey, M. Frank, J. Gausemeier, A. Bäsecke, N. Chohan, and J. Reinhold, “Systematische Entwicklung von Normstrategien für Smart Services,” ZWF, Zeitschrift für wirtschaftliche Fabrikplanung 115(7-8), pp. 524–528, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 27797
K. Della Corte et al., “World trends in sugar-sweetened beverage and dietary sugar intakes in children and adolescents: a systematic review,” Nutrition Reviews, pp. 274–288, 2020, doi: 10.1093/nutrit/nuaa070.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 27806
I. Perrar, N. Gray, G. G. Kuhnle, T. Remer, A. Buyken, and U. Alexy, “Sugar intake among German adolescents: trends from 1990 to 2016 based on biomarker excretion in 24-h urine samples,” British Journal of Nutrition, pp. 164–172, 2020, doi: 10.1017/s0007114520000665.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 27834
K. Drossel and M. Heldt, “Medienbezogene Lehrerkooperation. Kooperationsformen und thematische Schwerpunkte,” Schulmagazin 5-10, pp. 11–14, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 21016
S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning for C11 RAR (Artifact),” Dagstuhl Artifacts Ser., vol. 6, no. 2, pp. 15:1-15:2, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21017
S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning for C11 RAR,” in 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), 2020, vol. 166, pp. 11:1-11:26.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21018
C. Richter and H. Wehrheim, “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, 2020, pp. 1016–1028.
LibreCat
 

2020 | Conference (Editor) | LibreCat-ID: 21019
W. Ahrendt and H. Wehrheim, Eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], vol. 12165. Springer, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 21078
P. Menke, “»ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen,” in Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag, B. Kluge, W. Mihatsch, and B. Schaller, Eds. Tübingen: Narr Francke Attempto, 2020, pp. 225–244.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21117
P. Manegold, On Batch Proofs of Partial Knowledge. 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21118
A. Anonymous, Measuring the Performance of SNARK Libraries. 2020.
LibreCat
 

Filters and Search Terms

isbn%3D978-0-9981331-5-7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed