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.
6274 Publications
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.)
2020 | Conference Paper | LibreCat-ID: 20510
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, and A. Zeller, “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis,” 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20508
L. Nguyen Quang Do and E. Bodden, “Explaining Static Analysis with Rule Graphs,” IEEE Transactions on Software Engineering, 2020.
LibreCat
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 60386
P. Schmidt, M. Campen, J. Born, and L. Kobbelt, “Inter-surface maps via constant-curvature metrics,” ACM Transactions on Graphics, vol. 39, no. 4, 2020, doi: 10.1145/3386569.3392399.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 60385
M. Mandad and M. Campen, “Bézier guarding,” ACM Transactions on Graphics, vol. 39, no. 4, 2020, doi: 10.1145/3386569.3392372.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 60383
J. Zhou, C. Tu, D. Zorin, and M. Campen, “Combinatorial Construction of Seamless Parameter Domains,” Computer Graphics Forum, vol. 39, no. 2, pp. 179–190, 2020, doi: 10.1111/cgf.13922.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 60382
M. Mandad and M. Campen, “Efficient piecewise higher-order parametrization of discrete surfaces with local and global injectivity,” Computer-Aided Design, vol. 127, Art. no. 102862, 2020, doi: 10.1016/j.cad.2020.102862.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21267
L. Budde, C. Schulte, H. M. Buhl, and A. Muehling, “Understanding and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication Follows),” Seventh International Conference on Learning and Teaching in Computing and Engineeringe, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 15266
E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, and G. Engels, “Integrated Model-driven Development of Self-adaptive User Interfaces ,” International Journal on Software and Systems Modeling (SoSyM), 2020.
LibreCat
| Download (ext.)
2019 | Preprint | LibreCat-ID: 19523
K. Pfannschmidt, P. Gupta, and E. Hüllermeier, “Learning Choice Functions: Concepts and Architectures,” arXiv:1901.10860. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 3287 |
S. B. Schneider, A. Sharma, H. Karl, and H. Wehrheim, “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets,” in 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), Washington, DC, USA, 2019, pp. 116--124.
LibreCat
| Files available
| Download (ext.)