KOUAGOU, N’Dah Jean, Stefan Heindorf, Caglar Demir, and Axel-Cyrille Ngonga Ngomo. “Learning Concept Lengths Accelerates Concept Learning in ALC.”https://doi.org/10.1007/978-3-031-06981-9_14__In The Semantic Web. Cham: Springer International Publishing, 2022.https://doi.org/10.1007/978-3-031-06981-9_14 .
LibreCat: /record/33740
DOI: 10.1007/978-3-031-06981-9_14

Feldhans, Robert, Adrian Wilke, Stefan Heindorf, Mohammad Hossein Shaker, Barbara Hammer, Axel-Cyrille Ngonga Ngomo, and Eyke Hüllermeier. “Drift Detection in Text Data with Document Embeddings.”https://doi.org/10.1007/978-3-030-91608-4_11__In Intelligent Data Engineering and Automated Learning – IDEAL 2021. Cham, 2021.https://doi.org/10.1007/978-3-030-91608-4_11 .
LibreCat: /record/29046
DOI: 10.1007/978-3-030-91608-4_11

Hartel, Rita, and Alexander Dunst. “An OCR Pipeline and Semantic Text Analysis for Comics.”https://doi.org/10.1007/978-3-030-68780-9_19__In MANPU 2020: The 4th International Workshop on CoMics ANalysis, Processing and Understanding@Pattern Recognition. ICPR International Workshops and Challenges. Cham, 2021.https://doi.org/10.1007/978-3-030-68780-9_19 .
LibreCat: /record/21378
DOI: 10.1007/978-3-030-68780-9_19

Jager, Tibor, Rafael Kurek, and David Niehues. “Efficient Adaptively-Secure IB-KEMs and VRFs via Near-Collision Resistance.”https://doi.org/10.1007/978-3-030-75245-3_22__In Public-Key Cryptography – PKC 2021. Cham, 2021.https://doi.org/10.1007/978-3-030-75245-3_22 .
LibreCat: /record/22057
DOI: 10.1007/978-3-030-75245-3_22

Niehues, David. “Verifiable Random Functions with Optimal Tightness.”https://doi.org/10.1007/978-3-030-75248-4_3__In Public-Key Cryptography – PKC 2021. Cham, 2021.https://doi.org/10.1007/978-3-030-75248-4_3 .
LibreCat: /record/22059
DOI: 10.1007/978-3-030-75248-4_3

Damke, Clemens, and Eyke Hüllermeier. “Ranking Structured Objects with Graph Neural Networks.”https://doi.org/10.1007/978-3-030-88942-5__In Proceedings of The 24th International Conference on Discovery Science (DS 2021), edited by Carlos Soares and Luis Torgo, 12986:166–80. Lecture Notes in Computer Science. Springer, 2021.https://doi.org/10.1007/978-3-030-88942-5 .
LibreCat: /record/27381
DOI: 10.1007/978-3-030-88942-5
arXiv: 2104.08869

Götte, Thorsten, Christina Kolb, Christian Scheideler, and Julian Werthmann. “Beep-And-Sleep: Message and Energy Efficient Set Cover.”https://doi.org/10.1007/978-3-030-89240-1_7__In Algorithms for Sensor Systems (ALGOSENSORS ’21). Cham, 2021.https://doi.org/10.1007/978-3-030-89240-1_7 .
LibreCat: /record/26888
DOI: 10.1007/978-3-030-89240-1_7

Bobolz, Jan, Fabian Eidens, Stephan Krenn, Sebastian Ramacher, and Kai Samelin. “Issuer-Hiding Attribute-Based Credentials.”https://doi.org/10.1007/978-3-030-92548-2_9__In Cryptology and Network Security. Cham: Springer International Publishing, 2021.https://doi.org/10.1007/978-3-030-92548-2_9 .
LibreCat: /record/29566
DOI: 10.1007/978-3-030-92548-2_9

Nagbøl, Per Rådberg, Oliver Müller, and Oliver Krancher. “Designing a Risk Assessment Tool for Artificial Intelligence Systems.”https://doi.org/10.1007/978-3-030-82405-1_32__In The Next Wave of Sociotechnical Design. Cham: Springer International Publishing, 2021.https://doi.org/10.1007/978-3-030-82405-1_32 .
LibreCat: /record/32868
DOI: 10.1007/978-3-030-82405-1_32

Feldhans, Robert, Adrian Wilke, Stefan Heindorf, Mohammad Hossein Shaker, Barbara Hammer, Axel-Cyrille Ngonga Ngomo, and Eyke Hüllermeier. “Drift Detection in Text Data with Document Embeddings.”https://doi.org/10.1007/978-3-030-91608-4_11__In Intelligent Data Engineering and Automated Learning – IDEAL 2021. Cham: Springer International Publishing, 2021.https://doi.org/10.1007/978-3-030-91608-4_11 .
LibreCat: /record/29292
DOI: 10.1007/978-3-030-91608-4_11

Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence Logic.”https://doi.org/10.1007/978-3-030-93100-1_9__In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2021.https://doi.org/10.1007/978-3-030-93100-1_9 .
LibreCat: /record/45846
DOI: 10.1007/978-3-030-93100-1_9

Alhaddad, Samer, Jens Förstner, Stefan Groth, Daniel Grünewald, Yevgen Grynko, Frank Hannig, Tobias Kenter, et al. “HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids.”https://doi.org/10.1007/978-3-030-71593-9_15__In Euro-Par 2020: Parallel Processing Workshops. Cham, 2021.https://doi.org/10.1007/978-3-030-71593-9_15 .
LibreCat: /record/21587
DOI: 10.1007/978-3-030-71593-9_15

Ramaswami, Arjun, Tobias Kenter, Thomas Kühne, and Christian Plessl. “Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing.”https://doi.org/10.1007/978-3-030-79025-7_21__In Applied Reconfigurable Computing. Architectures, Tools, and Applications. Cham: Springer International Publishing, 2021.https://doi.org/10.1007/978-3-030-79025-7_21 .
LibreCat: /record/29936
DOI: 10.1007/978-3-030-79025-7_21

Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence Logic.”https://doi.org/10.1007/978-3-030-93100-1_9__In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2021.https://doi.org/10.1007/978-3-030-93100-1_9 .
LibreCat: /record/45823
DOI: 10.1007/978-3-030-93100-1_9

Pfannschmidt, Karlson, and Eyke Hüllermeier. “Learning Choice Functions via Pareto-Embeddings.”https://doi.org/10.1007/978-3-030-58285-2_30__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-58285-2_30 .
LibreCat: /record/19521
DOI: 10.1007/978-3-030-58285-2_30

Sellmann, Meinolf, and Kevin Tierney. “Hyper-Parameterized Dialectic Search for Non-Linear Box-Constrained Optimization with Heterogenous Variable Types.”https://doi.org/10.1007/978-3-030-53552-0_12__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-53552-0_12 .
LibreCat: /record/19561
DOI: 10.1007/978-3-030-53552-0_12

Jager, Tibor, and David Niehues. “On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions.”https://doi.org/10.1007/978-3-030-38471-5_13__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-38471-5_13 .
LibreCat: /record/21396
DOI: 10.1007/978-3-030-38471-5_13

Jazayeri, Bahar, Simon Schwichtenberg, Jochen Küster, Olaf Zimmermann, and Gregor Engels. “Modeling and Analyzing Architectural Diversity of Open Platforms.”https://doi.org/10.1007/978-3-030-49435-3_3__In Advanced Information Systems Engineering. Cham, 2020.https://doi.org/10.1007/978-3-030-49435-3_3 .
LibreCat: /record/17337
DOI: 10.1007/978-3-030-49435-3_3

Knüppel, Alexander, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, and Ina Schaefer. “Using Abstract Contracts for Verifying Evolving Features and Their Interactions.”https://doi.org/10.1007/978-3-030-64354-6_5__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-64354-6_5 .
LibreCat: /record/20891
DOI: 10.1007/978-3-030-64354-6_5

El Mesaoudi-Paul, Adil, Dimitri Weiß, Viktor Bengs, Eyke Hüllermeier, and Kevin Tierney. “Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach.”https://doi.org/10.1007/978-3-030-53552-0_22__In Learning and Intelligent Optimization. LION 2020., 12096:216–32. Lecture Notes in Computer Science. Cham: Springer, 2020.https://doi.org/10.1007/978-3-030-53552-0_22 .
LibreCat: /record/18014
DOI: 10.1007/978-3-030-53552-0_22

Piskachev, Goran, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.”https://doi.org/10.1007/978-3-030-54997-8_34__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-54997-8_34 .
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

Weidmann, Nils, and Anthony Anjorin. “Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming.”https://doi.org/10.1007/978-3-030-45234-6_16__In Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, edited by Heike Wehrheim and Jordi Cabot. Cham: Springer, 2020.https://doi.org/10.1007/978-3-030-45234-6_16 .
LibreCat: /record/17084
DOI: 10.1007/978-3-030-45234-6_16

Schwichtenberg, Bahar, Simon Schwichtenberg, Jochen Küster, Olaf Zimmermann, and Gregor Engels. “Modeling and Analyzing Architectural Diversity of Open Platforms.”https://doi.org/10.1007/978-3-030-49435-3_3__In Advanced Information Systems Engineering. Cham, 2020.https://doi.org/10.1007/978-3-030-49435-3_3 .
LibreCat: /record/17085
DOI: 10.1007/978-3-030-49435-3_3

Dallmeier, Fynn, Jan P. Drees, Kai Gellert, Tobias Handirk, Tibor Jager, Jonas Klauke, Simon Nachtigall, Timo Renzelmann, and Rudi Wolf. “Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC.”https://doi.org/10.1007/978-3-030-65411-5_11__In Cryptology and Network Security, 211–31. Cham: Springer-Verlag, 2020.https://doi.org/10.1007/978-3-030-65411-5_11 .
LibreCat: /record/28997
DOI: 10.1007/978-3-030-65411-5_11

Heiden, Philipp zur. “Considering Context in Design Science Research: A Systematic Literature Review.”https://doi.org/10.1007/978-3-030-64823-7_21__In Designing for Digital Transformation. Co-Creating Services with Citizens and Industry. Cham, 2020.https://doi.org/10.1007/978-3-030-64823-7_21 .
LibreCat: /record/20706
DOI: 10.1007/978-3-030-64823-7_21

Mahmood, Yasir, and Arne Meier. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.”https://doi.org/10.1007/978-3-030-39951-1_10__In Lecture Notes in Computer Science. Cham: Springer International Publishing, 2020.https://doi.org/10.1007/978-3-030-39951-1_10 .
LibreCat: /record/45848
DOI: 10.1007/978-3-030-39951-1_10

Haney, Julie M., Susanne M. Furman, and Yasemin Acar. “Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges.”https://doi.org/10.1007/978-3-030-50309-3_26__In HCI for Cybersecurity, Privacy and Trust. Cham: Springer International Publishing, 2020.https://doi.org/10.1007/978-3-030-50309-3_26 .
LibreCat: /record/47261
DOI: 10.1007/978-3-030-50309-3_26

Senft, Björn, Florian Rittmeier, Holger Gerhard Fischer, and Simon Oberthür. “A Value-Centered Approach for Unique and Novel Software Applications.”https://doi.org/10.1007/978-3-030-23535-2_27__In Design, User Experience, and Usability. Practice and Case Studies. Cham, 2019.https://doi.org/10.1007/978-3-030-23535-2_27 .
LibreCat: /record/11952
DOI: 10.1007/978-3-030-23535-2_27

Kuhlemann, Stefan, Meinolf Sellmann, and Kevin Tierney. “Exploiting Counterfactuals for Scalable Stochastic Optimization.”https://doi.org/10.1007/978-3-030-30048-7_40__In Lecture Notes in Computer Science. Cham, 2019.https://doi.org/10.1007/978-3-030-30048-7_40 .
LibreCat: /record/14890
DOI: 10.1007/978-3-030-30048-7_40

Ahmadi Fahandar, Mohsen, and Eyke Hüllermeier. “Feature Selection for Analogy-Based Learning to Rank.”https://doi.org/10.1007/978-3-030-33778-0_22__In Discovery Science. Cham, 2019.https://doi.org/10.1007/978-3-030-33778-0_22 .
LibreCat: /record/15004
DOI: 10.1007/978-3-030-33778-0_22

Ahmadi Fahandar, Mohsen, and Eyke Hüllermeier. “Analogy-Based Preference Learning with Kernels.”https://doi.org/10.1007/978-3-030-30179-8_3__In KI 2019: Advances in Artificial Intelligence. Cham, 2019.https://doi.org/10.1007/978-3-030-30179-8_3 .
LibreCat: /record/15005
DOI: 10.1007/978-3-030-30179-8_3

Nguyen, Vu-Linh, Sébastien Destercke, and Eyke Hüllermeier. “Epistemic Uncertainty Sampling.”https://doi.org/10.1007/978-3-030-33778-0_7__In Discovery Science. Cham, 2019.https://doi.org/10.1007/978-3-030-33778-0_7 .
LibreCat: /record/15006
DOI: 10.1007/978-3-030-33778-0_7

Hartel, Rita, and Alexander Dunst. “How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics.”https://doi.org/10.1007/978-3-030-05716-9_59__In International Conference on Multimedia Modeling, MMM, 662–71. Springer, 2019.https://doi.org/10.1007/978-3-030-05716-9_59 .
LibreCat: /record/15080
DOI: 10.1007/978-3-030-05716-9_59

Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.”https://doi.org/10.1007/978-3-030-16722-6_23__In Fundamental Approaches to Software Engineering. Cham, 2019.https://doi.org/10.1007/978-3-030-16722-6_23 .
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterised Complexity of Abduction in Schaefer’s Framework.”https://doi.org/10.1007/978-3-030-36755-8_13__In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2019.https://doi.org/10.1007/978-3-030-36755-8_13 .
LibreCat: /record/45818
DOI: 10.1007/978-3-030-36755-8_13

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

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

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

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

Valentini, Gabriele, Davide Brambilla, Heiko Hamann, and Marco Dorigo. “Collective Perception of Environmental Features in a Robot Swarm.”https://doi.org/10.1007/978-3-319-44427-7_6__In 10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016.https://doi.org/10.1007/978-3-319-44427-7_6 .
LibreCat: /record/20004
DOI: 10.1007/978-3-319-44427-7_6

Günther, Peter, and Volker Krummel. “Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures.”https://doi.org/10.1007/978-3-319-32859-1_13__In Mathematical Aspects of Computer and Information Sciences, 151–65. Cham: Springer International Publishing, 2016.https://doi.org/10.1007/978-3-319-32859-1_13 .
LibreCat: /record/2948
DOI: 10.1007/978-3-319-32859-1_13

Blömer, Johannes, Christiane Lammersen, Melanie Schmidt, and Christian Sohler. “Theoretical Analysis of the K-Means Algorithm – A Survey.”https://doi.org/10.1007/978-3-319-49487-6_3__In Algorithm Engineering, 81–116. Cham: Springer International Publishing, 2016.https://doi.org/10.1007/978-3-319-49487-6_3 .
LibreCat: /record/2968
DOI: 10.1007/978-3-319-49487-6_3

Blömer, Johannes, and Kathrin Bujna. “Adaptive Seeding for Gaussian Mixture Models.”https://doi.org/10.1007/978-3-319-31750-2_24__In Advances in Knowledge Discovery and Data Mining, 296–308. Cham: Springer International Publishing, 2016.https://doi.org/10.1007/978-3-319-31750-2_24 .
LibreCat: /record/2970
DOI: 10.1007/978-3-319-31750-2_24

Wolters, Dennis, Jonas Kirchhoff, Christian Gerth, and Gregor Engels. “Cross-Device Integration of Android Apps.”https://doi.org/10.1007/978-3-319-46295-0_11__In Service-Oriented Computing, edited by Quan Z.https://doi.org/10.1007/978-3-319-46295-0_11__Sheng, Elenihttps://doi.org/10.1007/978-3-319-46295-0_11__Stroulia, Samirhttps://doi.org/10.1007/978-3-319-46295-0_11__Tata, and Samihttps://doi.org/10.1007/978-3-319-46295-0_11__Bhiri, 171–85. Cham: Springer International Publishing, 2016.https://doi.org/10.1007/978-3-319-46295-0_11 .
LibreCat: /record/5825
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.”https://doi.org/10.1007/978-3-319-44902-9_3__In Human-Centered and Error-Resilient Systems Development, edited by Christian Bogdan, 9856:30–41. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2016.https://doi.org/10.1007/978-3-319-44902-9_3 .
LibreCat: /record/6257
DOI: 10.1007/978-3-319-44902-9_3

Blömer, Johannes, and Kathrin Bujna. “Adaptive Seeding for Gaussian Mixture Models.”https://doi.org/10.1007/978-3-319-31750-2_24__In Advances in Knowledge Discovery and Data Mining, 296–308. Cham: Springer International Publishing, 2016.https://doi.org/10.1007/978-3-319-31750-2_24 .
LibreCat: /record/2978
DOI: 10.1007/978-3-319-31750-2_24

Blazy, Olivier, Saqib Kakvi, Eike Kiltz, and Jiaxin Pan. “Tightly-Secure Signatures from Chameleon Hash Functions.”https://doi.org/10.1007/978-3-662-46447-2_12__In Lecture Notes in Computer Science, 256–79. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015.https://doi.org/10.1007/978-3-662-46447-2_12 .
LibreCat: /record/2921
DOI: 10.1007/978-3-662-46447-2_12

Altmeier, Christian, Christian Mainka, Juraj Somorovsky, and Jörg Schwenk. “AdIDoS – Adaptive and Intelligent Fully-Automatic Detection of Denial-of-Service Weaknesses in Web Services.”https://doi.org/10.1007/978-3-319-29883-2_5__In Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015. Lecture Notes in Computer Science 9481. Cham, 2015.https://doi.org/10.1007/978-3-319-29883-2_5 .
LibreCat: /record/15897
DOI: 10.1007/978-3-319-29883-2_5

Jager, Tibor, Jörg Schwenk, and Juraj Somorovsky. “Practical Invalid Curve Attacks on TLS-ECDH.”https://doi.org/10.1007/978-3-319-24174-6_21__In Computer Security -- ESORICS 2015. Cham, 2015.https://doi.org/10.1007/978-3-319-24174-6_21 .
LibreCat: /record/15899
DOI: 10.1007/978-3-319-24174-6_21

Böttcher, Stefan, Rita Hartel, Thomas Jacobs, and Markus Jeromin. “ECST – Extended Context-Free Straight-Line Tree Grammars.”https://doi.org/10.1007/978-3-319-20424-6_18__In Data Science - 30th British International Conference on Databases, BICOD 2015, 186–98. Springer, 2015.https://doi.org/10.1007/978-3-319-20424-6_18 .
LibreCat: /record/15088
DOI: 10.1007/978-3-319-20424-6_18

Geierhos, Michaela, Frederik S. Bäumer, Sabine Schulze, and Caterina Klotz. “Understanding the Patient 2.0.”https://doi.org/10.1007/978-3-319-25591-0_12__In Modeling and Using Context. Cham, 2015.https://doi.org/10.1007/978-3-319-25591-0_12 .
LibreCat: /record/25338
DOI: 10.1007/978-3-319-25591-0_12

Geierhos, Michaela, Frederik S. Bäumer, Sabine Schulze, and Caterina Klotz. “Understanding the Patient 2.0.”https://doi.org/10.1007/978-3-319-25591-0_12__In Modeling and Using Context. Cham, 2015.https://doi.org/10.1007/978-3-319-25591-0_12 .
LibreCat: /record/25337
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.”https://doi.org/10.1007/978-3-319-09952-1_15__In Ninth Int. Conf. on Swarm Intelligence (ANTS 2014). Cham, 2014.https://doi.org/10.1007/978-3-319-09952-1_15 .
LibreCat: /record/20008
DOI: 10.1007/978-3-319-09952-1_15

Koch, Thorsten, Jörg Holtmann, and Julien DeAntoni. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.”https://doi.org/10.1007/978-3-319-09970-5_14__In Software Architecture. Cham, 2014.https://doi.org/10.1007/978-3-319-09970-5_14 .
LibreCat: /record/20982
DOI: 10.1007/978-3-319-09970-5_14

Bokermann, Dennis, Christian Gerth, and Gregor Engels. “Use Your Best Device! Enabling Device Changes at Runtime.”https://doi.org/10.1007/978-3-319-10172-9_23__In 12th International Conference on Business Process Management (BPM 2014), 8659:357–65. Lecture Notes in Computer Science. Springer International Publishing, 2014.https://doi.org/10.1007/978-3-319-10172-9_23 .
LibreCat: /record/6741
DOI: 10.1007/978-3-319-10172-9_23

Flocchini, Paola, Jie Gao, Evangelos Kranakis, and Friedhelm Meyer auf der Heide, eds. Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013. Vol. 8243. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2014.https://doi.org/10.1007/978-3-642-45346-5 .
LibreCat: /record/16870
DOI: 10.1007/978-3-642-45346-5

Böttcher, Stefan, Rita Hartel, and Jonathan Rabe. “Efficient XML Keyword Search Based on DAG-Compression.”https://doi.org/10.1007/978-3-319-10073-9_11__In Database and Expert Systems Applications - 25th International Conference, DEXA 2014, 122–37. Cham: Springer, 2014.https://doi.org/10.1007/978-3-319-10073-9_11 .
LibreCat: /record/15092
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.”https://doi.org/10.1007/978-3-319-14472-6_17__In Lecture Notes in Computer Science. Cham, 2014.https://doi.org/10.1007/978-3-319-14472-6_17 .
LibreCat: /record/16394
DOI: 10.1007/978-3-319-14472-6_17

Abshoff, Sebastian, and Friedhelm Meyer auf der Heide. “Continuous Aggregation in Dynamic Ad-Hoc Networks.”https://doi.org/10.1007/978-3-319-09620-9_16__In Structural Information and Communication Complexity. Cham, 2014.https://doi.org/10.1007/978-3-319-09620-9_16 .
LibreCat: /record/16395
DOI: 10.1007/978-3-319-09620-9_16

Fourné, Marcel, Kevin Stegemann, Dominique Petersen, and Norbert Pohlmann. “Aggregation of Network Protocol Data Near Its Source.”https://doi.org/10.1007/978-3-642-55032-4_49__In Information and Communication Technology. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014.https://doi.org/10.1007/978-3-642-55032-4_49 .
LibreCat: /record/47839
DOI: 10.1007/978-3-642-55032-4_49

Blömer, Johannes, Peter Günther, and Gennadij Liske. “Improved Side Channel Attacks on Pairing Based Cryptography.”https://doi.org/10.1007/978-3-642-40026-1_10__In Constructive Side-Channel Analysis and Secure Design, 154–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.https://doi.org/10.1007/978-3-642-40026-1_10 .
LibreCat: /record/2979
DOI: 10.1007/978-3-642-40026-1_10

Klompmaker, Florian, Volker Paelke, and Holger Gerhard Fischer. “A Taxonomy-Based Approach towards NUI Interaction Design.”https://doi.org/10.1007/978-3-642-39351-8_4__In Distributed, Ambient, and Pervasive Interactions, 8028:32–41. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.https://doi.org/10.1007/978-3-642-39351-8_4 .
LibreCat: /record/6276
DOI: 10.1007/978-3-642-39351-8_4

Fischer, Holger Gerhard, Benjamin Strenge, and Karsten Nebe. “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.”https://doi.org/10.1007/978-3-642-39229-0_28__In Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, 8012:252–61. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.https://doi.org/10.1007/978-3-642-39229-0_28 .
LibreCat: /record/6279
DOI: 10.1007/978-3-642-39229-0_28

Place, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “Separating Regular Languages by Piecewise Testable and Unambiguous Languages.”https://doi.org/10.1007/978-3-642-40313-2_64__In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, 729–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.https://doi.org/10.1007/978-3-642-40313-2_64 .
LibreCat: /record/6732
DOI: 10.1007/978-3-642-40313-2_64

Böttcher, Stefan, Rita Hartel, and Thomas Jacobs. “Fast Multi-Update Operations on Compressed XML Data.”https://doi.org/10.1007/978-3-642-39467-6_15__In Big Data - 29th British National Conference on Databases, BNCOD 2013, 149–64. Berlin, Heidelberg: Springer, 2013.https://doi.org/10.1007/978-3-642-39467-6_15 .
LibreCat: /record/15093
DOI: 10.1007/978-3-642-39467-6_15

Jähn, Claudius, Benjamin Eikel, Matthias Fischer, Ralf Petring, and Friedhelm Meyer auf der Heide. “Evaluation of Rendering Algorithms Using Position-Dependent Scene Properties.”https://doi.org/10.1007/978-3-642-41914-0_12__In Advances in Visual Computing. Berlin, Heidelberg, 2013.https://doi.org/10.1007/978-3-642-41914-0_12 .
LibreCat: /record/16406
DOI: 10.1007/978-3-642-41914-0_12

Petring, Ralf, Benjamin Eikel, Claudius Jähn, Matthias Fischer, and Friedhelm Meyer auf der Heide. “Real-Time 3D Rendering of Heterogeneous Scenes.”https://doi.org/10.1007/978-3-642-41914-0_44__In Advances in Visual Computing. Berlin, Heidelberg, 2013.https://doi.org/10.1007/978-3-642-41914-0_44 .
LibreCat: /record/16407
DOI: 10.1007/978-3-642-41914-0_44

Hamann, Heiko, Andreas Engelbrecht, Mauro Birattari, Marco Dorigo, Christian Blum, Thomas Stuetzle, Anders Lyhne Christensen, and Roderich Gross. “Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions.”https://doi.org/10.1007/978-3-642-32650-9_15__In Swarm Intelligence: 8th International Conference, ANTS 2012, 7461:168–79. Berlin, Heidelberg: Springer, 2012.https://doi.org/10.1007/978-3-642-32650-9_15 .
LibreCat: /record/20179
DOI: 10.1007/978-3-642-32650-9_15

Kakvi, Saqib, Eike Kiltz, and Alexander May. “Certifying RSA.”https://doi.org/10.1007/978-3-642-34961-4_25__In Advances in Cryptology – ASIACRYPT 2012, 404–14. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.https://doi.org/10.1007/978-3-642-34961-4_25 .
LibreCat: /record/2918
DOI: 10.1007/978-3-642-34961-4_25

Kakvi, Saqib, and Eike Kiltz. “Optimal Security Proofs for Full Domain Hash, Revisited.”https://doi.org/10.1007/978-3-642-29011-4_32__In Advances in Cryptology – EUROCRYPT 2012, 537–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.https://doi.org/10.1007/978-3-642-29011-4_32 .
LibreCat: /record/2919
DOI: 10.1007/978-3-642-29011-4_32

Kempkes, Barbara, and Friedhelm Meyer auf der Heide. “Continuous Local Strategies for Robotic Formation Problems.”https://doi.org/10.1007/978-3-642-30850-5_2__In Experimental Algorithms. Berlin, Heidelberg, 2012.https://doi.org/10.1007/978-3-642-30850-5_2 .
LibreCat: /record/16445
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.”https://doi.org/10.1007/978-3-642-28209-6_2__In Algorithms for Sensor Systems. Berlin, Heidelberg, 2012.https://doi.org/10.1007/978-3-642-28209-6_2 .
LibreCat: /record/16448
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.”https://doi.org/10.1007/978-3-642-29843-1_9__In Large-Scale Scientific Computing. Berlin, Heidelberg, 2012.https://doi.org/10.1007/978-3-642-29843-1_9 .
LibreCat: /record/16516
DOI: 10.1007/978-3-642-29843-1_9

Jager, Tibor, Sebastian Schinzel, and Juraj Somorovsky. “Bleichenbacher’s Attack Strikes Again: Breaking PKCS .5 in XML Encryption.”https://doi.org/10.1007/978-3-642-33167-1_43__In Computer Security – ESORICS 2012. Berlin, Heidelberg, 2012.https://doi.org/10.1007/978-3-642-33167-1_43 .
LibreCat: /record/15891
DOI: 10.1007/978-3-642-33167-1_43

Suess, Tim, Clemens Koch, Claudius Jähn, Matthias Fischer, and Friedhelm Meyer auf der Heide. “Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes.”https://doi.org/10.1007/978-3-642-33179-4_48__In Advances in Visual Computing, 7431:502–12. Lecture Notes in Computer Science. Berlin, Heidelberg, 2012.https://doi.org/10.1007/978-3-642-33179-4_48 .
LibreCat: /record/16408
DOI: 10.1007/978-3-642-33179-4_48

Hamann, Heiko, Thomas Schmickl, and Karl Crailsheim. “Evolving for Creativity: Maximizing Complexity in a Self-Organized Multi-Particle System.”https://doi.org/10.1007/978-3-642-21283-3_55__In 10th European Conference on Artificial Life (ECAL’09), 5777:442--449, 2011.https://doi.org/10.1007/978-3-642-21283-3_55 .
LibreCat: /record/20183
DOI: 10.1007/978-3-642-21283-3_55

Lettmann, Theodor, Michael Baumann, Markus Eberling, and Thomas Kemmerich. “Modeling Agents and Agent Systems.”https://doi.org/10.1007/978-3-642-24016-4_9__Transactions on Computational Collective Intelligence V, 2011, 157–81.https://doi.org/10.1007/978-3-642-24016-4_9 .
LibreCat: /record/3332
DOI: 10.1007/978-3-642-24016-4_9

Cord-Landwehr, Andreas, Bastian Degener, Matthias Fischer, Martina Hüllmann, Barbara Kempkes, Alexander Klaas, Peter Kling, et al. “Collisionless Gathering of Robots with an Extent.”https://doi.org/10.1007/978-3-642-18381-2_15__In SOFSEM 2011: Theory and Practice of Computer Science. Berlin, Heidelberg, 2011.https://doi.org/10.1007/978-3-642-18381-2_15 .
LibreCat: /record/20709
DOI: 10.1007/978-3-642-18381-2_15

Cord-Landwehr, Andreas, Bastian Degener, Matthias Fischer, Martina Hüllmann, Barbara Kempkes, Alexander Klaas, Peter Kling, et al. “A New Approach for Analyzing Convergence Algorithms for Mobile Robots.”https://doi.org/10.1007/978-3-642-22012-8_52__In Automata, Languages and Programming. Berlin, Heidelberg, 2011.https://doi.org/10.1007/978-3-642-22012-8_52 .
LibreCat: /record/20710
DOI: 10.1007/978-3-642-22012-8_52

Nebe, Karsten, Florian Klompmaker, Helge Jung, and Holger Gerhard Fischer. “Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction.”https://doi.org/10.1007/978-3-642-21605-3_11__In Human-Computer Interaction. Interaction Techniques and Environments., edited by Julie Anne Jacko, 6762:100–109. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.https://doi.org/10.1007/978-3-642-21605-3_11 .
LibreCat: /record/6293
DOI: 10.1007/978-3-642-21605-3_11

Fischer, Holger Gerhard, Karsten Nebe, and Florian Klompmaker. “A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities.”https://doi.org/10.1007/978-3-642-21753-1_4__In Human Centered Design, edited by Masaaki Kurosu, 6776:28–37. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.https://doi.org/10.1007/978-3-642-21753-1_4 .
LibreCat: /record/6300
DOI: 10.1007/978-3-642-21753-1_4

Cord-Landwehr, Andreas, Bastian Degener, Matthias Fischer, Martina Hüllmann, Barbara Kempkes, Alexander Klaas, Peter Kling, et al. “Collisionless Gathering of Robots with an Extent.”https://doi.org/10.1007/978-3-642-18381-2_15__In 37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011), 178–89. Springer, 2011.https://doi.org/10.1007/978-3-642-18381-2_15 .
LibreCat: /record/16410
DOI: 10.1007/978-3-642-18381-2_15

Brandes, Philipp, Bastian Degener, Barbara Kempkes, and Friedhelm Meyer auf der Heide. “Energy-Efficient Strategies for Building Short Chains of Mobile Robots Locally.”https://doi.org/10.1007/978-3-642-22212-2_13__In Structural Information and Communication Complexity. Berlin, Heidelberg, 2011.https://doi.org/10.1007/978-3-642-22212-2_13 .
LibreCat: /record/16459
DOI: 10.1007/978-3-642-22212-2_13

Benter, Markus, Stefan Böttcher, and Rita Hartel. “Mixing Bottom-Up and Top-Down XPath Query Evaluation.”https://doi.org/10.1007/978-3-642-23737-9_3__In East European Conference on Advances in Databases and Information Systems, 27–41. Springer, 2011.https://doi.org/10.1007/978-3-642-23737-9_3 .
LibreCat: /record/15097
DOI: 10.1007/978-3-642-23737-9_3