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
Parameterized complexity of weighted team definability
J. Kontinen, Y. Mahmood, A. Meier, H. Vollmer, Mathematical Structures in Computer Science 34 (2024) 375–389.
LibreCat
| DOI
J. Kontinen, Y. Mahmood, A. Meier, H. Vollmer, Mathematical Structures in Computer Science 34 (2024) 375–389.
2024 | Conference Paper | LibreCat-ID: 58377
Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
Y. Mahmood, M. Hecher, A.-C. Ngonga Ngomo, in: 2024.
LibreCat
| DOI
| arXiv
Y. Mahmood, M. Hecher, A.-C. Ngonga Ngomo, in: 2024.
2024 | Conference Paper | LibreCat-ID: 56159
Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations
R. Peñaloza, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.
LibreCat
R. Peñaloza, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.
2024 | Book Chapter | LibreCat-ID: 60161
Portals across domains: A data analysis task and documentation canvas for data-driven model-based systems engineering
D. Tissen, I. Wiederkehr, R. Bernijazov, C. Koldewey, R. Dumitrescu, in: A.D. Kin-Tak Lam, S.D. Prior, S.-T. Shen, S.-J. Young, L.-W. Ji (Eds.), System Innovation for an Artificial Intelligence Era , 1., CRC Press, London, 2024.
LibreCat
D. Tissen, I. Wiederkehr, R. Bernijazov, C. Koldewey, R. Dumitrescu, in: A.D. Kin-Tak Lam, S.D. Prior, S.-T. Shen, S.-J. Young, L.-W. Ji (Eds.), System Innovation for an Artificial Intelligence Era , 1., CRC Press, London, 2024.
2024 | Book Chapter | LibreCat-ID: 58449
Sustinnovate or perish: Principles for sustainable innovation
I. Wiederkehr, D. Tissen, C. Koldewey, R. Dumitrescu, in: A.D. Kin-Tak Lam, S.D. Prior, S.-T. Shen, S.-J. Young, L.-W. Ji (Eds.), System Innovation for an Artificial Intelligence Era, CRC Press, London, 2024.
LibreCat
I. Wiederkehr, D. Tissen, C. Koldewey, R. Dumitrescu, in: A.D. Kin-Tak Lam, S.D. Prior, S.-T. Shen, S.-J. Young, L.-W. Ji (Eds.), System Innovation for an Artificial Intelligence Era, CRC Press, London, 2024.
2024 | Conference Paper | LibreCat-ID: 56137
Do Android App Developers Accurately Report Collection of Privacy-Related Data?
M. Khedkar, A.K. Mondal, E. Bodden, in: In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW ’24), 2024.
LibreCat
| Files available
| DOI
| arXiv
M. Khedkar, A.K. Mondal, E. Bodden, in: In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW ’24), 2024.
2024 | Conference Paper | LibreCat-ID: 56140
Advancing Android Privacy Assessments with Automation
M. Khedkar, M. Schlichtig, E. Bodden, in: In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW ’24), 2024.
LibreCat
| Files available
| DOI
| arXiv
M. Khedkar, M. Schlichtig, E. Bodden, in: In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW ’24), 2024.
2024 | Journal Article | LibreCat-ID: 53622 | 
Empowering Students for the Data-Driven World: A Qualitative Study of the Relevance of Learning about Data-Driven Technologies
L. Höper, C. Schulte, Informatics in Education (2024).
LibreCat
| Files available
| DOI
| Download (ext.)
L. Höper, C. Schulte, Informatics in Education (2024).
2024 | Conference Paper | LibreCat-ID: 57209 |
New Perspectives on the Future of Computing Education: Teaching and Learning Explanatory Models
L. Höper, C. Schulte, in: Proceedings of the 24th Koli Calling International Conference on Computing Education Research, ACM, 2024.
LibreCat
| Files available
| DOI
| Download (ext.)
L. Höper, C. Schulte, in: Proceedings of the 24th Koli Calling International Conference on Computing Education Research, ACM, 2024.
2024 | Conference Paper | LibreCat-ID: 55481 |
Students' Motivation and Intention to Engage with Data-Driven Technologies from a CS Perspective in Everyday Life
L. Höper, C. Schulte, A. Mühling, in: Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, ACM, 2024.
LibreCat
| Files available
| DOI
| Download (ext.)
L. Höper, C. Schulte, A. Mühling, in: Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, ACM, 2024.
2024 | Conference Paper | LibreCat-ID: 55656 |
Learning an Explanatory Model of Data-Driven Technologies can Lead to Empowered Behavior: A Mixed-Methods Study in K-12 Computing Education
L. Höper, C. Schulte, A. Mühling, in: Proceedings of the 2024 ACM Conference on International Computing Education Research - Volume 1, ACM, 2024.
LibreCat
| Files available
| DOI
| Download (ext.)
L. Höper, C. Schulte, A. Mühling, in: Proceedings of the 2024 ACM Conference on International Computing Education Research - Volume 1, ACM, 2024.
2024 | Book Chapter | LibreCat-ID: 57238
Rejection in Abstract Argumentation: Harder Than Acceptance?
J.K. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Frontiers in Artificial Intelligence and Applications, IOS Press, 2024.
LibreCat
| DOI
J.K. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Frontiers in Artificial Intelligence and Applications, IOS Press, 2024.
2024 | Conference Paper | LibreCat-ID: 57109
Roleplaying made easy – A Meta-model for Roles in Systems Engineering
E.-M. Grote, D. Wilke, C. Koldewey, R. Dumitrescu, in: 2024 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2024.
LibreCat
| DOI
| Download (ext.)
E.-M. Grote, D. Wilke, C. Koldewey, R. Dumitrescu, in: 2024 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2024.
2024 | Conference Paper | LibreCat-ID: 57110
Data-driven Services and Servitization in Manufacturing: Innovation, Engineering, Transformation, and Management
C. Koldewey, M. Ebel, J. Winter, R. Dumitrescu, in: Proceedings of the 57th Hawaii International Conference on System Sciences, 2024.
LibreCat
| Download (ext.)
C. Koldewey, M. Ebel, J. Winter, R. Dumitrescu, in: Proceedings of the 57th Hawaii International Conference on System Sciences, 2024.
2024 | Mastersthesis | LibreCat-ID: 57319
Hexagon Shape Formation in the Amoebot Model with Immobilized Particles
R. Raj, Hexagon Shape Formation in the Amoebot Model with Immobilized Particles, 2024.
LibreCat
R. Raj, Hexagon Shape Formation in the Amoebot Model with Immobilized Particles, 2024.
2024 | Book Chapter | LibreCat-ID: 57323
Evaluating Negation with Multi-way Joins Accelerates Class Expression Learning
N. Karalis, A. Bigerl, C. Demir, L. Heidrich, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
N. Karalis, A. Bigerl, C. Demir, L. Heidrich, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
2024 | Bachelorsthesis | LibreCat-ID: 57416 |
Tailoring Code Property Graphs to Jimple
M.H.F. Youkeim, Tailoring Code Property Graphs to Jimple, Paderborn University, Paderborn, 2024.
LibreCat
| Files available
M.H.F. Youkeim, Tailoring Code Property Graphs to Jimple, Paderborn University, Paderborn, 2024.
2024 | Conference Paper | LibreCat-ID: 54312
Enabling Performance Portability for Shallow Water Equations on CPUs, GPUs, and FPGAs with SYCL
M. Büttner, C. Alt, T. Kenter, H. Köstler, C. Plessl, V. Aizinger, in: Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2024.
LibreCat
| DOI
M. Büttner, C. Alt, T. Kenter, H. Köstler, C. Plessl, V. Aizinger, in: Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2024.
2024 | Preprint | LibreCat-ID: 57472 |
Inertial dynamics with vanishing Tikhonov regularization for multobjective optimization
R.I. Bot, K. Sonntag, ArXiv:2411.18422 (2024).
LibreCat
| Files available
| Download (ext.)
| arXiv
R.I. Bot, K. Sonntag, ArXiv:2411.18422 (2024).
2024 | Book Chapter | LibreCat-ID: 53942
SootUp: A Redesign of the Soot Static Analysis Framework
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.