Efficient model checking using tabled resolution YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ... International Conference on Computer Aided Verification, 143-154, 1997 | 288 | 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 | 260 | 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 | 209* | 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 | 184 | 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 | 132 | 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 | 119 | 2004 |
Nonlinear pattern matching in trees R Ramesh, IV Ramakrishnan Journal of the ACM (JACM) 39 (2), 295-316, 1992 | 116 | 1992 |
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 | 115 | 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 | 113 | 2003 |
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 |
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 | 96 | 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 | 91 | 2004 |
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 | 91 | 2000 |
Programming in equational logic: Beyond strong sequentiality RC Sekar, IV Ramakrishnan Information and Computation 104 (1), 78-109, 1993 | 91 | 1993 |
Term Indexing. IV Ramakrishnan, RC Sekar, A Voronkov Handbook of Automated Reasoning 2, 1853-1964, 2001 | 88 | 2001 |
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 | 83 | 2001 |
Automatic discovery of semantic structures in html documents SMGYW Tan, IV Ramakrishnan ICDAR 2003, 245, 2003 | 78 | 2003 |
Associative-commutative discrimination nets L Bachmair, T Chen, IV Ramakrishnan Colloquium on Trees in Algebra and Programming, 61-74, 1993 | 75 | 1993 |
Term indexing R Sekar, IV Ramakrishnan, A Voronkov Handbook of automated reasoning, 1853-1964, 2001 | 73 | 2001 |