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 .
LibreCat: /record/2862
DOI: 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 .
LibreCat: /record/24396
DOI: 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 .
LibreCat: /record/3362
DOI: 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 .
LibreCat: /record/3373
DOI: 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 .
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7

Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.”https://doi.org/10.1007/978-3-030-02508-3_23__In Theoretical Aspects of Computing – ICTAC 2018, 435–54. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-030-02508-3_23 .
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

Senft, Björn, Holger Gerhard Fischer, Simon Oberthür, and Nitish Patkar. “Assist Users to Straightaway Suggest and Describe Experienced Problems.”https://doi.org/10.1007/978-3-319-91797-9_52__In Design, User Experience, and Usability: Theory and Practice, 10918:758–70. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-91797-9_52 .
LibreCat: /record/6253
DOI: 10.1007/978-3-319-91797-9_52

Fischer, Holger Gerhard, Björn Senft, Florian Rittmeier, and Stefan Sauer. “A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems.”https://doi.org/10.1007/978-3-319-91797-9_49__In 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, 10918:711–24. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-91797-9_49 .
LibreCat: /record/6254
DOI: 10.1007/978-3-319-91797-9_49

Schäfer, Dirk, and Eyke Hüllermeier. “Preference-Based Reinforcement Learning Using Dyad Ranking.”https://doi.org/10.1007/978-3-030-01771-2_11__In Discovery Science, 161–75. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-030-01771-2_11 .
LibreCat: /record/6423
DOI: 10.1007/978-3-030-01771-2_11

Feldkord, Björn, Manuel Malatyali, and Friedhelm Meyer auf der Heide. “A Dynamic Distributed Data Structure for Top-k and k-Select Queries.”https://doi.org/10.1007/978-3-319-98355-4_18__In Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. Cham, 2018.https://doi.org/10.1007/978-3-319-98355-4_18 .
LibreCat: /record/16392
DOI: 10.1007/978-3-319-98355-4_18

Khaluf, Yara, Christine Markarian, Pieter Simoens, and Andreagiovanni Reina. “Scheduling Access to Shared Space in Multi-Robot Systems.”https://doi.org/10.1007/978-3-319-59930-4_12__In International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017). Cham, 2017.https://doi.org/10.1007/978-3-319-59930-4_12 .
LibreCat: /record/24398
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.”https://doi.org/10.1007/978-3-319-72453-9_35__In Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), 10693:438–53. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2017.https://doi.org/10.1007/978-3-319-72453-9_35 .
LibreCat: /record/2967
DOI: 10.1007/978-3-319-72453-9_35

Blömer, Johannes, Peter Günther, Volker Krummel, and Nils Löken. “Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations.”https://doi.org/10.1007/978-3-319-75650-9_1__In Foundations and Practice of Security, 3–17. Cham: Springer International Publishing, 2017.https://doi.org/10.1007/978-3-319-75650-9_1 .
LibreCat: /record/2344
DOI: 10.1007/978-3-319-75650-9_1

Brauer, Sascha. “Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems.”https://doi.org/10.1007/978-3-319-57586-5_11__In Lecture Notes in Computer Science, edited by Dimitris Fotakis, Aris Pagourtzis, and Vangelis Th. Paschos, 10236:116–27. Cham: Springer International Publishing, 2017.https://doi.org/10.1007/978-3-319-57586-5_11 .
LibreCat: /record/2381
DOI: 10.1007/978-3-319-57586-5_11

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

Fischer, Holger Gerhard, Michael Engler, and Stefan Sauer. “A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0.”https://doi.org/10.1007/978-3-319-58634-2_42__In Design, User Experience, and Usability: Theory, Methodology, and Management, 10288:570–83. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2017.https://doi.org/10.1007/978-3-319-58634-2_42 .
LibreCat: /record/6255
DOI: 10.1007/978-3-319-58634-2_42

Bemmann, Pascal, Felix Biermeier, Jan Bürmann, Arne Kemper, Till Knollmann, Steffen Knorr, Nils Kothe, et al. “Monitoring of Domain-Related Problems in Distributed Data Streams.”https://doi.org/10.1007/978-3-319-72050-0_13__In Structural Information and Communication Complexity. Cham, 2017.https://doi.org/10.1007/978-3-319-72050-0_13 .
LibreCat: /record/16461
DOI: 10.1007/978-3-319-72050-0_13
arXiv: arXiv:1706.03568 

Beckschäfer, Michaela, Simon Malberg, Kevin Tierney, and Christoph Weskamp. “Simulating Storage Policies for an Automated Grid-Based Warehouse System.”https://doi.org/10.1007/978-3-319-68496-3_31__In Lecture Notes in Computer Science. Cham, 2017.https://doi.org/10.1007/978-3-319-68496-3_31 .
LibreCat: /record/14857
DOI: 10.1007/978-3-319-68496-3_31

Gerking, Christopher, David Schubert, and Ingo Budde. “Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities.”https://doi.org/10.1007/978-3-319-61473-1_2__In Theory and Practice of Model Transformation. Cham, 2017.https://doi.org/10.1007/978-3-319-61473-1_2 .
LibreCat: /record/23396
DOI: 10.1007/978-3-319-61473-1_2

Hamann, Heiko, Gabriele Valentini, and Marco Dorigo. “Population Coding: A New Design Paradigm for Embodied Distributed Systems.”https://doi.org/10.1007/978-3-319-44427-7_15__In 10th Int. Conf. on Swarm Intelligence, ANTS 2016. Cham, 2016.https://doi.org/10.1007/978-3-319-44427-7_15 .
LibreCat: /record/20000
DOI: 10.1007/978-3-319-44427-7_15