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, Roman, et al. “Eliciting Security Requirements – An Experience Report.” 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, Jannik, et al. “Unifying Gathering Protocols for Swarms of Mobile Robots.” 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, Abdullah Fathi Ahmed, et al. “Explainable Integration of Knowledge Graphs Using Large Language Models.” 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, Ria Hari, et al. “IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran.” 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, Peter. “A Regret Policy for the Dynamic Vehicle Routing Problem with Time Windows.” 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, N’Dah Jean, et al. “Neural Class Expression Synthesis in ALCHIQ(D).” 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, Jaroslaw, and Kirsten Thommes. “Aggregating Human Domain Knowledge for Feature Ranking.” Artificial Intelligence in HCI, Springer Nature Switzerland, 2023, doi:10.1007/978-3-031-35891-3_7.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 50479
Qudus, Umair, et al. “TemporalFC: A Temporal Fact Checking Approach over Knowledge Graphs.” The Semantic Web – ISWC 2023, edited by Terry R. Payne et al., vol. 14265, Springer, Cham, 2023, pp. 465–483, doi:10.1007/978-3-031-47240-4_25.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 46191
Alt, Christoph, et al. “Shallow Water DG Simulations on FPGAs: Design and Comparison of a Novel Code Generation Pipeline.” 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, Jonas Manuel, et al. “Probabilistic Scoring Lists for Interpretable Machine Learning.” 26th International Conference on Discovery Science , vol. 14050, Springer Nature Switzerland, 2023, pp. 189–203, doi:10.1007/978-3-031-45275-8_13.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 48776
Muschalik, Maximilian, et al. “ISAGE: An Incremental Version of SAGE for Online Explanation on Data Streams.” 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, Igor, and Anni-Yasmin Turhan. “Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models.” 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, Tim, and Marco Platzner. “Integrating Safety Guarantees into the Learning Classifier System XCS.” Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, vol. 13224, Springer International Publishing, 2022, pp. 386–401, doi:10.1007/978-3-031-02462-7_25.
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 34077
Bondarenko, Alexander, et al. “Overview of Touché 2022: Argument Retrieval.” 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, Dennis, and Gregor Engels. “Towards Situational Process Management for Professional Education Programmes.” Product-Focused Software Process Improvement, edited by Davide Taibi et al., vol. 13709, Springer International Publishing, 2022, pp. 235–42, doi:10.1007/978-3-031-21388-5_16.
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 29872
Maack, Marten, et al. “Server Cloud Scheduling.” 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, N’Dah Jean, et al. “Learning Concept Lengths Accelerates Concept Learning in ALC.” 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, Meike Claudia, et al. “Development of a Hybrid Modeling Methodology for Oscillating Systems with Friction.” 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, Hamada Mohamed Abdelsamee, et al. “Tab2Onto: Unsupervised Semantification with Knowledge Graph Embeddings.” 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, H. M. A., et al. “MultPAX: Keyphrase Extraction Using Language Models and Knowledge Graphs.” 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, Robert, et al. “Drift Detection in Text Data with Document Embeddings.” 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, Rita, and Alexander Dunst. “An OCR Pipeline and Semantic Text Analysis for Comics.” MANPU 2020: The 4th International Workshop on CoMics ANalysis, Processing and Understanding@Pattern Recognition. ICPR International Workshops and Challenges, 2021, doi:10.1007/978-3-030-68780-9_19.
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 22057
Jager, Tibor, et al. “Efficient Adaptively-Secure IB-KEMs and VRFs via Near-Collision Resistance.” Public-Key Cryptography – PKC 2021, 2021, doi:10.1007/978-3-030-75245-3_22.
LibreCat | Files available | DOI
 

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

2021 | Conference Paper | LibreCat-ID: 27381
Damke, Clemens, and Eyke Hüllermeier. “Ranking Structured Objects with Graph Neural Networks.” Proceedings of The 24th International Conference on Discovery Science (DS 2021), edited by Carlos Soares and Luis Torgo, vol. 12986, Springer, 2021, pp. 166–80, doi:10.1007/978-3-030-88942-5.
LibreCat | DOI | arXiv
 

2021 | Book Chapter | LibreCat-ID: 26888
Götte, Thorsten, et al. “Beep-And-Sleep: Message and Energy Efficient Set Cover.” 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, Jan, et al. “Issuer-Hiding Attribute-Based Credentials.” 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, Per Rådberg, et al. “Designing a Risk Assessment Tool for Artificial Intelligence Systems.” 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, Robert, et al. “Drift Detection in Text Data with Document Embeddings.” 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, Juha, et al. “A Parameterized View on the Complexity of Dependence Logic.” 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, Samer, et al. “HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids.” 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, Arjun, et al. “Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing.” 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, Juha, et al. “A Parameterized View on the Complexity of Dependence Logic.” 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, Karlson, and Eyke Hüllermeier. “Learning Choice Functions via Pareto-Embeddings.” Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-58285-2_30.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 19561
Sellmann, Meinolf, and Kevin Tierney. “Hyper-Parameterized Dialectic Search for Non-Linear Box-Constrained Optimization with Heterogenous Variable Types.” Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-53552-0_12.
LibreCat | DOI
 

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

2020 | Book Chapter | LibreCat-ID: 17337
Jazayeri, Bahar, et al. “Modeling and Analyzing Architectural Diversity of Open Platforms.” Advanced Information Systems Engineering, 2020, doi:10.1007/978-3-030-49435-3_3.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 20891
Knüppel, Alexander, et al. “Using Abstract Contracts for Verifying Evolving Features and Their Interactions.” 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, Adil, et al. “Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach.” Learning and Intelligent Optimization. LION 2020., vol. 12096, Springer, 2020, pp. 216–32, doi:10.1007/978-3-030-53552-0_22.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 23377
Piskachev, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-54997-8_34.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17084
Weidmann, Nils, and Anthony Anjorin. “Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming.” Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, edited by Heike Wehrheim and Jordi Cabot, Springer, 2020, doi:10.1007/978-3-030-45234-6_16.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17085
Schwichtenberg, Bahar, et al. “Modeling and Analyzing Architectural Diversity of Open Platforms.” Advanced Information Systems Engineering, 2020, doi:10.1007/978-3-030-49435-3_3.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 28997
Dallmeier, Fynn, et al. “Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC.” Cryptology and Network Security, Springer-Verlag, 2020, pp. 211–31, doi:10.1007/978-3-030-65411-5_11.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20706
zur Heiden, Philipp. “Considering Context in Design Science Research: A Systematic Literature Review.” 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, Yasir, and Arne Meier. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.” 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, Julie M., et al. “Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges.” 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, Björn, et al. “A Value-Centered Approach for Unique and Novel Software Applications.” Design, User Experience, and Usability. Practice and Case Studies, 2019, doi:10.1007/978-3-030-23535-2_27.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 14890
Kuhlemann, Stefan, et al. “Exploiting Counterfactuals for Scalable Stochastic Optimization.” Lecture Notes in Computer Science, 2019, doi:10.1007/978-3-030-30048-7_40.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15004
Ahmadi Fahandar, Mohsen, and Eyke Hüllermeier. “Feature Selection for Analogy-Based Learning to Rank.” Discovery Science, 2019, doi:10.1007/978-3-030-33778-0_22.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15005
Ahmadi Fahandar, Mohsen, and Eyke Hüllermeier. “Analogy-Based Preference Learning with Kernels.” KI 2019: Advances in Artificial Intelligence, 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: MLA

Export / Embed