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.
6261 Publications
2020 | Conference Paper | LibreCat-ID: 16214
Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Reproducing Taint-Analysis Results with ReproDroid.” In Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, edited by Michael Felderer, Wilhelm Hasselbring, Rick Rabiser, and Reiner Jung, 123–24. {LNI}. Gesellschaft f{\"{u}}r Informatik e.V., 2020. https://doi.org/10.18420/SE2020_36.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 8426
Broadbent, Anne, Sevag Gharibian, and Hong-Sheng 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), 158:6:1-6:25. Leibniz International Proceedings in Informatics (LIPIcs), 2020.
LibreCat
| Download (ext.)
| arXiv
2020 | Journal Article | LibreCat-ID: 16927 | 
Gharibian, Sevag, Marco Aldi, Niel de Beaudrap, and Seyran 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
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, Marcella Iannuzzi, Mauro Del Ben, Vladimir V. Rybkin, Patrick Seewald, Frederick Stein, Teodoro Laino, et al. “CP2K: An Electronic Structure and Molecular Dynamics Software Package - Quickstep: Efficient and Accurate Electronic Structure Calculations.” The Journal of Chemical Physics 152, no. 19 (2020). https://doi.org/10.1063/5.0007045.
LibreCat
| Files available
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 16898
Lass, Michael, Robert Schade, Thomas Kühne, and Christian 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), 1127–40. Los Alamitos, CA, USA: IEEE Computer Society, 2020. https://doi.org/10.1109/SC41405.2020.00084.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 29042
Röder, Michael, Mohamed Sherif, Muhammad Saleem, Felix Conrads, and Axel-Cyrille Ngonga Ngomo. “Benchmarking the Lifecycle of Knowledge Graphs.” In Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges, edited by Ilaria Tiddi, Freddy Lécué, and Pascal Hitzler, 73–97. IOS Press, 2020. https://doi.org/10.3233/SSW200012.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21632
Meyer, Marius, Tobias Kenter, and Christian Plessl. “Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite.” In 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020. https://doi.org/10.1109/h2rc51942.2020.00007.
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 12878 |
Rengaraj, Varadarajan, Michael Lass, Christian Plessl, and Thomas Kühne. “Accurate Sampling with Noisy Forces from Approximate Computing.” Computation 8, no. 2 (2020). https://doi.org/10.3390/computation8020039.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin 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, edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings. CEUR-WS.org, 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 35821
Budde, Lea, Daniel Frischemeier, Rolf Biehler, Franz Yannik Fleischer, Dietrich Gerstenberger, Susanne Podworny, and Carsten Schulte. “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, edited by P. Arnold. Voorborg, The Netherlands: ISI/IASE, 2020.
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20510
Benz, Manuel, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges Jr., Eric Bodden, and Andreas Zeller. “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis.” In 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.)
2020 | Journal Article | LibreCat-ID: 60386
Schmidt, Patrick, Marcel Campen, Janis Born, and Leif Kobbelt. “Inter-Surface Maps via Constant-Curvature Metrics.” ACM Transactions on Graphics 39, no. 4 (2020). https://doi.org/10.1145/3386569.3392399.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 60385
Mandad, Manish, and Marcel Campen. “Bézier Guarding.” ACM Transactions on Graphics 39, no. 4 (2020). https://doi.org/10.1145/3386569.3392372.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 60383
Zhou, Jiaran, Changhe Tu, Denis Zorin, and Marcel Campen. “Combinatorial Construction of Seamless Parameter Domains.” Computer Graphics Forum 39, no. 2 (2020): 179–90. https://doi.org/10.1111/cgf.13922.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 60382
Mandad, Manish, and Marcel Campen. “Efficient Piecewise Higher-Order Parametrization of Discrete Surfaces with Local and Global Injectivity.” Computer-Aided Design 127 (2020). https://doi.org/10.1016/j.cad.2020.102862.
LibreCat
| DOI