Bernd Steinbach

Bernd Steinbach (born March 5, 1952 in Chemnitz ) is a German computer scientist and professor of software technology and programming technology and an author .

Life

After graduating from high school with a qualified electrician in 1971, Bernd Steinbach studied information technology at the TH Karl-Marx-Stadt from 1973 to 1977 . There he then worked as an assistant in the information technology section. In 1981 he completed his doctorate as Dr.-Ing. and in 1984 Dr. sc. techn. from. From 1983 to 1985 Steinbach worked as a research engineer at Robotron Karl-Marx-Stadt. Subsequently he was a lecturer for design automation at the TU Chemnitz until 1992. In 1992 he was appointed professor for computer science, software technology and programming technology at the TU Bergakademie Freiberg . His work focuses on the areas of high-dimensional Boolean problems, logical functions and equations, Boolean differential calculus and circuit design as well as the design and testing of object-oriented software. Since 1994 he has been leading the biennial International Workshop on Boolean Problems .

Publications (selection)

with Dieter Bochmann : Logic design with XBOOLE. Algorithms and programs . Verlag Technik , Berlin. 1st edition. 1991, ISBN 3-341-01006-8 . (303 pages + 5.25 "diskette)

with Christian Posthoff: Logic Functions and Equations. Binary Models for Computer Science . Springer, Dordrecht. 1st edition. 2004-02-04. ISBN 1-4020-2937-3 . (392 pages)

with Christian Posthoff: Logic Functions and Equations. Examples and Exercises . Springer Science + Business Media BV, Dordrecht. 1st edition. 2009-02-12. ISBN 978-1-4020-9594-8 . (232 pages)

with Christian Posthoff: Boolean Differential Equations . Synthesis Lectures on Digital Circuits and Systems. Morgan & Claypool Publishers, San Rafael, California, USA. Vol. 8, No. 3, # 42, 1st edition. 2013-07-01. ISBN 978-1-62705-241-2 . (158 pages)

with Christian Posthoff: Boolean Differential Calculus . Synthesis Lectures on Digital Circuits and Systems. Morgan & Claypool Publishers, San Rafael, California, USA. Vol. 12, No. 1, # 52, 1st edition. 2017-06-07. ISBN 978-1-62705-922-0 . doi : 10.2200 / S00766ED1V01Y201704DCS052 . (216 pages)

with Christian Posthoff: EAGLE start-up help: Technical IT - Logical Functions - Boolean Models . Edition at Gutenbergplatz, Leipzig. 1st edition. 2014. EAGLE 077. ISBN 978-3-937219-77-6 .

with Christian Posthoff: EAGLE start-up help: Efficient calculations with XBOOLE: Boolean equations - quantities and graphs - digital circuits . Edition at Gutenbergplatz, Leipzig. 1st edition. 2015. EAGLE 081. ISBN 978-3-95922-081-1 .

as editor: Recent Progress in the Boolean Domain . Cambridge Scholars Publishing, Newcastle upon Tyne, UK. 1st edition. 2014-04-01 (2013-09-25), ISBN 978-1-4438-5638-6 . (455 pages)

as editor: Problems and New Solutions in the Boolean Domain . Cambridge Scholars Publishing, Newcastle upon Tyne, UK. 2016-05-01. 1st edition. ISBN 978-1-4438-8947-6 . (480 pages)

as editor: Further Improvements in the Boolean Domain . Cambridge Scholars Publishing, Newcastle upon Tyne, UK. 2018-01-01. 1st edition. ISBN 978-1-5275-0371-7 . (536 pages)

Conference documents of the workshop "Boolean Problems" . Freiberg. 1994

Boolean Problems - Proceedings of the 2nd Workshop, September 19-20, 1996 . Technical University Bergakademie Freiberg .

as editor: Boolean Problems - 3rd International Workshop . Technical University Bergakademie Freiberg , 1998, ISBN 3-86012-069-7 .

as editor: Boolean Problems - 4th International Workshop . Technical University Bergakademie Freiberg , 2000, ISBN 3-86012-124-3 .

as editor: Boolean Problems - 5th International Workshop . Technical University Bergakademie Freiberg , 2002, ISBN 3-86012-180-4 .

as editor: Boolean Problems - 6th International Workshop . Technical University Bergakademie Freiberg, 2004, ISBN 3-86012-233-9 .

as editor: Boolean Problems - 7th International Workshop . Technical University Bergakademie Freiberg, 2006, ISBN 3-86012-287-8 .

as editor: Boolean Problems - Proceedings of the 8th International Workshop on Boolean Problems, September 18-19, 2008 . Technical University Bergakademie Freiberg , 2008, ISBN 978-3-86012-346-1 .

as editor: Boolean Problems - Proceedings of the 9th International Workshop on Boolean Problems, September 16-17, 2010 . Technical University Bergakademie Freiberg , Institute for Computer Science. 2010, ISBN 978-3-86012-404-8 . (238 pages)

as editor: Boolean Problems - Proceedings of the 10th International Workshop on Boolean Problems, September 19-21, 2012 . Technical University Bergakademie Freiberg , Institute for Computer Science. 2012, ISBN 978-3-86012-438-3 . (334 pages)

as editor: Boolean Problems - Proceedings of the 11th International Workshop on Boolean Problems, 17.-19. September 2014 . Technical University Bergakademie Freiberg , Institute for Computer Science. 2014, ISBN 978-3-86012-488-8 . (268 pages)

as editor: Boolean Problems - Proceedings of the 12th International Workshop on Boolean Problems, September 22-23, 2016 . Technical University Bergakademie Freiberg , Institute for Computer Science. 2016, ISBN 978-3-86012-540-3 . (219 pages)

Web links

personal data
SURNAME	Steinbach, Bernd
BRIEF DESCRIPTION	German computer scientist and professor for software technology and programming technology
DATE OF BIRTH	March 5, 1952
PLACE OF BIRTH	Chemnitz