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