Jason T. Higgins

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

2 Jason T. Higgins, Mark Aagaard: Simplifying the design and automating the verification of pipelines with structural hazards. ACM Trans. Design Autom. Electr. Syst. 10(4): 651-672 (2005)

2004

1 Mark Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati: Combining Equivalence Verification and Completion Functions. FMCAD 2004: 98-112

	2005
2		Jason T. Higgins, Mark Aagaard: Simplifying the design and automating the verification of pipelines with structural hazards. ACM Trans. Design Autom. Electr. Syst. 10(4): 651-672 (2005)
	2004
1		Mark Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati: Combining Equivalence Verification and Completion Functions. FMCAD 2004: 98-112

Coauthor Index