C. R. Ramakrishnan

Best Publications

• Semantic (Web) Technology in Action: Ontology Driven Information Systems for Search, Integration, and Analysis

  Amit P. Sheth;Cartic Ramakrishnan

  324
  Citations

• Efficient Model Checking Using Tabled Resolution

  Y. S. Ramakrishna;C. R. Ramakrishnan;I. V. Ramakrishnan;Scott A. Smolka

  298
  Citations

• Logic based modeling and analysis of workflows

  Hasan Davulcu;Michael Kifer;C. R. Ramakrishnan;I. V. Ramakrishnan

  272
  Citations

• Semantics for the Semantic Web: The Implicit, the Formal and the Powerful

  Amit P. Sheth;Cartic Ramakrishnan;Christopher Thomas

  271
  Citations

• Semantic analytics on social networks: experiences in addressing the problem of conflict of interest detection

  Boanerges Aleman-Meza;Meenakshi Nagarajan;Cartic Ramakrishnan;Li Ding

  238
  Citations

• Ranking complex relationships on the semantic Web

  B. Aleman-Meza;C. Halaschek-Weiner;I.B. Arpinar;Cartic Ramakrishnan

  227
  Citations

• A process calculus for Mobile Ad Hoc Networks

  Anu Singh;C. R. Ramakrishnan;Scott A. Smolka

  199
  Citations

• Model-based analysis of configuration vulnerabilities

  C. R. Ramakrishnan;R. Sekar

  196
  Citations

• Layout-aware text extraction from full-text PDF of scientific articles

  Cartic Ramakrishnan;Abhishek Patnia;Eduard H. Hovy;Gully A. P. C. Burns

  182
  Citations

• Geospatial Ontology Development and Semantic Analytics

  I. Budak Arpinar;Cartic Ramakrishnan;Molly Azami;Amit P. Sheth

  171
  Citations

• Efficient policy analysis for administrative role based access control

  Scott D. Stoller;Ping Yang;C R. Ramakrishnan;Mikhail I. Gofman

  163
  Citations

• A framework for schema-driven relationship discovery from unstructured text

  Cartic Ramakrishnan;Krys J. Kochut;Amit P. Sheth

  153
  Citations

• Model repair for probabilistic systems

  Ezio Bartocci;Radu Grosu;Panagiotis Katsaros;C. R. Ramakrishnan

  152
  Citations

• Practical program analysis using general purpose logic programming systems—a case study

  Steven Dawson;C. R. Ramakrishnan;David S. Warren

  146
  Citations

• Policy analysis for Administrative Role-Based Access Control

  Amit Sasturkar;Ping Yang;Scott D. Stoller;C. R. Ramakrishnan

  138
  Citations

• Discovering informative connection subgraphs in multi-relational graphs

  Cartic Ramakrishnan;William H. Milnor;Matthew Perry;Amit P. Sheth

  132
  Citations

• Modeling and analysis of interactions in virtual enterprises

  H. Davulcu;M. Kifer;L.R. Pokorny;C.R. Ramakrishnan

  126
  Citations

• Policy analysis for administrative role based access control

  A. Sasturkar;Ping Yang;S.D. Stoller;C.R. Ramakrishnan

  102
  Citations

• XMC: A Logic-Programming-Based Verification Toolset

  C. R. Ramakrishnan;I. V. Ramakrishnan;Scott A. Smolka;Yifei Dong

  97
  Citations

• TaxaMiner: an experimentation framework for automated taxonomy bootstrapping

  Vipul Kashyap;Cartic Ramakrishnan;Christopher Thomas;A. Sheth

  94
  Citations