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: /record/46191
DOI: 10.1007/978-3-031-32041-5_5

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: /record/51373
DOI: 10.1007/978-3-031-45275-8_13

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: /record/48776
DOI: 10.1007/978-3-031-43418-1_26

de Camargo e Souza Câmara, I., &; Turhan, A.-Y. (2023). Deciding Subsumption in Defeasible $$\'6dathcal ELI_$$ with Typicality Models. In Logics in Artificial Intelligence. Springer Nature Switzerland.https://doi.org/10.1007/978-3-031-43619-2_36 
LibreCat: /record/52859
DOI: 10.1007/978-3-031-43619-2_36

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: /record/30971
DOI: 10.1007/978-3-031-02462-7_25

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: /record/34077
DOI: 10.1007/978-3-030-99739-7_43

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: /record/34292
DOI: 10.1007/978-3-031-21388-5_16

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: /record/29872
DOI: 10.1007/978-3-030-92702-8_10

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: /record/29727
DOI: 10.1007/978-3-030-95470-3_8

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: /record/33738
DOI: 10.1007/978-3-031-11609-4_9

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: /record/38506
DOI: 10.1007/978-3-031-19433-7_18

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: /record/33740
DOI: 10.1007/978-3-031-06981-9_14

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: /record/29046
DOI: 10.1007/978-3-030-91608-4_11

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: /record/21378
DOI: 10.1007/978-3-030-68780-9_19

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: /record/22057
DOI: 10.1007/978-3-030-75245-3_22

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: /record/22059
DOI: 10.1007/978-3-030-75248-4_3

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: /record/27381
DOI: 10.1007/978-3-030-88942-5
arXiv: 2104.08869

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: /record/26888
DOI: 10.1007/978-3-030-89240-1_7

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: /record/29566
DOI: 10.1007/978-3-030-92548-2_9

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: /record/32868
DOI: 10.1007/978-3-030-82405-1_32

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: /record/29292
DOI: 10.1007/978-3-030-91608-4_11

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: /record/45846
DOI: 10.1007/978-3-030-93100-1_9

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: /record/21587
DOI: 10.1007/978-3-030-71593-9_15

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: /record/29936
DOI: 10.1007/978-3-030-79025-7_21

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: /record/45823
DOI: 10.1007/978-3-030-93100-1_9

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: /record/19521
DOI: 10.1007/978-3-030-58285-2_30

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: /record/19561
DOI: 10.1007/978-3-030-53552-0_12

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: /record/21396
DOI: 10.1007/978-3-030-38471-5_13

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: /record/17337
DOI: 10.1007/978-3-030-49435-3_3

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: /record/20891
DOI: 10.1007/978-3-030-64354-6_5

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: /record/18014
DOI: 10.1007/978-3-030-53552-0_22

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: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

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: /record/17084
DOI: 10.1007/978-3-030-45234-6_16

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: /record/17085
DOI: 10.1007/978-3-030-49435-3_3

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: /record/28997
DOI: 10.1007/978-3-030-65411-5_11

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: /record/20706
DOI: 10.1007/978-3-030-64823-7_21

Mahmood, Y., &; Meier, A. (2020). Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. Lecture Notes in Computer Science.https://doi.org/10.1007/978-3-030-39951-1_10 
LibreCat: /record/45848
DOI: 10.1007/978-3-030-39951-1_10

Haney, J. M., Furman, S. M., &; Acar, Y. (2020). Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges. In HCI for Cybersecurity, Privacy and Trust. Springer International Publishing.https://doi.org/10.1007/978-3-030-50309-3_26 
LibreCat: /record/47261
DOI: 10.1007/978-3-030-50309-3_26

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

Kuhlemann, S., Sellmann, M., &; Tierney, K. (2019). Exploiting Counterfactuals for Scalable Stochastic Optimization. In Lecture Notes in Computer Science. Cham.https://doi.org/10.1007/978-3-030-30048-7_40 
LibreCat: /record/14890
DOI: 10.1007/978-3-030-30048-7_40

Ahmadi Fahandar, M., &; Hüllermeier, E. (2019). Feature Selection for Analogy-Based Learning to Rank. In Discovery Science. Cham.https://doi.org/10.1007/978-3-030-33778-0_22 
LibreCat: /record/15004
DOI: 10.1007/978-3-030-33778-0_22

Ahmadi Fahandar, M., &; Hüllermeier, E. (2019). Analogy-Based Preference Learning with Kernels. In KI 2019: Advances in Artificial Intelligence. Cham.https://doi.org/10.1007/978-3-030-30179-8_3 
LibreCat: /record/15005
DOI: 10.1007/978-3-030-30179-8_3

Nguyen, V.-L., Destercke, S., &; Hüllermeier, E. (2019). Epistemic Uncertainty Sampling. In Discovery Science. Cham.https://doi.org/10.1007/978-3-030-33778-0_7 
LibreCat: /record/15006
DOI: 10.1007/978-3-030-33778-0_7

Hartel, R., &; Dunst, A. (2019). How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics. In International Conference on Multimedia Modeling, MMM (pp. 662–671). Thessaloniki, Greece: Springer.https://doi.org/10.1007/978-3-030-05716-9_59 
LibreCat: /record/15080
DOI: 10.1007/978-3-030-05716-9_59

Beyer, D., &; Jakobs, M.-C. (2019). CoVeriTest: Cooperative Verifier-Based Testing. In Fundamental Approaches to Software Engineering. Cham.https://doi.org/10.1007/978-3-030-16722-6_23 
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

Mahmood, Y., Meier, A., &; Schmidt, J. (2019). Parameterised Complexity of Abduction in Schaefer’s Framework. Logical Foundations of Computer Science.https://doi.org/10.1007/978-3-030-36755-8_13 
LibreCat: /record/45818
DOI: 10.1007/978-3-030-36755-8_13

Blömer, J., Eidens, F., &; Juhnke, J. (2018). Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems. In Topics in Cryptology - CT-RSA 2018 - The Cryptographers’ Track at the RSA Conference 2018, Proceedings (pp. 470–490). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-76953-0_25 
LibreCat: /record/2862
DOI: 10.1007/978-3-319-76953-0_25

Markarian, C. (2018). An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest. International Workshop on Combinatorial Algorithms (IWOCA).https://doi.org/10.1007/978-3-319-94667-2_18 
LibreCat: /record/24396
DOI: 10.1007/978-3-319-94667-2_18

Lösch, A., Wiens, A., &; Platzner, M. (2018). Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes. In Proceedings of the International Conference on Architecture of Computing Systems (ARCS) (Vol. 10793, pp. 73–84). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-77610-1_6 
LibreCat: /record/3362
DOI: 10.1007/978-3-319-77610-1_6

Hansmeier, T., Platzner, M., &; Andrews, D. (2018). An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications (Vol. 10824, pp. 153–165). Santorini, Greece: Springer International Publishing.https://doi.org/10.1007/978-3-319-78890-6_13 
LibreCat: /record/3373
DOI: 10.1007/978-3-319-78890-6_13