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.
5928 Publications
2020 | Conference Paper | LibreCat-ID: 46322
J. Bossek, C. Grimme, G. Rudolph, and H. Trautmann, “Towards Decision Support in Dynamic Bi-Objective Vehicle Routing,” in Proceedings of the IEEE Congress on Evolutionary Computation (CEC), 2020, pp. 1–8, doi: 10.1109/CEC48606.2020.9185778.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 46324
J. Bossek, P. Kerschke, and H. Trautmann, “Anytime Behavior of Inexact TSP Solvers and Perspectives for Automated Algorithm Selection,” in Proceedings of the IEEE Congress on Evolutionary Computation (CEC), 2020, pp. 1–8.
LibreCat
2020 | Conference Paper | LibreCat-ID: 46323
J. Bossek, C. Grimme, and H. Trautmann, “Dynamic Bi-Objective Routing of Multiple Vehicles,” in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO ’20), 2020, pp. 166–174.
LibreCat
2020 | Conference Paper | LibreCat-ID: 35814
R. Biehler et al., “Data science education in secondary schools: Teaching and learning decision trees with CODAP and Jupyter Notebooks as an example of integrating machine learning into statistics education,” in New Skills in the Changing World of Statistics Education Proceedings of the Roundtable conference of the International Association for Statistical Education (IASE), 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 37122
N. Niewöhner, L. Asmar, D. Röltgen, A. Kühn, and R. Dumitrescu, “The impact of the 4th industrial revolution on the design fields of innovation management,” Procedia CIRP, vol. 91, pp. 43–48, 2020, doi: 10.1016/j.procir.2020.02.149.
LibreCat
| DOI
2020 | Book | LibreCat-ID: 37125
G. Schuh, R. Anderl, R. Dumitrescu, A. Krüger, and M. ten Hompel, Der Industrie 4.0 Maturity Index in der betrieblichen Anwendung. Aktuelle Herausforderungen, Fallbeispiele und Entwicklungstrends (acatech KOOPERATION). München: acatech – Deutsche Akademie der Technikwissenschaften, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16214
F. Pauck, E. Bodden, and H. Wehrheim, “Reproducing Taint-Analysis Results with ReproDroid,” in Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, 2020, pp. 123–124, doi: 10.18420/SE2020_36.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 8426
A. Broadbent, S. Gharibian, and H.-S. Zhou, “Towards Quantum One-Time Memories from Stateless Hardware,” in Proceedings of the 15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC), 2020, vol. 158, p. 6:1-6:25.
LibreCat
| Download (ext.)
| arXiv
2020 | Journal Article | LibreCat-ID: 16927 |

S. Gharibian, M. Aldi, N. de Beaudrap, and S. Saeedi, “On efficiently solvable cases of Quantum k-SAT,” Communications in Mathematical Physics, 2020.
LibreCat
| Download (ext.)
| arXiv
2020 | Mastersthesis | LibreCat-ID: 45232
N. N., A Framework for Measurable Value Propositions of Mobile Applications. 2020.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 45234
N. N., Model-Based Product Configuration in Augmented Reality Applications. 2020.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 45235
N. N., Design and Implementation of a Crowd-based Prototype Validation Platform. 2020.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 21433
F. P. Jentzsch, Design and Implementation of a ReconOS-based TensorFlow Lite Delegate Architecture. 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 16277 |

T. Kühne et al., “CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations,” The Journal of Chemical Physics, vol. 152, no. 19, Art. no. 194103, 2020, doi: 10.1063/5.0007045.
LibreCat
| Files available
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 16898
M. Lass, R. Schade, T. Kühne, and C. Plessl, “A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K,” in Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), Atlanta, GA, US, 2020, pp. 1127–1140, doi: 10.1109/SC41405.2020.00084.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 29042
M. Röder, M. Sherif, M. Saleem, F. Conrads, and A.-C. Ngonga Ngomo, “Benchmarking the Lifecycle of Knowledge Graphs,” in Knowledge Graphs for eXplainable Artificial Intelligence: Foundations, Applications and Challenges, I. Tiddi, F. Lécué, and P. Hitzler, Eds. IOS Press, 2020, pp. 73–97.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21632
M. Meyer, T. Kenter, and C. Plessl, “Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite,” 2020, doi: 10.1109/h2rc51942.2020.00007.
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 12878 |

V. Rengaraj, M. Lass, C. Plessl, and T. Kühne, “Accurate Sampling with Noisy Forces from Approximate Computing,” Computation, vol. 8, no. 2, Art. no. 39, 2020, doi: 10.3390/computation8020039.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 52936
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification,” in Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, 2020, vol. 2663.
LibreCat
2020 | Book Chapter | LibreCat-ID: 35821
L. Budde et al., “Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP,” in New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable conference of the International Association for Statistical Education (IASE), July 2020, P. Arnold, Ed. Voorborg, The Netherlands: ISI/IASE, 2020.
LibreCat
| Files available
| Download (ext.)