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.

262 Publications


2023 | Conference Paper | LibreCat-ID: 43395
Trentinaglia R, Merschjohann S, Fockel M, Eikerling H. Eliciting Security Requirements – An Experience Report. In: REFSQ 2023: Requirements Engineering: Foundation for Software Quality. Springer Nature Switzerland; 2023. doi: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. Unifying Gathering Protocols for Swarms of Mobile Robots. In: Lecture Notes in Computer Science. Springer International Publishing; 2023. doi:10.1007/978-3-031-30448-4_1
LibreCat | DOI
 

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

2023 | Book Chapter | LibreCat-ID: 46572
Gusmita RH, Firmansyah AF, Moussallem D, Ngonga Ngomo A-C. IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran. In: Natural Language Processing and Information Systems. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-35320-8_12
LibreCat | DOI
 

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

2023 | Book Chapter | LibreCat-ID: 47421
Kouagou NJ, Heindorf S, Demir C, Ngonga Ngomo A-C. Neural Class Expression Synthesis in ALCHIQ(D). In: Machine Learning and Knowledge Discovery in Databases: Research Track. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43421-1_12
LibreCat | DOI
 

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

2023 | Conference Paper | LibreCat-ID: 50479
Qudus U, Röder M, Kirrane S, Ngomo A-CN. TemporalFC: A Temporal Fact Checking Approach over Knowledge Graphs. In: R. Payne T, Presutti V, Qi G, et al., eds. The Semantic Web – ISWC 2023. Vol 14265. Lecture Notes in Computer Science. Springer, Cham; 2023:465–483. doi: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, et al. Shallow Water DG Simulations on FPGAs: Design and Comparison of a Novel Code Generation Pipeline. In: Lecture Notes in Computer Science. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-32041-5_5
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 51373
Hanselle JM, Fürnkranz J, Hüllermeier E. Probabilistic Scoring Lists for Interpretable Machine Learning. In: 26th International Conference on Discovery Science . Vol 14050. Lecture Notes in Computer Science. Springer Nature Switzerland; 2023:189-203. doi:10.1007/978-3-031-45275-8_13
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 48776
Muschalik M, Fumagalli F, Hammer B, Huellermeier E. 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; 2023. doi: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. Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models. In: Logics in Artificial Intelligence. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43619-2_36
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 30971
Hansmeier T, Platzner M. Integrating Safety Guarantees into the Learning Classifier System XCS. In: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings. Vol 13224. Lecture Notes in Computer Science. Springer International Publishing; 2022:386-401. doi:10.1007/978-3-031-02462-7_25
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 34077
Bondarenko A, Fröbe M, Kiesel J, et al. Overview of Touché 2022: Argument Retrieval. In: Lecture Notes in Computer Science. Springer International Publishing; 2022. doi:10.1007/978-3-030-99739-7_43
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 34292
Wolters D, Engels G. Towards Situational Process Management for Professional Education Programmes. In: Taibi D, Kuhrmann M, Mikkonen T, Klünder J, Abrahamsson P, eds. Product-Focused Software Process Improvement. Vol 13709. Lecture Notes in Computer Science. Springer International Publishing; 2022:235-242. doi: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. Server Cloud Scheduling. In: Approximation and Online Algorithms. Springer International Publishing; 2022. doi:10.1007/978-3-030-92702-8_10
LibreCat | DOI
 

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

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

2022 | Book Chapter | LibreCat-ID: 33738 | OA
Zahera HMA, Heindorf S, Balke S, et al. Tab2Onto: Unsupervised Semantification with Knowledge Graph Embeddings. In: The Semantic Web: ESWC 2022 Satellite Events. Springer International Publishing; 2022. doi:10.1007/978-3-031-11609-4_9
LibreCat | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 38506
Zahera HMA, Vollmers D, Sherif MA, Ngomo A-CN. MultPAX: Keyphrase Extraction Using Language Models and Knowledge Graphs. In: The Semantic Web – ISWC 2022. Springer International Publishing; 2022. doi:10.1007/978-3-031-19433-7_18
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 29046
Feldhans R, Wilke A, Heindorf S, et al. Drift Detection in Text Data with Document Embeddings. In: Intelligent Data Engineering and Automated Learning – IDEAL 2021. ; 2021. doi:10.1007/978-3-030-91608-4_11
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 21378
Hartel R, Dunst A. 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; 2021. doi:10.1007/978-3-030-68780-9_19
LibreCat | DOI
 

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

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

2021 | Conference Paper | LibreCat-ID: 27381
Damke C, Hüllermeier E. Ranking Structured Objects with Graph Neural Networks. In: Soares C, Torgo L, eds. Proceedings of The 24th International Conference on Discovery Science (DS 2021). Vol 12986. Lecture Notes in Computer Science. Springer; 2021:166-180. doi: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. Beep-And-Sleep: Message and Energy Efficient Set Cover. In: Algorithms for Sensor Systems (ALGOSENSORS ’21). ; 2021. doi: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. Issuer-Hiding Attribute-Based Credentials. In: Cryptology and Network Security. Springer International Publishing; 2021. doi:10.1007/978-3-030-92548-2_9
LibreCat | DOI
 

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

2021 | Book Chapter | LibreCat-ID: 29292 | OA
Feldhans R, Wilke A, Heindorf S, et al. Drift Detection in Text Data with Document Embeddings. In: Intelligent Data Engineering and Automated Learning – IDEAL 2021. Springer International Publishing; 2021. doi: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. A Parameterized View on the Complexity of Dependence Logic. In: Logical Foundations of Computer Science. Springer International Publishing; 2021. doi:10.1007/978-3-030-93100-1_9
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 21587
Alhaddad S, Förstner J, Groth S, et al. HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids. In: Euro-Par 2020: Parallel Processing Workshops. ; 2021. doi: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. Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing. In: Applied Reconfigurable Computing. Architectures, Tools, and Applications. Springer International Publishing; 2021. doi:10.1007/978-3-030-79025-7_21
LibreCat | DOI
 

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

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

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

2020 | Book Chapter | LibreCat-ID: 21396
Jager T, Niehues D. On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions. In: Lecture Notes in Computer Science. Cham; 2020. doi: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. Modeling and Analyzing Architectural Diversity of Open Platforms. In: Advanced Information Systems Engineering. Cham; 2020. doi:10.1007/978-3-030-49435-3_3
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 20891
Knüppel A, Krüger S, Thüm T, et al. Using Abstract Contracts for Verifying Evolving Features and Their Interactions. In: Lecture Notes in Computer Science. ; 2020. doi: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. Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach. In: Learning and Intelligent Optimization. LION 2020. Vol 12096. Lecture Notes in Computer Science. Cham: Springer; 2020:216-232. doi: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. AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In: Lecture Notes in Computer Science. ; 2020. doi:10.1007/978-3-030-54997-8_34
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17084
Weidmann N, Anjorin A. Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. In: Wehrheim H, Cabot J, eds. Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020. Cham: Springer; 2020. doi: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. Modeling and Analyzing Architectural Diversity of Open Platforms. In: Advanced Information Systems Engineering. Cham; 2020. doi:10.1007/978-3-030-49435-3_3
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 28997
Dallmeier F, Drees JP, Gellert K, et al. Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC. In: Cryptology and Network Security. Springer-Verlag; 2020:211-231. doi:10.1007/978-3-030-65411-5_11
LibreCat | DOI
 

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

2020 | Conference Paper | LibreCat-ID: 45848
Mahmood Y, Meier A. Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. In: Lecture Notes in Computer Science. Springer International Publishing; 2020. doi:10.1007/978-3-030-39951-1_10
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 47261
Haney JM, Furman SM, Acar Y. Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges. In: HCI for Cybersecurity, Privacy and Trust. Springer International Publishing; 2020. doi:10.1007/978-3-030-50309-3_26
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 11952
Senft B, Rittmeier F, Fischer HG, Oberthür S. A Value-Centered Approach for Unique and Novel Software Applications. In: Design, User Experience, and Usability. Practice and Case Studies. Cham; 2019. doi:10.1007/978-3-030-23535-2_27
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 14890
Kuhlemann S, Sellmann M, Tierney K. Exploiting Counterfactuals for Scalable Stochastic Optimization. In: Lecture Notes in Computer Science. Cham; 2019. doi:10.1007/978-3-030-30048-7_40
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15004
Ahmadi Fahandar M, Hüllermeier E. Feature Selection for Analogy-Based Learning to Rank. In: Discovery Science. Cham; 2019. doi:10.1007/978-3-030-33778-0_22
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15005
Ahmadi Fahandar M, Hüllermeier E. Analogy-Based Preference Learning with Kernels. In: KI 2019: Advances in Artificial Intelligence. Cham; 2019. doi:10.1007/978-3-030-30179-8_3
LibreCat | DOI
 

Filters and Search Terms

issn=0302-9743

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed