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.
LibreCat: /record/5774
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.
LibreCat: /record/6253
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.
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.”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.
LibreCat: /record/6423
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.
LibreCat: /record/16392
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.
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.”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.
LibreCat: /record/2967
DOI: 10.1007/978-3-319-72453-9_35

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.
LibreCat: /record/23396
DOI: 10.1007/978-3-319-61473-1_2

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.
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.”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.
LibreCat: /record/2381
DOI: 10.1007/978-3-319-57586-5_11