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 Praesentationsprogramm fuer Lehrsoftware"
    (A Generation and Presentation Program for Tutorial Software)
    Diplomarbeit, TU Chemnitz/Zwickau, 1994