KOUAGOU, N. J., Heindorf, S., Demir, C., &; Ngonga Ngomo, A.-C. (2022). Learning Concept Lengths Accelerates Concept Learning in ALC. In The Semantic Web. Springer International Publishing.https://doi.org/10.1007/978-3-031-06981-9_14 
LibreCat: /record/33740
DOI: 10.1007/978-3-031-06981-9_14

Feldhans, R., Wilke, A., Heindorf, S., Shaker, M. H., Hammer, B., Ngonga Ngomo, A.-C., &; Hüllermeier, E. (2021). Drift Detection in Text Data with Document Embeddings. In Intelligent Data Engineering and Automated Learning – IDEAL 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, R., &; Dunst, A. (2021). An OCR Pipeline and Semantic Text Analysis for Comics. In MANPU 2020: The 4th International Workshop on coMics ANalysis, Processing and Understanding@Pattern Recognition. ICPR International Workshops and Challenges. Cham.https://doi.org/10.1007/978-3-030-68780-9_19 
LibreCat: /record/21378
DOI: 10.1007/978-3-030-68780-9_19

Jager, T., Kurek, R., &; Niehues, D. (2021). Efficient Adaptively-Secure IB-KEMs and VRFs via Near-Collision Resistance. In Public-Key Cryptography – PKC 2021. Cham.https://doi.org/10.1007/978-3-030-75245-3_22 
LibreCat: /record/22057
DOI: 10.1007/978-3-030-75245-3_22

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

Damke, C., &; Hüllermeier, E. (2021). Ranking Structured Objects with Graph Neural Networks. In C. Soares &; L. Torgo (Eds.), Proceedings of The 24th International Conference on Discovery Science (DS 2021) (Vol. 12986, pp. 166–180). Springer.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, T., Kolb, C., Scheideler, C., &; Werthmann, J. (2021). Beep-And-Sleep: Message and Energy Efficient Set Cover. In Algorithms for Sensor Systems (ALGOSENSORS ’21). ALGOSENSORS 2021, Lisbon, Portgual.https://doi.org/10.1007/978-3-030-89240-1_7 
LibreCat: /record/26888
DOI: 10.1007/978-3-030-89240-1_7

Bobolz, J., Eidens, F., Krenn, S., Ramacher, S., &; Samelin, K. (2021). Issuer-Hiding Attribute-Based Credentials. Cryptology and Network Security.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, P. R., Müller, O., &; Krancher, O. (2021). Designing a Risk Assessment Tool for Artificial Intelligence Systems. In The Next Wave of Sociotechnical Design. Springer International Publishing.https://doi.org/10.1007/978-3-030-82405-1_32 
LibreCat: /record/32868
DOI: 10.1007/978-3-030-82405-1_32

Feldhans, R., Wilke, A., Heindorf, S., Shaker, M. H., Hammer, B., Ngonga Ngomo, A.-C., &; Hüllermeier, E. (2021). Drift Detection in Text Data with Document Embeddings. In Intelligent Data Engineering and Automated Learning – IDEAL 2021. Springer International Publishing.https://doi.org/10.1007/978-3-030-91608-4_11 
LibreCat: /record/29292
DOI: 10.1007/978-3-030-91608-4_11

Kontinen, J., Meier, A., &; Mahmood, Y. (2021). A Parameterized View on the Complexity of Dependence Logic. Logical Foundations of Computer Science.https://doi.org/10.1007/978-3-030-93100-1_9 
LibreCat: /record/45846
DOI: 10.1007/978-3-030-93100-1_9

Alhaddad, S., Förstner, J., Groth, S., Grünewald, D., Grynko, Y., Hannig, F., Kenter, T., Pfreundt, F.-J., Plessl, C., Schotte, M., Steinke, T., Teich, J., Weiser, M., &; Wende, F. (2021). HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids. In Euro-Par 2020: Parallel Processing Workshops.https://doi.org/10.1007/978-3-030-71593-9_15 
LibreCat: /record/21587
DOI: 10.1007/978-3-030-71593-9_15

Ramaswami, A., Kenter, T., Kühne, T., &; Plessl, C. (2021). Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing. In Applied Reconfigurable Computing. Architectures, Tools, and Applications. Int. Conf. on Applied Reconfigurable Computing. Architectures, Tools, and Applications. Springer International Publishing.https://doi.org/10.1007/978-3-030-79025-7_21 
LibreCat: /record/29936
DOI: 10.1007/978-3-030-79025-7_21

Kontinen, J., Meier, A., &; Mahmood, Y. (2021). A Parameterized View on the Complexity of Dependence Logic. In Logical Foundations of Computer Science. Springer International Publishing.https://doi.org/10.1007/978-3-030-93100-1_9 
LibreCat: /record/45823
DOI: 10.1007/978-3-030-93100-1_9

Pfannschmidt, K., &; Hüllermeier, E. (2020). Learning Choice Functions via Pareto-Embeddings. In Lecture Notes in Computer Science. Cham.https://doi.org/10.1007/978-3-030-58285-2_30 
LibreCat: /record/19521
DOI: 10.1007/978-3-030-58285-2_30

Sellmann, M., &; Tierney, K. (2020). Hyper-parameterized Dialectic Search for Non-linear Box-Constrained Optimization with Heterogenous Variable Types. In Lecture Notes in Computer Science. Cham.https://doi.org/10.1007/978-3-030-53552-0_12 
LibreCat: /record/19561
DOI: 10.1007/978-3-030-53552-0_12

Jager, T., &; Niehues, D. (2020). On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions. In Lecture Notes in Computer Science. Cham.https://doi.org/10.1007/978-3-030-38471-5_13 
LibreCat: /record/21396
DOI: 10.1007/978-3-030-38471-5_13

Jazayeri, B., Schwichtenberg, S., Küster, J., Zimmermann, O., &; Engels, G. (2020). Modeling and Analyzing Architectural Diversity of Open Platforms. In Advanced Information Systems Engineering. Cham.https://doi.org/10.1007/978-3-030-49435-3_3 
LibreCat: /record/17337
DOI: 10.1007/978-3-030-49435-3_3

Gräßler, I., &; Hentze, J. (2020). The new V-Model of 2206 and its validation. At-Automatisierungstechnik 68(5), 68(5), 312–324.
LibreCat: /record/23517

Knüppel, A., Krüger, S., Thüm, T., Bubel, R., Krieter, S., Bodden, E., &; Schaefer, I. (2020). Using Abstract Contracts for Verifying Evolving Features and Their Interactions. In Lecture Notes in Computer Science.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, A., Weiß, D., Bengs, V., Hüllermeier, E., &; Tierney, K. (2020). Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach. In Learning and Intelligent Optimization. LION 2020. (Vol. 12096, pp. 216–232). Cham: Springer.https://doi.org/10.1007/978-3-030-53552-0_22 
LibreCat: /record/18014
DOI: 10.1007/978-3-030-53552-0_22

Piskachev, G., Petrasch, T., Späth, J., &; Bodden, E. (2020). AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In Lecture Notes in Computer Science.https://doi.org/10.1007/978-3-030-54997-8_34 
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

Weidmann, N., &; Anjorin, A. (2020). Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. In H. Wehrheim &; J. Cabot (Eds.), Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020. Cham: Springer.https://doi.org/10.1007/978-3-030-45234-6_16 
LibreCat: /record/17084
DOI: 10.1007/978-3-030-45234-6_16

Schwichtenberg, B., Schwichtenberg, S., Küster, J., Zimmermann, O., &; Engels, G. (2020). Modeling and Analyzing Architectural Diversity of Open Platforms. In Advanced Information Systems Engineering. Cham.https://doi.org/10.1007/978-3-030-49435-3_3 
LibreCat: /record/17085
DOI: 10.1007/978-3-030-49435-3_3

Dallmeier, F., Drees, J. P., Gellert, K., Handirk, T., Jager, T., Klauke, J., Nachtigall, S., Renzelmann, T., &; Wolf, R. (2020). Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC. Cryptology and Network Security, 211–231.https://doi.org/10.1007/978-3-030-65411-5_11 
LibreCat: /record/28997
DOI: 10.1007/978-3-030-65411-5_11

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

Hagengruber, R. (2020). Review Hagengruber Le Ru Émilie Du Châtelet Philosophe . In H-France Net (Vol. 158).
LibreCat: /record/21294

Mahmood, Y., &; Meier, A. (2020). Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. Lecture Notes in Computer Science.https://doi.org/10.1007/978-3-030-39951-1_10 
LibreCat: /record/45848
DOI: 10.1007/978-3-030-39951-1_10

Hahn, C. A. (2020). Informationskompetenz durch E-Learning? Durch Lernvideos nach Literatur suchen. die hochschullehre, 6.
LibreCat: /record/33299

Haney, J. M., Furman, S. M., &; Acar, Y. (2020). Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges. In HCI for Cybersecurity, Privacy and Trust. Springer International Publishing.https://doi.org/10.1007/978-3-030-50309-3_26 
LibreCat: /record/47261
DOI: 10.1007/978-3-030-50309-3_26

Schmitt, M. (2020). Rezension zu: Bernardo Bátiz-Lazo: Cash and Dash. How ATMs and Computers Changed Banking. In Vierteljahrschrift für Sozial- und Wirtschaftsgeschichte (Vol. 107, Issue 4, pp. 541–543).
LibreCat: /record/51816

Senft, B., Rittmeier, F., Fischer, H. G., &; Oberthür, S. (2019). A Value-Centered Approach for Unique and Novel Software Applications. In Design, User Experience, and Usability. Practice and Case Studies. Cham.https://doi.org/10.1007/978-3-030-23535-2_27 
LibreCat: /record/11952
DOI: 10.1007/978-3-030-23535-2_27

Kuhlemann, S., Sellmann, M., &; Tierney, K. (2019). Exploiting Counterfactuals for Scalable Stochastic Optimization. In Lecture Notes in Computer Science. Cham.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, M., &; Hüllermeier, E. (2019). Feature Selection for Analogy-Based Learning to Rank. In Discovery Science. Cham.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, M., &; Hüllermeier, E. (2019). Analogy-Based Preference Learning with Kernels. In KI 2019: Advances in Artificial Intelligence. Cham.https://doi.org/10.1007/978-3-030-30179-8_3 
LibreCat: /record/15005
DOI: 10.1007/978-3-030-30179-8_3

Nguyen, V.-L., Destercke, S., &; Hüllermeier, E. (2019). Epistemic Uncertainty Sampling. In Discovery Science. Cham.https://doi.org/10.1007/978-3-030-33778-0_7 
LibreCat: /record/15006
DOI: 10.1007/978-3-030-33778-0_7

Hartel, R., &; Dunst, A. (2019). How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics. In International Conference on Multimedia Modeling, MMM (pp. 662–671). Thessaloniki, Greece: Springer.https://doi.org/10.1007/978-3-030-05716-9_59 
LibreCat: /record/15080
DOI: 10.1007/978-3-030-05716-9_59

Beyer, D., &; Jakobs, M.-C. (2019). CoVeriTest: Cooperative Verifier-Based Testing. In Fundamental Approaches to Software Engineering. Cham.https://doi.org/10.1007/978-3-030-16722-6_23 
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

Mildorf, J. (2019). Narratives of Vicarious Experience in Oral History Interviews with Craft Artists. Journal of Pragmatics, 152, 103–112.
LibreCat: /record/18125

Mahmood, Y., Meier, A., &; Schmidt, J. (2019). Parameterised Complexity of Abduction in Schaefer’s Framework. Logical Foundations of Computer Science.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, J., Eidens, F., &; Juhnke, J. (2018). Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems. In Topics in Cryptology - CT-RSA 2018 - The Cryptographers’ Track at the RSA Conference 2018, Proceedings (pp. 470–490). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-76953-0_25 
LibreCat: /record/2862
DOI: 10.1007/978-3-319-76953-0_25

Markarian, C. (2018). An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest. International Workshop on Combinatorial Algorithms (IWOCA).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, A., Wiens, A., &; Platzner, M. (2018). Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes. In Proceedings of the International Conference on Architecture of Computing Systems (ARCS) (Vol. 10793, pp. 73–84). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-77610-1_6 
LibreCat: /record/3362
DOI: 10.1007/978-3-319-77610-1_6

Hansmeier, T., Platzner, M., &; Andrews, D. (2018). An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications (Vol. 10824, pp. 153–165). Santorini, Greece: Springer International Publishing.https://doi.org/10.1007/978-3-319-78890-6_13 
LibreCat: /record/3373
DOI: 10.1007/978-3-319-78890-6_13

Schellhorn, G., Wedel, M., Travkin, O., König, J., &; Wehrheim, H. (2018). FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In Software Engineering and Formal Methods (pp. 105–120). Cham: Springer International Publishing.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, M., &; Wehrheim, H. (2018). Information Flow Certificates. In Theoretical Aspects of Computing – ICTAC 2018 (pp. 435–454). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-030-02508-3_23 
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

Senft, B., Fischer, H. G., Oberthür, S., &; Patkar, N. (2018). Assist Users to Straightaway Suggest and Describe Experienced Problems. In Design, User Experience, and Usability: Theory and Practice (Vol. 10918, pp. 758–770). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-91797-9_52 
LibreCat: /record/6253
DOI: 10.1007/978-3-319-91797-9_52

Fischer, H. G., Senft, B., Rittmeier, F., &; Sauer, S. (2018). A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems. In A. Marcus &; W. Wang (Eds.), Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018) (Vol. 10918, pp. 711–724). Cham: Springer International Publishing.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, D., &; Hüllermeier, E. (2018). Preference-Based Reinforcement Learning Using Dyad Ranking. In Discovery Science (pp. 161–175). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-030-01771-2_11 
LibreCat: /record/6423
DOI: 10.1007/978-3-030-01771-2_11

Feldkord, B., Malatyali, M., &; Meyer auf der Heide, F. (2018). A Dynamic Distributed Data Structure for Top-k and k-Select Queries. In Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. Cham.https://doi.org/10.1007/978-3-319-98355-4_18 
LibreCat: /record/16392
DOI: 10.1007/978-3-319-98355-4_18

Khaluf, Y., Markarian, C., Simoens, P., &; Reina, A. (2017). Scheduling Access to Shared Space in Multi-robot Systems. International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 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, J., &; Liske, G. (2017). Subtleties in Security Definitions for Predicate Encryption with Public Index. In Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS) (Vol. 10693, pp. 438–453). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-72453-9_35 
LibreCat: /record/2967
DOI: 10.1007/978-3-319-72453-9_35

Blömer, J., Günther, P., Krummel, V., &; Löken, N. (2017). Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations. In Foundations and Practice of Security (pp. 3–17). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-75650-9_1 
LibreCat: /record/2344
DOI: 10.1007/978-3-319-75650-9_1

Brauer, S. (2017). Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems. In D. Fotakis, A. Pagourtzis, &; V. T. Paschos (Eds.), Lecture Notes in Computer Science (Vol. 10236, pp. 116–127). Cham: Springer International Publishing.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, M., &; Wehrheim, H. (2017). Policy Dependent and Independent Information Flow Analyses. In Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017) (pp. 362–378). Springer International Publishing.https://doi.org/10.1007/978-3-319-68690-5_22 
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22

Fischer, H. G., Engler, M., &; Sauer, S. (2017). A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0. In Design, User Experience, and Usability: Theory, Methodology, and Management (Vol. 10288, pp. 570–583). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-58634-2_42 
LibreCat: /record/6255
DOI: 10.1007/978-3-319-58634-2_42

Bemmann, P., Biermeier, F., Bürmann, J., Kemper, A., Knollmann, T., Knorr, S., Kothe, N., Mäcker, A., Malatyali, M., Meyer auf der Heide, F., Riechers, S., Schaefer, J. S., &; Sundermeier, J. (2017). Monitoring of Domain-Related Problems in Distributed Data Streams. In Structural Information and Communication Complexity.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, M., Malberg, S., Tierney, K., &; Weskamp, C. (2017). Simulating Storage Policies for an Automated Grid-Based Warehouse System. In Lecture Notes in Computer Science. Cham.https://doi.org/10.1007/978-3-319-68496-3_31 
LibreCat: /record/14857
DOI: 10.1007/978-3-319-68496-3_31

Gerking, C., Schubert, D., &; Budde, I. (2017). Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities. In Theory and Practice of Model Transformation.https://doi.org/10.1007/978-3-319-61473-1_2 
LibreCat: /record/23396
DOI: 10.1007/978-3-319-61473-1_2

Hamann, H., Valentini, G., &; Dorigo, M. (2016). Population Coding: A New Design Paradigm for Embodied Distributed Systems. In 10th Int. Conf. on Swarm Intelligence, ANTS 2016. Cham.https://doi.org/10.1007/978-3-319-44427-7_15 
LibreCat: /record/20000
DOI: 10.1007/978-3-319-44427-7_15

Valentini, G., Brambilla, D., Hamann, H., &; Dorigo, M. (2016). Collective Perception of Environmental Features in a Robot Swarm. In 10th Int. Conf. on Swarm Intelligence, ANTS 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, P., &; Krummel, V. (2016). Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures. In Mathematical Aspects of Computer and Information Sciences (pp. 151–165). Cham: Springer International Publishing.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, J., Lammersen, C., Schmidt, M., &; Sohler, C. (2016). Theoretical Analysis of the k-Means Algorithm – A Survey. In Algorithm Engineering (pp. 81–116). Cham: Springer International Publishing.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, J., &; Bujna, K. (2016). Adaptive Seeding for Gaussian Mixture Models. In Advances in Knowledge Discovery and Data Mining (pp. 296–308). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-31750-2_24 
LibreCat: /record/2970
DOI: 10.1007/978-3-319-31750-2_24

Schlegel-Matthies, K. (2016). Zwischen Wissenschaft und Lebenswelt. Entwicklung, Stand und Zukunftsperspektiven haushaltsbezogener Bildung. (Vol. 10).
LibreCat: /record/27390

Wolters, D., Kirchhoff, J., Gerth, C., &; Engels, G. (2016). Cross-Device Integration of Android Apps. In Q. Z. Sheng, E. Stroulia, S. Tata, &; S. Bhiri (Eds.), Service-Oriented Computing (pp. 171–185). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-46295-0_11 
LibreCat: /record/5825
DOI: 10.1007/978-3-319-46295-0_11

Fischer, H. G., &; Senft, B. (2016). Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows. In C. Bogdan (Ed.), Human-Centered and Error-Resilient Systems Development (Vol. 9856, pp. 30–41). Cham: Springer International Publishing.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, J., &; Bujna, K. (2016). Adaptive Seeding for Gaussian Mixture Models. In Advances in Knowledge Discovery and Data Mining (pp. 296–308). Springer International Publishing.https://doi.org/10.1007/978-3-319-31750-2_24 
LibreCat: /record/2978
DOI: 10.1007/978-3-319-31750-2_24

Blazy, O., Kakvi, S., Kiltz, E., &; Pan, J. (2015). Tightly-Secure Signatures from Chameleon Hash Functions. In Lecture Notes in Computer Science (pp. 256–279). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-662-46447-2_12 
LibreCat: /record/2921
DOI: 10.1007/978-3-662-46447-2_12

Altmeier, C., Mainka, C., Somorovsky, J., &; Schwenk, J. (2015). AdIDoS – Adaptive and Intelligent Fully-Automatic Detection of Denial-of-Service Weaknesses in Web Services. In Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015. Cham.https://doi.org/10.1007/978-3-319-29883-2_5 
LibreCat: /record/15897
DOI: 10.1007/978-3-319-29883-2_5

Jager, T., Schwenk, J., &; Somorovsky, J. (2015). Practical Invalid Curve Attacks on TLS-ECDH. In Computer Security -- ESORICS 2015. Cham.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, S., Hartel, R., Jacobs, T., &; Jeromin, M. (2015). ECST – Extended Context-Free Straight-Line Tree Grammars. In Data Science - 30th British International Conference on Databases, BICOD 2015 (pp. 186–198). Springer.https://doi.org/10.1007/978-3-319-20424-6_18 
LibreCat: /record/15088
DOI: 10.1007/978-3-319-20424-6_18

Geierhos, M., Bäumer, F. S., Schulze, S., &; Klotz, C. (2015). Understanding the Patient 2.0. In Modeling and Using Context.https://doi.org/10.1007/978-3-319-25591-0_12 
LibreCat: /record/25338
DOI: 10.1007/978-3-319-25591-0_12

Geierhos, M., Bäumer, F. S., Schulze, S., &; Klotz, C. (2015). Understanding the Patient 2.0. In Modeling and Using Context.https://doi.org/10.1007/978-3-319-25591-0_12 
LibreCat: /record/25337
DOI: 10.1007/978-3-319-25591-0_12

Hamann, H., &; Valentini, G. (2014). Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins. In Ninth Int. Conf. on Swarm Intelligence (ANTS 2014). Cham.https://doi.org/10.1007/978-3-319-09952-1_15 
LibreCat: /record/20008
DOI: 10.1007/978-3-319-09952-1_15

Koch, T., Holtmann, J., &; DeAntoni, J. (2014). Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In Software Architecture. Cham.https://doi.org/10.1007/978-3-319-09970-5_14 
LibreCat: /record/20982
DOI: 10.1007/978-3-319-09970-5_14

Bokermann, D., Gerth, C., &; Engels, G. (2014). Use Your Best Device! Enabling Device Changes at Runtime. In 12th International Conference on Business Process Management (BPM 2014) (Vol. 8659, pp. 357–365). Springer International Publishing.https://doi.org/10.1007/978-3-319-10172-9_23 
LibreCat: /record/6741
DOI: 10.1007/978-3-319-10172-9_23

Flocchini, P., Gao, J., Kranakis, E., &; Meyer auf der Heide, F. (Eds.). (2014). Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013 (Vol. 8243). Berlin, Heidelberg: Springer.https://doi.org/10.1007/978-3-642-45346-5 
LibreCat: /record/16870
DOI: 10.1007/978-3-642-45346-5

Böttcher, S., Hartel, R., &; Rabe, J. (2014). Efficient XML Keyword Search Based on DAG-Compression. In Database and Expert Systems Applications - 25th International Conference, DEXA 2014 (pp. 122–137). Cham: Springer.https://doi.org/10.1007/978-3-319-10073-9_11 
LibreCat: /record/15092
DOI: 10.1007/978-3-319-10073-9_11

Lukovszki, T., &; Meyer auf der Heide, F. (2014). Fast Collisionless Pattern Formation by Anonymous, Position-Aware Robots. In Lecture Notes in Computer Science. Cham.https://doi.org/10.1007/978-3-319-14472-6_17 
LibreCat: /record/16394
DOI: 10.1007/978-3-319-14472-6_17

Abshoff, S., &; Meyer auf der Heide, F. (2014). Continuous Aggregation in Dynamic Ad-Hoc Networks. In Structural Information and Communication Complexity. Cham.https://doi.org/10.1007/978-3-319-09620-9_16 
LibreCat: /record/16395
DOI: 10.1007/978-3-319-09620-9_16

Fourné, M., Stegemann, K., Petersen, D., &; Pohlmann, N. (2014). Aggregation of Network Protocol Data Near Its Source. In Information and Communication Technology. Springer Berlin Heidelberg.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, J., Günther, P., &; Liske, G. (2013). Improved Side Channel Attacks on Pairing Based Cryptography. In Constructive Side-Channel Analysis and Secure Design (pp. 154–168). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-40026-1_10 
LibreCat: /record/2979
DOI: 10.1007/978-3-642-40026-1_10

Klompmaker, F., Paelke, V., &; Fischer, H. G. (2013). A Taxonomy-Based Approach towards NUI Interaction Design. In Distributed, Ambient, and Pervasive Interactions (Vol. 8028, pp. 32–41). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-39351-8_4 
LibreCat: /record/6276
DOI: 10.1007/978-3-642-39351-8_4

Fischer, H. G., Strenge, B., &; Nebe, K. (2013). Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design. In Design, User Experience, and Usability. Design Philosophy, Methods, and Tools (Vol. 8012, pp. 252–261). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-39229-0_28 
LibreCat: /record/6279
DOI: 10.1007/978-3-642-39229-0_28

Place, T., van Rooijen, L., &; Zeitoun, M. (2013). Separating Regular Languages by Piecewise Testable and Unambiguous Languages. In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013 (pp. 729–740). Berlin, Heidelberg: Springer Berlin Heidelberg.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, S., Hartel, R., &; Jacobs, T. (2013). Fast Multi-update Operations on Compressed XML Data. In Big Data - 29th British National Conference on Databases, BNCOD 2013, (pp. 149–164). Berlin, Heidelberg: Springer.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, C., Eikel, B., Fischer, M., Petring, R., &; Meyer auf der Heide, F. (2013). Evaluation of Rendering Algorithms Using Position-Dependent Scene Properties. In Advances in Visual Computing. Berlin, Heidelberg.https://doi.org/10.1007/978-3-642-41914-0_12 
LibreCat: /record/16406
DOI: 10.1007/978-3-642-41914-0_12

Petring, R., Eikel, B., Jähn, C., Fischer, M., &; Meyer auf der Heide, F. (2013). Real-Time 3D Rendering of Heterogeneous Scenes. In Advances in Visual Computing. Berlin, Heidelberg.https://doi.org/10.1007/978-3-642-41914-0_44 
LibreCat: /record/16407
DOI: 10.1007/978-3-642-41914-0_44

Hamann, H., Engelbrecht, A., Birattari, M., Dorigo, M., Blum, C., Stuetzle, T.,https://doi.org/10.1007/978-3-642-32650-9_15__Gross, R. (2012). Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions. In Swarm Intelligence: 8th International Conference, ANTS 2012 (Vol. 7461, pp. 168–179). Berlin, Heidelberg: Springer.https://doi.org/10.1007/978-3-642-32650-9_15 
LibreCat: /record/20179
DOI: 10.1007/978-3-642-32650-9_15

Kakvi, S., Kiltz, E., &; May, A. (2012). Certifying RSA. In Advances in Cryptology – ASIACRYPT 2012 (pp. 404–414). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-34961-4_25 
LibreCat: /record/2918
DOI: 10.1007/978-3-642-34961-4_25

Kakvi, S., &; Kiltz, E. (2012). Optimal Security Proofs for Full Domain Hash, Revisited. In Advances in Cryptology – EUROCRYPT 2012 (pp. 537–553). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-29011-4_32 
LibreCat: /record/2919
DOI: 10.1007/978-3-642-29011-4_32

Kempkes, B., &; Meyer auf der Heide, F. (2012). Continuous Local Strategies for Robotic Formation Problems. In Experimental Algorithms. Berlin, Heidelberg.https://doi.org/10.1007/978-3-642-30850-5_2 
LibreCat: /record/16445
DOI: 10.1007/978-3-642-30850-5_2

Kempkes, B., &; Meyer auf der Heide, F. (2012). Local, Self-organizing Strategies for Robotic Formation Problems. In Algorithms for Sensor Systems. Berlin, Heidelberg.https://doi.org/10.1007/978-3-642-28209-6_2 
LibreCat: /record/16448
DOI: 10.1007/978-3-642-28209-6_2

Baier, R., &; Molo, M. H. (2012). Newton’s Method and Secant Method for Set-Valued Mappings. In Large-Scale Scientific Computing. Berlin, Heidelberg.https://doi.org/10.1007/978-3-642-29843-1_9 
LibreCat: /record/16516
DOI: 10.1007/978-3-642-29843-1_9

Jager, T., Schinzel, S., &; Somorovsky, J. (2012). Bleichenbacher’s Attack Strikes again: Breaking PKCS .5 in XML Encryption. In Computer Security – ESORICS 2012. Berlin, Heidelberg.https://doi.org/10.1007/978-3-642-33167-1_43 
LibreCat: /record/15891
DOI: 10.1007/978-3-642-33167-1_43

Suess, T., Koch, C., Jähn, C., Fischer, M., &; Meyer auf der Heide, F. (2012). Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes. Advances in Visual Computing, 7431, 502–512.https://doi.org/10.1007/978-3-642-33179-4_48 
LibreCat: /record/16408
DOI: 10.1007/978-3-642-33179-4_48

Hamann, H., Schmickl, T., &; Crailsheim, K. (2011). Evolving for Creativity: Maximizing Complexity in a Self-organized Multi-particle System. In 10th European Conference on Artificial Life (ECAL’09) (Vol. 5777, pp. 442--449).https://doi.org/10.1007/978-3-642-21283-3_55 
LibreCat: /record/20183
DOI: 10.1007/978-3-642-21283-3_55

Lettmann, T., Baumann, M., Eberling, M., &; Kemmerich, T. (2011). Modeling Agents and Agent Systems. Transactions on Computational Collective Intelligence V, 157–181.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, A., Degener, B., Fischer, M., Hüllmann, M., Kempkes, B., Klaas, A.,https://doi.org/10.1007/978-3-642-18381-2_15__Wonisch, D. (2011). Collisionless Gathering of Robots with an Extent. In SOFSEM 2011: Theory and Practice of Computer Science. Berlin, Heidelberg.https://doi.org/10.1007/978-3-642-18381-2_15 
LibreCat: /record/20709
DOI: 10.1007/978-3-642-18381-2_15