| Efficient model checking using tabled resolution YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ... International Conference on Computer Aided Verification, 143-154, 1997 | 297 | 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 | 274 | 1998 |
| Model-based analysis of configuration vulnerabilities CR Ramakrishnan, R Sekar Journal of Computer Security 10 (1-2), 189-209, 2002 | 195 | 2002 |
| Efficient policy analysis for administrative role based access control SD Stoller, P Yang, CR Ramakrishnan, MI Gofman Proceedings of the 14th ACM conference on Computer and communications …, 2007 | 169 | 2007 |
| Model repair for probabilistic systems E Bartocci, R Grosu, P Katsaros, CR Ramakrishnan, SA Smolka International Conference on Tools and Algorithms for the Construction and …, 2011 | 162 | 2011 |
| Practical program analysis using general purpose logic programming systems—a case study S Dawson, CR Ramakrishnan, DS Warren Proceedings of the ACM SIGPLAN 1996 conference on Programming language …, 1996 | 160 | 1996 |
| Policy analysis for administrative role-based access control A Sasturkar, P Yang, SD Stoller, CR Ramakrishnan Theoretical Computer Science 412 (44), 6208-6234, 2011 | 144 | 2011 |
| 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 | 135 | 1999 |
| A process calculus for mobile ad hoc networks A Singh, CR Ramakrishnan, SA Smolka Science of Computer Programming 75 (6), 440-469, 2010 | 132 | 2010 |
| 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 | 97 | 2000 |
| Incremental and demand-driven points-to analysis using logic programming D Saha, CR Ramakrishnan Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 96 | 2005 |
| 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 | 91 | 2001 |
| Fully local and efficient evaluation of alternating fixed points X Liu, CR Ramakrishnan, SA Smolka International Conference on Tools and Algorithms for the Construction and …, 1998 | 84 | 1998 |
| Model-based vulnerability analysis of computer systems C Ramakrishnan, R Sekar Proceedings of the 2nd International Workshop on Verification, Model …, 1998 | 82 | 1998 |
| Incremental evaluation of tabled logic programs D Saha, CR Ramakrishnan International Conference on Logic Programming, 392-406, 2003 | 73 | 2003 |
| A process calculus for mobile ad hoc networks A Singh, CR Ramakrishnan, SA Smolka International Conference on Coordination Languages and Models, 296-314, 2008 | 70 | 2008 |
| Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools: A Comparative Study of Verification Tools Y Dong, X Du, YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, ... International Conference on Tools and Algorithms for the Construction and …, 1999 | 67 | 1999 |
| Efficient distribution of quantum circuits R G Sundaram, H Gupta, CR Ramakrishnan 35th International Symposium on Distributed Computing (DISC 2021), 41: 1-41: 20, 2021 | 65 | 2021 |
| Verification of parameterized systems using logic program transformations A Roychoudhury, KN Kumar, CR Ramakrishnan, IV Ramakrishnan, ... International Conference on Tools and Algorithms for the Construction and …, 2000 | 65 | 2000 |
| Efficient quantum network communication using optimized entanglement swapping trees M Ghaderibaneh, C Zhan, H Gupta, CR Ramakrishnan IEEE Transactions on Quantum Engineering 3, 1-20, 2022 | 64 | 2022 |
