Ram Prasad Venkatesan

	2004
3		Ewen Denney, Ram Prasad Venkatesan: A Generic Software Safety Document Generator. AMAST 2004: 102-116
	2003
2		Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean: Certifying Optimality of State Estimation Programs. CAV 2003: 301-314
1		Feng Chen, Grigore Rosu, Ram Prasad Venkatesan: Rule-Based Analysis of Dimensional Safety. RTA 2003: 197-207

Coauthor Index

1	Feng Chen	[1]
2	Ewen Denney	[3]
3	Laurentiu Leustean	[2]
4	Grigore Rosu	[1] [2]
5	Jon Whittle (Jonathan Whittle)	[2]