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
Benchmarking the Lifecycle of Knowledge Graphs
M. Röder, M. Sherif, M. Saleem, F. Conrads, A.-C. Ngonga Ngomo, in: I. Tiddi, F. Lécué, P. Hitzler (Eds.), Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges, IOS Press, 2020, pp. 73–97.
LibreCat
| DOI
M. Röder, M. Sherif, M. Saleem, F. Conrads, A.-C. Ngonga Ngomo, in: I. Tiddi, F. Lécué, P. Hitzler (Eds.), Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges, IOS Press, 2020, pp. 73–97.
2020 | Conference Paper | LibreCat-ID: 21632
Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite
M. Meyer, T. Kenter, C. Plessl, in: 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Meyer, T. Kenter, C. Plessl, in: 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020.
2020 | Journal Article | LibreCat-ID: 12878 | 
Accurate Sampling with Noisy Forces from Approximate Computing
V. Rengaraj, M. Lass, C. Plessl, T. Kühne, Computation 8 (2020).
LibreCat
| DOI
| Download (ext.)
| arXiv
V. Rengaraj, M. Lass, C. Plessl, T. Kühne, Computation 8 (2020).
2020 | Conference Paper | LibreCat-ID: 52936
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
C. Dubslaff, P. Koopmann, A.-Y. Turhan, 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, CEUR-WS.org, 2020.
LibreCat
C. Dubslaff, P. Koopmann, A.-Y. Turhan, 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, CEUR-WS.org, 2020.
2020 | Book Chapter | LibreCat-ID: 35821
Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP
L. Budde, D. Frischemeier, R. Biehler, F.Y. Fleischer, D. Gerstenberger, S. Podworny, C. Schulte, 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, Voorborg, The Netherlands, 2020.
LibreCat
| Files available
| Download (ext.)
L. Budde, D. Frischemeier, R. Biehler, F.Y. Fleischer, D. Gerstenberger, S. Podworny, C. Schulte, 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, Voorborg, The Netherlands, 2020.
2020 | Conference Paper | LibreCat-ID: 20510
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
LibreCat
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
2020 | Journal Article | LibreCat-ID: 20508
Explaining Static Analysis with Rule Graphs
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
LibreCat
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
2020 | Journal Article | LibreCat-ID: 60386
Inter-surface maps via constant-curvature metrics
P. Schmidt, M. Campen, J. Born, L. Kobbelt, ACM Transactions on Graphics 39 (2020).
LibreCat
| DOI
P. Schmidt, M. Campen, J. Born, L. Kobbelt, ACM Transactions on Graphics 39 (2020).
2020 | Journal Article | LibreCat-ID: 60385
Bézier guarding
M. Mandad, M. Campen, ACM Transactions on Graphics 39 (2020).
LibreCat
| DOI
M. Mandad, M. Campen, ACM Transactions on Graphics 39 (2020).
2020 | Journal Article | LibreCat-ID: 60383
Combinatorial Construction of Seamless Parameter Domains
J. Zhou, C. Tu, D. Zorin, M. Campen, Computer Graphics Forum 39 (2020) 179–190.
LibreCat
| DOI
J. Zhou, C. Tu, D. Zorin, M. Campen, Computer Graphics Forum 39 (2020) 179–190.
2020 | Journal Article | LibreCat-ID: 60382
Efficient piecewise higher-order parametrization of discrete surfaces with local and global injectivity
M. Mandad, M. Campen, Computer-Aided Design 127 (2020).
LibreCat
| DOI
M. Mandad, M. Campen, Computer-Aided Design 127 (2020).
2020 | Journal Article | LibreCat-ID: 21267
Understanding and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication Follows)
L. Budde, C. Schulte, H.M. Buhl, A. Muehling, Seventh International Conference on Learning and Teaching in Computing and Engineeringe (2020).
LibreCat
L. Budde, C. Schulte, H.M. Buhl, A. Muehling, Seventh International Conference on Learning and Teaching in Computing and Engineeringe (2020).
2020 | Journal Article | LibreCat-ID: 15266
Integrated Model-driven Development of Self-adaptive User Interfaces
E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, G. Engels, International Journal on Software and Systems Modeling (SoSyM) (2020).
LibreCat
| Download (ext.)
E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, G. Engels, International Journal on Software and Systems Modeling (SoSyM) (2020).
2019 | Preprint | LibreCat-ID: 19523
Learning Choice Functions: Concepts and Architectures
K. Pfannschmidt, P. Gupta, E. Hüllermeier, ArXiv:1901.10860 (2019).
LibreCat
K. Pfannschmidt, P. Gupta, E. Hüllermeier, ArXiv:1901.10860 (2019).
2019 | Conference Paper | LibreCat-ID: 3287 |
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, Washington, DC, USA, 2019, pp. 116--124.
LibreCat
| Files available
| Download (ext.)
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, Washington, DC, USA, 2019, pp. 116--124.
2019 | Journal Article | LibreCat-ID: 3585
CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Microelectronics Reliability 99 (2019) 277–290.
LibreCat
| DOI
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Microelectronics Reliability 99 (2019) 277–290.
2019 | Journal Article | LibreCat-ID: 2916
Complexity of single-swap heuristics for metric facility location and related problems
S. Brauer, Theoretical Computer Science 754 (2019) 88–106.
LibreCat
| DOI
S. Brauer, Theoretical Computer Science 754 (2019) 88–106.
2019 | Journal Article | LibreCat-ID: 17339
Special issue: Selected papers of BPM 2017
J. Carmona, G. Engels, A. Kumar, M. Reichert, Information Systems (2019) 238–239.
LibreCat
| DOI
J. Carmona, G. Engels, A. Kumar, M. Reichert, Information Systems (2019) 238–239.
2019 | Conference Paper | LibreCat-ID: 17342
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
G. Engels, L. Burgueno, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Völter, S. Gérard, M. Zahedi, E. Bousse, A. Rensink, F. Polack, G. Kappel, in: 2019.
LibreCat
| DOI
G. Engels, L. Burgueno, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Völter, S. Gérard, M. Zahedi, E. Bousse, A. Rensink, F. Polack, G. Kappel, in: 2019.
2019 | Journal Article | LibreCat-ID: 17343
Values in Computing (Dagstuhl Seminar 19291)
G. Engels, C. Becker, A. Feenberg, M.A. Ferrario, G. Fitzpatrick, Dagstuhl Reports 9(7) (2019).
LibreCat
| DOI
G. Engels, C. Becker, A. Feenberg, M.A. Ferrario, G. Fitzpatrick, Dagstuhl Reports 9(7) (2019).