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 M, Sherif M, Saleem M, Conrads F, Ngonga Ngomo A-C. Benchmarking the Lifecycle of Knowledge Graphs. In: Tiddi I, Lécué F, Hitzler P, eds. Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges. IOS Press; 2020:73-97. doi:10.3233/SSW200012
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21632
Meyer M, Kenter T, Plessl C. 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. doi: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. Accurate Sampling with Noisy Forces from Approximate Computing. Computation. 2020;8(2). doi:10.3390/computation8020039
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff C, Koopmann P, Turhan A-Y. Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. In: Borgwardt S, Meyer T, 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 Workshop Proceedings. CEUR-WS.org; 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 35821
Budde L, Frischemeier D, Biehler R, et al. Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP. In: Arnold P, 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; 2020.
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. 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 L, Bodden E. Explaining Static Analysis with Rule Graphs. IEEE Transactions on Software Engineering. Published online 2020.
LibreCat
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 60386
Schmidt P, Campen M, Born J, Kobbelt L. Inter-surface maps via constant-curvature metrics. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392399
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 60385
Mandad M, Campen M. Bézier guarding. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392372
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 60383
Zhou J, Tu C, Zorin D, Campen M. Combinatorial Construction of Seamless Parameter Domains. Computer Graphics Forum. 2020;39(2):179-190. doi:10.1111/cgf.13922
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 60382
Mandad M, Campen M. Efficient piecewise higher-order parametrization of discrete surfaces with local and global injectivity. Computer-Aided Design. 2020;127. doi:10.1016/j.cad.2020.102862
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21267
Budde L, Schulte C, Buhl HM, Muehling A. 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. Published online 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 15266
Yigitbas E, Jovanovikj I, Biermeier K, Sauer S, Engels G. Integrated Model-driven Development of Self-adaptive User Interfaces . International Journal on Software and Systems Modeling (SoSyM). Published online 2020.
LibreCat
| Download (ext.)
2019 | Preprint | LibreCat-ID: 19523
Pfannschmidt K, Gupta P, Hüllermeier E. Learning Choice Functions: Concepts and Architectures. arXiv:190110860. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 3287 |
Schneider SB, Sharma A, Karl H, Wehrheim H. Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM). Washington, DC, USA: IFIP; 2019:116--124.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 3585
Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Microelectronics Reliability. 2019;99:277-290. doi:10.1016/j.microrel.2019.04.003
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 2916
Brauer S. Complexity of single-swap heuristics for metric facility location and related problems. Theoretical Computer Science. 2019;754:88-106. doi:10.1016/j.tcs.2018.04.048
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17339
Carmona J, Engels G, Kumar A, Reichert M. Special issue: Selected papers of BPM 2017. Information Systems. 2019:238-239. doi:10.1016/j.is.2019.06.001
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 17342
Engels G, Burgueno L, Pretschner A, et al. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). In: ; 2019. doi:10.1109/models-c48269.2019
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17343
Engels G, Becker C, Feenberg A, Ferrario MA, Fitzpatrick G. Values in Computing (Dagstuhl Seminar 19291). Dagstuhl Reports 9(7). 2019. doi:10.4230/DAGREP.9.7.40
LibreCat
| DOI