Full abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria arXiv preprint arXiv:1311.6125, 2013 | 560 | 2013 |

Full abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria arXiv preprint arXiv:1311.6125, 2013 | 560 | 2013 |

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

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

Modal transition systems: A foundation for three-valued program analysis M Huth, R Jagadeesan, D Schmidt European Symposium on Programming, 155-169, 2001 | 263 | 2001 |

Full abstraction for PCF S Abramsky, P Malacaria, R Jagadeesan International Symposium on Theoretical Aspects of Computer Software, 1-15, 1994 | 227 | 1994 |

Abstraction-based model checking using modal transition systems P Godefroid, M Huth, R Jagadeesan International Conference on Concurrency Theory, 426-440, 2001 | 204 | 2001 |

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

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 | 182 | 2002 |

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 | 177 | 1994 |

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

Metrics for labeled Markov systems J Desharnais, V Gupta, R Jagadeesan, P Panangaden International Conference on Concurrency Theory, 258-273, 1999 | 174 | 1999 |

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

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

Towards a theory of accountability and audit R Jagadeesan, A Jeffrey, C Pitcher, J Riely European Symposium on Research in Computer Security, 152-167, 2009 | 122 | 2009 |

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 | 108 | 2007 |

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

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

Automatic abstraction using generalized model checking P Godefroid, R Jagadeesan International Conference on Computer Aided Verification, 137-151, 2002 | 88 | 2002 |

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 | 87 | 2007 |