Ashvin Dsouza

	2005
4		Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma: Supporting sequential assumptions in hybrid verification. ASP-DAC 2005: 1035-1038
	1997
3		Bard Bloom, Allan Cheng, Ashvin Dsouza: Using a Protean Language to Enhance Expressiveness in Specification. IEEE Trans. Software Eng. 23(4): 224-234 (1997)
	1995
2		Ashvin Dsouza, Bard Bloom: Generating BDD Models for Process Algebra Terms. CAV 1995: 16-30
1		Ashvin Dsouza, Bard Bloom: On the Expressive Power of CCS. FSTTCS 1995: 309-323

Coauthor Index

1	Bard Bloom	[1] [2] [3]
2	Eduard Cerny	[4]
3	Allan Cheng	[3]
4	Kevin Harer	[4]
5	Pei-Hsin Ho	[4]
6	Hi-Keung Tony Ma	[4]

Colors in the list of coauthors