Informatik: Recent submissions
-
Symbolic Representation of Dynamic Knowledge for Robotic Teams
Dissertation
(2020-11) -
Model-driven Development of Microservice Architecture: An Experiment on the Quality in Use of a UML- and a DSL-based Approach Technischer Report
(2020-04-15)
-
Analyzing Given Names Dissertation
(2020)
-
Extremal Fixpoints for Higher-Order Modal Logic Dissertation
(2018-10)
-
MOCCAA - MObile Cloud Computing AdaptAble Dissertation
(2019-08)
-
Hybrid Branching-Time Logics Dissertation
(2019)
-
Buffered Simulation for Büchi Automata Dissertation
(2019)
-
Das NetworkParser-Framework Dissertation
(2019-03-10)
-
Social Network Mining for Analysis of Social Phenomena Dissertation
(2019)
-
Towards Effective Natural Language Application Development Dissertation
(2019)
-
Implizite Positionierung unter Nutzung des Smartphone-Kompasses Dissertation
(2019)
-
Understanding Factors Influencing the Performance of a Wi-Fi Fingerprinting System Dissertation
(2019)
-
Planning of Autonomous and Mobile Robots in Dynamic Environments Dissertation
(2018-11)
-
Discovering Knowledge in Bipartite Graphs with Formal Concept Analysis Dissertation
(2019)
-
Fehlertoleranz und Elastizität für ein Framework zur globalen Lastenbalancierung Dissertation
(2018-09-10)
-
Ordered Restarting Automata Dissertation
(epubli, 2018-07-10)
-
Verknüpfung von Domänenwissen für ein Ontologie-basiertes IT-Management Dissertation
(2018-05-14)
-
Dynamische Konfiguration verteilter Informationsverarbeitung in Gruppen heterogener Agenten Dissertation
(2018-03-22)