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, ...
Nuprl Proof Develop, 1986
21971986
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
5991991
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
3372004
Bisimulation for labelled Markov processes
J Desharnais, A Edalat, P Panangaden
Information and Computation 179 (2), 163-193, 2002
3192002
Anonymity protocols as noisy channels
K Chatzikokolakis, C Palamidessi, P Panangaden
Information and Computation 206 (2-4), 378-401, 2008
2602008
Labelled Markov Processes
P Panangaden
World Scientific, 2009
2152009
Metrics for Finite Markov Decision Processes.
N Ferns, P Panangaden, D Precup
UAI 4, 162-169, 2004
2142004
The measurement calculus
V Danos, E Kashefi, P Panangaden
Journal of the ACM (JACM) 54 (2), 8-es, 2007
2072007
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
International Conference on Concurrency Theory, 258-273, 1999
1891999
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
1801992
Scaling behavior of interacting quantum fields in curved spacetime
BL Nelson, P Panangaden
Physical Review D 25 (4), 1019, 1982
1691982
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
1402003
Quantum weakest preconditions
E D'hondt, P Panangaden
Mathematical Structures in Computer Science 16 (3), 429-451, 2006
1252006
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
1221997
The computational power of the W and GHZ states
E D'Hondt, P Panangaden
arXiv preprint quant-ph/0412177, 2004
1142004
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
1132003
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20