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.

Valentini, Gabriele, et al. “Collective Perception of Environmental Features in a Robot Swarm.”10.1007/978-3-319-44427-7_6__10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016, doi:10.1007/978-3-319-44427-7_6.

Günther, Peter, and Volker Krummel. “Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures.”10.1007/978-3-319-32859-1_13__Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, 2016, pp. 151–65, doi:10.1007/978-3-319-32859-1_13.

Blömer, Johannes, et al. “Theoretical Analysis of the K-Means Algorithm – A Survey.”10.1007/978-3-319-49487-6_3__Algorithm Engineering, Springer International Publishing, 2016, pp. 81–116, doi:10.1007/978-3-319-49487-6_3.

Blömer, Johannes, and Kathrin Bujna. “Adaptive Seeding for Gaussian Mixture Models.”10.1007/978-3-319-31750-2_24__Advances in Knowledge Discovery and Data Mining, Springer International Publishing, 2016, pp. 296–308, doi:10.1007/978-3-319-31750-2_24.

Wolters, Dennis, et al. “Cross-Device Integration of Android Apps.”10.1007/978-3-319-46295-0_11__Service-Oriented Computing, edited by Quan Z.10.1007/978-3-319-46295-0_11__Sheng et al., Springer International Publishing, 2016, pp. 171–85, doi:10.1007/978-3-319-46295-0_11.

Fischer, Holger Gerhard, and Björn Senft. “Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows.”10.1007/978-3-319-44902-9_3__Human-Centered and Error-Resilient Systems Development, edited by Christian Bogdan, vol. 9856, Springer International Publishing, 2016, pp. 30–41, doi:10.1007/978-3-319-44902-9_3.

Blömer, Johannes, and Kathrin Bujna. “Adaptive Seeding for Gaussian Mixture Models.”10.1007/978-3-319-31750-2_24__Advances in Knowledge Discovery and Data Mining, Springer International Publishing, 2016, pp. 296–308, doi:10.1007/978-3-319-31750-2_24.

Blazy, Olivier, et al. “Tightly-Secure Signatures from Chameleon Hash Functions.”10.1007/978-3-662-46447-2_12__Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2015, pp. 256–79, doi:10.1007/978-3-662-46447-2_12.

Altmeier, Christian, et al. “AdIDoS – Adaptive and Intelligent Fully-Automatic Detection of Denial-of-Service Weaknesses in Web Services.”10.1007/978-3-319-29883-2_5__Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, 2015, doi:10.1007/978-3-319-29883-2_5.

Jager, Tibor, et al. “Practical Invalid Curve Attacks on TLS-ECDH.”10.1007/978-3-319-24174-6_21__Computer Security -- ESORICS 2015, 2015, doi:10.1007/978-3-319-24174-6_21.

Böttcher, Stefan, et al. “ECST – Extended Context-Free Straight-Line Tree Grammars.”10.1007/978-3-319-20424-6_18__Data Science - 30th British International Conference on Databases, BICOD 2015, Springer, 2015, pp. 186–98, doi:10.1007/978-3-319-20424-6_18.

Geierhos, Michaela, et al. “Understanding the Patient 2.0.”10.1007/978-3-319-25591-0_12__Modeling and Using Context, 2015, doi:10.1007/978-3-319-25591-0_12.

Geierhos, Michaela, et al. “Understanding the Patient 2.0.”10.1007/978-3-319-25591-0_12__Modeling and Using Context, 2015, doi:10.1007/978-3-319-25591-0_12.

Hamann, Heiko, and Gabriele Valentini. “Swarm in a Fly Bottle: Feedback-Based Analysis of Self-Organizing Temporary Lock-Ins.”10.1007/978-3-319-09952-1_15__Ninth Int. Conf. on Swarm Intelligence (ANTS 2014), 2014, doi:10.1007/978-3-319-09952-1_15.

Koch, Thorsten, et al. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.”10.1007/978-3-319-09970-5_14__Software Architecture, 2014, doi:10.1007/978-3-319-09970-5_14.

Bokermann, Dennis, et al. “Use Your Best Device! Enabling Device Changes at Runtime.”10.1007/978-3-319-10172-9_23__12th International Conference on Business Process Management (BPM 2014), vol. 8659, Springer International Publishing, 2014, pp. 357–65, doi:10.1007/978-3-319-10172-9_23.

Flocchini, Paola, et al., editors. Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013. Vol. 8243, Springer, 2014, doi:10.1007/978-3-642-45346-5.

Böttcher, Stefan, et al. “Efficient XML Keyword Search Based on DAG-Compression.”10.1007/978-3-319-10073-9_11__Database and Expert Systems Applications - 25th International Conference, DEXA 2014, Springer, 2014, pp. 122–37, doi:10.1007/978-3-319-10073-9_11.

Lukovszki, Tamás, and Friedhelm Meyer auf der Heide. “Fast Collisionless Pattern Formation by Anonymous, Position-Aware Robots.”10.1007/978-3-319-14472-6_17__Lecture Notes in Computer Science, 2014, doi:10.1007/978-3-319-14472-6_17.

Abshoff, Sebastian, and Friedhelm Meyer auf der Heide. “Continuous Aggregation in Dynamic Ad-Hoc Networks.”10.1007/978-3-319-09620-9_16__Structural Information and Communication Complexity, 2014, doi:10.1007/978-3-319-09620-9_16.

Fourné, Marcel, et al. “Aggregation of Network Protocol Data Near Its Source.”10.1007/978-3-642-55032-4_49__Information and Communication Technology, Springer Berlin Heidelberg, 2014, doi:10.1007/978-3-642-55032-4_49.

Blömer, Johannes, et al. “Improved Side Channel Attacks on Pairing Based Cryptography.”10.1007/978-3-642-40026-1_10__Constructive Side-Channel Analysis and Secure Design, Springer Berlin Heidelberg, 2013, pp. 154–68, doi:10.1007/978-3-642-40026-1_10.

Klompmaker, Florian, et al. “A Taxonomy-Based Approach towards NUI Interaction Design.”10.1007/978-3-642-39351-8_4__Distributed, Ambient, and Pervasive Interactions, vol. 8028, Springer Berlin Heidelberg, 2013, pp. 32–41, doi:10.1007/978-3-642-39351-8_4.

Fischer, Holger Gerhard, et al. “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.”10.1007/978-3-642-39229-0_28__Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, vol. 8012, Springer Berlin Heidelberg, 2013, pp. 252–61, doi:10.1007/978-3-642-39229-0_28.

Place, Thomas, et al. “Separating Regular Languages by Piecewise Testable and Unambiguous Languages.”10.1007/978-3-642-40313-2_64__Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, 2013, pp. 729–40, doi:10.1007/978-3-642-40313-2_64.

Böttcher, Stefan, et al. “Fast Multi-Update Operations on Compressed XML Data.”10.1007/978-3-642-39467-6_15__Big Data - 29th British National Conference on Databases, BNCOD 2013, Springer, 2013, pp. 149–64, doi:10.1007/978-3-642-39467-6_15.

Jähn, Claudius, et al. “Evaluation of Rendering Algorithms Using Position-Dependent Scene Properties.”10.1007/978-3-642-41914-0_12__Advances in Visual Computing, 2013, doi:10.1007/978-3-642-41914-0_12.

Petring, Ralf, et al. “Real-Time 3D Rendering of Heterogeneous Scenes.”10.1007/978-3-642-41914-0_44__Advances in Visual Computing, 2013, doi:10.1007/978-3-642-41914-0_44.

Hamann, Heiko, et al. “Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions.”10.1007/978-3-642-32650-9_15__Swarm Intelligence: 8th International Conference, ANTS 2012, vol. 7461, Springer, 2012, pp. 168–79, doi:10.1007/978-3-642-32650-9_15.

Kakvi, Saqib, et al. “Certifying RSA.”10.1007/978-3-642-34961-4_25__Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, 2012, pp. 404–14, doi:10.1007/978-3-642-34961-4_25.

Kakvi, Saqib, and Eike Kiltz. “Optimal Security Proofs for Full Domain Hash, Revisited.”10.1007/978-3-642-29011-4_32__Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, 2012, pp. 537–53, doi:10.1007/978-3-642-29011-4_32.

Kempkes, Barbara, and Friedhelm Meyer auf der Heide. “Continuous Local Strategies for Robotic Formation Problems.”10.1007/978-3-642-30850-5_2__Experimental Algorithms, 2012, doi:10.1007/978-3-642-30850-5_2.

Kempkes, Barbara, and Friedhelm Meyer auf der Heide. “Local, Self-Organizing Strategies for Robotic Formation Problems.”10.1007/978-3-642-28209-6_2__Algorithms for Sensor Systems, 2012, doi:10.1007/978-3-642-28209-6_2.

Baier, Robert, and Mirko Hessel-von Molo. “Newton’s Method and Secant Method for Set-Valued Mappings.”10.1007/978-3-642-29843-1_9__Large-Scale Scientific Computing, 2012, doi:10.1007/978-3-642-29843-1_9.