Full abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria Information and computation 163 (2), 409-470, 2000 | 672 | 2000 |

Games and full completeness for multiplicative linear logic S Abramsky, R Jagadeesan The Journal of Symbolic Logic 59 (2), 543-574, 1994 | 507 | 1994 |

Metrics for labelled Markov processes J Desharnais, V Gupta, R Jagadeesan, P Panangaden Theoretical computer science 318 (3), 323-354, 2004 | 401 | 2004 |

Modal transition systems: A foundation for three-valued program analysis M Huth, R Jagadeesan, D Schmidt Programming Languages and Systems: 10th European Symposium on Programming …, 2001 | 288 | 2001 |

Full abstraction for PCF S Abramsky, P Malacaria, R Jagadeesan Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994 | 248 | 1994 |

Abstraction-based model checking using modal transition systems P Godefroid, M Huth, R Jagadeesan International conference on concurrency theory, 426-440, 2001 | 219 | 2001 |

Robust timed automata V Gupta, TA Henzinger, R Jagadeesan International Workshop on Hybrid and Real-Time Systems, 331-345, 1997 | 216 | 1997 |

Metrics for labeled Markov systems J Desharnais, V Gupta, R Jagadeesan, P Panangaden CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999 | 211 | 1999 |

The metric analogue of weak bisimulation for probabilistic processes J Desharnais, R Jagadeesan, V Gupta, P Panangaden Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 413-422, 2002 | 203 | 2002 |

New foundations for the geometry of interaction S Abramsky, R Jagadeesan | 197 | 1994 |

Foundations of timed concurrent constraint programming VA Saraswat, R Jagadeesan, V Gupta Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 71-80, 1994 | 188 | 1994 |

Towards a theory of accountability and audit R Jagadeesan, A Jeffrey, C Pitcher, J Riely Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009 | 149 | 2009 |

Timed default concurrent constraint programming VA Saraswat, R Jagadeesan, V Gupta Journal of Symbolic computation 22 (5), 475-520, 1996 | 147 | 1996 |

Approximating labelled Markov processes J Desharnais, V Gupta, R Jagadeesan, P Panangaden Information and Computation 184 (1), 160-200, 2003 | 144 | 2003 |

A theory of memory models VA Saraswat, R Jagadeesan, M Michael, C Von Praun Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of …, 2007 | 119 | 2007 |

Specifications of a high-level conflict-free firewall policy language for multi-domain networks B Zhang, E Al-Shaer, R Jagadeesan, J Riely, C Pitcher Proceedings of the 12th ACM symposium on Access control models and …, 2007 | 115 | 2007 |

On the expressiveness of 3-valued models P Godefroid, R Jagadeesan International Workshop on Verification, Model Checking, and Abstract …, 2002 | 109 | 2002 |

Automatic abstraction using generalized model checking P Godefroid, R Jagadeesan Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 96 | 2002 |

Computing with continuous change V Gupta, R Jagadeesan, VA Saraswat Science of computer programming 30 (1-2), 3-49, 1998 | 96 | 1998 |

Games and full completeness for multiplicative linear logic S Abramsky, R Jagadeesan International Conference on Foundations of Software Technology and …, 1992 | 93 | 1992 |