Informatik

Informatik

Browse by

Sub-communities within this community

Digitaltechnik [0]

Eingebettete Systeme [6]

Intelligente Eingebettete Systeme [0]

Kommunikationstechnik [7]

Praktische Informatik/Datenbanken [26]

Programmiersprachen/-methodik [4]

Rechnerarchitektur und Systemprogrammierung [2]

Software Engineering [12]

Technische Informatik [2]

Theoretische Informatik [4]

Theoretische Informatik/Formale Methoden [3]

Verteilte Systeme [17]

Wissensverarbeitung [61]

Recent Submissions

Dissertation Development, Verification and Analysis of a Fault Injection Tool for Improving Dependability of FPGA Systems ﻿

Technischer Report Model-driven Development of Microservice Architecture: An Experiment on the Quality in Use of a UML- and a DSL-based Approach ﻿

Preprint An Overview of Modeling Concepts for Service-Based Software Architectures ﻿

Dissertation Analyzing Given Names ﻿

Dissertation Extremal Fixpoints for Higher-Order Modal Logic ﻿

Dissertation MOCCAA - MObile Cloud Computing AdaptAble ﻿

Dissertation Hybrid Branching-Time Logics ﻿

Dissertation Buffered Simulation for Büchi Automata ﻿

Dissertation Das NetworkParser-Framework ﻿

Dissertation Social Network Mining for Analysis of Social Phenomena ﻿

Dissertation Towards Effective Natural Language Application Development ﻿

Dissertation Implizite Positionierung unter Nutzung des Smartphone-Kompasses ﻿

Dissertation Understanding Factors Influencing the Performance of a Wi-Fi Fingerprinting System ﻿

Dissertation Planning of Autonomous and Mobile Robots in Dynamic Environments ﻿

Dissertation Discovering Knowledge in Bipartite Graphs with Formal Concept Analysis ﻿

Dissertation Fehlertoleranz und Elastizität für ein Framework zur globalen Lastenbalancierung ﻿

Dissertation Ordered Restarting Automata ﻿

Dissertation Verknüpfung von Domänenwissen für ein Ontologie-basiertes IT-Management ﻿

Dissertation Dynamische Konfiguration verteilter Informationsverarbeitung in Gruppen heterogener Agenten ﻿

Dissertation An algorithmic approach to increase the context prediction accuracy by utilizing multiple context sources ﻿

Dissertation
Development, Verification and Analysis of a Fault Injection Tool for Improving Dependability of FPGA Systems

Technischer Report
Model-driven Development of Microservice Architecture: An Experiment on the Quality in Use of a UML- and a DSL-based Approach

Preprint
An Overview of Modeling Concepts for Service-Based Software Architectures

Dissertation
Analyzing Given Names

Dissertation
Extremal Fixpoints for Higher-Order Modal Logic

Dissertation
MOCCAA - MObile Cloud Computing AdaptAble

Dissertation
Hybrid Branching-Time Logics

Dissertation
Buffered Simulation for Büchi Automata

Dissertation
Das NetworkParser-Framework

Dissertation
Social Network Mining for Analysis of Social Phenomena

Dissertation
Towards Effective Natural Language Application Development

Dissertation
Implizite Positionierung unter Nutzung des Smartphone-Kompasses

Dissertation
Understanding Factors Influencing the Performance of a Wi-Fi Fingerprinting System

Dissertation
Planning of Autonomous and Mobile Robots in Dynamic Environments

Dissertation
Discovering Knowledge in Bipartite Graphs with Formal Concept Analysis

Dissertation
Fehlertoleranz und Elastizität für ein Framework zur globalen Lastenbalancierung

Dissertation
Ordered Restarting Automata

Dissertation
Verknüpfung von Domänenwissen für ein Ontologie-basiertes IT-Management

Dissertation
Dynamische Konfiguration verteilter Informationsverarbeitung in Gruppen heterogener Agenten

Dissertation
An algorithmic approach to increase the context prediction accuracy by utilizing multiple context sources