BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
4 × Germany
Collaborated with:
R.Drechsler K.Fazel R.B.Reese D.Y.Feinstein D.M.Miller C.Traver J.P.Williams N.Drechsler
Talks about:
logic (3) use (3) diagram (2) circuit (2) decis (2) transform (1) asynchron (1) spectral (1) irrevers (1) variabl (1)

Person: Mitchell A. Thornton

DBLP DBLP: Thornton:Mitchell_A=

Contributed to:

DATE 20082008
DATE 20032003
DATE 20022002
DATE 20012001
DATE 19991999

Wrote 5 papers:

DATE-2008-FeinsteinTM #detection #equivalence #logic #using
Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits (DYF, MAT, DMM), pp. 1378–1381.
DATE-2003-FazelTR #design #logic #named #visualisation
PLFire: A Visualization Tool for Asynchronous Phased Logic Designs (KF, MAT, RBR), pp. 11096–11097.
DATE-2002-ThorntonFRT #evaluation #self
Generalized Early Evaluation in Self-Timed Circuits (MAT, KF, RBR, CT), pp. 255–259.
DATE-2001-ThorntonD #diagrams #graph transformation #using
Spectral decision diagrams using graph transformations (MAT, RD), pp. 713–719.
DATE-1999-ThorntonWDD #diagrams #order #using
Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities (MAT, JPW, RD, ND), pp. 758–759.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.