Informatik: Neueste Zugänge
-
PreprintHeapsort for Equal Keys (2014-09)
-
DissertationA Self-Organising Multi-Agent Knowledge Base (2021-12)
-
DissertationTowards Service Co-evolution in the Internet of Things (2021-12)
-
DissertationFormal Verification for ALICA Plans (2021)
-
DissertationSafety Approach of Detecting Abnormal Events (Spinning and Sliding) in Vehicular Systems (2021)
-
DissertationSymbolic Representation of Dynamic Knowledge for Robotic Teams (2020-11)
-
Technischer ReportModel-driven Development of Microservice Architecture: An Experiment on the Quality in Use of a UML- and a DSL-based Approach (2020-04-15)
-
DissertationAnalyzing Given Names (2020)
-
DissertationExtremal Fixpoints for Higher-Order Modal Logic (2018-10)
-
DissertationMOCCAA - MObile Cloud Computing AdaptAble (2019-08)
-
DissertationHybrid Branching-Time Logics (2019)
-
DissertationBuffered Simulation for Büchi Automata (2019)
-
DissertationDas NetworkParser-Framework (2019-03-10)
-
DissertationSocial Network Mining for Analysis of Social Phenomena (2019)
-
DissertationTowards Effective Natural Language Application Development (2019)
-
DissertationImplizite Positionierung unter Nutzung des Smartphone-Kompasses (2019)
-
DissertationUnderstanding Factors Influencing the Performance of a Wi-Fi Fingerprinting System (2019)