Rhishikesh Limaye

	2009
3		Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia: Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. CAV 2009: 668-674
2		Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye: On the Computational Complexity of Satisfiability Solving for String Theories CoRR abs/0903.2825: (2009)
	2004
1		Sujay Phadke, Rhishikesh Limaye, Siddharth Verma, Kavitha Subramanian: On Design and Implementation of an Embedded Automatic Speech Recognition System. VLSI Design 2004: 127-132

Coauthor Index

1	Susmit Jha	[2] [3]
2	Sujay Phadke	[1]
3	Sanjit A. Seshia	[2] [3]
4	Kavitha Subramanian	[1]
5	Siddharth Verma	[1]

Colors in the list of coauthors