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.
6112 Publications
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.)
2020 | Journal Article | LibreCat-ID: 60386
Schmidt, Patrick, et al. “Inter-Surface Maps via Constant-Curvature Metrics.” ACM Transactions on Graphics, vol. 39, no. 4, Association for Computing Machinery (ACM), 2020, doi:10.1145/3386569.3392399.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 60385
Mandad, Manish, and Marcel Campen. “Bézier Guarding.” ACM Transactions on Graphics, vol. 39, no. 4, Association for Computing Machinery (ACM), 2020, doi:10.1145/3386569.3392372.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 60383
Zhou, Jiaran, et al. “Combinatorial Construction of Seamless Parameter Domains.” Computer Graphics Forum, vol. 39, no. 2, Wiley, 2020, pp. 179–90, doi: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, vol. 127, 102862, Elsevier BV, 2020, doi:10.1016/j.cad.2020.102862.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21267
Budde, Lea, et al. “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, (IEEE), 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 15266
Yigitbas, Enes, et al. “Integrated Model-Driven Development of Self-Adaptive User Interfaces .” International Journal on Software and Systems Modeling (SoSyM), Springer, 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