- Über uns
- Institutsleitung
- Ansprechpartner
- Arbeitskreis Systemingenieure
- Ordnungen des Instituts
- Mitarbeiterliste
- Mitarbeiter stellen sich vor
- Konrad-Zuse-Haus
- Anfahrt
- Emeriti
- Ehrenpromotionen
- Lehrstühle
- Forschung
- Schwerpunkte
- Publikationen
- Kolloquien
- Kolloquiumsvorträge im Sommersemester 2013
- Kolloquiumsvorträge früherer Semester
- WS 2012/13
- SS 2012
- WS 2011/12
- SS 2011
- A Continuous - Time Microsimulation and First Steps Towards a Multi-Level Approach in Demography
- Annotation-based storage and retrieval of models and simulation descriptions in computational biology
- A system biology approach to dynamic modelling of the AMP-activated kinase pathway
- Spatio-temporal Dynamics of the Wnt/ß-catenin Signaling Pathway: A Computational Systems Biology Approach
- An Integrated Formal Task Specification Method for Smart Environments
- Task-driven Adaptation of Graphical Content in Smart Visual Interfaces
- Modellbasierte Generierung von Benutzungsoberflächen
- WS 2010/11
- Throughput, Mobility and Security Enhancement in SCTP Multi-Path Communication
- Service-basierte Infrastruktur für pervasive Lehr- und Lernarrangements
- Adaptable and Sustainable XML Information Systems
- Efficient Non-Spatial and Spatial Simulation of Biochemical Reaction Networks
- Automatic Algorithm Selection for Complex Simulation Problems
- User Interfaces in Nomadic Applications
- Visuelle Informationsdarstellung in Smart Environments
- SS 2010
- Correctness of Services and their Composition
- Reaction Constraints for the Pi-Calculus
- Dienstekomposition in intelligenten Umgebungen basierend auf KI-Planung
- Requirements Engineering and UX Design: Theory and Practice
- Usability-Evaluation in intelligenten Umgebungen
- A Commercially Viable Approach To Codesign Of Neural Nets In Embedded Information Processing Applications
- Google Entwicklung, Kultur und Infrastruktur
- InfoVis for the Masses
- Explorative Graph Visualization
- Visual Analytics: Turning Information Overload into the Opportunity of a Decade
- Visual Support for the Modeling and Simulation of Cell Biological Processes
- Psychoanalyse und künstliche Intelligenz - Ein Paradigmenwechsel in der künstlichen Intelligenz hinsichtlich der Automation
- WS 2009/10
- Heterogeneous and mobile databases
- Intuitive Interaktion durch videobasierte Gestenerkennung
- Computer-Interaktionsassistenz für verschiedene (spezielle) Nutzergruppen
- Graph Powers: Hardness Results, Good Characterizations and Efficient Algorithms
- UCD Practice in Chinese IT Enterprises
- Concept of a Robust & Training-free Probabilistic System for Online Intention Analysis in Teams
- Physikalisch-basierte Simulation von Flüssigkeiten in interaktiven Umgebungen
- SS 2009
- A Unified Distributed System Architecture for Goal-based Interaction with Smart Environments
- Vehicular ad-hoc networks: Overview of recent results on performance evaluation of IEEE 802.11p
- Stochastic Modelling of Subcellular Biochemical Systems
- Adaptive Layout for Interactive Documents
- A General Framework for Digital Game-Based Training Systems
- On Language Processors and Software Maintenance
- WS 2008/09
- Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP
- Modelling Signal-induced Transcriptional Responses
- Multimodaler Informationszugang
- Baumgesteuerte Grammatiken mit subregulären Bedingungen
- Systems Biology: New Biology - New Mathematics
- Elucidation of control structures by multivariate dynamic data-modelling
- YAWL: Dealing with Challenges, Tool Support and Opportunities in Business Process Management
- What Can A Multivariate Approach to Algorithmics Do for Science?
- Nicht-Standard Evolutionäre Algorithmen
- SS 2008
- Model-driven Development of Content-based Image Retrieval Systems on Top of Object-relational Database Management Systems
- Temperature Compensation and Adaptation Mechanisms in Reaction Kinetic Networks
- The E-Cell Project and Challenges in Computational Systems Biology
- Erhaltung der Privatsphäre versus Vorratsspeicherung von Daten
- Direct Time Series Visualization Techniques in the Context of Medical Perfusion Data
- Consistent Class Embeddings
- Hybrid Simulation of Network Traffic
- Applying Systems Engineering Principles to enable Reuse and Composition of Simulation Services
- Definition und Realisierung einer Plattform zur modellbasierten Komposition von Simulationsmodellen
- Ontology Framework for Modeling and Simulation in Complex System Development
- Analysis of signal transduction in mouse models
- Herausforderungen von Java in eingebetteten Systemen
- On Stratified Path Sampling of the Thermodynamic Integral: Computing Bayes Factors for Nonlinear ODE Models of Biochemical Pathways
- Multiplex Single Cell Assays
- Visualisierung - von der Grundlagenforschung in die Anwendung
- Entwicklung der Computergraphik in Kuba
- Modellierung und Simulation zur operativen Steuerung von Halbleiterfabriken
- WS 2007/08
- Das Berlin-Roof-Net Projekt und Next Generation Mobile Internet
- Visuelles Data Mining und Visualisierungsdesign für die Klimafolgenforschung
- Effiziente auflösungs-variable Oberflächenbeschreibung mit hybriden Modellen
- Level-of-Detail- und hardwareunterstütztes Out-of-Core-Rendering
- Konzeption, Realisierung und Verwendung eines allgemeinen Modellierungs-, Simulations- und Experimentiersystems - Entwicklung und Evaluation effizienter Simulationsalgorithmen
- Bildbasierte Gesichtsausdrucksanalyse - Grundlegende Verfahren und Anwendungsgebiete (Emotionserkennung, Schmerzerkennung etc...)
- Engineering Interactive Systems for Ambient Intelligent Environments
- Modularization of Biochemical Networks by T-invariants
- The expressive power and algorithmic use of graph parameters
- Model-Driven Generation and Optimization of Complex Integration Processes
- How to survive Multi-Device User Interface Development with UIML
- Modellierung, Bewertung und Evolution von XML-Dokumentkollektionen
- On probe classes of graphs
- SS 2007
- Dissecting colorectal cancer pathways in silico
- Information Extraction from PubMed Results
- The Systems Biology Markup Language (SBML) and Related Efforts in Standardization for Computational Systems Biology
- SorLA - Sorting out Alzheimer's disease
- Goal Oriented Digital Artefacts
- Cellular automaton modelling of spatio-temporal pattern formation in interacting cell systems
- Lernen relevanter Attribute - greedy oder durch Fourier-Analysis?
- Model-driven Engineering of user interfaces based on UsiXML
- IT-Verträge - Begriffe, Beispiele und Problemfelder
- WS 2006/07
- Honeypot based intrusion detection technology
- The second creation of life
- Sicherheitsarchitektur für spontan vernetzte mobile Geräte mit begrenzten Ressourcen
- Mobile Image Communication using JPEG 2000
- Illustrative Visualization Techniques
- Architekturen und Werkzeuge zur strukturierten Dokumentenverarbeitung
- Energieeffiziente Algorithmen und Protokolle für drahtlose Ad-hoc- und Sensornetze
- Event-Based Visualization for User-Centered Visual Analysis
- Konzeption einer Visualisierungshilfe fuer multivariate Daten
- Ad Hoc Distributed Simulations
- SS 2006
- XQuery-Optimierung und -Zerlegungsstrategie im Zusammenhang mit XML-Schemaintegration
- Networked Control of a Large Multi-variable Systems: Issues and Challenges
- Rethinking programming
- Modellierung und XML
- Geometric Network Modeling of Complex Physical Systems
- Inverterbäume und Logikoptimierung im VLSI Design
- Fehleranalyse für analytische Näherungslösungen von Randwertaufgaben für elliptische partielle Differentialgleichungen
- WS2005/06
- Techniken für Suchmaschinen zum Auffinden relevanter Informationseinheiten in Web-Datenbanken
- Kunterbunte Schulinformatik: Beispiele aus Theorie und Praxis der Didaktik der Informatik
- Compiling XQuery for Relational Targets
- Situated Multi-Agent Systems for Building Self-Adaptive, Decentralized Applications
- Musical Computer Listening: Audio Melody Extraction
- Untersuchungen zur Strukturbildung in P2P-Netzen durch "Random-Walker"
- Adaptiv-iteratives Verfahren zur näherungsweisen Lösung von Differentialgleichungen
- Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen
- 3D-Artikulatorische Sprachsynthese
- SS2005
- Rendern mit Impostern
- Optimal solutions for the network design problem with uncertain demands
- From Databases To XML Suites: Pearls And Hereditary Diseases
- Planare Graphen und Schnyder Woods
- Schema Mappings in Peer Data Management Systemen (PDMS)
- PISA in aller Munde - Und die Informatische Bildung?
- ASF+SDF: Generic Language Technology for (Automated) Transformations
- Interaktive Visualisierung in der medizinischen Ausbildung, Diagnostik und Therapieplanung
- Approaches to Semantics of Scenario-Based Specifications
- Visual surveillance with Motion-JPEG2000
- IT-Projektmanagement - Möglichkeiten und Gefahren; Praktikumsmöglichkeiten an der IDG
- Numerical techniques for the dynamic optimisation of bioprocesses
- Parallel Discrete Event Simulation of Physical Systems
- Cycle extensions in chordal graph classes
- The Biochemical Factory that Fabricates Itself
- WS2004/05
- Dienstorientiertes Rechnen in mobilen Umgebungen â?? eine Chance für robuste, leistungsfähige Anwendungen
- Visualising Information Spaces
- Ein flexibles Framework zum visuellen Data Mining
- Effiziente Ähnlichkeitssuche in Bilddatenbanken
- Adaptive context-based and tree-based algorithms for image coding and denoising
- Automatische Generierung individueller biomechanischer Modelle aus medizinischen Bildern
- Formale Analyse für TTA
- Sammlung, Bereitstellung und Distribution von Musik in multimedialer Form in großen digitalen Musikbibliotheken mit Hilfe von moderner Datenbank-Technologie
- Evaluation von Softwaresystemen im Hinblick auf deren Gebrauchstauglichkeit (Usability-Evaluation) und deren Gestaltung
- Alfred North Whitehead als Prozeß- und Naturphilosoph
- Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch
- A Content-Oriented Approach to Topology Evolution and Search in Peer-to-Peer Systems
- SS2004
- Methods for Enhancing the Security of Java Card based Payment Protocols
- Beständigkeit und Zuverlässigkeit von Peer-to-Peer Informationssystemen
- Model Driven Architecture: Entwicklung von Software für eBusiness-Projekte
- überlegungen zu Informationstransformationen auf der Basis von Karnaugh-Tafeln
- Publication of public key infrastructure in digital Watermarking
- Semantic lenses for raster images
- Heuristic Modeling and Simulation in Biology
- WS2003/04
- Multiagentensysteme zur Bilderzeugung
- Constraints, Predicates, Functions and a Turtle
- Spezifikation geräteunabhängiger Benutzerschnittstellen durch Markup-Konzepte
- Usability - Evaluation Strategien zur Bewertung der Gebrauchstauglichkeit von interaktiven Web-Interfaces
- Ein Tutoring Prozess Modell für fallbasierte Intelligente Tutoring Systeme
- From System Usability Evaluation to Exploring User Experience
- Contributions to Clique-Width of Graphs
- Finden orientierter Wege in gemischten Graphen zur Zusammenhangsanalyse unterschiedlicher Areale im Gehirn
- Nutzerorientierung in Geovisualisierungssystemen
- A Hybrid Load-balancing Methodology for Symmetrical Multi-processor (SMP) Clusters
- SS2003
- Fachinformation Informatik an der UB Rostock:Literatursuche für Fortgeschrittene
- Ein theoretischer und technischer Rahmen für die explorative Modellierung und Simulation komplexer Systeme
- Methods of Navigation in 3D Space
- 3-Colourability und verbotene Teilgraphen
- Software re-engineering needs grammar engineering
- Visualisierung in der Bioinformatik
- Veranstaltungen der Regionalgruppe Rostock/Wismar der Gesellschaft für Informatik
- Zusammenarbeit
- Studium
- Studiengänge
- Ersti-Broschüre
- Mentoring-Programm
- Stundenpläne
- Wirtschaftsinformatik 1. Semester
- Wirtschaftsinformatik 2. Semester
- Wirtschaftsinformatik 7. Semester
- Wirtschaftsinformatik 6. Semester
- Wirtschaftsinformatik 4. Semester
- Wirtschaftsinformatik 2. Semester
- CE 1. Semester
- CE 2. Semester
- CE 3. Semester
- Informatik 1. Semester
- Informatik 2. Semester
- Informatik 10. Semester
- Informatik 6. Semester
- Informatik 4. Semester
- Informatik 2. Semester
- ITTI 1. Semester
- ITTI 2. Semester
- ITTI 6. Semester
- ITTI 4. Semester
- ITTI 2. Semester
- Visual Computing 1. Semester
- Visual Computing 2. Semester
- Visual Computing 3. Semester
- Lehramt Gymnasium Beifach 1.-9. Semester
- Lehramt Gymnasium Hauptfach 1.-9. Semester
- Lehramt Haupt-/Realschule Beifach 1.-9. Semester
- Lehramt Informatik Gymnasium 2.-6. Semester
- Lehramt Informatik Regionale Schulen 2.-6. Semester
- Prüfungspläne
- Ansprechpartner
- Studentische Arbeiten
- Theorie der Programmiersprachen und Programmierung
- Theoretische Informatik
- Verteiltes Hochleistungsrechnen
- Bioinformatik & Systembiologie
- Wirtschaftsinformatik
- Softwaretechnik
- Modellierung und Simulation
- Datenbank- und Informationssysteme
- Mobile Multimediale Informationssysteme
- Informations- und Kommunikationsdienste
- Visual Computing
- Adaptive und Regenerative Softwaresysteme
- Architektur von Anwendungssystemen
- Formulare und Anträge
- Stellenangebote
- Fachschaft
- Kalender
- Geschichte
- INFO.RO
[Bereichsnavigation]