O. L. Preuß, J. Rook, and H. Trautmann, “On the Potential of Multi-objective Automated Algorithm Configuration on Multi-modal Multi-objective Optimisation Problems,” in Applications of Evolutionary Computation, Cham: Springer Nature Switzerland, 2024.
LibreCat: /record/52759
DOI: 10.1007/978-3-031-56852-7_20

K. Karakaya et al., “SootUp: A Redesign of the Soot Static Analysis Framework,” in Tools and Algorithms for the Construction and Analysis of Systems, Cham: Springer Nature Switzerland, 2024.
LibreCat: /record/53942
DOI: 10.1007/978-3-031-57246-3_13

R. Trentinaglia, S. Merschjohann, M. Fockel, and H. Eikerling, “Eliciting Security Requirements – An Experience Report,”10.1007/978-3-031-29786-1_25__2023, doi:10.1007/978-3-031-29786-1_25 .
LibreCat: /record/43395
DOI: 10.1007/978-3-031-29786-1_25

J. Castenow, J. Harbig, and F. Meyer auf der Heide, “Unifying Gathering Protocols for Swarms of Mobile Robots,” in Lecture Notes in Computer Science, Cham: Springer International Publishing, 2023.
LibreCat: /record/44769
DOI: 10.1007/978-3-031-30448-4_1

A. F. A. Ahmed, A. F. Firmansyah, M. Sherif, D. Moussallem, and A.-C. Ngonga Ngomo, “Explainable Integration of Knowledge Graphs Using Large Language Models,” in Natural Language Processing and Information Systems, Cham: Springer Nature Switzerland, 2023.
LibreCat: /record/46516
DOI: 10.1007/978-3-031-35320-8_9

R. H. Gusmita, A. F. Firmansyah, D. Moussallem, and A.-C. Ngonga Ngomo, “IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran,” in Natural Language Processing and Information Systems, Cham: Springer Nature Switzerland, 2023.
LibreCat: /record/46572
DOI: 10.1007/978-3-031-35320-8_12

P. Dieter, “A Regret Policy for the Dynamic Vehicle Routing Problem with Time Windows,” in Lecture Notes in Computer Science, Cham: Springer Nature Switzerland, 2023.
LibreCat: /record/46867
DOI: 10.1007/978-3-031-43612-3_14

N. J. Kouagou, S. Heindorf, C. Demir, and A.-C. Ngonga Ngomo, “Neural Class Expression Synthesis in ALCHIQ(D),” in Machine Learning and Knowledge Discovery in Databases: Research Track, Cham: Springer Nature Switzerland, 2023.
LibreCat: /record/47421
DOI: 10.1007/978-3-031-43421-1_12

J. Kornowicz and K. Thommes, “Aggregating Human Domain Knowledge for Feature Ranking,”10.1007/978-3-031-35891-3_7__Artificial Intelligence in HCI, 2023, doi:10.1007/978-3-031-35891-3_7 .
LibreCat: /record/47953
DOI: 10.1007/978-3-031-35891-3_7

U. Qudus, M. Röder, S. Kirrane, and A.-C. N. Ngomo, “TemporalFC: A Temporal Fact Checking Approach over Knowledge Graphs,”10.1007/978-3-031-47240-4_25__in The Semantic Web – ISWC 2023, Athens, Greece, 2023, vol. 14265, pp. 465–483, doi:10.1007/978-3-031-47240-4_25 .
LibreCat: /record/50479
DOI: 10.1007/978-3-031-47240-4_25

C. Alt et al., “Shallow Water DG Simulations on FPGAs: Design and Comparison of a Novel Code Generation Pipeline,” in Lecture Notes in Computer Science, Cham: Springer Nature Switzerland, 2023.
LibreCat: /record/46191
DOI: 10.1007/978-3-031-32041-5_5

J. M. Hanselle, J. Fürnkranz, and E. Hüllermeier, “Probabilistic Scoring Lists for Interpretable Machine Learning,”10.1007/978-3-031-45275-8_13__in 26th International Conference on Discovery Science , Porto, 2023, vol. 14050, pp. 189–203, doi:10.1007/978-3-031-45275-8_13 .
LibreCat: /record/51373
DOI: 10.1007/978-3-031-45275-8_13

M. Muschalik, F. Fumagalli, B. Hammer, and E. Huellermeier, SAGE: An Incremental Version of SAGE for Online Explanation on Data Streams,” in Machine Learning and Knowledge Discovery in Databases: Research Track, Cham: Springer Nature Switzerland, 2023.
LibreCat: /record/48776
DOI: 10.1007/978-3-031-43418-1_26

I. de Camargo e Souza Câmara and A.-Y. Turhan, “Deciding Subsumption in Defeasible $$\'6dathcal ELI_$$ with Typicality Models,” in Logics in Artificial Intelligence, Cham: Springer Nature Switzerland, 2023.
LibreCat: /record/52859
DOI: 10.1007/978-3-031-43619-2_36

T. Hansmeier and M. Platzner, “Integrating Safety Guarantees into the Learning Classifier System XCS,”10.1007/978-3-031-02462-7_25__in Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, Madrid, 2022, vol. 13224, pp. 386–401, doi:10.1007/978-3-031-02462-7_25 .
LibreCat: /record/30971
DOI: 10.1007/978-3-031-02462-7_25

A. Bondarenko et al., “Overview of Touché 2022: Argument Retrieval,” in Lecture Notes in Computer Science, Cham: Springer International Publishing, 2022.
LibreCat: /record/34077
DOI: 10.1007/978-3-030-99739-7_43

D. Wolters and G. Engels, “Towards Situational Process Management for Professional Education Programmes,” in Product-Focused Software Process Improvement, vol. 13709, D. Taibi, M. Kuhrmann, T. Mikkonen, J. Klünder, and P. Abrahamsson, Eds. Cham: Springer International Publishing, 2022, pp. 235–242.
LibreCat: /record/34292
DOI: 10.1007/978-3-031-21388-5_16

M. Maack, F. Meyer auf der Heide, and S. Pukrop, “Server Cloud Scheduling,” in Approximation and Online Algorithms, Cham: Springer International Publishing, 2022.
LibreCat: /record/29872
DOI: 10.1007/978-3-030-92702-8_10

M. C. Wohlleben, A. Bender, S. Peitz, and W. Sextro, “Development of a Hybrid Modeling Methodology for Oscillating Systems with Friction,” in Machine Learning, Optimization, and Data Science, Cham: Springer International Publishing, 2022.
LibreCat: /record/29727
DOI: 10.1007/978-3-030-95470-3_8

H. M. A. Zahera et al., “Tab2Onto: Unsupervised Semantification with Knowledge Graph Embeddings,” in The Semantic Web: ESWC 2022 Satellite Events, Cham: Springer International Publishing, 2022.
LibreCat: /record/33738
DOI: 10.1007/978-3-031-11609-4_9

H. M. A. Zahera, D. Vollmers, M. A. Sherif, and A.-C. N. Ngomo, “MultPAX: Keyphrase Extraction Using Language Models and Knowledge Graphs,” in The Semantic Web – ISWC 2022, Cham: Springer International Publishing, 2022.
LibreCat: /record/38506
DOI: 10.1007/978-3-031-19433-7_18

N. J. KOUAGOU, S. Heindorf, C. Demir, and A.-C. Ngonga Ngomo, “Learning Concept Lengths Accelerates Concept Learning in ALC,” in The Semantic Web, Cham: Springer International Publishing, 2022.
LibreCat: /record/33740
DOI: 10.1007/978-3-031-06981-9_14

R. Feldhans et al., “Drift Detection in Text Data with Document Embeddings,” in Intelligent Data Engineering and Automated Learning – IDEAL 2021, Cham, 2021.
LibreCat: /record/29046
DOI: 10.1007/978-3-030-91608-4_11

R. Hartel and A. Dunst, “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, 2021.
LibreCat: /record/21378
DOI: 10.1007/978-3-030-68780-9_19

T. Jager, R. Kurek, and D. Niehues, “Efficient Adaptively-Secure IB-KEMs and VRFs via Near-Collision Resistance,” in Public-Key Cryptography – PKC 2021, Cham, 2021.
LibreCat: /record/22057
DOI: 10.1007/978-3-030-75245-3_22

D. Niehues, “Verifiable Random Functions with Optimal Tightness,” in Public-Key Cryptography – PKC 2021, Cham, 2021.
LibreCat: /record/22059
DOI: 10.1007/978-3-030-75248-4_3

C. Damke and E. Hüllermeier, “Ranking Structured Objects with Graph Neural Networks,”10.1007/978-3-030-88942-5__in Proceedings of The 24th International Conference on Discovery Science (DS 2021), Halifax, Canada, 2021, vol. 12986, pp. 166–180, doi:10.1007/978-3-030-88942-5 .
LibreCat: /record/27381
DOI: 10.1007/978-3-030-88942-5
arXiv: 2104.08869

T. Götte, C. Kolb, C. Scheideler, and J. Werthmann, “Beep-And-Sleep: Message and Energy Efficient Set Cover,” in Algorithms for Sensor Systems (ALGOSENSORS ’21), Cham, 2021.
LibreCat: /record/26888
DOI: 10.1007/978-3-030-89240-1_7

J. Bobolz, F. Eidens, S. Krenn, S. Ramacher, and K. Samelin, “Issuer-Hiding Attribute-Based Credentials,”10.1007/978-3-030-92548-2_9__2021, doi:10.1007/978-3-030-92548-2_9 .
LibreCat: /record/29566
DOI: 10.1007/978-3-030-92548-2_9

P. R. Nagbøl, O. Müller, and O. Krancher, “Designing a Risk Assessment Tool for Artificial Intelligence Systems,” in The Next Wave of Sociotechnical Design, Cham: Springer International Publishing, 2021.
LibreCat: /record/32868
DOI: 10.1007/978-3-030-82405-1_32

R. Feldhans et al., “Drift Detection in Text Data with Document Embeddings,” in Intelligent Data Engineering and Automated Learning – IDEAL 2021, Cham: Springer International Publishing, 2021.
LibreCat: /record/29292
DOI: 10.1007/978-3-030-91608-4_11

J. Kontinen, A. Meier, and Y. Mahmood, “A Parameterized View on the Complexity of Dependence Logic,”10.1007/978-3-030-93100-1_9__2021, doi:10.1007/978-3-030-93100-1_9 .
LibreCat: /record/45846
DOI: 10.1007/978-3-030-93100-1_9

S. Alhaddad et al., “HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids,” in Euro-Par 2020: Parallel Processing Workshops, Cham, 2021.
LibreCat: /record/21587
DOI: 10.1007/978-3-030-71593-9_15

A. Ramaswami, T. Kenter, T. Kühne, and C. Plessl, “Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing,” in Applied Reconfigurable Computing. Architectures, Tools, and Applications, Cham: Springer International Publishing, 2021.
LibreCat: /record/29936
DOI: 10.1007/978-3-030-79025-7_21

J. Kontinen, A. Meier, and Y. Mahmood, “A Parameterized View on the Complexity of Dependence Logic,” in Logical Foundations of Computer Science, Cham: Springer International Publishing, 2021.
LibreCat: /record/45823
DOI: 10.1007/978-3-030-93100-1_9

K. Pfannschmidt and E. Hüllermeier, “Learning Choice Functions via Pareto-Embeddings,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/19521
DOI: 10.1007/978-3-030-58285-2_30

M. Sellmann and K. Tierney, “Hyper-parameterized Dialectic Search for Non-linear Box-Constrained Optimization with Heterogenous Variable Types,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/19561
DOI: 10.1007/978-3-030-53552-0_12

T. Jager and D. Niehues, “On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/21396
DOI: 10.1007/978-3-030-38471-5_13

B. Jazayeri, S. Schwichtenberg, J. Küster, O. Zimmermann, and G. Engels, “Modeling and Analyzing Architectural Diversity of Open Platforms,” in Advanced Information Systems Engineering, Cham, 2020.
LibreCat: /record/17337
DOI: 10.1007/978-3-030-49435-3_3

A. Knüppel et al., “Using Abstract Contracts for Verifying Evolving Features and Their Interactions,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/20891
DOI: 10.1007/978-3-030-64354-6_5

A. El Mesaoudi-Paul, D. Weiß, V. Bengs, E. Hüllermeier, and K. Tierney, “Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach,” in Learning and Intelligent Optimization. LION 2020., vol. 12096, Cham: Springer, 2020, pp. 216–232.
LibreCat: /record/18014
DOI: 10.1007/978-3-030-53552-0_22

G. Piskachev, T. Petrasch, J. Späth, and E. Bodden, “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

N. Weidmann and A. Anjorin, “Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming,” in Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, Dublin, Ireland, 2020.
LibreCat: /record/17084
DOI: 10.1007/978-3-030-45234-6_16

B. Schwichtenberg, S. Schwichtenberg, J. Küster, O. Zimmermann, and G. Engels, “Modeling and Analyzing Architectural Diversity of Open Platforms,” in Advanced Information Systems Engineering, 2020.
LibreCat: /record/17085
DOI: 10.1007/978-3-030-49435-3_3

F. Dallmeier et al., “Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC,”10.1007/978-3-030-65411-5_11__in Cryptology and Network Security, Vienna, 2020, pp. 211–231, doi:10.1007/978-3-030-65411-5_11 .
LibreCat: /record/28997
DOI: 10.1007/978-3-030-65411-5_11

P. zur Heiden, “Considering Context in Design Science Research: A Systematic Literature Review,”10.1007/978-3-030-64823-7_21__2020, doi:10.1007/978-3-030-64823-7_21 .
LibreCat: /record/20706
DOI: 10.1007/978-3-030-64823-7_21

Y. Mahmood and A. Meier, “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic,”10.1007/978-3-030-39951-1_10__2020, doi:10.1007/978-3-030-39951-1_10 .
LibreCat: /record/45848
DOI: 10.1007/978-3-030-39951-1_10

J. M. Haney, S. M. Furman, and Y. Acar, “Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges,” in HCI for Cybersecurity, Privacy and Trust, Cham: Springer International Publishing, 2020.
LibreCat: /record/47261
DOI: 10.1007/978-3-030-50309-3_26

B. Senft, F. Rittmeier, H. G. Fischer, and S. Oberthür, “A Value-Centered Approach for Unique and Novel Software Applications,” in Design, User Experience, and Usability. Practice and Case Studies, Cham, 2019.
LibreCat: /record/11952
DOI: 10.1007/978-3-030-23535-2_27

S. Kuhlemann, M. Sellmann, and K. Tierney, “Exploiting Counterfactuals for Scalable Stochastic Optimization,” in Lecture Notes in Computer Science, Cham, 2019.
LibreCat: /record/14890
DOI: 10.1007/978-3-030-30048-7_40