Piskachev, Goran, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.”https://doi.org/10.1007/978-3-030-54997-8_34__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-54997-8_34 .

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

Schwichtenberg, Bahar, Simon Schwichtenberg, Jochen Küster, Olaf Zimmermann, and Gregor Engels. “Modeling and Analyzing Architectural Diversity of Open Platforms.”https://doi.org/10.1007/978-3-030-49435-3_3__In Advanced Information Systems Engineering. Cham, 2020.https://doi.org/10.1007/978-3-030-49435-3_3 .

Dallmeier, Fynn, Jan P. Drees, Kai Gellert, Tobias Handirk, Tibor Jager, Jonas Klauke, Simon Nachtigall, Timo Renzelmann, and Rudi Wolf. “Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC.”https://doi.org/10.1007/978-3-030-65411-5_11__In Cryptology and Network Security, 211–31. Cham: Springer-Verlag, 2020.https://doi.org/10.1007/978-3-030-65411-5_11 .

Heiden, Philipp zur. “Considering Context in Design Science Research: A Systematic Literature Review.”https://doi.org/10.1007/978-3-030-64823-7_21__In Designing for Digital Transformation. Co-Creating Services with Citizens and Industry. Cham, 2020.https://doi.org/10.1007/978-3-030-64823-7_21 .

Mahmood, Yasir, and Arne Meier. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.”https://doi.org/10.1007/978-3-030-39951-1_10__In Lecture Notes in Computer Science. Cham: Springer International Publishing, 2020.https://doi.org/10.1007/978-3-030-39951-1_10 .

Haney, Julie M., Susanne M. Furman, and Yasemin Acar. “Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges.”https://doi.org/10.1007/978-3-030-50309-3_26__In HCI for Cybersecurity, Privacy and Trust. Cham: Springer International Publishing, 2020.https://doi.org/10.1007/978-3-030-50309-3_26 .

Senft, Björn, Florian Rittmeier, Holger Gerhard Fischer, and Simon Oberthür. “A Value-Centered Approach for Unique and Novel Software Applications.”https://doi.org/10.1007/978-3-030-23535-2_27__In Design, User Experience, and Usability. Practice and Case Studies. Cham, 2019.https://doi.org/10.1007/978-3-030-23535-2_27 .

Kuhlemann, Stefan, Meinolf Sellmann, and Kevin Tierney. “Exploiting Counterfactuals for Scalable Stochastic Optimization.”https://doi.org/10.1007/978-3-030-30048-7_40__In Lecture Notes in Computer Science. Cham, 2019.https://doi.org/10.1007/978-3-030-30048-7_40 .

Ahmadi Fahandar, Mohsen, and Eyke Hüllermeier. “Feature Selection for Analogy-Based Learning to Rank.”https://doi.org/10.1007/978-3-030-33778-0_22__In Discovery Science. Cham, 2019.https://doi.org/10.1007/978-3-030-33778-0_22 .

Ahmadi Fahandar, Mohsen, and Eyke Hüllermeier. “Analogy-Based Preference Learning with Kernels.”https://doi.org/10.1007/978-3-030-30179-8_3__In KI 2019: Advances in Artificial Intelligence. Cham, 2019.https://doi.org/10.1007/978-3-030-30179-8_3 .

Nguyen, Vu-Linh, Sébastien Destercke, and Eyke Hüllermeier. “Epistemic Uncertainty Sampling.”https://doi.org/10.1007/978-3-030-33778-0_7__In Discovery Science. Cham, 2019.https://doi.org/10.1007/978-3-030-33778-0_7 .

Hartel, Rita, and Alexander Dunst. “How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics.”https://doi.org/10.1007/978-3-030-05716-9_59__In International Conference on Multimedia Modeling, MMM, 662–71. Springer, 2019.https://doi.org/10.1007/978-3-030-05716-9_59 .

Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.”https://doi.org/10.1007/978-3-030-16722-6_23__In Fundamental Approaches to Software Engineering. Cham, 2019.https://doi.org/10.1007/978-3-030-16722-6_23 .

Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterised Complexity of Abduction in Schaefer’s Framework.”https://doi.org/10.1007/978-3-030-36755-8_13__In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2019.https://doi.org/10.1007/978-3-030-36755-8_13 .

Blömer, Johannes, Fabian Eidens, and Jakob Juhnke. “Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems.”https://doi.org/10.1007/978-3-319-76953-0_25__In Topics in Cryptology - CT-RSA 2018 - The Cryptographers’ Track at the RSA Conference 2018, Proceedings, 470–90. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-76953-0_25 .

Markarian, Christine. “An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest.”https://doi.org/10.1007/978-3-319-94667-2_18__In International Workshop on Combinatorial Algorithms (IWOCA). Cham, 2018.https://doi.org/10.1007/978-3-319-94667-2_18 .

Lösch, Achim, Alex Wiens, and Marco Platzner. “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes.”https://doi.org/10.1007/978-3-319-77610-1_6__In Proceedings of the International Conference on Architecture of Computing Systems (ARCS), 10793:73–84. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-77610-1_6 .

Hansmeier, Tim, Marco Platzner, and David Andrews. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.”https://doi.org/10.1007/978-3-319-78890-6_13__In ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, 10824:153–65. Lecture Notes in Computer Science. Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-78890-6_13 .

Schellhorn, Gerhard, Monika Wedel, Oleg Travkin, Jürgen König, and Heike Wehrheim. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.”https://doi.org/10.1007/978-3-319-92970-5_7__In Software Engineering and Formal Methods, 105–20. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-92970-5_7 .