Posthoff, Ch.; Steinbach, B.: The Solution of Discrete Constraint Problems Using Boolean Models. in: J. Filipe; A. Fred; B. Sharp: Proceedings of the 2nd International Conference on Agents and Artificial Intelligence – ICAART 2010, Valencia, Spain, ISBN: 978-989-674-021-4, pp. 487  – 493. (PDF 142K)

Steinbach, B; Posthoff, Ch.: Complete Sets of Hamiltonian Circuits for Classification of Documents. in: Moreno-Diaz, Roberto; Pichler, Franz; Quesada-Arencibia, Alexis; Computer Aided System Theory - EUROCAST 2009. Springer (LNCS 5717), Berlin, Heidelberg, New York, 2009, ISBN-10 3-642-04771-8, ISBN-13 978-3-642-04771-8, pp. 526 – 533. (PDF 176K)

Steinbach, B; Posthoff, Ch.: The Boolean Differential Calculus - Introduction and Examples.Proceedings – Reed-Muller Workshop 2009, Naha, Okinawa, Japan, 2009, pp 107 - 117. (PDF 172K)

Steinbach, B.; Posthoff, Ch.: Complete Sets of Hamiltonian Circuits for Classification of Documents. in: Quesada-Arencibia, A.; Rodriguez, J.C.; Moreno-Diaz, R. jr.; Moreno-Diaz, R. (Eds.): EUROCAST 2009 – Computer Aided System Theory, Extended Abstracts. IUCTC Universidad de Las Palmas de Grand Canaria, 2009. ISBN 978-84-691-8502-5, pp 177 - 178.  (PDF 81K)

Steinbach, B.; Posthoff, Ch.: Logic Functions and Equations – Examples and Exercises.  Springer Science + Business Media B.V.,  2009. ISBN 978-1-4020-9594-8, pp 1 – 231. ( online order )

Steinbach, B.; De Vos, A.: The Shape of the SNF as a Source of Information. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 8th International Workshops on Boolean Problems, 18. - 19. September 2008, Freiberg University of Mining and Technology, Freiberg, 2008, pp. 127 – 136. (PDF 137K)

Stanković, R. S.; Astola, J.; Steinbach, B.: Former and Recent Work in Classification of Switching Functions. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 8th International Workshops on Boolean Problems, 18. - 19. September 2008, Freiberg University of Mining and Technology, Freiberg, 2008, pp. 115 – 126. (PDF 150K)

Posthoff, Ch.; Steinbach, B.: Sudoku Solutions Using Logic Equations. B. (Hrsg.): Boolean Problems, in: Steinbach, B. (Hrsg.): Proceedings of the 8th International Workshops on Boolean Problems, 18. - 19. September 2008, Freiberg University of Mining and Technology, Freiberg, 2008, pp. 49 – 57. (PDF  118K)

Posthoff, Ch.; Steinbach, B.: The Solution of Combinatorial Problems Using SAT. in: SIAM Conference on Discrete Mathematics - Abstracts, 16 – 19 Juni 2008, Burlington (Vermont), USA, p. 36. (PDF 9K)

Yanushkevich, S. N.; Shmerko, V. P.; Steinbach, B.: Spatial Interconnect Analysis for Predictable Nanotechnologies. in: Journal of Computational and Theoretical Nanoscience, American Scientific Publishers, Volume 5, No. 1, 2008, pp. 56 – 69. (PDF 722K)

Steinbach, B.; Posthoff, Ch.: Set-Based SAT-Solving. in: Journal - FACTA UNIVERSITATIS (NIŠ), Series.: Electronics and Energetics. Vol. 20, No. 3, December 2007, 395 – 414. (PDF 117K)

Steinbach, B.: Most Complex Boolean Functions Detected by the Specialized Normal Form. in: Journal - FACTA UNIVERSITATIS (NIŠ), Series.: Electronics and Energetics. Vol. 20, No. 3, December 2007, 259 – 279. (PDF 114K)

Kohut, R.; Steinbach, B.: Discrete Device Realized by Neural Networks. in: Computer - Aided Design of Discrete Devices - CAD DD 2007, Proceedings of the Sixth International Conference 14 – 15 November 2007, Minsk, Belarus, Volume 2, pp. 23 – 33. (PDF 153K)

Steinbach, B.; Posthoff, Ch.: XBOOLE and the Education of Engineers. in: Computer - Aided Design of Discrete Devices - CAD DD 2007, Proceedings of the Sixth International Conference 14 – 15 November 2007, Minsk, Belarus, Volume 2, pp. 14 – 22. (PDF 237K)

Besser, O.; Dorotska, C.; Rudolf, G.; Steinbach, B.: Exchange of UML Models in a Design Chain using a Berkley Database. in: Computer - Aided Design of Discrete Devices - CAD DD 2007, Proceedings of the Sixth International Conference 14 – 15 November 2007, Minsk, Belarus, Volume 1, pp. 22 – 29. (PDF 265K)

Steinbach, B.; Irkhin, A.: High-level Design of Discrete Devices. in: Computer - Aided Design of Discrete Devices - CAD DD 2007, Proceedings of the Sixth International Conference 14 – 15 November 2007, Minsk, Belarus, Volume 1, pp. 14 – 21. ( PDF 182K )  

Posthoff, Ch.; Steinbach, B.: SAT-Problems - New Findings. in: Proceeding of the 6th WSEAS International Conference on Data Networks, Communications, Computers, Trinidad and Tobago, November 5-7, 2007, pp. 339 – 344. ( PDF 695K )       

Steinbach, B. (Guest Editor): Special Issue – 37th International Symposium on Multiple-Valued Logic. in: Simovici, D.A.; Stojmenovic I. (Editors-in-Chef) Journal of Multiple-Valued Logic and Soft Computing, Volume 14, Numbers 4-6, 2007, pp. i-iv, 279 – 631.

Steinbach, B.: Most Complex Boolean Functions. in: Proceedings Reed-Muller 2007. University of Oslo, Norway, 2007, pp. 13 – 23. ( PDF 156K )

Steinbach, B.; Posthoff, Ch.: Extended Theory of Boolean Normal Forms. in: Proceedings of the 6th Annual  Hawaii International Conference on Statistics, Mathematics and Related Fields, Honolulu, Hawaii, 2007, pp. 1124 – 1139. ( PDF 172k )

Steinbach, B.: Adjacency Graph of the SNF as Source of Information. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 7th International Workshops on Boolean Problems, 21. - 22. September 2006, Freiberg University of Mining and Technology, Freiberg, 2006, pp. 19 – 28. ( PDF 131K )

Dorotska, Chr.; Steinbach, B.: Boolean Representation of Relationships Between Elements of a Software Model. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 7th International Workshops on Boolean Problems, 21. - 22. September 2006, Freiberg University of Mining and Technology, Freiberg, 2004, pp. 29 – 36. ( PDF 220K )

Posthoff, Ch.; Steinbach, B.: A Multi-Processor Approach to SAT-Problems. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 7th International Workshops on Boolean Problems, 21. - 22. September 2006, Freiberg University of Mining and Technology, Freiberg, 2006, pp. 49 – 62. ( PDF 148K )

Yanushkevich S.N.; Steinbach, B.; Shmerko, V. P.: Interconnect Analysis of Spatial Decomposition of Boolean Functions for Predictable Nanotechnologies.  in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 7th International Workshops on Boolean Problems, 21. - 22. September 2006, Freiberg University of Mining and Technology, Freiberg, 2006, pp. 115 – 122. ( PDF 191K )

Steinbach, B.: Decomposition Using Decision Diagrams. (Chapter 25, pp. 509 – 544) in: Yanushkevich, S.N.; Miller, D.M; Shmerko, V. P.; Stankovic, R. S.: Decision Diagram Technique – for Micro- and Nanoelectronic Design. Handbook, CRC PRESS, Boca Raton, London, New York, 2006. ( PDF 517K )

Steinbach, B.; Fröhlich, D.; Beierlein, T: Hardware/Software Codesign of Reconfigurable Architectures Using UML. in: Grant, M.; Müller, W.: UML for SOC Design, Springer, Dordrecht, Printed in The Netherlands, 2005, pp. 89 – 117. ( PDF 244K )

Dorotska, Chr.; Steinbach, B.; Fröhlich, D.: Synthesis of UML-Models for Reconfigurable Hardware. in: Proceedings of the UML-SoC 2005 – UML for SoC Design, Anaheim, CA, USA, June 12, 2005, pp. 24 – 29. ( PDF 99K )

Steinbach, B.; Lang, Ch.: Complete Bi-Decomposition of Multiple-Valued Functions Using MIN and MAX Gates. in: Proceedings of the 35th International Symposium on Multiple-Valued Logic, May 19-21, 2005, Calgary, Canada, pp. 69 - 74. ( PDF 86k )

Irkhin, A.; Fröhlich, D.; Steinbach, B.: Hardware/Software Co-Design using Object-Oriented UML Models. in: Proceedings of the IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (8th IEEE DDECS 2005), Sopron, Hungary, 2005, pp. 240 - 243. ( PDF 63k )

Kohut, R.; Steinbach, B.: The Structure of Boolean Neuron for the Optimal Mapping to FPGAs. in: The Experience of Designing and Application of CAD Systems in Microelectronics - Proceedings of the VIII-th International Conference CADSM 2005. Lviv – Polyana, Ukraine, 2005, pp. 469 – 473. ( PDF 167k )

Dorotska, Ch.; Fröhlich, D.; Steinbach, B.: Synthesis of UML-Models for Reconfigurable Hardware. in: The Experience of Designing and Application of CAD Systems in Microelectronics - Proceedings of the VIII-th International Conference CADSM 2005. Lviv – Polyana, Ukraine, 2005, pp. 260 – 267. ( PDF 595k )

Posthoff, Ch.; Steinbach, B.: Logic Functions and Equations – Binary Models for Computer Science. Springer, Dordrecht, The Netherlands, 2004, pp 1 – 392. ( online order )

Lukac, M.; Steinbach, B.; Perkowski, M.: Quantum Logic, Quantum Computing and Perspectives. in: Computer - Aided Design of Discrete Devices - CAD DD 2004, Proceedings of the Fifth International Conference 16 – 17 November 2004,