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.

279 Publications


2023 | Conference Paper | LibreCat-ID: 43395
R. Trentinaglia, S. Merschjohann, M. Fockel, and H. Eikerling, “Eliciting Security Requirements – An Experience Report,” 2023, doi: 10.1007/978-3-031-29786-1_25.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 44769
J. Castenow, J. Harbig, and F. Meyer auf der Heide, “Unifying Gathering Protocols for Swarms of Mobile Robots,” in Lecture Notes in Computer Science, Cham: Springer International Publishing, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 46516
A. F. A. Ahmed, A. F. Firmansyah, M. Sherif, D. Moussallem, and A.-C. Ngonga Ngomo, “Explainable Integration of Knowledge Graphs Using Large Language Models,” in Natural Language Processing and Information Systems, Cham: Springer Nature Switzerland, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 46572
R. H. Gusmita, A. F. Firmansyah, D. Moussallem, and A.-C. Ngonga Ngomo, “IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran,” in Natural Language Processing and Information Systems, Cham: Springer Nature Switzerland, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 46867
P. Dieter, “A Regret Policy for the Dynamic Vehicle Routing Problem with Time Windows,” in Lecture Notes in Computer Science, Cham: Springer Nature Switzerland, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 47421
N. J. Kouagou, S. Heindorf, C. Demir, and A.-C. Ngonga Ngomo, “Neural Class Expression Synthesis in ALCHIQ(D),” in Machine Learning and Knowledge Discovery in Databases: Research Track, Cham: Springer Nature Switzerland, 2023.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 47953
J. Kornowicz and K. Thommes, “Aggregating Human Domain Knowledge for Feature Ranking,” Artificial Intelligence in HCI, 2023, doi: 10.1007/978-3-031-35891-3_7.
LibreCat | DOI
 

2023 | Special Issue | LibreCat-ID: 49367 | OA
J. Lindner and K. Brassat, Eds., Self-Assembled Block Copolymer Thin Films and Their Applications. 2023.
LibreCat | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 50479
U. Qudus, M. Röder, S. Kirrane, and A.-C. N. Ngomo, “TemporalFC: A Temporal Fact Checking Approach over Knowledge Graphs,” in The Semantic Web – ISWC 2023, Athens, Greece, 2023, vol. 14265, pp. 465–483, doi: 10.1007/978-3-031-47240-4_25.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 46191
C. Alt et al., “Shallow Water DG Simulations on FPGAs: Design and Comparison of a Novel Code Generation Pipeline,” in Lecture Notes in Computer Science, Cham: Springer Nature Switzerland, 2023.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 51373
J. M. Hanselle, J. Fürnkranz, and E. Hüllermeier, “Probabilistic Scoring Lists for Interpretable Machine Learning,” in 26th International Conference on Discovery Science , Porto, 2023, vol. 14050, pp. 189–203, doi: 10.1007/978-3-031-45275-8_13.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 51368
E. Esposito, “Does Explainability Require Transparency?,” Sociologica, vol. 16, no. 3, pp. 17–27, 2023, doi: 10.6092/ISSN.1971-8853/15804.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 51369
E. Esposito, “Explaining Machines: Social Management of Incomprehensible Algorithms. Introduction,” Sociologica, vol. 16, no. 3, pp. 1–4, 2023, doi: 10.6092/ISSN.1971-8853/16265.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 48776
M. Muschalik, F. Fumagalli, B. Hammer, and E. Huellermeier, “iSAGE: An Incremental Version of SAGE for Online Explanation on Data Streams,” in Machine Learning and Knowledge Discovery in Databases: Research Track, Cham: Springer Nature Switzerland, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 52859
I. de Camargo e Souza Câmara and A.-Y. Turhan, “Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models,” in Logics in Artificial Intelligence, Cham: Springer Nature Switzerland, 2023.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 30971
T. Hansmeier and M. Platzner, “Integrating Safety Guarantees into the Learning Classifier System XCS,” in Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, Madrid, 2022, vol. 13224, pp. 386–401, doi: 10.1007/978-3-031-02462-7_25.
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 34077
A. Bondarenko et al., “Overview of Touché 2022: Argument Retrieval,” in Lecture Notes in Computer Science, Cham: Springer International Publishing, 2022.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 33669 | OA
W. Zhang, X. Chang, C. Boeddeker, T. Nakatani, S. Watanabe, and Y. Qian, “End-to-End Dereverberation, Beamforming, and Speech Recognition in A Cocktail Party,” IEEE/ACM Transactions on Audio, Speech, and Language Processing, 2022, doi: 10.1109/TASLP.2022.3209942.
LibreCat | Files available | DOI
 

2022 | Book Chapter | LibreCat-ID: 34292
D. Wolters and G. Engels, “Towards Situational Process Management for Professional Education Programmes,” in Product-Focused Software Process Improvement, vol. 13709, D. Taibi, M. Kuhrmann, T. Mikkonen, J. Klünder, and P. Abrahamsson, Eds. Cham: Springer International Publishing, 2022, pp. 235–242.
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 29872
M. Maack, F. Meyer auf der Heide, and S. Pukrop, “Server Cloud Scheduling,” in Approximation and Online Algorithms, Cham: Springer International Publishing, 2022.
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 33740 | OA
N. J. KOUAGOU, S. Heindorf, C. Demir, and A.-C. Ngonga Ngomo, “Learning Concept Lengths Accelerates Concept Learning in ALC,” in The Semantic Web, Cham: Springer International Publishing, 2022.
LibreCat | Files available | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 29727
M. C. Wohlleben, A. Bender, S. Peitz, and W. Sextro, “Development of a Hybrid Modeling Methodology for Oscillating Systems with Friction,” in Machine Learning, Optimization, and Data Science, Cham: Springer International Publishing, 2022.
LibreCat | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 33738 | OA
H. M. A. Zahera et al., “Tab2Onto: Unsupervised Semantification with Knowledge Graph Embeddings,” in The Semantic Web: ESWC 2022 Satellite Events, Cham: Springer International Publishing, 2022.
LibreCat | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 38506
H. M. A. Zahera, D. Vollmers, M. A. Sherif, and A.-C. N. Ngomo, “MultPAX: Keyphrase Extraction Using Language Models and Knowledge Graphs,” in The Semantic Web – ISWC 2022, Cham: Springer International Publishing, 2022.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 49172 | OA
M. Abdelrahem, “Auswirkung der Theologie auf das rechtsphilosophische Denken der Muʿtazila: Lektüre bei al-Qāḍī ʿAbd al-Ǧabbār,” Zeitschrift für Recht und Islam / Journal of Law & Islam, no. 13/14, pp. 57–80, 2022.
LibreCat | Download (ext.)
 

2021 | Book Chapter | LibreCat-ID: 29046
R. Feldhans et al., “Drift Detection in Text Data with Document Embeddings,” in Intelligent Data Engineering and Automated Learning – IDEAL 2021, Cham, 2021.
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 21378
R. Hartel and A. Dunst, “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, 2021.
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 22057
T. Jager, R. Kurek, and D. Niehues, “Efficient Adaptively-Secure IB-KEMs and VRFs via Near-Collision Resistance,” in Public-Key Cryptography – PKC 2021, Cham, 2021.
LibreCat | Files available | DOI
 

2021 | Book Chapter | LibreCat-ID: 22059
D. Niehues, “Verifiable Random Functions with Optimal Tightness,” in Public-Key Cryptography – PKC 2021, Cham, 2021.
LibreCat | Files available | DOI
 

2021 | Conference Paper | LibreCat-ID: 27381
C. Damke and E. Hüllermeier, “Ranking Structured Objects with Graph Neural Networks,” in Proceedings of The 24th International Conference on Discovery Science (DS 2021), Halifax, Canada, 2021, vol. 12986, pp. 166–180, doi: 10.1007/978-3-030-88942-5.
LibreCat | DOI | arXiv
 

2021 | Book Chapter | LibreCat-ID: 26888
T. Götte, C. Kolb, C. Scheideler, and J. Werthmann, “Beep-And-Sleep: Message and Energy Efficient Set Cover,” in Algorithms for Sensor Systems (ALGOSENSORS ’21), Cham, 2021.
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 29566
J. Bobolz, F. Eidens, S. Krenn, S. Ramacher, and K. Samelin, “Issuer-Hiding Attribute-Based Credentials,” 2021, doi: 10.1007/978-3-030-92548-2_9.
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 32868
P. R. Nagbøl, O. Müller, and O. Krancher, “Designing a Risk Assessment Tool for Artificial Intelligence Systems,” in The Next Wave of Sociotechnical Design, Cham: Springer International Publishing, 2021.
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 29292 | OA
R. Feldhans et al., “Drift Detection in Text Data with Document Embeddings,” in Intelligent Data Engineering and Automated Learning – IDEAL 2021, Cham: Springer International Publishing, 2021.
LibreCat | Files available | DOI | Download (ext.)
 

2021 | Conference Paper | LibreCat-ID: 45846
J. Kontinen, A. Meier, and Y. Mahmood, “A Parameterized View on the Complexity of Dependence Logic,” 2021, doi: 10.1007/978-3-030-93100-1_9.
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 21587
S. Alhaddad et al., “HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids,” in Euro-Par 2020: Parallel Processing Workshops, Cham, 2021.
LibreCat | Files available | DOI
 

2021 | Book Chapter | LibreCat-ID: 29936
A. Ramaswami, T. Kenter, T. Kühne, and C. Plessl, “Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing,” in Applied Reconfigurable Computing. Architectures, Tools, and Applications, Cham: Springer International Publishing, 2021.
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 45823
J. Kontinen, A. Meier, and Y. Mahmood, “A Parameterized View on the Complexity of Dependence Logic,” in Logical Foundations of Computer Science, Cham: Springer International Publishing, 2021.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 19521
K. Pfannschmidt and E. Hüllermeier, “Learning Choice Functions via Pareto-Embeddings,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 19561
M. Sellmann and K. Tierney, “Hyper-parameterized Dialectic Search for Non-linear Box-Constrained Optimization with Heterogenous Variable Types,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 21396
T. Jager and D. Niehues, “On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 17337
B. Jazayeri, S. Schwichtenberg, J. Küster, O. Zimmermann, and G. Engels, “Modeling and Analyzing Architectural Diversity of Open Platforms,” in Advanced Information Systems Engineering, Cham, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 23517
I. Gräßler and J. Hentze, “The new V-Model of 2206 and its validation,” at-Automatisierungstechnik 68(5), no. 68(5), pp. 312–324, 2020.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20891
A. Knüppel et al., “Using Abstract Contracts for Verifying Evolving Features and Their Interactions,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 18014
A. El Mesaoudi-Paul, D. Weiß, V. Bengs, E. Hüllermeier, and K. Tierney, “Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach,” in Learning and Intelligent Optimization. LION 2020., vol. 12096, Cham: Springer, 2020, pp. 216–232.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 23377
G. Piskachev, T. Petrasch, J. Späth, and E. Bodden, “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17084
N. Weidmann and A. Anjorin, “Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming,” in Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, Dublin, Ireland, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17085
B. Schwichtenberg, S. Schwichtenberg, J. Küster, O. Zimmermann, and G. Engels, “Modeling and Analyzing Architectural Diversity of Open Platforms,” in Advanced Information Systems Engineering, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 28997
F. Dallmeier et al., “Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC,” in Cryptology and Network Security, Vienna, 2020, pp. 211–231, doi: 10.1007/978-3-030-65411-5_11.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20706
P. zur Heiden, “Considering Context in Design Science Research: A Systematic Literature Review,” 2020, doi: 10.1007/978-3-030-64823-7_21.
LibreCat | DOI
 

2020 | Book Review | LibreCat-ID: 21294 | OA
R. Hagengruber, “Review Hagengruber Le Ru Émilie Du Châtelet Philosophe ,” H-France Net, vol. 158. 2020.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 45848
Y. Mahmood and A. Meier, “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic,” 2020, doi: 10.1007/978-3-030-39951-1_10.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 33299 | OA
C. A. Hahn, “Informationskompetenz durch E-Learning? Durch Lernvideos nach Literatur suchen,” die hochschullehre, no. 6, 2020.
LibreCat | Files available | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 47261
J. M. Haney, S. M. Furman, and Y. Acar, “Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges,” in HCI for Cybersecurity, Privacy and Trust, Cham: Springer International Publishing, 2020.
LibreCat | DOI
 

2020 | Book Review | LibreCat-ID: 51816
M. Schmitt, “Rezension zu: Bernardo Bátiz-Lazo: Cash and Dash. How ATMs and Computers Changed Banking,” Vierteljahrschrift für Sozial- und Wirtschaftsgeschichte, vol. 107, no. 4. pp. 541–543, 2020.
LibreCat
 

2019 | Book Chapter | LibreCat-ID: 11952
B. Senft, F. Rittmeier, H. G. Fischer, and S. Oberthür, “A Value-Centered Approach for Unique and Novel Software Applications,” in Design, User Experience, and Usability. Practice and Case Studies, Cham, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 14890
S. Kuhlemann, M. Sellmann, and K. Tierney, “Exploiting Counterfactuals for Scalable Stochastic Optimization,” in Lecture Notes in Computer Science, Cham, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15004
M. Ahmadi Fahandar and E. Hüllermeier, “Feature Selection for Analogy-Based Learning to Rank,” in Discovery Science, Cham, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15005
M. Ahmadi Fahandar and E. Hüllermeier, “Analogy-Based Preference Learning with Kernels,” in KI 2019: Advances in Artificial Intelligence, Cham, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15006
V.-L. Nguyen, S. Destercke, and E. Hüllermeier, “Epistemic Uncertainty Sampling,” in Discovery Science, Cham, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15080
R. Hartel and A. Dunst, “How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics,” in International Conference on Multimedia Modeling, MMM, Thessaloniki, Greece, 2019, pp. 662–671.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 13872
D. Beyer and M.-C. Jakobs, “CoVeriTest: Cooperative Verifier-Based Testing,” in Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 18125
J. Mildorf, “Narratives of Vicarious Experience in Oral History Interviews with Craft Artists,” Journal of Pragmatics, vol. 152, pp. 103–112, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 45818
Y. Mahmood, A. Meier, and J. Schmidt, “Parameterised Complexity of Abduction in Schaefer’s Framework,” 2019, doi: 10.1007/978-3-030-36755-8_13.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 2862 | OA
J. Blömer, F. Eidens, and J. Juhnke, “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, San Francisco, CA, USA, 2018, pp. 470–490.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 24396
C. Markarian, “An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest,” 2018, doi: 10.1007/978-3-319-94667-2_18.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 3362
A. Lösch, A. Wiens, and M. Platzner, “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes,” in Proceedings of the International Conference on Architecture of Computing Systems (ARCS), 2018, vol. 10793, pp. 73–84.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 3373
T. Hansmeier, M. Platzner, and D. Andrews, “An FPGA/HMC-Based Accelerator for Resolution Proof Checking,” in ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Santorini, Greece, 2018, vol. 10824, pp. 153–165.
LibreCat | Files available | DOI
 

2018 | Book Chapter | LibreCat-ID: 3536
G. Schellhorn, M. Wedel, O. Travkin, J. König, and H. Wehrheim, “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity,” in Software Engineering and Formal Methods, Cham: Springer International Publishing, 2018, pp. 105–120.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 5774
M. Töws and H. Wehrheim, “Information Flow Certificates,” in Theoretical Aspects of Computing – ICTAC 2018, 2018, pp. 435–454.
LibreCat | Files available | DOI
 

2018 | Book Chapter | LibreCat-ID: 6253
B. Senft, H. G. Fischer, S. Oberthür, and N. Patkar, “Assist Users to Straightaway Suggest and Describe Experienced Problems,” in Design, User Experience, and Usability: Theory and Practice, vol. 10918, Cham: Springer International Publishing, 2018, pp. 758–770.
LibreCat | DOI
 

2018 | Book Chapter | LibreCat-ID: 6254
H. G. Fischer, B. Senft, F. Rittmeier, and S. Sauer, “A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems,” in Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018), vol. 10918, A. Marcus and W. Wang, Eds. Cham: Springer International Publishing, 2018, pp. 711–724.
LibreCat | DOI
 

2018 | Book Chapter | LibreCat-ID: 6423
D. Schäfer and E. Hüllermeier, “Preference-Based Reinforcement Learning Using Dyad Ranking,” in Discovery Science, Cham: Springer International Publishing, 2018, pp. 161–175.
LibreCat | Files available | DOI
 

2018 | Book Chapter | LibreCat-ID: 16392
B. Feldkord, M. Malatyali, and F. Meyer auf der Heide, “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.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 24398
Y. Khaluf, C. Markarian, P. Simoens, and A. Reina, “Scheduling Access to Shared Space in Multi-robot Systems,” 2017, doi: 10.1007/978-3-319-59930-4_12.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 2967 | OA
J. Blömer and G. Liske, “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), 2017, vol. 10693, pp. 438–453.
LibreCat | Files available | DOI | Download (ext.)
 

2017 | Book Chapter | LibreCat-ID: 23396
C. Gerking, D. Schubert, and I. Budde, “Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities,” in Theory and Practice of Model Transformation, Cham, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 2344 | OA
J. Blömer, P. Günther, V. Krummel, and N. Löken, “Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations,” in Foundations and Practice of Security, 2017, pp. 3–17.
LibreCat | Files available | DOI
 

2017 | Book Chapter | LibreCat-ID: 2381
S. Brauer, “Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems,” in Lecture Notes in Computer Science, vol. 10236, D. Fotakis, A. Pagourtzis, and V. T. Paschos, Eds. Cham: Springer International Publishing, 2017, pp. 116–127.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5769
M. Töws and H. Wehrheim, “Policy Dependent and Independent Information Flow Analyses,” in Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), 2017, pp. 362–378.
LibreCat | Files available | DOI
 

2017 | Book Chapter | LibreCat-ID: 6255
H. G. Fischer, M. Engler, and S. Sauer, “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, Cham: Springer International Publishing, 2017, pp. 570–583.
LibreCat | DOI
 

2017 | Book Chapter | LibreCat-ID: 16461
P. Bemmann et al., “Monitoring of Domain-Related Problems in Distributed Data Streams,” in Structural Information and Communication Complexity, Cham, 2017.
LibreCat | DOI | arXiv
 

2017 | Book Chapter | LibreCat-ID: 14857
M. Beckschäfer, S. Malberg, K. Tierney, and C. Weskamp, “Simulating Storage Policies for an Automated Grid-Based Warehouse System,” in Lecture Notes in Computer Science, Cham, 2017.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 20000
H. Hamann, G. Valentini, and M. Dorigo, “Population Coding: A New Design Paradigm for Embodied Distributed Systems,” in 10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 20004
G. Valentini, D. Brambilla, H. Hamann, and M. Dorigo, “Collective Perception of Environmental Features in a Robot Swarm,” in 10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 2948
P. Günther and V. Krummel, “Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures,” in Mathematical Aspects of Computer and Information Sciences, Cham: Springer International Publishing, 2016, pp. 151–165.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 2968
J. Blömer, C. Lammersen, M. Schmidt, and C. Sohler, “Theoretical Analysis of the k-Means Algorithm – A Survey,” in Algorithm Engineering, Cham: Springer International Publishing, 2016, pp. 81–116.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 2970
J. Blömer and K. Bujna, “Adaptive Seeding for Gaussian Mixture Models,” in Advances in Knowledge Discovery and Data Mining, Cham: Springer International Publishing, 2016, pp. 296–308.
LibreCat | DOI
 

2016 | Book | LibreCat-ID: 27390
K. Schlegel-Matthies, Zwischen Wissenschaft und Lebenswelt. Entwicklung, Stand und Zukunftsperspektiven haushaltsbezogener Bildung., vol. 10. 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 5825
D. Wolters, J. Kirchhoff, C. Gerth, and G. Engels, “Cross-Device Integration of Android Apps,” in Service-Oriented Computing, 2016, pp. 171–185.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 6257
H. G. Fischer and B. Senft, “Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows,” in Human-Centered and Error-Resilient Systems Development, vol. 9856, C. Bogdan, Ed. Cham: Springer International Publishing, 2016, pp. 30–41.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 2978
J. Blömer and K. Bujna, “Adaptive Seeding for Gaussian Mixture Models,” in Advances in Knowledge Discovery and Data Mining, Cham: Springer International Publishing, 2016, pp. 296–308.
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 2921 | OA
O. Blazy, S. Kakvi, E. Kiltz, and J. Pan, “Tightly-Secure Signatures from Chameleon Hash Functions,” in Lecture Notes in Computer Science, Berlin, Heidelberg: Springer Berlin Heidelberg, 2015, pp. 256–279.
LibreCat | DOI | Download (ext.)
 

2015 | Book Chapter | LibreCat-ID: 15897
C. Altmeier, C. Mainka, J. Somorovsky, and J. Schwenk, “AdIDoS – Adaptive and Intelligent Fully-Automatic Detection of Denial-of-Service Weaknesses in Web Services,” in Data Privacy Management, and Security Assurance - 10th International Workshop, {DPM} 2015, and 4th International Workshop, {QASA} 2015, Cham, 2015.
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 15899
T. Jager, J. Schwenk, and J. Somorovsky, “Practical Invalid Curve Attacks on TLS-ECDH,” in Computer Security -- ESORICS 2015, Cham, 2015.
LibreCat | DOI | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 15088
S. Böttcher, R. Hartel, T. Jacobs, and M. Jeromin, “ECST – Extended Context-Free Straight-Line Tree Grammars,” in Data Science - 30th British International Conference on Databases, BICOD 2015, 2015, pp. 186–198.
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 25338
M. Geierhos, F. S. Bäumer, S. Schulze, and C. Klotz, “Understanding the Patient 2.0,” in Modeling and Using Context, Cham, 2015.
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 25337
M. Geierhos, F. S. Bäumer, S. Schulze, and C. Klotz, “Understanding the Patient 2.0,” in Modeling and Using Context, Cham, 2015.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 20008
H. Hamann and G. Valentini, “Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins,” in Ninth Int. Conf. on Swarm Intelligence (ANTS 2014), 2014.
LibreCat | DOI
 

2014 | Book Chapter | LibreCat-ID: 20982
T. Koch, J. Holtmann, and J. DeAntoni, “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications,” in Software Architecture, Cham, 2014.
LibreCat | DOI
 

Filters and Search Terms

issn%3D0302-9743

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed