Lösung binärer Differentialgleichungen und ihre Anwendung auf binäre Systeme. - Bernd Steinbach (1980)

Theorie, Algorithmen und Programme für den rechnergestützten logischen Entwurf digitaler Systeme. - Bernd Steinbach (1984)

Effiziente Lösung hochdimensionaler BOOLEscher Probleme mittels XBOOLE auf Transputer. - Bernd Steinbach; Nico Kümmling (Transputer-Anwender-Treffen, 1990)

Design of fully testable circuits by functional decomposition and implicit test pattern generation. - Bernd Steinbach; M. Stöckert (VTS, 1994)

Bi-Decompositions of Multi-Valued Functions for Circuit Design and Data Mining Applications. - Bernd Steinbach; Marek A. Perkowski; Christian Lang 001 (ISMVL, 1999)

An Algorithm for Bi-Decomposition of Logic Functions. - Alan Mishchenko; Bernd Steinbach; Marek A. Perkowski (DAC, 2001)

Decomposition of Multi-Valued Functions into Min- and Max-Gates. - Christian Lang 001; Bernd Steinbach (ISMVL, 2001)

UML-Based Co-Design for Run-Time Reconfigurable Architectures. - Dominik Fröhlich; Bernd Steinbach; Thomas Beierlein (FDL, 2003)

Bi-Decomposition of Function Sets in Multiple-Valued Logic for Circuit Design and Data Mining. - Christian Lang 001; Bernd Steinbach (Artif. Intell. Rev., 2003)

Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition. - Bernd Steinbach; Christian Lang 001 (Artif. Intell. Rev., 2003)

A Model-Based Approach to System-Level Co-Design. - Thomas Beierlein; Dominik Fröhlich; Bernd Steinbach (MBMV, 2004)

Complete Bi-Decomposition of Multiple-Valued Functions Using MIN and MAX Gates. - Bernd Steinbach; Christian Lang 001 (ISMVL, 2005)

Complete Sets of Hamiltonian Circuits for Classification of Documents. - Bernd Steinbach; Christian Posthoff (EUROCAST, 2009)

The Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-Solving. - Christian Posthoff; Bernd Steinbach (ICAART (1), 2010)

A New General Approach to Model Event Handling. - Dong Liang 003; Bernd Steinbach (ICSEA, 2010)

Improvements of the Construction of Exact Minimal Covers of Boolean Functions. - Bernd Steinbach; Christian Posthoff (EUROCAST (2), 2011)

Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems. - Bernd Steinbach; Christian Posthoff (ISMVL, 2012)

Fast Calculation of Exact Minimal Unate Coverings on Both the CPU and the GPU. - Bernd Steinbach; Christian Posthoff (EUROCAST (2), 2013)

Artificial Intelligence and Creativity - Two Requirements to Solve an Extremely Complex Coloring Problem. - Bernd Steinbach; Christian Posthoff (ICAART (2), 2013)

Solution of the Last Open Four-Colored Rectangle-Free Grid: An Extremely Complex Multiple-Valued Problem. - Bernd Steinbach; Christian Posthoff (ISMVL, 2013)

Rectangle-Free Colorings of Extremely Complex Grids Using 4 Colors. - Bernd Steinbach; Christian Posthoff (J. Multiple Valued Log. Soft Comput., 2013)

Boolean Differential Equations - Bernd Steinbach; Christian Posthoff (Morgan & Claypool Publishers, 2013)

Simpler Functions for Decompositions. - Bernd Steinbach (ICSEng, 2014)

Multiple-Valued Problem Solvers - Comparison of Several Approaches. - Bernd Steinbach; Christian Posthoff (ISMVL, 2014)

Solving the Game of Sudoku. - Christian Posthoff; Bernd Steinbach (J. Int. Comput. Games Assoc., 2014)

How to Solve Bishop-Problems. - Christian Posthoff; Bernd Steinbach (J. Int. Comput. Games Assoc., 2014)

Evaluation and Optimization of GPU Based Unate Covering Algorithms. - Bernd Steinbach; Christian Posthoff (EUROCAST, 2015)

Highly Complex 4-Colored Rectangle-free Grids - Solution Unsolved Multiple-Valued Problems. - Bernd Steinbach; Christian Posthoff (J. Multiple Valued Log. Soft Comput., 2015)

The Last Unsolved Four-Colored Rectangle-Free Grid: The Solution ofExtremely Complex Multiple-Valued Problems. - Bernd Steinbach; Christian Posthoff (J. Multiple Valued Log. Soft Comput., 2015)

Alternative Approaches for Fast Boolean Calculations Using the GPU. - Bernd Steinbach; Matthias Werner 003 (Computational Intelligence and Efficiency in Engineering Systems, 2015)

Multi-valued Problem Solvers. - Bernd Steinbach; Stefan Heinrich; Christian Posthoff (ISMVL, 2016)

A Three-Level Hierarchy of Models for Lattices of Boolean Functions. - Bernd Steinbach; Christian Posthoff (EUROCAST (2), 2017)

Boolean Differential Calculus - Bernd Steinbach; Christian Posthoff (Morgan & Claypool Publishers, 2017)

Logic Functions and Equations - Binary Models for Computer Science, Second Edition - Christian Posthoff; Bernd Steinbach (Springer, 2019)

Rectangle-free four-colored square grids realized by cyclic-rotated reusable patterns. - Bernd Steinbach (it Inf. Technol., 2024)