Beiträge

Session 1

• Bernd Stöhr(Uni Karlsruhe), R. Preußmann (ISDATA GmbH)
  Ein graphischer Editor zur Beschreibung von komplexen Steuerwerken
• C. Files, M. Perkowski (Portland State University, USA), A. Reis, M. Robert, D. Auvergne (Laboratoire d'Informatique, de Robotique et de Microelectronique de Montpellier, Frankreich)
  Minimization of Networks with Complex Gates
• R. Richter , H.-J. Brand, D. Müller (TU Chemnitz-Zwickau)
  Hasarduntersuchung selbstsynchonisierender Grundelemente mit Hilfe des Booleschen Differentialkalküls

Session 2

• Prof. Dr.-Ing. Bernd Steinbach, K. Hesse (TU Bergakademie Freiberg)
  Entwurf großer digitaler Schaltungen unter Nutzung von funktionellen und strukturellen Eigenschaften
• Prof. Dr.-Ing. Bernd Steinbach, Z. Zhang (TU Bergakademie Freiberg)
  Synthese vollständig testbarer, großer, partitionierter, kombinatorischer Schaltungen
• G. Kempe (TU Bergakademie Freiberg)
  Eignung eines Phasenlisten-Tupels als Datenmodell für eine Boolesche Funktion

14.45 - 16.30 Session 3

• D. Bochmann (STZ Logische Systeme Chemnitz)
  Über einige neue Operationen des Booleschen Differentialkalküls
• R. Rohde, R. Barthel (TU Chemnitz-Zwickau)
  Operationen des Booleschen Differentialkalküls auf BDDs
• A. D. Zakrevskij (Institute of Engineering Cybernetics, Minsk, Weißrußland)
  Looking for shortest solutions of systems of linear logical equations: theory and applications in logic design

Session 4

• R. Drechsler (Uni Freiburg), S. Ruppertz (Uni Frankfurt), Albert-Ludwigs-Universität
  Manipulation Algorithms for K*BMDs
• Ch. Posthoff (The University of The West Indies, Saint Augustine, Trinidad & Tobago)
  Prototyping of Learnd (Fuzzy) Logic Structures Using (Fuzzy) Logic Equations
• K. Hesse (TU Bergakademie Freiberg)
  Lastausgleich in unvollständigen Hypercubes

Session 5

• C. Lang (TU Bergakademie Freiberg)
  Verifikation von Programmen unter Nutzung von Bibliotheken zur Lösung Boolescher Gleichungen
• B. Stiefel (Fachhochschule Schmalkalden)
  Anwendung Boolescher Gleichungen in der Wissensverarbeitung
• A. Bockmayr , P. Barth, T. Kasper (Max-Planck-Institut für Informatik, Saarbrücken)
  Methoden und Werkzeuge für Pseudo-Boolesche Probleme

Session 6

• T. Schleinig, D. Müller (TU Chemnitz-Zwickau)
  Timing Verifikation unter Nutzung der Booleschen und zeitlichen Ableitung
• S. N. Yanushkevich (Technical University of Szczecin, Polen)
  Analogues of Boolean Differences and Differentials in Arithmetical Logic