Bernd Steinbach:
Hochdimensionale Boolesche Probleme - eine Herausforderung für die Informatik

Kay Hesse:
Bearbeitung hochdimensionaler Boolescher Probleme auf Transputernetzen

R. Drechsler, M. Theobald, B. Becker, A. Sarabi, M.A. Perkowski:
On the Computational Power of Ordered Kronecker Functional Decision Diagrams

Galina Kempe, Bernd Steinbach:
Vergleich der Darstellungen einer Booleschen Funktion als TVL und ROBDD

Renatus Rohde, Rainer R. Barthel:
Zur Effizienz der Behandlung Boolescher Probleme mit Ternärbäumen

Dieter Bochmannn:
Zur Modellierung ereignisdiskreter Systeme mit dem Booleschen Differentialkalkül

E. Klein, R. Scheuring, M. Groebel, H. Wehlan:
Ereignisdiskrete Modellierung verfahrenstechnischer Anlagen mit Hilfe des Booleschen Differentialkalküls

Lê Trung Quôc:
Boolean Matching with Q-Transformation

Torsten Schleinig, Dietmar Müller:
Ein neues Zeitmodell zur Lösung des false-path-Problems innerhalb der Timing Verifikation

Volker Zerbe:
Systematischer Entwurf paralleler, digitaler Systeme

Lê Trung Quôc:
A-Dekomposition und ihre Anwendung bei der Synthese mehrstufiger Schaltungen