Promotionen
Kontakt
Ansprechpartner/Sachbearbeitung:
Zur Abgabe von Unterlagen vereinbaren Sie bitte per Mail einen Termin!
Weiterführende Links:
Promotionen
Liste der Promotionen am Department für Informatik
| Nr. | Datum der Disputation | Autor | Arbeit |
|---|---|---|---|
| 399 | Hatice Şahin Ippoliti | Social Interaction Between Road Users and Automated Vehicles | |
| 398 | Viktor Lizenberg | Simulations for Cooperative Driving - Methodology for Verification and Validation of Cooperative Driving Functions with Intelligent Co-Simulation Framework | |
| 397 | 21.03.2024 | Farzaneh Moradkhani | Verification of Neural Networks Containing Non-Linear Activation Functions |
| 396 | 22.04.2024 | Sebastian Weiß | Designing VR Stressors for Occupational Simulation Training in the ICU Context |
| 395 | 15.04.2024 | Ahmad Pajam Hassan | Big Data Analytics im Supply Chain Risk Management - Ein Konzept zur Gestaltung von Risikomanagementinformationssystemen |
| 394 | 28.05.2024 | Anand Narayan | Resilience Quantification of Interdependent Power and ICT Systems using Operational State Classification |
| 393 | 03.04.2024 | Matthias Steidel | Kontextsensitive Verhaltensprädiktion von Schiffen |
| 392 | Nick Würdemann | Taking Synthesis of Distributed Systems via Petri Games to High Level, Symbolically | |
| 391 | 20.12.2023 | Lars Elend | Advances in Computational Intelligence with Applications in Finance and Molecule Design |
| 390 | 18.12.2023 | Anatolij Fandrich | Forschend Lernen im Kontext Smart-Environments |
| 389 | 08.01.2024 | Dirk Bendlin | Datengetriebene Entscheidungsprozesse in Großprojekten am Beispiel der Datenwertschöpfungskette der Betriebsführung und Instandhaltung von Windparks |
| 388 | 07.03.2024 | Fernando Andres Peñaherrera Vaca | Analysis of Interactions between Raw Material and Energy Demands for Data Centers |
| 387 | 28.11.2023 | Arnab Sharma | Testing of Machine Learning Algorithms and Models |
| 386 | 19.12.2023 | Peter Lanz | The InflateSAR Campaign - Detecting Refugee Rubber Boats with SAR |
| 385 | 22.01.2024 | Ralf Stemmer | Simulation Based Execution Time Analysis of SDF Applications on Heterogeneous MPSoCs Using Measured Delay Distributions |
| 384 | 17.08.2023 | Stefanie Holly | Dynamic communication topologies for distributed energy system optimization heuristics |
| 383 | 07.09.2023 | Michael Brand | ASSESS - Anomaliesensitive State Estimation mit Streaming Systemen in Smart Grids |
| 382 | 22.05.2023 | Sovanna Chhoeung | Automatisierte Vorhersagemethode zur Vermeidung von parametrischem Rollen |
| 381 | 31.05.2023 | Arne Lamm | Identifikation von Beinahekollisionen in maritimen Verkehrsdaten als Ground-Truth für szenariobasiertes Testen |
| 380 | 04.07.2023 | Christoph Schröer | Microservice-Architekturen im Kontext von Data Science Workflows |
| 379 | 21.08.2023 | Dirk Beckmann | Architekturprozess und Bewertungsmethoden für Testfelder Intelligenter Transportsysteme |
| 378 | 17.07.2023 | Alexander Trende | Menschmodellierung für adaptive Straßenfahrzeuge |
| 377 | 19.09.2023 | Awais Usman | Highly Available Data Replication Strategies Exploiting Data Semantics, Operation Types and Finite State Space |
| 376 | 22.05.2023 | Okan Özkan | Resilience of Graph Transformation Systems: Modeling Adverse Conditions and Infinite-state Verification |
| 375 | 04.04.2023 | Tim Cofala | In Silico Design of Drug-Like Molecules with Evolutionary Algorithms and Transformers |
| 374 | 15.05.2023 | Christian Julius Möller | Datenmanagement für dezentrale maritime Forschungs- und Entwicklungsdaten im Testfeldkontext |
| 373 | 02.03.2023 | Razi Seyyedi | Globally Accurate Locally Inaccurate (GALI): On the Combination of Time-Triggered Architectures with Instruction Accurate Simulators for the Analysis of System Behavior |
| 372 | 09.12.2022 | Jose Daniel Alvarez Coello | Vehicle Data Semantics for Driving Context Knowledge |
| 371 | 13.02.2023 | Seyed Mehrdad Poorhosseini | A hybrid RISC-V architecture supporting mixed timing-critical and high performance workloads |
| 370 | 06.12.2022 | Jakob Nonnenmacher | Outlier Explanation and Visualization for Supporting the Use of Outlier Detection in Internal Auditing |
| 369 | 13.10.2022 | Felix Kruse | End-to-End-Datenintegration von Realwelt-Entitäten - Konzeption eines Record Linkage-Prozesses, Feldexperimente, unternehmensrelevante Implikationen |
| 368 | 19.09.2022 | Waldemar Klauser | Material Phase- and Environment-specific Adhesion Measurements in the Scanning Electron Microscope |
| 367 | 21.07.2022 | Manuel Gieseking | Correctness of Data Flows in Asynchronous Distributed Systems – Model Checking and Synthesis |
| 366 | 08.07.2022 | Jan Vox | Erkennung und Bewertung von Körperhaltungen und Bewegungen anhand von Gelenkwinkeln mit Einsatz von Motion-Capture-Sensorik |
| 365 | 09.05.2022 | Chen Zhang | Sensor Integration for Ship Motion Analysis |
| 364 | 21.04.2022 | Alexander Sandau | Konzeption eines Produkt-Service-Managementsystems zur Leistungsbündelung im Markt der Mobilitätsdienstleistungen |
| 363 | 06.11.2023 | Johannes Meier | Ensuring Inter-Model Consistency |
| 362 | 03.03.2022 | Daniel Lorenz | Ein Verfahren zur zustandsbasierten Abstraktion und Simulation der Leistungsaufnahme von digitalen integrierten Schaltungskomponenten auf Systemebene |
| 361 | 18.02.2022 | Klaas Dählmann | Simulation von Akzeptanz und Nutzung von Mobilitätsangeboten |
| 360 | 01.10.2021 | Christian Sandmann | A Theory on Graph Generation and Graph Repair with Application to Meta-Modeling |
| 359 | 18.08.2021 | Syed Mohtashim Abbas Bokhari | |
| 358 | 30.07.2021 | Nils Pancratz | Vorstellungen von Lernenden zum Aufbau von Informatiksystemen. Eine multimethodische Untersuchung von Lernvoraussetzungen zum Denken in Teilen von Ganzen |
| 357 | 09.07.2021 | Constanze Hungar | Map-based Localization for Automated Vehicles using LiDAR Features |
| 356 | 31.05.2021 | Fabian von Kleist-Retzow | Robotic Liquid Metal Manipulation and Electrical Contact Probing at Small Scales |
| 355 | 04.06.2021 | Ammar Alsous | QoS-Aware Backup Model for Cloud SDN Using Feedforward Neural Networks |
| 354 | 15.02.2021 | Alexander Borgerding | Ressourcen-Provisionierungsverfahren zur Erweiterung energetischer Freiheitsgrade von Rechenzentren unter Veränderung der IT-Last |
| 353 | 25.02.2021 | Christos Chytas | Materializing Creative Coding Ideas - Applications and Challenges of Computational Making in Youth's Coding Education |
| 352 | 29.03.2021 | Robert Schadek | Analysis and Development of Quorum Protocols for Real-World Network Topologies |
| 351 | 03.11.2020 | Agnetha Flore | Reifegradmodell für Smart Grids: Bewertung der Migrationspfade anhand von zwei Fallstudien |
| 350 | 03.12.2020 | Tim Dethlefs | Dynamische Energiedienstleistungen für Virtuelle Kraftwerke |
| 349 | 10.12.2020 | Jörg Walter | Predicting Power and Timing of Large-Scale Distributed Applications on Highly Heterogeneous Platforms |
| 348 | 15.09.2020 | Dennis Schwäke | Konzeption zur Entwicklung Digitaler Regelkreise als Beitrag der Smarten Fabrik |
| 347 | 23.09.2020 | Volkan Gizli | Präferenzorientierte Stärken- und Schwächenidentifizierung zur Effizienzsteigerung von Rechenzentren |
| 346 | 08.07.2020 | Jonas Prellberg | Evolving Deep Neural Networks: Optimization of Weights and Architectures |
| 345 | 29.05.2020 | Jörn Syrbe | Competence Identification in Computer Science Teaching Materials. A Quantitative Approach Based on Information Retrieval |
| 344 | 13.05.2020 | Nils-Steffen Worzyk | Adversarials-1: Detecting Adversarial Inputs with Internal Attacks |
| 343 | 12.06.2020 | Tim Claudius Stratmann | Spatial Attention Guidance for Deck Officers on Ship Bridges |
| 342 | 15.05.2020 | Liqun Wu | A Language-Driven Development Framework for Simulation Components to Generate Simulated Environments |
| 341 | 09.10.2023 | Jan Jelschen | Software Evolution Services - A Framework for the Integration and Development of Flexible and Reusable Toolchains |
| 340 | 26.06.2020 | Irune Yarza Pérez | Legacy Software Migration Based on Timing Contract aware Real-Time Execution Environments |
| 339 | 03.06.2020 | Sven Hallerbach | Simulation-Based Testing of Cooperative and Automated Vehicles |
| 338 | 20.04.2020 | Almuth Meier | Prediction-Based Nature-Inspired Dynamic Optimization |
| 337 | 30.03.2020 | Vanessa Cobus | Multimodal Alarm Distribution System for Intensive Care Units |
| 336 | 07.02.2020 | Uwe Wilko Grünefeld | Visual Cues for Locating Out-of-View Objects in Mixed Reality |
| 335 | 20.03.2020 | Maike Schwammberger | Distributed Controllers for Provably Safe, Live and Fair Autonomous Car Manoeuvres in Urban Traffic |
| 334 | 05.06.2020 | Peilin Zhang | Improving End-to-end Quality of Service in Low-power Wireless Sensor Networks |
| 333 | 27.03.2020 | Heinrich Ody | Monitoring of Traffic Manoeuvres with Imprecise Information |
| 332 | 10.01.2020 | Cornelius Ludmann | Kontinuierliche Verarbeitung von Datenströmen zur Berechnung von Objektempfehlungen auf Basis von Datenstromqueries |
| 331 | 11.11.2019 | Tobias Brandt | Query Processing on Spatio-temporal Data Streams from Moving Objects |
| 330 | 12.12.2019 | Andrii Matviienko | Designing Multimodal Assistance Systems for Child Cyclists |
| 329 | 05.11.2019 | Marion Koelle | Designing Socially Acceptable Body-worn Cameras |
| 328 | 03.09.2019 | Fabiola Goncalves Coelho Ribeiro | Multi-formalism in Different Levels of Abstraction for Requirements Engineering and Architectural Design of Real-Time Embedded Systems |
| 327 | 08.11.2019 | Paulin Pekezou Fouopi | Holistische Modellierung und Interpretation von Szenen und Situationen basierend auf symbolischen, probabilistischen und sub-symbolischen Modellen |
| 326 | 17.09.2019 | Ruthbetha Kateule | Reference Architecture for Smart Environment Information Systems |
| 325 | 21.10.2019 | Christian Jepping | Modellierung von kinematischen Rotorblattdeformationen auf Basis sequentiell erfasster Bild- und Oberflächendaten |
| 324 | 08.08.2019 | Safwan Sulaiman | Knowledge Transfer-based Recommendations to Enable Self-Service Business Intelligence |
| 323 | 19.06.2019 | Stefan Puch | Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzssysteme |
| 322 | 21.10.2019 | Peter Nazier Mosaad | Handling Delay Differential Equations in Automatic Verification |
| 321 | 15.05.2019 | Basel Hasan | A Conceptual Framework for Mobile Security Supporting Enterprises in Adopting Mobility |
| 320 | 02.05.2019 | Andreas Löcken | In-Vehicle Ambient Light Displays for Advanced Driver Assistant Systems |
| 319 | 06.06.2019 | Johann Kelsch | Operative strukturfokussierte Gestaltung kognitiver Systeme am Beispiel hochautomatisierter Fahrzeuge |
| 318 | 16.04.2019 | Guido Pleßmann | Modeling decarbonization pathways of Europe's electricity supply system until 2050 |
| 317 | 11.02.2019 | Dilshodbek Kuryazov | Model Difference Representation |
| 316 | 19.02.2019 | Marie-Christin Harre | Supporting Supervisory Control of Safety-Critical Systems with Psychologically Well-Founded Information Visualizations |
| 315 | 17.12.2018 | Mohamed Elsayed Hasan Abdelaal | Non linear Model Predictive Control for Trajectory Tracking an Collision Avoidance of Surface Vessels |
| 314 | 17.12.2018 | Man Zhu | Optimized Support Vector Regression Algorithm-based Modeling of Ship Dynamics |
| 313 | 06.12.2018 | Torben Wallbaum | Supporting Interpersonal Awareness Over a Distance |
| 312 | 30.11.2018 | Malte Bartenwerfer | Automation Capabilities in the Nanorobotic Handling of Nanomaterials |
| 311 | 23.11.2018 | Philipp Ittershagen | Application Modelling and Performance Estimation of Mixed-Critical Embedded Systems |
| 310 | 24.10.2018 | Marius Brinkmann | Physikalische Testfeld-Architektur für die Unterstützung der Entwicklung von automatisierten Schiffsführungssystemen |
| 309 | 12.02.2019 | Oliver Norkus | IT-Architekturentwicklung für BI in der Cloud |
| 308 | 12.11.2018 | Uli Schlachter | Petri Net Synthesis and Modal Specifications |
| 307 | 10.08.2018 | Shadan Sadeghian Borojeni | Supporting Drivers in Take-over Situations in Highly- Automated Driving |
| 306 | 05.12.2018 | Eike Möhlmann | Automatic Stability Verification via Lyapunov Functions - Representations, Transformations, and Pratical Issues |
| 305 | 04.10.2018 | Norman Ihle | Prognoseverfahren für den elektrischen Lastgang in maritimen Containerterminals |
| 304 | 23.10.2018 | Abdelkerim Rezgui | Decision Evaluation System - Towards Sustainable Decision-Making |
| 303 | 15.10.2018 | Timo von der Dovenmühle | Integration externer Dienstleister in den Leistungserstellungsprozess der betrieblichen Informationsverarbeitung |
| 302 | 29.03.2018 | Benjamin Weinert | Ein Framework zur Architekturbeschreibung von soziotechnischen maritimen Systemen |
| 301 | 15.05.2018 | Heiko Müller | Ambient Light Displays for Temporal Information |
| 300 | 07.05.2018 | Malte Christoph Metzdorf | Integration einer Zuverlässigkeitsbewertung und -optimierung in den RT- und Gate-Level Entwurfsfluss |
| 299 | 07.05.2018 | Khalil Omar | A Conceptual Framework for Devising Adaptive User Interfaces to Improve the Usability of Mobile ERP |
| 298 | 27.04.2018 | Larissa Janssen | Abfallreduktion im Lebensmitteleinzelhandel mittels mathematischer Optimierung und simulationsbasierter Evaluierung |
| 297 | 20.04.2018 | Stefan Oehmcke | Deep Learning of Virtual Marine Sensors |
| 296 | 20.04.2018 | Evgeny Erofeev | Characterisation of a Class of Petri Net Solvable Transition Systems |
| 295 | 22.02.2018 | Olaf Hänßler | Multimodal Sensing and Imaging Technology by Integrated Scanning Electron, Force, and Nearfield Microwave Microscopy and its Application to Submicrometer Studies |
| 294 | 31.01.2018 | Jochen Meyer | Long-term monitoring of personal health parameters for the prevention of cardiovascular diseases |
| 293 | 12.01.2018 | Daniel Hölker | Qualitätsbewertung von Energiemanagement-Algorithmen unter Berücksichtigung eingeschränkter Kommunikationsparameter |
| 292 | 27.09.2017 | Nick Rüssmeier | Testfeld für optische Sensoren zur Erstellung von maritimen Umweltlagebildern und optischer Strömungsmessung |
| 291 | 02.10.2017 | Tayfun Gezgin | State-based Timing Analysis for Distributed Systems |
| 290 | 28.06.2017 | Björn Wolff | Support Vector Regression for Solar Power Prediction |
| 289 | 23.05.2018 | Till Steinbach | Ethernet-basierte Fahrzeugnetzwerkarchitekturen für zukünftige Echtzeitsysteme im Automobil |
| 288 | 18.08.2017 | Christian Neureiter | A Domain-Specific, Model Driven Engineering Approach for Systems Engineering in the Smart Grid |
| 287 | 31.05.2017 | Reef Janes Eilers | Abstraction of Aging Models for High Level Degradation Prediction |
| 286 | 10.05.2017 | Saskia Greiner | Risikointegriertes Prozess Engineering am Beispiel Offshore Windpark |
| 285 | 29.08.2017 | Lars Weber | Driver Modeling and Simulation of Lane Change Situations |
| 284 | 24.04.2017 | Judith Fröhling (geb. Neugebauer) | Abstract Flexibility Description for Virtual Power Plant Scheduling |
| 283 | 28.03.2017 | Sören Zimmermann | Dedicated Robotic Handling and Processing at the Submicrometer Scale: Feasibility Studies |
| 282 | 09.08.2017 | Ahmed Mahdi | Advancing Software Model-Checking by SMT Interpolation Beyond Decidable Arithmetic Theories |
| 281 | 07.06.2017 | Cornelius Steinbrink | A Non-Intrusive Uncertainty Quantification System for Modular Smart Grid Co-Simulation |
| 280 | 19.05.2017 | Saifullah Khan | Geometry-Predicting Communication Protocols for Car2X Applications |
| 279 | 26.04.2017 | Yang Gao | Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT) |
| 278 | 19.12.2016 | Daniel Lückehe | Evolutionary Wind Turbine Placemanet Optimization with Geographical Constraints |
| 277 | 14.02.2017 | Stefan Janacek | Identifikation von Freiheitsgraden und Wechselwirkungen in Rechenzentren unter Betrachtung elektrischer und thermischer Energie |
| 276 | 18.11.2016 | Oday Jubran | Recurrence in Self-Stabilization |
| 275 | 05.12.2016 | Justin Heinermann | Wind Power Prediction with Machine Learning Ensembles |
| 274 | 05.12.2016 | Abhishek Awasthi | Optimization of NP-hard Scheduling Problems by Developing Timing Algorithms and Parallelization |
| 273 | 28.03.2017 | Birthe Gebhardt | Ein Analyse-Framework für zeitabhängige reaktive Ablaufplanung |
| 272 | 12.12.2016 | Janko Timmermann | Development of a User-adaptive Mobile System to Support Running Training for Beginners |
| 271 | 16.12.2016 | Sebastian Beer | Dynamic Coalition Formation in Electricity Markets |
| 270 | 16.12.2016 | Jutta Fortmann | Wrist-Worn Light-Based Smart Digital Jewellery |
| 269 | 28.11.2016 | Volker Gollücke | Bewertung von Simulationszuständen für eine gezielte Analyse risikoreicher Systeme |
| 268 | 13.12.2016 | Lama Balloul | Life Cycle Management for System Landscape |
| 267 | 21.10.2016 | Nils Erik Flick | Proving correctness of graph programs relative to recursively nested conditions |
| 266 | 24.08.2016 | Mirco Josefiok | MedRec - Entwicklung eines Cockpits für die Ausbildung in der Differenzialdiagnostik |
| 265 | 04.11.2016 | Mohamed Abdelaal | Enabling Energy-Efficient Wireless Sensing with Improved Service Quality |
| 264 | 26.10.2016 | Björn Engelmann | Techniques for the Verification of Dynamically Typed Programs |
| 263 | 17.06.2016 | Serge Runge | Energiewirtschaftlich optimierende Batterieeinsatzplanung in geschlossenen Transportsystemen mit Batteriewechsel |
| 262 | 09.06.2016 | Christian Denker | Assessing the Spatio-Temporal Fitness of Information Supply and Demand on Ship Bridges |
| 261 | 10.06.2016 | Sören Schweigert | Simulative Überprüfung von Sensordatenverarbeitungssystemen |
| 260 | 11.07.2016 | Maher Fakih | State-Based Real-Time Analysis of Synchronous Date-Flow (SDF) Applications on MPSoCs with Shared Communication Resources |
| 259 | 10.06.2016 | Michael Blaich | Path Planning and Collision Avoidance for Safe Autonomous Vessel Navigation in Dynamic Environments |
| 258 | 09.06.2016 | Sascha Hornauer | Maritime Trajectory Negotiation for n-Vessel Collision Avoidance |
| 257 | 02.09.2016 | Markus Oertel | A Linear Scaling Change Impact Analysis Based on a Formal Safety Model for Automotive Embedded Systems |
| 256 | 17.05.2016 | Daniel Schlitt | Entwicklung einer auslastungsabhängigen Energieeffizienzmetrik für Rechenzentren |
| 255 | 13.06.2016 | Nico Grundmeier | Simulationsbasierte Energiebedarfsprognose in Seehafen-Containerterminals |
| 254 | 27.05.2016 | Rainer Droste | Modellbasierte Planung zur Unterstützung der Gefährdungsbeurteilung maritimer Operationen |
| 253 | 28.04.2016 | Chandan Kumar | Regional Search and Visualization Methodologies for Multi-Criteria Geographic Retrieval |
| 252 | 18.03.2016 | Hendrik Radke | A Theory of HR* Graph Conditions an their Application to Meta-Modeling |
| 251 | 27.05.2016 | Timo Michelsen | Odysseus P2P: Verteile Datenstromverarbeitung in privaten P2P-Netzwerken |
| 250 | 29.02.2016 | Kiril Schröder | Energie- und kostenorientiertes, auf Virtualisierung basiertes Last- und Powermanagement in einem Rechenzentrumsverbund |
| 249 | 30.11.2015 | Thomas Vogelgesang | Multidimensionales Process-Mining für die Analyse medizinischer Versorgungsprozesse |
| 248 | 16.12.2015 | Marita Blank | Reliability Assessment of Coalitions for the Provisions of Ancillary Services |
| 247 | 20.11.2015 | Tobias Krahn | Flexible Detektion von Arzneimittelnebenwirkungen für die Versorgungsforschung |
| 246 | 18.12.2015 | Florian Fortmann | Augmenting Monitoring Performance during Multi-UAV Supervisory Control with Adaptive Displays |
| 245 | 04.12.2015 | Anja Ohsenbrügge | Dynamische Regel- und Reserveleistungsvorhaltung in zukünftigen Smart Grids |
| 244 | 09.11.2015 | Mani Swaminathan | Quantitative and Structural Analysis of Real-Time and Probabilistic Systems |
| 243 | 16.10.2015 | Klaas Schmidt | Wissensbasierte Entscheidungsunterstützungssysteme zur Übertragung und Wiederanwendung von Erfahrungswissen aus Entscheidungsprozessen |
| 242 | 11.09.2015 | Jan Pinkowski | Prozessgetriebene Risikoanalyse zur Bewertung maritimer Operationen |
| 241 | 03.07.2015 | Andreas Solsbach | Document Engineering als Ansatz für eine überbetriebliche Nachhaltigkeitsberichterstattung |
| 240 | 29.06.2015 | Ana-Maria Stoffers | Subjektive Theorien von Informatiklehrkräften zur fachdidaktischen Strukturierung ihres Unterrichts |
| 239 | 19.06.2015 | Monika Walter | Ein Konzept zur Identifikation von Unterstützungspotenzial für Simulationsstudien bei Verwendung multidimensionaler Datenmodelle |
| 238 | 23.06.2015 | Steffen Kruse | Co-Evolution of Metamodels and Model Transformations |
| 237 | 27.04.2015 | Benjamin Wagner vom Berg | Konzeption eines Substainability Customer Relationship Managements für Anbieter nachhaltiger Mobilität |
| 236 | 06.03.2015 | Kim Grüttner | Application Mapping and Communication Synthesis for Object-Oriented Platform-Based Design |
| 235 | 29.04.2015 | Philipp Gringel | Unternehmensspezifische Anpassung von Enterprise Architecture Frameworks |
| 234 | 17.04.2015 | Astrid Nieße | Verteilte kontinuierliche Einsatzplanung in Dynamischen Verteilten Kraftwerken |
| 233 | 09.03.2015 | Carsten Wissing | ReFlex:Marktbasiertes Redispatch mit Flexibilitäten von Netznutzern für das Verteilnetz |
| 232 | 02.03.2015 | Christian Kuka | Qualitätssensitive Datenstromverarbeitung zur Erstellung von dynamischen Kontextmodellen |
| 231 | 12.03.2015 | Ralf Buschermöhle | Optimizing Development Processes |
| 230 | 04.02.2015 | Jörg Bremer | Constraint-Handling mit Supportvektor-Dekodern in der verteilten Optimierung |
| 229 | 28.11.2014 | Claas Diederichs | Fast and robust camera-based notion tracking using FPGAs in microrobotics |
| 228 | 20.02.2015 | Sven Linker | Proofs for Traffic Safety - Combining Diagrams and Logic |
| 227 | 17.11.2014 | Sebastian Senge | Ein Bienen-inspiriertes Schwarmintelligenz-Verfahren zum Routing im Straßenverkehr |
| 226 | 05.12.2014 | Christian Dänekas | Nutzung von Technologieroadmaps zur Planung der Unternehmensarchitektur von Energieversorgungsunternehmen |
| 225 | 02.10.2014 | Xuan Ha Nguyen | Simulation, Validation and Optimization of Stick-Slip Drives for Nanorobotic Applications |
| 224 | 07.11.2014 | Miada Naana | Data-Warehouse-basierte Konzeption eines Strategischen Öko-Controlling-Systems |
| 223 | 05.09.2014 | Florian Krohs | Nanohandling and Nanometrology by the Atomic Force Microscope |
| 222 | 31.07.2014 | Abiot Sinamo Boltena | Neuro-Fuzzy-ANP based Decision Model for ERP System Selection |
| 221 | 10.11.2014 | Ammar Memari | A Model for Adaptive Applications on the Semantic Web |
| 220 | 08.07.2014 | Dirk Peters | Adaptive Lehr- und Lernsysteme zur Unterstützung der praktischen Ausbildung an ERP-Systemen |
| 219 | 17.07.2014 | Benjamin Poppinga | Sensor-supported, Unsupervised Observation Techniques for Field Studies |
| 218 | 23.07.2014 | Andreas Eggers | Direct Handling of Ordinary Differential Equations in Constraint-Solving-Based Analysis of Hybrid Systems |
| 217 | 24.11.2014 | Tim Hoerstebrock | Strategische Analyse der Elektromobilität in der Metropolregion Bremen/Oldenburg |
| 216 | 05.06.2014 | Christoph Schwarz | Untersuchung zur Steigerbarkeit von Flexibilität, Performanz und Erweiterbarkeit von Fahrerlosen Transportsystemen durch den Einsatz dezentraler Steuerungstechniken |
| 215 | 24.06.2014 | Mohamad Rabbath | Re-Composition of Distributed Social Media Content |
| 214 | 19.06.2014 | Bertram Wortelen | Das Adaptive-Information-Expectancy-Modell zur Aufmerksamkeitssimulation eines kognitiven Fahrermodells |
| 213 | 26.06.2014 | Myriam Lipprandt | Entwicklung eines modellgetriebenen Verfahrens zur Abbildung sensorbasierter Daten aus häuslichen Assistenzsystemen auf medizinische Befundberichte |
| 212 | 15.05.2014 | Christian Hinrichs | Selbstorganisierte Einsatzplanung dezentraler Akteure im Smart Grid |
| 211 | 26.02.2014 | Christian Lüpkes | Ad-hoc-Datentransformationen für Analytische Informationssysteme |
| 210 | 13.01.2014 | Dania Pérez Armayor | Technology Combinations Decision Model for Supply Chains Information Systems Integration |
| 209 | 25.02.2014 | Melvin Isken | Optimierte Roboter-Navigation und geriatrische Mobilitäts-Assessments in häuslichen Umgebungen |
| 208 | 28.01.2014 | Ralph Görgen | Effiziente Integration von Hardwarebeschreibungen in Simulink/TDF-Simulationen |
| 207 | 26.02.2014 | Nils Henning Müllner | Unmasking fault tolerance: Quantifying deterministic recovery dynamics in probabilistic environments |
| 206 | 22.11.2013 | Christian Dahmen | Robust Object Tracking for Micro- and Nanorobotics |
| 205 | 13.01.2014 | Kai Hylla | Bridging the Gap Between Precise RT-Level Power/Timing Estimation and Fast High-Level Simulation |
| 204 | 29.11.2013 | Dennis Geesen | Maschinelles Lernen in Datenstrommanagementsystemen |
| 203 | 16.12.2013 | Tim Strazny | An Algorithmic Framework for Checking Coverability in Well-Structured Transition Systems |
| 202 | 27.11.2013 | Steffen Schütte | Simulation Model Composition for the Large-Scale Analysis of Smart Grid Control Mechanisms |
| 201 | 05.11.2013 | Olaf Wilken | Aktivitätserkennung basierend auf Nutzung elektrischer Geräte im häuslichen Bereich |
| 200 | 13.08.2013 | Matthias Mertens | KNOBI - Knowledge based Business Intelligence for Business User Information-Self-Service |
| 199 | 05.07.2013 | Tariq Mahmoud | Lightweight Semantic-enabled Enterprise Service-Oriented Architecture |
| 198 | 03.07.2013 | Axel Helmer | Integration medizinischer Modelle in elektronische Gesundheitsakten |
| 197 | 05.07.2013 | Jan-David Quesel | Similarity, Logic, and Games - Bridging Modelling Layers of Hybrid Systems |
| 196 | 30.05.2013 | Eike Thaden | Semi-Automatic Optimization of Hardware Architectures in Embedded Systems |
| 195 | 03.05.2013 | Abhishek Dhama | A Compositional Framework for Designing Self-Stabilizing Distributed Algorithms |
| 194 | 04.02.2013 | Matthias Büker | An Automated Semantic-Based Approach for Creating Task Structures |
| 193 | 22.11.2012 | Claas Busemann | Ein effizienter Ansatz zur Übersendung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden |
| 192 | 04.10.2012 | Mahmoud Amer | Measuring Electronic Service Quality in the Business-to-Business Domain |
| 191 | 08.10.2012 | Tobias Hesselmann | Designing User Interfaces for Interactive Tabletops |
| 190 | 07.12.2012 | Philipp Sandhaus | Analysis, Retrieval and Layout for Digital Photobooks |
| 189 | 18.10.2012 | Thomas Frenken | Technischer Ansatz zur unaufdringlichen Mobilitätsanalyse im Rahmen geriatrischer Assessments |
| 188 | 24.09.2012 | Sebastian Rohjans | (S2)In - Semantic Service Integration for Smart Grids |
| 187 | 01.10.2012 | Daniela Wolff | Kontextsensitive Unterstützung Wissensintensiver Geschäftsprozesse |
| 186 | 20.07.2012 | Stefan Flöring | KnoVA: A Reference Architecture for Knowledge-based Visual Analytics |
| 185 | 20.07.2012 | Kinga Kiss Iakab | Probabilistic Quorum Systems for Dependable Distributed Data Management |
| 184 | 29.08.2012 | Tino Teige | Stochastic Satisfiability Modulo Theories - A Symbolic Technique for the Analysis of Probabilistic Hybrid Systems |
| 183 | 27.09.2012 | Sven Rosinger | RT-Level Power-Gating Models optimizing Dynamic Leakage-Management |
| 182 | 17.08.2012 | Andreas Thiel | Sicherheitskonzept für die medizinische Bildverarbeitung in unsicheren Grid-Umgebungen |
| 181 | 20.08.2012 | Martin Pielot | Conveying Spatial Information for Navigation and Orientation |
| 180 | 14.12.2012 | Amna Asif | Supporting route guidance of car drivers with a tactile display on urban roads |
| 179 | 30.05.2012 | Tim Wortmann | Automatic Image Analysis in Micro- and Nanorobotic Environments |
| 178 | 11.07.2012 | Ontje Lünsdorf | Selbstorganisation virtueller Geräte für das Lastmanagement von Kleinverbrauchern |
| 177 | 18.06.2012 | Henning Jost | Reasoning on Domain Knowledge and Technical Standards to Support the Development of Safety-Critical Automotive Systems |
| 176 | 19.07.2012 | Niels Henze | Camera-based Mobile Interaction with Physical Objects |
| 175 | 12.06.2012 | Yvette Teiken | Automatic Model Driven Analytical Information Systems |
| 174 | 01.06.2012 | Stanley Mungwe | Adaptive Control of a Tractile Surgical Navigation System |
| 173 | 04.05.2012 | Friedrich Kretschmer | Automatisiertes Tracking von Kopf- und Augenbewegungen bei 360°-Stimulation zur Charakterisierung des visuellen Systems kleiner Wirbeltiere |
| 172 | 03.07.2012 | Christina Dörge | Informatische Schlüsselkompetenzen - Konzepte der Informationstechnologie im Sinne einer informatischen Allgemeinbildung |
| 171 | 03.04.2012 | Daniel Süpke | Referenzarchitektur zur dialogbasierten Nachhaltigkeitsberichterstattung im Web 2.0 |
| 170 | 13.04.2012 | Stephan große Austing | Komplexitätsmessung von Produktmodellen |
| 169 | 27.04.2012 | Roland Koppe | Eine Methodik zur strategischen Einflussbewertung von Methodenänderungen in Entwicklungsprozessen |
| 168 | 29.02.2012 | Fabian Gieseke | From Supervised to Unsupervised Support Vector Machines and Applications in Astronomy |
| 167 | 14.05.2012 | Carsten Homburg | Mechatronic Processing Objects - Eine verarbeitungsorientierte Modellrepräsentation als Basis einer offenen Entwurfsumgebung für mechatronische Systeme |
| 166 | 28.02.2012 | José Manuel González Vázquez | Ein Referenzmodellkatalog für die Energiewirtschaft |
| 165 | 24.01.2012 | Stefan Häusler | Prozessorientiertes Produktmonitoring für die Entwicklung elektronischer Systeme |
| 164 | 16.12.2011 | Jens Oehlerking | Decomposition of Stability Proofs for Hybrid Systems |
| 163 | 16.11.2011 | Christoph Edeler | Modellierung und Validierung der Krafterzeugung mit Stick-Slip-Antrieben für nanorobotische Anwendungen |
| 162 | 29.08.2011 | Johannes Faber | Verification Architectures for Complex Real-Time Systems |
| 161 | 19.09.2011 | Oliver Koslowski | Clinical Decision Support with Guidelines and Bayesian Networks |
| 160 | 14.10.2011 | Jonas Jacobi | Latenzreduktion priorisierter Nachrichten in Datenstrom-Managementsystemen |
| 159 | 10.10.2011 | Matthias Postina | Evolutionsmanagement prozess- und serviceorientierter Unternehmensarchitekturen |
| 158 | 12.10.2011 | Ralph Stuber | Integrationsnachgelagertes Datenmanagement in Data Warehouses |
| 157 | 24.10.2011 | Jan Aalmink | Enterprise Tomography – ein effizientes Diagnoseverfahren zur semiautomatischen Lokalisierung von polymorphen Intergrations-konzepten in Unternehmenssoftwaresystemen |
| 156 | 18.07.2011 | Astrid Rakow | Slicing and Reduction Techniques for Model Checking Petri Nets |
| 155 | 27.06.2011 | Tim Puls | Lokalisations- und Regelungsverfahren für einen 4-Rotor-Helikopter |
| 154 | 8.07.2011 | Bolles, André | Ein datenstrombasiertes Framework zur Objektverfolgung am Beispiel von Fahrerassistenzsystemen Extended Abstract |
| 153 | 06.06.2011 | Daniel Jasper | SEM-based motion control for automated robotic nanohandling Vollversion Externer Link auf Buch |
| 152 | 24.05.2011 | Marco Hoyer | Resource Management in Virtualized Data Centers Regarding Performance and Energy Aspects Vollversion |
| 151 | 08.04.2011 | Stefan Brüggemann | Konsistenzsicherung im Datenqualitätsmanagement |
| 150 | 03.02.2011 | Volkmar Eichhorn | Nanorobotic handling and characterization of carbon nanotubes inside the scanning electron microscope Abstract |
| 149 | 05.11.2010 | Peter Cissek | Strategische Unternehmensplanung in einer Data Warehouse-Umgebung unterstützt durch ein Wissensmanagementsystem Vollversion Abstract |
| 148 | 30.03.2011 | Christian Storm | Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-based Data Replication Schemes |
| 147 | 28.10.2010 | Petra Beenken | Schutz sicherheitsrelevanter Informationen in verteilten Energieinformationssystemen Abstract |
| 146 | 13.12.2010 | Dirk Ahlers | Geographically Focused Web Information Retrieval |
| 145 | 27.09.2010 | Jan Stefan Addicks | Bewertung betrieblicher Anwendungen im Kontext ihrer Unternehmensarchitektur |
| 144 | 04.08.2010 | Christian Herde | Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure |
| 143 | 14.04.2010 | Martin Tröschel | Aktive Einsatzplanung in holonischen virtuellen Kraftwerken |
| 142 | 19.02.2010 | Henrik Lipskoch | Optimisation of battery operating life considering software tasks and their timing behavior |
| 141 | 12.05.2010 | Andreas Schallenberg | Dynamic Partial Self-Reconfiguration: Quick Modeling, Simulation, and Synthesis |
| 140 | 10.12.2009 | Marko Boskovic | Model-driven Performance Measurement and Assessment races |
| 139 | 26.11.2009 | Domenik Helms | Leakage Models for High Level Power Estimation |
| 138 | 13.11.2009 | Thomas Biskup | Agile fachmodellgetriebene Softwareentwicklung für mittelständische IT-Projekte |
| 137 | 21.10.2009 | Mathias Uslar | Ontologiebasierte Integration heterogener Standards in der Energiewirtschaft |
| 136 | 13.10.2009 | Sven Frimont | Ein Ansatz für die Nutzung teildefekter Field Programmable Gate Arrays (FPGAs) in der Serienproduktion |
| 135 | 28.09.2009 | Timo Warns | Structural Failure Models for Fault-Tolerant Distributed Computing |
| 134 | 11.09.2009 | Karl-Heinz Pennemann | Development of Correct Graph Transformation Systems |
| 133 | 08.07.2009 | Jasminka Matevska | Modellbasierte erreichbarkeitsoptimierte Rekonfiguration komponentenbasierter Softwaresysteme zur Laufzeit |
| 132 | 07.07.2009 | Melina Brell | Eine vibrotaktile Mensch-Maschine-Schnittstelle für chirurgische Applikationen |
| 131 | 30.06.2009 | Fabian Grüning | Datenqualitätsmanagement in der Energiewirtschaft |
| 130 | 29.06.2009 | Ludger Winkels | Referenzmodell für die Tageseinsatzplanung dezentraler heterogener Energieerzeugungsanlagen |
| 129 | 23.04.2009 | Tanja Schmedes | Serviceorientierte Architekturen für dezentrales Energiemanagement |
| 128 | 20.02.2009 | Roland Meyer | Structural Stationarity in the π-Calculus |
| 127 | 10.02.2009 | Nico Brehm | Förderierte ERP-Systeme auf Basis von Web Services |
| 126 | 10.02.2009 | Tobe Toben | Analysis of Dynamic Evolution Systems by Spotlight Abstraction Refinement |
| 125 | 09.01.2009 | Kevin Hausmann | Permeter-Performanzmessung in der Produktentwicklung auf Basis semantisch integrierter Produktmodelle |
| 124 | 19.12.2008 | André Platzer | Differential Dynamic Logics |
| 123 | 15.12.2008 | Richard Hackelbusch | Ein ontologiebasierter Ansatz zur Repräsentation von Studiengängen und ihren Regelungen |
| 122 | 28.11.2008 | Jens Happe | Predicting Software Performance in Symmetric Multi-core and Multiprocessor Environments |
| 121 | 30.10.2008 | Christian Grünwald | iBUIS: Konzeption eines integrierten Betrieblichen Umweltinformationssystems |
| 120 | 23.10.2008 | Jan Strickmann | Analysemethoden zur Bewertung von Entwicklungsprojekten |
| 119 | 26.09.2008 | Simon Giesecke | Architectural Styles for Early Goal-driven Middleware Platform Selection |
| 118 | 19.09.2008 | Ludger Bischofs | Simulationsbasierte Analyse und Entwicklung von Peer-to-Peer-System |
| 117 | 03.07.2008 | Thomas Wich | Werkzeuge und Methoden zur Automatisierung der seriellen Nanomontage im Rasterelektronenmikroskop |
| 116 | 26.06.2008 | Marco Jähnisch | 3D-Bildsystem für die Nanohandhabung im Rasterelektronenmikroskop |
| 115 | 25.04.2008 | Jens Finke | Ein Framework zur Modellierung, Bewertung und Optimierung von Korridornetzen unter Berücksichtigung anthropogener Störungen |
| 114 | 25.04.2008 | Stephan Fahlbusch | Entwicklung integrierbarer Mikrokraftsensoren für die roboterbasierte Mikro- und Nanohandhabung |
| 113 | 17.04.2008 | Bernd Westphal | Specification and Verification of Dynamic Topology Systems |
| 112 | 27.03.2008 | Heiko Koziolek | Parameter Dependencies for Reusable Performance Specifications of Software Components |
| 111 | 27.03.2008 | Steffen Becker | Coupled Model Transformations for QoS Enabled Component-Based Software Design |
| 110 | 31.01.2008 | Sascha Koch | Analytisches Performance Management |
| 109 | 05.10.2007 | Liane Haak | Semantische Integration von Data Warehousing und Wissensmanagement |
| 108 | 21.09.2007 | Wilko Heuten | Non-Visual Support for Navigation in Urban Environments |
| 107 | 11.07.2007 | Tobias Musiolik | Steuer- und Regelsysteme für die Direkteinblasung gasförmiger Kraftstoffe an Verbrennungsmotoren |
| 106 | 11.07.2007 | Marc Segelken | Abstraction and counterexample-guided construction of omegaautomata for model checking of step-discrete linear hybrid motors |
| 105 | 20.04.2007 | Heiko Tapken | Verteilte Klassifikation mit multi-relationalen Entscheidungsbäumen unter Berücksichtigung von Privacy-Aspekten |
| 104 | 16.04.2007 | Markus Schmees | Electronic Commerce im Technology Enhanced Learning |
| 103 | 02.04.2007 | Torsten Sievers | Echtzeit-Objektverfolgung im Rasterelektronenmikroskop |
| 102 | 30.03.2007 | Helge Hülsen | Self-Organising Locally Interpolading Maps in Control Engineering |
| 101 | 02.02.2007 | Markus Kemper | Development of an Indoor Attitude Control and Indoor Navigation System for 4-Rotors-Micro-Helicopters |
| 100 | 20.12.2006 | Andreas Schäfer | Specification and Verification of Mobile Real-Time Systems |
| 99 | 01.12.2006 | Michael Kersten | A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models |
| 98 | 25.08.2006 | Ansgar Scherp | A Component Framework for Personalized Multimedia Applications |
| 97 | 19.07.2006 | Menno Heeren | Swarm Intelligence als Strategie zur Lösung reaktiver Planungsprobleme in Wertschöpfungsketten |
| 96 | 12.07.2006 | Jochen Hoenicke | Combination of Processes, Data and Time |
| 95 | 19.05.2006 | Alexander Metzner | Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme |
| 94 | 21.04.2006 | Jürgen Meister | Software-Produktlinie für analytische Anwendungssoftware |
| 93 | 21.04.2006 | Sergej Alekseev | Graphentheoretische Methoden in der Ablaufanalyse Objekt-Orientierter Anwendungen |
| 92 | 20.04.2006 | Sven Abels | Reklassifikation von Produktdaten elektronischer Produktkataloge |
| 91 | 25.11.2005 | Marc Lettrari | Efficient State Space Exploration of Reactive Object-Oriented Programs |
| 90 | 18.11.2005 | Hartmut Wittke | An Environment for Compositional Specification Verification of Complex Embedded Systems |
| 89 | 03.11.2005 | Susanne Pedersen | Interoperabilität heterogener Informationsquellen im Gesundheitswesen auf Grundlage von Standards für die medizinische Kommunikation und Dokumentation |
| 88 | 26.10.2005 | Jens Krösche | Konzeption einer Systemplattform für die Entwicklung kontextsensitiver mobiler Anwendungen |
| 87 | 20.10.2005 | Jörg Riesmeier | Ein generisches Verfahren zur adaptiven Visualisierung von strukturierten medizinischen Befundberichten |
| 86 | 12.09.2005 | Andreea Barbu | Developing Mobile Agents Through a Formal Approach |
| 85 | 13.05.2005 | Eike Grimpe | Performance Optimising Hardware Synthesis of Shared Objects |
| 84 | 21.02.2005 | Marco Grawunder | DYNAQUEST - Dynamische und adaptive Anfrageverarbeitung in virtuellen Datenbanksystemen |
| 83 | 09.02.2005 | Frank Oppenheimer | OOCOSIM - An Object-Oriented Co-design Method for Embedded HW/SW Systems |
| 82 | 10.12.2004 | Palle Klante | Gestaltung auditiver Umgebungen |
| 81 | 19.11.2004 | Marco Schlattmann | Methoden und Werkzeuge zur Entwicklung virtueller multimedialer Labore |
| 80 | 15.10.2004 | Andreas Lüdtke | Kognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basis eines integrierten Mensch-Maschine-Modells |
| 79 | 05.07.2004 | Guido Schimm | Workflow Mining - Verfahren zur Extraktion von Workflow-Schemata aus ereignisbasierten Daten |
| 78 | 02.07.2004 | Frank Oldenettel | Integration digitaler Bibliotheken in Learning-Management-Systeme |
| 77 | 10.06.2004 | Arndt Schönberg | Architektur einer wissensbasierten Bedrohungs- und Risikoanalyse von IT-Systemen mit automatisierter Auswahl und Integration von Sicherheitsmechanismen - Are_U_WAITing? |
| 76 | 03.06.2004 | Arne Harren | Temporale Datenintegration in Data-Warehouse-Systemen |
| 75 | 02.02.2004 | Dirk Stüker | Heterogene Sensordatenfusion zur robusten Objektverfolgung im automobilen Straßenverkehr |
| 74 | 27.02.2004 | Vera Kamp | Datenbanksystemunterstützung für mehrdimensionale intelligente Datenanalysen |
| 73 | 11.11.2003 | Thorsten Teschke | Semantische Komponentensuche auf Basis von Geschäftsprozessmodellen |
| 72 | 22.09.2003 | Jochen Klose | Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior |
| 71 | 26.06.2003 | Tom Bienmüller | Reducing Complexity for the Verification of Statemate Designs |
| 70 | 05.05.2003 | Edward Kwaw | An Interactive Design Alternative for Structural Engineering on the basis of the Geometric Cell Complex |
| 69 | 10.02.2003 | Eike Schmidt | Power Modeling of Embedded Memories |
| 68 | 20.12.2002 | Cornelia Haber | COMMA - Eine Entwicklungsmethode für interaktive kooperative Anwendungen |
| 67 | 16.10.2002 | Laila Kabous | An Object Oriented Design Methodology for Hard Real Time Systems: The OOHARTS Approach |
| 66 | 28.06.2002 | Dietrich Boles | Integration von Konzepten und Technologien des Elektronic Commerce in digitale Bibliotheken |
| 65 | 31.05.2002 | Nils Faltin | Strukturiertes aktives Lernen von Algorithmen mit interaktiven Visualisierungen |
| 64 | 31.05.2002 | Janine Willms | Konzeption einer Intelligenten Problemlöseumgebung für die Patentanmeldung und -prüfung |
| 63 | 08.04.2002 | Holger Hinrichs | Datenqualitätsmanagement in Data Warehouse-Systemen |
| 62 | 21.12.2001 | Olaf Herden | Eine Entwurfsmethodik für Data Warehouses |
| 61 | 23.04.2001 | Olaf Maibaum | Bestimmung symbolischer Laufzeiten in eingebetteten Echtzeitsystemen |
| 60 | 18.10.2001 | Marco Eichelberg | Ein Verfahren zur Bewertung der Interoperabilität medizinischer Bildkommunikationssysteme |
| 59 | 12.10.2001 | Lars Kruse | Estimating and Optimizating Power Consumption of Integrated Macro Blocks at the Behavioral Level |
| 58 | 12.09.2001 | Frank Köster | Analyse von Simulationsmodellen mit Methoden des Knowledge Discovery in Databases |
| 57 | 16.07.2001 | Alfred Mikschl | WAMCOT |
| 56 | 12.11.2001 | Hilko Donker | Entwurf einer Methode für ein didaktisches Interaktions- und Informationsdesign |
| 55 | 03.07.2001 | Dirk Rabe | Accurate Power Analysis of Integrated CMOS Circuits on Gate Level |
| 54 | 27.08.2001 | Ingo Stierand | Ambrosia/MP - Ein Echtzeitbetriebssystem für eingebettete Mehrprozessorsysteme |
| 53 | 22.06.2001 | Josef Tapken | Model-Checking of Duration Calculus Specifications |
| 52 | 23.08.2001 | Björn Briel | Analyse eingebetteter Systeme mittels verteilter Simulation |
| 51 | 15.05.2001 | Gerd Jochens | Modellierung und Simulation der Verlustleistung von integrierten Schaltungs-Makros |
| 50 | 30.04.2001 | Wolfram Putzke-Röming | Durchgängiges Kommunikationsdesign für den strukturalen, objektorientierten Hardware-Entwurf |
| 49 | 06.03.2001 | Jörg Friebe | Architekturen für komponentenbasierte Geographische Informationssyteme im Internet |
| 48 | 02.03.2001 | Rainer Schlör | Symbolic Timing Diagrams: A Visual Formalism for Model Verification |
| 47 | 21.07.2000 | Cheryl Kleuker | Constraint Diagrams |
| 46 | 08.05.2000 | Jörg Ritter | Prozessorientierte Konfiguration komponentenbasierter Anwendungsysteme |
| 45 | 08.05.2000 | Frank Wietek | Intelligente Analyse multidimensionaler Daten in einer visuellen Programmierumgebung und deren Anwendung in der Krebsepidemiologie |
| 44 | 03.04.2000 | Clemens Fischer | Combination and Implementation of Processes and Data: from CSP-OZ to Java |
| 43 | 03.04.2000 | Martin Radetzki | Synthesis of Digital Circuits from Object-Oriented Specifications |
| 42 | 10.12.1999 | Thomas Thielke | Linear-algebraische Methoden zur Beschreibung, Verfeinerung und Analyse gefärbter Petrinetze |
| 41 | 03.12.1999 | Rainer von Ammon | Entwicklung eines benutzerzentrierten Verfahrens zum Entwerfen und automatischen Generieren von Applikations-Software-Prototypen in iterativen Software-Entwicklungszyklen |
| 40 | 22.10.1999 | Henning Dierks | Specification and Verification of Polling Ral-Time-Systems |
| 39 | 22.10.1999 | Udo Brockmeyer | Verifikation von STATEMATE Designs |
| 38 | 02.07.1999 | Wilfried Thoben | Wissensbasierte Bedrohungs- und Risikoanalyse Workflow-basierter Anwendungssysteme |
| 37 | 25.06.1999 | Gunnar Wittich | Ein problemorientierter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme |
| 36 | 12.02.1999 | Frank Rump | Durchgängiges Management von Geschäftsprozessen auf Basis ereignisgesteuerter Prozeßketten |
| 35 | 29.01.1999 | Guido Schumacher | Object-Oriented Hardware Specification and Design with a Language Extension to VHDL |
| 34 | 14.12.1998 | Clemens Otte | Fuzzy-Prototyp-Klassifikatoren und deren Anwendung zur automatischen Merkmalsselektion |
| 33 | 13.11.1998 | Juliane Vorndamme | Die Auswirkungen rechtlicher Verpflichtungen auf die Softwareentwicklung |
| 32 | 23.09.1998 | Michael Stadler | Abstrakte Rechnernetzmodelle als Grundlage einer umfassenden Automatisierung des Netzmanagement |
| 31 | 29.05.1998 | Helmut Lorek | Computerwerkzeuge zur Unterstützung bei der Entwicklung und beim Einsatz individuen-orientierter ökologischer Modelle |
| 30 | 29.04.1998 | Ronald Herrmann | Effizientes symbolisches Model-Checking von Realzeitaspekten für VHDL |
| 29 | 27.03.1998 | Lutz Köhler | Fuzzy Geometrie und Anwendungen in der medizinischen Bildverarbeitung |
| 28 | 13.03.1998 | Olaf Zukunft | Integration mobiler und aktiver Datenbankmechanismen als Basis für die ortsungebundene Vorgangsbearbeitung |
| 27 | 13.02.1998 | Michael Sampels | Algebraische Konstruktion effizienter Verbindungsnetzwerke |
| 26 | 22.12.1997 | Jürgen Bohn | Mechanical Support and Validation of a Design Calculus for Communicating Systems by a Logic-Baded Proof System |
| 25 | 19.12.1997 | Stephan Kleuker | Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme |
| 24 | 18.12.1997 | Franz Korf | System-Level Synthesewerkzeuge: Von der Theorie zur Anwendung |
| 23 | 18.12.1997 | Hergen Pargmann | COMDES: Simulations- und Verifikationstechniken für den Hardware Entwurf auf Systemebene |
| 22 | 31.10.1997 | Ralf Wieting | Modellbildung und Simulation mit hybriden höheren Netzen |
| 21 | 24.10.1997 | Stefan Schöf | Verteilte Simulation höherer Petrinetze |
| 20 | 18.07.1997 | Herwig Henseler | Aktive Ablaufplanung mit Multi-Agenten |
| 19 | 02.05.1997 | Ludger Bölke | Ein akustischer Interaktionsraum für blinde Rechnerbenutzer |
| 18 | 18.02.1997 | Johannes Helbig | Linking Visual Formalisms: A Compositinal Proof System for Statecharts Based on Symbolic Timing Diagrams |
| 17 | 05.07.1996 | Ralf Bruns | Genetische Algorithmen + Constraint Programmierung = Wissensbasierte Genetische Algorithmen |
| 16 | 16.02.1996 | Manfred Burke | FDDI und ATM in multimedialen Anwendungsumgebungen |
| 15 | 07.02.1996 | Ina Pitschke | Interaktive Rekonstruktion geometrischer Modelle aus digitalen Bildern |
| 14 | 20.12.1995 | Peter Kelb | Abstraktionstechniken für automatische Verifikationsmethoden |
| 13 | 20.10.1995 | Helge Behrends | Beschreibung ereignisgesteuerter Aktivitäten in datenbankgestützten Informationssystemen |
| 12 | 23.06.1995 | Henning Reineke | Struktur und Verhalten von verteilten endlichen Automaten |
| 11 | 19.12.1994 | Gerlinde Schreiber | Funktionale Äquivalenz von Petri-Netzen |
| 10 | 20.10.1994 | Stephan Rössig | A Transformation Approach to the Design of Communicating Systems |
| 9 | 21.03.1994 | Bernd Müller | PPO - Eine objektorientierte Prolog-Erweiterung |
| 8 | 11.02.1994 | Rainer Götze | Modellierung multimedialer Benutzerschnittstellen |
| 7 | 12.02.1993 | Jürgen Sauer | Wissensbasiertes Lösen von Ablaufplanungsproblemen durch explizite Heuristiken |
| 6 | 08.05.1991 | Helmut Eirund | Modellierung und Manipulation multimedialer Dokumente im Archivsystem MARS |
| 5 | 13.07.1990 | Heinrich Jasper | Datenbankunterstützung für Prolog-Programmierungsumgebungen |
| 4 | 20.03.1990 | Ulrike Lichtblau | Flußgraphgrammatiken |
| 3 | 16.02.1990 | Andreas Schwill | Shortest edge-disjoint paths in graphs |
| 2 | 05.06.1989 | Jürgen Kämper | Strukturelle Untersuchungen im Umfeld der Komplexitätsklassen P und NP |
| 1 | 19.12.1986 | Axel Viereck | Klassifikation, Konzepte und Modelle für den Mensch-Rechner Dialog |