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.

9311 Publications


2020 | Book Chapter | LibreCat-ID: 28859
B. Eickelmann and K. Drossel, “Students’ computer literacy and the use of tablets in upper secondary schools,” in Encyclopedia of Education and Information Technologies, A. Tatnall, Ed. Cham: Springer, 2020, pp. 1577–1589.
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 27019
G. Milos et al., “Short-term metreleptin treatment of patients with anorexia nervosa: rapid on-set of beneficial cognitive, emotional, and behavioral effects,” Translational Psychiatry, 2020, doi: 10.1038/s41398-020-00977-1.
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 | Conference Paper | LibreCat-ID: 27097
C. Pierenkemper and J. Gausemeier, “Developing Strategies for Digital Transformation in SMEs with Maturity Models,” 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 27795
Y. Kupriyanova et al., “Early changes in hepatic energy metabolism and lipid content in recent-onset type 1 and 2 diabetes mellitus,” Journal of Hepatology, pp. 1028–1037, 2020, doi: 10.1016/j.jhep.2020.11.030.
LibreCat | DOI
 

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: 27800
Y. Hua et al., “Inflammatory mediators in the adipo-renal axis: leptin, adiponectin, and soluble ICAM-1,” American Journal of Physiology-Renal Physiology, pp. F469–F475, 2020, doi: 10.1152/ajprenal.00257.2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 27864
M. Heldt, C. Massek, K. Drossel, and B. Eickelmann, “The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data,” Large-scale Assessments in Education, vol. 8, pp. 1–20, 2020, doi: 10.1186/s40536-020-00090-1.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 27867
B. Eickelmann and K. Drossel, “Students’ computer literacy and the use of tablets in upper secondary schools,” in Encyclopedia of Education and Information Technologies, A. Tatnall, Ed. Cham: Springer, 2020, pp. 1577–1589.
LibreCat | DOI
 

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 | 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
 

2020 | Bachelorsthesis | LibreCat-ID: 21119
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions. 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21121
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems. 2020.
LibreCat
 

2020 | Report | LibreCat-ID: 21152
M. Otroshi, G. Meschut, L. Masendorf, and A. Esderts, Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB), 2020.
LibreCat | Files available | Download (ext.)
 

Filters and Search Terms

isbn%3D978-1-4503-0743-7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed