Mysore Ramaswamy

Statistics

Publications

Citations

339

H-Index

Active since

1997

Affiliations

Southern University and Agricultural and Mechanical College(Current)

Mysore Ramaswamy is an author at Southern University and Agricultural and Mechanical College specializing in formal methods, verification, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationKnowledge DiscoveryKnowledge Compilation

Publications per year

1997–2014

Publications

Phytochemical screening by FTIR spectroscopic analysis of leaf extracts of selected Indian Medicinal plants

Mysore Ramaswamy · 2014 · 176 citations

Medicinal Chemistry, Botany, Leaf Extracts +11

Evaluation of larvicidal activity of the leaf extract of a weed plant, Ageratina adenophora, against two important species of mosquitoes, Aedes aegypti and Culex quinquefasciatus

D. Raj Mohan, Mysore Ramaswamy · AFRICAN JOURNAL OF BIOTECHNOLOGY · 2007 · 69 citations · Full text

Biology, Leaf Extract, Vector Management +10

Using directed hypergraphs to verify rule-based expert systems

Mysore Ramaswamy, Sumit Sarkar, Ye-Sho Chen · IEEE Transactions on Knowledge and Data Engineering · 1997 · 59 citations

Graphical Representation Scheme, Engineering, Verification +17

e-Government in Transition Countries: Prospects and Challenges

Mysore Ramaswamy, Audrey N. Selian · 2007 · 25 citations

Bureaucracy, Public Policy, Transition Countries +14

Knowledge Base Decomposition to Facilitate Verification

Sumit Sarkar, Mysore Ramaswamy · Information Systems Research · 2000 · 10 citations

Ordered Polytree Structure, Engineering, Verification +19

1–5 of 5