Promotionen

Laufende Promotionen

Abgeschlossene Promotionen

  • Eric Veith: Verteilte Software zur Homogenisierung regenerativer Energiequellen, 2017
  • Dong Liang: Automatisierte Transformation von UML - Modellen in SAP - Anwendungen, 2014
  • Dominik Fröhlich: Object-Oriented Development for Reconfigurable Architectures, 20.6.2007 (PDF 2.4M)
  • R. Kohut: Neuronale Netze als Model Boolescher Funktionen, Freiberg, 30.6.2007 (PDF 1.5M)
  • G. Kempe: Tupel von TVL als Datenmodell für Boolesche Funktionen, Freiberg, 20.6.2003 (PDF 1.01M)
  • Ch. Lang: Bi-Decomposition of Function Sets using Multi-Valued Logic, Freiberg, 11.4.2003 (Abstract)
  • K. Hesse: Ein Beitrag zur Lösung hochdimensionaler Boolescher Probleme mit parallelen Algorithmen, Chemnitz, 16.7.1999 (Kurzreferat)
  • T. Schleinig: Anwendung der Booleschen zeitlichen Ableitung zur Timing Verifikation synchroner digitaler Schaltungen, Chemnitz, 13.7.1994
  • F. Dresig: Gruppierung - Theorie und Anwendung in der Logiksynthese, Chemnitz, 1992
  • Trung Quoc Le: Testbarkeit kombinatorischer Schaltungen - Theorie und Entwurf, Karl-Marx-Stadt, 1989
  • J. Fehmel: Automatisierter Entwurf von kombinatorischen Schaltungen mit dekompositorischen Methoden, Karl-Marx-Stadt, 1988
  • R. Hilbert: Schnelle Testsatzgenerierung für kombinatorische Schaltnetzwerke mit Mitteln des Booleschen Differentialkalküls, Karl-Marx-Stadt, 1986