Untitled Document

Home > Publications > Selected Publications

Working Papers

Accepted or Published Papers by Year

2012

Combining Epistemic Logic and Hennessy-Milner Logic by Sophia Knight, Radu Mardare and Prakash Panangaden, to appear in Dexter Kozen's Festschrift.
Deep Inference and Probabilistic Coherence Spaces, by Richard Blute, Prakash Panangaden and Sergey Slavnov, Journal of Applied Categorical Structures, 2012.

2011

Quantum communication in Rindler spacetime by Kamil Bradler, Patrick Hayden and Prakash Panangaden, to appear in Communications of Mathematical Physics.
Bisimulation metrics for continuous Markov decision processes by Norm Ferns, Prakash Panangaden and Doina Precup, to appear, SIAM Journal of Computing.
Reconstruction of spacetime geometry from causal structure and a measurement; by Keye Martin and Prakash Panangaden, appear, Proceedings of the Clifford Lectures 2008, Proceedings of Symposia in Applied Mathematics, AMS.
Epistemic strategies and games on concurrent processes by Sophia Knight, Konstantinos Chatzikokolakis, Catuscia Palamidessi and Prakash Panangaden, to appear in ACM Transactions on Computational Logic.

2010

Domains in general relativity by Keye Martin and Prakash Panangaden in New Structures for Physics ed. Bob Coecke.
Proof nets as formal Feynman diagrams. by Richard Blute and Prakash Panangaden in New Structures for Physics ed. Bob Coecke.
Dagger categories and formal distributions by Richard Blute and Prakash Panangaden in New Structures for Physics ed. Bob Coecke.
A categorical view of computing with anyons by Prakash Panangaden and Eric Paquette in New Structures for Physics ed. Bob Coecke.
pCTL* is Sound and Complete for Weak Bisimulation by Joseé Desharnais, Vineet Gupta, Radhakrishnan Jagadeesan and Prakash Panangaden, Information and Computation, Jan 2010.
Learning in a changing world. by Prakash Panangaden and Mehrnoosh Sadrzadeh, AMAST 2010. June 2010, Quebec City.

2009

Extended Measurement Calculus by Vincent Danos, Elham Kashefi, Prakash Panangaden and Simon Perdrix, in Semantic Techniques for Quantum Computation edited by Simon Gay and Ian Mackie.
Notions of state equivalence under partial observability by Pablo Castro, Prakash Panangaden and Doina Precup, Proceedings of IJCAI 2009.
Approximating Markov processes by averaging by Philippe Chaput, Vincent Danos, Prakash Panangaden and Gordon Plotkin, Proceedings of ICALP 2009.
Epistemic strategies and games on concurrent processes by Konstantinos Chatzikokolakis, Sophia Knight and Prakash Panangaden, Proceedings of SOFSEM'09.

2008

Bounding Performance Loss in Approximate MDP Homomorphisms. Neural Information Processing Systems Conference NIPS 2008 December 2008
Game semantics for quantum stores. XXIV Symposium on Mathematical Foundations of Programming Semantics May 2008
A technique for verifying measurements. XXIV Symposium on Mathematical Foundations of Programming Semantics May 2008
On the Bayes-risk of information-hiding protocols. Journal of Computer Security, 16(5):531-571,2008.
Anonymity Protocols as Noisy Channels. Information and Computation, 206(2-4):378-401,2008.

2007

The Measurement Calculus [PDF] Journal Of The Association Of Computing Machinery, Vol 52,issue 2, article 8, March 2007.

2006

A Domain of spacetime intervals for General relativity by Keye Martin and Prakash Panangaden. [PDF] Communications of Mathematical Physics, Nov 2006.
Quantum Weakest Preconditions by Ellie D'Hondt and Prakash Panangaden. Mathematical Structures in Computer Science, 16(3), 429-451, June 2006.
The computatinal power of the W and GHZ states by Ellie D'Hondt and Prakash Panangaden; Quantum Information and Computation, 6(2), 2006, 173-183.
Bisimulation and Cocongruence for Probabilistic Systems by Vincent Danos, Josee Desharnais, Francois Laviolette and Prakash Panangaden. Information and Computation 204(4), 503-523, 2006.
Approximate Reasoning for Real-time Probabilistic Processes by Vineet Gupta, Radha Jagadeesan and Prakash Panangaden, Logical Methods in Computer Science, 2(1), paper 4, 2006.
Represnting systems with hidden state. AAAI 2006.

2005

Metrics for Markov Decision Processes with Infinite State Spaces by Norm Ferns, Prakash Panangaden and Doina Precup. In UAI 2005. [PDF].
An approximation algorithm for labelled Markov processes: towards realistic approximation, by Alex Bouchard-Cote, Norm Ferns, Prakash Panangaden and Doina Precup. In QEST 2005. [PDF]
Parsimonious and robust realizations of unitary maps in the one-way model by Vincent Danos, Elham Kashefi and Prakash Panangaden, Physical Review A 72, 064301, Dec 2005.

2004

Metrics for Labelled Markov Processes, by Jos\'ee Desharnais, Vineet Gupta, Radhakrishnan Jagadeesan and Prakash Panangaden, Theoretical Computer Science, 318(3), pp. 323-354, June 2004.
A Relational Model for Nondeterministic Dataflow, by Thomas Hildebrandt, Prakash Panangaden and Glynn Winskel, Mathematical Structures in Computer Science, 14(5), pp. 613-649, October 2004.
Labelled Markov Processes: Stronger and Faster Approximations by Vincent Danos and Jos{\'e}e Desharnais and Prakash Panangaden; Electronic Notes in Theoretical Computer Science, 87, pp. 157-203, Nov 2004.
Approximate reasoning for real-time probabilistic processes by Vineet Gupta, Radha Jagadeesan and Prakash Panangaden. First Symposium on Quantitative Evaluation of Systems QEST04; Twente, The Netherlands.
Metrics for Finite Markov Decision Precesses by Norm Ferns, Prakash Panangaden and Doina Precup, Proceedings of the 20th Conference on Uncertainty in Artificial Intelligence, pp. 162-169, Banff, Canada, July 2004.

2003

Conditional Expectation and the Approximation of Labeled Markov Processes by Vincent Danos, Josee Desharnais and Prakash Panangaden, Proceedings of the 14th International Conference on Concurrency Theory, CONCUR03, Marseilles, France, September 2003. Lecture Notes In Computer Science 2761 pp. 477-491
Discrete Quantum Causal Dynamics by Richard Blute, Ivan T. Ivanov and Prakash Panangaden. International Journal of Theoretical Physics Volume 42, number 9, pages 2025-2041, Sept 2003.
Approximating Continuous Markov Processes by Josee Desharnais, Vineet Gupta, Radha Jagadeesan and Prakash Panangaden, Information and Computation, 184(1), pp. 160-200, July 2003
Continuous Stochastic Logic Characterizes Bisimulation for Continuous-time Markov Processes by Josee Desharnais and Prakash Panangaden. Journal of Logic and Algebraic Progamming special issue on Probabilistic Techniques for the Design and Analysis of Systems, 56 (2003) 99-115.

2002

The Metric Analogue of Weak Bisimulation for Probabilistic Processes by Josee Desharnais, Vineet Gupta, Radha Jagadeesan and Prakash Panangaden. Full version of the LICS 2002 paper.

Weak Bisimulation is Sound and Complete for pCTL* by Josee Desharnais, Vineet Gupta, Radha Jagadeesan and Prakash Panangaden. CONCUR'02.

Bisimulation for Labelled Markov Processes , by Josee Desharnais, Abbas Edalat and Prakash Panangaden. This is an extended version that unifies the results of our two LICS (1997 (with Rick Blute) and 1998) papers on this topic. Information and Computation, 179(2), pp. 163-193, Dec, 2002.

2001

Measure and Probability for Concurrency Theorists, Prakash Panangaden, Theoretical Computer Science, 253, pp. 287-309, 2001.

On the Expressive Power of First-order Boolean Functions in PCF, Riccardo Pucella and Prakash Panangaden, Theoretical Computer Science, 266, pp. 543-567, 2001.

2000

Approximating Labeled Markov Processes, by Jos\'ee Desharnais, Vineet Gupta, Radhakrishnan Jagadeesan and Prakash Panangaden, Proceedings of the Fifteenth Annual IEEE Symposium On Logic In Computer Science, Santa Barbara, California, USA, June 2000, pp. 95-106.

Generating Irregular Partitionable Data-Structures, by Prakash Panangaden and Clark Verbrugge, Theoretical Computer Science, 238, pp. 31-80, 2000.

1999

The Category of Markov Processes, Prakash Panangaden, ENTCS, Vol 22, 1999. \verb+http://www.elsevier.nl/locate/entcs/volume22.html+, 17 pages.
Nuclear and Trace Ideals in Tensored *-Categories,, by Samson Abramsky, Richard Blute and Prakash Panangaden. Journal of Pure and Applied Algebra, Vol: 143, Issue: 1-3, 1999, pp. 3-47.
Stochastic Processes as Concurrent Constraint Programs by Vineet Gupta, Radha Jagadeesan and Prakash Panangaden. POPL 1999.
Metrics for Labeled Markov Systems by Josee Desharnais, Vineet Gupta, Radha Jagadeesan and Prakash Panangaden. CONCUR 1999.