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.
244 Publications
2024 | Book Chapter | LibreCat-ID: 53942
Karakaya, Kadiray, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, and Dongjie He. “SootUp: A Redesign of the Soot Static Analysis Framework.” In Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-57246-3_13.
LibreCat
| DOI
2024 | Book Chapter | LibreCat-ID: 54412
Firmansyah, Asep Fajar, Diego Moussallem, and Axel-Cyrille Ngonga Ngomo. “ESLM: Improving Entity Summarization by Leveraging Language Models.” In The Semantic Web. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-60626-7_9.
LibreCat
| DOI
2024 | Book Chapter | LibreCat-ID: 54580
Mahmood, Yasir, Jonni Virtema, Timon Barlag, and Axel-Cyrille Ngonga Ngomo. “Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.” In Lecture Notes in Computer Science. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-56940-1_2.
LibreCat
| DOI
2024 | Book Chapter | LibreCat-ID: 54624
Papenkordt, Jörg. “Navigating Transparency: The Influence of On-Demand Explanations on Non-Expert User Interaction with AI.” In Artificial Intelligence in HCI. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-60606-9_14.
LibreCat
| DOI
2024 | Book Chapter | LibreCat-ID: 52759
Preuß, Oliver Ludger, Jeroen Rook, and Heike Trautmann. “On the Potential of Multi-Objective Automated Algorithm Configuration on Multi-Modal Multi-Objective Optimisation Problems.” In Applications of Evolutionary Computation. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-56852-7_20.
LibreCat
| DOI
2024 | Book Chapter | LibreCat-ID: 54802
Kostitsyna, Irina, David Liedtke, and Christian Scheideler. “Universal Coating by 3D Hybrid Programmable Matter.” In Structural Information and Communication Complexity, edited by Yuval Emek. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-60603-8_21.
LibreCat
| DOI
2024 | Book Chapter | LibreCat-ID: 54818
Papenkordt, Jörg. “Navigating Transparency: The Influence of On-Demand Explanations on Non-Expert User Interaction with AI.” In Artificial Intelligence in HCI. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-60606-9_14.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 43395
Trentinaglia, Roman, Sven Merschjohann, Markus Fockel, and Hendrik Eikerling. “Eliciting Security Requirements – An Experience Report.” In REFSQ 2023: Requirements Engineering: Foundation for Software Quality. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-29786-1_25.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 44769
Castenow, Jannik, Jonas Harbig, and Friedhelm Meyer auf der Heide. “Unifying Gathering Protocols for Swarms of Mobile Robots.” In Lecture Notes in Computer Science. Cham: Springer International Publishing, 2023. https://doi.org/10.1007/978-3-031-30448-4_1.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 46867
Dieter, Peter. “A Regret Policy for the Dynamic Vehicle Routing Problem with Time Windows.” In Lecture Notes in Computer Science. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-43612-3_14.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 47953
Kornowicz, Jaroslaw, and Kirsten Thommes. “Aggregating Human Domain Knowledge for Feature Ranking.” Artificial Intelligence in HCI, 2023. https://doi.org/10.1007/978-3-031-35891-3_7.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 50479
Qudus, Umair, Michael Röder, Sabrina Kirrane, and Axel-Cyrille Ngonga Ngomo. “TemporalFC: A Temporal Fact Checking Approach over Knowledge Graphs.” In The Semantic Web – ISWC 2023, edited by Terry R. Payne, Valentina Presutti, Guilin Qi, María Poveda-Villalón, Giorgos Stoilos, Laura Hollink, Zoi Kaoudi, Gong Cheng, and Juanzi Li, 14265:465–483. Lecture Notes in Computer Science. Cham: Springer, Cham, 2023. https://doi.org/10.1007/978-3-031-47240-4_25.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 46191
Alt, Christoph, Tobias Kenter, Sara Faghih-Naini, Jennifer Faj, Jan-Oliver Opdenhövel, Christian Plessl, Vadym Aizinger, Jan Hönig, and Harald Köstler. “Shallow Water DG Simulations on FPGAs: Design and Comparison of a Novel Code Generation Pipeline.” In Lecture Notes in Computer Science. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-32041-5_5.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 51373
Hanselle, Jonas Manuel, Johannes Fürnkranz, and Eyke Hüllermeier. “Probabilistic Scoring Lists for Interpretable Machine Learning.” In 26th International Conference on Discovery Science , 14050:189–203. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-45275-8_13.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 47421 | 
Kouagou, N’Dah Jean, Stefan Heindorf, Caglar Demir, and Axel-Cyrille Ngonga Ngomo. “Neural Class Expression Synthesis in ALCHIQ(D).” In Machine Learning and Knowledge Discovery in Databases: Research Track. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-43421-1_12.
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52859
Camargo e Souza Câmara, Igor de, and Anni-Yasmin Turhan. “Deciding Subsumption in Defeasible $ELI$ with Typicality Models.” In Logics in Artificial Intelligence. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-43619-2_36.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 46572
Gusmita, Ria Hari, Asep Fajar Firmansyah, Diego Moussallem, and Axel-Cyrille Ngonga Ngomo. “IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran.” In Natural Language Processing and Information Systems. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-35320-8_12.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 46516
Ahmed, Abdullah Fathi Ahmed, Asep Fajar Firmansyah, Mohamed Sherif, Diego Moussallem, and Axel-Cyrille Ngonga Ngomo. “Explainable Integration of Knowledge Graphs Using Large Language Models.” In Natural Language Processing and Information Systems. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-35320-8_9.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 54579
Mahmood, Yasir, and Jonni Virtema. “Parameterized Complexity of Propositional Inclusion and Independence Logic.” In Logic, Language, Information, and Computation. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-39784-4_17.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 54909
Hanselle, Jonas Manuel, Johannes Fürnkranz, and Eyke Hüllermeier. “Probabilistic Scoring Lists for Interpretable Machine Learning.” In Discovery Science. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-45275-8_13.
LibreCat
| DOI