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

Schellhorn, G., Wedel, M., Travkin, O., König, J., &; Wehrheim, H. (2018). FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In Software Engineering and Formal Methods (pp. 105–120). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-92970-5_7 
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7