Demos Anastasakis

	2004
2		Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski: Efficient equivalence checking with partitions and hierarchical cut-points. DAC 2004: 539-542
	2002
1		Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion: A practical and efficient method for compare-point matching. DAC 2002: 305-310

Coauthor Index

1	Robert F. Damiano	[1]
2	Hi-Keung Tony Ma	[1]
3	Lisa McIlwain	[2]
4	Slawomir Pilarski	[2]
5	Ted Stanion	[1]

Colors in the list of coauthors