Publications conferences and workshops Talks Students Teaching RL Lab Links curricullum
 

Home > Publications > Selected Publications


Working Papers



Old Papers from before 1999



Accepted or Published Papers by Year

2014

2013

2012

2011

2010

2009


2008


2007

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

2006


2005


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.