| 2011 | TASE | A Categorical Modeling Approach of Aspect-Oriented Systems. | Arsne Sabas, Subash Shankar, Virginie Wiels, Michel Boyer |
| 2011 | TASE | Undesirable Aspect Interactions: A Prevention Policy. | Arsne Sabas, Subash Shankar, Virginie Wiels, Michel Boyer |
| 2009 | IRI | A Two Stage Approach for Contiguous Sequential Pattern Mining. | Jinlin Chen, Subash Shankar, Angela M. Kelly, Serigne Geingue, Rathika Rajaravivarma |
| 2008 | MEMOCODE | Rule-Based Approaches for Equivalence Checking of SpecC Programs. | Subash Shankar, Masahiro Fujita |
| 2006 | MEMOCODE | Equivalence checking: a rule-based approach. | Masahiro Fujita, Subash Shankar, Sasaki Shunsuke |
| 2002 | ICFEM | A Semantic Model of Real-Time UML. | Subash Shankar |
| 2002 | PDPTA | A Semantic Framework for Formal Analysis of Concurrent Systems. | Subash Shankar |
| 1998 | FMCAD | Model Checking VHDL with CV. | David Dharbe, Subash Shankar, Edmund M. Clarke |
| 1997 | AAAI | Connection Based Strategies for Deciding Propositional Temporal Logic. | Subash Shankar, James R. Slagle |
| 1988 | ICLP | A Hierarchical Associative Memory Architecture for Logic Programming Unification. | Subash Shankar |