Informatik

Informatik

Browse by

Sub-communities within this community

Digitaltechnik [0]

Eingebettete Systeme [6]

Intelligente Eingebettete Systeme [0]

Kommunikationstechnik [9]

Praktische Informatik/Datenbanken [27]

Programmiersprachen/-methodik [5]

Rechnerarchitektur und Systemprogrammierung [4]

Software Engineering [14]

Technische Informatik [3]

Theoretische Informatik [4]

Theoretische Informatik/Formale Methoden [3]

Verteilte Systeme [21]

Wissensverarbeitung [61]

Recent Submissions

Dissertation Einfache Methoden und Techniken zur Entwicklung von Serious Games ﻿

Dissertation A Language Ecosystem for Modeling Microservice Architecture ﻿

Dissertation Beitrag zur Betrachtung des Einflusses der Anforderungen auf die Hazard-Rate unter besonderer Berücksichtigung des Zusammenhangs zwischen Anforderungsrate, Ausfallrate, Probability of Dangerous Failure on Demand, Probability of Dangerous Failure per Hour und Hazard-Rate ﻿

Dissertation Load Balancing, Fault Tolerance, and Resource Elasticity for Asynchronous Many-Task Systems ﻿

Dissertation Movement Recognition and Direction Detection of Pedestrians ﻿

Dissertation Training in virtuellen Feuerwehreinsätzen ﻿

Dissertation On the requirements and advantages of cooperative collision avoidance systems for vulnerable road users ﻿

Preprint Heapsort for Equal Keys ﻿

Dissertation A Self-Organising Multi-Agent Knowledge Base ﻿

Dissertation Towards Service Co-evolution in the Internet of Things ﻿

Dissertation Formal Verification for ALICA Plans ﻿

Dissertation Safety Approach of Detecting Abnormal Events (Spinning and Sliding) in Vehicular Systems ﻿

Dissertation Symbolic Representation of Dynamic Knowledge for Robotic Teams ﻿

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
Einfache Methoden und Techniken zur Entwicklung von Serious Games

Dissertation
A Language Ecosystem for Modeling Microservice Architecture

Dissertation
Beitrag zur Betrachtung des Einflusses der Anforderungen auf die Hazard-Rate unter besonderer Berücksichtigung des Zusammenhangs zwischen Anforderungsrate, Ausfallrate, Probability of Dangerous Failure on Demand, Probability of Dangerous Failure per Hour und Hazard-Rate

Dissertation
Load Balancing, Fault Tolerance, and Resource Elasticity for Asynchronous Many-Task Systems

Dissertation
Movement Recognition and Direction Detection of Pedestrians

Dissertation
Training in virtuellen Feuerwehreinsätzen

Dissertation
On the requirements and advantages of cooperative collision avoidance systems for vulnerable road users

Preprint
Heapsort for Equal Keys

Dissertation
A Self-Organising Multi-Agent Knowledge Base

Dissertation
Towards Service Co-evolution in the Internet of Things

Dissertation
Formal Verification for ALICA Plans

Dissertation
Safety Approach of Detecting Abnormal Events (Spinning and Sliding) in Vehicular Systems

Dissertation
Symbolic Representation of Dynamic Knowledge for Robotic Teams

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