@inproceedingsTöws_Wehrheim_2018, place=Cham, title=Information Flow Certificates, DOI=10.1007/978-3-030-02508-3_23, booktitle=Theoretical Aspects of Computing – ICTAC 2018, publisher=Springer International Publishing, author=Töws, Manuel and Wehrheim, Heike, year=2018, pages=435–454 
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

@inbookSenft_Fischer_Oberthür_Patkar_2018, place=Cham, series=Lecture Notes in Computer Science, title=Assist Users to Straightaway Suggest and Describe Experienced Problems, volume=10918, DOI=10.1007/978-3-319-91797-9_52, booktitle=Design, User Experience, and Usability: Theory and Practice, publisher=Springer International Publishing, author=Senft, Björn and Fischer, Holger Gerhard and Oberthür, Simon and Patkar, Nitish, year=2018, pages=758–770, collection=Lecture Notes in Computer Science 
LibreCat: /record/6253
DOI: 10.1007/978-3-319-91797-9_52

@inbookFischer_Senft_Rittmeier_Sauer_2018, place=Cham, series=Lecture Notes in Computer Science, title=A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems, volume=10918, DOI=10.1007/978-3-319-91797-9_49, booktitle=Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018), publisher=Springer International Publishing, author=Fischer, Holger Gerhard and Senft, Björn and Rittmeier, Florian and Sauer, Stefan, editor=Marcus, Aaron and Wang, WentaoEditors, year=2018, pages=711–724, collection=Lecture Notes in Computer Science 
LibreCat: /record/6254
DOI: 10.1007/978-3-319-91797-9_49

@inbookSchäfer_Hüllermeier_2018, place=Cham, title=Preference-Based Reinforcement Learning Using Dyad Ranking, DOI=10.1007/978-3-030-01771-2_11, booktitle=Discovery Science, publisher=Springer International Publishing, author=Schäfer, Dirk and Hüllermeier, Eyke, year=2018, pages=161–175 
LibreCat: /record/6423
DOI: 10.1007/978-3-030-01771-2_11

@inbookFeldkord_Malatyali_Meyer auf der Heide_2018, place=Cham, title=A Dynamic Distributed Data Structure for Top-k and k-Select Queries, DOI=10.1007/978-3-319-98355-4_18, booktitle=Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, author=Feldkord, Björn and Malatyali, Manuel and Meyer auf der Heide, Friedhelm, year=2018 
LibreCat: /record/16392
DOI: 10.1007/978-3-319-98355-4_18

@inproceedingsKhaluf_Markarian_Simoens_Reina_2017, place=Cham, title=Scheduling Access to Shared Space in Multi-robot Systems, DOI=10.1007/978-3-319-59930-4_12, booktitle=International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), author=Khaluf, Yara and Markarian, Christine and Simoens, Pieter and Reina, Andreagiovanni, year=2017 
LibreCat: /record/24398
DOI: 10.1007/978-3-319-59930-4_12

@inproceedingsBlömer_Liske_2017, place=Cham, series=Lecture Notes in Computer Science, title=Subtleties in Security Definitions for Predicate Encryption with Public Index, volume=10693, DOI=10.1007/978-3-319-72453-9_35, booktitle=Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), publisher=Springer International Publishing, author=Blömer, Johannes and Liske, Gennadij, year=2017, pages=438–453, collection=Lecture Notes in Computer Science 
LibreCat: /record/2967
DOI: 10.1007/978-3-319-72453-9_35

@inbookGerking_Schubert_Budde_2017, place=Cham, title=Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities, DOI=10.1007/978-3-319-61473-1_2, booktitle=Theory and Practice of Model Transformation, author=Gerking, Christopher and Schubert, David and Budde, Ingo, year=2017 
LibreCat: /record/23396
DOI: 10.1007/978-3-319-61473-1_2

@inproceedingsBlömer_Günther_Krummel_Löken_2017, place=Cham, title=Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations, DOI=10.1007/978-3-319-75650-9_1, booktitle=Foundations and Practice of Security, publisher=Springer International Publishing, author=Blömer, Johannes and Günther, Peter and Krummel, Volker and Löken, Nils, year=2017, pages=3–17 
LibreCat: /record/2344
DOI: 10.1007/978-3-319-75650-9_1

@inbookBrauer_2017, place=Cham, title=Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems, volume=10236, DOI=10.1007/978-3-319-57586-5_11, booktitle=Lecture Notes in Computer Science, publisher=Springer International Publishing, author=Brauer, Sascha, editor=Fotakis, Dimitris and Pagourtzis, Aris and Paschos, Vangelis Th.Editors, year=2017, pages=116–127 
LibreCat: /record/2381
DOI: 10.1007/978-3-319-57586-5_11

@inproceedingsTöws_Wehrheim_2017, title=Policy Dependent and Independent Information Flow Analyses, DOI=10.1007/978-3-319-68690-5_22, booktitle=Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), publisher=Springer International Publishing, author=Töws, Manuel and Wehrheim, Heike, year=2017, pages=362–378 
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22

@inbookFischer_Engler_Sauer_2017, place=Cham, series=Lecture Notes in Computer Science, title=A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0, volume=10288, DOI=10.1007/978-3-319-58634-2_42, booktitle=Design, User Experience, and Usability: Theory, Methodology, and Management, publisher=Springer International Publishing, author=Fischer, Holger Gerhard and Engler, Michael and Sauer, Stefan, year=2017, pages=570–583, collection=Lecture Notes in Computer Science 
LibreCat: /record/6255
DOI: 10.1007/978-3-319-58634-2_42

@inbookBemmann_Biermeier_Bürmann_Kemper_Knollmann_Knorr_Kothe_Mäcker_Malatyali_Meyer auf der Heide_et al._2017, place=Cham, title=Monitoring of Domain-Related Problems in Distributed Data Streams, DOI=10.1007/978-3-319-72050-0_13, booktitle=Structural Information and Communication Complexity, author=Bemmann, Pascal and Biermeier, Felix and Bürmann, Jan and Kemper, Arne and Knollmann, Till and Knorr, Steffen and Kothe, Nils and Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and et al., year=2017 
LibreCat: /record/16461
DOI: 10.1007/978-3-319-72050-0_13
arXiv: arXiv:1706.03568 

@inbookBeckschäfer_Malberg_Tierney_Weskamp_2017, place=Cham, title=Simulating Storage Policies for an Automated Grid-Based Warehouse System, DOI=10.1007/978-3-319-68496-3_31, booktitle=Lecture Notes in Computer Science, author=Beckschäfer, Michaela and Malberg, Simon and Tierney, Kevin and Weskamp, Christoph, year=2017 
LibreCat: /record/14857
DOI: 10.1007/978-3-319-68496-3_31

@inproceedingsHamann_Valentini_Dorigo_2016, place=Cham, title=Population Coding: A New Design Paradigm for Embodied Distributed Systems, DOI=10.1007/978-3-319-44427-7_15, booktitle=10th Int. Conf. on Swarm Intelligence, ANTS 2016, author=Hamann, Heiko and Valentini, Gabriele and Dorigo, Marco, year=2016 
LibreCat: /record/20000
DOI: 10.1007/978-3-319-44427-7_15

@inproceedingsValentini_Brambilla_Hamann_Dorigo_2016, title=Collective Perception of Environmental Features in a Robot Swarm, DOI=10.1007/978-3-319-44427-7_6, booktitle=10th Int. Conf. on Swarm Intelligence, ANTS 2016, author=Valentini, Gabriele and Brambilla, Davide and Hamann, Heiko and Dorigo, Marco, year=2016 
LibreCat: /record/20004
DOI: 10.1007/978-3-319-44427-7_6

@inbookGünther_Krummel_2016, place=Cham, title=Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures, DOI=10.1007/978-3-319-32859-1_13, booktitle=Mathematical Aspects of Computer and Information Sciences, publisher=Springer International Publishing, author=Günther, Peter and Krummel, Volker, year=2016, pages=151–165 
LibreCat: /record/2948
DOI: 10.1007/978-3-319-32859-1_13

@inbookBlömer_Lammersen_Schmidt_Sohler_2016, place=Cham, title=Theoretical Analysis of the k-Means Algorithm – A Survey, DOI=10.1007/978-3-319-49487-6_3, booktitle=Algorithm Engineering, publisher=Springer International Publishing, author=Blömer, Johannes and Lammersen, Christiane and Schmidt, Melanie and Sohler, Christian, year=2016, pages=81–116 
LibreCat: /record/2968
DOI: 10.1007/978-3-319-49487-6_3

@inbookBlömer_Bujna_2016, place=Cham, title=Adaptive Seeding for Gaussian Mixture Models, DOI=10.1007/978-3-319-31750-2_24, booktitle=Advances in Knowledge Discovery and Data Mining, publisher=Springer International Publishing, author=Blömer, Johannes and Bujna, Kathrin, year=2016, pages=296–308 
LibreCat: /record/2970
DOI: 10.1007/978-3-319-31750-2_24

@inproceedingsWolters_Kirchhoff_Gerth_Engels_2016, place=Cham, title=Cross-Device Integration of Android Apps, DOI=10.1007/978-3-319-46295-0_11, booktitle=Service-Oriented Computing, publisher=Springer International Publishing, author=Wolters, Dennis and Kirchhoff, Jonas and Gerth, Christian and Engels, Gregor, editor=Sheng, Quan Z.10.1007/978-3-319-46295-0_11__and Stroulia, Eleni10.1007/978-3-319-46295-0_11__and Tata, Samir10.1007/978-3-319-46295-0_11__and Bhiri, Sami Editors, year=2016, pages=171–185 
LibreCat: /record/5825
DOI: 10.1007/978-3-319-46295-0_11