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.
5950 Publications
2024 | Journal Article | LibreCat-ID: 59911
@article{Kontinen_Mahmood_Meier_Vollmer_2024, title={Parameterized complexity of weighted team definability}, volume={34}, DOI={10.1017/s0960129524000033}, number={5}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={Kontinen, Juha and Mahmood, Yasir and Meier, Arne and Vollmer, Heribert}, year={2024}, pages={375–389} }
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 58377
@inproceedings{Mahmood_Hecher_Ngonga Ngomo_2024, title={Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases}, DOI={10.1609/AAAI.V39I14.33651}, author={Mahmood, Yasir and Hecher, Markus and Ngonga Ngomo, Axel-Cyrille}, year={2024} }
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 56159
@inproceedings{Peñaloza_Turhan_2024, series={CEUR Workshop Proceedings}, title={Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations}, volume={3739}, booktitle={Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Giordano, Laura and Jung, Jean Christoph and Ozaki, Ana}, year={2024}, collection={CEUR Workshop Proceedings} }
LibreCat
2024 | Book Chapter | LibreCat-ID: 60161
@inbook{Tissen_Wiederkehr_Bernijazov_Koldewey_Dumitrescu_2024, place={London}, edition={1.}, title={Portals across domains: A data analysis task and documentation canvas for data-driven model-based systems engineering}, booktitle={System Innovation for an Artificial Intelligence Era }, publisher={CRC Press}, author={Tissen, Denis and Wiederkehr, Ingrid and Bernijazov, Ruslan and Koldewey, Christian and Dumitrescu, Roman}, editor={Kin-Tak Lam, Artde Donald and Prior, Stephen D. and Shen, Siu-Tsen and Young, Sheng-Joue and Ji, Liang-Wen}, year={2024} }
LibreCat
2024 | Book Chapter | LibreCat-ID: 58449
@inbook{Wiederkehr_Tissen_Koldewey_Dumitrescu_2024, place={London}, title={Sustinnovate or perish: Principles for sustainable innovation}, booktitle={System Innovation for an Artificial Intelligence Era}, publisher={CRC Press}, author={Wiederkehr, Ingrid and Tissen, Denis and Koldewey, Christian and Dumitrescu, Roman}, editor={Kin-Tak Lam, Artde Donald and Prior, Stephen D. and Shen, Siu-Tsen and Young, Sheng-Joue and Ji, Liang-Wen}, year={2024} }
LibreCat
2024 | Conference Paper | LibreCat-ID: 56137
@inproceedings{Khedkar_Mondal_Bodden_2024, title={Do Android App Developers Accurately Report Collection of Privacy-Related Data?}, DOI={10.1145/3691621.3694949}, booktitle={In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW ’24)}, author={Khedkar, Mugdha and Mondal, Ambuj Kumar and Bodden, Eric}, year={2024} }
LibreCat
| Files available
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 56140
@inproceedings{Khedkar_Schlichtig_Bodden_2024, title={Advancing Android Privacy Assessments with Automation}, DOI={10.1145/3691621.3694953}, booktitle={In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW ’24)}, author={Khedkar, Mugdha and Schlichtig, Michael and Bodden, Eric}, year={2024} }
LibreCat
| Files available
| DOI
| arXiv
2024 | Journal Article | LibreCat-ID: 53622 | 
@article{Höper_Schulte_2024, title={Empowering Students for the Data-Driven World: A Qualitative Study of the Relevance of Learning about Data-Driven Technologies}, DOI={10.15388/infedu.2024.19}, journal={Informatics in Education}, publisher={Vilnius University Press}, author={Höper, Lukas and Schulte, Carsten}, year={2024} }
LibreCat
| Files available
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 57209 |
@inproceedings{Höper_Schulte_2024, title={New Perspectives on the Future of Computing Education: Teaching and Learning Explanatory Models}, DOI={10.1145/3699538.3699558}, booktitle={Proceedings of the 24th Koli Calling International Conference on Computing Education Research}, publisher={ACM}, author={Höper, Lukas and Schulte, Carsten}, year={2024} }
LibreCat
| Files available
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 55481 |
@inproceedings{Höper_Schulte_Mühling_2024, title={Students’ Motivation and Intention to Engage with Data-Driven Technologies from a CS Perspective in Everyday Life}, DOI={10.1145/3649217.3653625}, booktitle={Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1}, publisher={ACM}, author={Höper, Lukas and Schulte, Carsten and Mühling, Andreas}, year={2024} }
LibreCat
| Files available
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 55656 |
@inproceedings{Höper_Schulte_Mühling_2024, title={Learning an Explanatory Model of Data-Driven Technologies can Lead to Empowered Behavior: A Mixed-Methods Study in K-12 Computing Education}, volume={10}, DOI={10.1145/3632620.3671118}, booktitle={Proceedings of the 2024 ACM Conference on International Computing Education Research - Volume 1}, publisher={ACM}, author={Höper, Lukas and Schulte, Carsten and Mühling, Andreas}, year={2024} }
LibreCat
| Files available
| DOI
| Download (ext.)
2024 | Book Chapter | LibreCat-ID: 57238
@inbook{Fichte_Hecher_Mahmood_Meier_2024, title={Rejection in Abstract Argumentation: Harder Than Acceptance?}, DOI={10.3233/faia240867}, booktitle={Frontiers in Artificial Intelligence and Applications}, publisher={IOS Press}, author={Fichte, Johannes K. and Hecher, Markus and Mahmood, Yasir and Meier, Arne}, year={2024} }
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 57109
@inproceedings{Grote_Wilke_Koldewey_Dumitrescu_2024, title={Roleplaying made easy – A Meta-model for Roles in Systems Engineering}, DOI={10.1109/isse63315.2024.10741132}, booktitle={2024 IEEE International Symposium on Systems Engineering (ISSE)}, publisher={IEEE}, author={Grote, Eva-Maria and Wilke, Daria and Koldewey, Christian and Dumitrescu, Roman}, year={2024} }
LibreCat
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 57110
@inproceedings{Koldewey_Ebel_Winter_Dumitrescu_2024, title={Data-driven Services and Servitization in Manufacturing: Innovation, Engineering, Transformation, and Management}, booktitle={Proceedings of the 57th Hawaii International Conference on System Sciences}, author={Koldewey, Christian and Ebel, Martin and Winter, Johannes and Dumitrescu, Roman}, year={2024} }
LibreCat
| Download (ext.)
2024 | Mastersthesis | LibreCat-ID: 57319
@book{Raj_2024, title={Hexagon Shape Formation in the Amoebot Model with Immobilized Particles}, author={Raj, Roja}, year={2024} }
LibreCat
2024 | Book Chapter | LibreCat-ID: 57323
@inbook{Karalis_Bigerl_Demir_Heidrich_Ngonga Ngomo_2024, place={Cham}, title={Evaluating Negation with Multi-way Joins Accelerates Class Expression Learning}, DOI={10.1007/978-3-031-70365-2_12}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Nature Switzerland}, author={Karalis, Nikolaos and Bigerl, Alexander and Demir, Caglar and Heidrich, Liss and Ngonga Ngomo, Axel-Cyrille}, year={2024} }
LibreCat
| DOI
2024 | Bachelorsthesis | LibreCat-ID: 57416 |
@book{Youkeim_2024, place={Paderborn}, title={Tailoring Code Property Graphs to Jimple}, publisher={Paderborn University}, author={Youkeim, Michael Hany Fawzy}, year={2024} }
LibreCat
| Files available
2024 | Conference Paper | LibreCat-ID: 54312
@inproceedings{Büttner_Alt_Kenter_Köstler_Plessl_Aizinger_2024, title={Enabling Performance Portability for Shallow Water Equations on CPUs, GPUs, and FPGAs with SYCL}, DOI={10.1145/3659914.3659925}, number={11}, booktitle={Proceedings of the Platform for Advanced Scientific Computing Conference (PASC)}, publisher={ACM}, author={Büttner, Markus and Alt, Christoph and Kenter, Tobias and Köstler, Harald and Plessl, Christian and Aizinger, Vadym}, year={2024} }
LibreCat
| DOI
2024 | Preprint | LibreCat-ID: 57472 |
@article{Bot_Sonntag_2024, title={Inertial dynamics with vanishing Tikhonov regularization for multobjective optimization}, journal={arXiv:2411.18422 }, author={Bot, Radu Ioan and Sonntag, Konstantin}, year={2024} }
LibreCat
| Files available
| Download (ext.)
| arXiv
2024 | Book Chapter | LibreCat-ID: 53942
@inbook{Karakaya_Schott_Klauke_Bodden_Schmidt_Luo_He_2024, place={Cham}, title={SootUp: A Redesign of the Soot Static Analysis Framework}, DOI={10.1007/978-3-031-57246-3_13}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems}, publisher={Springer Nature Switzerland}, author={Karakaya, Kadiray and Schott, Stefan and Klauke, Jonas and Bodden, Eric and Schmidt, Markus and Luo, Linghui and He, Dongjie}, year={2024} }
LibreCat
| DOI