Supervised Diplomas, M.Phil. and M.Sc. Projects / Graduate Students

1. Mitew, W.
   "Lösung Boolescher Gleichungen für die Optimierung von Schaltnetzwerken"
   (The Solution of Boolean Equations for Optimization of Switching Circuits)
   Diplomarbeit, TH Karl-Marx-Stadt, 1973
2. Fritzsche, E.
   Erarbeitung von Arbeitsunterlagen für das Fachgebiet "Strukturelle Automatentheorie"
   (Scripts for the Course "Structural Theory of Automata")
   Diplomarbeit, TH Karl-Marx-Stadt, 1974
3. Simon, E.
   "Cellatron-Programm für Systeme Boolescher Gleichungen"
   (Cellatron Program for Systems of Boolean Equations)
   Diplomarbeit, TH Karl-Marx-Stadt, 1974
4. Rahm, M.
   Erarbeitung von Arbeitsunterlagen für das Fachgebiet "Strukturelle Automatentheorie"
   (Scripts for the Course "Structural Theory of Automata")
   Diplomarbeit, TH Karl-Marx-Stadt, 1974
5. Bekov, O.
   "Erarbeitung eines Booleschen Integralkalküls"
   (Design of a Boolean Integral Calculus)
   Diplomarbeit, TH Karl-Marx-Stadt, 1974
6. Beyer, L.
   "Numerische Probleme in Booleschen Algebren"
   (Computational Problems in Boolean Algebras)
   Diplomarbeit, TH Karl-Marx-Stadt, 1974
7. Zetzschke, P.
   "Digitale Simulation eines Fertigungsprozesses"
   (Digital Simulation of a Manufacturing Process)
   Diplomarbeit, TH Karl-Marx-Stadt, 1974
8. Ihle, M.
   "Schaffung einer Fachterminologie für Schaltnetzwerke"
   (Design of a Switching Circuit Terminology)
   Diplomarbeit, TH Karl-Marx-Stadt, 1975
9. Homilius, K.-H.
   "Algorithmen zur Schaltungsanalyse"
   (Algorithms for Analyzing Switching Circuits)
   Diplomarbeit, TH Karl-Marx-Stadt, 1975
10. Pampel, W.
    "Untersuchung von Algorithmen zur Dekomposition und verwandten Problemen"
    (Investigation of Decomposition Algorithms and Related Problems)
    Diplomarbeit, TH Karl-Marx-Stadt, 1976
11. Padalsky, R.
    "Boolesche Ableitungsoperationen für implizite Funktionen mit Nebenbedingungen"
    (Boolean Derivatives for Implicit Functions with Constraints)
    Diplomarbeit, TH Karl-Marx-Stadt, 1976
12. Dimova, S.
    "Untersuchungen zur numerischen Berechenbarkeit von Booleschen Ableitungsoperationen"
    (Investigations of the Computability of Boolean Derivatives)
    Diplomarbeit, TH Karl-Marx-Stadt, 1976
13. Burkhardt, S.
    "Darstellung von Funktionen der Schaltalgebra durch Antivalenzformen"
    (Representation of Logic Functions by Antivalence Forms)
    Diplomarbeit, TH Karl-Marx-Stadt, 1976
14. Jahn, R.
    "Lösung BOOLEscher Gleichungen mit Ternärvektorlisten - Methoden auf dem EC 1040"
    (Solution of Boolean Equations by Ternary Vector Lists - EC 1040 methods)
    Diplomarbeit, TH Karl-Marx-Stadt, 1978
15. Andrijew, K.
    "Erweiterung der Leistungsfähigkeit des Programmsystems BOOLE für den Logikentwurf"
    (Extending the Performance of the BOOLE Program System for Logic Design)
    Diplomarbeit, TH Karl-Marx-Stadt, 1984
16. Knörnschild, B.
    "Bedeutung, Vorzüge und Anforderungen an Lehrsoftware sowie die Rolle von Prolog in diesem Umfeld"
    (Importance, Advantages and Requirements to Tutorial Software and the Role of PROLOG in this Environment)
    Diplomarbeit, TU Chemnitz, 1989
17. Thiemer, J.
    "Simulator für einen Prolog-Unifikator"
    (Simulation of a PROLOG Unificator)
    Diplomarbeit, TU Chemnitz, 1990
18. Ackermann, U.; Müller, St.
    "Erzeugung dreidimensionaler Objektmodelle durch Rekonstruktion"
    (Generation of Three-dimensional Object Models by Reconstruction)
    Diplomarbeit, TU Chemnitz, 1990
19. Dehnel, J.
    "Entwicklung eines Expertensystems zur Diagnose von Infektionskrankheiten"
    (Development of an Expert Systems for the Diagnosis of Infectuous Diseases)
    Diplomarbeit, TU Chemnitz, 1990
20. Schnappauf, A.
    "Kommunikationsstrukturen in regelbasierten Wissensverarbeitungssystemen"
    (Communication Structures in Rule-based Knowledge Processing Systems)
    Diplomarbeit, TU Chemnitz, 1990
21. Ruge, A.
    "Erstellung eines medizinischen Expertensystems zur Diagnostik von Skelettdisplasien"
    (Design of an Expert System for the Diagnosis of Skeleton Diseases)
    Diplomarbeit, TU Chemnitz, 1990
22. Pirk, P.
    "Konzept und Realisierung der Transformation externer Wissensbasen in eine interne Form mit C-PROLOG für das System SIMON"
    (Design and Implementation of the Transformation of External Knowledge Bases in an Internal Format using C-PROLOG for the SIMON System)
    Diplomarbeit, TU Chemnitz, 1990
23. Bierig, O.
    "Konzeption eines Systems für die regelbasierte Wissensverarbeitung"
    (Design of a Rule-based Knowledge-processing System)
    Diplomarbeit, TU Chemnitz, 1990
24. Krause, V.
    "Implementation von Lernalgorithmen"
    (Implementation of Learning Algorithms)
    Diplomarbeit, TU Chemnitz, 1990
25. Gerber, S.
    "Ein semantisches Datenmodell für den korrekten konzeptionellen Entwurf von Informationssystemen"
    (A Semantic Data Model for the Correct Conceptional Design of Information Systems)
    Diplomarbeit, TU Chemnitz, 1990
26. Hofmann, A.
    "Hierarchische Strukturen in Expertensystemen"
    (Hierarchical Structures in Expert Systems)
    Diplomarbeit, TU Chemnitz, 1991
27. Neidhardt, A.
    "Inferenzmaschinen in Diagnosesystemen, Handhabung unsicheren Wissens"
    (Inference Machines in Diagnostic Systems, the Processing of Unsafe Knowledge)
    Diplomarbeit, TU Chemnitz, 1991
28. Flucke, R.
    "Untersuchungen zur Gruppenverlaufsdiagnostik bei intendiert dynamischer Gruppentherapie,
    am Beispiel von 21 Therapiegruppen der Klinik Riedstrasse, Chemnitz"
    (Investigation of the Diagnosis of the Group Development in the Case of Dynamic Group Therapy)
    Diplomarbeit, TU Chemnitz, 1991
29. Schumann, S.
    "Entwurf einer mengentheoretischen Konzeption für PROLOG"
    (Designing Set-theoretic Concepts for PROLOG)
    Diplomarbeit, TU Chemnitz, 1991
30. Guttzeit, A.
    "Vergleichende Untersuchungen von SQL-Implementationen"
    (Comparative Studies of SQL Implementations)
    Diplomarbeit, TU Chemnitz, 1991
31. Berger, B.
    Konzeption für ein Lehrsystem zur "Theoretischen Informatik"
    (Design of a Tutorial System for "Theoretical Computer Science")
    Diplomarbeit, TU Chemnitz, 1991
32. Goschin, S.
    "Softwaremässige Vorbereitung einer rechnergestützten Langzeitstudie zur Erlangung von Ergebnissen über die frührehabilitative Betreuung von Patienten nach einem Myocarderstinfarkt unter soziopsychosomatischem Aspekt"
    (The Preparation of Software for a Long-term Investigation in Order to Achieve Results Related to the Early Rehabilitation of Patients after Heart Attacks Considering the Psychosomatic Aspects)
    Diplomarbeit, TU Chemnitz, 1991
33. Martin, D.
    Inferenzkomponente für ein Expertensystem "Mechanismendynamik"
    (The Inference Machine of an Expert System "Dynamics of Mechanisms")
    Diplomarbeit, TU Chemnitz, 1991
34. Rubin, B.
    "Untersuchung der Leistungsfähigkeit und Einsatzmöglichkeit des wissensbasierten Systems KREATIV"
    (Investigations of the Performance and the Applicability of the Knowledge-based Systems KREATIV)
    Diplomarbeit, TU Chemnitz, 1991
35. Neumann, T.
    "Konzept einer Expertensystemshell für die Konstruktion/ Konfiguration"
    (Design of an Expert System Shell for Configuration and Construction)
    Diplomarbeit, TU Chemnitz, 1991
36. Richter, Th.
    "Modellierung und Repräsentation aussagenlogischer Wissensbasen"
    (Modelling and Representation of Propositional Knowledge Bases)
    Diplomarbeit, TU Chemnitz, 1991
37. Richter, F.
    "Basissoftware für die Erstellung mehrsprachiger Wörterbücher"
    (Basic Software for the Implementation of Multi-lingual Dictionaries)
    Diplomarbeit, TU Chemnitz, 1991
38. Ebersbach, N.
    "Regelbasierte Wissensrepräsentation"
    (Rule-based Knowledge Representation)
    Diplomarbeit, TU Chemnitz, 1992
39. Bönsch, St.
    "Untersuchung eines Tests für die narzisstische Dysregulation"
    (Investigating a Test for the Narcistic Dysregulation)
    Diplomarbeit, TU Chemnitz, 1992
40. Yombi, J.A.
    Entwurf von Problemlöser, Wissensbasis und Fragengenerator für das wissensbasierte Lehrsystem " Theoretische Informatik" und eine PROLOG-Implementation
    (Design of Problem Solver, Knowledge Base and Test Generator for the Knowledge-based Tutorial System "Theoretical Computer Science" and a PROLOG Implementation)
    Diplomarbeit, TU Chemnitz, 1992
41. Remke, U.
    "Entwurf und PROLOG-Implementation der Erklärungskomponenten SystemLösung und NutzerLösung für das wissensbasierte Lehrsystem "Theoretische Informatik"
    (Design and PROLOG Implementation of the Explanatory Components System's Solution and User's Solution)
    Diplomarbeit, TU Chemnitz, 1992
42. Heyn, T.
    "Algorithmen des unscharfen Schliessens"
    (Fuzzy Inference Algorithms)
    Diplomarbeit, TU Chemnitz, 1992
43. Zeidler, J.
    "Algorithmen des unscharfen Schliessens"
    (Fuzzy Inference Algorithms)
    Diplomarbeit, TU Chemnitz, 1992
44. Eibisch, K.
    "Analyse des Antwortzeitverhaltens der Patienten in der computerunterstützten Psychodiagnostik"
    (Analysis of the Response Time Behaviour of Patients in Computer-aided Psycho-Diagnostics)
    Diplomarbeit, TU Chemnitz, 1992
45. Bachmann, S.
    "für ein wissensbasiertes Lehrsystem zur Theoretischen Informatik sind die Diagnosealgorithmen zu entwerfen und zu implementieren"
    (Design and Implementation of the Diagnostic Algorithms for the knowledge-based tutorial System "Theoretical Computer Science")
    Diplomarbeit, TU Chemnitz, 1992
46. Saadatou
    "Algorithmus für das Erfüllbarkeitsproblem"
    (Algorithms for the Satisfiability Problem)
    Diplomarbeit, TU Chemnitz, 1992
47. Jelinek, F.
    "Entwurf und Implementierung einer Schnittstelle zwischen einer LISP-Anwendung (Wissensbasierter Fertigungsleitstand) und einer relationalen Datenbank unter Nutzung von Embedded-SQL"
    (Design and Implementation of an Interface between a LISP Application (Knowledge-based process control) and a Relational Database System using Embedded SQL)
    Diplomarbeit, TU Chemnitz, 1992
48. Metzner, K.
    Eine Komponente zum Lehrsystem "Theoretische Informatik"
    (Component of the Tutorial System "Theoretical Computer Science")
    Diplomarbeit, TU Chemnitz, 1992
49. Seibold, C.
    "Auswahl eines geeigneten Expertensystems für eine Wissensdomaine der Textilindustrie"
    (Selecting an Appropriate Expert System for a Knowledge Domain of the Textile Industry)
    Diplomarbeit, TU Chemnitz, 1992
50. Petermann, H.
    "Untersuchungen zu Aufbau und Einsatzmöglichkeiten benutzerfreundlicher, intelligenter Hilfssysteme in einer graphischen Entwicklungsumgebung für PROLOG"
    (Investigating the Design and the Applicability of user-friendly Intelligent Help Systems in a Graphic PROLOG Development Environment)
    Diplomarbeit, TU Chemnitz, 1992
51. Teich, T.
    "Entwicklung einer Expertensystemkomponente zur Steuerung von Fahrstühlen"
    (The Development of an Expert System Component in Order to Control Elevators)
    Diplomarbeit, TU Chemnitz, 1992
52. Erdmenger, U.
    "Die Behandlung von Geometrie mit PROLOG"
    (Solving Geometric Problems using PROLOG)
    Diplomarbeit, TU Chemnitz, 1992
53. Seeger, L.
    "Wissensdarstellung für technische Probleme"
    (Knowledge Representation for Industrial Problems)
    Diplomarbeit, TU Chemnitz, 1992
54. Koos, J.
    "Objektorientierte Analyse und Entwurfsverfahren für wissensbasierte Systeme"
    (Object-oriented Analysis and Design Methods for Knowledge-based Systems)
    Diplomarbeit, TU Chemnitz/Zwickau, 1993
55. Jonscher, U.
    "Die Aufbereitung von Algorithmen der Theoretischen Informatik unter Berücksichtigung einer komfortablen Ein- und Ausgabe"
    (Designing Comfortable Input and Output Interfaces for Algorithms of Theoretical Computer Science)
    Diplomarbeit, TU Chemnitz/Zwickau, 1993
56. Hüttner, U.
    "Die Aufbereitung von Algorithmen der Diskreten Mathematik unter Berücksichtigung eines nutzerfreundlichen Hilfesystems"
    (Designing a User-friendly Help System for Algorithms of Discrete Mathematics)
    Diplomarbeit, TU Chemnitz/Zwickau, 1993 (31.3.93)
57. Bremerstein, S.
    "Die Bewertung wissensbasierter Planungsmethoden unter Berücksichtigung kritischer Erfolgsfaktoren, sowie die Anforderungen an ein Interface zur Integration von Planungsalgorithmen in eine konventionelle Scheduling Toolbox"
    (The Evaluation of knowledge-based Planning Methods considering Crital Success Factors and the Requirements to an Interface for the Integration of Planning Algorithms in a Conventional Scheduling Toolbox)
    Diplomarbeit, TU Chemnitz/Zwickau, Hoechst AG; 1993
58. Skowron, F.
    "Ein Werkzeug für den natürlichen Herleitungskalkül und seine exemplarische Anwendung für Verifikationsprobleme"
    (Tool for the Natural Inference Calculus and the Application to Verification Problems)
    Diplomarbeit, TU Chemnitz/Zwickau, Siemens AG; 1993
59. Schawelski, St.
    "Lernen aus Beispielen und Lernen durch Analogie"
    (Learning from Examples and Learning by Analogy)
    Diplomarbeit, TU Chemnitz/Zwickau, 1993.
60. Paljunas, W.
    Simulationsystem für die Lehrveranstaltung "Turing-Maschinen und rekursiv aufzählbare Sprachen"
    (Simulation System for the Topic "TURING Machines and Recursively Enumerable Languages")
    Diplomarbeit, TU Chemnitz/Zwickau, 1993
61. Lipsz, M.
    "Suchalgorithmen der Künstlichen Intelligenz"
    (Search Algorithms in Artificial Intelligence)
    Diplomarbeit, TU Chemnitz/Zwickau, 1993
62. Puschmann, F.
    "Konstruktion, Aggregation und Einsatz einer Wissensbasis im Bauernendspiel"
    (Design, Aggregation and Utilization of a Knowledge Base in a Pawn Endgame)
    Diplomarbeit, TU Chemnitz/Zwickau, 1993
63. Voigt, D.
    "Ein Algorithmensystem zur Behandlung Ternärvektorlisten und dessen Anwendung zur Verarbeitung von Regelsystemen"
    Diplomarbeit, TU Chemnitz/Zwickau, 1993
64. Knieschke, U.
    "Ein Generierungs- und Präsentationsprogramm für Lehrsoftware"
    (A Generation and Presentation Program for Tutorial Software)
    Diplomarbeit, TU Chemnitz/Zwickau, 1994