The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Subash Shankar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Subash Shankar, James R. Slagle
    Connection Based Strategies for Deciding Propositional Temporal Logic. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:172-177 [Conf]
  2. Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
    Program Slicing of Hardware Description Languages. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:298-312 [Conf]
  3. Subash Shankar, James R. Slagle
    A polymodal semantics for VHDL. [Citation Graph (0, 0)][DBLP]
    CHARME, 1997, pp:88-105 [Conf]
  4. David Déharbe, Subash Shankar, Edmund M. Clarke
    Model Checking VHDL with CV. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:508-514 [Conf]
  5. Subash Shankar
    A Semantic Model of Real-Time UML. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:573-577 [Conf]
  6. Subash Shankar
    A Hierarchical Associative Memory Architecture for Logic Programming Unification. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1428-1447 [Conf]
  7. Subash Shankar, Sinan Asa, Vladimir Sipos, Xiaowei Xu
    Reasoning about real-time statecharts in the presence of semantic variations. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:243-252 [Conf]
  8. Subash Shankar
    A Semantic Framework for Formal Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2002, pp:617-623 [Conf]
  9. Subash Shankar, Xiaowei Xu
    Automating Object-Oriented Software Refactoring. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:561-567 [Conf]
  10. Subash Shankar, Sinan Asa
    Formal Semantics of UML with Real-Time Constructs. [Citation Graph (0, 0)][DBLP]
    UML, 2003, pp:60-75 [Conf]
  11. Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
    Program slicing for VHDL. [Citation Graph (0, 0)][DBLP]
    STTT, 2002, v:4, n:1, pp:125-137 [Journal]
  12. Masahiro Fujita, Subash Shankar, S. Shunsuke
    Equivalence checking: a rule-based approach. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:197- [Conf]

  13. A Two Stage Approach for Contiguous Sequential Pattern Mining. [Citation Graph (, )][DBLP]


  14. Rule-Based Approaches for Equivalence Checking of SpecC Programs. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002