Publikationen

Veith, E. MSP; Steinbach, B.: Agent-Based Power Equilibrium in a Smart Grid with XBOOLE. in: Proceedings of The International Conference on Information and Digital Technologies 2017 (IDT 2017, IEEE), July 5 - 7, 2017 - Zilina, Slovakia, 2017, p. 423 – 433. (PDF 599K)

Steinbach, B.; Posthoff, Ch.: Boolean Differential Calculus. Morgan&Claypool Publishers, San Rafael, California, USA. ISBN 9781627059220 (paperback), ISBN 9781627056175 (ebook), DOI 10.2200/S00766ED1V01Y201704DCS052, June, 2017.

Steinbach, B.; Posthoff, Ch.: Compact XOR-Bi-Decomposition for Generalized Lattices of Boolean Functions. in: Proceedings Reed-Muller Workshop 2017, Novi Sad, Serbia, 2016, number IA,  pp. 5 – 14. (PDF 266K)

Steinbach, B.; Posthoff, Ch.: A Hierarchy of Models for Lattices of Boolean Functions. in: Quesada-Arencibia, A.; Rodriguez, J.C.; Moreno-Diaz, R. jr.; Moreno-Diaz, R. (Eds.): – Computer Aided System Theory, Extended Abstracts. 16th International Conference on Computer Aided System Theory (Eurocast 2017), IUCTC Universidad de Las Palmas (Grand Canaries), 2017, ISBN 978-84-617-8087-7, pp. 213 – 214. (PDF 166K)

Steinbach, B.: From Boolean to Multi-Valued Bent Functions. in: Rudolf Seising and Héctor Allende-Cid (Editors) Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing, Series: Studies in Fuzziness and Soft Computing, Volume 349. Springer, 2016, ISBN 987-3-319-48316-0, DOI 10.1007/987-3-319-48317-7_15, pp. 251-264.

Posthoff, Ch.; Steinbach, B.: NP-Problems and Boolean Equations. in: Steinbach, B. (Ed.): Proceedings of the 12th International Workshops on Boolean Problems, 22. - 23. September 2016, Freiberg University of Mining and Technology, Freiberg, 2016, ISBN 978-3-86012-488-8, pp. 211 219. (PDF 273K)

Rodas Bautista, D.; Popovici, E.; Steinbach, B.: Study of Synthesis Tech­niques for Relia­bility Using Bi-Decompositions, in: Steinbach, B. (Ed.): Proceedings of the 12th International Workshops on Boolean Problems, 22. - 23. September 2016, Freiberg University of Mining and Technology, Freiberg, 2016, ISBN 978-3-86012-488-8, pp. 113 121. (PDF_ 253K)

Steinbach, B.; Posthoff, Ch.: Vectorial Bi-Decompositions for Lattices of Boolean Functions. in: Steinbach, B. (Ed.): Proceedings of the 12th International Workshops on Boolean Problems, 22. - 23. September 2016, Freiberg University of Mining and Technology, Freiberg, 2016, ISBN 978-3-86012-488-8, pp. 93 104. (PDF 351K)

Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 12th International Workshops on Boolean Problems, 22. - 23. September 2016, Freiberg University of Mining and Technology, Freiberg, 2016, ISBN 978-3-86012-540-3, pp. 1 – 219.

Steinbach, B.; Posthoff, Ch.: How to Deal with High Complexity? in: Proceedings of the 2016 International Conference on Computer Science and Artificial Intelligence (CSAI) 2016. Guilin, China, pp. 1-3. (PDF 24K)

Steinbach, B; Heinrich, S.; Posthoff, Ch.: Multi-Valued Problem Solvers. in: Proceedings of the IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL) 2016. Sapporo, Hokaido, Japan, ISBN 978-1-4673-9488-8, IEEE, 2016, pp. 264-269. (PDF 200K)

Steinbach, B., Relationships Between Vectorial Bi-Decompositions and Strong EXOR-Bi-Decompositions. in: Proceedings of the 25th International Workshop on Post-Binary ULSI Systems. Hokkaido University, Sapporo, Hokkaido, Japan, 2016, p. 44.

Wu, Ch.; Steinbach, B.: Utilization of Boolean Functions in Cryptography. in: Steinbach, B. (Editor): Problems and New Solutions in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-8947-6, 2016, pp. 220–240.

Steinbach, B., Werner, M.: XBOOLE-CUDA - Fast Calculations of Large Boolean Problems on the GPU. in: Steinbach, B. (Editor): Problems and New Solutions in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-8947-6, 2016, pp. 117–149.

Posthoff, Ch.; Steinbach, B.: Solving Combinatorial Problems Using Boolean Equations. in: Steinbach, B. (Editor): Problems and New Solutions in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-8947-6, 2016, pp. 51–75.

Steinbach, B. (Editor, Autor): Problems and New Solutions in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-8947-6, 2016.

Steinbach, B.; Posthoff, Ch.: Rechteck-freie 4-Farben-Gitter – eine extreme wissenschaftliche Herausforderung (Rectangle-free 4-color-grids – an Extreme Scientific Challenge). in: Groß, U. (Ed.): Glanzlichter der Forschung an der TU Bergakademie Freiberg 250 Jahre nach ihrer Gründung, Chemnitz Verlag, ISBN 978-3-944509-26-6, 2016, pp. 39-49.

Steinbach, B.; Posthoff, Ch.: EAGLE-Starthilfe Java-Programmierung für Anfänger. Edition am Gutenbergplatz, Leipzig, ISBN 978-3-95922-088-0, 2016.

Steinbach, B.; Posthoff, Ch.: Evaluation and Optimization of GPU Based Unate Covering Algorithms. DOI: 10.1007/978-3-319-27340-2_76.  in: Moreno-Diaz, R.; Pichler, F.; Quesada-Arencibia, A.; (Eds.): Computer Aided Systems Theory – EUROCAST 2015, 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers. Springer International Publishing, Springer International Publishing Switzerland, Print ISBN 978-3-319-27339-6, Online ISBN 978-3-319-27340-2, Volume 9520, pp. 617-624. (PDF 310K)

Steinbach, B.; Posthoff, Ch.: The Last Unsolved Four-Colored Rectangle-Free Grid: The Solution of Extremely Complex Multiple-Valued Problems. in: Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, Philadelphia (PA), USA, Volume 25, Numbers 4-5, 2015, ISSN 1542-3980 (print), ISSN 1542-3999 (online), pp. 461 – 490.

Wu, C., Steinbach, B.: Relations Between Different Constructions of Bent Functions and Their Enumerations. in: Carlos Monsalve, Alberto Sánchez, Zenon Chaczko: 2015 Asia-Pacific Conference on Computer Aided System Engineering – APCASE 2015, Quito, Pichincha, Ecuador, ISBN:  978-1-4799-7588-4, 14-16, July 2015, DOI: 10.1109/APCASE.2015.61, pp. 308 – 313. (PDF 230K)

Steinbach, B.; Werner, M.: Alternative Approaches for Fast Boolean Calculations Using the GPU. in: Grzegorz Borowik, Zenon Chaczko, Witold Jacak, Tadeusz Łuba (Editors): Computational Intelligence and Efficiency in Engineering Systems, Springer International Publishing Switzerland, Series: Studies in Computational Intelligence, Volume 595, 2015, ISBN:  978-3-319-15719-1, DOI: 10.1007/978-3-319-15720-7_2, pp. 17 – 31.

Steinbach, B.: Vectorial Bi-Decompositions of Logic Functions. in: Proceedings Reed-Muller Workshop 2015, Waterloo, Canada, 2015, number 4,  pp. 1 – 10. (PDF 245K)

Steinbach, B.: The Boolean Differential Calculus - a Compact Introduction and Selected Applications. in: Proceedings Reed-Muller Workshop 2015, Waterloo, Canada, 2015, number I-1,  pp. 1 – 20. (PDF 354K)

Veith, E. MSP; Steinbach, B.: Modeling Demand and Supply in a Smart Grid. in: Proceedings of the 24th International Workshops on Post-Binary ULSI Systems, Waterloo, Canada, 2015, p. 13. (PDF 120K)

Steinbach, B.: Complexity Spectrum of Boolean Functions. in: Proceedings of the 24th International Workshops on Post-Binary ULSI Systems, Waterloo, Canada, 2015, p. 1. (PDF 174K)

Steinbach, B; Posthoff, Ch.: Boolean Differential Equations - a Common Model for Classes, Lattices, and Arbitrary Sets of Boolean Functions. in: FACTA UNIVERSITATIS (NIŠ), Series: Electronics And Energetics. Volume 28, Issue No. 1, ISSN 0353-3670, DOI: 10.2298/FUEE1501051S, March 2015, pp. 51 – 76. (PDF 915K)

Steinbach, B; Posthoff, Ch.: The Solution of Combinatorial Problems using Boolean Equations: New Challenges for Teaching. in: IMVI Open Mathematical Education Notes, Volume 5, Number 1, 2015. ISSN 2303-4882, pp. 1 30. (PDF 288K)

Steinbach, B; Posthoff, Ch.: EAGLE-STARTHILFE Effiziente Berechnungen mit XBOOLE: Boolesche Gleichungen - Mengen und Graphen - Digitale Schaltungen. Edition am Gutenbergplatz, Leipzig, ISBN 978-3-95922-081-1, 2015. (online order)

Steinbach, B; Posthoff, Ch.: Evaluation and Optimization of Unate Covering Algorithms. in: Quesada-Arencibia, A.; Rodriguez, J.C.; Moreno-Diaz, R. jr.; Moreno-Diaz, R. (Eds.): – Computer Aided System Theory, Extended Abstracts. 15th International Conference on Computer Aided System Theory (Eurocast 2015), IUCTC Universidad de Las Palmas (Grand Canaries), 2015, ISBN 978-84-606-5438-4, DOI: 10.13140/2.1.1330.0000, pp. 195 – 196. (PDF 171K)

Wu, C., Steinbach, B.: Applications of Boolean Functions in Cryptography. in: Steinbach, B. (Ed.): Proceedings of the 11th International Workshops on Boolean Problems, 17. - 19. September 2014, Freiberg University of Mining and Technology, Freiberg, 2014, ISBN 978-3-86012-488-8, pp. 189 – 198. (PDF 384K)

Steinbach, B., Werner, M.: XBOOLE-CUDA - Fast Boolean Operations on the GPU. in: Steinbach, B. (Ed.): Proceedings of the 11th International Workshops on Boolean Problems, 17. - 19. September 2014, Freiberg University of Mining and Technology, Freiberg, 2014, ISBN 978-3-86012-488-8, pp. 75 84. (PDF 415K)

Posthoff, Ch.; Steinbach, B.: Solving Combinatorial Problems Using Boolean Equations. in: Steinbach, B. (Ed.): Proceedings of the 11th International Workshops on Boolean Problems, 17.-19. September 2014, Freiberg University of Mining and Technology, Freiberg, 2014, ISBN 978-3-86012-488-8, pp. 23–32. (PDF 313K)

Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 11th International Workshops on Boolean Problems, 17.-19. September 2014, Freiberg University of Mining and Technology, Freiberg, 2014, ISBN 978-3-86012-488-8, pp. 1–268.

Martin, R.; Veith, E.; Steinbach, B.: An Evolutionary Training Algorithm for Artificial Neural Networks with Dynamic Offspring Spread and Implicit Gradient Information. in: Proceedings of the Sixth International Conference on Emerging Network Intelligence (EMERGING 2014), August 24 - 28, 2014 - Rome, Italy, 2014, ISBN 978-1-61208-357-5, p. 18 – 21. (PDF 131K)

Veith, E. MSP; Steinbach, B.; Windeln, J.: A Lightweight Distributed Software Agent for Automatic Demand—Supply Calculation in Smart Grids. in: International Journal on Advances in Internet Technology, Vol. 7, No. 1 & 2, ISSB 942-2652, 2014, pp. 97-113. (PDF 1008K)

Steinbach, B: Simpler Functions for Decompositions. in: Progress in System Engineering, Proceedings of the Twenty-Third International Conference on Systems Engineering (ICSEng 2014), Las Vegas (NV), USA, Springer, ISBN 978-3-319-08421-3, DOI 10.1007/978-3-319-08422-0_119, 2014, pp. 817-823. (PDF 321K)

Steinbach, B.; Posthoff, Ch.: Extremely Complex Boolean Problems a Challenge for Mathematics and Informatics. in: Book of Abstracts, 13th Serbian Mathematical Congress (SMC 2014), Vrnjačka Banja, Serbia, ISBN 978-86-6257-026-6, 2014, p. 114. (PDF 125K)

Posthoff, Ch.; Steinbach, B.: Solving the Game of Sudoku. in: ICGA Journal, Vol. 37, No. 2, Published by Leiden Center of Data Science (LCDS), Leiden University, Leiden, The Netherlands, June, 2014, ISSN 1389-6911, pp. 111-116. (PDF 458K)

Steinbach, B.; Posthoff, Ch.: Boolean Differential Equations - Solution and Applications. in: Book of Abstracts, 13th Serbian Mathematical Congress (SMC 2014), Vrnjačka Banja, Serbia, ISBN 978-86-6257-026-6, 2014, p. 36. (PDF 120K)

Steinbach, B.; Posthoff, Ch.: Multiple-Valued Problem Solvers – Comparison of Several Approaches. in: Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL 2014), Bremen, Germany, DOI: 10.1109/ISMVL.2014.13, 2014, pp. 25 – 31. (PDF 261K)

Veith, E. MSP; Steinbach B.; Otten J.: An Open Data-Based Discrete Simulation Environment for Testing Smart Grid Messaging. in: ENERGY 2014 : The Fourth International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies, IARIA, ISBN 978-1-61208-332-2, 2014, pp. 7-12. (PDF 598K)

Steinbach, B; Posthoff, Ch.: Four-Colored Rectangle-Free Grids: Four-Colored Rectangle-Free Grids of the Size 12×21. in: Steinbach, B. (Editor): Recent Progress in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-5638-6, 2014, pp. 121–144.

Steinbach, B; Posthoff, Ch.: Four-Colored Rectangle-Free Grids: Cyclic Color Assignments of Four-Colored Grids. in: Steinbach, B. (Editor): Recent Progress in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-5638-6, 2014, pp. 110–120.

Steinbach, B; Posthoff, Ch.: Four-Colored Rectangle-Free Grids: Power and Limits of SAT-Solvers. in: Steinbach, B. (Editor): Recent Progress in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-5638-6, 2014, pp. 105–109.

Steinbach, B; Posthoff, Ch.: Four-Colored Rectangle-Free Grids: Basic Approaches and Results. in: Steinbach, B. (Editor): Recent Progress in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-5638-6, 2014, pp. 98–104.

Steinbach, B; Posthoff, Ch.: Four-Colored Rectangle-Free Grids: The Problem to Solve and Its Complexity. in: Steinbach, B. (Editor): Recent Progress in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-5638-6, 2014, pp. 87–97.

Steinbach, B; Posthoff, Ch.: Boolean Rectangle Problem: Permutation Classes.
in: Steinbach, B. (Editor): Recent Progress in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-5638-6, 2014, pp. 63–85.

Steinbach, B; Posthoff, Ch.: Boolean Rectangle Problem: The Slot Principle. in: Steinbach, B. (Editor): Recent Progress in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-5638-6, 2014, pp. 31–50.

Steinbach, B; Posthoff, Ch.: Boolean Rectangle Problem: Search Space Restriction. in: Steinbach, B. (Editor): Recent Progress in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-5638-6, 2014, pp. 14–30.

Steinbach, B; Posthoff, Ch.: Boolean Rectangle Problem: The Problem to Solve and Its Properties. in: Steinbach, B. (Editor): Recent Progress in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-5638-6, 2014, pp. 3–13.

Steinbach, B. (Editor, Autor): Recent Progress in the Boolean Domain. Cambridge Scholars Publishing. Newcastle upon Tyne, UK, ISBN 978-1-4438-5638-6, 2014. (online order: .de, .com )

Steinbach, B; Posthoff, Ch.: EAGLE-Starthilfe Technische Informatik – Logische Funktionen – Boolesche Modelle. Edition am Gutenbergplatz, Leipzig, EAGLE 077, ISBN 978-3-937219-77-5, 2014. (online order)

Steinbach, B.; Werner, M.: Fast Boolean Calculations Using the GPU. in: Zenon Chaczko, Ford Lumban Gaol, Christopher Chiu: 2nd Asia-Pacific Conference on Computer Aided System Engineering – APCASE 2014, Book of Extended Abstracts, Bali Dynasty Resort, Bali, Indonesia, ISBN:  978-0-9924518-0-6, 10-12 February 2014, pp. 86 – 89. (PDF 134K)

Steinbach, B; Posthoff, Ch.: Rectangle-Free Colorings of Extremely Complex Grids Using 4 Colors. in: Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, Philadelphia (PA), USA, Volume 21, Numbers 5-6, 2007, ISSN 1542-3980 (print), ISSN 1542-3999 (online), pp. 609 – 625. (PDF 264K)

Steinbach, B.; Posthoff, Ch.: Fast Calculation of Exact Minimal Unate Coverings on Both the CPU and the GPU. in: Roberto Moreno-Díaz, Franz Pichler und Alexis Quesada-Arencibia: 14th International Conference on Computer Aided Systems Theory – EUROCAST 2013 - Part II, Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, Volume 8112, ISBN: 978-3-642-53861-2, DOI: 10.1007/978-3-642-53862-9_30, 2013, pp. 234 – 241. (PDF 242K)

 Veith, E.; Steinbach, B.; Windeln, J.: A Lightweight Messaging Protocol for Smart Grids. in: The 5th International Conference on Emerging Network Intelligence, Porto, Portugal, ISBN 9781612082929, Oktober, 2013, pp. 1 – 6. (PDF 134K)

Steinbach, B.; Posthoff, Ch.: Boolean Differential Equations. Morgan&Claypool Publishers, San Rafael, California, USA. ISBN 9781627052412 (paperback), ISBN 9781627052429 (ebook), DOI 10.2200/S00511ED1V01Y201305DCS042, June, 2013. (online order: .de, .com )

Steinbach, B: Generalized Lattices of Boolean Functions Utilized for Derivative Operations. in: Materiały konferencyjne KNWS’13, Łagów, Poland, 2013, pp. 1 – 17. (PDF 334K)

Steinbach, B.; Posthoff, Ch.: Derivative Operations for Lattices of Boolean Functions. in: Proceedings Reed-Muller Workshop 2013, Toyama, Japan, 2013, pp. 110 – 119. (PDF 290K)

Steinbach, B.; Posthoff, Ch.: Solution of the Last Open Four-Colored Rectangle-free Grid - an Extremely Complex Multiple-Valued Problem. in: Proceedings of the IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL 2013), Toyama, Japan, ISBN-13: 978-0-7695- 4976-7, BMS Part # CFP13034-USB, DOI: 10.1109/ISMVL.2013.51, 2013, pp. 302 – 309. (PDF 116K)

Steinbach, B.; Posthoff, Ch.: Artificial Intelligence and Creativity - Two Requirements to Solve an Extremely Complex Coloring Problem. in:  J. Filipe; A. Fred: Proceedings of the 5th International Conference on Agents and Artificial Intelligence – ICAART 2013, Barcelona, Spain, Volume 2, ISBN: 978-989-8565-39-6, pp. 411  – 418. (PDF 86K)

Steinbach, B; Posthoff, Ch.: Algorithm for Fast Calculation of Exact Minimal Coverings on Both the CPU and the GPU. in: Quesada-Arencibia, A.; Rodriguez, J.C.; Moreno-Diaz, R. jr.; Moreno-Diaz, R. (Eds.): – Computer Aided System Theory, Extended Abstracts. 14th International Conference on Computer Aided System Theory (Eurocast 2013), IUCTC Universidad de Las Palmas (Grand Canaries), 2013, ISBN 978-84-695-6971-9, pp. 262 – 263. (PDF 56K)

Steinbach, B.; Posthoff, Ch.: Sources and Obstacles for Parallelization - a Comprehensive Exploration of the Unate Covering Problem Using Both CPU and GPU. in: Astola, J.; Kameyama, M.; Lukac M.; Stanković R. S. (Eds.): GPU Computing with Applications in Digital Logic. Tampere International Center for Signal Processing. TICSP series # 62, Tampere 2012, ISBN 978-952-15-2920-7, ISSN 1456-2774, pp. 63 – 96.

Steinbach, B.; Posthoff, Ch.: Solutions of Exceptionally Complex Boolean Problems. in: Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 10th International Workshops on Boolean Problems, 19. - 21. September 2012, Freiberg University of Mining and Technology, Freiberg, 2012, ISBN 978-3-86012-438-3, pp. 185 – 223. (PDF 480K)

Steinbach, B.; Posthoff, Ch.: Search Space Restriction for Maximal Rectangle-Free Grids. in: Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 10th International Workshops on Boolean Problems, 19. - 21. September 2012, Freiberg University of Mining and Technology, Freiberg, 2012, ISBN 978-3-86012-438-3, pp. 155 – 162. (PDF 287K)

Schiffmann, J.; Steinbach, B.: Utilization of BDDs for Test-Case-Specifications of GUI-Applications.  in: Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 10th International Workshops on Boolean Problems, 19. - 21. September 2012, Freiberg University of Mining and Technology, Freiberg, 2012, ISBN 978-3-86012-438-3, pp. 41 – 48. (PDF 126K)

Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 10th International Workshops on Boolean Problems, 19. - 21. September 2012, Freiberg University of Mining and Technology, Freiberg, 2012, ISBN 978-3-86012-438-3, pp. 1 – 334.

Steinbach, B; Posthoff, Ch.: Utilization of Permutation Classes for Solving Extremely Complex 4-Colorable Rectangle-free Grids. in: Proceedings of the IEEE 2012 International Conference on Systems and Informatics (ICSAI 2012), Yantai, China, ISBN: 978-1-4673-0197-8, 2012, pp. 2361 – 2370. (PDF 114K)

Steinbach, B.; Posthoff, Ch.: Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued. in: Proceedings of the IEEE 42nd International Symposium on Multiple-Valued Logic (ISMVL 2012), Victoria, British Columbia, Canada, ISBN: 978-0-7695-4673-5, ISSN 0195-623X/12, DOI: 10.1109/ISMVL.2012.12, 2012, pp. 37 – 44. (PDF 95K)

Steinbach, B; Posthoff, Ch.: The Solution of Ultra Large Grid Problems. in: 21st International Workshop on Post-Binary ULSI Systems, Victoria, British Columbia, Canada, May 2012, pp. 1 – 10. (PDF 281K)

Steinbach, B.; Posthoff, Ch.: Improvements of the Construction of Exact Minimal Covers of Boolean Functions. in: Roberto Moreno-Díaz, Franz Pichler und Alexis Quesada-Arencibia: 13th International Conference on Computer Aided Systems Theory - Part II, Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2012, Volume 6928, ISBN: 978-3-642-27578-4, DOI: 10.1007/978-3-642-27579-1_35, 2012, pp. 272279. (PDF 116K)

Steinbach, B.; Posthoff, Ch.: Classes of Bent Functions Identified by Specific Normal Forms and Generated Using Boolean Differential Equations. in: FACTA UNIVERSITATIS (NIŠ), Series: Electronics And Energetics. Volume 24, Issue No. 3, ISSN: 0353-3670, DOI number 10.2298/FUEE1103357S, NIŠ, December 2011, pp. 357 – 383. (PDF 131K)

Posthoff, Ch.; Steinbach, B.: The Solution of SAT Problems Using Ternary Vectors and Parallel Processing. in: International Journal of Electronics and Telecommunications (JET), Warsaw, 2011, ISSN: 0867-6747, Volume 57, Number 3, Index 363189, pp. 233 – 249. (PDF 345K)

Liang, D.; Steinbach, B.: Compact and Efficient Modeling of GUI, Events and Behavior Using UML and Extended OCL. in: International Journal on Advances in Software, published by IARIA http://www.iariajournals.org/software/, ISSN: 1942-2628, Volume 4, Numbers 1 & 2, 2011, pp 100 – 116. (PDF 699K)

Steinbach, B; Posthoff, Ch.: Classification and Generation of Bent Functions. in: Proceedings Reed-Muller 2011 Workshop, Tuusula, Finnland, pp. 81 – 91. (PDF 242K)

Steinbach, B; Posthoff, Ch.: Boolean Differential Equations. in: Proceedings of the 20th International Workshops on Post-Binary ULSI Systems, Tuusula, Finnland, pp. 46 – 53. (PDF 119K)

Steinbach, B; Posthoff, Ch.: Parallel Solution of Covering Problems Super-Linear Speedup on a Small Set of Cores. in: GSTF International Journal on Computing, Global Science and Technology Forum (GSTF), Singapore, 2011, ISSN: 2010-2283, Volume 1, Number 2, pp. 113 – 122. (PDF 405K)

Steinbach, B; Posthoff, Ch.: Improvements in Exact Minimal Waveform Coverings of Periodic Binary Signals. in: Quesada-Arencibia, A.; Rodriguez, J.C.; Moreno-Diaz, R. jr.; Moreno-Diaz, R. (Eds.): – Computer Aided System Theory, Extended Abstracts. 13th International Conference on Computer Aided System Theory (Eurocast 2011), IUCTC Universidad de Las Palmas de Grand Canaria, 2011, ISBN 978-84-693-9560-8, pp. 410 – 411. (PDF 192K)

Steinbach, B; Posthoff, Ch.; Wessely, W.: Approaches to Shift the Complexity Limitations of Boolean Problems. in: Computer - Aided Design of Discrete Devices - CAD DD 2010, Proceedings of the Seventh International Conference, 16 – 17 November 2010, Minsk, Belarus, ISBN 978-985-6744-63-4, pp. 84 – 91. (PDF 173K)

Steinbach, B; Posthoff, Ch.: Parallel Solution of Covering Problems - Better Models and Algorithms. in: Proceedings of the Annual International Conference on Advances in Distributed and Parallel Computing (ADPC 2010) and Proceedings of the Annual International Conference on Real-Tome and Embedded Systems (RTES 2010), Singapore, Published by GSTF and Indexed by CrossRef.,  ISBN 978-981-08-7656-2, pp. A 70 – 75. (PDF 233K)

Steinbach, B; Wessely, W.; Posthoff, Ch.: Several Approaches to Parallel Computing in the Boolean Domain. in: Chaudhuri, P.; Ghosh, S.; Buyya, R. K.; Cao, J.; Dahiya, D.: 2010 1st International Conference on Parallel, Distributed and Grid Computing (PDGC 2010), October 28 – 30, 2010, Jaypee Univeersity of Information Technology Waknaghat, Solan, H.P., India, ISBN 978-1-4244-7672-5 (printed proceedings), ISBN 978-1-4244-7673-2 (CD-ROM version), pp. 6 – 11. (PDF 230K)

Paul, E.; Steinbach, B.; Perkowski, M.: Application of CUDA in the Boolean Domain for the Unate Covering Problem. in: Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 9th International Workshops on Boolean Problems, 16. - 17. September 2010, Freiberg University of Mining and Technology, Freiberg, 2010, ISBN 978-3-86012-404-8, pp. 133 – 142. (PDF 151K)

Steinbach, B; Posthoff, Ch.: New Results Based on Boolean Models. in: Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 9th International Workshops on Boolean Problems, 16. - 17. September 2010, Freiberg University of Mining and Technology, Freiberg, 2010, ISBN 978-3-86012-404-8, pp. 29 – 36. (PDF 110K)

Steinbach, B; Posthoff, Ch.: New Results for Sets of Boolean Functions. in: Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 9th International Workshops on Boolean Problems, 16. - 17. September 2010, Freiberg University of Mining and Technology, Freiberg, 2010, ISBN 978-3-86012-404-8, pp. 21 – 28. (PDF 256K)

Steinbach, B. (Ed.): Boolean Problems, Proceedings of the 9th International Workshops on Boolean Problems, 16. - 17. September 2010, Freiberg University of Mining and Technology, Freiberg, 2010, ISBN 978-3-86012-404-8, pp. 1 – 238.

Liang, D.; Steinbach, B.: A new General Approach to Model Event Handling. in: Hall, J.; Kaindl, H.; Lavazza, L.; Buchgeher, G.; Takaki, O.: The Fifth International Conference on Software Engineering Advances - ICSEA 2010, Nice, France; CPS – Conference Publishing Service, Los Alamitos, California, Washington, Tokyo; ISBN 978-0-7695-4144-0, pp. 14 – 19. (PDF 350K)

Steinbach, B; Posthoff, Ch.: Boolean Differential Calculus - Theory and Applications. in: Journal of Computational and Theoretical Nanoscience, American Scientific Publishers, Valencia, California, USA, 2010, ISSN 1546-1955, Volume 7, No. 6, pp. 933 – 981. ( online order )

Steinbach, B; Posthoff, Ch.: Boolean Differential Calculus. in: Sasao, T., Butler, J.T.; Progress in Applications of Boolean Functions – Synthesis Lecturers on Digital Circuits and Systems # 26. Morgan & Claypool Publishers, San Rafael, CA – USA, 2010, ISBN 978-1-60845-181-4, pp. 55 – 78, 121 – 126. ( online order

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. (Ed.): 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. (Ed.): 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 )

Kohut, R.;. Steinbach, B.; Fröhlich, D.: FPGA Implementation of Boolean Neural Networks using UML. 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. 123 – 128. ( PDF 85K )

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, {mospagebreak}Minsk, Belarus, Volume 1, pp. 121 – 145. ( PDF 201k )

Beierlein, T; Fröhlich, D.; Steinbach, B.: Object-Oriented Co-Design for Run-Time Reconfigurable Architectures with UML. in: Computer - Aided Design of Discrete Devices - CAD DD 2004, Proceedings of the Fifth International Conference 16 – 17 November 2004, Minsk, Belarus, Volume 1, pp. 23 – 30. ( PDF 72k )

Steinbach, B.; Dorotska, Ch.; Kempe, G.: Test of Discrete Devices modeled on High Level by UML. (http://www.informatik.tu-freiberg.de/prof2/publikationen/TDD_F.pdf) in: Computer - Aided Design of Discrete Devices - CAD DD 2004, Proceedings of the Fifth International Conference 16 – 17 November 2004, Minsk, Belarus, Volume 2, pp. 8 – 15. ( PDF 86k )

Beierlein, T; Fröhlich, D.; Steinbach, B.: Hardware Synthesis of UML-Models. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 5th International Workshops on Boolean Problems, 23. - 24. September 2004, Freiberg University of Mining and Technology, Freiberg, 2002, pp. 49 – 54. ( PDF 150k )

Kohut, R.; Steinbach, B.: Decomposition of Boolean Function Sets for Boolean Neural Networks. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 5th International Workshops on Boolean Problems, 23. - 24. September 2004, Freiberg University of Mining and Technology, Freiberg, 2002, pp. 191 – 206. ( PDF 136k )

Steinbach, B.; Beierlein, T; Fröhlich, D.: UML-Based Co-Design for Run-Time Reconfigurable Architectures. in: Grimm, Ch.: Languages for System Specification, Kluwer Academic Publishers, Boston, Dordrecht, London, Printed in The Netherlands, 2004, pp. 5 – 19. ( PDF 519K )

Beierlein, T; Fröhlich, D.; Steinbach, B.: UML-Based Development of Applications for Run-Time Reconfigurable Architectures. in: DAC 2004 Workshop "UML for SoC", San Diego Convention Senter, CA, USA, June 6, 2004, pp. 21 - 29. ( PDF 160K )

Beierlein, T; Fröhlich, D.; Steinbach, B.: Model-Driven Compilation of UML-Models for Reconfigurable Architectures. in: 2nd RTAS Workshop on Model-Driven Embedded Systems (MoDES '04), Toronto, Ontario, Canada, May 25, 2004, published on the web page: http://www.cse.wustl.edu/~cdgill/RTAS04/mdes_program.html as pdf-file: http://www.cse.wustl.edu/~cdgill/RTAS04/umlcompilation.pdf, pp. 1- 13. ( local PDF 388K )

{mospagebreak}Beierlein, T; Fröhlich, D.; Steinbach, B.: A Model-Based Approach to System-Level Co-Design. in: Stoffel, D.; Kunz, W.: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Shaker Verlag, Aachen, 2004, pp. 86 - 95. ( PDF 62K )

Steinbach, B.; Lang, Ch.: Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition. in: Artificial Intelligence Review, Kluwer Academic Publisher, Dordrecht, The Netherlands, December 2003, Volume 20, Issue 3-4, pp. 319–360. ( PDF 227K )

Lang, Ch.; Steinbach, B.: Decomposition of Function Sets in Multiple-Valued Logic for Circuit Design and Data Mining. in: Artificial Intelligence Review, Kluwer Academic Publisher, December 2003, Dordrecht, The Netherlands, Volume 20, Issue 3-4, pp. 233 – 267. ( PDF 221K )

Beierlein, T; Fröhlich, D.; Steinbach, B.: UML-Based Co-Design for Run-Time Reconfigurable Architectures. in: Proceedings of the FORUM on Specification and Design Languages, September 23 - 26, 2003, Frankfurt, Germany, pp 285 - 296. ( PDF 188K )

Dolishniy, M.; Steinbach, B.: Automated Test Pattern Generation for Classes based on Extended UML Model. in: Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (15. Workshop), 23.-25. März 2003, Timmendorfer Strand, Germany, pp 29 - 33. ( PDF 50K )

Steinbach, B.; Yanchurkin, V.; Lukac, M: On SNF Optimization: a functional comparison of methods. in: Proceedings of the 6th International Symposium on Representations and Methodology. of Future Computing Technology (RM 2003), March 10 - 11, 2003. Trier, Germany, pp 11 - 18. ( PDF 196K )

Dorotska, Chr.; Steinbach, B.: Orthogonal Block Change & Block Building using a Simulated Annealing Algorithm. in: The Experience of Designing and Application of CAD Systems in Microelectronics - Proceedings of the VII-th International Conference CADSM 2003. Lviv – Slavsko, Ukraine, 2003, pp. 441 – 444. ( PDF 71k )

Steinbach, B.; Posthoff, Chr.: Optimal Design Using Implicitly Given Function Sets. in: The Experience of Designing and Application of CAD Systems in Microelectronics - Proceedings of the VII-th International Conference CADSM 2003. Lviv – Slavsko, Ukraine, 2003, pp. 446 – 453. ( PDF 241k )

{mospagebreak}Steinbach, B.; Posthoff, Chr.: Optimal Design by Resolving Boolean Equations. in: The Experience of Designing and Application of CAD Systems in Microelectronics - Proceedings of the VII-th International Conference CADSM 2003. Lviv – Slavsko, Ukraine, 2003, pp. 454 – 457. ( PDF 188k )

Steinbach, B.; Kohut, R.: Neural Networks – A Model of Boolean Functions. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 5th International Workshops on Boolean Problems, 19. - 20. September 2002, Freiberg University of Mining and Technology, Freiberg, 2002, pp. 223 – 240. ( PDF 103k )

Dorotska, Chr.; Steinbach, B.: Orthogonal Block Change & Block Building Using Ordered Lists of Ternary Vectors. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 5th International Workshops on Boolean Problems, 19. - 20. September 2002, Freiberg University of Mining and Technology, Freiberg, 2002, pp. 91 – 102. ( PDF 103k )

Posthoff, Chr.; Steinbach, B.: Functions Implicitly Defined by Logic Equations - Unique Solutions. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 5th International Workshops on Boolean Problems, 19. - 20. September 2002, Freiberg University of Mining and Technology, Freiberg, 2002, pp. 61 – 70. ( PDF 165k )

Steinbach, B.; Kempe, G.: Decomposition and Distributed Computing. in: Proceedings of the 4th Russian Conference with Foreign Participation COMPUTER-AIDED TECHNOLOGIES IN APPLIED MATHEMATICS (ICAM 2002), Tomsk, Russian, 2002, pp. 138 - 142. ( PDF 165k )

Steinbach, B.; Zakrevskij, A.: New Approaches for Minimization of ESOPs. in: Proceedings of the IEEE Design and Diagnostics of Electronic Circuits and Systems (5th International Workshop IEEE DDECS 2002), Brno, Czech Republic, 2002, pp. 336 - 339. ( PDF 38k )

Steinbach, B.; Dorotska, K.: Calculation of Set Operations Using Ordered Lists of Ternary Vectors. in: Proceedings of the Fourth International Conference on Computer - Aided Design of Discrete Devices (CAD DD 2001), Volume 1, 2001, Minsk, Belarus, pp. 61 – 68. ( PDF 232k )

Steinbach, B.; Mishchenko, A.: SNF: A Special Normal Form for ESOPs. in: Proceedings of the 5th International Workshop on Application of the Reed-Muller Expansion in Circuit Design (RM 2001), August 10 - 11, 2001. Mississipi State University, Starkville (Mississipi) USA, pp 66 - 81. ( PDF 312k )

{mospagebreak}Mishchenko, A.; Steinbach, B.; Perkowski, M.: An Algorithm for Bi-Decomposition of Logic Functions. Proceedings of the 38th Design Automation Conference 2001. June 18-22, 2001, Las Vegas (Nevada) USA, pp 103 – 108. ( PDF 229k )

Mishchenko, A.; Steinbach, B.; Perkowski, M.: Bi-Decomposition of Multi-Valued Relations. The 10th International Workshop on Logic & Synthesis (IWLS'01), June 12-15, 2001, Granlibakken (California) USA, pp. 35 – 40. ( PDF 126k )

Lang, Ch.; Steinbach, B.: Decomposition of Multi-Valued Functions into Min- and Max-Gates. in: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, May 22-24, 2001, Warsaw, Poland, pp. 173 - 178. ( PDF 421k )

Steinbach, B.; Zakrevskij, A.: Fast heuristic algorithm for three-block decomposition of a system of weakly specified Boolean functions. in: Proceedings of the IEEE Design and Diagnostics of Electronic Circuits and Systems International Workshop (4th IEEE DDECS 2001), Györ, Hungary, 2001, pp. 283 - 289. ( PDF 157k )

Steinbach, B.; Dorotska, Chr.; Dobrev, T.: Distributed Software for Complex Boolean Tasks in Circuit Design. in: The Experience of Designing and Application of CAD Systems in Microelectronics - Proceedings of the VI-th International Conference CADSM 2001. Lviv – Slavsko, Ukraine, 2001, pp. 187 – 190. ( PDF 180k )

Steinbach, B.; Dobrev, T.: A Concurrent and Distributed Model for Complex Boolean Calculations. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 4th International Workshops on Boolean Problems, 21. - 22. September 2000, Freiberg University of Mining and Technology, pp. 183 – 189. ( PDF 204k )

Steinbach, B.; Zakrevskij, A.: Parallel Automaton Basic Model, Properties and Diagnostics. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 4th International Workshops on Boolean Problems, 21. - 22. September 2000, Freiberg University of Mining and Technology, Freiberg, 2000, pp. 151 – 158. ( PDF 44k )

Steinbach, B.; Dorotska, Chr.: Orthogonal Block Building Using Ordered Lists of Ternary Vectors. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 4th International Workshops on Boolean Problems, 21. - 22. September 2000, Freiberg University of Mining and Technology, Freiberg, 2000, pp. 125 – 134. ( PDF 79k )

Mishchenko, A.; Files C.; Perkowski, M.; Steinbach, B.; Dorotska Chr.: Implicit Algorithms for Multi-Valued Input Support Minimization. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 4th International Workshops on Boolean Problems, 21. - 22. September 2000, Freiberg University of Mining and Technology, Freiberg, 2000, pp. 9 – 20. ( PDF 196k )

{mospagebreak}Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 4th International Workshops on Boolean Problems, 21. - 22. September 2000, Freiberg University of Mining and Technology, Freiberg, 2000, pp. 1 – 189.

Zakrevskij, A.; Steinbach, B.: Sequent Automaton – a Model for logical control. in: Proceedings of the International Workshop on Discrete Optimization Methods in Scheduling and Computer-Aided Design, Minsk 2000, pp. 211 – 215. ( PDF 41k )

Steinbach, B.; Zakrevskij, A.: Parallel Automaton and its Hardware Implementation. in: Proceedings of Design and Diagnostics of Electronic Circuits and Systems (3rd DDECS Workshop 2000 Smolenice Castle), Slovak Academy of Sciences, Bratislava, Slovakia, pp. 250 - 257. ( PDF 54k )

Steinbach, B.; Dorotska, K.: Fast Boolean Calculations Using Ordered Lists of Ternary Vectors. in: Proceedings of the Third International Conference on Computer - Aided Design of Discrete Devices (CAD DD'99), Volume 1, Minsk, Belarus, pp. 20 – 27. ( Postscript 738k )

Steinbach, B.; Lang, Ch.; Perkowski, M. A.: Bi-Decomposition of Discrete Function Sets. in: 4th International Workshop on Applications of the Reed-Muller Expansion in Circuit Design 1999 (Reed-Muller 99), Victoria, B. C., Canada, 1999, pp. 233 - 252. ( Postscript 1078K )

Kalay, U.; Perkowski, M. A.; Hall, D. V.; Steinbach, B.; Shahjahan, S. A.: Rectangle Covering Factorization of ESOPs into Scan-Based Levelized Circuits with Universal Test Sets. in: 4th International Workshop on Applications of the Reed-Muller Expansion in Circuit Design 1999 (Reed-Muller 99), Victoria, B. C., Canada, 1999, pp. 75 - 86. ( Postscript 1025K )

Steinbach, B.; Perkowski, M. A.; Lang, Ch.: Bi-Decomposition of Multi-Valued Functions for Circuit Design and Data Mining Applications. in: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic, May 20-22, 1999, Freiburg, pp. 50 - 58 ( Postscript 257K )

Steinbach, B.; Lang, Ch.: Testable Design of Pipelined Modules by Decomposition. in: Tagungsband - 11. ITG/GI/GMM - Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", BTU Cottbus / Universität Potsdam, 1999, S. 100 - 103. ( Postscript 250K )

Ohser, J.; Steinbach, B.; Lang, Ch.: Efficient texture analysis of binary images. Journal of Microscopy. Blackwell Science Ltd. Oxford. Volume 192, Issue 1, October 1998, pp. 20 - 28.

{mospagebreak}Van Nguyen Thuy; Steinbach, B.: KTS - a Software Tool for Education in The Subject LOGIC DESIGN in Vietnam. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 3 rd International Workshops on Boolean Problems, 17. und 18. September 1998, TU Bergakademie Freiberg, S. 133 - 138.

Steinbach, B.; Lang, Ch.: A General Data Structure for EXOR - Decomposition of Sets of Switching Function. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 3 rd International Workshops on Boolean Problems, 17. und 18. September 1998, TU Bergakademie Freiberg, S. 59 - 66.

Steinbach, B.; Zakrevkij, A.: Three Models and Some Theorems on Decomposition of Boolean Function. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 3 rd International Workshops on Boolean Problems, 17. und 18. September 1998, TU Bergakademie Freiberg, S. 11 - 18. ( PDF 47k )

Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 3 rd International Workshops on Boolean Problems, 17. und 18. September 1998, TU Bergakademie Freiberg, S. 1 - 138

Steinbach, B.; Zhang, Z.; Lang, Ch.: Logical Design of Fully Testable Large Circuits by Decomposition. Proceedings of the Second International Conference on Computer-Aided Design of Discrete Devices (CAD DD'97), Volume 1, pp. 7 - 14, Minsk, Belarus. ( Paper: ps 647k )

Steinbach, B.; Lang, Ch.: A General Data Structure for XOR-Decomposition of Sets of Switching Functions. 3rd International Workshop on Applications of the Reed-Muller Expansion in Circuit Design 1997 (Reed-Muller 97), Oxford, UK, 1997, pp. 1 - 18, ( Paper: ps 1085KB )

Steinbach, B.; Zhang, Z.: Synthesis for Full Testability of Partitioned Combinational Circuits Using Boolean Differential Calculus. Proceedings of IEEE/ACM International Workshop on Logic Synthesis 1997 (IWLS'97 - Synthesis in the Sierra), Granlibakken Resort - Tahoe City, CA - USA, 1997, pp. 1 - 4, ( Paper: ps 403KB , Presentation: ps 420KB )

Steinbach, B.; Zhang, Z.: Designing for Testability of Long Pipeline of Modules. in: Anheier, W.; Pöhl, F. (Hrsg.): Tagungsband - 9. ITG/GI/GMM - Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", Report 1/97, Berichte Elektrotechnik, Universität Bremen, 1997, S. 74 - 77 ( ps 484KB )

Wereszczynski, A.; Steinbach, B.: Parallele Algorithmen und Programme zur Lösung hochdimensionaler Boolescher Probleme in: Stoyan, D.: Graduiertenkolleg "Räumliche Statistik" (Arbeits- und Ergebnisbericht). TU Bergakademie Freiberg, 1996, S. 98 - 105

{mospagebreak}Steinbach, B.; Müller, Th.: Effiziente Boolesche Berechnungen mit XBOOLE. in: Mackens, W.; Rump, S. M.: Software Engineering im Scientific Computing. Vieweg Verlag, Braunschweig / Wiesbaden, 1996. S. 256 - 263 ( ps 271KB )

Steinbach B. (Hrsg.): Boolesche Probleme, Proceedings des 2. Workshops, 19. und 20. September 1996, TU Bergakademie Freiberg, S. 1 - 125 ( Abstracts )

Steinbach, B.; Hesse, K.: Design of large digital circuits utilizing functional and structural properties. in: Steinbach, B. (Hrsg.): Boolesche Probleme, Proceedings des 2. Workshops, 19. und 20. September 1996, TU Bergakademie Freiberg, S. 23 -30

Steinbach, B.; Zhang, Z.: Synthesis for Full Testability of Large Partitioned Combinational Circuits. in: Steinbach, B. (Hrsg.): Boolesche Probleme, Proceedings des 2. Workshops, 19. und 20. September 1996, TU Bergakademie Freiberg, S. 31 - 38 ( Abstract )

Kempe, G.: Eignung eines Phasenlisten-Tupels als Datenmodell für eine Boolesche Funktion. in: Steinbach, B. (Hrsg.): Boolesche Probleme, Proceedings des 2. Workshops, 19. und 20. September 1996, TU Bergakademie Freiberg, S. 39 - 46 ( Zusammenfassung )

Hesse, K.: Lastausgleich in unvollständigen Hypercubes in: Steinbach, B. (Hrsg.): Boolesche Probleme, Proceedings des 2. Workshops, 19. und 20. September 1996, TU Bergakademie Freiberg, S. 85 - 90

Lang, Ch.: Verifikation von Programmen unter Nutzung von Bibliotheken zur Lösung Boolescher Gleichungen. in: Steinbach, B. (Hrsg.): Boolesche Probleme, Proceedings des 2. Workshops, 19. und 20. September 1996, TU Bergakademie Freiberg, S. 91 - 98 ( Zusammenfassung )

Steinbach, B.: Modellierung von Umweltdaten durch Boolesche Funktionen, in: "Einsatz von DV-Methoden im Umweltbereich", Schriftenreihe des BDG, Heft 14, s.25-28, Bochum, 1995

Steinbach, B., Wereszczynski, A.: Synthesis of Multi-Level Circuits Using EXOR-Gates. Proceedings of "IFIP WG 10.5 - Workshop on Applications of the Reed-Muller Expansion in Circuit Design", Chiba (Makuhari), Japan, 1995, pp.161 -168 ( PDF 109K )

Steinbach, B., Müller, Th.: Effizienz und Handhabbarkeit von Softwarewerkzeugen für Boolesche Berechnungen. Workshop "Software Engineering im Scientific Computing", Hamburg, 06.-08. Juni 1995 ( Abstract )

{mospagebreak}Steinbach, B.: Modellierung von Umweltdaten durch Boolesche Funktionen. 4. Jahrestagung der Deutschen Gesellschaft für Mathematische Geologie und Geoinformatik i. G. (GMG2) "Einsatz von DV-Methoden im Umweltbereich - Probleme und Visionen", Bochum, gehalten am: 08.03.1995

Steinbach, B.: Lists of Ternary Vectors - Concepts - Properties - Comparison with BDDs. Dagstuhl-Seminar 9507 "Computer Aided Design and Test", Internationales Begegnungs- und Forschungszentrum für Informatik, Schloß Dagstuhl, gehalten am: 13.02.1995 ( Abstract )

Steinbach, B.: Effiziente Verarbeitung hochdimensionaler binär-codierter Bild- und Raumdaten. Graduiertenkolleg "Räumliche Statistik", TU Bergakademie Freiberg, gehalten am: 23.01.1995

Kempe, G., Steinbach, B.: Vergleich der Darstellungen einer Booleschen Funktion als TVL und ROBDD. Tagungsunterlagen des Workshops "Boolesche Probleme", Freiberg, 1994, S. 25 -32 ( Zusammenfassung, Ergebnisse )

Steinbach, B.: Hochdimensionale Boolesche Probleme - eine Herausforderung für Informatik. Tagungsunterlagen des Workshops "Boolesche Probleme", Freiberg, 1994, S. 1 - 8 ( Abstract )

Steinbach, B.: Rezension des Buches Parallele Rechnersysteme. Freiberg, 1994

Steinbach, B.; Müller, TH.: Dekompositorische Schaltungssynthese mit komplexen Logikmoduln. Tagungsunterlagen des GI/ITG - Workshops "Anwender- programmierbare Schaltungen", Karlsruhe, 1994

Steinbach, B.; Stöckert, M.: Design of Fully Testable Circuits by Functional Decomposition and Implicit Test Pattern Generation. Proceedings of "12th IEEE VLSI Test Symposium", Cherry Hill, New Jersey, 1994, pp. 22 - 27 ( Paper: ps 402k )

Steinbach, B.; Schumann, F.; Stöckert, M.: Functional Decomposition of Speed Optimized Circuits.
in: Auvergne, D.; Hartenstein, R.: Power and Timing Modeling for Performance of Integrated Circuits, IT Press Verlag, Bruchsal, 1993, pp. 65 - 77 (PDF 109K)

Steinbach, B.; Kempe, G.: Minimization of AND-ExOR expressions. Proceedings of  "IFIP WG 10.5 - Workshop on Applications of the Reed- Muller Expansion in Circuit Design", Hamburg, 1993, pp. 20 - 26, (PDF 51k)

Steinbach, B.; Lang, C.; Dresig, F.; Zühlke, R.: Analytical Power Estimation for CMOS Circuits at Logical Level. Proceedings of "European Workshop on Power and Timing Modelling", Paris, 1992, pp. 26 - 30

Steinbach, B.: XBOOLE - A Toolbox for Modelling, Simulation, and Analysis of Large Digital Systems. System Analysis and Modelling Simulation, Gordon & Breach Science Publishers, 9(1992), Number 4, pp. 297 - 312

Steinbach, B.: Auflösbarkeit und Eindeutigkeit Boolescher Gleichungen. Wissenschaftliche Schriftenreihe der TU Chemnitz-Zwickau, H. 7/1992

Bochmann, D.; Dresig, F.; Steinbach, B.: A new decomposition method for multilevel circuit design. The Proceeding of   "The European Conference on Design Automation", Amsterdam, The Netherlands, 1991, pp. 374 - 377, (PDF 43k)