{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T14:30:25Z","timestamp":1673015425339},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthesis Lectures on Digital Circuits and Systems"],"published-print":{"date-parts":[[2013,6,30]]},"DOI":"10.2200\/s00511ed1v01y201305dcs042","type":"journal-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T17:46:49Z","timestamp":1373996809000},"page":"1-158","source":"Crossref","is-referenced-by-count":2,"title":["Boolean Differential Equations"],"prefix":"10.1007","volume":"8","author":[{"given":"Bernd","family":"Steinbach","sequence":"first","affiliation":[]},{"given":"Christian","family":"Posthoff","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1137\/0107041"},{"key":"p_4","volume-title":"Binary Systems - A BOOLEAN Book","author":"Bochmann D.","year":"2008"},{"key":"p_5","volume-title":"Bin\u00e4re Dynamische Systeme","author":"Bochmann D.","year":"1981"},{"key":"p_6","volume-title":"Discrete and Switching Functions","author":"Davio M.","year":"1978"},{"key":"p_7","unstructured":"D. Bochmann, F. Dresig, and B. Steinbach, \"A new decomposition method for multilevel circuit design,\" European Conference on Design Automation, 1991, Amsterdam, Holland, DOI 10.1109\/EDAC.1991.206428, pp.374-377. DOI: 10.1109\/EDAC.1991.206428.10.1109\/EDAC.1991.206428"},{"issue":"56","key":"p_8","first-page":"87","volume":"1","author":"Huffman D. A.","year":"1958","journal-title":"M.I.T. Research Lab. of Electronics"},{"key":"p_9","unstructured":"A. Mishchenko, B. Steinbach, and M. Perkowski, \"An algorithm for bi-decomposition of logic functions,\" Proceedings of the 38th Design Automation Conference, 2001, Las Vegas (Nevada), USA, DOI 10.1109\/DAC.2001.156117, pp.103-108. DOI: 10.1145\/378239.378353.10.1145\/378239.378353"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-2938-7"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1954.1057465"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1016\/0097-3165(76)90024-8"},{"key":"p_13","doi-asserted-by":"crossref","unstructured":"R. Scheuring and H. Wehlan, \"On the design of discrete event dynamic systems by means of the Boolean differential calculus,\" First IFAC Symposium on Design Methods of Control Systems, 1991, Pergamon, pp.723-728.","DOI":"10.1016\/B978-0-08-041902-2.50083-0"},{"issue":"4","key":"p_14","first-page":"297","volume":"9","author":"Steinbach B.","year":"1992","journal-title":"System Analysis and Modelling Simulation"},{"key":"p_15","volume-title":"L\u00f6sung binrer Differentialgleichungen und ihre Anwendung auf bin\u00e4re Systeme","author":"Steinbach B.","year":"1981"},{"key":"p_16","first-page":"45","volume-title":"Fehler in Automaten","author":"Steinbach B.","year":"1989"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1023\/B:AIRE.0000006606.01771.8f"},{"key":"p_18","unstructured":"B. Steinbach and Ch. Posthoff, \"Extended Theory of Boolean Normal Forms,\" Proceedings of the 6th Annual Hawaii International Conference on Statistics, Mathematics and Related Fields, 2007, Honolulu, Hawaii, pp.1124-1139."},{"key":"p_19","volume-title":"Logic Functions and Equations - Examples and Exercises","author":"Steinbach B.","year":"2009"},{"key":"p_20","doi-asserted-by":"publisher","DOI":"10.2200\/S00243ED1V01Y200912DCS026"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1166\/jctn.2010.1441"},{"key":"p_22","unstructured":"B. Steinbach and Ch. Posthoff, \"XBOOLE and the Education of Engineers,\" Computer - Aided Design of Discrete Devices - CAD DD 2007, Proceedings of the Sixth International Conference, 2007, Minsk, Belarus, Volume 2, pages 14-22."},{"key":"p_23","volume-title":"Classes of Bent Functions Identified by Specific Normal Forms and Generated Using Boolean Differential Equations","volume":"24","author":"Steinbach B.","year":"2011"},{"key":"p_24","first-page":"65","volume-title":"Power and Timing Modelling for Performance of Integrated Circuits","author":"Steinbach B.","year":"1993"},{"key":"p_25","unstructured":"B. Steinbach and M. St\u00f6ckert, \"Design of fully testable circuits by functional decomposition and implicit test pattern generation,\" Proceedings of the 12th IEEE VLSI Test Symposium, 1994, Cherry Hill (New Jersey) USA, DOI 10.1109\/VTEST.1994.292339, pp.22-27. DOI: 10.1109\/VTEST.1994.292339.10.1109\/VTEST.1994.292339"},{"key":"p_26","unstructured":"B. Steinbach and A. Wereszczynski, \"Synthesis of Multi-Level Circuits Using EXOR-Gates,\"IFIP WG 10.5 - Workshop on Applications of the Reed-Muller Expansion in Circuit Design, 1995, Chiba - Makuhari, Japan, pp.161-168."},{"key":"p_27","unstructured":"B. Steinbach and Z. Zhang. \"Synthesis for full testability of large partitioned combinational circuits,\"Boolesche Probleme, Proceedings of the 2. Workshop, 1996, Freiberg, Germany, pp.31-38."},{"key":"p_28","first-page":"1","volume-title":"IWLS'97 - Synthesis in the Sierra","author":"Steinbach B.","year":"1997"},{"key":"p_29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10286-8"},{"key":"p_30","volume-title":"Logic Differential Calculus in Multi-Valued Logic Design","author":"Yanushkevich S. N.","year":"1998"}],"container-title":["Synthesis Lectures on Digital Circuits and Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2022,7,22]],"date-time":"2022-07-22T15:46:41Z","timestamp":1658504801000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.morganclaypool.com\/doi\/abs\/10.2200\/S00511ED1V01Y201305DCS042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,30]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6,30]]}},"alternative-id":["10.2200\/S00511ED1V01Y201305DCS042"],"URL":"https:\/\/doi.org\/10.2200\/s00511ed1v01y201305dcs042","relation":{},"ISSN":["1932-3166","1932-3174"],"issn-type":[{"value":"1932-3166","type":"print"},{"value":"1932-3174","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,30]]}}}