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