About
Discord Stateoftheart AI
GitHub

Publications

281

Cited by

9571

Prakash Panangaden

semanticsprobabilistic systemsverificationmachine learningquantum information theory
McGill University

Canada

Papers and Citations

1 - 50
Implementing mathematics
1986
Rance Cleaveland
Prakash Panangaden
NP Mendler
+9
Cited by 2144
The semantic foundations of concurrent constraint programming
1991
Prakash Panangaden
Vijay Saraswat
martin rinard
Cited by 595
Metrics for labelled Markov processes
2004
Radha Jagadeesan
Vineet Gupta
Prakash Panangaden
+1
Cited by 318
Bisimulation for labelled Markov processes
2002
Prakash Panangaden
Abbas Edalat
Jos�e Desharnais
Cited by 309
Infinite objects in type theory
1986
NP Mendler
RL Constable
Prakash Panangaden
Cited by 300
Anonymity protocols as noisy channels
2008
Prakash Panangaden
Catuscia Palamidessi
Konstantinos Chatzikokolakis
Cited by 246
The measurement calculus
2007
Prakash Panangaden
Vincent Danos
Elham Kashefi
Cited by 198
Labelled Markov Processes
2009
Prakash Panangaden
Cited by 198
The metric analogue of weak bisimulation for probabilistic processes
2002
Jos�e Desharnais
Radha Jagadeesan
Prakash Panangaden
+1
Cited by 180
Metrics for labeled Markov systems
1999
Prakash Panangaden
Radha Jagadeesan
Jos�e Desharnais
+1
Cited by 179
Metrics for Finite Markov Decision Processes.
2004
Doina Precup
Prakash Panangaden
Norm Ferns
Cited by 179
A logic for reasoning about security
1992
G MacEwen
J Glasgow
Prakash Panangaden
Cited by 177
Scaling behavior of interacting quantum fields in curved spacetime
1982
BL Nelson
Prakash Panangaden
Cited by 161
A design study of the EARTH multiprocessor.
1995
Xinan Tang
Nasser Elmasri
Xinmin Tian
+14
Cited by 140
Approximating labelled Markov processes
2003
Radha Jagadeesan
Vineet Gupta
Jos�e Desharnais
+1
Cited by 135
Quantum weakest preconditions
2005
Ellie D'Hondt
Prakash Panangaden
Cited by 116
The computational power of the W and GHZ states
2004
Prakash Panangaden
Ellie D'Hondt
Cited by 111
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes
2003
Prakash Panangaden
Jos�e Desharnais
Cited by 108
Reengineering user interfaces
1995
J-F Girard
P-Y Gagné
Ettore Merlo
+4
Cited by 104
A logical characterization of bisimulation for labeled Markov processes
1998
Jos�e Desharnais
Prakash Panangaden
Abbas Edalat
Cited by 101
Bisimulation and cocongruence for probabilistic systems
2006
François Laviolette
Prakash Panangaden
Jos�e Desharnais
+1
Cited by 100
On the Bayes risk in information-hiding protocols
2008
Catuscia Palamidessi
Konstantinos Chatzikokolakis
Prakash Panangaden
Cited by 90
Computations, residuals, and the power of indeterminacy
1988
Prakash Panangaden
Eugene Stark
Cited by 86
On renormalisation of λϕ4 field theory in curved space-time. I
1980
TS Bunch
L Parker
Prakash Panangaden
Cited by 82
Concurrent common knowledge: defining agreement for asynchronous systems
1992
K Taylor
Prakash Panangaden
Cited by 77
Stochastic processes as concurrent constraint programs
1999
Vineet Gupta
Prakash Panangaden
Radha Jagadeesan
Cited by 77
On renormalisation of λϕ4 field theory in curved space-time. II
1980
TS Bunch
Prakash Panangaden
Cited by 70
Methods for computing state similarity in Markov decision processes
2012
Prakash Panangaden
Norm Ferns
Doina Precup
+1
Cited by 61
Approximating labeled Markov processes
2000
Jos�e Desharnais
Prakash Panangaden
Vineet Gupta
+1
Cited by 60
Metrics for Markov decision processes with infinite state spaces
2012
Prakash Panangaden
Doina Precup
Norm Ferns
Cited by 56
Algebra-coalgebra duality in brzozowski's minimization algorithm
2014
Alexandra Silva
Jan JMM Rutten
Filippo Bonchi
+3
Cited by 55
The category of Markov kernels
1999
Prakash Panangaden
Cited by 54
Spatial and epistemic modalities in constraint-based process calculi
2012
FD Valencia
Prakash Panangaden
Catuscia Palamidessi
+1
Cited by 52
The expressive power of indeterminate dataflow primitives
1992
V Shanbhogue
Prakash Panangaden
Cited by 51
Probabilistic relations
1998
Prakash Panangaden
Cited by 50
Reverse engineering of user interfaces
1993
JF Girard
E Merlo
R De Mori
+2
Cited by 50
Concurrent common knowledge: A new definition of agreement for asynchronous systems
1988
K Taylor
Prakash Panangaden
Cited by 47
Bisimulation metrics for continuous Markov decision processes
2011
Prakash Panangaden
Doina Precup
Norm Ferns
Cited by 47
Weak bisimulation is sound and complete for PCTL
2002
Prakash Panangaden
Vineet Gupta
Jos�e Desharnais
+1
Cited by 45
Private information via the Unruh effect
2009
Prakash Panangaden
Patrick Hayden
Kamil Bradler
Cited by 45
Probability of error in information-hiding protocols
2007
Catuscia Palamidessi
Prakash Panangaden
Konstantinos Chatzikokolakis
Cited by 44
Quantitative algebraic reasoning
2016
R Mardare
Gordon Plotkin
Prakash Panangaden
Cited by 44
Discrete quantum causal dynamics
2003
IT Ivanov
RF Blute
Prakash Panangaden
Cited by 42
Quantum communication in Rindler spacetime
2012
Kamil Bradler
Prakash Panangaden
Patrick Hayden
Cited by 40
A logical view of concurrent constraint programming
1995
PJ Scott
NP Mendler
R.A.G. Seely
+1
Cited by 40
Stability and sequentiality in dataflow networks
1990
V Shanbhogue
Prakash Panangaden
Eugene Stark
Cited by 37
A fully abstract semantics for a first-order functional language with logic variables
1991
Keshav Pingali
Radha Jagadeesan
Prakash Panangaden
Cited by 37
Minimization via duality
2012
N Bezhanishvili
C Kupke
Prakash Panangaden
Cited by 37
One-loop renormalization of quantum electrodynamics in curved spacetime
1981
Prakash Panangaden
Cited by 35
Extended measurement calculus
2009
S Perdrix
Elham Kashefi
Vincent Danos
+1
Cited by 34