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.
9290 Publications
2020 | Conference Paper | LibreCat-ID: 27097
Pierenkemper C, Gausemeier J. Developing Strategies for Digital Transformation in SMEs with Maturity Models. In: Proceeding of the ISPIM Connects, 1. - 4. Mrz. 2020. International Society for Professional Innovation Management (ISPIM); 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 27795
Kupriyanova Y, Zaharia OP, Bobrov P, et al. Early changes in hepatic energy metabolism and lipid content in recent-onset type 1 and 2 diabetes mellitus. Journal of Hepatology. Published online 2020:1028-1037. doi:10.1016/j.jhep.2020.11.030
LibreCat
| DOI
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: 27800
Hua Y, Herder C, Kalhoff H, et al. Inflammatory mediators in the adipo-renal axis: leptin, adiponectin, and soluble ICAM-1. American Journal of Physiology-Renal Physiology. Published online 2020:F469-F475. doi:10.1152/ajprenal.00257.2020
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27864
Heldt M, Massek C, Drossel K, Eickelmann B. The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data. Large-scale Assessments in Education. 2020;8:1-20. doi:10.1186/s40536-020-00090-1
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 27867
Eickelmann B, Drossel K. Students’ computer literacy and the use of tablets in upper secondary schools. In: Tatnall A, ed. Encyclopedia of Education and Information Technologies. Springer; 2020:1577-1589. doi:10.1007/978-3-030-10576-1
LibreCat
| DOI
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 | 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
2020 | Bachelorsthesis | LibreCat-ID: 21119
Westerwelle M. Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions.; 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
Anonymous A. Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems.; 2020.
LibreCat
2020 | Report | LibreCat-ID: 21152
Otroshi M, Meschut G, Masendorf L, Esderts A. Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB); 2020.
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 21174
Alexandrovsky D, Volkmar G, Spliethöver M, et al. Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy. In: Proceedings of the Annual Symposium on Computer-Human Interaction in Play. CHI PLAY’20. New York, NY, USA: Association for Computing Machinery; 2020:32–45. doi:10.1145/3410404.3414222
LibreCat
| DOI
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 21268
Huhmann T, Eilterts K, Schulte C, Winkelnkemper F. 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; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21269
Ködding P, Reinhold J, Scholtysik M, Dumitrescu R. Consulting via Research in IMPRESS. Journal of Systemics, Cybernetics and Informatics. 2020;18(2):14-19.
LibreCat
2020 | Journal Article | LibreCat-ID: 21281
Drewel M, Özcan L, Koldewey C, Gausemeier J. Pattern‐based development of digital platforms. Creativity and Innovation Management. 2020. doi:10.1111/caim.12415
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21282
Mirbabaie M, Bunker D, Stieglitz S, Marx J, Ehnis C. Social media in times of crisis: Learning from Hurricane Harvey for the coronavirus disease 2019 pandemic response. Journal of Information Technology. 2020:195-213. doi:10.1177/0268396220929258
LibreCat
| DOI