Im Fachbereich Informatik wurden seit dem Jahr 2000 über 120
Promotionsverfahren erfolgreich abgeschlossen:
Datum der
Aussprache
| Name
| Titel der Arbeit
|
| 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 | Muster-basierte Erstellung von Software-Projektplänen
|
|---|
| 28.11.2001 | Jürgen | Münch | Change-Oriented Requirements Traceability Support for Evolution of Embedded Systems
|
|---|
| 16.11.2001 | Antje | Knethen von | Feature Erkennung mittels Neuronaler Netze
|
|---|
| 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 | High-Performance Memory Communication Architectures for Coarse-grained Reconfigurable Systems
|
|---|
| 09.02.2001 | Markus | Junker | A Generative Approach to Customized Run-time Platforms
|
|---|
| 09.02.2001 | Thomas | Kieninger | Heuristisches Lernen von Regeln für die Textkategorisierung
|
|---|
| 12.01.2001 | Michael | Herz | Identifikation und Analyse frei formatierter Tabellen
|
|---|
| 12.01.2001 | Harald | Gurres | Ein System zur Berechnung und Visualisierung elastischer Spline-Kurven
|
|---|
| 10.01.2001 | Jörg | Wendt | 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
|
|---|
