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

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

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

TemporalFC: A Temporal Fact Checking Approach over Knowledge Graphs
U. Qudus, M. Röder, S. Kirrane, A.-C.N. Ngomo, in: T. R. Payne, V. Presutti, G. Qi, M. Poveda-Villalón, G. Stoilos, L. Hollink, Z. Kaoudi, G. Cheng, J. Li (Eds.), The Semantic Web – ISWC 2023, Springer, Cham, Cham, 2023, pp. 465–483.
LibreCat: /record/50479
DOI: 10.1007/978-3-031-47240-4_25

Shallow Water DG Simulations on FPGAs: Design and Comparison of a Novel Code Generation Pipeline
C. Alt, T. Kenter, S. Faghih-Naini, J. Faj, J.-O. Opdenhövel, C. Plessl, V. Aizinger, J. Hönig, H. Köstler, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2023.
LibreCat: /record/46191
DOI: 10.1007/978-3-031-32041-5_5

Probabilistic Scoring Lists for Interpretable Machine Learning
J.M. Hanselle, J. Fürnkranz, E. Hüllermeier, in: 26th International Conference on Discovery Science , Springer Nature Switzerland, Cham, 2023, pp. 189–203.
LibreCat: /record/51373
DOI: 10.1007/978-3-031-45275-8_13

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

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

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

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

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

Integrating Safety Guarantees into the Learning Classifier System XCS
T. Hansmeier, M. Platzner, in: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, Springer International Publishing, 2022, pp. 386–401.
LibreCat: /record/30971
DOI: 10.1007/978-3-031-02462-7_25

Overview of Touché 2022: Argument Retrieval
A. Bondarenko, M. Fröbe, J. Kiesel, S. Syed, T. Gurcke, M. Beloucif, A. Panchenko, C. Biemann, B. Stein, H. Wachsmuth, M. Potthast, M. Hagen, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2022.
LibreCat: /record/34077
DOI: 10.1007/978-3-030-99739-7_43

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

Towards Situational Process Management for Professional Education Programmes
D. Wolters, G. Engels, in: D. Taibi, M. Kuhrmann, T. Mikkonen, J. Klünder, P. Abrahamsson (Eds.), Product-Focused Software Process Improvement, Springer International Publishing, Cham, 2022, pp. 235–242.
LibreCat: /record/34292
DOI: 10.1007/978-3-031-21388-5_16

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

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

TaOnto: Unsupervised Semantification with Knowledge Graph Embeddings
H.M.A. Zahera, S. Heindorf, S. Balke, J. Haupt, M. Voigt, C. Walter, F. Witter, A.-C. Ngonga Ngomo, in: The Semantic Web: ESWC 2022 Satellite Events, Springer International Publishing, Cham, 2022.
LibreCat: /record/33738
DOI: 10.1007/978-3-031-11609-4_9

MultPAX: Keyphrase Extraction Using Language Models and Knowledge Graphs
H.M.A. Zahera, D. Vollmers, M.A. Sherif, A.-C.N. Ngomo, in: The Semantic Web – ISWC 2022, Springer International Publishing, Cham, 2022.
LibreCat: /record/38506
DOI: 10.1007/978-3-031-19433-7_18

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

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

Drift Detection in Text Data with Document Embeddings
R. Feldhans, A. Wilke, S. Heindorf, M.H. Shaker, B. Hammer, A.-C. Ngonga Ngomo, E. Hüllermeier, in: Intelligent Data Engineering and Automated Learning – IDEAL 2021, Cham, 2021.
LibreCat: /record/29046
DOI: 10.1007/978-3-030-91608-4_11

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

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

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

Ranking Structured Objects with Graph Neural Networks
C. Damke, E. Hüllermeier, in: C. Soares, L. Torgo (Eds.), Proceedings of The 24th International Conference on Discovery Science (DS 2021), Springer, 2021, pp. 166–180.
LibreCat: /record/27381
DOI: 10.1007/978-3-030-88942-5
arXiv: 2104.08869

Beep-And-Sleep: Message and Energy Efficient Set Cover
T. Götte, C. Kolb, C. Scheideler, J. Werthmann, in: Algorithms for Sensor Systems (ALGOSENSORS ’21), Cham, 2021.
LibreCat: /record/26888
DOI: 10.1007/978-3-030-89240-1_7

Issuer-Hiding Attribute-Based Credentials
J. Bobolz, F. Eidens, S. Krenn, S. Ramacher, K. Samelin, in: Cryptology and Network Security, Springer International Publishing, Cham, 2021.
LibreCat: /record/29566
DOI: 10.1007/978-3-030-92548-2_9

Designing a Risk Assessment Tool for Artificial Intelligence Systems
P.R. Nagbøl, O. Müller, O. Krancher, in: The Next Wave of Sociotechnical Design, Springer International Publishing, Cham, 2021.
LibreCat: /record/32868
DOI: 10.1007/978-3-030-82405-1_32

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

A Parameterized View on the Complexity of Dependence Logic
J. Kontinen, A. Meier, Y. Mahmood, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2021.
LibreCat: /record/45846
DOI: 10.1007/978-3-030-93100-1_9

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

Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing
A. Ramaswami, T. Kenter, T. Kühne, C. Plessl, in: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, Cham, 2021.
LibreCat: /record/29936
DOI: 10.1007/978-3-030-79025-7_21

A Parameterized View on the Complexity of Dependence Logic
J. Kontinen, A. Meier, Y. Mahmood, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2021.
LibreCat: /record/45823
DOI: 10.1007/978-3-030-93100-1_9

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

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

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

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

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

Using Abstract Contracts for Verifying Evolving Features and Their Interactions
A. Knüppel, S. Krüger, T. Thüm, R. Bubel, S. Krieter, E. Bodden, I. Schaefer, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/20891
DOI: 10.1007/978-3-030-64354-6_5

Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach
A. El Mesaoudi-Paul, D. Weiß, V. Bengs, E. Hüllermeier, K. Tierney, in: Learning and Intelligent Optimization. LION 2020., Springer, Cham, 2020, pp. 216–232.
LibreCat: /record/18014
DOI: 10.1007/978-3-030-53552-0_22

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

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

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

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

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

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

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

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

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

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

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

Exploiting Counterfactuals for Scalable Stochastic Optimization
S. Kuhlemann, M. Sellmann, K. Tierney, in: Lecture Notes in Computer Science, Cham, 2019.
LibreCat: /record/14890
DOI: 10.1007/978-3-030-30048-7_40

Feature Selection for Analogy-Based Learning to Rank
M. Ahmadi Fahandar, E. Hüllermeier, in: Discovery Science, Cham, 2019.
LibreCat: /record/15004
DOI: 10.1007/978-3-030-33778-0_22

Analogy-Based Preference Learning with Kernels
M. Ahmadi Fahandar, E. Hüllermeier, in: KI 2019: Advances in Artificial Intelligence, Cham, 2019.
LibreCat: /record/15005
DOI: 10.1007/978-3-030-30179-8_3

Epistemic Uncertainty Sampling
V.-L. Nguyen, S. Destercke, E. Hüllermeier, in: Discovery Science, Cham, 2019.
LibreCat: /record/15006
DOI: 10.1007/978-3-030-33778-0_7

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

CoVeriTest: Cooperative Verifier-Based Testing
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

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

Parameterised Complexity of Abduction in Schaefer’s Framework
Y. Mahmood, A. Meier, J. Schmidt, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2019.
LibreCat: /record/45818
DOI: 10.1007/978-3-030-36755-8_13

Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems
J. Blömer, F. Eidens, J. Juhnke, in: Topics in Cryptology - CT-RSA 2018 - The Cryptographers’ Track at the RSA Conference 2018, Proceedings, Springer International Publishing, Cham, 2018, pp. 470–490.
LibreCat: /record/2862
DOI: 10.1007/978-3-319-76953-0_25

An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest
C. Markarian, in: International Workshop on Combinatorial Algorithms (IWOCA), Cham, 2018.
LibreCat: /record/24396
DOI: 10.1007/978-3-319-94667-2_18

Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes
A. Lösch, A. Wiens, M. Platzner, in: Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, Cham, 2018, pp. 73–84.
LibreCat: /record/3362
DOI: 10.1007/978-3-319-77610-1_6

An FPGA/HMC-Based Accelerator for Resolution Proof Checking
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
LibreCat: /record/3373
DOI: 10.1007/978-3-319-78890-6_13

FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7

Information Flow Certificates
M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

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

A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems
H.G. Fischer, B. Senft, F. Rittmeier, S. Sauer, 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), Springer International Publishing, Cham, 2018, pp. 711–724.
LibreCat: /record/6254
DOI: 10.1007/978-3-319-91797-9_49

Preference-Based Reinforcement Learning Using Dyad Ranking
D. Schäfer, E. Hüllermeier, in: Discovery Science, Springer International Publishing, Cham, 2018, pp. 161–175.
LibreCat: /record/6423
DOI: 10.1007/978-3-030-01771-2_11

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

Scheduling Access to Shared Space in Multi-robot Systems
Y. Khaluf, C. Markarian, P. Simoens, A. Reina, in: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), Cham, 2017.
LibreCat: /record/24398
DOI: 10.1007/978-3-319-59930-4_12

Subtleties in Security Definitions for Predicate Encryption with Public Index
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
LibreCat: /record/2967
DOI: 10.1007/978-3-319-72453-9_35

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

Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems
S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.
LibreCat: /record/2381
DOI: 10.1007/978-3-319-57586-5_11

Policy Dependent and Independent Information Flow Analyses
M. Töws, H. Wehrheim, in: Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–378.
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22

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

Monitoring of Domain-Related Problems in Distributed Data Streams
P. Bemmann, F. Biermeier, J. Bürmann, A. Kemper, T. Knollmann, S. Knorr, N. Kothe, A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, J.S. Schaefer, J. Sundermeier, in: Structural Information and Communication Complexity, Cham, 2017.
LibreCat: /record/16461
DOI: 10.1007/978-3-319-72050-0_13
arXiv: arXiv:1706.03568 

Simulating Storage Policies for an Automated Grid-Based Warehouse System
M. Beckschäfer, S. Malberg, K. Tierney, C. Weskamp, in: Lecture Notes in Computer Science, Cham, 2017.
LibreCat: /record/14857
DOI: 10.1007/978-3-319-68496-3_31

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

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

Collective Perception of Environmental Features in a Robot Swarm
G. Valentini, D. Brambilla, H. Hamann, M. Dorigo, in: 10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016.
LibreCat: /record/20004
DOI: 10.1007/978-3-319-44427-7_6

Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures
P. Günther, V. Krummel, in: Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, Cham, 2016, pp. 151–165.
LibreCat: /record/2948
DOI: 10.1007/978-3-319-32859-1_13

Theoretical Analysis of the k-Means Algorithm – A Survey
J. Blömer, C. Lammersen, M. Schmidt, C. Sohler, in: Algorithm Engineering, Springer International Publishing, Cham, 2016, pp. 81–116.
LibreCat: /record/2968
DOI: 10.1007/978-3-319-49487-6_3

Adaptive Seeding for Gaussian Mixture Models
J. Blömer, K. Bujna, in: Advances in Knowledge Discovery and Data Mining, Springer International Publishing, Cham, 2016, pp. 296–308.
LibreCat: /record/2970
DOI: 10.1007/978-3-319-31750-2_24

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

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

Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows
H.G. Fischer, B. Senft, in: C. Bogdan (Ed.), Human-Centered and Error-Resilient Systems Development, Springer International Publishing, Cham, 2016, pp. 30–41.
LibreCat: /record/6257
DOI: 10.1007/978-3-319-44902-9_3

Adaptive Seeding for Gaussian Mixture Models
J. Blömer, K. Bujna, in: Advances in Knowledge Discovery and Data Mining, Springer International Publishing, Cham, 2016, pp. 296–308.
LibreCat: /record/2978
DOI: 10.1007/978-3-319-31750-2_24

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

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

Practical Invalid Curve Attacks on TLS-ECDH
T. Jager, J. Schwenk, J. Somorovsky, in: Computer Security -- ESORICS 2015, Cham, 2015.
LibreCat: /record/15899
DOI: 10.1007/978-3-319-24174-6_21

ECST – Extended Context-Free Straight-Line Tree Grammars
S. Böttcher, R. Hartel, T. Jacobs, M. Jeromin, in: Data Science - 30th British International Conference on Databases, BICOD 2015, Springer, 2015, pp. 186–198.
LibreCat: /record/15088
DOI: 10.1007/978-3-319-20424-6_18

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

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

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

Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications
T. Koch, J. Holtmann, J. DeAntoni, in: Software Architecture, Cham, 2014.
LibreCat: /record/20982
DOI: 10.1007/978-3-319-09970-5_14

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

Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013
P. Flocchini, J. Gao, E. Kranakis, F. 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, Springer, Berlin, Heidelberg, 2014.
LibreCat: /record/16870
DOI: 10.1007/978-3-642-45346-5

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

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