Rhishikesh Limaye

2009
2	EE	Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye: On the Computational Complexity of Satisfiability Solving for String Theories CoRR abs/0903.2825: (2009)
2004
1	EE	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]
2	Sujay Phadke	[1]
3	Sanjit A. Seshia	[2]
4	Kavitha Subramanian	[1]
5	Siddharth Verma	[1]

Colors in the list of coauthors