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.

279 Publications


2023 | Conference Paper | LibreCat-ID: 43395
Trentinaglia, R., Merschjohann, S., Fockel, M., & Eikerling, H. (2023). Eliciting Security Requirements – An Experience Report. REFSQ 2023: Requirements Engineering: Foundation for Software Quality. https://doi.org/10.1007/978-3-031-29786-1_25
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 44769
Castenow, J., Harbig, J., & Meyer auf der Heide, F. (2023). Unifying Gathering Protocols for Swarms of Mobile Robots. In Lecture Notes in Computer Science. Springer International Publishing. https://doi.org/10.1007/978-3-031-30448-4_1
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 46516
Ahmed, A. F. A., Firmansyah, A. F., Sherif, M., Moussallem, D., & Ngonga Ngomo, A.-C. (2023). Explainable Integration of Knowledge Graphs Using Large Language Models. In Natural Language Processing and Information Systems. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-35320-8_9
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 46572
Gusmita, R. H., Firmansyah, A. F., Moussallem, D., & Ngonga Ngomo, A.-C. (2023). IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran. In Natural Language Processing and Information Systems. International Conference on Applications of Natural Language to Information Systems (NLDB) 2023, Derby, UK. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-35320-8_12
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 46867
Dieter, P. (2023). A Regret Policy for the Dynamic Vehicle Routing Problem with Time Windows. In Lecture Notes in Computer Science. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-43612-3_14
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 47421
Kouagou, N. J., Heindorf, S., Demir, C., & Ngonga Ngomo, A.-C. (2023). Neural Class Expression Synthesis in ALCHIQ(D). In Machine Learning and Knowledge Discovery in Databases: Research Track. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Turin. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-43421-1_12
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 47953
Kornowicz, J., & Thommes, K. (2023). Aggregating Human Domain Knowledge for Feature Ranking. Artificial Intelligence in HCI. https://doi.org/10.1007/978-3-031-35891-3_7
LibreCat | DOI
 

2023 | Special Issue | LibreCat-ID: 49367 | OA
Self-Assembled Block Copolymer Thin Films and Their Applications. (2023). In J. Lindner & K. Brassat (Eds.), Polymers.
LibreCat | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 50479
Qudus, U., Röder, M., Kirrane, S., & Ngomo, A.-C. N. (2023). TemporalFC: A Temporal Fact Checking Approach over Knowledge Graphs. In T. R. Payne, V. Presutti, G. Qi, M. Poveda-Villalón, G. Stoilos, L. Hollink, Z. Kaoudi, G. Cheng, & J. Li (Eds.), The Semantic Web – ISWC 2023 (Vol. 14265, pp. 465–483). Springer, Cham. https://doi.org/10.1007/978-3-031-47240-4_25
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 46191
Alt, C., Kenter, T., Faghih-Naini, S., Faj, J., Opdenhövel, J.-O., Plessl, C., Aizinger, V., Hönig, J., & Köstler, H. (2023). Shallow Water DG Simulations on FPGAs: Design and Comparison of a Novel Code Generation Pipeline. In Lecture Notes in Computer Science. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-32041-5_5
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 51373
Hanselle, J. M., Fürnkranz, J., & Hüllermeier, E. (2023). Probabilistic Scoring Lists for Interpretable Machine Learning. 26th International Conference on Discovery Science , 14050, 189–203. https://doi.org/10.1007/978-3-031-45275-8_13
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 51368
Esposito, E. (2023). Does Explainability Require Transparency? Sociologica, 16(3), 17–27. https://doi.org/10.6092/ISSN.1971-8853/15804
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 51369
Esposito, E. (2023). Explaining Machines: Social Management of Incomprehensible Algorithms. Introduction. Sociologica, 16(3), 1–4. https://doi.org/10.6092/ISSN.1971-8853/16265
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 48776
Muschalik, M., Fumagalli, F., Hammer, B., & Huellermeier, E. (2023). iSAGE: An Incremental Version of SAGE for Online Explanation on Data Streams. In Machine Learning and Knowledge Discovery in Databases: Research Track. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-43418-1_26
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara, I., & Turhan, A.-Y. (2023). Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models. In Logics in Artificial Intelligence. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-43619-2_36
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 30971
Hansmeier, T., & Platzner, M. (2022). Integrating Safety Guarantees into the Learning Classifier System XCS. Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, 13224, 386–401. https://doi.org/10.1007/978-3-031-02462-7_25
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 34077
Bondarenko, A., Fröbe, M., Kiesel, J., Syed, S., Gurcke, T., Beloucif, M., Panchenko, A., Biemann, C., Stein, B., Wachsmuth, H., Potthast, M., & Hagen, M. (2022). Overview of Touché 2022: Argument Retrieval. In Lecture Notes in Computer Science. Springer International Publishing. https://doi.org/10.1007/978-3-030-99739-7_43
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 33669 | OA
Zhang, W., Chang, X., Boeddeker, C., Nakatani, T., Watanabe, S., & Qian, Y. (2022). End-to-End Dereverberation, Beamforming, and Speech Recognition in A Cocktail Party. IEEE/ACM Transactions on Audio, Speech, and Language Processing. https://doi.org/10.1109/TASLP.2022.3209942
LibreCat | Files available | DOI
 

2022 | Book Chapter | LibreCat-ID: 34292
Wolters, D., & Engels, G. (2022). Towards Situational Process Management for Professional Education Programmes. In D. Taibi, M. Kuhrmann, T. Mikkonen, J. Klünder, & P. Abrahamsson (Eds.), Product-Focused Software Process Improvement (Vol. 13709, pp. 235–242). Springer International Publishing. https://doi.org/10.1007/978-3-031-21388-5_16
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 29872
Maack, M., Meyer auf der Heide, F., & Pukrop, S. (2022). Server Cloud Scheduling. In Approximation and Online Algorithms. Springer International Publishing. https://doi.org/10.1007/978-3-030-92702-8_10
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 33740 | OA
KOUAGOU, N. J., Heindorf, S., Demir, C., & Ngonga Ngomo, A.-C. (2022). Learning Concept Lengths Accelerates Concept Learning in ALC. In The Semantic Web. Springer International Publishing. https://doi.org/10.1007/978-3-031-06981-9_14
LibreCat | Files available | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 29727
Wohlleben, M. C., Bender, A., Peitz, S., & Sextro, W. (2022). Development of a Hybrid Modeling Methodology for Oscillating Systems with Friction. In Machine Learning, Optimization, and Data Science. Springer International Publishing. https://doi.org/10.1007/978-3-030-95470-3_8
LibreCat | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 33738 | OA
Zahera, H. M. A., Heindorf, S., Balke, S., Haupt, J., Voigt, M., Walter, C., Witter, F., & Ngonga Ngomo, A.-C. (2022). Tab2Onto: Unsupervised Semantification with Knowledge Graph Embeddings. In The Semantic Web: ESWC 2022 Satellite Events. Springer International Publishing. https://doi.org/10.1007/978-3-031-11609-4_9
LibreCat | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 38506
Zahera, H. M. A., Vollmers, D., Sherif, M. A., & Ngomo, A.-C. N. (2022). MultPAX: Keyphrase Extraction Using Language Models and Knowledge Graphs. In The Semantic Web – ISWC 2022. Springer International Publishing. https://doi.org/10.1007/978-3-031-19433-7_18
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 49172 | OA
Abdelrahem, M. (2022). Auswirkung der Theologie auf das rechtsphilosophische Denken der Muʿtazila: Lektüre bei al-Qāḍī ʿAbd al-Ǧabbār. Zeitschrift für Recht und Islam / Journal of Law & Islam, 13/14, 57–80.
LibreCat | Download (ext.)
 

2021 | Book Chapter | LibreCat-ID: 29046
Feldhans, R., Wilke, A., Heindorf, S., Shaker, M. H., Hammer, B., Ngonga Ngomo, A.-C., & Hüllermeier, E. (2021). Drift Detection in Text Data with Document Embeddings. In Intelligent Data Engineering and Automated Learning – IDEAL 2021. https://doi.org/10.1007/978-3-030-91608-4_11
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 21378
Hartel, R., & Dunst, A. (2021). An OCR Pipeline and Semantic Text Analysis for Comics. In MANPU 2020: The 4th International Workshop on coMics ANalysis, Processing and Understanding@Pattern Recognition. ICPR International Workshops and Challenges. Cham. https://doi.org/10.1007/978-3-030-68780-9_19
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 22057
Jager, T., Kurek, R., & Niehues, D. (2021). Efficient Adaptively-Secure IB-KEMs and VRFs via Near-Collision Resistance. In Public-Key Cryptography – PKC 2021. Cham. https://doi.org/10.1007/978-3-030-75245-3_22
LibreCat | Files available | DOI
 

2021 | Book Chapter | LibreCat-ID: 22059
Niehues, D. (2021). Verifiable Random Functions with Optimal Tightness. In Public-Key Cryptography – PKC 2021. Cham. https://doi.org/10.1007/978-3-030-75248-4_3
LibreCat | Files available | DOI
 

2021 | Conference Paper | LibreCat-ID: 27381
Damke, C., & Hüllermeier, E. (2021). Ranking Structured Objects with Graph Neural Networks. In C. Soares & L. Torgo (Eds.), Proceedings of The 24th International Conference on Discovery Science (DS 2021) (Vol. 12986, pp. 166–180). Springer. https://doi.org/10.1007/978-3-030-88942-5
LibreCat | DOI | arXiv
 

2021 | Book Chapter | LibreCat-ID: 26888
Götte, T., Kolb, C., Scheideler, C., & Werthmann, J. (2021). Beep-And-Sleep: Message and Energy Efficient Set Cover. In Algorithms for Sensor Systems (ALGOSENSORS ’21). ALGOSENSORS 2021, Lisbon, Portgual. https://doi.org/10.1007/978-3-030-89240-1_7
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 29566
Bobolz, J., Eidens, F., Krenn, S., Ramacher, S., & Samelin, K. (2021). Issuer-Hiding Attribute-Based Credentials. Cryptology and Network Security. https://doi.org/10.1007/978-3-030-92548-2_9
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 32868
Nagbøl, P. R., Müller, O., & Krancher, O. (2021). Designing a Risk Assessment Tool for Artificial Intelligence Systems. In The Next Wave of Sociotechnical Design. Springer International Publishing. https://doi.org/10.1007/978-3-030-82405-1_32
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 29292 | OA
Feldhans, R., Wilke, A., Heindorf, S., Shaker, M. H., Hammer, B., Ngonga Ngomo, A.-C., & Hüllermeier, E. (2021). Drift Detection in Text Data with Document Embeddings. In Intelligent Data Engineering and Automated Learning – IDEAL 2021. Springer International Publishing. https://doi.org/10.1007/978-3-030-91608-4_11
LibreCat | Files available | DOI | Download (ext.)
 

2021 | Conference Paper | LibreCat-ID: 45846
Kontinen, J., Meier, A., & Mahmood, Y. (2021). A Parameterized View on the Complexity of Dependence Logic. Logical Foundations of Computer Science. https://doi.org/10.1007/978-3-030-93100-1_9
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 21587
Alhaddad, S., Förstner, J., Groth, S., Grünewald, D., Grynko, Y., Hannig, F., Kenter, T., Pfreundt, F.-J., Plessl, C., Schotte, M., Steinke, T., Teich, J., Weiser, M., & Wende, F. (2021). HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids. In Euro-Par 2020: Parallel Processing Workshops. https://doi.org/10.1007/978-3-030-71593-9_15
LibreCat | Files available | DOI
 

2021 | Book Chapter | LibreCat-ID: 29936
Ramaswami, A., Kenter, T., Kühne, T., & Plessl, C. (2021). Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing. In Applied Reconfigurable Computing. Architectures, Tools, and Applications. Int. Conf. on Applied Reconfigurable Computing. Architectures, Tools, and Applications. Springer International Publishing. https://doi.org/10.1007/978-3-030-79025-7_21
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 45823
Kontinen, J., Meier, A., & Mahmood, Y. (2021). A Parameterized View on the Complexity of Dependence Logic. In Logical Foundations of Computer Science. Springer International Publishing. https://doi.org/10.1007/978-3-030-93100-1_9
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 19521
Pfannschmidt, K., & Hüllermeier, E. (2020). Learning Choice Functions via Pareto-Embeddings. In Lecture Notes in Computer Science. Cham. https://doi.org/10.1007/978-3-030-58285-2_30
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 19561
Sellmann, M., & Tierney, K. (2020). Hyper-parameterized Dialectic Search for Non-linear Box-Constrained Optimization with Heterogenous Variable Types. In Lecture Notes in Computer Science. Cham. https://doi.org/10.1007/978-3-030-53552-0_12
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 21396
Jager, T., & Niehues, D. (2020). On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions. In Lecture Notes in Computer Science. Cham. https://doi.org/10.1007/978-3-030-38471-5_13
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 17337
Jazayeri, B., Schwichtenberg, S., Küster, J., Zimmermann, O., & Engels, G. (2020). Modeling and Analyzing Architectural Diversity of Open Platforms. In Advanced Information Systems Engineering. Cham. https://doi.org/10.1007/978-3-030-49435-3_3
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 23517
Gräßler, I., & Hentze, J. (2020). The new V-Model of 2206 and its validation. At-Automatisierungstechnik 68(5), 68(5), 312–324.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20891
Knüppel, A., Krüger, S., Thüm, T., Bubel, R., Krieter, S., Bodden, E., & Schaefer, I. (2020). Using Abstract Contracts for Verifying Evolving Features and Their Interactions. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-030-64354-6_5
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 18014
El Mesaoudi-Paul, A., Weiß, D., Bengs, V., Hüllermeier, E., & Tierney, K. (2020). Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach. In Learning and Intelligent Optimization. LION 2020. (Vol. 12096, pp. 216–232). Cham: Springer. https://doi.org/10.1007/978-3-030-53552-0_22
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 23377
Piskachev, G., Petrasch, T., Späth, J., & Bodden, E. (2020). AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-030-54997-8_34
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17084
Weidmann, N., & Anjorin, A. (2020). Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. In H. Wehrheim & J. Cabot (Eds.), Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020. Cham: Springer. https://doi.org/10.1007/978-3-030-45234-6_16
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17085
Schwichtenberg, B., Schwichtenberg, S., Küster, J., Zimmermann, O., & Engels, G. (2020). Modeling and Analyzing Architectural Diversity of Open Platforms. In Advanced Information Systems Engineering. Cham. https://doi.org/10.1007/978-3-030-49435-3_3
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 28997
Dallmeier, F., Drees, J. P., Gellert, K., Handirk, T., Jager, T., Klauke, J., Nachtigall, S., Renzelmann, T., & Wolf, R. (2020). Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC. Cryptology and Network Security, 211–231. https://doi.org/10.1007/978-3-030-65411-5_11
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20706
zur Heiden, P. (2020). Considering Context in Design Science Research: A Systematic Literature Review. Designing for Digital Transformation. Co-Creating Services with Citizens and Industry. https://doi.org/10.1007/978-3-030-64823-7_21
LibreCat | DOI
 

Filters and Search Terms

issn%3D0302-9743

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed