Search the dblp DataBase
B. Meenakshi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- P. Madhusudan, B. Meenakshi
Beyond Message Sequence Graphs. [Citation Graph (0, 0)][DBLP]
FSTTCS, 2001, pp:256-267 [Conf] - B. Meenakshi, Ramaswamy Ramanujam
Reasoning about Message Passing in Finite State Environments. [Citation Graph (0, 0)][DBLP]
ICALP, 2000, pp:487-498 [Conf] - B. Meenakshi, Abhishek Bhatnagar, Sudeepa Roy
Tool for Translating Simulink Models into Input Language of a Model Checker. [Citation Graph (0, 0)][DBLP]
ICFEM, 2006, pp:606-620 [Conf] - B. Meenakshi, Ramaswamy Ramanujam
Reasoning about Layered Message Passing Systems. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:268-282 [Conf] - A. Vinayagam, J. Shi, Ganesan Pugalenthi, B. Meenakshi, Tom L. Blundell, Ramanathan Sowdhamini
DDBASE2.0: updated domain database with improved identification of structural domains. [Citation Graph (0, 0)][DBLP]
Bioinformatics, 2003, v:19, n:14, pp:1760-1764 [Journal] - B. Meenakshi, Ramaswamy Ramanujam
Reasoning about layered message passing systems. [Citation Graph (0, 0)][DBLP]
Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:171-206 [Journal]
Search in 0.015secs, Finished in 0.015secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002