Folgen
Prakash Panangaden
Prakash Panangaden
Professor of Computer Science, McGill University
Bestätigte E-Mail-Adresse bei cs.mcgill.ca - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Implementing mathematics
RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ...
Prentice-Hall, 1986
23281986
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
6261991
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
4032004
Metrics for Finite Markov Decision Processes.
N Ferns, P Panangaden, D Precup
UAI 4, 162-169, 2004
3732004
Bisimulation for labelled Markov processes
J Desharnais, A Edalat, P Panangaden
Information and Computation 179 (2), 163-193, 2002
3682002
Anonymity protocols as noisy channels
K Chatzikokolakis, C Palamidessi, P Panangaden
Information and Computation 206 (2-4), 378-401, 2008
2762008
The measurement calculus
V Danos, E Kashefi, P Panangaden
Journal of the ACM (JACM) 54 (2), 8-es, 2007
2652007
Labelled Markov Processes
P Panangaden
World Scientific, 2009
2452009
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
2052002
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
1881982
Quantum weakest preconditions
E D'hondt, P Panangaden
Mathematical Structures in Computer Science 16 (3), 429-451, 2006
1762006
Bisimulation metrics for continuous Markov decision processes
N Ferns, P Panangaden, D Precup
SIAM Journal on Computing 40 (6), 1662-1714, 2011
1632011
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
1512004
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
1431997
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20