Dieter P. A Regret Policy for the Dynamic Vehicle Routing Problem with Time Windows. In: Lecture Notes in Computer Science. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43612-3_14
LibreCat: /record/46867
DOI: 10.1007/978-3-031-43612-3_14

Kornowicz J, Thommes K. Aggregating Human Domain Knowledge for Feature Ranking. Artificial Intelligence in HCI. Published online 2023. doi:10.1007/978-3-031-35891-3_7
LibreCat: /record/47953
DOI: 10.1007/978-3-031-35891-3_7

Lindner J, Brassat K, eds. Self-Assembled Block Copolymer Thin Films and Their Applications.; 2023.
LibreCat: /record/49367

Qudus U, Röder M, Kirrane S, Ngomo A-CN. TemporalFC: A Temporal Fact Checking Approach over Knowledge Graphs. In: R. Payne T, Presutti V, Qi G, et al., eds. The Semantic Web – ISWC 2023. Vol 14265.10.1007/978-3-031-47240-4_25__Lecture Notes in Computer Science. Springer, Cham; 2023:465–483. doi:10.1007/978-3-031-47240-4_25
LibreCat: /record/50479
DOI: 10.1007/978-3-031-47240-4_25

Alt C, Kenter T, Faghih-Naini S, et al. Shallow Water DG Simulations on FPGAs: Design and Comparison of a Novel Code Generation Pipeline. In: Lecture Notes in Computer Science. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-32041-5_5
LibreCat: /record/46191
DOI: 10.1007/978-3-031-32041-5_5

Hanselle JM, Fürnkranz J, Hüllermeier E. Probabilistic Scoring Lists for Interpretable Machine Learning. In: 26th International Conference on Discovery Science . Vol 14050. Lecture Notes in Computer Science. Springer Nature Switzerland; 2023:189-203. doi:10.1007/978-3-031-45275-8_13
LibreCat: /record/51373
DOI: 10.1007/978-3-031-45275-8_13

Esposito E. Does Explainability Require Transparency? Sociologica. 2023;16(3):17-27. doi:10.6092/ISSN.1971-8853/15804
LibreCat: /record/51368
DOI: 10.6092/ISSN.1971-8853/15804

Esposito E. Explaining Machines: Social Management of Incomprehensible Algorithms. Introduction. Sociologica. 2023;16(3):1-4. doi:10.6092/ISSN.1971-8853/16265
LibreCat: /record/51369
DOI: 10.6092/ISSN.1971-8853/16265

Muschalik M, Fumagalli F, Hammer B, Huellermeier E. iSAGE: An Incremental Version of SAGE for Online Explanation on Data Streams. In: Machine Learning and Knowledge Discovery in Databases: Research Track. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43418-1_26
LibreCat: /record/48776
DOI: 10.1007/978-3-031-43418-1_26

Kouagou NJ, Heindorf S, Demir C, Ngonga Ngomo A-C. Neural Class Expression Synthesis in ALCHIQ(D). In: Machine Learning and Knowledge Discovery in Databases: Research Track. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43421-1_12
LibreCat: /record/47421
DOI: 10.1007/978-3-031-43421-1_12

de Camargo e Souza Câmara I, Turhan A-Y. Deciding Subsumption in Defeasible $ELI$ with Typicality Models. In: Logics in Artificial Intelligence. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43619-2_36
LibreCat: /record/52859
DOI: 10.1007/978-3-031-43619-2_36

Hansmeier T, Platzner M. Integrating Safety Guarantees into the Learning Classifier System XCS. In: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings. Vol 13224. Lecture Notes in Computer Science. Springer International Publishing; 2022:386-401. doi:10.1007/978-3-031-02462-7_25
LibreCat: /record/30971
DOI: 10.1007/978-3-031-02462-7_25

Bondarenko A, Fröbe M, Kiesel J, et al. Overview of Touché 2022: Argument Retrieval. In: Lecture Notes in Computer Science. Springer International Publishing; 2022. doi:10.1007/978-3-030-99739-7_43
LibreCat: /record/34077
DOI: 10.1007/978-3-030-99739-7_43

Zhang W, Chang X, Boeddeker C, Nakatani T, Watanabe S, Qian Y. End-to-End Dereverberation, Beamforming, and Speech Recognition in A Cocktail Party. IEEE/ACM Transactions on Audio, Speech, and Language Processing. Published online 2022. doi:10.1109/TASLP.2022.3209942
LibreCat: /record/33669
DOI: 10.1109/TASLP.2022.3209942

Wolters D, Engels G. Towards Situational Process Management for Professional Education Programmes. In: Taibi D, Kuhrmann M, Mikkonen T, Klünder J, Abrahamsson P, eds. Product-Focused Software Process Improvement. Vol 13709. Lecture Notes in Computer Science. Springer International Publishing; 2022:235-242. doi:10.1007/978-3-031-21388-5_16
LibreCat: /record/34292
DOI: 10.1007/978-3-031-21388-5_16

Maack M, Meyer auf der Heide F, Pukrop S. Server Cloud Scheduling. In: Approximation and Online Algorithms. Springer International Publishing; 2022. doi:10.1007/978-3-030-92702-8_10
LibreCat: /record/29872
DOI: 10.1007/978-3-030-92702-8_10

Wohlleben MC, Bender A, Peitz S, Sextro W. Development of a Hybrid Modeling Methodology for Oscillating Systems with Friction. In: Machine Learning, Optimization, and Data Science. Springer International Publishing; 2022. doi:10.1007/978-3-030-95470-3_8
LibreCat: /record/29727
DOI: 10.1007/978-3-030-95470-3_8

Zahera HMA, Heindorf S, Balke S, et al. Tab2Onto: Unsupervised Semantification with Knowledge Graph Embeddings. In: The Semantic Web: ESWC 2022 Satellite Events. Springer International Publishing; 2022. doi:10.1007/978-3-031-11609-4_9
LibreCat: /record/33738
DOI: 10.1007/978-3-031-11609-4_9

Zahera HMA, Vollmers D, Sherif MA, Ngomo A-CN. MultPAX: Keyphrase Extraction Using Language Models and Knowledge Graphs. In: The Semantic Web – ISWC 2022. Springer International Publishing; 2022. doi:10.1007/978-3-031-19433-7_18
LibreCat: /record/38506
DOI: 10.1007/978-3-031-19433-7_18

Abdelrahem M. Auswirkung der Theologie auf das rechtsphilosophische Denken der Mu+ftazila: Lektüre bei al-Q0db +fAbd al-6abbr. Zeitschrift für Recht und Islam / Journal of Law &; Islam. 2022;(13/14):57-80.
LibreCat: /record/49172

KOUAGOU NJ, Heindorf S, Demir C, Ngonga Ngomo A-C. Learning Concept Lengths Accelerates Concept Learning in ALC. In: The Semantic Web. Springer International Publishing; 2022. doi: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, et al. Drift Detection in Text Data with Document Embeddings. In: Intelligent Data Engineering and Automated Learning – IDEAL 2021. ; 2021. doi:10.1007/978-3-030-91608-4_11
LibreCat: /record/29046
DOI: 10.1007/978-3-030-91608-4_11

Hartel R, Dunst A. 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; 2021. doi: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. Efficient Adaptively-Secure IB-KEMs and VRFs via Near-Collision Resistance. In: Public-Key Cryptography – PKC 2021. Cham; 2021. doi:10.1007/978-3-030-75245-3_22
LibreCat: /record/22057
DOI: 10.1007/978-3-030-75245-3_22

Niehues D. Verifiable Random Functions with Optimal Tightness. In: Public-Key Cryptography – PKC 2021. Cham; 2021. doi: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. Ranking Structured Objects with Graph Neural Networks. In: Soares C, Torgo L, eds. Proceedings of The 24th International Conference on Discovery Science (DS 2021). Vol 12986. Lecture Notes in Computer Science. Springer; 2021:166-180. doi: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. Beep-And-Sleep: Message and Energy Efficient Set Cover. In: Algorithms for Sensor Systems (ALGOSENSORS ’21). ; 2021. doi: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. Issuer-Hiding Attribute-Based Credentials. In: Cryptology and Network Security. Springer International Publishing; 2021. doi:10.1007/978-3-030-92548-2_9
LibreCat: /record/29566
DOI: 10.1007/978-3-030-92548-2_9

Nagbøl PR, Müller O, Krancher O. Designing a Risk Assessment Tool for Artificial Intelligence Systems. In: The Next Wave of Sociotechnical Design. Springer International Publishing; 2021. doi: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, et al. Drift Detection in Text Data with Document Embeddings. In: Intelligent Data Engineering and Automated Learning – IDEAL 2021. Springer International Publishing; 2021. doi: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. A Parameterized View on the Complexity of Dependence Logic. In: Logical Foundations of Computer Science. Springer International Publishing; 2021. doi: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, et al. HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids. In: Euro-Par 2020: Parallel Processing Workshops. ; 2021. doi: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. Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing. In: Applied Reconfigurable Computing. Architectures, Tools, and Applications. Springer International Publishing; 2021. doi: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. A Parameterized View on the Complexity of Dependence Logic. In: Logical Foundations of Computer Science. Springer International Publishing; 2021. doi: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. Learning Choice Functions via Pareto-Embeddings. In: Lecture Notes in Computer Science. Cham; 2020. doi:10.1007/978-3-030-58285-2_30
LibreCat: /record/19521
DOI: 10.1007/978-3-030-58285-2_30

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

Jager T, Niehues D. On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions. In: Lecture Notes in Computer Science. Cham; 2020. doi: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. Modeling and Analyzing Architectural Diversity of Open Platforms. In: Advanced Information Systems Engineering. Cham; 2020. doi: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. The new V-Model of 2206 and its validation. at-Automatisierungstechnik 68(5). 2020;(68(5)):312-324.
LibreCat: /record/23517

Knüppel A, Krüger S, Thüm T, et al. Using Abstract Contracts for Verifying Evolving Features and Their Interactions. In: Lecture Notes in Computer Science. ; 2020. doi: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. Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach. In: Learning and Intelligent Optimization. LION 2020. Vol 12096. Lecture Notes in Computer Science. Cham: Springer; 2020:216-232. doi: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. AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In: Lecture Notes in Computer Science. ; 2020. doi:10.1007/978-3-030-54997-8_34
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

Weidmann N, Anjorin A. Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. In: Wehrheim H, Cabot J, eds. Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020. Cham: Springer; 2020. doi: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. Modeling and Analyzing Architectural Diversity of Open Platforms. In: Advanced Information Systems Engineering. Cham; 2020. doi:10.1007/978-3-030-49435-3_3
LibreCat: /record/17085
DOI: 10.1007/978-3-030-49435-3_3

Dallmeier F, Drees JP, Gellert K, et al. Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC. In: Cryptology and Network Security. Springer-Verlag; 2020:211-231. doi:10.1007/978-3-030-65411-5_11
LibreCat: /record/28997
DOI: 10.1007/978-3-030-65411-5_11

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

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

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

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

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

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

Senft B, Rittmeier F, Fischer HG, Oberthür S. A Value-Centered Approach for Unique and Novel Software Applications. In: Design, User Experience, and Usability. Practice and Case Studies. Cham; 2019. doi: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. Exploiting Counterfactuals for Scalable Stochastic Optimization. In: Lecture Notes in Computer Science. Cham; 2019. doi: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. Feature Selection for Analogy-Based Learning to Rank. In: Discovery Science. Cham; 2019. doi: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. Analogy-Based Preference Learning with Kernels. In: KI 2019: Advances in Artificial Intelligence. Cham; 2019. doi: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. Epistemic Uncertainty Sampling. In: Discovery Science. Cham; 2019. doi:10.1007/978-3-030-33778-0_7
LibreCat: /record/15006
DOI: 10.1007/978-3-030-33778-0_7

Hartel R, Dunst A. How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics. In: International Conference on Multimedia Modeling, MMM. Springer; 2019:662-671. doi: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. CoVeriTest: Cooperative Verifier-Based Testing. In: Fundamental Approaches to Software Engineering. Cham; 2019. doi:10.1007/978-3-030-16722-6_23
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

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

Mahmood Y, Meier A, Schmidt J. Parameterised Complexity of Abduction in Schaefer’s Framework. In: Logical Foundations of Computer Science. Springer International Publishing; 2019. doi: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. 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. Cham: Springer International Publishing; 2018:470-490. doi:10.1007/978-3-319-76953-0_25
LibreCat: /record/2862
DOI: 10.1007/978-3-319-76953-0_25

Markarian C. An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest. In: International Workshop on Combinatorial Algorithms (IWOCA). ; 2018. doi: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. Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes. In: Proceedings of the International Conference on Architecture of Computing Systems (ARCS). Vol 10793. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2018:73-84. doi: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. An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications. Vol 10824. Lecture Notes in Computer Science. Springer International Publishing; 2018:153-165. doi: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. FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In: Software Engineering and Formal Methods. Cham: Springer International Publishing; 2018:105-120. doi: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. Information Flow Certificates. In: Theoretical Aspects of Computing – ICTAC 2018. Cham: Springer International Publishing; 2018:435-454. doi:10.1007/978-3-030-02508-3_23
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

Senft B, Fischer HG, Oberthür S, Patkar N. Assist Users to Straightaway Suggest and Describe Experienced Problems. In: Design, User Experience, and Usability: Theory and Practice. Vol 10918. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2018:758-770. doi:10.1007/978-3-319-91797-9_52
LibreCat: /record/6253
DOI: 10.1007/978-3-319-91797-9_52

Fischer HG, Senft B, Rittmeier F, Sauer S. A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems. In: Marcus A, Wang W, eds. Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018). Vol 10918. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2018:711-724. doi: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. Preference-Based Reinforcement Learning Using Dyad Ranking. In: Discovery Science. Cham: Springer International Publishing; 2018:161-175. doi: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. A Dynamic Distributed Data Structure for Top-k and k-Select Queries. In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. Cham; 2018. doi: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. Scheduling Access to Shared Space in Multi-robot Systems. In: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017). ; 2017. doi: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. 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. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2017:438-453. doi: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. Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations. In: Foundations and Practice of Security. Cham: Springer International Publishing; 2017:3-17. doi:10.1007/978-3-319-75650-9_1
LibreCat: /record/2344
DOI: 10.1007/978-3-319-75650-9_1

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

Fischer HG, Engler M, Sauer S. 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. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2017:570-583. doi: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, et al. Monitoring of Domain-Related Problems in Distributed Data Streams. In: Structural Information and Communication Complexity. ; 2017. doi: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. Simulating Storage Policies for an Automated Grid-Based Warehouse System. In: Lecture Notes in Computer Science. Cham; 2017. doi: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. Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities. In: Theory and Practice of Model Transformation. ; 2017. doi: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. Population Coding: A New Design Paradigm for Embodied Distributed Systems. In: 10th Int. Conf. on Swarm Intelligence, ANTS 2016. Cham; 2016. doi: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. Collective Perception of Environmental Features in a Robot Swarm. In: 10th Int. Conf. on Swarm Intelligence, ANTS 2016. ; 2016. doi: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. Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures. In: Mathematical Aspects of Computer and Information Sciences. Cham: Springer International Publishing; 2016:151-165. doi: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. Theoretical Analysis of the k-Means Algorithm – A Survey. In: Algorithm Engineering. Cham: Springer International Publishing; 2016:81-116. doi: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. Adaptive Seeding for Gaussian Mixture Models. In: Advances in Knowledge Discovery and Data Mining. Cham: Springer International Publishing; 2016:296-308. doi:10.1007/978-3-319-31750-2_24
LibreCat: /record/2970
DOI: 10.1007/978-3-319-31750-2_24

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

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

Fischer HG, Senft B. Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows. In: Bogdan C, ed. Human-Centered and Error-Resilient Systems Development. Vol 9856. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2016:30-41. doi: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. Adaptive Seeding for Gaussian Mixture Models. In: Advances in Knowledge Discovery and Data Mining. Springer International Publishing; 2016:296-308. doi: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. Tightly-Secure Signatures from Chameleon Hash Functions. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2015:256-279. doi: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. 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. Lecture Notes in Computer Science 9481. Cham; 2015. doi: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. Practical Invalid Curve Attacks on TLS-ECDH. In: Computer Security -- ESORICS 2015. Cham; 2015. doi: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. ECST – Extended Context-Free Straight-Line Tree Grammars. In: Data Science - 30th British International Conference on Databases, BICOD 2015. Springer; 2015:186-198. doi:10.1007/978-3-319-20424-6_18
LibreCat: /record/15088
DOI: 10.1007/978-3-319-20424-6_18

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

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

Hamann H, Valentini G. Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins. In: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014). Cham; 2014. doi: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. Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In: Software Architecture. Cham; 2014. doi: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. Use Your Best Device! Enabling Device Changes at Runtime. In: 12th International Conference on Business Process Management (BPM 2014). Vol 8659. Lecture Notes in Computer Science. Springer International Publishing; 2014:357-365. doi: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. 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; 2014. doi: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. Efficient XML Keyword Search Based on DAG-Compression. In: Database and Expert Systems Applications - 25th International Conference, DEXA 2014. Cham: Springer; 2014:122-137. doi: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. Fast Collisionless Pattern Formation by Anonymous, Position-Aware Robots. In: Lecture Notes in Computer Science. Cham; 2014. doi:10.1007/978-3-319-14472-6_17
LibreCat: /record/16394
DOI: 10.1007/978-3-319-14472-6_17