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, F. P. (2020). Design and Implementation of a ReconOS-based TensorFlow Lite Delegate Architecture.
LibreCat
2020 | Journal Article | LibreCat-ID: 16277 | 
Kühne, T., Iannuzzi, M., Ben, M. D., Rybkin, V. V., Seewald, P., Stein, F., Laino, T., Khaliullin, R. Z., Schütt, O., Schiffmann, F., Golze, D., Wilhelm, J., Chulkov, S., Mohammad Hossein Bani-Hashemian, M. H. B.-H., Weber, V., Borstnik, U., Taillefumier, M., Jakobovits, A. S., Lazzaro, A., … Hutter, J. (2020). CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations. The Journal of Chemical Physics, 152(19), Article 194103. https://doi.org/10.1063/5.0007045
LibreCat
| Files available
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 16898
Lass, M., Schade, R., Kühne, T., & Plessl, C. (2020). 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), 1127–1140. https://doi.org/10.1109/SC41405.2020.00084
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 29042
Röder, M., Sherif, M., Saleem, M., Conrads, F., & Ngonga Ngomo, A.-C. (2020). Benchmarking the Lifecycle of Knowledge Graphs. In I. Tiddi, F. Lécué, & P. Hitzler (Eds.), Knowledge Graphs for eXplainable Artificial Intelligence: Foundations, Applications and Challenges (pp. 73–97). IOS Press. https://doi.org/10.3233/SSW200012
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21632
Meyer, M., Kenter, T., & Plessl, C. (2020). 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). https://doi.org/10.1109/h2rc51942.2020.00007
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 12878 |
Rengaraj, V., Lass, M., Plessl, C., & Kühne, T. (2020). Accurate Sampling with Noisy Forces from Approximate Computing. Computation, 8(2), Article 39. https://doi.org/10.3390/computation8020039
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2020). Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. In S. Borgwardt & T. Meyer (Eds.), 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 (Vol. 2663). CEUR-WS.org.
LibreCat
2020 | Book Chapter | LibreCat-ID: 35821
Budde, L., Frischemeier, D., Biehler, R., Fleischer, F. Y., Gerstenberger, D., Podworny, S., & Schulte, C. (2020). Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP. In P. Arnold (Ed.), New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable conference of the International Association for Statistical Education (IASE), July 2020. ISI/IASE.
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20510
Benz, M., Krogh Kristensen, E., Luo, L., P. Borges Jr., N., Bodden, E., & Zeller, A. (2020). Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis. International Conference for Software Engineering (ICSE).
LibreCat
2020 | Journal Article | LibreCat-ID: 20508
Nguyen Quang Do, L., & Bodden, E. (2020). Explaining Static Analysis with Rule Graphs. IEEE Transactions on Software Engineering.
LibreCat
| Download (ext.)
2019 | Preprint | LibreCat-ID: 19523
Pfannschmidt, K., Gupta, P., & Hüllermeier, E. (2019). Learning Choice Functions: Concepts and Architectures. ArXiv:1901.10860.
LibreCat
2019 | Conference Paper | LibreCat-ID: 3287 |
Schneider, S. B., Sharma, A., Karl, H., & Wehrheim, H. (2019). Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM) (pp. 116--124). Washington, DC, USA: IFIP.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 3585
Witschen, L. M., Wiersema, T., Ghasemzadeh Mohammadi, H., Awais, M., & Platzner, M. (2019). CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Microelectronics Reliability, 99, 277–290. https://doi.org/10.1016/j.microrel.2019.04.003
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 2916
Brauer, S. (2019). Complexity of single-swap heuristics for metric facility location and related problems. Theoretical Computer Science, 754, 88–106. https://doi.org/10.1016/j.tcs.2018.04.048
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17339
Carmona, J., Engels, G., Kumar, A., & Reichert, M. (2019). Special issue: Selected papers of BPM 2017. Information Systems, 238–239. https://doi.org/10.1016/j.is.2019.06.001
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 17342
Engels, G., Burgueno, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., … Kappel, G. (2019). 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). https://doi.org/10.1109/models-c48269.2019
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17343
Engels, G., Becker, C., Feenberg, A., Ferrario, M. A., & Fitzpatrick, G. (2019). Values in Computing (Dagstuhl Seminar 19291). Dagstuhl Reports 9(7). https://doi.org/10.4230/DAGREP.9.7.40
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17392
Massmann, M., Meyer, M., Dumitrescu, R., Enzberg, S. von, Frank, M., Koldewey, C., … Reinhold, J. (2019). Significance and Challenges of Data-driven Product Generation and Retrofit Planning. Procedia CIRP, 992–997. https://doi.org/10.1016/j.procir.2019.04.226
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17395
Koldewey, C., Reinhold, J., Dumitrescu, R., Frank, M., Schweppe, T., & Melzer, A. (2019). Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services. ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, 380–384. https://doi.org/10.3139/104.112113
LibreCat
| DOI
2019 | Newspaper Article | LibreCat-ID: 17402
Koldewey, C., & Dumitrescu, R. (2019). Strategie als Erfolgsfaktor. ServiceToday, pp. 76–77.
LibreCat