Promotionen

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

Datum der
Aussprache
Name Titel der Arbeit
12.07.2017HadilAbukwaikProactive Support of Conceptual Interoperability Analysis of Software Units
27.03.2017MichaelRothQualitative Reliability Analysis of Software-Controlled Systems using State/Event Fault Trees
12.12.2016MichaelArndtSafe and Cost-Efficient Mobile Robot Navigation in Aware Environments
08.12.2016JuliaPortlVisual Analysis of Neuromuscular Junctions
06.12.2016ThomasPfisterRobust Localization for Mobile Robots in Forest Environments
02.12.2016WolfgangSchlauchAnalysis of Different Random Graph Models in the Identification of Network Motifs in Complex Networks
25.11.2016LisaKiekbuschAnalysis and Verification of Complex Robot Systems using Behaviour-Based Control
25.11.2016GeraldPirklMagnetic Field-based Localization System
21.11.2016Muhammad ZeshanAfzalDeep Learning in Space and Time for Document Image Processing
24.10.2016MichaelBeckAdvances in Theory and Applicability of Stochastic Network Calculus
14.10.2016GeorgelCalinVerification Techniques for TSO-Relaxed Programs
27.09.2016AbbasSiddiquiRequirements Aware Template Based Protocol Graphs for Service Oriented Network Architecture
23.09.2016MarkusWeberAutomatic Detection of Modes in Human Computer Interaction
08.09.2016CarnaRadojicicSymbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
08.09.2016Salah FalihAl-DarrajiPerception of Nonverbal Cues for Human-Robot Interaction
29.08.2016MaxSteinerIntegrating Security Concerns into Safety Analysis of Embedded Systems Using Component Fault Trees
15.07.2016DanielSchmidtShaping the Future – A Control Architecture for Autonomous Landscaping with an Excavator
12.07.2016SteffenBondorfWorst-Case Performance Analysis of Feed-Forward Networks - An Efficient and Accurate Network Calculus
08.07.2016SebastianWildDual-Pivot Quicksort and Beyond: Analysis of Multiway Partitioning and Its Practical Potential
06.07.2016JieZhaoAdvanced Walking Skills for Bipedal Locomotion
24.06.2016Liliana KatherineGuzman RehbeinEmpirically-based Method for Performing Qualitative Synthesis in Software Engineering
22.06.2016PabloOliveira Antonino de AssisImproving the Consistency and Completeness of Safety Requirements Specifications
17.06.2016HassanMohammadVerification and Performance Measurement for Transport Protocol Parallel Routing of an AUTOSAR Gateway System
14.06.2016JensWettachExploration Strategies for Indoor Environments
03.06.2016YasminAl-ZokariInteractive Visualizations Supporting Minimal Cut Set Analysis II
13.05.2016AndreSchmeißerContact Modeling Algorithms for Fiber Dynamics Simulations
22.04.2016MichaelKläsHyDEEP: Transparent Combination of Measurement and Expert Data for Defect Prediction
21.03.2016Istemi EkinAkkusTowards a Non-tracking Web
11.03.2016BerndKrollaHeterogeneous Reconstruction Approaches for Object and Scene Representation
10.03.2016ZilongWangAlgorithms and Tools for Verification and Testing of Asynchronous Programs
07.03.2016WonminByeonImage Analysis with Long Short-Term Memory Recurrent Neural Networks
12.02.2016ThomasBauerEnabling Functional Integration Testing by Using Heterogeneous Models
25.01.2016NormanRiegelPrioritization in Incremental Requirements Engineering
22.01.2016AlaAbuthawabehMulti-Edge Graph Visualizations for Fostering Software Comprehension
03.11.2015TakumiToyamaTowards Wearable Attention-Aware Systems in Everyday Environments
22.10.2015AnneBerresDiscrete Geometric Methods for Surface Deformation and Visualisation
20.10.2015AnetaKabzevaMulti-Layer Modeling of Service Networks
19.10.2015Muhammad ImranMalikAutomatic Signature Verification: Bridging the Gap between Existing Pattern Recognition Methods and Forensic Science
24.07.2015JensBauerLarge Display Interaction Using Mobile Devices
24.07.2015RagaadAlTarawnehInteractive Visual Support for Understanding the Structural and Behavioural Aspects of Embedded Systems
24.07.2015HaoWangModeling and Performance Analysis of Networks with Flow Transformations
17.07.2015TaimurKhanInteractive Visual Analysis of Software Structures
17.07.2015KathrinHäbVisualization and Analysis Techniques for Urban Microclimate Data Sets
03.07.2015ChristopherArmbrustDesign and Verification of Behaviour-Based Systems Realising Task Sequences
26.06.2015MartinMemmelSocially Enhanced Access to Digital Resources - Aggregating Resources and Metadata in a Social Hub
19.06.2015GeorgZetzscheMonoids as storage mechanisms
12.06.2015RahamatullahKhondokerDescription and Selection of Communication Services for Service Oriented Network Architectures
29.05.2015DanielGüntherEin Modell zur Auswahl von funktional abhängigen Blöcken in flexiblen Netzwerkarchitekturen
08.05.2015DennisChristmannDistributed Real-time Systems - Deterministic Protocols for Wireless Networks and Model-Driven Development with SDL
24.04.2015EgorDerevenetcRobustness against Relaxed Memory Models
16.04.2015BoZhangVITAL - Reengineering Variability Specifications and Realizations in Software Product Lines
13.04.2015MatthiasWilhelmFeasibility and Applications of a Wireless Firewall
27.03.2015BjörnForcherGenerierung verständlicher Erklärungen für Semantic Web Applikationen
06.03.2015DavidBannachTools and Methods to Support Opportunistic Human Activity Recognition
27.02.2015SörenKemmannSAHARA A Structured Approach for Hazard Analysis and Risk Assessments
26.02.2015DanielSchallEnergy Efficiency in Database Systems
02.02.2015MayceAl AzawiStatistical Language Modeling for Historical Documents using Weighted Finite State Transducers and Long Short-Term Memory
23.01.2015IlhamKurniaAn Automata-Theoretic Approach to Open Actor System Verification
22.01.2015DanielCerneaUser-Centered Collaborative Visualization
09.01.2015SlawomirDuszynskiAnalyzing Similarity of Cloned Software Variants using Hierarchical Set Models
01.12.2014Ely WagnerAguiar de OliveiraA Measurement-based Process for Assessing Grid Infrastructures
13.11.2014TinoFleurenWorkflow-Skelette: Konzeptionen zur Modellierung und effizienten Ausführung wissenschaftlicher Workflows
07.11.2014ManuelGesellInteractive Verification of Synchronous Systems
06.11.2014SvenLindenThe LIR Space Partitioning System applied to the Stokes Equations
17.10.2014JoachimGötzeEin Modell zur generischen Nutzungserfassung in heterogenen IT-Infrastrukturen auf der Basis serviceorientierter Designprinzipien
02.10.2014NilsPetersenAcquiring and transferring workflow knowledge using Augmented reality
26.09.2014AlexeyReznichenkoPrivate-By-Design Advertising and Analytics: From Theory to Practice
31.07.2014PeterSalzTowards Patient-specific Electrical Impedance Tomography using 3D Thorax Models
31.07.2014MaxLangbeinHigher Order Moment Invariants and their Applications
17.07.2014SimonHufnagelTowards the Efficient Creation of Accurate and High-Performance Virtual Prototypes
11.07.2014DanielEngelExplorative and Model-based Visual Analysis of Multivariate Data
11.07.2014Sheik FaisalRashidOptical Recognition - A Combined ANN/HMM Approach
11.07.2014DamianBorthVisual Learning of Socio-Video Semantics
10.07.2014RolfWesterteigerVirtual Reality Methods for Research in the Geosciences
10.07.2014KlausDenkerAcquisition and On-line Reconstruction of 3D Point Data from Hand-held Laser Scanners and Multi-camera Stereo matching
13.06.2014AlainPaganiReality models for efficient registration in augmented Reality
23.05.2014Syed AtifMehdiUsing Human Daily Routine for Optimizing Search Process using a Service Robot in Elderly Care Applications
16.05.2014MalteKieselFacilitating Collaborative Ontology-Based Annotations in Communities of Interest
16.05.2014NatalliaKotavaApplications of Computational topology to the Visualization of Scalar Fields
09.05.2014KristinTuotProcess-Driven Document Analysis and Understanding
11.04.2014ZhenshengGuoA Scenario-based Approach for Identifying Complete Safety-oriented Requirements
03.03.2014FrankWeinbergPosition-and-Length-Dependent Context-Free Grammars ? A New Type of Restricted Rewriting
21.02.2014BastianZimmerEfficiently Deploying Safety-Critical Applications onto Integrated Architectures
14.02.2014MarkusGoldsteinAnomaly Detection in Large Datasets
10.01.2014DanielSchneiderConditional Safety Certification for Open Adaptive Systems
09.01.2014AttilaReissPersonalized Mobile Physical Activity Monitoring for Everyday Life
19.12.2013GeraldBauerMulti-Modal Activity Recognition Systems with Minimal Training Data and Unobtrusive Environmental Instrumentations
02.12.2013PatrickMichelA Formal Framework for Maintaining the Integrity of Structured Data
29.11.2013MichailAnastasopoulosEvolution Control for Software Product Lines: An Automation Layer over Configuration Management
08.11.2013SimonSchröderStochastic Methods for Fiber-Droplet Collisions in Flow Processes
08.11.2013DanielBaudischSynthesis of Synchronous Programs to Parallel Software Architectures
22.10.2013MatthiasReifAutomatic Support for the Development of Classification Systems
18.10.2013MikeGemündeClock Refinement in Imperative Synchronous Languages
13.09.2013RalfBiedertGaze Based Human-Text Interaction - Text 2.0
29.08.2013YannickWelschReasoning about Backward Compatibility of Class Libraries
23.07.2013Peter-ScottOlechChallenges of User-Centered Applications - Visualization on and Interaction with Arbitrary Display Environments
19.07.2013ChristianWagnerOnline Monitoring and Computational Steering of Passive Parallel CFD Simulations
03.07.2013MarcKrämerModellgetriebene Entwicklung von Kommunikationsprotokollen für vernetzte Regelungssysteme
21.06.2013RasmusAdlerA model-based approach for exploring the space of adaption behaviors of safety-related embedded systems
06.05.2013KaiBreinerAssistU - A framework for user interaction forensics
18.01.2013ThomasJörgIncremental Recomputations in Materialized Data Integration
17.01.2013DanielSchmidtSafe Navigation of a Climbing Robot Risk Assessment and Control Methods
19.12.2012SebastianAdam Incorporating Software Product Line Knowledge into Requirements Processes
14.12.2012NibalNayefGeometric-Based Smbol Spotting and Retrieval in Technical Line Drawings
14.12.2012SebastianBächleSeparating Key Concerns in Query Processing
14.11.2012Wint YiPoeDesign Problems in Large-Scale, Time-Sensitive WSNs
08.11.2012SebastianBlankA Biological Inspired Approach for Sensor Data Management in Modualr Agricultural Machines
06.11.2012Syed SaquibBukhariGeneric Methods for Document Layout analysis and Preprocessing
25.10.2012YiYangVisual Support for Safety Analysis
19.10.2012KaiHöfigFailure-Dependent Timing Analysis - A New Methodology for Probalistic Worst-Case Execution Time Analysis
12.10.2012AnikaSchulzSampling and Approximation in the Context of RNA Secondary Structure Prediction - Algorithms and Studies Based on Stochastic Context-Free Modeling
02.10.2012MatthiasNaabEnhancing Architecture Design Methods for Improved Flexibility in Long-Living Information Systems
28.09.2012DarkoObradovicComputational Social Nework Analysis of Authority in the Blogoshere
14.08.2012YiOuCaching for flash-based databases and flash-based caching for databases
18.07.2012JochenHirthTowards Socially Interactive Robots - Designing an Emotion-based Control Architecture
22.06.2012FangChenThe simulation and visualization of Multi-phase Fluid
15.06.2012FrankElberzhagerA Systematic Integration of Inspection and Testing Processes for Focusing Testing Activities
02.05.2012BenjaminAdrianInformation Extraxtion on the Semantic Web
02.03.2012ChristopherTuotA Collaborative Knowledge Management Approach to Provide Better Agricultural Decision Support
30.01.2012IgorMenzelOptimizing the Completeness of Textual Requirements Documents in Practice
20.01.2012FlorianSchmidtFunktionale Absicherung aktiver kamarabasierter Fahrerassistenzsysteme durch Hardware-in-the-Loop-Tests
19.01.2012KerstinBauerA New Modelling Language for Cyber-physical Systems
13.01.2012DominikDomisIntegrating Fault Tree analysis and Component-Oriented Model-Based Design of Embedded Systems
19.12.2011MarcusCiolkowskiAn Approach for Quantitative Aggregation of Evidence from Controlled Experiments in Software Engineering
16.12.2011SebastianPetschVisualization Methods for Sustainable Planning
13.12.2011FrankBöhrModel-based Statistical Testing of Embedded Reqal-Time Software with Continuous and Discrete Signals in a Concurrent Environment
12.12.2011NikolasNehmerException Handling - A Systematic Log-Based Approach
09.12.2011JohannesSchneiderOn the Ambiguity of Erasing Morphisms
16.11.2011RalfCarbonArchitecture-Centric Software Producibility Analysis
26.10.2011GabrieleWeilerConsistency checking for Ontology-Based Workflows
17.10.2011MartinRoehderEin situativ entscheidendes Fahrzeugsystem für den vorausschauenden Fußgängerschutz
30.09.2011KarstenSchmidtSelf-Tuning Storage and Indexing for Native XML DBMSs.
05.09.2011DanielBurkhartSubdivision for Volumetric Finite Elements
23.08.2011ChristopherWeberMethods for Detection and Reconstruction of Sharp Features in Point Cloud Data
25.07.2011GerritHanselmannOn the priciple of heterogeneous redundancy based Bayesian approach to integrate static and dynamic fault prediction models
22.07.2011BernhardMillaMonte Carlo Complexity of Intitial Value Problems and Indefinite Integration
21.07.2011AndreasWeinerCost-based XQuery Optimization in Native XML Database Systems-Concepts, Implementation, and Empirical Evaluation
24.06.2011ThomasPatzkeSustainable Evolution of Product Line Infrastructure Code
21.06.2011AnsgarLamersdorfModel-based Decision Support of Task Allocation in Global Software Development
02.05.2011MesutIpekEine Testfallspezifkationssprache für das funktionsorientierte Testen von reaktiven eingebetteten Systemen im Automobilen Bereich
28.04.2011MichaelSchlemmerPattern Recognition for Feature Based and Comparative Visualization
21.04.2011NorbertSchmitzDynamic Modeling of Communication Partners for Socially Interactive Humanoid Robots
24.02.2011Bernd-HelgeSchäferControl System Design Schemata and their Application in Off-road Robotics
09.02.2011HaraldObermaierMulti-Field Visualization
09.02.2011SebastianThelenVisualization and Interaction Metaphors for Large High-Resolution Displays
04.02.2011AlexanderGeraldyAdaptive Routingprotokolle für drahtlose, mobile Ad-hoc-Netzwerke
21.01.2011BerndReutherEin serviceorientierter Ansatz zur Abstraktion von Kommunikationsprotokollen Im Internet
26.11.2010ThorstenKeulerAn Aspect-oriented Approach Improving Architecture Design Efficiency
05.11.2010JanSchäferA Programming Model and Language for Concurrent and Distributed Object-Oriented Systems
24.09.2010MartinProetzschDevelopment Process for Complex Behavior-Based Robot Control Systems
17.09.2010ManuelMöllerFusion of Spatial Information Models with Formal Ontologies in the Medical Design
15.07.2010JörgDörrElicitation of a Complete Set of Non-Functional Requirements
15.07.2010Ribeiro LeonardoAndradeA Framework for XML Similarity Joins
29.06.2010GeorgBuscherUsing Eye Tracking to Capture Attention and Personalize Search
28.06.2010SteffenWolfOptimizing Problems in Self-Organizing Networks
18.06.2010Joostvan BeusekomOptical Document Security in High Volume Office Environments
21.05.2010Boris StummÄnderungsmanagement in großen Informationssystemen
12.05.2010JensKnodelSustainable Structures in Software Implementations by Live Compliance Checking
10.05.2010OveArmbrustSCOPE: An Approach for Scoping Software Processes
30.03.2010Jose De AguiarMoraes FilhoSummarizing XML Documents: Contributions, Empirical Studies, and Challenges
10.03.2010MatthiasPriebeOn the Design of a Middleware for Super-Peer Desktop Grids
12.02.2010AndreasMorgensternSymbolic Controller Synthesis for LTL-Specifications
08.02.2010RolandNeumannOrthogonalisierte Softwaremaße in der Fehlerprognose
29.01.2010SvenSchwarzContext Awareness and Context-Sensitive Interfaces for Knowledge Work support
17.12.2009ChristianWebelA Formal Approach to the Development of Network Quality-of-Service
27.11.2009JürgenGöresA Model Management Framework for Information Integration
20.11.2009Isabel JohnPatternbased Documentation Analysis for Software Product Lines
20.11.2009PatricKellerAdaptive Extraction and Representation of Geometric Structures from Unorganized 3D Point Sets
20.11.2009OliverRübelLinking Automated analysis and Visualization with application in Development Biology and High-energy Physics
19.11.2009MartinSotoThe DeltaProcess Approach to Systematic Software Process Change Management
09.10.2009AdrianUlgesVisual concept Learning from User-tagged Web Video
17.07.2009ChristianMathisStoring, Indexing, and Querying XML Documents in Native XML Database Management Systems
07.07.2009MatthiasGroßTowards Scientific Applications for Interactive Ray Casting
29.06.2009JochenMüllerSystematische Entwicklung serviceorientierter Workflows - Ein Beitrag zur prozessorientierten Komposition von Diensten in Anwendungsdomänen
05.06.2009LeopoldSauermannThe Gnowsis Semantic Desktop approach to Personal Information Management
07.05.2009EricRasLearning spaces: automatic Context-Aware Enrichment of Software Engineering
29.04.2009AndreasJedlitschkaAn Emprical Model of Software Managers' Information Needs for Software Engineering Technology Selection
20.04.2009MarekGawkowskiFormal Framework for Proof Generating Optimizers
27.03.2009TimBraunCost-Efficient Global Robot Navigation in Rugged Offroad Terrain
24.03.2009GabrieleBleserTowards Visual-Inertial SLAM for Mobile Augmented Reality
06.03.2009CarstenHillenbrandSicheres Klettern eines radgetriebenen Roboters mit Unterdruckkammern an porösen Flächen
23.02.2009IngmarFliegeComponent-based Development of Communication Protocols
20.02.2009ThomasKuhnModel Driven Development of MacZ - A QoS Medium Access Control Layer for Ambient Intelligence Systems
16.02.2009Jan OlafBlechCertifying System Translations Using Higher Order Theorem Provers
13.02.2009OliverWirjadiModels and Algorithms for Image-Based Analysis of Microstructures
06.02.2009ChristianDengerSafeSpection - A framework for Systemization and Customization of Software Hazard Identification by Applying Inspection Concepts
26.11.2008RobertKalcklöschGossip-Based Diagnosis of Arbitrary Component-Oriented Systems
12.11.2008MarkusTrappGenerating User Interfaces for ambient Intelligence Systems - Introducing Client Types as Adaption Factor
10.11.2008AlexisOcampoThe REMIS Approach to Rationale-based Support for Process Model Evolution
31.10.2008JensHeidrichGoal-oriented Quantitative Software Project Control
08.10.2008InaSchaeferIntegrating Formal Verification into Model-based Development of Adaptive Embedded Systems
07.10.2008AdamTrendowiczSoftware Effort Estimation with Well-Founded Causal Models
30.09.2008FrankMichelSimulation und Visualization of In-and Outdoor Sound
09.07.2008BurkhardLehnerMeshing Techniques for Image/Video Compression and Surface Construction
20.06.2008TomBobachNatural Neighbor Interpolation - Critical Assessment and New Contributions
30.05.2008FaisalShafaitGeometric Layout Analysis of Scanned Documents
13.05.2008IngaSchelerAnalyse und Visualisierung raumplanerischer Prozesse mit Hilfe von Voronoi-Diagrammen
25.04.2008TorstenBierzIntuitive Interaction for Immersive Visualization Systems
21.04.2008MarkusHillenbrandServiceorintierung im Internet
11.04.2008ArianeMiddelVisualizing Urban Futures
11.04.2008EduardDeinesAcoustic Simulation and Visualization Algorithms
02.04.2008DirkHenriciSecurity and Privacy in Large-scale RFID Systems
04.03.2008ThomasKleinbergerEin Modell für das situative Lernen mit adaptiven kontinuierlichen Medien
20.02.2008StefanAgneBench-Marking der Text-basierten Anteile eines exemplarischen DAU-Systems
31.01.2008AlexanderHilliger von ThileDatenbereitstellung für business-Intelligence-analysen aus komplexen ad-hoc Prozessen
18.01.2008HolgerDiekmannSoftware Resource Consumption Engineering for Mass Produced Embedded Systems Families
21.12.2007PhilippDopichajContent-oriented retrieval on document-centric XML
14.12.2007HijaziYounisFeature Based Visualization
19.10.2007ChristophGarthVisualization of Complex Three-Dimensional Flow Structures
12.10.2007IngoGinkelAnalysis und Tuning Techniques for Subdivision Algorithms
06.07.2007Heiko Maus Workflow-Kontext zur Realisierung prozessorientierter Assistenz in Organisational Memories
29.06.2007Rüdiger Grammes Verfahren zur syntaktischen und semantischen Modularisierung von Modellierungssprachen
22.06.2007Jens Brandt A Layered Approach to Plygon Processing for Safety-Critical Embedded Systems
20.06.2007Benedikte Elbel Ein Modell zur Untersuchung der Formalisierbarkeit des funktionsorientierten Tests
15.03.2007Tobias Schüle Verification of Infinite State Systems Using Presburger Arithmetic
12.02.2007Ge Zhang A model for user based IP traffic accounting
15.12.2006DanielReidenbachThe Amiguity of Morphisms in Free Monoids and Ist Impact on Algorithmic Properties of Pattern Languages
27.10.2006MajaRubyInformation Clustering in der Umweltinformatik
28.07.2006MarkMüllerAnalyzing Software Quality Assurance Strategies through Simulation - Development and Empirical Validation of a Simulation Model in an Industrial software Product Line Organization
20.06.2006BerndFreimutMAGIC: A Hybrid Modeling Approach for Optimizing Inspection Cost-Effectiveness
14.06.2006TobiasSchmidt-SamoaFlexible Heuristic Control for Combining Automation and User-Interaction in Inductive Theorem Proving
03.02.2006Gerd JosefReisAlgorithmische Aspekte des vier-dimenionalen Ultraschalls
27.01.2006BernhardKaiserState/Event Fault Trees: A Safety and Reliability analysis Technique for Software-Controlled Systems
22.12.2005MichaelHausteinFeingranulare Transaktionsisolation in nativen XML-Datenbanksystemen
22.11.2005DirkHamannTowards an Integrated Approach for Software Process Improvement: Combining Software Process Assessment and Software Process Modeling
30.09.2005CarstenWiegandOptimal Monte Carlo and Quantum Algorithms for Parametric Integration
05.08.2005MarkusNickExperience Maintencance through Closed-Loop Feedback
20.07.2005BerndLöchnerAdvances in Equational Theorem Proving - Architecture, Algorithms, and Redundancy Avoidance
15.07.2005MarioTrappModeling the Adaptation Behavior of Adaptive Embedded Systems
17.06.2005RobertEschbachFormal Specification and Verification: Structures and Techniques
15.06.2005Jean-FrancoisGirardADORE-AR:Software Architecture Reconstruction with Partition and Clustering
11.03.2005StephanBaumannArtifical Listening System - Modellierung und Approximation der individuellen Perzeption von Musikähnlichkeit
04.03.2005JernejKovseModel-Driven Development of Versioning Systems
17.02.2005MarcusFlehmigDatenintegration über das Web mit SHARX
17.02.2005JoachimTheesAusdruckfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle
10.02.2005FranzKammermeyerCoverIBGF: A Multi-Attribute Index Structure with Guarateed Performance and Efficient Support
17.12.2004AndreasMetzgerSoftware-Qualitätssicherung durch Automatisierung - Ein modellbasierter Ansatz
26.11.2004Jan PeterRiegelMusterbasierte Entwicklung echtzeitfähiger Gebäudesimulatoren
19.11.2004ThomasKolligEfficient Sampling and Robust Algorithms for Photorealstic Image
05.11.2004AnsgarBernardiEin Wissensmanagementansatz für die Unterstützung der Instandhaltung komplexer Maschinen
27.09.2004MarkusBonModellierung und Abwicklung von Datenflüssen in unternehmensübergreifenden Geschäftsprozessen
28.05.2004MartinBeckerAnpassungsunterstützung in Software-Produktfamilien
24.05.2004ArminHustQuery Expansion Methods for Collaborative Information Retrieval
21.05.2004JoachimBayerView-Based Software Documentation
03.05.2004WolfgangMahnkeKomponentenbasierter Schemaentwurf für objekt-relationale Datenbankverwaltungssysteme
30.04.2004PhilippSchaibleWiederverwendungsbasierte Entwicklung von Kommunikationssystemen
15.04.2004AchimEbertContext-Sensitive Visualization
12.03.2004UlrikeBecker-KornstaedtA Method for Systematic Elicitation of Software Processes
20.02.2004RüdigerEbendtHeuristic and Exact Optimizaton of Reduced Binary Diagrams
05.12.2003ChristophKöglComputer Algebra Software for Finitely Presented Monoids and Groups
28.11.2003ErosComunelloCMIIS - The Cyclops Medical Image Interpretation System
28.11.2003DirkKrechelRadAss - A Framework for Process Oriented Knowledge Management in the field of Radiology
21.11.2003PetraMalik,From Supervisory Control to Nonblocking Controllers for Discrete Event Systems
10.10.2003KlaudiaHergulaDaten- und Funktionsintegration durch Föderierte Datenbanksysteme
10.10.2003ArminStahlLearning of Knowledge-Intensive Similiarity in Case-Based Reasoning
10.10.2003JochemHüllenInformationsbeschaffung durch Dynamische Aktionsplanung am Beispiel der Suche im Internet
01.10.2003SandraZillesUniform Learning of Recursive Functions
26.09.2003DirkEbertBildbasierte Erzeugung kollosionsfreier Transferbewegungen für Industrieroboter
16.09.2003Gunther H.WeberVisualization of Adaptive Mesh Refinement Data and Topology-based Exploration of Volume Data
25.07.2003LarsGeyerVariabilitätenmanagement in Produktfamilien
03.07.2003MichaelMünchhofenEin komponentenbasiertes Framework zur Integration von visualisierungstechniken
27.06.2003IngridHotzGeometrische algorithmen zur Visualisierung diskreter und kontinuierlicher Tensorfelder
07.03.2003SaschaSchmittDialog Tailoring for Similarity Based Electronic Commerce Systems
28.02.2003JörgZettelAnpassbare Methodenassistenz in CASE-Werkzeugen
21.02.2003SigridGoldmannA Model of Project Planning and Management in Complex Domains
20.12.2002WeipingZhangSupporting Object-Oriented Software Development by Object-Relational Database Technology - A Performance Study
13.12.2002UllrichMarderMultimedia-Metacomputing in Web-basierten multimedialen Informationssystemen
14.11.2002HaraldHolzProcess-Based Knowledge Managment Support for Software Engineering
08.11.2002ThomasRoth-BerghoferKnowledge Maintenance of Case-Based Reasoning Systems - The SIAM Methodology
25.10.2002MarkusBergHochauflösende störungsfreie Entfernungsmessung mit Ultraschall durch korrelative Verfahren
18.10.2002ThomasWischgollClosed Streamlines in Flow Visualization
15.10.2002ClaudiaWenzelErwartungsgesteuertes inhaltliches Dokumentverstehen durch integrierte Akquisition und Nutzung von Dokumentwissen
14.10.2002HolgerPeineRun-time Support for Mobile Code
11.10.2002JoachimWeberGlobale Selbstlokalisation für mobile Service Roboter
18.07.2002HelmuthHamfeldAktive Stereoskopie, Neue Verfahren zur dreidimensionalen Vermessung von Objekten
17.07.2002DirkMuthigA light-Weight Approach Facilitating an Evolutionary Transition Towards Software Product Lines
05.07.2002RainerKosterA Middlerware Platform for Information Flow
27.06.2002KlausSchmidPlanning Software Reuse - A disciplined Scoping Approach for Software Product Lines
03.05.2002Boris, MariaKöttingDer Nutzen virtueller Marktplätze für die Software Entwicklungsdomäne
24.04.2002XavierTricocheVector and Tensor Field Topology Simplifications, Tracking and Visualization
19.04.2002StefanQueinsPROBAND - eine Requirements-engineering Methode zur systematischen domänenspezifischen Entwicklung reaktiver Systeme
19.02.2002PeterDannenmannSimulation und Visualisierung des Fehlverhaltens von Luft- und Raumfahrtsystemen
15.02.2002ChristianeGresse von WangenheimOperationalizing Reuse of Software Measurement Planning Knowledge
15.02.2002FrankRößlerCollaboration-Based Design of Communicating Systems with SDL
21.12.2001Hans-PeterSteiertAspekte der generativen Entwicklung von ORDBMS-basierten Datenverwaltungsdiensten
14.12.2001JochenBauerTaktile Exploration und Schieben mit einem mobilen Manipulator
07.12.2001DirkSchröderFeature Erkennung mittels Neuronaler Netze
28.11.2001JürgenMünchMuster-basierte Erstellung von Software-Projektplänen
16.11.2001AntjeKnethen von Change-Oriented Requirements Traceability Support for Evolution of Embedded Systems
02.11.2001JohannesTimmerOptimal Monte Carlo Algorithms for Integral Equations in Sobolev Spaces
01.10.2001DietmarPfahlAn Integrated Approach to Simulation-Based Learning in Support of Strategic and Projekt Management in Software Organisations
11.07.2001BirgitGeppertThe SDL Pattern Approach - A Reuse-Driven SDL Methodology for Designing Communication Software Systems
27.06.2001ChristofNuberIntegration von Virtual Reality und Simulationen: Einsatzmöglichkeiten für Produktentwicklung und Betrieb in der Raumfahrt
27.06.2001AlexaNawotkiEine selektive Methode zur Verschlüsselung von Konstruktionsdaten mit Wavelets
18.06.2001ThorstenKrampFexible Run-Time Support for Real-Time Computing
11.06.2001IsabellaWieczorekImproved Software Cost-Estimation- A Robust and Interpretable Method and a Comprehensive Empirical Investigation
01.06.2001UlrichNageldingerCoarse-Grained Reconfigurable Architecture Design Space Exploration
18.05.2001UlrickeBossongAnwendung der Methoden der multikriteriellen Optimierung zur Ermittlung ästhetischer Flächen in Computer Aided Design/Computer Aided Engineering
20.04.2001GeorgMolterSoftware Reuse Based Upon Architectural Knowledge
20.04.2001ChristianeDifferdingAdaptive Measurement Plans for Software Development
16.03.2001ErikKamstiesSurfacing Ambiguity in Natural Language Requirements
16.02.2001LotharBaumA Generative Approach to Customized Run-Time Platforms
09.02.2001MarkusJunkerA Generative Approach to Customized Run-time Platforms
09.02.2001ThomasKieningerIdentifikation und analyse frei formatierter Tabellen
12.01.2001MichaelHerzHigh-Performance Memory Communication Architectures for Coarse-grained Reconfigurable Systems
10.01.2001JörgWendtEin System zur Berechnung und Visualisierung elastischer Spline-Kurven
12.01.2001HaraldGurresAutomatisches Beweisen mit disjunktiven Beweisverfahren
22.12.2000CarstenLojewskiEine parallele Systemarchitektur für die Visualisierung statischer und zeitabhängiger Volumendaten
15.12.2000MartinKronenburgAn Approach to the Creation of Precise, intelligible Problem Spezifications of Large Reactive Systems
01.12.2000AlexanderSahlerOptimierung von Dosisgewichtung und Isodosen-Neigungswinkel für die konformierte Bestrahlungsplanung
03.11.2000FrankWeberskirchPlanning with Knowlegde about Types and Goal Orderings
03.11.2000HenningBarthelKomponentenbasiertes visuelles Prototyping von Visualisierungsanwendungen
27.10.2000DirkZeckzerImplementation, Applications, and Complexity of Prefix Gröbner Bases in Monoid and Group Rings
29.09.2000HenrikLoeserEinsatz objekt-rationaler Datenbanksysteme für Web-Informationssysteme
18.09.2000NanZhangSupporting Semantically Rich Relationsships in Extensible Object-Relational Database Management Systems
15.09.2000ChristianBunsePattern Based Refinement and Translation of Object-Oriented Models in Code
15.09.2000AndreasBirkA Knowledge Management Infrastructure for Systematic improvement in Software Engineering
12.09.2000HaraldMeyer auf`m HofeKombinatorische Optimierung mit Constraintverfahren- Problemlösung ohne anwendungsspezifische Suchstragien
11.09.2000CarstenTautzCustomizing Software Engineering -Experience-Management Systems to Organizational Needs
16.05.2000OliverLaitenbergerCost-effective Detection of Software Defects through Perspective-based-Inspections
31.03.2000MichaelBenderA Functional Framework for Efficient Web-based Scientific Vizualization Systems
04.02.2000BarbaraDellenChange Impact Analysis Support for Software-Development Processes
28.01.2000DirkFuchsCooperation in Heterogeneous Theorem Prover-Networks