PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Thornton, Mitchell A."

Author of the publication

copydeleteadd this publication to your clipboard
QMDD Minimization Using Sifting for Variable Reordering.

, , and . Multiple-Valued Logic and Soft Computing, 13 (4-6): 537-552 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

A. Laukemann

A. Laukemann

A. Laukemann

A. Vo{\ss}

A. Afkari

 

Other publications of authors with the same name

An iterative combinational logic synthesis technique using spectral information., and . EURO-DAC, page 358-363. IEEE Computer Society, (1993)Reversible Logic Synthesis Based on Decision Diagram Variable Ordering., and . Multiple-Valued Logic and Soft Computing, 19 (4): 325-339 (2012)Automatic High Level Assertion Generation and Synthesis for Embedded System Design., , and . FDL, page 261-267. ECSI, (2007)Hardware Implementation of an Additive Bit-Serial Algorithm for the Discrete Logarithm Modulo 2k., , , and . ISVLSI, page 130-135. IEEE Computer Society, (2005)Multiple Valued Logic: Concepts and Representations, and . Synthesis Lectures on Digital Circuits and Systems Morgan & Claypool Publishers, (2007)Components of disaster-tolerant computing: analysis of disaster recovery, IT application downtime and executive visibility., , , and . IJBIS, 3 (3): 317-331 (2008)To PE or not to PE: the Sequel., and . Computing in Science and Engineering, 12 (4): 62-65 (2010)A Fixed-Point Squaring Algorithm Using an Implicit Arbitrary Radix Number System., and . IEEE J. Emerg. Sel. Topics Circuits Syst., 6 (1): 34-43 (2016)Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations., , , and . ACM Great Lakes Symposium on VLSI, page 178-183. ACM, (2002)Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams., , and . ISMVL, page 244-249. IEEE Computer Society, (2012)