Forschung
Forschungs- und Publikationsberichte der Naturwissenschaftlichen Fakultät III
Link zur Webseite aktueller Forschungs- und Publikationsberichte der Naturwissenschaftlichen Fakultät III
Forschungsberichte der Naturwissenschaftlichen Fakultät III, des Instituts für Agrar- und Ernährungswissenschaften, des Instituts für Geowissenschaften, des Instituts für Informatik und des Instituts für Mathematik
[ more ... ]
Forschungsthemen der Arbeitsgruppen am Institut für Informatik
Algorithm Engineering
Algorithm Engineering, graph algorithms, combinatorial optimization, parallel algorithms
[ more ... ]
Theoretical Computer Science
Automata on infinite objects, Algorithmic Information Theory, Formal Languages, and Fractals
[ more ... ]
Databases and Information Systems
Deductive Databases, Nonmonotonic Reasoning, Logic and Functional Programming, Analysis of SQL Queries, Data/Text Mining, Fractal Data Analysis, Web and Document Search
[ more ... ]
Software-Engineering and Programming Languages
Compiler and Model-Based Code Generators (in particular their verification), Verification and Validation of Component Systems and Service Oriented Architectures
[ more ... ]
Automation Technology
Modeling of discrete event and hybrid systems, Formal synthesis of controllers, Control of production systems, Distributed control, Verification
[ more ... ]
Computer Architecture and Hardware Design
IT-security, hardware-verification, combinatorial optimization,
validation of instruction control units for railways, computer sciences
and humanities
[ more ... ]
Bioinformatics and Pattern Recognition
Image analysis focusing on registration, segmentation, matching, and tracking for life science applications and human-
machine interfaces.
Statistical approaches to model and predict DNA signals, e.g. transcription factor or nucleosome binding sites.
[ more ... ]
Bioinformatics
sequence, chIP-chip, and expression data analysis, machine learning,
Bayesian statistics
[ more ... ]
Bioinformatics (jointly with IPK Gatersleben)
network analysis, data integration, information systems, visualisation, simulation
[ more ... ]
Computer Graphics
algebraic surfaces, real time ray tracing, CPU programming, scientific visualization, virtual reality
[ more ... ]
Up
