| Efficient model checking using tabled resolution YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ... International Conference on Computer Aided Verification, 143-154, 1997 | 283 | 1997 |
| Logic based modeling and analysis of workflows H Davulcu, M Kifer, CR Ramakrishnan, IV Ramakrishnan Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998 | 251 | 1998 |
| Efficient access mechanisms for tabled logic programs IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren The Journal of Logic Programming 38 (1), 31-54, 1999 | 210* | 1999 |
| More than meets the eye: a survey of screen-reader browsing strategies Y Borodin, JP Bigham, G Dausch, IV Ramakrishnan Proceedings of the 2010 International Cross Disciplinary Conference on Web …, 2010 | 171 | 2010 |
| Modeling and analysis of interactions in virtual enterprises H Davulcu, M Kifer, LR Pokorny, CR Ramakrishnan, IV Ramakrishnan, ... Proceedings Ninth International Workshop on Research Issues on Data …, 1999 | 129 | 1999 |
| A layered architecture for querying dynamic web content H Davulcu, J Freire, M Kifer, IV Ramakrishnan Proceedings of the 1999 ACM SIGMOD international conference on Management of …, 1999 | 123 | 1999 |
| Hearsay: enabling audio browsing on hypertext content IV Ramakrishnan, A Stent, G Yang Proceedings of the 13th international conference on World Wide Web, 80-89, 2004 | 120 | 2004 |
| Csurf: a context-driven non-visual web-browser JU Mahmud, Y Borodin, IV Ramakrishnan Proceedings of the 16th international conference on World Wide Web, 31-40, 2007 | 116 | 2007 |
| Ontominer: Bootstrapping and populating ontologies from domain-specific web sites H Davalcu, S Vadrevu, S Nagarajan, IV Ramakrishnan IEEE Intelligent Systems 18 (5), 24-33, 2003 | 110 | 2003 |
| Nonlinear pattern matching in trees R Ramesh, IV Ramakrishnan Journal of the ACM (JACM) 39 (2), 295-316, 1992 | 110 | 1992 |
| Automatic annotation of content-rich html documents: Structural and semantic analysis S Mukherjee, G Yang, IV Ramakrishnan International Semantic Web Conference, 533-549, 2003 | 101 | 2003 |
| XMC: A logic-programming-based verification toolset CR Ramakrishnan, IV Ramakrishnan, SA Smolka, Y Dong, X Du, ... International Conference on Computer Aided Verification, 576-580, 2000 | 95 | 2000 |
| Programming in equational logic: Beyond strong sequentiality RC Sekar, IV Ramakrishnan Information and Computation 104 (1), 78-109, 1993 | 94 | 1993 |
| Term Indexing. IV Ramakrishnan, RC Sekar, A Voronkov Handbook of Automated Reasoning 2, 1853-1964, 2001 | 89 | 2001 |
| A framework for building privacy-conscious composite web services W Xu, VN Venkatakrishnan, R Sekar, IV Ramakrishnan 2006 IEEE International Conference on Web Services (ICWS'06), 655-662, 2006 | 88 | 2006 |
| CTR-S: a logic for specifying contracts in semantic web services H Davulcu, M Kifer, IV Ramakrishnan Proceedings of the 13th international World Wide Web conference on Alternate …, 2004 | 82 | 2004 |
| Model-Carrying Code (MCC) a new paradigm for mobile-code security R Sekar, CR Ramakrishnan, IV Ramakrishnan, SA Smolka Proceedings of the 2001 workshop on New security paradigms, 23-30, 2001 | 82 | 2001 |
| Automatic discovery of semantic structures in html documents S Mukherjee, G Yang, W Tan, IV Ramakrishnan Seventh International Conference on Document Analysis and Recognition, 2003 …, 2003 | 77 | 2003 |
| The HearSay non-visual web browser Y Borodin, J Mahmud, IV Ramakrishnan, A Stent Proceedings of the 2007 international cross-disciplinary conference on Web …, 2007 | 73 | 2007 |
| Associative-commutative discrimination nets L Bachmair, T Chen, IV Ramakrishnan Colloquium on Trees in Algebra and Programming, 61-74, 1993 | 73 | 1993 |
