Mysore Ramaswamy (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Sumit Sarkar, Mysore Ramaswamy: Knowledge Base Decomposition to Facilitate Verification. Information Systems Research 11(3): 260-283 (2000)

2 Mysore Ramaswamy, Sumit Sarkar: Global Verification of Knowledge Based Systems via Local Verification of Partitions. EUROVAV 1997: 145-154

1 Mysore Ramaswamy, Sumit Sarkar, Ye-Sho Chen: Using Directed Hypergraphs to Verity Rule-Based Expert Systems. IEEE Trans. Knowl. Data Eng. 9(2): 221-237 (1997)

Selection of 3 from 4 records - Mysore Ramaswamy has 3 coauthors

3		Sumit Sarkar, Mysore Ramaswamy: Knowledge Base Decomposition to Facilitate Verification. Information Systems Research 11(3): 260-283 (2000)
2		Mysore Ramaswamy, Sumit Sarkar: Global Verification of Knowledge Based Systems via Local Verification of Partitions. EUROVAV 1997: 145-154
1		Mysore Ramaswamy, Sumit Sarkar, Ye-Sho Chen: Using Directed Hypergraphs to Verity Rule-Based Expert Systems. IEEE Trans. Knowl. Data Eng. 9(2): 221-237 (1997)