An Empirical Study of the Warren Abstract Machine. - Hervé J. Touati; Alvin M. Despain (SLP, 1987)

Is Ada an Object Oriented Programming Language? - Hervé J. Touati (ACM SIGPLAN Notices, 1987)

A Light-Weight Prolog Garbage Collector. - Hervé J. Touati; Toshiyuki Hama (FGCS, 1988)

Don't Care Minimization of Multi-Level Sequential Logic Networks. - Bill Lin 001; Hervé J. Touati; A. Richard Newton (ICCAD, 1990)

Implicit State Enumeration of Finite State Machines Using BDDs. - Hervé J. Touati; Hamid Savoj; Bill Lin 001; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (ICCAD, 1990)

Extracting Local Don't Cares for Network Optimization. - Hamid Savoj; Robert K. Brayton; Hervé J. Touati (ICCAD, 1991)

Delay Optimization of Combinational Logic Circuits By Clustering and Partial Collapsing. - Hervé J. Touati; Hamid Savoj; Robert K. Brayton (ICCAD, 1991)

Reducing and Manipulating Complex Trace Data. - Hervé J. Touati; Alan Jay Smith (Softw. Pract. Exp., 1991)

Efficient omega-Regular Language Containment. - Ramin Hojati; Hervé J. Touati; Robert P. Kurshan; Robert K. Brayton (CAV, 1992)

A simple algorithm for fanout optimization using high-performance buffer libraries. - K. Kodandapani; Joel Grodstein; Antun Domic; Hervé J. Touati (ICCAD, 1993)

Boolean matching for full-custom ECL gates. - Robert N. Mayo; Hervé J. Touati (ICCAD, 1993)

Computing the initial states of retimed circuits. - Hervé J. Touati; Robert K. Brayton (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Optimal latch mapping and retiming within a tree. - Joel Grodstein; Eric Lehman; Heather Harkness; Hervé J. Touati; Bill Grundmann (ICCAD, 1994)

Testing Language Containment for omega-Automata Using BDD's - Hervé J. Touati; Robert K. Brayton; Robert P. Kurshan (Inf. Comput., 1995)

Constructive Analysis of Cyclic Circuits. - Thomas R. Shiple; Gérard Berry; Hervé J. Touati (ED&TC, 1996)