( en | de | ru )

 

Disambiguation of "Allen, Jonathan"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of relations between synchronous machines.

, , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (12): 1947-1959 (1993)

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.

Katrin Allen

James Allen

Allen Ehrlicher

Allen Fear

Rachel Allen

 

Other publications of authors with the same name

MOS Implementations of TTL architectures: A case study., and . ICASSP, page 703-706. IEEE, (1982)Efficient exploration of nonuniform space-time transformations for optimal systolic array synthesis., and . ASAP, page 428-441. IEEE, (1993)From Text to Speech: The MITalk System, , and . Cambridge, (1987)VLSI Silicon compilation and the art of automatic microchip design.. IEEE Trans. Acoust. Speech Signal Process., 33 (1): 336-337 (1985)Verification of relations between synchronous machines., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (12): 1947-1959 (1993)A contemporary perspective on design automation and VLSI in the 80's (Position Statement).. DAC, page 338-339. ACM/IEEE, (1980)Government interest and involvement in design automation development (Panel Discussion)., , , , , , , , and . DAC, page 330-331. ACM/IEEE, (1981)FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases., and . ICCAD, page 336-343. IEEE Computer Society / ACM, (1992)Verification of Relations Between Synchronous Machines., , and . ICCAD, page 380-383. IEEE Computer Society, (1991)Recent Results in VLSI CAD at MIT., , , , , and . FJCC, page 871-877. IEEE Computer Society, (1986)