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 .
LibreCat: /record/23377
DOI: 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 .
LibreCat: /record/17084
DOI: 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 .
LibreCat: /record/17085
DOI: 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 .
LibreCat: /record/28997
DOI: 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 .
LibreCat: /record/20706
DOI: 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 .
LibreCat: /record/45848
DOI: 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 .
LibreCat: /record/47261
DOI: 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 .
LibreCat: /record/11952
DOI: 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 .
LibreCat: /record/14890
DOI: 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 .
LibreCat: /record/15004
DOI: 10.1007/978-3-030-33778-0_22