| Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Nuprl Proof De, 1986 | 2395 | 1986 |
| The semantic foundations of concurrent constraint programming VA Saraswat, M Rinard, P Panangaden Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991 | 623 | 1991 |
| Metrics for Finite Markov Decision Processes. N Ferns, P Panangaden, D Precup UAI 4, 162-169, 2004 | 437 | 2004 |
| Metrics for labelled Markov processes J Desharnais, V Gupta, R Jagadeesan, P Panangaden Theoretical computer science 318 (3), 323-354, 2004 | 429 | 2004 |
| Bisimulation for labelled Markov processes J Desharnais, A Edalat, P Panangaden Information and Computation 179 (2), 163-193, 2002 | 398 | 2002 |
| The measurement calculus V Danos, E Kashefi, P Panangaden Journal of the ACM (JACM) 54 (2), 8-es, 2007 | 292 | 2007 |
| Anonymity protocols as noisy channels K Chatzikokolakis, C Palamidessi, P Panangaden Information and Computation 206 (2-4), 378-401, 2008 | 283 | 2008 |
| Labelled Markov Processes P Panangaden Imperial College Press, 2009 | 266 | 2009 |
| Metrics for labeled Markov systems J Desharnais, V Gupta, R Jagadeesan, P Panangaden International Conference on Concurrency Theory, 258-273, 1999 | 225 | 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 | 214 | 2002 |
| Bisimulation metrics for continuous Markov decision processes N Ferns, P Panangaden, D Precup SIAM Journal on Computing 40 (6), 1662-1714, 2011 | 209 | 2011 |
| A logic for reasoning about security J Glasgow, G MacEwen, P Panangaden ACM Transactions on Computer Systems (TOCS) 10 (3), 226-264, 1992 | 200 | 1992 |
| Scaling behavior of interacting quantum fields in curved spacetime BL Nelson, P Panangaden Physical Review D 25 (4), 1019, 1982 | 194 | 1982 |
| Quantum weakest preconditions E D'hondt, P Panangaden Mathematical Structures in Computer Science 16 (3), 429-451, 2006 | 188 | 2006 |
| The computational power of the W and GHZ states E D'Hondt, P Panangaden arXiv preprint quant-ph/0412177, 2004 | 169 | 2004 |
| Bisimulation for labelled Markov processes R Blute, J Desharnais, A Edalat, P Panangaden Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 158 | 1997 |
| A design study of the EARTH multiprocessor. HHJ Hum, O Maquelin, KB Theobald, X Tian, X Tang, GR Gao, P Cupryk, ... PACT 95, 59-68, 1995 | 156 | 1995 |
| Approximating labelled Markov processes J Desharnais, V Gupta, R Jagadeesan, P Panangaden Information and Computation 184 (1), 160-200, 2003 | 155 | 2003 |
| Riemannian diffusion models CW Huang, M Aghajohari, J Bose, P Panangaden, AC Courville Advances in Neural Information Processing Systems 35, 2750-2761, 2022 | 143 | 2022 |
| Quantitative algebraic reasoning R Mardare, P Panangaden, G Plotkin Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 139 | 2016 |
