Prakash Panangaden
Prakash Panangaden
Professor of Computer Science, McGill University
Verified email at cs.mcgill.ca - Homepage
Title
Cited by
Cited by
Year
Implementing mathematics
RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ...
Nuprl Proof Develop, 1986
22111986
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
6001991
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
3432004
Bisimulation for labelled Markov processes
J Desharnais, A Edalat, P Panangaden
Information and Computation 179 (2), 163-193, 2002
3242002
Anonymity protocols as noisy channels
K Chatzikokolakis, C Palamidessi, P Panangaden
Information and Computation 206 (2-4), 378-401, 2008
2602008
Metrics for Finite Markov Decision Processes.
N Ferns, P Panangaden, D Precup
UAI 4, 162-169, 2004
2302004
Labelled Markov Processes
P Panangaden
World Scientific, 2009
2182009
The measurement calculus
V Danos, E Kashefi, P Panangaden
Journal of the ACM (JACM) 54 (2), 8-es, 2007
2112007
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
International Conference on Concurrency Theory, 258-273, 1999
1931999
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
1862002
A logic for reasoning about security
J Glasgow, G MacEwen, P Panangaden
ACM Transactions on Computer Systems (TOCS) 10 (3), 226-264, 1992
1811992
Scaling behavior of interacting quantum fields in curved spacetime
BL Nelson, P Panangaden
Physical Review D 25 (4), 1019, 1982
1731982
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
1541995
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1412003
Quantum weakest preconditions
E D'hondt, P Panangaden
Mathematical Structures in Computer Science 16 (3), 429-451, 2006
1302006
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
1241997
The computational power of the W and GHZ states
E D'Hondt, P Panangaden
arXiv preprint quant-ph/0412177, 2004
1202004
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
1142003
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
1061999
Reengineering user interfaces
E Merlo, PY Gagné, JF Girard, K Kontogiannis, L Hendren, ...
IEEE Software 12 (1), 64-73, 1995
1061995
The system can't perform the operation now. Try again later.
Articles 1–20