Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
283 Publications
2025 | Book Chapter | LibreCat-ID: 60048 |

On the Dynamical Hierarchy in Gathering Protocols with Circulant Topologies
R. Gerlach, S. von der Gracht, M. Dellnitz, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2025.
LibreCat
| DOI
| Download (ext.)
| arXiv
R. Gerlach, S. von der Gracht, M. Dellnitz, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2025.
2025 | Conference Paper | LibreCat-ID: 60497 |

Towards Practicable Algorithms for Rewriting Graph Queries Beyond DL-Lite
B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: The Semantic Web - 22nd European Semantic Web Conference, {ESWC} 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part {I}, Springer Nature Switzerland, 2025, pp. 342--361.
LibreCat
| DOI
| Download (ext.)
B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: The Semantic Web - 22nd European Semantic Web Conference, {ESWC} 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part {I}, Springer Nature Switzerland, 2025, pp. 342--361.
2024 | Book Chapter | LibreCat-ID: 54412
ESLM: Improving Entity Summarization by Leveraging Language Models
A.F. Firmansyah, D. Moussallem, A.-C. Ngonga Ngomo, in: The Semantic Web, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
A.F. Firmansyah, D. Moussallem, A.-C. Ngonga Ngomo, in: The Semantic Web, Springer Nature Switzerland, Cham, 2024.
2024 | Book Chapter | LibreCat-ID: 54580
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Y. Mahmood, J. Virtema, T. Barlag, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
Y. Mahmood, J. Virtema, T. Barlag, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
2024 | Book Chapter | LibreCat-ID: 54624
Navigating Transparency: The Influence of On-demand Explanations on Non-expert User Interaction with AI
J. Papenkordt, in: Artificial Intelligence in HCI, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
J. Papenkordt, in: Artificial Intelligence in HCI, Springer Nature Switzerland, Cham, 2024.
2024 | Book Chapter | LibreCat-ID: 52759
On the Potential of Multi-objective Automated Algorithm Configuration on Multi-modal Multi-objective Optimisation Problems
O.L. Preuß, J. Rook, H. Trautmann, in: Applications of Evolutionary Computation, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
O.L. Preuß, J. Rook, H. Trautmann, in: Applications of Evolutionary Computation, Springer Nature Switzerland, Cham, 2024.
2024 | Book Chapter | LibreCat-ID: 54802
Universal Coating by 3D Hybrid Programmable Matter
I. Kostitsyna, D.J. Liedtke, C. Scheideler, in: Y. Emek (Ed.), Structural Information and Communication Complexity, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
I. Kostitsyna, D.J. Liedtke, C. Scheideler, in: Y. Emek (Ed.), Structural Information and Communication Complexity, Springer Nature Switzerland, Cham, 2024.
2024 | Book Chapter | LibreCat-ID: 56079
In Search of Partitioning Oracle Attacks Against TLS Session Tickets
M.M. Radoy, S.N. Hebrok, J. Somorovsky, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
M.M. Radoy, S.N. Hebrok, J. Somorovsky, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
2024 | Book Chapter | LibreCat-ID: 56606 |

Optimizing Communication for Latency Sensitive HPC Applications on up to 48 FPGAs Using ACCL
M. Meyer, T. Kenter, L. Petrica, K. O’Brien, M. Blott, C. Plessl, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
| Download (ext.)
M. Meyer, T. Kenter, L. Petrica, K. O’Brien, M. Blott, C. Plessl, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
2024 | Book Chapter | LibreCat-ID: 56581
IndEL: Indonesian Entity Linking Benchmark Dataset for General and Specific Domains
R.H. Gusmita, M.F.A. Abshar, D. Moussallem, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
LibreCat
| Files available
| DOI
R.H. Gusmita, M.F.A. Abshar, D. Moussallem, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
2024 | Book Chapter | LibreCat-ID: 56237
Anxiety Moderates the Effects of Drawing Support on Drawing Accuracy in Mathematical Modeling
J. Schönherr, R.E. Mayer, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
J. Schönherr, R.E. Mayer, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
2024 | Book Chapter | LibreCat-ID: 54623
Navigating Transparency: The Influence of On-demand Explanations on Non-expert User Interaction with AI
J. Papenkordt, in: Artificial Intelligence in HCI, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
J. Papenkordt, in: Artificial Intelligence in HCI, Springer Nature Switzerland, Cham, 2024.
2024 | Book Chapter | LibreCat-ID: 57323
Evaluating Negation with Multi-way Joins Accelerates Class Expression Learning
N. Karalis, A. Bigerl, C. Demir, L. Heidrich, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
N. Karalis, A. Bigerl, C. Demir, L. Heidrich, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
2024 | Book Chapter | LibreCat-ID: 53942
SootUp: A Redesign of the Soot Static Analysis Framework
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.
2023 | Journal Article | LibreCat-ID: 47953
Aggregating Human Domain Knowledge for Feature Ranking
J. Kornowicz, K. Thommes, Artificial Intelligence in HCI (2023).
LibreCat
| DOI
J. Kornowicz, K. Thommes, Artificial Intelligence in HCI (2023).
2023 | Conference Paper | LibreCat-ID: 50479
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
| Files available
| DOI
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.
2023 | Book Chapter | LibreCat-ID: 46191
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
| DOI
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.
2023 | Conference Paper | LibreCat-ID: 51373
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
| DOI
J.M. Hanselle, J. Fürnkranz, E. Hüllermeier, in: 26th International Conference on Discovery Science , Springer Nature Switzerland, Cham, 2023, pp. 189–203.
2023 | Book Chapter | LibreCat-ID: 47421 |

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
| Files available
| DOI
| Download (ext.)
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.
2023 | Book Chapter | LibreCat-ID: 46516
Explainable Integration of Knowledge Graphs Using Large Language Models
A.F.A. Ahmed, A.F. Firmansyah, M. Sherif, D. Moussallem, A.-C. Ngonga Ngomo, in: Natural Language Processing and Information Systems, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
A.F.A. Ahmed, A.F. Firmansyah, M. Sherif, D. Moussallem, A.-C. Ngonga Ngomo, in: Natural Language Processing and Information Systems, Springer Nature Switzerland, Cham, 2023.
2023 | Book Chapter | LibreCat-ID: 54579
Parameterized Complexity of Propositional Inclusion and Independence Logic
Y. Mahmood, J. Virtema, in: Logic, Language, Information, and Computation, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
Y. Mahmood, J. Virtema, in: Logic, Language, Information, and Computation, Springer Nature Switzerland, Cham, 2023.
2023 | Book Chapter | LibreCat-ID: 54909
Probabilistic Scoring Lists for Interpretable Machine Learning
J.M. Hanselle, J. Fürnkranz, E. Hüllermeier, in: Discovery Science, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
J.M. Hanselle, J. Fürnkranz, E. Hüllermeier, in: Discovery Science, Springer Nature Switzerland, Cham, 2023.
2023 | Book Chapter | LibreCat-ID: 54588
RELD: A Knowledge Graph of Relation Extraction Datasets
A. Manzoor, M. Saleem, D. Moussallem, M.A. Sherif, A.-C. Ngonga Ngomo, in: The Semantic Web, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
A. Manzoor, M. Saleem, D. Moussallem, M.A. Sherif, A.-C. Ngonga Ngomo, in: The Semantic Web, Springer Nature Switzerland, Cham, 2023.
2023 | Conference Paper | LibreCat-ID: 43395
Eliciting Security Requirements – An Experience Report
R. Trentinaglia, S. Merschjohann, M. Fockel, H. Eikerling, in: REFSQ 2023: Requirements Engineering: Foundation for Software Quality, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
R. Trentinaglia, S. Merschjohann, M. Fockel, H. Eikerling, in: REFSQ 2023: Requirements Engineering: Foundation for Software Quality, Springer Nature Switzerland, Cham, 2023.
2023 | Book Chapter | LibreCat-ID: 44769
Unifying Gathering Protocols for Swarms of Mobile Robots
J. Castenow, J. Harbig, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2023.
LibreCat
| DOI
J. Castenow, J. Harbig, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2023.
2023 | Book Chapter | LibreCat-ID: 46867
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
| DOI
P. Dieter, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2023.
2023 | Book Chapter | LibreCat-ID: 48776
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
| DOI
M. Muschalik, F. Fumagalli, B. Hammer, E. Huellermeier, in: Machine Learning and Knowledge Discovery in Databases: Research Track, Springer Nature Switzerland, Cham, 2023.
2023 | Book Chapter | LibreCat-ID: 57221
Fast 3D Semantic Segmentation Using a Self Attention Network and Random Sampling
S. Babu, M. Jegarian, D. Fischer, B. Mertsching, in: Lecture Notes in Computer Science, Springer Nature Switzerland, 2023.
LibreCat
| DOI
S. Babu, M. Jegarian, D. Fischer, B. Mertsching, in: Lecture Notes in Computer Science, Springer Nature Switzerland, 2023.
2023 | Book Chapter | LibreCat-ID: 46572
IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran
R.H. Gusmita, A.F. Firmansyah, D. Moussallem, A.-C. Ngonga Ngomo, in: Natural Language Processing and Information Systems, Springer Nature Switzerland, Cham, 2023.
LibreCat
| Files available
| DOI
R.H. Gusmita, A.F. Firmansyah, D. Moussallem, A.-C. Ngonga Ngomo, in: Natural Language Processing and Information Systems, Springer Nature Switzerland, Cham, 2023.
2023 | Book Chapter | LibreCat-ID: 52859
Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
2022 | Conference Paper | LibreCat-ID: 30971
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
| DOI
T. Hansmeier, M. Platzner, in: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, Springer International Publishing, 2022, pp. 386–401.
2022 | Book Chapter | LibreCat-ID: 34077
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
| DOI
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.
2022 | Book Chapter | LibreCat-ID: 34292
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
| DOI
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.
2022 | Book Chapter | LibreCat-ID: 29872
Server Cloud Scheduling
M. Maack, F. Meyer auf der Heide, S. Pukrop, in: Approximation and Online Algorithms, Springer International Publishing, Cham, 2022.
LibreCat
| DOI
M. Maack, F. Meyer auf der Heide, S. Pukrop, in: Approximation and Online Algorithms, Springer International Publishing, Cham, 2022.
2022 | Book Chapter | LibreCat-ID: 33740 |

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
| Files available
| DOI
| Download (ext.)
N.J. KOUAGOU, S. Heindorf, C. Demir, A.-C. Ngonga Ngomo, in: The Semantic Web, Springer International Publishing, Cham, 2022.
2022 | Book Chapter | LibreCat-ID: 54585
REBench: Microbenchmarking Framework for Relation Extraction Systems
A. Manzoor, M. Saleem, A.-C. Ngonga Ngomo, in: The Semantic Web – ISWC 2022, Springer International Publishing, Cham, 2022.
LibreCat
| DOI
A. Manzoor, M. Saleem, A.-C. Ngonga Ngomo, in: The Semantic Web – ISWC 2022, Springer International Publishing, Cham, 2022.
2022 | Conference Paper | LibreCat-ID: 45846
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, 2022.
LibreCat
| DOI
J. Kontinen, A. Meier, Y. Mahmood, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2022.
2022 | Book Chapter | LibreCat-ID: 29727
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
| DOI
| Download (ext.)
M.C. Wohlleben, A. Bender, S. Peitz, W. Sextro, in: Machine Learning, Optimization, and Data Science, Springer International Publishing, Cham, 2022.
2022 | Book Chapter | LibreCat-ID: 33738 |

Tab2Onto: 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
| DOI
| Download (ext.)
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.
2022 | Book Chapter | LibreCat-ID: 38506
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
| DOI
H.M.A. Zahera, D. Vollmers, M.A. Sherif, A.-C.N. Ngomo, in: The Semantic Web – ISWC 2022, Springer International Publishing, Cham, 2022.
2021 | Book Chapter | LibreCat-ID: 29046
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
| DOI
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.
2021 | Conference Paper | LibreCat-ID: 21378
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
| DOI
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.
2021 | Book Chapter | LibreCat-ID: 22057
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
| Files available
| DOI
T. Jager, R. Kurek, D. Niehues, in: Public-Key Cryptography – PKC 2021, Cham, 2021.
2021 | Book Chapter | LibreCat-ID: 22059
Verifiable Random Functions with Optimal Tightness
D. Niehues, in: Public-Key Cryptography – PKC 2021, Cham, 2021.
LibreCat
| Files available
| DOI
D. Niehues, in: Public-Key Cryptography – PKC 2021, Cham, 2021.
2021 | Conference Paper | LibreCat-ID: 27381
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
| DOI
| arXiv
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.
2021 | Book Chapter | LibreCat-ID: 26888
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
| DOI
T. Götte, C. Kolb, C. Scheideler, J. Werthmann, in: Algorithms for Sensor Systems (ALGOSENSORS ’21), Cham, 2021.
2021 | Conference Paper | LibreCat-ID: 29566
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
| DOI
J. Bobolz, F. Eidens, S. Krenn, S. Ramacher, K. Samelin, in: Cryptology and Network Security, Springer International Publishing, Cham, 2021.
2021 | Book Chapter | LibreCat-ID: 32868
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
| DOI
P.R. Nagbøl, O. Müller, O. Krancher, in: The Next Wave of Sociotechnical Design, Springer International Publishing, Cham, 2021.
2021 | Book Chapter | LibreCat-ID: 29292 |

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
| Files available
| DOI
| Download (ext.)
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.
2021 | Book Chapter | LibreCat-ID: 54586
Unsupervised Relation Extraction Using Sentence Encoding
A. Manzoor, M. Saleem, A.-C. Ngonga Ngomo, in: The Semantic Web: ESWC 2021 Satellite Events, Springer International Publishing, Cham, 2021.
LibreCat
| DOI
A. Manzoor, M. Saleem, A.-C. Ngonga Ngomo, in: The Semantic Web: ESWC 2021 Satellite Events, Springer International Publishing, Cham, 2021.
2021 | Book Chapter | LibreCat-ID: 21587
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
| Files available
| DOI
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.
2021 | Book Chapter | LibreCat-ID: 29936
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
| DOI
A. Ramaswami, T. Kenter, T. Kühne, C. Plessl, in: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, Cham, 2021.
2020 | Book Chapter | LibreCat-ID: 19521
Learning Choice Functions via Pareto-Embeddings
K. Pfannschmidt, E. Hüllermeier, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat
| DOI
K. Pfannschmidt, E. Hüllermeier, in: Lecture Notes in Computer Science, Cham, 2020.
2020 | Book Chapter | LibreCat-ID: 19561
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
| DOI
M. Sellmann, K. Tierney, in: Lecture Notes in Computer Science, Cham, 2020.
2020 | Book Chapter | LibreCat-ID: 21396
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
| Files available
| DOI
| Download (ext.)
T. Jager, D. Niehues, in: Lecture Notes in Computer Science, Cham, 2020.
2020 | Book Chapter | LibreCat-ID: 17337
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
| DOI
B. Jazayeri, S. Schwichtenberg, J. Küster, O. Zimmermann, G. Engels, in: Advanced Information Systems Engineering, Cham, 2020.
2020 | Book Chapter | LibreCat-ID: 20891
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
| DOI
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.
2020 | Book Chapter | LibreCat-ID: 18014
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
| DOI
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.
2020 | Book Chapter | LibreCat-ID: 23377
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
| DOI
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: Lecture Notes in Computer Science, Cham, 2020.
2020 | Conference Paper | LibreCat-ID: 17084
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
| DOI
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.
2020 | Conference Paper | LibreCat-ID: 17085
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
| DOI
B. Schwichtenberg, S. Schwichtenberg, J. Küster, O. Zimmermann, G. Engels, in: Advanced Information Systems Engineering, Cham, 2020.
2020 | Conference Paper | LibreCat-ID: 28997
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
| DOI
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.
2020 | Conference Paper | LibreCat-ID: 20706
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
| DOI
P. zur Heiden, in: Designing for Digital Transformation. Co-Creating Services with Citizens and Industry, Cham, 2020.
2020 | Conference Paper | LibreCat-ID: 45848
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
| DOI
Y. Mahmood, A. Meier, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2020.
2020 | Conference Paper | LibreCat-ID: 45818
Parameterised Complexity of Abduction in Schaefer’s Framework
Y. Mahmood, A. Meier, J. Schmidt, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2020.
LibreCat
| DOI
Y. Mahmood, A. Meier, J. Schmidt, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2020.
2020 | Book Chapter | LibreCat-ID: 47261
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
| DOI
J.M. Haney, S.M. Furman, Y. Acar, in: HCI for Cybersecurity, Privacy and Trust, Springer International Publishing, Cham, 2020.
2019 | Book Chapter | LibreCat-ID: 11952
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
| DOI
B. Senft, F. Rittmeier, H.G. Fischer, S. Oberthür, in: Design, User Experience, and Usability. Practice and Case Studies, Cham, 2019.
2019 | Book Chapter | LibreCat-ID: 14890
Exploiting Counterfactuals for Scalable Stochastic Optimization
S. Kuhlemann, M. Sellmann, K. Tierney, in: Lecture Notes in Computer Science, Cham, 2019.
LibreCat
| DOI
S. Kuhlemann, M. Sellmann, K. Tierney, in: Lecture Notes in Computer Science, Cham, 2019.
2019 | Book Chapter | LibreCat-ID: 15004
Feature Selection for Analogy-Based Learning to Rank
M. Ahmadi Fahandar, E. Hüllermeier, in: Discovery Science, Cham, 2019.
LibreCat
| DOI
M. Ahmadi Fahandar, E. Hüllermeier, in: Discovery Science, Cham, 2019.
2019 | Book Chapter | LibreCat-ID: 15005
Analogy-Based Preference Learning with Kernels
M. Ahmadi Fahandar, E. Hüllermeier, in: KI 2019: Advances in Artificial Intelligence, Cham, 2019.
LibreCat
| DOI
M. Ahmadi Fahandar, E. Hüllermeier, in: KI 2019: Advances in Artificial Intelligence, Cham, 2019.
2019 | Book Chapter | LibreCat-ID: 15006
Epistemic Uncertainty Sampling
V.-L. Nguyen, S. Destercke, E. Hüllermeier, in: Discovery Science, Cham, 2019.
LibreCat
| DOI
V.-L. Nguyen, S. Destercke, E. Hüllermeier, in: Discovery Science, Cham, 2019.
2019 | Conference Paper | LibreCat-ID: 15080
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
| DOI
R. Hartel, A. Dunst, in: International Conference on Multimedia Modeling, MMM, Springer, 2019, pp. 662–671.
2019 | Book Chapter | LibreCat-ID: 13872
CoVeriTest: Cooperative Verifier-Based Testing
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat
| DOI
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
2019 | Book Chapter | LibreCat-ID: 56579 |

QUANT - Question Answering Benchmark Curator
R.H. Gusmita, R. Jalota, D. Vollmers, J. Reineke, A.-C. Ngonga Ngomo, R. Usbeck, in: M. Acosta, P. Cudr{\’e}-Mauroux, M. Maleshkova, T. Pellegrini, H. Sack, Y. Sure-Vetter (Eds.), Semantic Systems. The Power of AI and Knowledge Graphs, Springer International Publishing, Cham, 2019, pp. 343--358.
LibreCat
| Files available
| DOI
| Download (ext.)
R.H. Gusmita, R. Jalota, D. Vollmers, J. Reineke, A.-C. Ngonga Ngomo, R. Usbeck, in: M. Acosta, P. Cudr{\’e}-Mauroux, M. Maleshkova, T. Pellegrini, H. Sack, Y. Sure-Vetter (Eds.), Semantic Systems. The Power of AI and Knowledge Graphs, Springer International Publishing, Cham, 2019, pp. 343--358.
2018 | Conference Paper | LibreCat-ID: 2862 |

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
| Files available
| DOI
| Download (ext.)
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.
2018 | Conference Paper | LibreCat-ID: 24396
An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest
C. Markarian, in: International Workshop on Combinatorial Algorithms (IWOCA), Cham, 2018.
LibreCat
| DOI
C. Markarian, in: International Workshop on Combinatorial Algorithms (IWOCA), Cham, 2018.
2018 | Conference Paper | LibreCat-ID: 3362
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
| Files available
| DOI
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.
2018 | Conference Paper | LibreCat-ID: 3373
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
| Files available
| DOI
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
2018 | Book Chapter | LibreCat-ID: 3536
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
| DOI
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.
2018 | Conference Paper | LibreCat-ID: 5774
Information Flow Certificates
M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.
LibreCat
| Files available
| DOI
M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.
2018 | Book Chapter | LibreCat-ID: 6253
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
| DOI
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.
2018 | Book Chapter | LibreCat-ID: 6254
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
| DOI
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.
2018 | Book Chapter | LibreCat-ID: 6423
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
| Files available
| DOI
D. Schäfer, E. Hüllermeier, in: Discovery Science, Springer International Publishing, Cham, 2018, pp. 161–175.
2018 | Book Chapter | LibreCat-ID: 16392
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
| DOI
B. Feldkord, M. Malatyali, F. Meyer auf der Heide, in: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, Cham, 2018.
2017 | Conference Paper | LibreCat-ID: 24398
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
| DOI
Y. Khaluf, C. Markarian, P. Simoens, A. Reina, in: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), Cham, 2017.
2017 | Conference Paper | LibreCat-ID: 2967 |

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
| Files available
| DOI
| Download (ext.)
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.
2017 | Conference Paper | LibreCat-ID: 2344 |

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
| Files available
| DOI
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.
2017 | Book Chapter | LibreCat-ID: 2381
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
| DOI
S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.
2017 | Conference Paper | LibreCat-ID: 5769
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
| Files available
| DOI
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.
2017 | Book Chapter | LibreCat-ID: 6255
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
| DOI
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.
2017 | Book Chapter | LibreCat-ID: 16461
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
| DOI
| arXiv
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.
2017 | Book Chapter | LibreCat-ID: 14857
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
| DOI
M. Beckschäfer, S. Malberg, K. Tierney, C. Weskamp, in: Lecture Notes in Computer Science, Cham, 2017.
2017 | Book Chapter | LibreCat-ID: 23396
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
| DOI
C. Gerking, D. Schubert, I. Budde, in: Theory and Practice of Model Transformation, Cham, 2017.
2016 | Conference Paper | LibreCat-ID: 20000
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
| DOI
H. Hamann, G. Valentini, M. Dorigo, in: 10th Int. Conf. on Swarm Intelligence, ANTS 2016, Cham, 2016.
2016 | Conference Paper | LibreCat-ID: 20004
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
| DOI
G. Valentini, D. Brambilla, H. Hamann, M. Dorigo, in: 10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016.
2016 | Book Chapter | LibreCat-ID: 2948
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
| DOI
P. Günther, V. Krummel, in: Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, Cham, 2016, pp. 151–165.
2016 | Book Chapter | LibreCat-ID: 2968
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
| DOI
J. Blömer, C. Lammersen, M. Schmidt, C. Sohler, in: Algorithm Engineering, Springer International Publishing, Cham, 2016, pp. 81–116.
2016 | Book Chapter | LibreCat-ID: 2970
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
| DOI
J. Blömer, K. Bujna, in: Advances in Knowledge Discovery and Data Mining, Springer International Publishing, Cham, 2016, pp. 296–308.
2016 | Conference Paper | LibreCat-ID: 5825
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
| DOI
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.
2016 | Book Chapter | LibreCat-ID: 6257
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
| DOI
H.G. Fischer, B. Senft, in: C. Bogdan (Ed.), Human-Centered and Error-Resilient Systems Development, Springer International Publishing, Cham, 2016, pp. 30–41.