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
Eliciting Security Requirements – An Experience Report
R. Trentinaglia, S. Merschjohann, M. Fockel, H. Eikerling, in: REFSQ 2023: Requirements Engineering: Foundation for Software Quality, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 44769
Unifying Gathering Protocols for Swarms of Mobile Robots
J. Castenow, J. Harbig, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 46516
Explainable Integration of Knowledge Graphs Using Large Language Models
A.F.A. Ahmed, A.F. Firmansyah, M. Sherif, D. Moussallem, A.-C. Ngonga Ngomo, in: Natural Language Processing and Information Systems, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 46572
IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran
R.H. Gusmita, A.F. Firmansyah, D. Moussallem, A.-C. Ngonga Ngomo, in: Natural Language Processing and Information Systems, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 46867
A Regret Policy for the Dynamic Vehicle Routing Problem with Time Windows
P. Dieter, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 47421
Neural Class Expression Synthesis in ALCHIQ(D)
N.J. Kouagou, S. Heindorf, C. Demir, A.-C. Ngonga Ngomo, in: Machine Learning and Knowledge Discovery in Databases: Research Track, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 47953
Aggregating Human Domain Knowledge for Feature Ranking
J. Kornowicz, K. Thommes, Artificial Intelligence in HCI (2023).
LibreCat | DOI
 

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

2023 | Conference Paper | LibreCat-ID: 50479
TemporalFC: A Temporal Fact Checking Approach over Knowledge Graphs
U. Qudus, M. Röder, S. Kirrane, A.-C.N. Ngomo, 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, Springer, Cham, Cham, 2023, pp. 465–483.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 46191
Shallow Water DG Simulations on FPGAs: Design and Comparison of a Novel Code Generation Pipeline
C. Alt, T. Kenter, S. Faghih-Naini, J. Faj, J.-O. Opdenhövel, C. Plessl, V. Aizinger, J. Hönig, H. Köstler, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 51373
Probabilistic Scoring Lists for Interpretable Machine Learning
J.M. Hanselle, J. Fürnkranz, E. Hüllermeier, in: 26th International Conference on Discovery Science , Springer Nature Switzerland, Cham, 2023, pp. 189–203.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 51368
Does Explainability Require Transparency?
E. Esposito, Sociologica 16 (2023) 17–27.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 51369 LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 48776
iSAGE: An Incremental Version of SAGE for Online Explanation on Data Streams
M. Muschalik, F. Fumagalli, B. Hammer, E. Huellermeier, in: Machine Learning and Knowledge Discovery in Databases: Research Track, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 52859
Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 30971
Integrating Safety Guarantees into the Learning Classifier System XCS
T. Hansmeier, M. Platzner, in: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, Springer International Publishing, 2022, pp. 386–401.
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 34077
Overview of Touché 2022: Argument Retrieval
A. Bondarenko, M. Fröbe, J. Kiesel, S. Syed, T. Gurcke, M. Beloucif, A. Panchenko, C. Biemann, B. Stein, H. Wachsmuth, M. Potthast, M. Hagen, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2022.
LibreCat | DOI
 

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

2022 | Book Chapter | LibreCat-ID: 34292
Towards Situational Process Management for Professional Education Programmes
D. Wolters, G. Engels, in: D. Taibi, M. Kuhrmann, T. Mikkonen, J. Klünder, P. Abrahamsson (Eds.), Product-Focused Software Process Improvement, Springer International Publishing, Cham, 2022, pp. 235–242.
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 29872
Server Cloud Scheduling
M. Maack, F. Meyer auf der Heide, S. Pukrop, in: Approximation and Online Algorithms, Springer International Publishing, Cham, 2022.
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 33740 | OA
Learning Concept Lengths Accelerates Concept Learning in ALC
N.J. KOUAGOU, S. Heindorf, C. Demir, A.-C. Ngonga Ngomo, in: The Semantic Web, Springer International Publishing, Cham, 2022.
LibreCat | Files available | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 29727
Development of a Hybrid Modeling Methodology for Oscillating Systems with Friction
M.C. Wohlleben, A. Bender, S. Peitz, W. Sextro, in: Machine Learning, Optimization, and Data Science, Springer International Publishing, Cham, 2022.
LibreCat | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 33738 | OA
Tab2Onto: Unsupervised Semantification with Knowledge Graph Embeddings
H.M.A. Zahera, S. Heindorf, S. Balke, J. Haupt, M. Voigt, C. Walter, F. Witter, A.-C. Ngonga Ngomo, in: The Semantic Web: ESWC 2022 Satellite Events, Springer International Publishing, Cham, 2022.
LibreCat | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 38506
MultPAX: Keyphrase Extraction Using Language Models and Knowledge Graphs
H.M.A. Zahera, D. Vollmers, M.A. Sherif, A.-C.N. Ngomo, in: The Semantic Web – ISWC 2022, Springer International Publishing, Cham, 2022.
LibreCat | DOI
 

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

2021 | Book Chapter | LibreCat-ID: 29046
Drift Detection in Text Data with Document Embeddings
R. Feldhans, A. Wilke, S. Heindorf, M.H. Shaker, B. Hammer, A.-C. Ngonga Ngomo, E. Hüllermeier, in: Intelligent Data Engineering and Automated Learning – IDEAL 2021, Cham, 2021.
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 21378
An OCR Pipeline and Semantic Text Analysis for Comics
R. Hartel, A. Dunst, in: MANPU 2020: The 4th International Workshop on CoMics ANalysis, Processing and Understanding@Pattern Recognition. ICPR International Workshops and Challenges, Cham, 2021.
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 22057
Efficient Adaptively-Secure IB-KEMs and VRFs via Near-Collision Resistance
T. Jager, R. Kurek, D. Niehues, in: Public-Key Cryptography – PKC 2021, Cham, 2021.
LibreCat | Files available | DOI
 

2021 | Book Chapter | LibreCat-ID: 22059
Verifiable Random Functions with Optimal Tightness
D. Niehues, in: Public-Key Cryptography – PKC 2021, Cham, 2021.
LibreCat | Files available | DOI
 

2021 | Conference Paper | LibreCat-ID: 27381
Ranking Structured Objects with Graph Neural Networks
C. Damke, E. Hüllermeier, in: C. Soares, L. Torgo (Eds.), Proceedings of The 24th International Conference on Discovery Science (DS 2021), Springer, 2021, pp. 166–180.
LibreCat | DOI | arXiv
 

2021 | Book Chapter | LibreCat-ID: 26888
Beep-And-Sleep: Message and Energy Efficient Set Cover
T. Götte, C. Kolb, C. Scheideler, J. Werthmann, in: Algorithms for Sensor Systems (ALGOSENSORS ’21), Cham, 2021.
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 29566
Issuer-Hiding Attribute-Based Credentials
J. Bobolz, F. Eidens, S. Krenn, S. Ramacher, K. Samelin, in: Cryptology and Network Security, Springer International Publishing, Cham, 2021.
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 32868
Designing a Risk Assessment Tool for Artificial Intelligence Systems
P.R. Nagbøl, O. Müller, O. Krancher, in: The Next Wave of Sociotechnical Design, Springer International Publishing, Cham, 2021.
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 29292 | OA
Drift Detection in Text Data with Document Embeddings
R. Feldhans, A. Wilke, S. Heindorf, M.H. Shaker, B. Hammer, A.-C. Ngonga Ngomo, E. Hüllermeier, in: Intelligent Data Engineering and Automated Learning – IDEAL 2021, Springer International Publishing, Cham, 2021.
LibreCat | Files available | DOI | Download (ext.)
 

2021 | Conference Paper | LibreCat-ID: 45846
A Parameterized View on the Complexity of Dependence Logic
J. Kontinen, A. Meier, Y. Mahmood, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2021.
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 21587
HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids
S. Alhaddad, J. Förstner, S. Groth, D. Grünewald, Y. Grynko, F. Hannig, T. Kenter, F.-J. Pfreundt, C. Plessl, M. Schotte, T. Steinke, J. Teich, M. Weiser, F. Wende, in: Euro-Par 2020: Parallel Processing Workshops, Cham, 2021.
LibreCat | Files available | DOI
 

2021 | Book Chapter | LibreCat-ID: 29936
Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing
A. Ramaswami, T. Kenter, T. Kühne, C. Plessl, in: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, Cham, 2021.
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 45823
A Parameterized View on the Complexity of Dependence Logic
J. Kontinen, A. Meier, Y. Mahmood, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2021.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 19521
Learning Choice Functions via Pareto-Embeddings
K. Pfannschmidt, E. Hüllermeier, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 19561
Hyper-parameterized Dialectic Search for Non-linear Box-Constrained Optimization with Heterogenous Variable Types
M. Sellmann, K. Tierney, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 21396
On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions
T. Jager, D. Niehues, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 17337
Modeling and Analyzing Architectural Diversity of Open Platforms
B. Jazayeri, S. Schwichtenberg, J. Küster, O. Zimmermann, G. Engels, in: Advanced Information Systems Engineering, Cham, 2020.
LibreCat | DOI
 

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

2020 | Book Chapter | LibreCat-ID: 20891
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
A. Knüppel, S. Krüger, T. Thüm, R. Bubel, S. Krieter, E. Bodden, I. Schaefer, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 18014
Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach
A. El Mesaoudi-Paul, D. Weiß, V. Bengs, E. Hüllermeier, K. Tierney, in: Learning and Intelligent Optimization. LION 2020., Springer, Cham, 2020, pp. 216–232.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 23377
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17084
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
N. Weidmann, A. Anjorin, in: H. Wehrheim, J. Cabot (Eds.), Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, Springer, Cham, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17085
Modeling and Analyzing Architectural Diversity of Open Platforms
B. Schwichtenberg, S. Schwichtenberg, J. Küster, O. Zimmermann, G. Engels, in: Advanced Information Systems Engineering, Cham, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 28997
Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC
F. Dallmeier, J.P. Drees, K. Gellert, T. Handirk, T. Jager, J. Klauke, S. Nachtigall, T. Renzelmann, R. Wolf, in: Cryptology and Network Security, Springer-Verlag, Cham, 2020, pp. 211–231.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20706
Considering Context in Design Science Research: A Systematic Literature Review
P. zur Heiden, in: Designing for Digital Transformation. Co-Creating Services with Citizens and Industry, Cham, 2020.
LibreCat | DOI
 

Filters and Search Terms

issn%3D0302-9743

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed