Subash Shankar (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

13 Subash Shankar, Masahiro Fujita: Rule-Based Approaches for Equivalence Checking of SpecC Programs. MEMOCODE 2008: 39-48

12 Masahiro Fujita, Subash Shankar, S. Shunsuke: Equivalence checking: a rule-based approach. MEMOCODE 2006: 197

6 Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum: Program slicing for VHDL. STTT 4(1): 125-137 (2002)

5 Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum: Program Slicing of Hardware Description Languages. CHARME 1999: 298-312

Selection of 4 from 13 records - Subash Shankar has 11 coauthors

13		Subash Shankar, Masahiro Fujita: Rule-Based Approaches for Equivalence Checking of SpecC Programs. MEMOCODE 2008: 39-48
12		Masahiro Fujita, Subash Shankar, S. Shunsuke: Equivalence checking: a rule-based approach. MEMOCODE 2006: 197
6		Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum: Program slicing for VHDL. STTT 4(1): 125-137 (2002)
5		Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum: Program Slicing of Hardware Description Languages. CHARME 1999: 298-312