Blömer, Johannes, et al. “Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems.”10.1007/978-3-319-76953-0_25__Topics in Cryptology - CT-RSA 2018 - The Cryptographers’ Track at the RSA Conference 2018, Proceedings, Springer International Publishing, 2018, pp. 470–90, doi:10.1007/978-3-319-76953-0_25.

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

Lösch, Achim, et al. “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes.”10.1007/978-3-319-77610-1_6__Proceedings of the International Conference on Architecture of Computing Systems (ARCS), vol. 10793, Springer International Publishing, 2018, pp. 73–84, doi:10.1007/978-3-319-77610-1_6.

Hansmeier, Tim, et al. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.”10.1007/978-3-319-78890-6_13__ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, vol. 10824, Springer International Publishing, 2018, pp. 153–65, doi:10.1007/978-3-319-78890-6_13.

Schellhorn, Gerhard, et al. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.”10.1007/978-3-319-92970-5_7__Software Engineering and Formal Methods, Springer International Publishing, 2018, pp. 105–20, doi:10.1007/978-3-319-92970-5_7.

Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.”10.1007/978-3-030-02508-3_23__Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, 2018, pp. 435–54, doi:10.1007/978-3-030-02508-3_23.

Senft, Björn, et al. “Assist Users to Straightaway Suggest and Describe Experienced Problems.”10.1007/978-3-319-91797-9_52__Design, User Experience, and Usability: Theory and Practice, vol. 10918, Springer International Publishing, 2018, pp. 758–70, doi:10.1007/978-3-319-91797-9_52.

Fischer, Holger Gerhard, et al. “A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems.”10.1007/978-3-319-91797-9_49__Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018), edited by Aaron Marcus and Wentao Wang, vol. 10918, Springer International Publishing, 2018, pp. 711–24, doi:10.1007/978-3-319-91797-9_49.

Schäfer, Dirk, and Eyke Hüllermeier. “Preference-Based Reinforcement Learning Using Dyad Ranking.”10.1007/978-3-030-01771-2_11__Discovery Science, Springer International Publishing, 2018, pp. 161–75, doi:10.1007/978-3-030-01771-2_11.

Feldkord, Björn, et al. “A Dynamic Distributed Data Structure for Top-k and k-Select Queries.”10.1007/978-3-319-98355-4_18__Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2018, doi:10.1007/978-3-319-98355-4_18.

Khaluf, Yara, et al. “Scheduling Access to Shared Space in Multi-Robot Systems.”10.1007/978-3-319-59930-4_12__International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), 2017, doi:10.1007/978-3-319-59930-4_12.

Blömer, Johannes, and Gennadij Liske. “Subtleties in Security Definitions for Predicate Encryption with Public Index.”10.1007/978-3-319-72453-9_35__Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), vol. 10693, Springer International Publishing, 2017, pp. 438–53, doi:10.1007/978-3-319-72453-9_35.

Blömer, Johannes, et al. “Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations.”10.1007/978-3-319-75650-9_1__Foundations and Practice of Security, Springer International Publishing, 2017, pp. 3–17, doi:10.1007/978-3-319-75650-9_1.

Brauer, Sascha. “Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems.”10.1007/978-3-319-57586-5_11__Lecture Notes in Computer Science, edited by Dimitris Fotakis et al., vol. 10236, Springer International Publishing, 2017, pp. 116–27, doi:10.1007/978-3-319-57586-5_11.

Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.”10.1007/978-3-319-68690-5_22__Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–78, doi:10.1007/978-3-319-68690-5_22.

Fischer, Holger Gerhard, et al. “A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0.”10.1007/978-3-319-58634-2_42__Design, User Experience, and Usability: Theory, Methodology, and Management, vol. 10288, Springer International Publishing, 2017, pp. 570–83, doi:10.1007/978-3-319-58634-2_42.

Bemmann, Pascal, et al. “Monitoring of Domain-Related Problems in Distributed Data Streams.”10.1007/978-3-319-72050-0_13__Structural Information and Communication Complexity, 2017, doi:10.1007/978-3-319-72050-0_13.

Beckschäfer, Michaela, et al. “Simulating Storage Policies for an Automated Grid-Based Warehouse System.”10.1007/978-3-319-68496-3_31__Lecture Notes in Computer Science, 2017, doi:10.1007/978-3-319-68496-3_31.

Gerking, Christopher, et al. “Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities.”10.1007/978-3-319-61473-1_2__Theory and Practice of Model Transformation, 2017, doi:10.1007/978-3-319-61473-1_2.

Hamann, Heiko, et al. “Population Coding: A New Design Paradigm for Embodied Distributed Systems.”10.1007/978-3-319-44427-7_15__10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016, doi:10.1007/978-3-319-44427-7_15.