Informatik: Recent submissions
-
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)
-
An algorithmic approach to increase the context prediction accuracy by utilizing multiple context sources Dissertation
(2017-09-06)
-
Software Stories Guide Technischer Report
(2017-07-31)
-
Self-Healing in Autonomous Robot Teams Dissertation
(2017-05-24)