@inbookAhmadi Fahandar_Hüllermeier_2019, place=Cham, title=Feature Selection for Analogy-Based Learning to Rank, DOI=10.1007/978-3-030-33778-0_22, booktitle=Discovery Science, author=Ahmadi Fahandar, Mohsen and Hüllermeier, Eyke, year=2019 

@inbookAhmadi Fahandar_Hüllermeier_2019, place=Cham, title=Analogy-Based Preference Learning with Kernels, DOI=10.1007/978-3-030-30179-8_3, booktitle=KI 2019: Advances in Artificial Intelligence, author=Ahmadi Fahandar, Mohsen and Hüllermeier, Eyke, year=2019 

@inbookNguyen_Destercke_Hüllermeier_2019, place=Cham, title=Epistemic Uncertainty Sampling, DOI=10.1007/978-3-030-33778-0_7, booktitle=Discovery Science, author=Nguyen, Vu-Linh and Destercke, Sébastien and Hüllermeier, Eyke, year=2019 

@inproceedingsHartel_Dunst_2019, title=How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics, DOI=10.1007/978-3-030-05716-9_59, booktitle=International Conference on Multimedia Modeling, MMM, publisher=Springer, author=Hartel, Rita and Dunst, Alexander, year=2019, pages=662–671 

@inbookBeyer_Jakobs_2019, place=Cham, title=CoVeriTest: Cooperative Verifier-Based Testing, DOI=10.1007/978-3-030-16722-6_23, booktitle=Fundamental Approaches to Software Engineering, author=Beyer, Dirk and Jakobs, Marie-Christine, year=2019 

@inproceedingsMahmood_Meier_Schmidt_2019, place=Cham, title=Parameterised Complexity of Abduction in Schaefer’s Framework, DOI=10.1007/978-3-030-36755-8_13, booktitle=Logical Foundations of Computer Science, publisher=Springer International Publishing, author=Mahmood, Yasir and Meier, Arne and Schmidt, Johannes, year=2019 

@inproceedingsBlömer_Eidens_Juhnke_2018, place=Cham, title=Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems, DOI=10.1007/978-3-319-76953-0_25, booktitle=Topics in Cryptology - CT-RSA 2018 - The Cryptographers’ Track at the RSA Conference 2018, Proceedings, publisher=Springer International Publishing, author=Blömer, Johannes and Eidens, Fabian and Juhnke, Jakob, year=2018, pages=470–490 

@inproceedingsMarkarian_2018, place=Cham, title=An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest, DOI=10.1007/978-3-319-94667-2_18, booktitle=International Workshop on Combinatorial Algorithms (IWOCA), author=Markarian, Christine, year=2018 

@inproceedingsLösch_Wiens_Platzner_2018, place=Cham, series=Lecture Notes in Computer Science, title=Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes, volume=10793, DOI=10.1007/978-3-319-77610-1_6, booktitle=Proceedings of the International Conference on Architecture of Computing Systems (ARCS), publisher=Springer International Publishing, author=Lösch, Achim and Wiens, Alex and Platzner, Marco, year=2018, pages=73–84, collection=Lecture Notes in Computer Science 

@inproceedingsHansmeier_Platzner_Andrews_2018, series=Lecture Notes in Computer Science, title=An FPGA/HMC-Based Accelerator for Resolution Proof Checking, volume=10824, DOI=10.1007/978-3-319-78890-6_13, booktitle=ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, publisher=Springer International Publishing, author=Hansmeier, Tim and Platzner, Marco and Andrews, David, year=2018, pages=153–165, collection=Lecture Notes in Computer Science 

@inbookSchellhorn_Wedel_Travkin_König_Wehrheim_2018, place=Cham, title=FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity, DOI=10.1007/978-3-319-92970-5_7, booktitle=Software Engineering and Formal Methods, publisher=Springer International Publishing, author=Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike, year=2018, pages=105–120 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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