Hervé J. Touati

1995
14		Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan: Testing Language Containment for omega-Automata Using BDD's Inf. Comput. 118(1): 101-109 (1995)
1994
13	EE	Joel Grodstein, Eric Lehman, Heather Harkness, Hervé J. Touati, Bill Grundmann: Optimal latch mapping and retiming within a tree. ICCAD 1994: 242-245
1993
12	EE	K. Kodandapani, Joel Grodstein, Antun Domic, Hervé J. Touati: A simple algorithm for fanout optimization using high-performance buffer libraries. ICCAD 1993: 466-471
11	EE	Robert N. Mayo, Hervé J. Touati: Boolean matching for full-custom ECL gates. ICCAD 1993: 472-477
10	EE	Hervé J. Touati, Robert K. Brayton: Computing the initial states of retimed circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 12(1): 157-162 (1993)
1992
9		Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton: Efficient omega-Regular Language Containment. CAV 1992: 396-409
1991
8		Hervé J. Touati, Hamid Savoj, Robert K. Brayton: Delay Optimization of Combinational Logic Circuits By Clustering and Partial Collapsing. ICCAD 1991: 188-191
7		Hamid Savoj, Robert K. Brayton, Hervé J. Touati: Extracting Local Don't Cares for Network Optimization. ICCAD 1991: 514-517
6		Hervé J. Touati, Alan Jay Smith: Reducing and Manipulating Complex Trace Data. Softw., Pract. Exper. 21(6): 639-655 (1991)
1990
5		Hervé J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Implicit State Enumeration of Finite State Machines Using BDDs. ICCAD 1990: 130-133
4		Bill Lin, Hervé J. Touati, A. Richard Newton: Don't Care Minimization of Multi-Level Sequential Logic Networks. ICCAD 1990: 414-417
1988
3		Hervé J. Touati, Toshiyuki Hama: A Light-Weight Prolog Garbage Collector. FGCS 1988: 922-930
1987
2		Hervé J. Touati, Alvin M. Despain: An Empirical Study of the Warren Abstract Machine. SLP 1987: 114-124
1		Hervé J. Touati: Is Ada an Object Oriented Programming Language? SIGPLAN Notices 22(5): 23-26 (1987)

Coauthor Index

1	Robert K. Brayton	[5] [7] [8] [9] [10] [14]
2	Alvin M. Despain	[2]
3	Antun Domic	[12]
4	Joel Grodstein	[12] [13]
5	Bill Grundmann	[13]
6	Toshiyuki Hama	[3]
7	Heather Harkness	[13]
8	Ramin Hojati	[9]
9	K. Kodandapani	[12]
10	Robert P. Kurshan	[9] [14]
11	Eric Lehman	[13]
12	Bill Lin	[4] [5]
13	Robert N. Mayo	[11]
14	A. Richard Newton	[4]
15	Alberto L. Sangiovanni-Vincentelli	[5]
16	Hamid Savoj	[5] [7] [8]
17	Alan Jay Smith	[6]

Colors in the list of coauthors