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

M. Ahmadi Fahandar and E. Hüllermeier, “Feature Selection for Analogy-Based Learning to Rank,” in Discovery Science, Cham, 2019.
LibreCat: /record/15004
DOI: 10.1007/978-3-030-33778-0_22

M. Ahmadi Fahandar and E. Hüllermeier, “Analogy-Based Preference Learning with Kernels,” in KI 2019: Advances in Artificial Intelligence, Cham, 2019.
LibreCat: /record/15005
DOI: 10.1007/978-3-030-30179-8_3

V.-L. Nguyen, S. Destercke, and E. Hüllermeier, “Epistemic Uncertainty Sampling,” in Discovery Science, Cham, 2019.
LibreCat: /record/15006
DOI: 10.1007/978-3-030-33778-0_7

R. Hartel and A. Dunst, “How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics,” in International Conference on Multimedia Modeling, MMM, Thessaloniki, Greece, 2019, pp. 662–671.
LibreCat: /record/15080
DOI: 10.1007/978-3-030-05716-9_59

D. Beyer and M.-C. Jakobs, “CoVeriTest: Cooperative Verifier-Based Testing,” in Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

Y. Mahmood, A. Meier, and J. Schmidt, “Parameterised Complexity of Abduction in Schaefer’s Framework,”10.1007/978-3-030-36755-8_13__2019, doi:10.1007/978-3-030-36755-8_13 .
LibreCat: /record/45818
DOI: 10.1007/978-3-030-36755-8_13

J. Blömer, F. Eidens, and J. Juhnke, “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, San Francisco, CA, USA, 2018, pp. 470–490.
LibreCat: /record/2862
DOI: 10.1007/978-3-319-76953-0_25

C. Markarian, “An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest,”10.1007/978-3-319-94667-2_18__2018, doi:10.1007/978-3-319-94667-2_18 .
LibreCat: /record/24396
DOI: 10.1007/978-3-319-94667-2_18

A. Lösch, A. Wiens, and M. Platzner, “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes,” in Proceedings of the International Conference on Architecture of Computing Systems (ARCS), 2018, vol. 10793, pp. 73–84.
LibreCat: /record/3362
DOI: 10.1007/978-3-319-77610-1_6

T. Hansmeier, M. Platzner, and D. Andrews, “An FPGA/HMC-Based Accelerator for Resolution Proof Checking,” in ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Santorini, Greece, 2018, vol. 10824, pp. 153–165.
LibreCat: /record/3373
DOI: 10.1007/978-3-319-78890-6_13

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