Becker, Bernd; Drechsler, Rolf; Molitor, Paul Technical computer science. An introduction. (Technische Informatik. Eine Einführung.) (German) Zbl 1067.68031 München: Pearson Studium (ISBN 3-8273-7092-2/hbk). 390 p. (2005). MSC: 68M99 68-01 68P30 94C10 PDFBibTeX XMLCite \textit{B. Becker} et al., Technische Informatik. Eine Einführung. München: Pearson Studium (2005; Zbl 1067.68031)
Keim, Martin; Drechsler, Rolf; Becker, Bernd; Martin, Michael; Molitor, Paul Polynomial formal verification of multipliers. (English) Zbl 1033.68075 Form. Methods Syst. Des. 22, No. 1, 39-58 (2003). MSC: 68Q65 PDFBibTeX XMLCite \textit{M. Keim} et al., Form. Methods Syst. Des. 22, No. 1, 39--58 (2003; Zbl 1033.68075) Full Text: DOI
Eschbach, Thomas; Günther, Wolfgang; Drechsler, Rolf; Becker, Bernd Crossing reduction by windows optimization. (English) Zbl 1037.68583 Goodrich, Michael T. (ed.) et al., Graph drawing. 10th international symposium, GD 2002, Irvine, CA, USA, August 26–28, 2002. Revised papers. Berlin: Springer (ISBN 3-540-00158-1/pbk). Lect. Notes Comput. Sci. 2528, 285-294 (2002). MSC: 68R10 68U05 05C85 PDFBibTeX XMLCite \textit{T. Eschbach} et al., Lect. Notes Comput. Sci. 2528, 285--294 (2002; Zbl 1037.68583) Full Text: Link
Schmiedle, Frank; Große, Daniel; Drechsler, Rolf; Becker, Bernd Too much knowledge hurts: Acceleration of genetic programs for learning heuristics. (English) Zbl 1043.68713 Reusch, Bernd (ed.), Computational intelligence. Theory and applications. International conference, 7th Fuzzy Days, Dortmund, Germany, October 1–3, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42732-5). Lect. Notes Comput. Sci. 2206, 479-491 (2001). MSC: 68T20 68T05 PDFBibTeX XMLCite \textit{F. Schmiedle} et al., Lect. Notes Comput. Sci. 2206, 479--491 (2001; Zbl 1043.68713) Full Text: Link
Drechsler, Rolf; Keim, Martin; Becker, Bernd Fault simulation in multi-valued logic networks. (English) Zbl 1015.94554 Mult.-Valued Log. 7, No. 1-2, 25-47 (2001). MSC: 94C12 68U20 PDFBibTeX XMLCite \textit{R. Drechsler} et al., Mult.-Valued Log. 7, No. 1--2, 25--47 (2001; Zbl 1015.94554)
Drechsler, Rolf; Becker, Bernd Graph-based function representation. Boolean and pseudo-boolean functions. (Graphenbasierte Funktionsdarstellung. Boolesche und Pseudo-Boolesche Funktionen.) (German) Zbl 0914.06004 Leitfäden der Informatik. Stuttgart: B. G. Teubner. 200 S. (1998). Reviewer: B.Zelinka (Liberec) MSC: 06E30 05C20 06-01 94C10 PDFBibTeX XMLCite \textit{R. Drechsler} and \textit{B. Becker}, Graphenbasierte Funktionsdarstellung. Boolesche und Pseudo-Boolesche Funktionen. Stuttgart: B. G. Teubner (1998; Zbl 0914.06004)
Werchner, Ralph; Harich, Thilo; Drechsler, Rolf; Becker, Bernd Satisfiability problems for OFDDs. (English) Zbl 0849.68057 Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 233-248 (1996). MSC: 68Q25 94C10 PDFBibTeX XMLCite \textit{R. Werchner} et al., in: Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller '95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 233--248 (1996; Zbl 0849.68057)
Drechsler, Rolf; Becker, Bernd OKFDDs – algorithms, applications and extensions. (English) Zbl 0858.94036 Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 163-190 (1996). Reviewer: U.Schöning (Ulm) MSC: 94C10 68W35 PDFBibTeX XMLCite \textit{R. Drechsler} and \textit{B. Becker}, in: Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller '95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 163--190 (1996; Zbl 0858.94036)
Becker, Bernd; Drechsler, Rolf; Werchner, Ralph On the relation between BDDs and FDDs. (English) Zbl 0839.68022 Inf. Comput. 123, No. 2, 185-197 (1995). MSC: 68P05 68W35 PDFBibTeX XMLCite \textit{B. Becker} et al., Inf. Comput. 123, No. 2, 185--197 (1995; Zbl 0839.68022) Full Text: DOI Link
Becker, Bernd; Drechsler, Rolf; Werchner, Ralph On the relation between BDDs and FDDs (extended abstract). (English) Zbl 1495.68046 Baeza-Yates, Ricardo (ed.) et al., LATIN ’95: Theoretical informatics. 2nd Latin American symposium, Valparaíso, Chile, April 3–7, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 911, 72-83 (1995). MSC: 68P05 68Q06 94C11 PDFBibTeX XMLCite \textit{B. Becker} et al., Lect. Notes Comput. Sci. 911, 72--83 (1995; Zbl 1495.68046) Full Text: DOI
Becker, Bernd; Drechsler, Rolf; Theobald, Michael OKFDDs versus OBDDs and OFDDs. (English) Zbl 1412.68046 Fülöp, Zoltán (ed.) et al., Automata, languages and programming. 22nd international colloquium, ICALP ’95, Szeged, Hungary, July 10–14, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 944, 475-486 (1995). MSC: 68P05 PDFBibTeX XMLCite \textit{B. Becker} et al., Lect. Notes Comput. Sci. 944, 475--486 (1995; Zbl 1412.68046) Full Text: DOI