Seguir
Prakash Panangaden
Prakash Panangaden
Professor of Computer Science, McGill University
Dirección de correo verificada de cs.mcgill.ca - Página principal
Título
Citado por
Citado por
Año
Implementing mathematics
RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ...
Prentice-Hall, 1986
23201986
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
6241991
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
4012004
Bisimulation for labelled Markov processes
J Desharnais, A Edalat, P Panangaden
Information and Computation 179 (2), 163-193, 2002
3672002
Metrics for Finite Markov Decision Processes.
N Ferns, P Panangaden, D Precup
UAI 4, 162-169, 2004
3632004
Anonymity protocols as noisy channels
K Chatzikokolakis, C Palamidessi, P Panangaden
Information and Computation 206 (2-4), 378-401, 2008
2742008
The measurement calculus
V Danos, E Kashefi, P Panangaden
Journal of the ACM (JACM) 54 (2), 8-es, 2007
2602007
Labelled Markov Processes
P Panangaden
World Scientific, 2009
2402009
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999
2111999
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
2032002
A logic for reasoning about security
J Glasgow, G MacEwen, P Panangaden
ACM Transactions on Computer Systems (TOCS) 10 (3), 226-264, 1992
1991992
Scaling behavior of interacting quantum fields in curved spacetime
BL Nelson, P Panangaden
Physical Review D 25 (4), 1019, 1982
1891982
Quantum weakest preconditions
E D'hondt, P Panangaden
Mathematical Structures in Computer Science 16 (3), 429-451, 2006
1702006
Bisimulation metrics for continuous Markov decision processes
N Ferns, P Panangaden, D Precup
SIAM Journal on Computing 40 (6), 1662-1714, 2011
1592011
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
The computational power of the W and GHZ states
E D'Hondt, P Panangaden
arXiv preprint quant-ph/0412177, 2004
1472004
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1442003
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
1411997
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
1242003
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
1211998
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20