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.
5948 Publications
2020 | Mastersthesis | LibreCat-ID: 21433
Jentzsch, Felix P. Design and Implementation of a ReconOS-Based TensorFlow Lite Delegate Architecture. 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 16277 | 
Kühne, Thomas, 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, 194103, 2020, doi:10.1063/5.0007045.
LibreCat
| Files available
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 16898
Lass, Michael, et al. “A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K.” Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer Society, 2020, pp. 1127–40, doi:10.1109/SC41405.2020.00084.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 29042
Röder, Michael, et al. “Benchmarking the Lifecycle of Knowledge Graphs.” Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges, edited by Ilaria Tiddi et al., IOS Press, 2020, pp. 73–97, doi:10.3233/SSW200012.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21632
Meyer, Marius, et al. “Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite.” 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020, doi:10.1109/h2rc51942.2020.00007.
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 12878 |
Rengaraj, Varadarajan, et al. “Accurate Sampling with Noisy Forces from Approximate Computing.” Computation, vol. 8, no. 2, 39, MDPI, 2020, doi:10.3390/computation8020039.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff, Clemens, et al. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” 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, edited by Stefan Borgwardt and Thomas Meyer, vol. 2663, CEUR-WS.org, 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 35821
Budde, Lea, et al. “Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP.” New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable Conference of the International Association for Statistical Education (IASE), July 2020, edited by P. Arnold, ISI/IASE, 2020.
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20510
Benz, Manuel, et al. “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis.” International Conference for Software Engineering (ICSE), 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20508
Nguyen Quang Do, Lisa, and Eric Bodden. “Explaining Static Analysis with Rule Graphs.” IEEE Transactions on Software Engineering, 2020.
LibreCat
| Download (ext.)
2019 | Preprint | LibreCat-ID: 19523
Pfannschmidt, Karlson, et al. “Learning Choice Functions: Concepts and Architectures.” ArXiv:1901.10860, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 3287 |
Schneider, Stefan Balthasar, et al. “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.” 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, 2019, pp. 116--124.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 3585
Witschen, Linus Matthias, et al. “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation.” Microelectronics Reliability, vol. 99, Elsevier, 2019, pp. 277–90, doi:10.1016/j.microrel.2019.04.003.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 2916
Brauer, Sascha. “Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems.” Theoretical Computer Science, vol. 754, Elsevier, 2019, pp. 88–106, doi:10.1016/j.tcs.2018.04.048.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17339
Carmona, Josep, et al. “Special Issue: Selected Papers of BPM 2017.” Information Systems, 2019, pp. 238–39, doi:10.1016/j.is.2019.06.001.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 17342
Engels, Gregor, et al. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). 2019, doi:10.1109/models-c48269.2019.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17343
Engels, Gregor, et al. “Values in Computing (Dagstuhl Seminar 19291).” Dagstuhl Reports 9(7), 2019, doi:10.4230/DAGREP.9.7.40.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17392
Massmann, Melina, et al. “Significance and Challenges of Data-Driven Product Generation and Retrofit Planning.” Procedia CIRP, 2019, pp. 992–97, doi:10.1016/j.procir.2019.04.226.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17395
Koldewey, Christian, et al. “Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services.” ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, 2019, pp. 380–84, doi:10.3139/104.112113.
LibreCat
| DOI
2019 | Newspaper Article | LibreCat-ID: 17402
Koldewey, Christian, and Roman Dumitrescu. “Strategie als Erfolgsfaktor.” ServiceToday, no. 4, 2019, pp. 76–77.
LibreCat