Follow
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
22201986
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
6011991
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
3592004
Bisimulation for labelled Markov processes
J Desharnais, A Edalat, P Panangaden
Information and Computation 179 (2), 163-193, 2002
3402002
Anonymity protocols as noisy channels
K Chatzikokolakis, C Palamidessi, P Panangaden
Information and Computation 206 (2-4), 378-401, 2008
2642008
Metrics for Finite Markov Decision Processes.
N Ferns, P Panangaden, D Precup
UAI 4, 162-169, 2004
2592004
Labelled Markov Processes
P Panangaden
World Scientific, 2009
2262009
The measurement calculus
V Danos, E Kashefi, P Panangaden
Journal of the ACM (JACM) 54 (2), 8-es, 2007
2242007
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
International Conference on Concurrency Theory, 258-273, 1999
2011999
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
1892002
A logic for reasoning about security
J Glasgow, G MacEwen, P Panangaden
ACM Transactions on Computer Systems (TOCS) 10 (3), 226-264, 1992
1891992
Scaling behavior of interacting quantum fields in curved spacetime
BL Nelson, P Panangaden
Physical Review D 25 (4), 1019, 1982
1791982
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
1531995
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1452003
Quantum weakest preconditions
E D'hondt, P Panangaden
Mathematical Structures in Computer Science 16 (3), 429-451, 2006
1432006
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
1281997
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
1172003
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
1091998
On the Bayes risk in information-hiding protocols
K Chatzikokolakis, C Palamidessi, P Panangaden
Journal of Computer Security 16 (5), 531-571, 2008
1072008
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
1071999
The system can't perform the operation now. Try again later.
Articles 1–20