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.
12193 Publications
2020 | Journal Article | LibreCat-ID: 27013
Rienks, Johanna, Katharina J. Penczynski, Sarah Schmitting, Anette Buyken, and Ute 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, 2020, 1198–1206. https://doi.org/10.1017/s000711452000183x.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27091
Koldewey, Christian, Maximilian Frank, Jürgen Gausemeier, Alexander Bäsecke, Nadia Chohan, and Jannik Reinhold. “Systematische Entwicklung von Normstrategien Für Smart Services.” ZWF, Zeitschrift Für Wirtschaftliche Fabrikplanung 115(7-8), 2020, 524–28.
LibreCat
2020 | Journal Article | LibreCat-ID: 27797
Della Corte, Karen, Jessica Fife, Alexis Gardner, Britta L Murphy, Linda Kleis, Dennis Della Corte, Lukas Schwingshackl, James D LeCheminant, and Anette Buyken. “World Trends in Sugar-Sweetened Beverage and Dietary Sugar Intakes in Children and Adolescents: A Systematic Review.” Nutrition Reviews, 2020, 274–88. https://doi.org/10.1093/nutrit/nuaa070.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27864
Heldt, Melanie, Corinna Massek, Kerstin Drossel, and Birgit 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 8 (2020): 1–20. https://doi.org/10.1186/s40536-020-00090-1.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 27867
Eickelmann, Birgit, and Kerstin Drossel. “Students’ Computer Literacy and the Use of Tablets in Upper Secondary Schools.” In Encyclopedia of Education and Information Technologies, edited by Arthur Tatnall, 1577–89. Cham: Springer, 2020. https://doi.org/10.1007/978-3-030-10576-1.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21016
Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning for C11 RAR (Artifact).” Dagstuhl Artifacts Ser. 6, no. 2 (2020): 15:1-15:2. https://doi.org/10.4230/DARTS.6.2.15.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike 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), edited by Robert Hirschfeld and Tobias Pape, 166:11:1-11:26. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020. https://doi.org/10.4230/LIPIcs.ECOOP.2020.11.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
Richter, Cedric, and Heike 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, 1016–28. {IEEE}, 2020.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-50995-8.
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 21117
Manegold, Philipp. On Batch Proofs of Partial Knowledge, 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
Anonymous, Anonymous. Measuring the Performance of SNARK Libraries, 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
Westerwelle, Max. Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
Anonymous, Anonymous. Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, 2020.
LibreCat
2020 | Report | LibreCat-ID: 21152
Otroshi, Mortaza, Gerson Meschut, Lukas Masendorf, and Alfons Esderts. Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB), 2020.
LibreCat
| Files available
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 21268
Huhmann, Tobias, Katja Eilterts, Carsten Schulte, and Felix Winkelnkemper. “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, Patrick, Jannik Reinhold, Michel Scholtysik, and Roman Dumitrescu. “Consulting via Research in IMPRESS.” Journal of Systemics, Cybernetics and Informatics 18, no. 2 (2020): 14–19.
LibreCat
2020 | Journal Article | LibreCat-ID: 21281
Drewel, Marvin, Leon Özcan, Christian Koldewey, and Jürgen Gausemeier. “Pattern‐based Development of Digital Platforms.” Creativity and Innovation Management, 2020. https://doi.org/10.1111/caim.12415.
LibreCat
| DOI
2020 | Mastersthesis | LibreCat-ID: 21324
Chandrakar, Khushboo. Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21377
Pierenkemper, Christoph, and Jürgen Gausemeier. “Developing Strategies for Digital Transformation in SMEs with Maturity Models.” In Proceeding of the ISPIM Connects, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21379
Dumitrescu, Roman, Marvin Drewel, and Tommy Falkowski. “KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung.” ZWF, Zeitschrift für wirtschaftliche Fabrikplanung, no. 1–2 (2020): 86–90.
LibreCat