Im Fachbereich Informatik wurden seit dem Jahr 2000 über 200 Promotionsverfahren erfolgreich abgeschlossen:

Datum der Aussprache	Name		Titel der Arbeit
03.05.2024	Iuliia	Brishtel	Towards Mental Imagery-Aware Systems using Physiological Sensors and Machine Learning
29.04.2024	Lovro	Bosnar	Procedural Modeling and Image Synthesis for Virtual Surface Inspection Planning
24.04.2024	Axel	Vierling	Towards Reliable Object Detection for Autonomous Off-Road and Commercial Vehicles
21.03.2024	Christian	Jilek	Self-organizing Context Spaces to Support Information Management and Knowledge Work
15.03.2024	Yuriy	Anisimov	Real-time Depth Estimation from Light Fields on Embedded Hardware
06.03.2024	Tanittha	Sutjaritvorakul	Top View Deep Learning Object Detection using Active Perception in Construction Environment
05.03.2024	Marcus	Pirron	Hardware and Software Codesign
28.02.2024	Johannes	Koch	Modeling and Simulation of Internet of Things Infrastructures for Cyber-Physical Energy Systems
15.12.2023	Christopher	Kohlstruck	Development and Evaluation of Protocols for the Operation of Wireless Ad-Hoc Networks with Quality-of-Service Requirements
15.12.2023	Felix Matthias	Stutz	Implementability of Asynchronous Communication Protocols – The Power of Choice
14.12.2023	Michail	Kokologiannakis	Automated Reasoning under Weak Memory Concurrency
03.11.2023	Torben	Fetzer	On Sinusoidal Structured Light Reconstruction – An Entire Pipeline with Improvements in Accuracy, Stability, Robustness and Speed
29.09.2023	Ahmad	Adee	Model Based System Analysis Techniques to Determine Propagation Paths of Functional Insufficiencies in Software Intensive Systems
27.09.2023	Lukas	Brausch	On efficient and precise classification of biomedical ultrasonic radio-frequency signals
20.09.2023	Dominique	Mercier	TimeFrame: A Novel Framework for Interpretable and Privacy-Preserving Deep Learning for Time Series Analysis
08.08.2023	Sarwar	Paplu	Personalized Human-Robot Interaction Based on Multimodal Perceptual Cues
19.07.2023	Christopher	Heinz	A Framework for Privacy in the Internet of Things
19.05.2023	Nico	Schäfer	On Enabling Efficient and Scalable Processing of Semi-Structured Data
21.04.2023	Alexander	Schäfer	Improving Essential Interactions for Immersive Virtual Environments with Novel Hand Gesture Authoring Tools
18.04.2023	Sk Aziz	Ali	Fast Robust Rigid and Non-Rigid Registration for Globally Consistent 3D Scene and Shape Reconstruction
14.04.2023	Yan	Cui	3D Reconstruction Algorithms and Applications with Spherical Camera and Depth Camera
13.04.2023	Chen	Qiu	Self-Supervised Anomaly Detection with Neural Transformations
31.03.2023	Muhammad Numair	Mansur	Automatically Detecting and Mitigating Issues in Program Analyzers
29.03.2023	Avraam	Chatzimichailidis	Alternative Optimization Methods for Training of Large Deep Neural Networks
15.02.2023	Sebastian	Palacio Bustamante	Towards Interpretable Models for Computer Vision
09.02.2023	Aman Shankar	Mathur	Programmatic Interfaces for Design and Simulation
01.02.2023	Syed Tahseen Raza	Rizvi	From Scientific Publications to Community Insights: A Comprehensive Framework for Analyzing Academic Communities using Scientific Publications
21.12.2022	Steve	Dias da Cruz	Towards Reliable Computer Vision Feature Extraction by Novel Autoencoder Methods
21.12.2022	Junaid	Younas	From Cognition 2 Application: Bridging Gaps Between Formal Education & AI
19.12.2022	Muhammad Nabeel	Asim	An Efficient Automated Machine Learning Framework for Genomics and Proteomics Sequence Analysis
14.12.2022	Manuel Lucas	Dossinger	Optimizing Multi-Way Joins for Adaptive, Scale-out Stream Processing
08.12.2022	Alexander	Köpper	Behavior-based Mobile Robot Control on a Hybrid CPU-FPGA Architecture - iB2C on SoPC
07.12.2022	Susanne	Braun	Architecting Safe Eventually Consistent Systems
06.12.2022	Markus	Schröder	Building Knowledge Graphs from Messy Enterprise Data
25.11.2022	Shailza	Jolly	Building Natural Language Generation and Understanding Systems in Data Constrained Settings
25.11.2022	Alexander	Prohaska	Modular Safety Analysis with Dependency-aware Fault Trees
04.11.2022	Hammad Tanveer	Butt	Improved Sensor Fusion and Deep Learning of 3D Human Pose From Sparse Magnetic Inertial Measurement Units
28.10.2022	Rodrigo	Meneses Porto Falcao	Data-driven context modeling for the elicitation of context-aware functionalities
27.10.2022	Mohamed	Selim	Deep Learning-based Head Orientation and Gender Estimation from Face Image
10.10.2022	Patrick	Wolf	Cognitive Processing in Behavior-Based Perception of Autonomous Off-Road Vehicles
26.09.2022	Paulo Fernando	Aragao Alves Junior	Time-Slotted Schedule-based Channel Sensing in 802.11 Ad-hoc Networks
12.09.2022	Ahmet	Firintepe	Deep Learning-based AR Glasses and Head Tracking for Automotive Augmented Reality
05.09.2022	Kiran	Mathews	Protocols and Algorithms for reliability-constrained Quality-of-Service Routing in IEEE 802.11 (WiFi) Networks in Contention Mode
12.08.2022	Sizhen	Bian	Human Activity Recognition with Field Sensing Technique
03.08.2022	Muhammad Naseer	Bajwa	Towards PACE-CAD System: Pragmatic, Accurate, Confident and Explainable Computer-Aided Diagnosis
29.07.2022	Felix	Claus	Digital Twins in Self Compensating Assembly Processes
13.07.2022	Christopher Paul	Kappe	Visual Analysis of Variability and Features of Climate Simulation Ensembles
06.07.2022	Frank	Wawrzik	Knowledge Representation in Engineering 4.0
24.06.2022	Kaushik	Mallik	Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems
24.06.2022	Ivan	Gavran	Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods
19.05.2022	Kilian	Werner	Towards Distributed Task-based Visualization and Data Analysis
06.05.2022	Anna-Pia	Lohfink	Comparative Uncertainty Visualization for High-Level Analysis of Scalar- and Vector-Valued Ensembles
29.04.2022	Felix	Möhrle	Automated Fault Tree Analysis by Composition of Type Annotated Component Fault Trees
08.04.2022	Alexander	Klaus	Efficiency Improvements in the Quality Assurance Process for Data Races
24.03.2022	Paul	Nikolaus	Dealing with Dependence in the End-to-End Performance Analysis in Stochastic Network Calculus
18.03.2022	René	Schuster	Data-driven and Sparse-to-Dense Concepts in Scene Flow Estimation for Automotive Applications
14.03.2022	Tobias	Groll	A Hierarchical Approach for Autonomous Planning and Execution of Excavation Tasks
01.02.2022	Rodrigo Augusto	Da Silva Alves	Towards Comprehensive Cluster-induced Methods for Recommender Systems
07.12.2021	Marko	Doko	Program Logic for Weak Memory Concurrency
01.12.2021	Utkarsh	Upadhyay	Models and Methods for Dissemination of Information and Knowledge Online
08.11.2021	Mohammad	Al-Naser	Recognition, Analysis, and Assessments of Human Skills using Wearable Sensors
21.10.2021	Sungho	Suh	Improving Classification Performance under Imbalanced Data Conditions using Generative Adversarial Networks
10.09.2021	Omair	Rafique	Embedded Software Synthesis using Heterogeneous Dataflow Models
07.09.2021	Kareem	Amin	DeepKAF: A Knowledge Intensive Framework for Heterogeneous Case-Based Reasoning in Textual Domains
19.08.2021	Mohsin	Munir	A Hybrid Framework for Time-series Analysis - From Anomaly Detection to Uncertainty Estimation and Explainability
17.08.2021	Marc	Dahlem	Using Enhanced Logic Programming Semantics for Extending and Optimizing Synchronous System Design
28.07.2021	Patrick	Ruediger-Flore	Know What You See – Visual Analytics enabling Machine Learning Performance Evaluation
15.06.2021	Johannes	Schwank	Interactive Visualization of Complex Data – Concepts Designs and Evaluations for Uncertain and Large Data Application
11.06.2021	Luiz Fabio	Leite Junior	A Dynamic Risk Assessment Approach for Cooperative Medical Cyber-Physical Systems
19.05.2021	Mareike	Bockholt	Analysis of network flows in complex networks
16.04.2021	Sarvenaz	Salehi Mourkani	IMU-based Suit for Strength Exercises: Design Calibration and Tracking
12.04.2021	Benjamin	Bischke	Machine Learning-Aided Disaster Response
09.04.2021	Petra	Gospodnetic	Visual Surface Inspection Planning for Industrial Applications
12.03.2021	Patrick	Helber	Machine Learning for Satellite Image Analysis – A Spatial Mapping of Urban Areas
24.02.2021	Martin	Jenckel	Sequence Learning for OCR in Unsupervised Taining Cases
12.02.2021	Marc	Schwalbach	An Efficient CAD-Based Multidisciplinary Optimization Framework for Turbomachinery Design
10.02.2021	Birhanu Hailu	Belay	Amharic Text Image Recognition: Deep Learning for Amharic Text-image
11.01.2021	Christopher	Kramer	Protokolle und Algorithmen für zuverlässige drahtlose Kommunikationssysteme
27.11.2020	Peter	Zeller	Tool Supported Specification and Verification of Highly Available Applications
26.11.2020	Manohar	Vanga	High-Throughput and Predictable VM Scheduling for High-Density Workloads
19.11.2020	Markus	Miezal	Models, methods and error source investigation for real-time Kalman filter based inertial human body tracking
11.11.2020	Muhammad Jameel Nawaz	Malik	Deep Learning-based 3D Hand Pose and Shape Estimation from a Single Depth Image: Methods, Datasets and Application
10.11.2020	Florian	Furbach	Verification with Memory Models as Input
03.11.2020	Markus	Engel	Robust Channel Hopping Sequences in Cognitive Radio Networks
22.10.2020	Arpan Bharat	Gujarati	Towards “Ultra-Reliable” CPS: Reliability Analysis of Distributed Real-Time Systems
11.09.2020	Atabak	Nezhadfard	Integration and design of actuation redundancy in robotic leg CARL based on the physiology of biarticular muscels
17.07.2020	Mohammed	Abufouda	Learning from networked-data: Methods and models for understanding online social networks dynamics
10.07.2020	Jason Raphael	Rambach	Learning Priors for Augmented Reality Tracking and Scene Understanding
08.07.2020	Marius	Obentheuer	Transfer of Human Motion Primitives for Digital Human Model Control in the Scope of Ergonomic
03.07.2020	Kripasindhu	Sarkar	3D Shape Representations for Learning
10.06.2020	Tushar	Karayil	Arrangement of Image Information with Deep Neural Networks
09.06.2020	Weiping	Qu	On-Demand ETL for Real-Time Analytics
22.05.2020	Dennis	Mosbach	Geometric Modeling for Adaptive Surface Reconstruction of Computed Tomography Data
20.05.2020	Zuhari	Zafar	Multimodal Fusion of Human Behavioral Traits: A Step towards Emotionally Intelligent Human-Robot Interaction
07.02.2020	Patrick	Fleischmann	Map-aided Off-road Path Following for Autonomous Vehicles
05.02.2020	Dennis	Schwerdel	Eine flexible Architektur für verteilte Netzwerktestbeds
03.02.2020	Anne	Heß	Role-Specific Views on Software Requirements Specifications – An Empirical Approach
31.01.2020	Anoop	Bhagyanath	Code Generation for Synchronous Control Asynchronous Dataflow Architectures
20.12.2019	Agnes Johanna	Grünerbl	Leveraging Motion and Location Tracking for Supporting Cognitive State and Behavior Analysis
11.12.2019	Manuel	Rudolph	Generation of Usable Policy Administration Points for Security and Privacy
06.12.2019	Patrik	Feth	Dynamic Behavior Risk Assessment for Autonomous Systems
06.12.2019	Reinhard	Munz	Towards Usability in Private Data Analytics
22.11.2019	Christian	Bailer	New Data Based Matching Strategies for Visual Motion Estimation
20.11.2019	Vladislav	Golyanik	Robust Methods for Dense Monocular Non-Rigid 3D Reconstruction and Alignment of Point Clouds
29.10.2019	Bo	Zhou	Textile Pressure Mapping (TPM) for Pervasive and Wearable Activity Recognition: Sensing, Framework and Applications
25.10.2019	Aditya	Tewari	Prior-Knowledge Addition to Spatial and Temporal Classification Models with Demonstration on Hand Shape and Gesture Classification
10.09.2019	Binish	Tanveer	Utilizing change impact analysis for improving effort estimation in agile software development
09.09.2019	Sebastian	Müller	Contract-Based Safety Certification for the Dynamic Adaptation Behavior of Networked Embedded Systems
02.09.2019	Alessandro Assi	Marro	Framework for Local Restructure of Meshed Surfaces
27.08.2019	Tim	Biedert	Towards Efficient Ray Casting-Based Visualization on Heterogeneous HPC Architectures
15.08.2019	Evica	Milchevski	Similarity Search Algorithms over Top-k Rankings and Class-Constrained Objects
02.08.2019	Mathias	Weber	Access Control for Weakly Consistent Replicated Information Systems
30.07.2019	Thorsten	Ropertz	Design and Analysis of Behavior-Based Systems using Formal Techniques
26.07.2019	Tripti	Jain	Nonblocking On-Chip Interconnection Networks
19.07.2019	Jonas	Lukasczyk	Topology-Based Characterization and Visual Analysis of Feature Evolution in Large-Scale Simulations
17.07.2019	Steffen	Schütz	CARL – A Compliant Robotic Leg Designed for Human-Like Bipedal Locomotion
16.07.2019	Soham	Chakraborty	Correct Compilation of Relaxed Memory Concurrency
15.07.2019	Miao	Fang	Model-Based Software Derivation for Industrial Automation Management Systems
12.07.2019	Philipp	Diebold	Agile Practice Experience Repository for Process Improvement
17.06.2019	Valentin	Fütterling	Scalable Algorithms for Realistic Real-time Rendering
07.06.2019	Maximilian	Senftleben	Modelling Memory Consistency Models for Formal Verification
10.05.2019	Shoya	Ishimaru	Meta-Augmented Human: From Physical to Cognitive Towards Affective State Recognition
06.05.2019	Andreas	Maier	Identification and Specification of Hedonic Quality in User Requirements
03.05.2019	Christian	Jung	Context-aware Security
03.05.2019	Filip	Niksic	Combinatorial Constructions for Effective Testing
29.04.2019	Dominik	Rost	Task-Specific Architecture Documentation for Developers
10.04.2019	Kiril	Panev	Exploring Data through Ranked Entities
05.04.2019	Benjamin	Karer	Qualitative Principles of Visual Information Encodings
27.03.2019	Qi	Liu	Adaptive Control Framework in B4LC with Optimization and Reinforcement Learning
26.03.2019	Deepthi Devaki	Akkoorath	Scalable Consistency in the Multi-core Era
01.03.2019	Markus	Kronenberger	Algorithmic Curvature Theories in 3D Image Processing
20.12.2018	Lars	Hüttenberger	Visualization and Analysis of Multifields using Pareto Sets
05.12.2018	Malte	Brunnlieb	Source Code Transformation based on Architecture Implementation Patterns
30.11.2018	Hassan	Issa	Assessment, Semantification and Applications of Sensor Data
08.11.2018	Matthias	Kreil	Wearable Activity Recognition using Invariant Signal Segments
30.10.2018	Mathias	Hummel	Trajectory-Based Analysis of Flow Simulation Data
11.09.2018	Koninika	Pal	Mining and Querying Ranked Entities
20.08.2018	Federico Alberto	Raue	Association Learning inspired by the Symbol Grounding Problem
06.07.2018	Christina	Gillmann	Image Processing under Uncertainty
29.06.2018	Matthias	Scher	Mobility Improves the Security of Location Awareness in Wireless Networks
29.06.2018	Sude	Tavassoli	Analyzing Centrality Indices in Complex Networks: an Approach Using Fuzzy Aggregation Operators
14.06.2018	Johannes	Kloos	Heap-based reasoning about asynchronous programs
11.06.2018	Max	Sagebaum	Advanced techniques for the semi automatic transition from simulation to design software
16.05.2018	Gregor	Zolynski	Cognitive Maps for Autonomous Machines in Construction and Civil Engineering
11.05.2018	Daniel	Berger	Design and Analysis of Adaptive Caching Techniques for Internet Content Delivery
12.04.2018	Sebastian	Schöffel	Visualizing Multi-Variate Process Data - Concepts, Applications and Evaluation
09.04.2018	Jrn	Hees	Simulating Human Associations with Linked Data
26.03.2018	Diana	Fernandez-Prieto	Visualization for Simulation-Based Decision Support in Manufacturing
22.03.2018	Tobias	Post	Visual Analysis for Graphs, Networks and Flows
22.03.2018	Franca	Rupprecht	Scalable Human-Centered Decision Making Processes in Virtual Environments
20.03.2018	Riaz	Ahmad	DEEPASHTO - An End-to-End OCR System for Pashto Cursive Script
12.03.2018	Konstantin	Holl	Quality Assurance for Mobile Business Applications
18.01.2018	Jens	Weppner	Wireless Signal Based Crowd Condition Estimation
15.12.2017	John Michael	Patchett	Delivering Supercomputing to the Ultrascale
10.11.2017	Xian	Li	Induction-based Verification of Synchronous and Hybrid Programs
24.10.2017	Christian	Schmitt	A Model for Structuring and Reusing Security Requirements Sources
25.09.2017	Johannes	Schildgen	Datentransformationen in NoSQL-Datenbanken
21.09.2017	Yan	Chen	Implicit Self-Adjusting Computation for Purely Functional Programs
01.09.2017	Oliver	Wasenmüller	Towards an Accurate RGB-D Benchmark, Mapping and Odometry as well as their Applications
21.08.2017	Caetano	Sauer	Modern techniques for transaction-oriented database recovery
31.07.2017	Yong	Hu	Temporal Data Management and Incremental Data Recomputation with Wide-column Stores and MapReduce
12.07.2017	Hadil	Abukwaik	Proactive Support of Conceptual Interoperability Analysis of Software Units
27.03.2017	Michael	Roth	Qualitative Reliability Analysis of Software-Controlled Systems using State/Event Fault Trees
12.12.2016	Michael	Arndt	Safe and Cost-Efficient Mobile Robot Navigation in Aware Environments
08.12.2016	Julia	Portl	Visual Analysis of Neuromuscular Junctions
06.12.2016	Thomas	Pfister	Robust Localization for Mobile Robots in Forest Environments
02.12.2016	Wolfgang	Schlauch	Analysis of Different Random Graph Models in the Identification of Network Motifs in Complex Networks
25.11.2016	Lisa	Kiekbusch	Analysis and Verification of Complex Robot Systems using Behaviour-Based Control
25.11.2016	Gerald	Pirkl	Magnetic Field-based Localization System
21.11.2016	Muhammad Zeshan	Afzal	Deep Learning in Space and Time for Document Image Processing
24.10.2016	Michael	Beck	Advances in Theory and Applicability of Stochastic Network Calculus
14.10.2016	Georgel	Calin	Verification Techniques for TSO-Relaxed Programs
27.09.2016	Abbas	Siddiqui	Requirements Aware Template Based Protocol Graphs for Service Oriented Network Architecture
23.09.2016	Markus	Weber	Automatic Detection of Modes in Human Computer Interaction
08.09.2016	Carna	Radojicic	Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
08.09.2016	Salah Falih	Al-Darraji	Perception of Nonverbal Cues for Human-Robot Interaction
29.08.2016	Max	Steiner	Integrating Security Concerns into Safety Analysis of Embedded Systems Using Component Fault Trees
15.07.2016	Daniel	Schmidt	Shaping the Future – A Control Architecture for Autonomous Landscaping with an Excavator
12.07.2016	Steffen	Bondorf	Worst-Case Performance Analysis of Feed-Forward Networks - An Efficient and Accurate Network Calculus
08.07.2016	Sebastian	Wild	Dual-Pivot Quicksort and Beyond: Analysis of Multiway Partitioning and Its Practical Potential
06.07.2016	Jie	Zhao	Advanced Walking Skills for Bipedal Locomotion
24.06.2016	Liliana Katherine	Guzman Rehbein	Empirically-based Method for Performing Qualitative Synthesis in Software Engineering
22.06.2016	Pablo	Oliveira Antonino de Assis	Improving the Consistency and Completeness of Safety Requirements Specifications
17.06.2016	Hassan	Mohammad	Verification and Performance Measurement for Transport Protocol Parallel Routing of an AUTOSAR Gateway System
14.06.2016	Jens	Wettach	Exploration Strategies for Indoor Environments
03.06.2016	Yasmin	Al-Zokari	Interactive Visualizations Supporting Minimal Cut Set Analysis II
13.05.2016	Andre	Schmeißer	Contact Modeling Algorithms for Fiber Dynamics Simulations
22.04.2016	Michael	Kläs	HyDEEP: Transparent Combination of Measurement and Expert Data for Defect Prediction
21.03.2016	Istemi Ekin	Akkus	Towards a Non-tracking Web
11.03.2016	Bernd	Krolla	Heterogeneous Reconstruction Approaches for Object and Scene Representation
10.03.2016	Zilong	Wang	Algorithms and Tools for Verification and Testing of Asynchronous Programs
07.03.2016	Wonmin	Byeon	Image Analysis with Long Short-Term Memory Recurrent Neural Networks
12.02.2016	Thomas	Bauer	Enabling Functional Integration Testing by Using Heterogeneous Models
25.01.2016	Norman	Riegel	Prioritization in Incremental Requirements Engineering
22.01.2016	Ala	Abuthawabeh	Multi-Edge Graph Visualizations for Fostering Software Comprehension
03.11.2015	Takumi	Toyama	Towards Wearable Attention-Aware Systems in Everyday Environments
22.10.2015	Anne	Berres	Discrete Geometric Methods for Surface Deformation and Visualisation
20.10.2015	Aneta	Kabzeva	Multi-Layer Modeling of Service Networks
19.10.2015	Muhammad Imran	Malik	Automatic Signature Verification: Bridging the Gap between Existing Pattern Recognition Methods and Forensic Science
24.07.2015	Jens	Bauer	Large Display Interaction Using Mobile Devices
24.07.2015	Ragaad	AlTarawneh	Interactive Visual Support for Understanding the Structural and Behavioural Aspects of Embedded Systems
24.07.2015	Hao	Wang	Modeling and Performance Analysis of Networks with Flow Transformations
17.07.2015	Taimur	Khan	Interactive Visual Analysis of Software Structures
17.07.2015	Kathrin	Häb	Visualization and Analysis Techniques for Urban Microclimate Data Sets
03.07.2015	Christopher	Armbrust	Design and Verification of Behaviour-Based Systems Realising Task Sequences
26.06.2015	Martin	Memmel	Socially Enhanced Access to Digital Resources - Aggregating Resources and Metadata in a Social Hub
19.06.2015	Georg	Zetzsche	Monoids as storage mechanisms
12.06.2015	Rahamatullah	Khondoker	Description and Selection of Communication Services for Service Oriented Network Architectures
29.05.2015	Daniel	Günther	Ein Modell zur Auswahl von funktional abhängigen Blöcken in flexiblen Netzwerkarchitekturen
08.05.2015	Dennis	Christmann	Distributed Real-time Systems - Deterministic Protocols for Wireless Networks and Model-Driven Development with SDL
24.04.2015	Egor	Derevenetc	Robustness against Relaxed Memory Models
16.04.2015	Bo	Zhang	VITAL - Reengineering Variability Specifications and Realizations in Software Product Lines
13.04.2015	Matthias	Wilhelm	Feasibility and Applications of a Wireless Firewall
27.03.2015	Björn	Forcher	Generierung verständlicher Erklärungen für Semantic Web Applikationen
06.03.2015	David	Bannach	Tools and Methods to Support Opportunistic Human Activity Recognition
27.02.2015	Sören	Kemmann	SAHARA A Structured Approach for Hazard Analysis and Risk Assessments
26.02.2015	Daniel	Schall	Energy Efficiency in Database Systems
02.02.2015	Mayce	Al Azawi	Statistical Language Modeling for Historical Documents using Weighted Finite State Transducers and Long Short-Term Memory
23.01.2015	Ilham	Kurnia	An Automata-Theoretic Approach to Open Actor System Verification
22.01.2015	Daniel	Cernea	User-Centered Collaborative Visualization
09.01.2015	Slawomir	Duszynski	Analyzing Similarity of Cloned Software Variants using Hierarchical Set Models
01.12.2014	Ely Wagner	Aguiar de Oliveira	A Measurement-based Process for Assessing Grid Infrastructures
13.11.2014	Tino	Fleuren	Workflow-Skelette: Konzeptionen zur Modellierung und effizienten Ausführung wissenschaftlicher Workflows
07.11.2014	Manuel	Gesell	Interactive Verification of Synchronous Systems
06.11.2014	Sven	Linden	The LIR Space Partitioning System applied to the Stokes Equations
17.10.2014	Joachim	Götze	Ein Modell zur generischen Nutzungserfassung in heterogenen IT-Infrastrukturen auf der Basis serviceorientierter Designprinzipien
02.10.2014	Nils	Petersen	Acquiring and transferring workflow knowledge using Augmented reality
26.09.2014	Alexey	Reznichenko	Private-By-Design Advertising and Analytics: From Theory to Practice
31.07.2014	Peter	Salz	Towards Patient-specific Electrical Impedance Tomography using 3D Thorax Models
31.07.2014	Max	Langbein	Higher Order Moment Invariants and their Applications
17.07.2014	Simon	Hufnagel	Towards the Efficient Creation of Accurate and High-Performance Virtual Prototypes
11.07.2014	Daniel	Engel	Explorative and Model-based Visual Analysis of Multivariate Data
11.07.2014	Sheik Faisal	Rashid	Optical Recognition - A Combined ANN/HMM Approach
11.07.2014	Damian	Borth	Visual Learning of Socio-Video Semantics
10.07.2014	Rolf	Westerteiger	Virtual Reality Methods for Research in the Geosciences
10.07.2014	Klaus	Denker	Acquisition and On-line Reconstruction of 3D Point Data from Hand-held Laser Scanners and Multi-camera Stereo matching
13.06.2014	Alain	Pagani	Reality models for efficient registration in augmented Reality
23.05.2014	Syed Atif	Mehdi	Using Human Daily Routine for Optimizing Search Process using a Service Robot in Elderly Care Applications
16.05.2014	Malte	Kiesel	Facilitating Collaborative Ontology-Based Annotations in Communities of Interest
16.05.2014	Natallia	Kotava	Applications of Computational topology to the Visualization of Scalar Fields
09.05.2014	Kristin	Tuot	Process-Driven Document Analysis and Understanding
11.04.2014	Zhensheng	Guo	A Scenario-based Approach for Identifying Complete Safety-oriented Requirements
03.03.2014	Frank	Weinberg	Position-and-Length-Dependent Context-Free Grammars ? A New Type of Restricted Rewriting
21.02.2014	Bastian	Zimmer	Efficiently Deploying Safety-Critical Applications onto Integrated Architectures
14.02.2014	Markus	Goldstein	Anomaly Detection in Large Datasets
10.01.2014	Daniel	Schneider	Conditional Safety Certification for Open Adaptive Systems
09.01.2014	Attila	Reiss	Personalized Mobile Physical Activity Monitoring for Everyday Life
19.12.2013	Gerald	Bauer	Multi-Modal Activity Recognition Systems with Minimal Training Data and Unobtrusive Environmental Instrumentations
02.12.2013	Patrick	Michel	A Formal Framework for Maintaining the Integrity of Structured Data
29.11.2013	Michail	Anastasopoulos	Evolution Control for Software Product Lines: An Automation Layer over Configuration Management
08.11.2013	Simon	Schröder	Stochastic Methods for Fiber-Droplet Collisions in Flow Processes
08.11.2013	Daniel	Baudisch	Synthesis of Synchronous Programs to Parallel Software Architectures
22.10.2013	Matthias	Reif	Automatic Support for the Development of Classification Systems
18.10.2013	Mike	Gemünde	Clock Refinement in Imperative Synchronous Languages
13.09.2013	Ralf	Biedert	Gaze Based Human-Text Interaction - Text 2.0
29.08.2013	Yannick	Welsch	Reasoning about Backward Compatibility of Class Libraries
23.07.2013	Peter-Scott	Olech	Challenges of User-Centered Applications - Visualization on and Interaction with Arbitrary Display Environments
19.07.2013	Christian	Wagner	Online Monitoring and Computational Steering of Passive Parallel CFD Simulations
03.07.2013	Marc	Krämer	Modellgetriebene Entwicklung von Kommunikationsprotokollen für vernetzte Regelungssysteme
21.06.2013	Rasmus	Adler	A model-based approach for exploring the space of adaption behaviors of safety-related embedded systems
06.05.2013	Kai	Breiner	AssistU - A framework for user interaction forensics
18.01.2013	Thomas	Jörg	Incremental Recomputations in Materialized Data Integration
17.01.2013	Daniel	Schmidt	Safe Navigation of a Climbing Robot Risk Assessment and Control Methods
19.12.2012	Sebastian	Adam	Incorporating Software Product Line Knowledge into Requirements Processes
14.12.2012	Nibal	Nayef	Geometric-Based Smbol Spotting and Retrieval in Technical Line Drawings
14.12.2012	Sebastian	Bächle	Separating Key Concerns in Query Processing
14.11.2012	Wint Yi	Poe	Design Problems in Large-Scale, Time-Sensitive WSNs
08.11.2012	Sebastian	Blank	A Biological Inspired Approach for Sensor Data Management in Modualr Agricultural Machines
06.11.2012	Syed Saquib	Bukhari	Generic Methods for Document Layout analysis and Preprocessing
25.10.2012	Yi	Yang	Visual Support for Safety Analysis
19.10.2012	Kai	Höfig	Failure-Dependent Timing Analysis - A New Methodology for Probalistic Worst-Case Execution Time Analysis
12.10.2012	Anika	Schulz	Sampling and Approximation in the Context of RNA Secondary Structure Prediction - Algorithms and Studies Based on Stochastic Context-Free Modeling
02.10.2012	Matthias	Naab	Enhancing Architecture Design Methods for Improved Flexibility in Long-Living Information Systems
28.09.2012	Darko	Obradovic	Computational Social Nework Analysis of Authority in the Blogoshere
14.08.2012	Yi	Ou	Caching for flash-based databases and flash-based caching for databases
18.07.2012	Jochen	Hirth	Towards Socially Interactive Robots - Designing an Emotion-based Control Architecture
22.06.2012	Fang	Chen	The simulation and visualization of Multi-phase Fluid
15.06.2012	Frank	Elberzhager	A Systematic Integration of Inspection and Testing Processes for Focusing Testing Activities
02.05.2012	Benjamin	Adrian	Information Extraxtion on the Semantic Web
02.03.2012	Christopher	Tuot	A Collaborative Knowledge Management Approach to Provide Better Agricultural Decision Support
30.01.2012	Igor	Menzel	Optimizing the Completeness of Textual Requirements Documents in Practice
20.01.2012	Florian	Schmidt	Funktionale Absicherung aktiver kamarabasierter Fahrerassistenzsysteme durch Hardware-in-the-Loop-Tests
19.01.2012	Kerstin	Bauer	A New Modelling Language for Cyber-physical Systems
13.01.2012	Dominik	Domis	Integrating Fault Tree analysis and Component-Oriented Model-Based Design of Embedded Systems
19.12.2011	Marcus	Ciolkowski	An Approach for Quantitative Aggregation of Evidence from Controlled Experiments in Software Engineering
16.12.2011	Sebastian	Petsch	Visualization Methods for Sustainable Planning
13.12.2011	Frank	Böhr	Model-based Statistical Testing of Embedded Reqal-Time Software with Continuous and Discrete Signals in a Concurrent Environment
12.12.2011	Nikolas	Nehmer	Exception Handling - A Systematic Log-Based Approach
09.12.2011	Johannes	Schneider	On the Ambiguity of Erasing Morphisms
16.11.2011	Ralf	Carbon	Architecture-Centric Software Producibility Analysis
26.10.2011	Gabriele	Weiler	Consistency checking for Ontology-Based Workflows
17.10.2011	Martin	Roehder	Ein situativ entscheidendes Fahrzeugsystem für den vorausschauenden Fußgängerschutz
30.09.2011	Karsten	Schmidt	Self-Tuning Storage and Indexing for Native XML DBMSs.
05.09.2011	Daniel	Burkhart	Subdivision for Volumetric Finite Elements
23.08.2011	Christopher	Weber	Methods for Detection and Reconstruction of Sharp Features in Point Cloud Data
25.07.2011	Gerrit	Hanselmann	On the priciple of heterogeneous redundancy based Bayesian approach to integrate static and dynamic fault prediction models
22.07.2011	Bernhard	Milla	Monte Carlo Complexity of Intitial Value Problems and Indefinite Integration
21.07.2011	Andreas	Weiner	Cost-based XQuery Optimization in Native XML Database Systems-Concepts, Implementation, and Empirical Evaluation
24.06.2011	Thomas	Patzke	Sustainable Evolution of Product Line Infrastructure Code
21.06.2011	Ansgar	Lamersdorf	Model-based Decision Support of Task Allocation in Global Software Development
02.05.2011	Mesut	Ipek	Eine Testfallspezifkationssprache für das funktionsorientierte Testen von reaktiven eingebetteten Systemen im Automobilen Bereich
28.04.2011	Michael	Schlemmer	Pattern Recognition for Feature Based and Comparative Visualization
21.04.2011	Norbert	Schmitz	Dynamic Modeling of Communication Partners for Socially Interactive Humanoid Robots
24.02.2011	Bernd-Helge	Schäfer	Control System Design Schemata and their Application in Off-road Robotics
09.02.2011	Harald	Obermaier	Multi-Field Visualization
09.02.2011	Sebastian	Thelen	Visualization and Interaction Metaphors for Large High-Resolution Displays
04.02.2011	Alexander	Geraldy	Adaptive Routingprotokolle für drahtlose, mobile Ad-hoc-Netzwerke
21.01.2011	Bernd	Reuther	Ein serviceorientierter Ansatz zur Abstraktion von Kommunikationsprotokollen Im Internet
26.11.2010	Thorsten	Keuler	An Aspect-oriented Approach Improving Architecture Design Efficiency
05.11.2010	Jan	Schäfer	A Programming Model and Language for Concurrent and Distributed Object-Oriented Systems
24.09.2010	Martin	Proetzsch	Development Process for Complex Behavior-Based Robot Control Systems
17.09.2010	Manuel	Möller	Fusion of Spatial Information Models with Formal Ontologies in the Medical Design
15.07.2010	Jörg	Dörr	Elicitation of a Complete Set of Non-Functional Requirements
15.07.2010	Ribeiro Leonardo	Andrade	A Framework for XML Similarity Joins
29.06.2010	Georg	Buscher	Using Eye Tracking to Capture Attention and Personalize Search
28.06.2010	Steffen	Wolf	Optimizing Problems in Self-Organizing Networks
18.06.2010	Joost	van Beusekom	Optical Document Security in High Volume Office Environments
21.05.2010	Boris	Stumm	Änderungsmanagement in großen Informationssystemen
12.05.2010	Jens	Knodel	Sustainable Structures in Software Implementations by Live Compliance Checking
10.05.2010	Ove	Armbrust	SCOPE: An Approach for Scoping Software Processes
30.03.2010	Jose De Aguiar	Moraes Filho	Summarizing XML Documents: Contributions, Empirical Studies, and Challenges
10.03.2010	Matthias	Priebe	On the Design of a Middleware for Super-Peer Desktop Grids
12.02.2010	Andreas	Morgenstern	Symbolic Controller Synthesis for LTL-Specifications
08.02.2010	Roland	Neumann	Orthogonalisierte Softwaremaße in der Fehlerprognose
29.01.2010	Sven	Schwarz	Context Awareness and Context-Sensitive Interfaces for Knowledge Work support
17.12.2009	Christian	Webel	A Formal Approach to the Development of Network Quality-of-Service
27.11.2009	Jürgen	Göres	A Model Management Framework for Information Integration
20.11.2009	Isabel	John	Patternbased Documentation Analysis for Software Product Lines
20.11.2009	Patric	Keller	Adaptive Extraction and Representation of Geometric Structures from Unorganized 3D Point Sets
20.11.2009	Oliver	Rübel	Linking Automated analysis and Visualization with application in Development Biology and High-energy Physics
19.11.2009	Martin	Soto	The DeltaProcess Approach to Systematic Software Process Change Management
09.10.2009	Adrian	Ulges	Visual concept Learning from User-tagged Web Video
17.07.2009	Christian	Mathis	Storing, Indexing, and Querying XML Documents in Native XML Database Management Systems
07.07.2009	Matthias	Groß	Towards Scientific Applications for Interactive Ray Casting
29.06.2009	Jochen	Müller	Systematische Entwicklung serviceorientierter Workflows - Ein Beitrag zur prozessorientierten Komposition von Diensten in Anwendungsdomänen
05.06.2009	Leopold	Sauermann	The Gnowsis Semantic Desktop approach to Personal Information Management
07.05.2009	Eric	Ras	Learning spaces: automatic Context-Aware Enrichment of Software Engineering
29.04.2009	Andreas	Jedlitschka	An Emprical Model of Software Managers' Information Needs for Software Engineering Technology Selection
20.04.2009	Marek	Gawkowski	Formal Framework for Proof Generating Optimizers
27.03.2009	Tim	Braun	Cost-Efficient Global Robot Navigation in Rugged Offroad Terrain
24.03.2009	Gabriele	Bleser	Towards Visual-Inertial SLAM for Mobile Augmented Reality
06.03.2009	Carsten	Hillenbrand	Sicheres Klettern eines radgetriebenen Roboters mit Unterdruckkammern an porösen Flächen
23.02.2009	Ingmar	Fliege	Component-based Development of Communication Protocols
20.02.2009	Thomas	Kuhn	Model Driven Development of MacZ - A QoS Medium Access Control Layer for Ambient Intelligence Systems
16.02.2009	Jan Olaf	Blech	Certifying System Translations Using Higher Order Theorem Provers
13.02.2009	Oliver	Wirjadi	Models and Algorithms for Image-Based Analysis of Microstructures
06.02.2009	Christian	Denger	SafeSpection - A framework for Systemization and Customization of Software Hazard Identification by Applying Inspection Concepts
26.11.2008	Robert	Kalcklösch	Gossip-Based Diagnosis of Arbitrary Component-Oriented Systems
12.11.2008	Markus	Trapp	Generating User Interfaces for ambient Intelligence Systems - Introducing Client Types as Adaption Factor
10.11.2008	Alexis	Ocampo	The REMIS Approach to Rationale-based Support for Process Model Evolution
31.10.2008	Jens	Heidrich	Goal-oriented Quantitative Software Project Control
08.10.2008	Ina	Schaefer	Integrating Formal Verification into Model-based Development of Adaptive Embedded Systems
07.10.2008	Adam	Trendowicz	Software Effort Estimation with Well-Founded Causal Models
30.09.2008	Frank	Michel	Simulation und Visualization of In-and Outdoor Sound
09.07.2008	Burkhard	Lehner	Meshing Techniques for Image/Video Compression and Surface Construction
20.06.2008	Tom	Bobach	Natural Neighbor Interpolation - Critical Assessment and New Contributions
30.05.2008	Faisal	Shafait	Geometric Layout Analysis of Scanned Documents
13.05.2008	Inga	Scheler	Analyse und Visualisierung raumplanerischer Prozesse mit Hilfe von Voronoi-Diagrammen
25.04.2008	Torsten	Bierz	Intuitive Interaction for Immersive Visualization Systems
21.04.2008	Markus	Hillenbrand	Serviceorintierung im Internet
11.04.2008	Ariane	Middel	Visualizing Urban Futures
11.04.2008	Eduard	Deines	Acoustic Simulation and Visualization Algorithms
02.04.2008	Dirk	Henrici	Security and Privacy in Large-scale RFID Systems
04.03.2008	Thomas	Kleinberger	Ein Modell für das situative Lernen mit adaptiven kontinuierlichen Medien
20.02.2008	Stefan	Agne	Bench-Marking der Text-basierten Anteile eines exemplarischen DAU-Systems
31.01.2008	Alexander	Hilliger von Thile	Datenbereitstellung für business-Intelligence-analysen aus komplexen ad-hoc Prozessen
18.01.2008	Holger	Diekmann	Software Resource Consumption Engineering for Mass Produced Embedded Systems Families
21.12.2007	Philipp	Dopichaj	Content-oriented retrieval on document-centric XML
14.12.2007	Hijazi	Younis	Feature Based Visualization
19.10.2007	Christoph	Garth	Visualization of Complex Three-Dimensional Flow Structures
12.10.2007	Ingo	Ginkel	Analysis und Tuning Techniques for Subdivision Algorithms
06.07.2007	Heiko	Maus	Workflow-Kontext zur Realisierung prozessorientierter Assistenz in Organisational Memories
29.06.2007	Rüdiger	Grammes	Verfahren zur syntaktischen und semantischen Modularisierung von Modellierungssprachen
22.06.2007	Jens	Brandt	A Layered Approach to Plygon Processing for Safety-Critical Embedded Systems
20.06.2007	Benedikte	Elbel	Ein Modell zur Untersuchung der Formalisierbarkeit des funktionsorientierten Tests
15.03.2007	Tobias	Schüle	Verification of Infinite State Systems Using Presburger Arithmetic
12.02.2007	Ge	Zhang	A model for user based IP traffic accounting
15.12.2006	Daniel	Reidenbach	The Amiguity of Morphisms in Free Monoids and Ist Impact on Algorithmic Properties of Pattern Languages
27.10.2006	Maja	Ruby	Information Clustering in der Umweltinformatik
28.07.2006	Mark	Müller	Analyzing Software Quality Assurance Strategies through Simulation - Development and Empirical Validation of a Simulation Model in an Industrial software Product Line Organization
20.06.2006	Bernd	Freimut	MAGIC: A Hybrid Modeling Approach for Optimizing Inspection Cost-Effectiveness
14.06.2006	Tobias	Schmidt-Samoa	Flexible Heuristic Control for Combining Automation and User-Interaction in Inductive Theorem Proving
03.02.2006	Gerd Josef	Reis	Algorithmische Aspekte des vier-dimenionalen Ultraschalls
27.01.2006	Bernhard	Kaiser	State/Event Fault Trees: A Safety and Reliability analysis Technique for Software-Controlled Systems
22.12.2005	Michael	Haustein	Feingranulare Transaktionsisolation in nativen XML-Datenbanksystemen
22.11.2005	Dirk	Hamann	Towards an Integrated Approach for Software Process Improvement: Combining Software Process Assessment and Software Process Modeling
30.09.2005	Carsten	Wiegand	Optimal Monte Carlo and Quantum Algorithms for Parametric Integration
05.08.2005	Markus	Nick	Experience Maintencance through Closed-Loop Feedback
20.07.2005	Bernd	Löchner	Advances in Equational Theorem Proving - Architecture, Algorithms, and Redundancy Avoidance
15.07.2005	Mario	Trapp	Modeling the Adaptation Behavior of Adaptive Embedded Systems
17.06.2005	Robert	Eschbach	Formal Specification and Verification: Structures and Techniques
15.06.2005	Jean-Francois	Girard	ADORE-AR:Software Architecture Reconstruction with Partition and Clustering
11.03.2005	Stephan	Baumann	Artifical Listening System - Modellierung und Approximation der individuellen Perzeption von Musikähnlichkeit
04.03.2005	Jernej	Kovse	Model-Driven Development of Versioning Systems
17.02.2005	Marcus	Flehmig	Datenintegration über das Web mit SHARX
17.02.2005	Joachim	Thees	Ausdruckfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle
10.02.2005	Franz	Kammermeyer	CoverIBGF: A Multi-Attribute Index Structure with Guarateed Performance and Efficient Support
17.12.2004	Andreas	Metzger	Software-Qualitätssicherung durch Automatisierung - Ein modellbasierter Ansatz
26.11.2004	Jan Peter	Riegel	Musterbasierte Entwicklung echtzeitfähiger Gebäudesimulatoren
19.11.2004	Thomas	Kollig	Efficient Sampling and Robust Algorithms for Photorealstic Image
05.11.2004	Ansgar	Bernardi	Ein Wissensmanagementansatz für die Unterstützung der Instandhaltung komplexer Maschinen
27.09.2004	Markus	Bon	Modellierung und Abwicklung von Datenflüssen in unternehmensübergreifenden Geschäftsprozessen
28.05.2004	Martin	Becker	Anpassungsunterstützung in Software-Produktfamilien
24.05.2004	Armin	Hust	Query Expansion Methods for Collaborative Information Retrieval
21.05.2004	Joachim	Bayer	View-Based Software Documentation
03.05.2004	Wolfgang	Mahnke	Komponentenbasierter Schemaentwurf für objekt-relationale Datenbankverwaltungssysteme
30.04.2004	Philipp	Schaible	Wiederverwendungsbasierte Entwicklung von Kommunikationssystemen
15.04.2004	Achim	Ebert	Context-Sensitive Visualization
12.03.2004	Ulrike	Becker-Kornstaedt	A Method for Systematic Elicitation of Software Processes
20.02.2004	Rüdiger	Ebendt	Heuristic and Exact Optimizaton of Reduced Binary Diagrams
05.12.2003	Christoph	Kögl	Computer Algebra Software for Finitely Presented Monoids and Groups
28.11.2003	Eros	Comunello	CMIIS - The Cyclops Medical Image Interpretation System
28.11.2003	Dirk	Krechel	RadAss - A Framework for Process Oriented Knowledge Management in the field of Radiology
21.11.2003	Petra	Malik,	From Supervisory Control to Nonblocking Controllers for Discrete Event Systems
10.10.2003	Klaudia	Hergula	Daten- und Funktionsintegration durch Föderierte Datenbanksysteme
10.10.2003	Armin	Stahl	Learning of Knowledge-Intensive Similiarity in Case-Based Reasoning
10.10.2003	Jochem	Hüllen	Informationsbeschaffung durch Dynamische Aktionsplanung am Beispiel der Suche im Internet
01.10.2003	Sandra	Zilles	Uniform Learning of Recursive Functions
26.09.2003	Dirk	Ebert	Bildbasierte Erzeugung kollosionsfreier Transferbewegungen für Industrieroboter
16.09.2003	Gunther H.	Weber	Visualization of Adaptive Mesh Refinement Data and Topology-based Exploration of Volume Data
25.07.2003	Lars	Geyer	Variabilitätenmanagement in Produktfamilien
03.07.2003	Michael	Münchhofen	Ein komponentenbasiertes Framework zur Integration von visualisierungstechniken
27.06.2003	Ingrid	Hotz	Geometrische algorithmen zur Visualisierung diskreter und kontinuierlicher Tensorfelder
07.03.2003	Sascha	Schmitt	Dialog Tailoring for Similarity Based Electronic Commerce Systems
28.02.2003	Jörg	Zettel	Anpassbare Methodenassistenz in CASE-Werkzeugen
21.02.2003	Sigrid	Goldmann	A Model of Project Planning and Management in Complex Domains
20.12.2002	Weiping	Zhang	Supporting Object-Oriented Software Development by Object-Relational Database Technology - A Performance Study
13.12.2002	Ullrich	Marder	Multimedia-Metacomputing in Web-basierten multimedialen Informationssystemen
14.11.2002	Harald	Holz	Process-Based Knowledge Managment Support for Software Engineering
08.11.2002	Thomas	Roth-Berghofer	Knowledge Maintenance of Case-Based Reasoning Systems - The SIAM Methodology
25.10.2002	Markus	Berg	Hochauflösende störungsfreie Entfernungsmessung mit Ultraschall durch korrelative Verfahren
18.10.2002	Thomas	Wischgoll	Closed Streamlines in Flow Visualization
15.10.2002	Claudia	Wenzel	Erwartungsgesteuertes inhaltliches Dokumentverstehen durch integrierte Akquisition und Nutzung von Dokumentwissen
14.10.2002	Holger	Peine	Run-time Support for Mobile Code
11.10.2002	Joachim	Weber	Globale Selbstlokalisation für mobile Service Roboter
18.07.2002	Helmuth	Hamfeld	Aktive Stereoskopie, Neue Verfahren zur dreidimensionalen Vermessung von Objekten
17.07.2002	Dirk	Muthig	A light-Weight Approach Facilitating an Evolutionary Transition Towards Software Product Lines
05.07.2002	Rainer	Koster	A Middlerware Platform for Information Flow
27.06.2002	Klaus	Schmid	Planning Software Reuse - A disciplined Scoping Approach for Software Product Lines
03.05.2002	Boris, Maria	Kötting	Der Nutzen virtueller Marktplätze für die Software Entwicklungsdomäne
24.04.2002	Xavier	Tricoche	Vector and Tensor Field Topology Simplifications, Tracking and Visualization
19.04.2002	Stefan	Queins	PROBAND - eine Requirements-engineering Methode zur systematischen domänenspezifischen Entwicklung reaktiver Systeme
19.02.2002	Peter	Dannenmann	Simulation und Visualisierung des Fehlverhaltens von Luft- und Raumfahrtsystemen
15.02.2002	Christiane	Gresse von Wangenheim	Operationalizing Reuse of Software Measurement Planning Knowledge
15.02.2002	Frank	Rößler	Collaboration-Based Design of Communicating Systems with SDL
21.12.2001	Hans-Peter	Steiert	Aspekte der generativen Entwicklung von ORDBMS-basierten Datenverwaltungsdiensten
14.12.2001	Jochen	Bauer	Taktile Exploration und Schieben mit einem mobilen Manipulator
07.12.2001	Dirk	Schröder	Feature Erkennung mittels Neuronaler Netze
28.11.2001	Jürgen	Münch	Muster-basierte Erstellung von Software-Projektplänen
16.11.2001	Antje	Knethen von	Change-Oriented Requirements Traceability Support for Evolution of Embedded Systems
02.11.2001	Johannes	Timmer	Optimal Monte Carlo Algorithms for Integral Equations in Sobolev Spaces
01.10.2001	Dietmar	Pfahl	An Integrated Approach to Simulation-Based Learning in Support of Strategic and Projekt Management in Software Organisations
11.07.2001	Birgit	Geppert	The SDL Pattern Approach - A Reuse-Driven SDL Methodology for Designing Communication Software Systems
27.06.2001	Christof	Nuber	Integration von Virtual Reality und Simulationen: Einsatzmöglichkeiten für Produktentwicklung und Betrieb in der Raumfahrt
27.06.2001	Alexa	Nawotki	Eine selektive Methode zur Verschlüsselung von Konstruktionsdaten mit Wavelets
18.06.2001	Thorsten	Kramp	Fexible Run-Time Support for Real-Time Computing
11.06.2001	Isabella	Wieczorek	Improved Software Cost-Estimation- A Robust and Interpretable Method and a Comprehensive Empirical Investigation
01.06.2001	Ulrich	Nageldinger	Coarse-Grained Reconfigurable Architecture Design Space Exploration
18.05.2001	Ulricke	Bossong	Anwendung der Methoden der multikriteriellen Optimierung zur Ermittlung ästhetischer Flächen in Computer Aided Design/Computer Aided Engineering
20.04.2001	Georg	Molter	Software Reuse Based Upon Architectural Knowledge
20.04.2001	Christiane	Differding	Adaptive Measurement Plans for Software Development
16.03.2001	Erik	Kamsties	Surfacing Ambiguity in Natural Language Requirements
16.02.2001	Lothar	Baum	A Generative Approach to Customized Run-Time Platforms
09.02.2001	Markus	Junker	A Generative Approach to Customized Run-time Platforms
09.02.2001	Thomas	Kieninger	Identifikation und analyse frei formatierter Tabellen
12.01.2001	Michael	Herz	High-Performance Memory Communication Architectures for Coarse-grained Reconfigurable Systems
10.01.2001	Jörg	Wendt	Ein System zur Berechnung und Visualisierung elastischer Spline-Kurven
12.01.2001	Harald	Gurres	Automatisches Beweisen mit disjunktiven Beweisverfahren
22.12.2000	Carsten	Lojewski	Eine parallele Systemarchitektur für die Visualisierung statischer und zeitabhängiger Volumendaten
15.12.2000	Martin	Kronenburg	An Approach to the Creation of Precise, intelligible Problem Spezifications of Large Reactive Systems
01.12.2000	Alexander	Sahler	Optimierung von Dosisgewichtung und Isodosen-Neigungswinkel für die konformierte Bestrahlungsplanung
03.11.2000	Frank	Weberskirch	Planning with Knowlegde about Types and Goal Orderings
03.11.2000	Henning	Barthel	Komponentenbasiertes visuelles Prototyping von Visualisierungsanwendungen
27.10.2000	Dirk	Zeckzer	Implementation, Applications, and Complexity of Prefix Gröbner Bases in Monoid and Group Rings
29.09.2000	Henrik	Loeser	Einsatz objekt-rationaler Datenbanksysteme für Web-Informationssysteme
18.09.2000	Nan	Zhang	Supporting Semantically Rich Relationsships in Extensible Object-Relational Database Management Systems
15.09.2000	Christian	Bunse	Pattern Based Refinement and Translation of Object-Oriented Models in Code
15.09.2000	Andreas	Birk	A Knowledge Management Infrastructure for Systematic improvement in Software Engineering
12.09.2000	Harald	Meyer auf`m Hofe	Kombinatorische Optimierung mit Constraintverfahren- Problemlösung ohne anwendungsspezifische Suchstragien
11.09.2000	Carsten	Tautz	Customizing Software Engineering -Experience-Management Systems to Organizational Needs
16.05.2000	Oliver	Laitenberger	Cost-effective Detection of Software Defects through Perspective-based-Inspections
31.03.2000	Michael	Bender	A Functional Framework for Efficient Web-based Scientific Vizualization Systems
04.02.2000	Barbara	Dellen	Change Impact Analysis Support for Software-Development Processes
28.01.2000	Dirk	Fuchs	Cooperation in Heterogeneous Theorem Prover-Networks