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.
9307 Publications
2020 | Journal Article | LibreCat-ID: 27019
@article{Milos_Antel_Kaufmann_Barth_Koller_Tan_Wiesing_Hinney_Libuda_Wabitsch_et al._2020, title={Short-term metreleptin treatment of patients with anorexia nervosa: rapid on-set of beneficial cognitive, emotional, and behavioral effects}, DOI={10.1038/s41398-020-00977-1}, journal={Translational Psychiatry}, author={Milos, Gabriella and Antel, Jochen and Kaufmann, Lisa-Katrin and Barth, Nikolaus and Koller, Antonia and Tan, Susanne and Wiesing, Urban and Hinney, Anke and Libuda, Lars and Wabitsch, Martin and et al.}, year={2020} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27091
@article{Koldewey_Frank_Gausemeier_Bäsecke_Chohan_Reinhold_2020, title={Systematische Entwicklung von Normstrategien für Smart Services}, journal={ZWF, Zeitschrift für wirtschaftliche Fabrikplanung 115(7-8)}, author={Koldewey, Christian and Frank, Maximilian and Gausemeier, Jürgen and Bäsecke, Alexander and Chohan, Nadia and Reinhold, Jannik}, year={2020}, pages={524–528} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 27097
@inproceedings{Pierenkemper_Gausemeier_2020, title={Developing Strategies for Digital Transformation in SMEs with Maturity Models}, booktitle={Proceeding of the ISPIM Connects, 1. - 4. Mrz. 2020}, publisher={International Society for Professional Innovation Management (ISPIM)}, author={Pierenkemper, Christoph and Gausemeier, Jürgen}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 27795
@article{Kupriyanova_Zaharia_Bobrov_Karusheva_Burkart_Szendroedi_Hwang_Roden_Roden_Al-Hasani_et al._2020, title={Early changes in hepatic energy metabolism and lipid content in recent-onset type 1 and 2 diabetes mellitus}, DOI={10.1016/j.jhep.2020.11.030}, journal={Journal of Hepatology}, author={Kupriyanova, Yuliya and Zaharia, Oana Patricia and Bobrov, Pavel and Karusheva, Yanislava and Burkart, Volker and Szendroedi, Julia and Hwang, Jong-Hee and Roden, Michael and Roden, M. and Al-Hasani, H. and et al.}, year={2020}, pages={1028–1037} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27797
@article{Della Corte_Fife_Gardner_Murphy_Kleis_Della Corte_Schwingshackl_LeCheminant_Buyken_2020, title={World trends in sugar-sweetened beverage and dietary sugar intakes in children and adolescents: a systematic review}, DOI={10.1093/nutrit/nuaa070}, journal={Nutrition Reviews}, author={Della Corte, Karen and Fife, Jessica and Gardner, Alexis and Murphy, Britta L and Kleis, Linda and Della Corte, Dennis and Schwingshackl, Lukas and LeCheminant, James D and Buyken, Anette}, year={2020}, pages={274–288} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27800
@article{Hua_Herder_Kalhoff_Buyken_Esche_Krupp_Wudy_Remer_2020, title={Inflammatory mediators in the adipo-renal axis: leptin, adiponectin, and soluble ICAM-1}, DOI={10.1152/ajprenal.00257.2020}, journal={American Journal of Physiology-Renal Physiology}, author={Hua, Yifan and Herder, Christian and Kalhoff, Hermann and Buyken, Anette and Esche, Jonas and Krupp, Danika and Wudy, Stefan A. and Remer, Thomas}, year={2020}, pages={F469–F475} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27864
@article{Heldt_Massek_Drossel_Eickelmann_2020, title={The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data}, volume={8}, DOI={10.1186/s40536-020-00090-1}, journal={Large-scale Assessments in Education}, author={Heldt, Melanie and Massek, Corinna and Drossel, Kerstin and Eickelmann, Birgit}, year={2020}, pages={1–20} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 27867
@inbook{Eickelmann_Drossel_2020, place={Cham}, title={Students’ computer literacy and the use of tablets in upper secondary schools}, DOI={10.1007/978-3-030-10576-1}, booktitle={Encyclopedia of Education and Information Technologies}, publisher={Springer}, author={Eickelmann, Birgit and Drossel, Kerstin}, editor={Tatnall, Arthur}, year={2020}, pages={1577–1589} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21016
@article{Dalvandi_Doherty_Dongol_Wehrheim_2020, title={Owicki-Gries Reasoning for C11 RAR (Artifact)}, volume={6}, DOI={10.4230/DARTS.6.2.15}, number={2}, journal={Dagstuhl Artifacts Ser.}, author={Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}, year={2020}, pages={15:1-15:2} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
@inproceedings{Dalvandi_Doherty_Dongol_Wehrheim_2020, series={LIPIcs}, title={Owicki-Gries Reasoning for C11 RAR}, volume={166}, DOI={10.4230/LIPIcs.ECOOP.2020.11}, booktitle={34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)}, publisher={Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, author={Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}, editor={Hirschfeld, Robert and Pape, TobiasEditors}, year={2020}, pages={11:1-11:26}, collection={LIPIcs} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
@inproceedings{Richter_Wehrheim_2020, title={Attend and Represent: A Novel View on Algorithm Selection for Software Verification}, booktitle={35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020}, publisher={{IEEE}}, author={Richter, Cedric and Wehrheim, Heike}, year={2020}, pages={1016–1028} }
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 21117
@book{Manegold_2020, title={On Batch Proofs of Partial Knowledge}, author={Manegold, Philipp}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
@book{Anonymous_2020, title={Measuring the Performance of SNARK Libraries}, author={Anonymous, Anonymous}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
@book{Westerwelle_2020, title={Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions}, author={Westerwelle, Max}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
@book{Anonymous_2020, title={Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems}, author={Anonymous, Anonymous}, year={2020} }
LibreCat
2020 | Report | LibreCat-ID: 21152
@book{Otroshi_Meschut_Masendorf_Esderts_2020, title={Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile}, publisher={Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB)}, author={Otroshi, Mortaza and Meschut, Gerson and Masendorf, Lukas and Esderts, Alfons}, year={2020} }
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 21174
@inproceedings{Alexandrovsky_Volkmar_Spliethöver_Finke_Herrlich_Döring_Smeddinck_Malaka_2020, place={New York, NY, USA}, series={CHI PLAY’20}, title={Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy}, DOI={10.1145/3410404.3414222}, booktitle={Proceedings of the Annual Symposium on Computer-Human Interaction in Play}, publisher={Association for Computing Machinery}, author={Alexandrovsky, Dmitry and Volkmar, Georg and Spliethöver, Maximilian and Finke, Stefan and Herrlich, Marc and Döring, Tanja and Smeddinck, Jan David and Malaka, Rainer}, year={2020}, pages={32–45}, collection={CHI PLAY’20} }
LibreCat
| DOI
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 21268
@inbook{Huhmann_Eilterts_Schulte_Winkelnkemper_2020, title={Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken}, booktitle={Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis}, publisher={Waxmann Verlag}, author={Huhmann, Tobias and Eilterts, Katja and Schulte, Carsten and Winkelnkemper, Felix}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 21269
@article{Ködding_Reinhold_Scholtysik_Dumitrescu_2020, title={Consulting via Research in IMPRESS}, volume={18}, number={2}, journal={Journal of Systemics, Cybernetics and Informatics}, author={Ködding, Patrick and Reinhold, Jannik and Scholtysik, Michel and Dumitrescu, Roman}, year={2020}, pages={14–19} }
LibreCat