Prakash Panangaden
Prakash Panangaden
Professor of Computer Science, McGill University
Verified email at cs.mcgill.ca - Homepage
TitleCited byYear
Implementing mathematics
RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ...
Prentice-Hall, 1986
20431986
Semantic Foundations of Concurrent Constraint Programming.
VA Saraswat, M Rinard, P Panangaden
POPL 91 (18), 333-352, 1991
5711991
Bisimulation for labelled Markov processes
J Desharnais, A Edalat, P Panangaden
Information and Computation 179 (2), 163-193, 2002
2892002
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
2772004
Mathematical techniques for analyzing concurrent and probabilistic systems
JJMM Rutten, M Kwiatkowska, G Norman, D Parker
American Mathematical Soc., 2004
2352004
Anonymity protocols as noisy channels
K Chatzikokolakis, C Palamidessi, P Panangaden
Information and Computation 206 (2-4), 378-401, 2008
2252008
The measurement calculus
V Danos, E Kashefi, P Panangaden
Journal of the ACM (JACM) 54 (2), 8, 2007
1862007
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
1712002
A logic for reasoning about security
J Glasgow, G MacEwen, P Panangaden
[1990] Proceedings. The Computer Security Foundations Workshop III, 2-13, 1990
1691990
Labelled Markov Processes
P Panangaden
World Scientific, 2009
1682009
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
International Conference on Concurrency Theory, 258-273, 1999
1681999
Scaling behavior of interacting quantum fields in curved spacetime
BL Nelson, P Panangaden
Physical Review D 25 (4), 1019, 1982
1401982
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
1341995
Metrics for finite Markov decision processes
N Ferns, P Panangaden, D Precup
Proceedings of the 20th conference on Uncertainty in artificial intelligence …, 2004
1312004
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1212003
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
1111997
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes
J Desharnais, P Panangaden
The Journal of Logic and Algebraic Programming 56 (1-2), 99-115, 2003
1012003
Nuclear and trace ideals in tensored∗-categories
S Abramsky, R Blute, P Panangaden
Journal of Pure and Applied Algebra 143 (1-3), 3-47, 1999
991999
Reengineering user interfaces
E Merlo, PY Gagné, JF Girard, K Kontogiannis, L Hendren, ...
IEEE Software 12 (1), 64-73, 1995
991995
A logical characterization of bisimulation for labeled Markov processes
J Desharnais, A Edalat, P Panangaden
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
981998
The system can't perform the operation now. Try again later.
Articles 1–20