Website der TU Freiberg Website der Fakultät 1 Telefon- und E-Mail-Verzeichnis der TU BAF Online Katalog der Universitätsibliothek
Technische Universitaet Bergakademie Freiberg
Verschiedene Links
search
Institut für Informatik
mensa02.jpg
Suche auf der Instituts-Website
TU Bergakademie Freiberg
Willkommen
 
Aktuelles
 
Institut
 
Studium
 
Lehre
 
Professuren
 

Angewandte Informatik  Auf Zukunft programmiert!
Angewandte Informatik
Auf Zukunft programmiert!

Network Computing: Zukunft berechnen!
Network Computing:
Zukunft berechnen!

Willkommen arrow Professuren arrow ST / PT - Prof. Steinbach arrow Publikationen

Publikationen

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)

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)

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)

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-6, 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 130K)

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, (e-book), 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,


Letzte Aktualisierung ( Dienstag, 30. September 2014 )
 
spacer

Weitere Links
Häufige Fragen und deren Antworten Kontaktdaten und -formular Impressum C I
spacer