[{"date_updated":"2023-02-28T11:05:17Z","_id":"16927","year":"2020","type":"journal_article","language":[{"iso":"eng"}],"status":"public","publication":"Communications in Mathematical Physics","date_created":"2020-04-30T07:12:00Z","external_id":{"arxiv":["1712.09617"]},"department":[{"_id":"623"},{"_id":"7"}],"citation":{"short":"S. Gharibian, M. Aldi, N. de Beaudrap, S. Saeedi, Communications in Mathematical Physics (2020).","bibtex":"@article{Gharibian_Aldi_de Beaudrap_Saeedi_2020, title={On efficiently solvable cases of Quantum k-SAT}, journal={Communications in Mathematical Physics}, author={Gharibian, Sevag and Aldi, Marco and de Beaudrap, Niel and Saeedi, Seyran}, year={2020} }","mla":"Gharibian, Sevag, et al. “On Efficiently Solvable Cases of Quantum K-SAT.” <i>Communications in Mathematical Physics</i>, 2020.","ieee":"S. Gharibian, M. Aldi, N. de Beaudrap, and S. Saeedi, “On efficiently solvable cases of Quantum k-SAT,” <i>Communications in Mathematical Physics</i>, 2020.","chicago":"Gharibian, Sevag, Marco Aldi, Niel de Beaudrap, and Seyran Saeedi. “On Efficiently Solvable Cases of Quantum K-SAT.” <i>Communications in Mathematical Physics</i>, 2020.","apa":"Gharibian, S., Aldi, M., de Beaudrap, N., &#38; Saeedi, S. (2020). On efficiently solvable cases of Quantum k-SAT. <i>Communications in Mathematical Physics</i>.","ama":"Gharibian S, Aldi M, de Beaudrap N, Saeedi S. On efficiently solvable cases of Quantum k-SAT. <i>Communications in Mathematical Physics</i>. Published online 2020."},"user_id":"71541","oa":"1","publication_status":"published","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1007/s00220-020-03843-9"}],"title":"On efficiently solvable cases of Quantum k-SAT","author":[{"first_name":"Sevag","full_name":"Gharibian, Sevag","id":"71541","last_name":"Gharibian","orcid":"0000-0002-9992-3379"},{"first_name":"Marco","full_name":"Aldi, Marco","last_name":"Aldi"},{"last_name":"de Beaudrap","first_name":"Niel","full_name":"de Beaudrap, Niel"},{"last_name":"Saeedi","full_name":"Saeedi, Seyran","first_name":"Seyran"}]},{"citation":{"chicago":"N., N. <i>A Framework for Measurable Value Propositions of Mobile Applications</i>, 2020.","ieee":"N. N., <i>A Framework for Measurable Value Propositions of Mobile Applications</i>. 2020.","apa":"N., N. (2020). <i>A Framework for Measurable Value Propositions of Mobile Applications</i>.","ama":"N. N. <i>A Framework for Measurable Value Propositions of Mobile Applications</i>.; 2020.","short":"N. N., A Framework for Measurable Value Propositions of Mobile Applications, 2020.","mla":"N., N. <i>A Framework for Measurable Value Propositions of Mobile Applications</i>. 2020.","bibtex":"@book{N._2020, title={A Framework for Measurable Value Propositions of Mobile Applications}, author={N., N.}, year={2020} }"},"user_id":"47208","department":[{"_id":"66"}],"title":"A Framework for Measurable Value Propositions of Mobile Applications","author":[{"last_name":"N.","full_name":"N., N.","first_name":"N."}],"project":[{"name":"SFB 901: SFB 901","_id":"1"},{"name":"SFB 901 - C: SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901 - C5: SFB 901 - Subproject C5","_id":"17"}],"supervisor":[{"id":"383","last_name":"Oberthür","first_name":"Simon","full_name":"Oberthür, Simon"},{"full_name":"Gottschalk, Sebastian","first_name":"Sebastian","id":"47208","last_name":"Gottschalk"}],"_id":"45232","date_updated":"2023-05-23T13:04:16Z","date_created":"2023-05-23T13:03:24Z","language":[{"iso":"eng"}],"type":"mastersthesis","year":"2020","status":"public"},{"_id":"45234","date_updated":"2023-05-23T13:05:26Z","date_created":"2023-05-23T13:05:23Z","language":[{"iso":"eng"}],"year":"2020","type":"mastersthesis","status":"public","citation":{"mla":"N., N. <i>Model-Based Product Configuration in Augmented Reality Applications</i>. 2020.","bibtex":"@book{N._2020, title={Model-Based Product Configuration in Augmented Reality Applications}, author={N., N.}, year={2020} }","short":"N. N., Model-Based Product Configuration in Augmented Reality Applications, 2020.","ama":"N. N. <i>Model-Based Product Configuration in Augmented Reality Applications</i>.; 2020.","apa":"N., N. (2020). <i>Model-Based Product Configuration in Augmented Reality Applications</i>.","chicago":"N., N. <i>Model-Based Product Configuration in Augmented Reality Applications</i>, 2020.","ieee":"N. N., <i>Model-Based Product Configuration in Augmented Reality Applications</i>. 2020."},"user_id":"47208","department":[{"_id":"66"}],"title":"Model-Based Product Configuration in Augmented Reality Applications","author":[{"last_name":"N.","full_name":"N., N.","first_name":"N."}],"project":[{"name":"SFB 901: SFB 901","_id":"1"},{"_id":"4","name":"SFB 901 - C: SFB 901 - Project Area C"},{"_id":"17","name":"SFB 901 - C5: SFB 901 - Subproject C5"}],"supervisor":[{"last_name":"Yigitbas","id":"8447","full_name":"Yigitbas, Enes","first_name":"Enes","orcid":"0000-0002-5967-833X"},{"full_name":"Gottschalk, Sebastian","first_name":"Sebastian","id":"47208","last_name":"Gottschalk"}]},{"date_updated":"2023-05-23T13:08:22Z","_id":"45235","type":"mastersthesis","year":"2020","language":[{"iso":"eng"}],"status":"public","date_created":"2023-05-23T13:08:17Z","department":[{"_id":"66"}],"citation":{"apa":"N., N. (2020). <i>Design and Implementation of a Crowd-based Prototype Validation Platform</i>.","ama":"N. N. <i>Design and Implementation of a Crowd-Based Prototype Validation Platform</i>.; 2020.","ieee":"N. N., <i>Design and Implementation of a Crowd-based Prototype Validation Platform</i>. 2020.","chicago":"N., N. <i>Design and Implementation of a Crowd-Based Prototype Validation Platform</i>, 2020.","bibtex":"@book{N._2020, title={Design and Implementation of a Crowd-based Prototype Validation Platform}, author={N., N.}, year={2020} }","mla":"N., N. <i>Design and Implementation of a Crowd-Based Prototype Validation Platform</i>. 2020.","short":"N. N., Design and Implementation of a Crowd-Based Prototype Validation Platform, 2020."},"user_id":"47208","project":[{"name":"SFB 901: SFB 901","_id":"1"},{"name":"SFB 901 - C: SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901 - C5: SFB 901 - Subproject C5","_id":"17"}],"title":"Design and Implementation of a Crowd-based Prototype Validation Platform","author":[{"full_name":"N., N.","first_name":"N.","last_name":"N."}]},{"title":"Design and Implementation of a ReconOS-based TensorFlow Lite Delegate Architecture","author":[{"last_name":"Jentzsch","full_name":"Jentzsch, Felix P.","first_name":"Felix P."}],"project":[{"grant_number":"160364472","_id":"1","name":"SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten "},{"_id":"82","name":"SFB 901 - T: SFB 901 - Project Area T"},{"name":"SFB 901 - T1: SFB 901 -Subproject T1","_id":"83"}],"supervisor":[{"id":"60323","last_name":"Lienen","first_name":"Christian","full_name":"Lienen, Christian"},{"id":"398","last_name":"Platzner","full_name":"Platzner, Marco","first_name":"Marco"},{"full_name":"Plessl, Christian","first_name":"Christian","last_name":"Plessl","id":"16153","orcid":"0000-0001-5728-9982"}],"abstract":[{"lang":"eng","text":"Modern machine learning (ML) techniques continue to move into the embedded system space because traditional centralized compute resources do not suit certain application domains, for example in mobile or real-time environments. Google’s TensorFlow Lite (TFLite) framework supports this shift from cloud to edge computing and makes ML inference accessible on resource-constrained devices. While it offers the possibility to partially delegate computation to hardware accelerators, there is no such “delegate” available to utilize the promising characteristics of reconfigurable hardware.\r\nThis thesis incorporates modern platform FPGAs into TFLite by implementing a modular delegate framework, which allows accelerators within the programmable logic to take over the execution of neural network layers. To facilitate the necessary hardware/software codesign, the FPGA delegate is based on the operating system for reconfigurable\r\ncomputing (ReconOS), whose partial reconfiguration support enables the instantiation of model-tailored accelerator architectures. In the hardware back-end, a streaming-based prototype accelerator for the MobileNet model family showcases the working order of the platform, but falls short of the desired performance. Thus, it indicates the need for further exploration of alternative accelerator designs, which the delegate could automatically synthesize to meet a model’s demands."}],"citation":{"ama":"Jentzsch FP. <i>Design and Implementation of a ReconOS-Based TensorFlow Lite Delegate Architecture</i>.; 2020.","apa":"Jentzsch, F. P. (2020). <i>Design and Implementation of a ReconOS-based TensorFlow Lite Delegate Architecture</i>.","ieee":"F. P. Jentzsch, <i>Design and Implementation of a ReconOS-based TensorFlow Lite Delegate Architecture</i>. 2020.","chicago":"Jentzsch, Felix P. <i>Design and Implementation of a ReconOS-Based TensorFlow Lite Delegate Architecture</i>, 2020.","bibtex":"@book{Jentzsch_2020, title={Design and Implementation of a ReconOS-based TensorFlow Lite Delegate Architecture}, author={Jentzsch, Felix P.}, year={2020} }","mla":"Jentzsch, Felix P. <i>Design and Implementation of a ReconOS-Based TensorFlow Lite Delegate Architecture</i>. 2020.","short":"F.P. Jentzsch, Design and Implementation of a ReconOS-Based TensorFlow Lite Delegate Architecture, 2020."},"user_id":"398","department":[{"_id":"78"}],"date_created":"2021-03-10T07:09:14Z","type":"mastersthesis","year":"2020","language":[{"iso":"eng"}],"status":"public","_id":"21433","date_updated":"2023-07-09T17:12:52Z"},{"intvolume":"       152","author":[{"last_name":"Kühne","id":"49079","full_name":"Kühne, Thomas","first_name":"Thomas"},{"full_name":"Iannuzzi, Marcella","first_name":"Marcella","last_name":"Iannuzzi"},{"full_name":"Ben, Mauro Del","first_name":"Mauro Del","last_name":"Ben"},{"last_name":"Rybkin","full_name":"Rybkin, Vladimir V.","first_name":"Vladimir V."},{"last_name":"Seewald","full_name":"Seewald, Patrick","first_name":"Patrick"},{"full_name":"Stein, Frederick","first_name":"Frederick","last_name":"Stein"},{"first_name":"Teodoro","full_name":"Laino, Teodoro","last_name":"Laino"},{"first_name":"Rustam Z.","full_name":"Khaliullin, Rustam Z.","last_name":"Khaliullin"},{"last_name":"Schütt","full_name":"Schütt, Ole","first_name":"Ole"},{"first_name":"Florian","full_name":"Schiffmann, Florian","last_name":"Schiffmann"},{"first_name":"Dorothea","full_name":"Golze, Dorothea","last_name":"Golze"},{"full_name":"Wilhelm, Jan","first_name":"Jan","last_name":"Wilhelm"},{"first_name":"Sergey","full_name":"Chulkov, Sergey","last_name":"Chulkov"},{"first_name":"Mohammad Hossein Bani-Hashemian","full_name":"Mohammad Hossein Bani-Hashemian, Mohammad Hossein Bani-Hashemian","last_name":"Mohammad Hossein Bani-Hashemian"},{"last_name":"Weber","full_name":"Weber, Valéry","first_name":"Valéry"},{"last_name":"Borstnik","full_name":"Borstnik, Urban","first_name":"Urban"},{"first_name":"Mathieu","full_name":"Taillefumier, Mathieu","last_name":"Taillefumier"},{"first_name":"Alice Shoshana","full_name":"Jakobovits, Alice Shoshana","last_name":"Jakobovits"},{"full_name":"Lazzaro, Alfio","first_name":"Alfio","last_name":"Lazzaro"},{"last_name":"Pabst","full_name":"Pabst, Hans","first_name":"Hans"},{"first_name":"Tiziano","full_name":"Müller, Tiziano","last_name":"Müller"},{"id":"75963","last_name":"Schade","full_name":"Schade, Robert","first_name":"Robert","orcid":"0000-0002-6268-539"},{"full_name":"Guidon, Manuel","first_name":"Manuel","last_name":"Guidon"},{"first_name":"Samuel","full_name":"Andermatt, Samuel","last_name":"Andermatt"},{"last_name":"Holmberg","full_name":"Holmberg, Nico","first_name":"Nico"},{"full_name":"Schenter, Gregory K.","first_name":"Gregory K.","last_name":"Schenter"},{"last_name":"Hehn","full_name":"Hehn, Anna","first_name":"Anna"},{"first_name":"Augustin","full_name":"Bussy, Augustin","last_name":"Bussy"},{"last_name":"Belleflamme","first_name":"Fabian","full_name":"Belleflamme, Fabian"},{"last_name":"Tabacchi","first_name":"Gloria","full_name":"Tabacchi, Gloria"},{"last_name":"Glöß","full_name":"Glöß, Andreas","first_name":"Andreas"},{"last_name":"Lass","id":"24135","full_name":"Lass, Michael","first_name":"Michael","orcid":"0000-0002-5708-7632"},{"first_name":"Iain","full_name":"Bethune, Iain","last_name":"Bethune"},{"full_name":"Mundy, Christopher J.","first_name":"Christopher J.","last_name":"Mundy"},{"orcid":"0000-0001-5728-9982","first_name":"Christian","full_name":"Plessl, Christian","id":"16153","last_name":"Plessl"},{"last_name":"Watkins","full_name":"Watkins, Matt","first_name":"Matt"},{"first_name":"Joost","full_name":"VandeVondele, Joost","last_name":"VandeVondele"},{"last_name":"Krack","full_name":"Krack, Matthias","first_name":"Matthias"},{"first_name":"Jürg","full_name":"Hutter, Jürg","last_name":"Hutter"}],"department":[{"_id":"27"},{"_id":"518"},{"_id":"304"}],"publication_status":"published","citation":{"short":"T. Kühne, M. Iannuzzi, M.D. Ben, V.V. Rybkin, P. Seewald, F. Stein, T. Laino, R.Z. Khaliullin, O. Schütt, F. Schiffmann, D. Golze, J. Wilhelm, S. Chulkov, M.H.B.-H. Mohammad Hossein Bani-Hashemian, V. Weber, U. Borstnik, M. Taillefumier, A.S. Jakobovits, A. Lazzaro, H. Pabst, T. Müller, R. Schade, M. Guidon, S. Andermatt, N. Holmberg, G.K. Schenter, A. Hehn, A. Bussy, F. Belleflamme, G. Tabacchi, A. Glöß, M. Lass, I. Bethune, C.J. Mundy, C. Plessl, M. Watkins, J. VandeVondele, M. Krack, J. Hutter, The Journal of Chemical Physics 152 (2020).","bibtex":"@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={<a href=\"https://doi.org/10.1063/5.0007045\">10.1063/5.0007045</a>}, 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} }","mla":"Kühne, Thomas, et al. “CP2K: An Electronic Structure and Molecular Dynamics Software Package - Quickstep: Efficient and Accurate Electronic Structure Calculations.” <i>The Journal of Chemical Physics</i>, vol. 152, no. 19, 194103, 2020, doi:<a href=\"https://doi.org/10.1063/5.0007045\">10.1063/5.0007045</a>.","ieee":"T. Kühne <i>et al.</i>, “CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations,” <i>The Journal of Chemical Physics</i>, vol. 152, no. 19, Art. no. 194103, 2020, doi: <a href=\"https://doi.org/10.1063/5.0007045\">10.1063/5.0007045</a>.","chicago":"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.” <i>The Journal of Chemical Physics</i> 152, no. 19 (2020). <a href=\"https://doi.org/10.1063/5.0007045\">https://doi.org/10.1063/5.0007045</a>.","apa":"Kühne, T., Iannuzzi, M., Ben, M. D., Rybkin, V. V., Seewald, P., Stein, F., Laino, T., Khaliullin, R. Z., Schütt, O., Schiffmann, F., Golze, D., Wilhelm, J., Chulkov, S., Mohammad Hossein Bani-Hashemian, M. H. B.-H., Weber, V., Borstnik, U., Taillefumier, M., Jakobovits, A. S., Lazzaro, A., … Hutter, J. (2020). CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations. <i>The Journal of Chemical Physics</i>, <i>152</i>(19), Article 194103. <a href=\"https://doi.org/10.1063/5.0007045\">https://doi.org/10.1063/5.0007045</a>","ama":"Kühne T, Iannuzzi M, Ben MD, et al. CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations. <i>The Journal of Chemical Physics</i>. 2020;152(19). doi:<a href=\"https://doi.org/10.1063/5.0007045\">10.1063/5.0007045</a>"},"status":"public","language":[{"iso":"eng"}],"year":"2020","date_created":"2020-03-10T15:12:31Z","date_updated":"2023-08-02T14:56:21Z","_id":"16277","file_date_updated":"2020-05-25T15:21:56Z","has_accepted_license":"1","abstract":[{"text":"CP2K is an open source electronic structure and molecular dynamics software package to perform atomistic simulations of solid-state, liquid, molecular, and biological systems. It is especially aimed at massively parallel and linear-scaling electronic structure methods and state-of-theart ab initio molecular dynamics simulations. Excellent performance for electronic structure calculations is achieved using novel algorithms implemented for modern high-performance computing systems. This review revisits the main capabilities of CP2K to perform efficient and accurate electronic structure simulations. The emphasis is put on density functional theory and multiple post–Hartree–Fock methods using the Gaussian and plane wave approach and its augmented all-electron extension.","lang":"eng"}],"doi":"10.1063/5.0007045","project":[{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"},{"grant_number":"PL 595/2-1 / 320898746","name":"Performance and Efficiency in HPC with Custom Computing","_id":"32"},{"_id":"52","name":"PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"file":[{"content_type":"application/pdf","file_id":"17061","access_level":"closed","date_created":"2020-05-25T15:21:56Z","creator":"lass","file_name":"5.0007045.pdf","file_size":4887650,"success":1,"date_updated":"2020-05-25T15:21:56Z","relation":"main_file"}],"title":"CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations","external_id":{"arxiv":["2003.03868"]},"main_file_link":[{"url":"https://aip.scitation.org/doi/pdf/10.1063/5.0007045?download=true","open_access":"1"}],"user_id":"75963","oa":"1","type":"journal_article","publication":"The Journal of Chemical Physics","quality_controlled":"1","ddc":["540"],"issue":"19","article_number":"194103","volume":152},{"conference":{"location":"Atlanta, GA, US","name":"SC20: International Conference for High Performance Computing, Networking, Storage and Analysis (SC)"},"author":[{"id":"24135","last_name":"Lass","first_name":"Michael","full_name":"Lass, Michael","orcid":"0000-0002-5708-7632"},{"orcid":"0000-0002-6268-539","last_name":"Schade","id":"75963","full_name":"Schade, Robert","first_name":"Robert"},{"last_name":"Kühne","id":"49079","full_name":"Kühne, Thomas","first_name":"Thomas"},{"first_name":"Christian","full_name":"Plessl, Christian","id":"16153","last_name":"Plessl","orcid":"0000-0001-5728-9982"}],"place":"Los Alamitos, CA, USA","citation":{"bibtex":"@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={<a href=\"https://doi.org/10.1109/SC41405.2020.00084\">10.1109/SC41405.2020.00084</a>}, 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} }","mla":"Lass, Michael, et al. “A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K.” <i>Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC)</i>, IEEE Computer Society, 2020, pp. 1127–40, doi:<a href=\"https://doi.org/10.1109/SC41405.2020.00084\">10.1109/SC41405.2020.00084</a>.","short":"M. Lass, R. Schade, T. Kühne, C. Plessl, in: Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer Society, Los Alamitos, CA, USA, 2020, pp. 1127–1140.","apa":"Lass, M., Schade, R., Kühne, T., &#38; Plessl, C. (2020). A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K. <i>Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC)</i>, 1127–1140. <a href=\"https://doi.org/10.1109/SC41405.2020.00084\">https://doi.org/10.1109/SC41405.2020.00084</a>","ama":"Lass M, Schade R, Kühne T, Plessl C. A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K. In: <i>Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC)</i>. IEEE Computer Society; 2020:1127-1140. doi:<a href=\"https://doi.org/10.1109/SC41405.2020.00084\">10.1109/SC41405.2020.00084</a>","ieee":"M. Lass, R. Schade, T. Kühne, and C. Plessl, “A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K,” in <i>Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC)</i>, Atlanta, GA, US, 2020, pp. 1127–1140, doi: <a href=\"https://doi.org/10.1109/SC41405.2020.00084\">10.1109/SC41405.2020.00084</a>.","chicago":"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 <i>Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC)</i>, 1127–40. Los Alamitos, CA, USA: IEEE Computer Society, 2020. <a href=\"https://doi.org/10.1109/SC41405.2020.00084\">https://doi.org/10.1109/SC41405.2020.00084</a>."},"department":[{"_id":"27"},{"_id":"518"},{"_id":"304"}],"date_created":"2020-04-28T14:44:21Z","publisher":"IEEE Computer Society","year":"2020","language":[{"iso":"eng"}],"status":"public","_id":"16898","date_updated":"2023-08-02T14:55:59Z","title":"A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K","project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"},{"grant_number":"PL 595/2-1 / 320898746","_id":"32","name":"Performance and Efficiency in HPC with Custom Computing"},{"name":"PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"doi":"10.1109/SC41405.2020.00084","abstract":[{"lang":"eng","text":"Electronic structure calculations based on density-functional theory (DFT)\r\nrepresent a significant part of today's HPC workloads and pose high demands on\r\nhigh-performance computing resources. To perform these quantum-mechanical DFT\r\ncalculations on complex large-scale systems, so-called linear scaling methods\r\ninstead of conventional cubic scaling methods are required. In this work, we\r\ntake up the idea of the submatrix method and apply it to the DFT computations\r\nin the software package CP2K. For that purpose, we transform the underlying\r\nnumeric operations on distributed, large, sparse matrices into computations on\r\nlocal, much smaller and nearly dense matrices. This allows us to exploit the\r\nfull floating-point performance of modern CPUs and to make use of dedicated\r\naccelerator hardware, where performance has been limited by memory bandwidth\r\nbefore. We demonstrate both functionality and performance of our implementation\r\nand show how it can be accelerated with GPUs and FPGAs."}],"user_id":"75963","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/9355245"}],"external_id":{"arxiv":["2004.10811"]},"publication":"Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC)","quality_controlled":"1","type":"conference","page":"1127-1140"},{"status":"public","language":[{"iso":"eng"}],"year":"2020","type":"book_chapter","publisher":"IOS Press","date_created":"2021-12-17T10:06:12Z","publication":"Knowledge Graphs for eXplainable Artificial Intelligence: Foundations, Applications and Challenges","date_updated":"2023-08-16T09:32:51Z","_id":"29042","page":"73-97","doi":"10.3233/SSW200012","author":[{"full_name":"Röder, Michael","first_name":"Michael","last_name":"Röder"},{"orcid":"https://orcid.org/0000-0002-9927-2203","last_name":"Sherif","id":"67234","first_name":"Mohamed","full_name":"Sherif, Mohamed"},{"first_name":"Muhammad","full_name":"Saleem, Muhammad","last_name":"Saleem"},{"full_name":"Conrads, Felix","first_name":"Felix","last_name":"Conrads"},{"full_name":"Ngonga Ngomo, Axel-Cyrille","first_name":"Axel-Cyrille","id":"65716","last_name":"Ngonga Ngomo"}],"editor":[{"first_name":"Ilaria","full_name":"Tiddi, Ilaria","last_name":"Tiddi"},{"last_name":"Lécué","full_name":"Lécué, Freddy","first_name":"Freddy"},{"full_name":"Hitzler, Pascal","first_name":"Pascal","last_name":"Hitzler"}],"title":"Benchmarking the Lifecycle of Knowledge Graphs","department":[{"_id":"574"}],"keyword":["dice group_aksw roeder sherif saleem fconrads ngonga"],"user_id":"67234","citation":{"apa":"Röder, M., Sherif, M., Saleem, M., Conrads, F., &#38; Ngonga Ngomo, A.-C. (2020). Benchmarking the Lifecycle of Knowledge Graphs. In I. Tiddi, F. Lécué, &#38; P. Hitzler (Eds.), <i>Knowledge Graphs for eXplainable Artificial Intelligence: Foundations, Applications and Challenges</i> (pp. 73–97). IOS Press. <a href=\"https://doi.org/10.3233/SSW200012\">https://doi.org/10.3233/SSW200012</a>","ama":"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. <i>Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges</i>. IOS Press; 2020:73-97. doi:<a href=\"https://doi.org/10.3233/SSW200012\">10.3233/SSW200012</a>","chicago":"Röder, Michael, Mohamed Sherif, Muhammad Saleem, Felix Conrads, and Axel-Cyrille Ngonga Ngomo. “Benchmarking the Lifecycle of Knowledge Graphs.” In <i>Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges</i>, edited by Ilaria Tiddi, Freddy Lécué, and Pascal Hitzler, 73–97. IOS Press, 2020. <a href=\"https://doi.org/10.3233/SSW200012\">https://doi.org/10.3233/SSW200012</a>.","ieee":"M. Röder, M. Sherif, M. Saleem, F. Conrads, and A.-C. Ngonga Ngomo, “Benchmarking the Lifecycle of Knowledge Graphs,” in <i>Knowledge Graphs for eXplainable Artificial Intelligence: Foundations, Applications and Challenges</i>, I. Tiddi, F. Lécué, and P. Hitzler, Eds. IOS Press, 2020, pp. 73–97.","mla":"Röder, Michael, et al. “Benchmarking the Lifecycle of Knowledge Graphs.” <i>Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges</i>, edited by Ilaria Tiddi et al., IOS Press, 2020, pp. 73–97, doi:<a href=\"https://doi.org/10.3233/SSW200012\">10.3233/SSW200012</a>.","bibtex":"@inbook{Röder_Sherif_Saleem_Conrads_Ngonga Ngomo_2020, title={Benchmarking the Lifecycle of Knowledge Graphs}, DOI={<a href=\"https://doi.org/10.3233/SSW200012\">10.3233/SSW200012</a>}, 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} }","short":"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."}},{"department":[{"_id":"27"},{"_id":"518"}],"user_id":"15278","keyword":["FPGA","OpenCL","High Level Synthesis","HPC benchmarking"],"publication_status":"published","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/9306963"}],"citation":{"mla":"Meyer, Marius, et al. “Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite.” <i>2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC)</i>, 2020, doi:<a href=\"https://doi.org/10.1109/h2rc51942.2020.00007\">10.1109/h2rc51942.2020.00007</a>.","bibtex":"@inproceedings{Meyer_Kenter_Plessl_2020, title={Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite}, DOI={<a href=\"https://doi.org/10.1109/h2rc51942.2020.00007\">10.1109/h2rc51942.2020.00007</a>}, booktitle={2020 IEEE/ACM International Workshop on Heterogeneous High-performance Reconfigurable Computing (H2RC)}, author={Meyer, Marius and Kenter, Tobias and Plessl, Christian}, year={2020} }","short":"M. Meyer, T. Kenter, C. Plessl, in: 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020.","apa":"Meyer, M., Kenter, T., &#38; Plessl, C. (2020). Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite. <i>2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC)</i>. <a href=\"https://doi.org/10.1109/h2rc51942.2020.00007\">https://doi.org/10.1109/h2rc51942.2020.00007</a>","ama":"Meyer M, Kenter T, Plessl C. Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite. In: <i>2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC)</i>. ; 2020. doi:<a href=\"https://doi.org/10.1109/h2rc51942.2020.00007\">10.1109/h2rc51942.2020.00007</a>","chicago":"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 <i>2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC)</i>, 2020. <a href=\"https://doi.org/10.1109/h2rc51942.2020.00007\">https://doi.org/10.1109/h2rc51942.2020.00007</a>.","ieee":"M. Meyer, T. Kenter, and C. Plessl, “Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite,” 2020, doi: <a href=\"https://doi.org/10.1109/h2rc51942.2020.00007\">10.1109/h2rc51942.2020.00007</a>."},"doi":"10.1109/h2rc51942.2020.00007","abstract":[{"text":"FPGAs have found increasing adoption in data center applications since a new generation of high-level tools have become available which noticeably reduce development time for FPGA accelerators and still provide high-quality results. There is, however, no high-level benchmark suite available, which specifically enables a comparison of FPGA architectures, programming tools, and libraries for HPC applications. To fill this gap, we have developed an OpenCL-based open-source implementation of the HPCC benchmark suite for Xilinx and Intel FPGAs. This benchmark can serve to analyze the current capabilities of FPGA devices, cards, and development tool flows, track progress over time, and point out specific difficulties for FPGA acceleration in the HPC domain. Additionally, the benchmark documents proven performance optimization patterns. We will continue optimizing and porting the benchmark for new generations of FPGAs and design tools and encourage active participation to create a valuable tool for the community. To fill this gap, we have developed an OpenCL-based open-source implementation of the HPCC benchmark suite for Xilinx and Intel FPGAs. This benchmark can serve to analyze the current capabilities of FPGA devices, cards, and development tool flows, track progress over time, and point out specific difficulties for FPGA acceleration in the HPC domain. Additionally, the benchmark documents proven performance optimization patterns. We will continue optimizing and porting the benchmark for new generations of FPGAs and design tools and encourage active participation to create a valuable tool for the community.","lang":"eng"}],"project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"author":[{"id":"40778","last_name":"Meyer","full_name":"Meyer, Marius","first_name":"Marius"},{"first_name":"Tobias","full_name":"Kenter, Tobias","id":"3145","last_name":"Kenter"},{"id":"16153","last_name":"Plessl","first_name":"Christian","full_name":"Plessl, Christian","orcid":"0000-0001-5728-9982"}],"title":"Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite","date_updated":"2023-09-26T11:42:53Z","_id":"21632","status":"public","type":"conference","year":"2020","publication_identifier":{"isbn":["9781665415927"]},"language":[{"iso":"eng"}],"quality_controlled":"1","publication":"2020 IEEE/ACM International Workshop on Heterogeneous High-performance Reconfigurable Computing (H2RC)","related_material":{"link":[{"relation":"supplementary_material","url":"https://github.com/pc2/HPCC_FPGA","description":"Official repository of the benchmark suite on GitHub"}]},"date_created":"2021-04-16T10:17:22Z"},{"intvolume":"         8","author":[{"last_name":"Rengaraj","full_name":"Rengaraj, Varadarajan","first_name":"Varadarajan"},{"orcid":"0000-0002-5708-7632","first_name":"Michael","full_name":"Lass, Michael","id":"24135","last_name":"Lass"},{"orcid":"0000-0001-5728-9982","last_name":"Plessl","id":"16153","first_name":"Christian","full_name":"Plessl, Christian"},{"id":"49079","last_name":"Kühne","first_name":"Thomas","full_name":"Kühne, Thomas"}],"department":[{"_id":"27"},{"_id":"518"},{"_id":"304"}],"citation":{"chicago":"Rengaraj, Varadarajan, Michael Lass, Christian Plessl, and Thomas Kühne. “Accurate Sampling with Noisy Forces from Approximate Computing.” <i>Computation</i> 8, no. 2 (2020). <a href=\"https://doi.org/10.3390/computation8020039\">https://doi.org/10.3390/computation8020039</a>.","ieee":"V. Rengaraj, M. Lass, C. Plessl, and T. Kühne, “Accurate Sampling with Noisy Forces from Approximate Computing,” <i>Computation</i>, vol. 8, no. 2, Art. no. 39, 2020, doi: <a href=\"https://doi.org/10.3390/computation8020039\">10.3390/computation8020039</a>.","apa":"Rengaraj, V., Lass, M., Plessl, C., &#38; Kühne, T. (2020). Accurate Sampling with Noisy Forces from Approximate Computing. <i>Computation</i>, <i>8</i>(2), Article 39. <a href=\"https://doi.org/10.3390/computation8020039\">https://doi.org/10.3390/computation8020039</a>","ama":"Rengaraj V, Lass M, Plessl C, Kühne T. Accurate Sampling with Noisy Forces from Approximate Computing. <i>Computation</i>. 2020;8(2). doi:<a href=\"https://doi.org/10.3390/computation8020039\">10.3390/computation8020039</a>","short":"V. Rengaraj, M. Lass, C. Plessl, T. Kühne, Computation 8 (2020).","mla":"Rengaraj, Varadarajan, et al. “Accurate Sampling with Noisy Forces from Approximate Computing.” <i>Computation</i>, vol. 8, no. 2, 39, MDPI, 2020, doi:<a href=\"https://doi.org/10.3390/computation8020039\">10.3390/computation8020039</a>.","bibtex":"@article{Rengaraj_Lass_Plessl_Kühne_2020, title={Accurate Sampling with Noisy Forces from Approximate Computing}, volume={8}, DOI={<a href=\"https://doi.org/10.3390/computation8020039\">10.3390/computation8020039</a>}, number={239}, journal={Computation}, publisher={MDPI}, author={Rengaraj, Varadarajan and Lass, Michael and Plessl, Christian and Kühne, Thomas}, year={2020} }"},"language":[{"iso":"eng"}],"year":"2020","status":"public","date_created":"2019-07-23T12:03:07Z","publisher":"MDPI","date_updated":"2023-09-26T11:43:52Z","_id":"12878","project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"},{"grant_number":"PL 595/2-1 / 320898746","_id":"32","name":"Performance and Efficiency in HPC with Custom Computing"}],"abstract":[{"lang":"eng","text":"In scientific computing, the acceleration of atomistic computer simulations by means of custom hardware is finding ever-growing application. A major limitation, however, is that the high efficiency in terms of performance and low power consumption entails the massive usage of low precision computing units. Here, based on the approximate computing paradigm, we present an algorithmic method to compensate for numerical inaccuracies due to low accuracy arithmetic operations rigorously, yet still obtaining exact expectation values using a properly modified Langevin-type equation."}],"doi":"10.3390/computation8020039","title":"Accurate Sampling with Noisy Forces from Approximate Computing","external_id":{"arxiv":["1907.08497"]},"main_file_link":[{"url":"https://www.mdpi.com/2079-3197/8/2/39/pdf","open_access":"1"}],"oa":"1","user_id":"15278","type":"journal_article","quality_controlled":"1","publication":"Computation","article_number":"39","issue":"2","volume":8},{"publisher":"CEUR-WS.org","publication":"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","date_created":"2024-03-26T11:22:26Z","status":"public","type":"conference","year":"2020","language":[{"iso":"eng"}],"volume":2663,"_id":"52936","date_updated":"2024-10-14T08:06:21Z","author":[{"full_name":"Dubslaff, Clemens","first_name":"Clemens","last_name":"Dubslaff"},{"full_name":"Koopmann, Patrick","first_name":"Patrick","last_name":"Koopmann"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","id":"104470","last_name":"Turhan"}],"editor":[{"last_name":"Borgwardt","first_name":"Stefan","full_name":"Borgwardt, Stefan"},{"first_name":"Thomas","full_name":"Meyer, Thomas","last_name":"Meyer"}],"title":"Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification","intvolume":"      2663","user_id":"15504","series_title":"CEUR Workshop Proceedings","citation":{"apa":"Dubslaff, C., Koopmann, P., &#38; Turhan, A.-Y. (2020). Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. In S. Borgwardt &#38; T. Meyer (Eds.), <i>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</i> (Vol. 2663). CEUR-WS.org.","ama":"Dubslaff C, Koopmann P, Turhan A-Y. Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. In: Borgwardt S, Meyer T, eds. <i>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</i>. Vol 2663. CEUR Workshop Proceedings. CEUR-WS.org; 2020.","chicago":"Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” In <i>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</i>, edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings. CEUR-WS.org, 2020.","ieee":"C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification,” in <i>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</i>, 2020, vol. 2663.","mla":"Dubslaff, Clemens, et al. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” <i>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</i>, edited by Stefan Borgwardt and Thomas Meyer, vol. 2663, CEUR-WS.org, 2020.","bibtex":"@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} }","short":"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."},"department":[{"_id":"888"}]},{"department":[{"_id":"363"},{"_id":"67"}],"citation":{"apa":"Budde, L., Frischemeier, D., Biehler, R., Fleischer, F. Y., Gerstenberger, D., Podworny, S., &#38; Schulte, C. (2020). Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP. In P. Arnold (Ed.), <i>New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable conference of the International Association for Statistical Education (IASE), July 2020</i>. ISI/IASE.","ama":"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. <i>New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable Conference of the International Association for Statistical Education (IASE), July 2020</i>. ISI/IASE; 2020.","ieee":"L. Budde <i>et al.</i>, “Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP,” in <i>New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable conference of the International Association for Statistical Education (IASE), July 2020</i>, P. Arnold, Ed. Voorborg, The Netherlands: ISI/IASE, 2020.","chicago":"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 <i>New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable Conference of the International Association for Statistical Education (IASE), July 2020</i>, edited by P. Arnold. Voorborg, The Netherlands: ISI/IASE, 2020.","bibtex":"@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} }","mla":"Budde, Lea, et al. “Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP.” <i>New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable Conference of the International Association for Statistical Education (IASE), July 2020</i>, edited by P. Arnold, ISI/IASE, 2020.","short":"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."},"place":"Voorborg, The Netherlands","editor":[{"full_name":"Arnold, P.","first_name":"P.","last_name":"Arnold"}],"author":[{"last_name":"Budde","full_name":"Budde, Lea","first_name":"Lea"},{"full_name":"Frischemeier, Daniel","first_name":"Daniel","last_name":"Frischemeier"},{"full_name":"Biehler, Rolf","first_name":"Rolf","id":"16274","last_name":"Biehler"},{"orcid":"https://orcid.org/0000-0003-0318-0329","first_name":"Franz Yannik","full_name":"Fleischer, Franz Yannik","last_name":"Fleischer","id":"42660"},{"last_name":"Gerstenberger","first_name":"Dietrich","full_name":"Gerstenberger, Dietrich"},{"first_name":"Susanne","full_name":"Podworny, Susanne","last_name":"Podworny","id":"30619","orcid":"0000-0002-6313-5987"},{"id":"60311","last_name":"Schulte","full_name":"Schulte, Carsten","first_name":"Carsten"}],"date_updated":"2024-11-12T11:03:59Z","_id":"35821","file_date_updated":"2024-11-12T11:03:44Z","status":"public","year":"2020","language":[{"iso":"eng"}],"publisher":"ISI/IASE","date_created":"2023-01-10T11:41:21Z","user_id":"37888","main_file_link":[{"url":"https://fddm.uni-paderborn.de/fileadmin/mathematik/Didaktik_der_Mathematik/BiehlerRolf/Publikationen/IASE2020_Roundtable_24_Frischem.pdf"}],"has_accepted_license":"1","file":[{"success":1,"date_updated":"2024-11-12T11:03:44Z","relation":"main_file","access_level":"closed","file_id":"56999","content_type":"application/pdf","date_created":"2024-11-12T11:03:44Z","creator":"krueter","file_size":340591,"file_name":"IASE2020_Roundtable_24_Frischem.pdf"}],"title":"Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP","type":"book_chapter","publication":"New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable conference of the International Association for Statistical Education (IASE), July 2020","ddc":["510"]},{"author":[{"last_name":"Benz","first_name":"Manuel","full_name":"Benz, Manuel"},{"full_name":"Krogh Kristensen, Erik","first_name":"Erik","last_name":"Krogh Kristensen"},{"first_name":"Linghui","full_name":"Luo, Linghui","last_name":"Luo"},{"first_name":"Nataniel","full_name":"P. Borges Jr., Nataniel","last_name":"P. Borges Jr."},{"orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden","id":"59256"},{"last_name":"Zeller","full_name":"Zeller, Andreas","first_name":"Andreas"}],"title":"Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis","department":[{"_id":"76"}],"user_id":"15249","citation":{"bibtex":"@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} }","mla":"Benz, Manuel, et al. “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis.” <i>International Conference for Software Engineering (ICSE)</i>, 2020.","short":"M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.","ama":"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: <i>International Conference for Software Engineering (ICSE)</i>. ; 2020.","apa":"Benz, M., Krogh Kristensen, E., Luo, L., P. Borges Jr., N., Bodden, E., &#38; Zeller, A. (2020). Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis. <i>International Conference for Software Engineering (ICSE)</i>.","ieee":"M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, and A. Zeller, “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis,” 2020.","chicago":"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 <i>International Conference for Software Engineering (ICSE)</i>, 2020."},"status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2020","date_created":"2020-11-26T08:47:56Z","publication":"International Conference for Software Engineering (ICSE)","date_updated":"2025-04-07T10:24:14Z","_id":"20510"},{"author":[{"last_name":"Nguyen Quang Do","first_name":"Lisa","full_name":"Nguyen Quang Do, Lisa"},{"id":"59256","last_name":"Bodden","first_name":"Eric","full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647"}],"title":"Explaining Static Analysis with Rule Graphs","user_id":"15249","main_file_link":[{"url":"http://www.bodden.de/pubs/tse20ruleGraphs.pdf"}],"citation":{"short":"L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).","mla":"Nguyen Quang Do, Lisa, and Eric Bodden. “Explaining Static Analysis with Rule Graphs.” <i>IEEE Transactions on Software Engineering</i>, 2020.","bibtex":"@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} }","chicago":"Nguyen Quang Do, Lisa, and Eric Bodden. “Explaining Static Analysis with Rule Graphs.” <i>IEEE Transactions on Software Engineering</i>, 2020.","ieee":"L. Nguyen Quang Do and E. Bodden, “Explaining Static Analysis with Rule Graphs,” <i>IEEE Transactions on Software Engineering</i>, 2020.","apa":"Nguyen Quang Do, L., &#38; Bodden, E. (2020). Explaining Static Analysis with Rule Graphs. <i>IEEE Transactions on Software Engineering</i>.","ama":"Nguyen Quang Do L, Bodden E. Explaining Static Analysis with Rule Graphs. <i>IEEE Transactions on Software Engineering</i>. Published online 2020."},"department":[{"_id":"76"}],"publication":"IEEE Transactions on Software Engineering","date_created":"2020-11-26T08:38:33Z","status":"public","type":"journal_article","year":"2020","language":[{"iso":"eng"}],"_id":"20508","date_updated":"2025-04-07T10:22:44Z"},{"author":[{"last_name":"Schmidt","first_name":"Patrick","full_name":"Schmidt, Patrick"},{"orcid":"0000-0003-2340-3462","first_name":"Marcel","full_name":"Campen, Marcel","last_name":"Campen","id":"114904"},{"first_name":"Janis","full_name":"Born, Janis","last_name":"Born"},{"last_name":"Kobbelt","full_name":"Kobbelt, Leif","first_name":"Leif"}],"extern":"1","title":"Inter-surface maps via constant-curvature metrics","intvolume":"        39","abstract":[{"text":"<jats:p>We propose a novel approach to represent maps between two discrete surfaces of the same genus and to minimize intrinsic mapping distortion. Our maps are well-defined at every surface point and are guaranteed to be continuous bijections (surface homeomorphisms). As a key feature of our approach, only the images of vertices need to be represented explicitly, since the images of all other points (on edges or in faces) are properly defined implicitly. This definition is via unique geodesics in metrics of constant Gaussian curvature. Our method is built upon the fact that such metrics exist on surfaces of arbitrary topology, without the need for any cuts or cones (as asserted by the uniformization theorem). Depending on the surfaces' genus, these metrics exhibit one of the three classical geometries: Euclidean, spherical or hyperbolic. Our formulation handles constructions in all three geometries in a unified way. In addition, by considering not only the vertex images but also the discrete metric as degrees of freedom, our formulation enables us to simultaneously optimize the images of these vertices and images of all other points.</jats:p>","lang":"eng"}],"doi":"10.1145/3386569.3392399","user_id":"117512","publication_status":"published","citation":{"ieee":"P. Schmidt, M. Campen, J. Born, and L. Kobbelt, “Inter-surface maps via constant-curvature metrics,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, 2020, doi: <a href=\"https://doi.org/10.1145/3386569.3392399\">10.1145/3386569.3392399</a>.","chicago":"Schmidt, Patrick, Marcel Campen, Janis Born, and Leif Kobbelt. “Inter-Surface Maps via Constant-Curvature Metrics.” <i>ACM Transactions on Graphics</i> 39, no. 4 (2020). <a href=\"https://doi.org/10.1145/3386569.3392399\">https://doi.org/10.1145/3386569.3392399</a>.","ama":"Schmidt P, Campen M, Born J, Kobbelt L. Inter-surface maps via constant-curvature metrics. <i>ACM Transactions on Graphics</i>. 2020;39(4). doi:<a href=\"https://doi.org/10.1145/3386569.3392399\">10.1145/3386569.3392399</a>","apa":"Schmidt, P., Campen, M., Born, J., &#38; Kobbelt, L. (2020). Inter-surface maps via constant-curvature metrics. <i>ACM Transactions on Graphics</i>, <i>39</i>(4). <a href=\"https://doi.org/10.1145/3386569.3392399\">https://doi.org/10.1145/3386569.3392399</a>","short":"P. Schmidt, M. Campen, J. Born, L. Kobbelt, ACM Transactions on Graphics 39 (2020).","bibtex":"@article{Schmidt_Campen_Born_Kobbelt_2020, title={Inter-surface maps via constant-curvature metrics}, volume={39}, DOI={<a href=\"https://doi.org/10.1145/3386569.3392399\">10.1145/3386569.3392399</a>}, number={4}, journal={ACM Transactions on Graphics}, publisher={Association for Computing Machinery (ACM)}, author={Schmidt, Patrick and Campen, Marcel and Born, Janis and Kobbelt, Leif}, year={2020} }","mla":"Schmidt, Patrick, et al. “Inter-Surface Maps via Constant-Curvature Metrics.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, Association for Computing Machinery (ACM), 2020, doi:<a href=\"https://doi.org/10.1145/3386569.3392399\">10.1145/3386569.3392399</a>."},"department":[{"_id":"969"}],"publisher":"Association for Computing Machinery (ACM)","publication":"ACM Transactions on Graphics","date_created":"2025-06-26T07:18:18Z","status":"public","year":"2020","type":"journal_article","publication_identifier":{"issn":["0730-0301","1557-7368"]},"language":[{"iso":"eng"}],"volume":39,"_id":"60386","date_updated":"2025-07-14T12:48:27Z","issue":"4"},{"date_updated":"2025-07-14T12:48:24Z","issue":"4","_id":"60385","volume":39,"publication_identifier":{"issn":["0730-0301","1557-7368"]},"year":"2020","type":"journal_article","language":[{"iso":"eng"}],"status":"public","publication":"ACM Transactions on Graphics","date_created":"2025-06-26T07:16:40Z","publisher":"Association for Computing Machinery (ACM)","department":[{"_id":"969"}],"citation":{"apa":"Mandad, M., &#38; Campen, M. (2020). Bézier guarding. <i>ACM Transactions on Graphics</i>, <i>39</i>(4). <a href=\"https://doi.org/10.1145/3386569.3392372\">https://doi.org/10.1145/3386569.3392372</a>","ama":"Mandad M, Campen M. Bézier guarding. <i>ACM Transactions on Graphics</i>. 2020;39(4). doi:<a href=\"https://doi.org/10.1145/3386569.3392372\">10.1145/3386569.3392372</a>","ieee":"M. Mandad and M. Campen, “Bézier guarding,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, 2020, doi: <a href=\"https://doi.org/10.1145/3386569.3392372\">10.1145/3386569.3392372</a>.","chicago":"Mandad, Manish, and Marcel Campen. “Bézier Guarding.” <i>ACM Transactions on Graphics</i> 39, no. 4 (2020). <a href=\"https://doi.org/10.1145/3386569.3392372\">https://doi.org/10.1145/3386569.3392372</a>.","bibtex":"@article{Mandad_Campen_2020, title={Bézier guarding}, volume={39}, DOI={<a href=\"https://doi.org/10.1145/3386569.3392372\">10.1145/3386569.3392372</a>}, number={4}, journal={ACM Transactions on Graphics}, publisher={Association for Computing Machinery (ACM)}, author={Mandad, Manish and Campen, Marcel}, year={2020} }","mla":"Mandad, Manish, and Marcel Campen. “Bézier Guarding.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, Association for Computing Machinery (ACM), 2020, doi:<a href=\"https://doi.org/10.1145/3386569.3392372\">10.1145/3386569.3392372</a>.","short":"M. Mandad, M. Campen, ACM Transactions on Graphics 39 (2020)."},"user_id":"117512","publication_status":"published","alternative_title":["precise higher-order meshing of curved 2D domains"],"doi":"10.1145/3386569.3392372","intvolume":"        39","abstract":[{"text":"<jats:p>We present a mesh generation algorithm for the curvilinear triangulation of planar domains with piecewise polynomial boundary. The resulting mesh consists of regular, injective higher-order triangular elements and precisely conforms with the domain's curved boundary. No smoothness requirements are imposed on the boundary. Prescribed piecewise polynomial curves in the interior, like material interfaces or feature curves, can be taken into account for precise interpolation by the resulting mesh's edges as well. In its core, the algorithm is based on a novel explicit construction of guaranteed injective Bézier triangles with certain edge curves and edge parametrizations prescribed. Due to the use of only rational arithmetic, the algorithm can optionally be performed using exact number types in practice, so as to provide robustness guarantees.</jats:p>","lang":"eng"}],"title":"Bézier guarding","author":[{"last_name":"Mandad","full_name":"Mandad, Manish","first_name":"Manish"},{"last_name":"Campen","id":"114904","full_name":"Campen, Marcel","first_name":"Marcel","orcid":"0000-0003-2340-3462"}],"extern":"1"},{"publication":"Computer Graphics Forum","type":"journal_article","volume":39,"page":"179-190","issue":"2","extern":"1","title":"Combinatorial Construction of Seamless Parameter Domains","abstract":[{"lang":"eng","text":"<jats:title>Abstract</jats:title><jats:p>The problem of seamless parametrization of surfaces is of interest in the context of structured quadrilateral mesh generation and spline‐based surface approximation. It has been tackled by a variety of approaches, commonly relying on continuous numerical optimization to ultimately obtain suitable parameter domains. We present a general combinatorial seamless parameter domain construction, free from the potential numerical issues inherent to continuous optimization techniques in practice. The domains are constructed as abstract polygonal complexes which can be embedded in a discrete planar grid space, as unions of unit squares. We ensure that the domain structure matches any prescribed parametrization singularities (cones) and satisfies seamlessness conditions. Surfaces of arbitrary genus are supported. Once a domain suitable for a given surface is constructed, a seamless and locally injective parametrization over this domain can be obtained using existing planar disk mapping techniques, making recourse to Tutte's classical embedding theorem.</jats:p>"}],"doi":"10.1111/cgf.13922","user_id":"117512","publisher":"Wiley","date_created":"2025-06-26T06:52:07Z","status":"public","publication_identifier":{"issn":["0167-7055","1467-8659"]},"year":"2020","language":[{"iso":"eng"}],"_id":"60383","date_updated":"2025-07-14T12:48:19Z","author":[{"last_name":"Zhou","full_name":"Zhou, Jiaran","first_name":"Jiaran"},{"last_name":"Tu","full_name":"Tu, Changhe","first_name":"Changhe"},{"last_name":"Zorin","full_name":"Zorin, Denis","first_name":"Denis"},{"orcid":"0000-0003-2340-3462","id":"114904","last_name":"Campen","first_name":"Marcel","full_name":"Campen, Marcel"}],"intvolume":"        39","publication_status":"published","citation":{"bibtex":"@article{Zhou_Tu_Zorin_Campen_2020, title={Combinatorial Construction of Seamless Parameter Domains}, volume={39}, DOI={<a href=\"https://doi.org/10.1111/cgf.13922\">10.1111/cgf.13922</a>}, number={2}, journal={Computer Graphics Forum}, publisher={Wiley}, author={Zhou, Jiaran and Tu, Changhe and Zorin, Denis and Campen, Marcel}, year={2020}, pages={179–190} }","mla":"Zhou, Jiaran, et al. “Combinatorial Construction of Seamless Parameter Domains.” <i>Computer Graphics Forum</i>, vol. 39, no. 2, Wiley, 2020, pp. 179–90, doi:<a href=\"https://doi.org/10.1111/cgf.13922\">10.1111/cgf.13922</a>.","short":"J. Zhou, C. Tu, D. Zorin, M. Campen, Computer Graphics Forum 39 (2020) 179–190.","apa":"Zhou, J., Tu, C., Zorin, D., &#38; Campen, M. (2020). Combinatorial Construction of Seamless Parameter Domains. <i>Computer Graphics Forum</i>, <i>39</i>(2), 179–190. <a href=\"https://doi.org/10.1111/cgf.13922\">https://doi.org/10.1111/cgf.13922</a>","ama":"Zhou J, Tu C, Zorin D, Campen M. Combinatorial Construction of Seamless Parameter Domains. <i>Computer Graphics Forum</i>. 2020;39(2):179-190. doi:<a href=\"https://doi.org/10.1111/cgf.13922\">10.1111/cgf.13922</a>","ieee":"J. Zhou, C. Tu, D. Zorin, and M. Campen, “Combinatorial Construction of Seamless Parameter Domains,” <i>Computer Graphics Forum</i>, vol. 39, no. 2, pp. 179–190, 2020, doi: <a href=\"https://doi.org/10.1111/cgf.13922\">10.1111/cgf.13922</a>.","chicago":"Zhou, Jiaran, Changhe Tu, Denis Zorin, and Marcel Campen. “Combinatorial Construction of Seamless Parameter Domains.” <i>Computer Graphics Forum</i> 39, no. 2 (2020): 179–90. <a href=\"https://doi.org/10.1111/cgf.13922\">https://doi.org/10.1111/cgf.13922</a>."},"department":[{"_id":"969"}]},{"doi":"10.1016/j.cad.2020.102862","intvolume":"       127","author":[{"first_name":"Manish","full_name":"Mandad, Manish","last_name":"Mandad"},{"first_name":"Marcel","full_name":"Campen, Marcel","last_name":"Campen","id":"114904","orcid":"0000-0003-2340-3462"}],"extern":"1","title":"Efficient piecewise higher-order parametrization of discrete surfaces with local and global injectivity","department":[{"_id":"969"}],"user_id":"117512","publication_status":"published","citation":{"ieee":"M. Mandad and M. Campen, “Efficient piecewise higher-order parametrization of discrete surfaces with local and global injectivity,” <i>Computer-Aided Design</i>, vol. 127, Art. no. 102862, 2020, doi: <a href=\"https://doi.org/10.1016/j.cad.2020.102862\">10.1016/j.cad.2020.102862</a>.","chicago":"Mandad, Manish, and Marcel Campen. “Efficient Piecewise Higher-Order Parametrization of Discrete Surfaces with Local and Global Injectivity.” <i>Computer-Aided Design</i> 127 (2020). <a href=\"https://doi.org/10.1016/j.cad.2020.102862\">https://doi.org/10.1016/j.cad.2020.102862</a>.","short":"M. Mandad, M. Campen, Computer-Aided Design 127 (2020).","apa":"Mandad, M., &#38; Campen, M. (2020). Efficient piecewise higher-order parametrization of discrete surfaces with local and global injectivity. <i>Computer-Aided Design</i>, <i>127</i>, Article 102862. <a href=\"https://doi.org/10.1016/j.cad.2020.102862\">https://doi.org/10.1016/j.cad.2020.102862</a>","ama":"Mandad M, Campen M. Efficient piecewise higher-order parametrization of discrete surfaces with local and global injectivity. <i>Computer-Aided Design</i>. 2020;127. doi:<a href=\"https://doi.org/10.1016/j.cad.2020.102862\">10.1016/j.cad.2020.102862</a>","bibtex":"@article{Mandad_Campen_2020, title={Efficient piecewise higher-order parametrization of discrete surfaces with local and global injectivity}, volume={127}, DOI={<a href=\"https://doi.org/10.1016/j.cad.2020.102862\">10.1016/j.cad.2020.102862</a>}, number={102862}, journal={Computer-Aided Design}, publisher={Elsevier BV}, author={Mandad, Manish and Campen, Marcel}, year={2020} }","mla":"Mandad, Manish, and Marcel Campen. “Efficient Piecewise Higher-Order Parametrization of Discrete Surfaces with Local and Global Injectivity.” <i>Computer-Aided Design</i>, vol. 127, 102862, Elsevier BV, 2020, doi:<a href=\"https://doi.org/10.1016/j.cad.2020.102862\">10.1016/j.cad.2020.102862</a>."},"status":"public","publication_identifier":{"issn":["0010-4485"]},"type":"journal_article","year":"2020","language":[{"iso":"eng"}],"publisher":"Elsevier BV","publication":"Computer-Aided Design","date_created":"2025-06-26T06:50:22Z","date_updated":"2025-07-14T12:48:16Z","article_number":"102862","volume":127,"_id":"60382"},{"author":[{"id":"32443","last_name":"Budde","first_name":"Lea","full_name":"Budde, Lea"},{"first_name":"Carsten","full_name":"Schulte, Carsten","last_name":"Schulte","id":"60311"},{"full_name":"Buhl, Heike M.","first_name":"Heike M.","last_name":"Buhl","id":"27152"},{"first_name":"Andreas","full_name":"Muehling, Andreas","last_name":"Muehling"}],"title":"Understanding and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication Follows)","project":[{"_id":"114","name":"TRR 318 - A04: TRR 318 - Integration des technischen Modells in das Partnermodell bei der Erklärung von digitalen Artefakten (Teilprojekt A04)","grant_number":"438445824"}],"keyword":["⛔ No DOI found"],"user_id":"90826","citation":{"short":"L. Budde, C. Schulte, H.M. Buhl, A. Muehling, Seventh International Conference on Learning and Teaching in Computing and Engineeringe (2020).","mla":"Budde, Lea, et al. “Understanding and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication Follows).” <i>Seventh International Conference on Learning and Teaching in Computing and Engineeringe</i>, (IEEE), 2020.","bibtex":"@article{Budde_Schulte_Buhl_Muehling_2020, title={Understanding and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication Follows)}, journal={Seventh International Conference on Learning and Teaching in Computing and Engineeringe}, publisher={(IEEE)}, author={Budde, Lea and Schulte, Carsten and Buhl, Heike M. and Muehling, Andreas}, year={2020} }","chicago":"Budde, Lea, Carsten Schulte, Heike M. Buhl, and Andreas Muehling. “Understanding and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication Follows).” <i>Seventh International Conference on Learning and Teaching in Computing and Engineeringe</i>, 2020.","ieee":"L. Budde, C. Schulte, H. M. Buhl, and A. Muehling, “Understanding and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication Follows),” <i>Seventh International Conference on Learning and Teaching in Computing and Engineeringe</i>, 2020.","apa":"Budde, L., Schulte, C., Buhl, H. M., &#38; Muehling, A. (2020). Understanding and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication Follows). <i>Seventh International Conference on Learning and Teaching in Computing and Engineeringe</i>.","ama":"Budde L, Schulte C, Buhl HM, Muehling A. Understanding and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication Follows). <i>Seventh International Conference on Learning and Teaching in Computing and Engineeringe</i>. Published online 2020."},"department":[{"_id":"67"},{"_id":"427"}],"publisher":"(IEEE)","date_created":"2021-02-24T09:18:36Z","publication":"Seventh International Conference on Learning and Teaching in Computing and Engineeringe","status":"public","language":[{"iso":"eng"}],"type":"journal_article","year":"2020","_id":"21267","date_updated":"2025-08-12T07:15:23Z"},{"_id":"15266","date_updated":"2025-09-10T11:41:54Z","publisher":"Springer","publication":"International Journal on Software and Systems Modeling (SoSyM)","date_created":"2019-12-10T11:31:55Z","status":"public","type":"journal_article","year":"2020","language":[{"iso":"eng"}],"user_id":"8447","main_file_link":[{"url":"https://doi.org/10.1007/s10270-020-00777-7"}],"citation":{"short":"E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, G. Engels, International Journal on Software and Systems Modeling (SoSyM) (2020).","mla":"Yigitbas, Enes, et al. “Integrated Model-Driven Development of Self-Adaptive User Interfaces .” <i>International Journal on Software and Systems Modeling (SoSyM)</i>, Springer, 2020.","bibtex":"@article{Yigitbas_Jovanovikj_Biermeier_Sauer_Engels_2020, title={Integrated Model-driven Development of Self-adaptive User Interfaces }, journal={International Journal on Software and Systems Modeling (SoSyM)}, publisher={Springer}, author={Yigitbas, Enes and Jovanovikj, Ivan and Biermeier, Kai and Sauer, Stefan and Engels, Gregor}, year={2020} }","chicago":"Yigitbas, Enes, Ivan Jovanovikj, Kai Biermeier, Stefan Sauer, and Gregor Engels. “Integrated Model-Driven Development of Self-Adaptive User Interfaces .” <i>International Journal on Software and Systems Modeling (SoSyM)</i>, 2020.","ieee":"E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, and G. Engels, “Integrated Model-driven Development of Self-adaptive User Interfaces ,” <i>International Journal on Software and Systems Modeling (SoSyM)</i>, 2020.","apa":"Yigitbas, E., Jovanovikj, I., Biermeier, K., Sauer, S., &#38; Engels, G. (2020). Integrated Model-driven Development of Self-adaptive User Interfaces . <i>International Journal on Software and Systems Modeling (SoSyM)</i>.","ama":"Yigitbas E, Jovanovikj I, Biermeier K, Sauer S, Engels G. Integrated Model-driven Development of Self-adaptive User Interfaces . <i>International Journal on Software and Systems Modeling (SoSyM)</i>. Published online 2020."},"department":[{"_id":"66"},{"_id":"534"}],"author":[{"orcid":"0000-0002-5967-833X","full_name":"Yigitbas, Enes","first_name":"Enes","last_name":"Yigitbas","id":"8447"},{"orcid":"https://orcid.org/0000-0002-1838-794X","last_name":"Jovanovikj","id":"39187","full_name":"Jovanovikj, Ivan","first_name":"Ivan"},{"first_name":"Kai","full_name":"Biermeier, Kai","id":"55908","last_name":"Biermeier","orcid":"0000-0002-2879-2359"},{"id":"447","last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan","orcid":"0000-0003-3084-0409"},{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"}],"title":"Integrated Model-driven Development of Self-adaptive User Interfaces "}]