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.
5948 Publications
2020 | Mastersthesis | LibreCat-ID: 21433
@book{Jentzsch_2020, title={Design and Implementation of a ReconOS-based TensorFlow Lite Delegate Architecture}, author={Jentzsch, Felix P.}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 16277 | 
@article{Kühne_Iannuzzi_Ben_Rybkin_Seewald_Stein_Laino_Khaliullin_Schütt_Schiffmann_et al._2020, title={CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations}, volume={152}, DOI={10.1063/5.0007045}, number={19194103}, journal={The Journal of Chemical Physics}, author={Kühne, Thomas and Iannuzzi, Marcella and Ben, Mauro Del and Rybkin, Vladimir V. and Seewald, Patrick and Stein, Frederick and Laino, Teodoro and Khaliullin, Rustam Z. and Schütt, Ole and Schiffmann, Florian and et al.}, year={2020} }
LibreCat
| Files available
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 16898
@inproceedings{Lass_Schade_Kühne_Plessl_2020, place={Los Alamitos, CA, USA}, title={A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K}, DOI={10.1109/SC41405.2020.00084}, booktitle={Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC)}, publisher={IEEE Computer Society}, author={Lass, Michael and Schade, Robert and Kühne, Thomas and Plessl, Christian}, year={2020}, pages={1127–1140} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 29042
@inbook{Röder_Sherif_Saleem_Conrads_Ngonga Ngomo_2020, title={Benchmarking the Lifecycle of Knowledge Graphs}, DOI={10.3233/SSW200012}, booktitle={Knowledge Graphs for eXplainable Artificial Intelligence: Foundations, Applications and Challenges}, publisher={IOS Press}, author={Röder, Michael and Sherif, Mohamed and Saleem, Muhammad and Conrads, Felix and Ngonga Ngomo, Axel-Cyrille}, editor={Tiddi, Ilaria and Lécué, Freddy and Hitzler, Pascal}, year={2020}, pages={73–97} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21632
@inproceedings{Meyer_Kenter_Plessl_2020, title={Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite}, DOI={10.1109/h2rc51942.2020.00007}, booktitle={2020 IEEE/ACM International Workshop on Heterogeneous High-performance Reconfigurable Computing (H2RC)}, author={Meyer, Marius and Kenter, Tobias and Plessl, Christian}, year={2020} }
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 12878 |
@article{Rengaraj_Lass_Plessl_Kühne_2020, title={Accurate Sampling with Noisy Forces from Approximate Computing}, volume={8}, DOI={10.3390/computation8020039}, number={239}, journal={Computation}, publisher={MDPI}, author={Rengaraj, Varadarajan and Lass, Michael and Plessl, Christian and Kühne, Thomas}, year={2020} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 52936
@inproceedings{Dubslaff_Koopmann_Turhan_2020, series={CEUR Workshop Proceedings}, title={Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification}, volume={2663}, booktitle={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}, publisher={CEUR-WS.org}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Borgwardt, Stefan and Meyer, Thomas}, year={2020}, collection={CEUR Workshop Proceedings} }
LibreCat
2020 | Book Chapter | LibreCat-ID: 35821
@inbook{Budde_Frischemeier_Biehler_Fleischer_Gerstenberger_Podworny_Schulte_2020, place={Voorborg, The Netherlands}, title={Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP}, booktitle={New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable conference of the International Association for Statistical Education (IASE), July 2020}, publisher={ISI/IASE}, author={Budde, Lea and Frischemeier, Daniel and Biehler, Rolf and Fleischer, Franz Yannik and Gerstenberger, Dietrich and Podworny, Susanne and Schulte, Carsten}, editor={Arnold, P.}, year={2020} }
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20510
@inproceedings{Benz_Krogh Kristensen_Luo_P. Borges Jr._Bodden_Zeller_2020, title={Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis}, booktitle={International Conference for Software Engineering (ICSE)}, author={Benz, Manuel and Krogh Kristensen, Erik and Luo, Linghui and P. Borges Jr., Nataniel and Bodden, Eric and Zeller, Andreas}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 20508
@article{Nguyen Quang Do_Bodden_2020, title={Explaining Static Analysis with Rule Graphs}, journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2020} }
LibreCat
| Download (ext.)
2019 | Preprint | LibreCat-ID: 19523
@article{Pfannschmidt_Gupta_Hüllermeier_2019, title={Learning Choice Functions: Concepts and Architectures}, journal={arXiv:1901.10860}, author={Pfannschmidt, Karlson and Gupta, Pritha and Hüllermeier, Eyke}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 3287 |
@inproceedings{Schneider_Sharma_Karl_Wehrheim_2019, place={Washington, DC, USA}, title={Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets}, booktitle={2019 IFIP/IEEE International Symposium on Integrated Network Management (IM)}, publisher={IFIP}, author={Schneider, Stefan Balthasar and Sharma, Arnab and Karl, Holger and Wehrheim, Heike}, year={2019}, pages={116--124} }
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 3585
@article{Witschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner_2019, title={CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation}, volume={99}, DOI={10.1016/j.microrel.2019.04.003}, journal={Microelectronics Reliability}, publisher={Elsevier}, author={Witschen, Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais, Muhammad and Platzner, Marco}, year={2019}, pages={277–290} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 2916
@article{Brauer_2019, title={Complexity of single-swap heuristics for metric facility location and related problems}, volume={754}, DOI={10.1016/j.tcs.2018.04.048}, journal={Theoretical Computer Science}, publisher={Elsevier}, author={Brauer, Sascha}, year={2019}, pages={88–106} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17339
@article{Carmona_Engels_Kumar_Reichert_2019, title={Special issue: Selected papers of BPM 2017}, DOI={10.1016/j.is.2019.06.001}, journal={Information Systems}, author={Carmona, Josep and Engels, Gregor and Kumar, Akhil and Reichert, Manfred}, year={2019}, pages={238–239} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 17342
@inproceedings{Engels_Burgueno_Pretschner_Voss_Chaudron_Kienzle_Völter_Gérard_Zahedi_Bousse_et al._2019, title={2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)}, DOI={10.1109/models-c48269.2019}, author={Engels, Gregor and Burgueno, Loli and Pretschner, Alexander and Voss, Sebastian and Chaudron, Michel and Kienzle, Jörg and Völter, Markus and Gérard, Sébastien and Zahedi, Mansooreh and Bousse, Erwan and et al.}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17343
@article{Engels_Becker_Feenberg_Ferrario_Fitzpatrick_2019, title={Values in Computing (Dagstuhl Seminar 19291)}, DOI={10.4230/DAGREP.9.7.40}, journal={Dagstuhl Reports 9(7)}, author={Engels, Gregor and Becker, Christoph and Feenberg, Andrew and Ferrario, Maria Angela and Fitzpatrick, Geraldine}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17392
@article{Massmann_Meyer_Dumitrescu_Enzberg_Frank_Koldewey_Kühn_Reinhold_2019, title={Significance and Challenges of Data-driven Product Generation and Retrofit Planning}, DOI={10.1016/j.procir.2019.04.226}, journal={Procedia CIRP}, author={Massmann, Melina and Meyer, Maurice and Dumitrescu, Roman and Enzberg, Sebastian von and Frank, Maximilian and Koldewey, Christian and Kühn, Arno and Reinhold, Jannik}, year={2019}, pages={992–997} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17395
@article{Koldewey_Reinhold_Dumitrescu_Frank_Schweppe_Melzer_2019, title={Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services}, DOI={10.3139/104.112113}, journal={ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman and Frank, Maximilian and Schweppe, Thomans and Melzer, Annegret}, year={2019}, pages={380–384} }
LibreCat
| DOI
2019 | Newspaper Article | LibreCat-ID: 17402
@article{Koldewey_Dumitrescu_2019, title={Strategie als Erfolgsfaktor}, number={4}, journal={ServiceToday}, author={Koldewey, Christian and Dumitrescu, Roman}, year={2019}, pages={76–77} }
LibreCat