
Home > Publications > Selected Publications
Working Papers
Old Papers from before 1999
Accepted or Published
Papers by Year
2019

Singular Value Automata and Approximate Minimization, Borja Balle,
Prakash Panangaden and Doina Precup, in press, Mathematical
Structures In Computer Science, accepted February
2019.

Expressiveness of probabilistic modal logics: a gradual approach
, Florence Clerc, Nathanael Fijalkow, Bartek Klin and Prakash
Panangaden, in press, Information and Computation, accepted
January 2019. Full version of the ICALP 2017 paper.
2018

BooleanValued Semantics for the Stochastic LambdaCalculus
Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash
Panangaden and Dana Scott. (LICS 2018)

An algebraic theory of
Markov processes, Giorgio Bacci, Radu Mardare,
Prakash Panangaden and Gordon Plotkin. (LICS 2018)

Free complete
Wasserstein algebras by Radu Mardare, Prakash Panangaden and Gordon D. Plotkin,
Logical Methods in Computer Science, volume 14, number 3, 2018.Furio Honsell Festschrift.

A Categorical
Characterization of Relative Entropy on Standard Borel Spaces by Nicolas
Gagne and Prakash Panangaden, Electr. Notes Theor. Comput. Sci.,volume
336, pages 135153, 2018.
2017

Unrestricted Stone duality for Markov processes, Robert Furber,
Dexter Kozen, Kim Larsen, Radu Mardare and Prakash Panangaden. (LICS 2017)

On the axiomatizability of quantitative algebras, Radu Mardare,
Prakash Panangaden and Gordon Plotkin. (LICS 2017)

Expressiveness of probabilistic modal logics revisited, Nathanael
Fijalkow, Bartek Klin and Prakash Panangaden. (ICALP 2017)

Bisimulation metrics for weighted finite automata, Borja de Balle,
Pascale Gourdeau and Prakash Panangaden. (ICALP 2017)

Bicategories of Markov processes, Florence Clerc, Harrison Humphrey
and Prakash Panangaden. Kim Larsen Festschrift.
2016
2015

Basis refinement strategies for linear value function approximation in
MDPs, Gheorghe Comanici, Doina Precup and Prakash Panangaden.
Advances in Neural Information Processing Systems 28, pages 28812889,
2015.

A Canonical Form for Weighted Automata and Applications to Approximate
Minimization, Borja Balle, Prakash Panangaden and Doina Precup,
Proceedings of the Thirtieth Annual ACMIEEE Symposium on Logic in
Computer Science, 2015.

Quantum Alternation; Problems and Prospects, Costin Badescu
and Prakash Panangaden,
Proceedings of the Conference on Quantum Physics and Logic.

Representation Discovery for MDPs Using Bisimulation Metrics, Sherry
Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden and Doina Precup,
Proceedings of the TwentyNinth AAAI Conference on Artificial
Intelligence, 2015, pp. 35783584.
2014

An exact
expression for Photon Polarization in Kerr Geometry by Anusar
Farooqui, Niky Kamran and Prakash Panangaden, in Advances in Theoretical
and Mathematical Physics, Vol. 8, No. 3, pp. 657684, 2014.

A Metrized Duality Theorem for Markov Processes by Dexter Kozen, Radu
Mardare and Prakash Panangaden, in Electronic Notes
in Theoretical Computer Science Vol. 308, pp. 211227, proceedings of
Mathematical Foundations of Programming Semantics, 2014.

A
logical basis for quantum evolution and entanglement
by Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden
and Ltuz Strassburger, in Categories and Types in Language, Logic and
Physics  Essays dedicated to Jim Lambek on the occasion of his 90th
birthday. Lecture Notes In Computer Science 8222, pp. 90107.

Causality in Physics and
Computation by Prakash Panangaden, Theoretical Computer Science, Vol.
546, pp. 1016, March 2014.

Algebracoalgebra Duality in Brzozwski's Minimization Algorithm
by F. Bonchi, M. M. Bonsangue, H. H. Hansen, P. Panangaden, J. J. M. M. Rutten and
A. Silva, ACM Transactions on Computational Logic, Vol. 19(1), article
3, 2014.
 Approximating
Markov Processes by Averaging by Philippe Chaput, Vincent Danos,
Prakash Panangaden and Gordon Plotkin. Full (and significantly
rewritten) version of the
ICALP 2009 paper; Journal of the Association of Computing Machinery, Vol.
61, No. 1, Jan 2014.
 Fair
reactive programming by Andrew Cave, Francisco Ferreira,
Prakash Panangaden and Brigitte Pientka; Principles
of Programming Languages, January 2014.
2013

Stone Duality for Markov Processes by Dexter Kozen, Kim
G. Larsen, Radu Mardare and Prakash Panangaden, in ACMIEEE Symposium On
Logic In Computer Science 2013.

Stone Duality for Markov Processes by Dexter Kozen, Kim
G. Larsen, Radu Mardare and Prakash Panangaden, longer technical
report version.

Strong Completeness for Markovian Logics by Dexter Kozen, Radu
Mardare and Prakash Panangaden, in MFCS 2013.

Strong Completeness for Markovian Logics by Dexter Kozen, Radu
Mardare and Prakash Panangaden, longer TR version.

The Duality of State and Observation in Probabilistic Transition
Systems by Monica Dinculescu, Christopher Hundt, Prakash
Panangaden, Joelle Pineau and Doina Precup; in Language, Logic and
Computation, revised selected papers from the 9th International Tbilisi
Symposium TbiLLC 2011, Kutaisi, Georgia, Sept. 2630, 2011. Lecture
Notes In Computer Science 7758, pages 206230, 2013.
2012

Onthefly algorithms for bisimulation metrics by Gheorghe
Comanici, Prakash Panangaden and Doina Precup, in Proceedings of QEST
2012, IEEE Computer Society.

Spatial and epistemic modalities in constraintbased process calculi
by Sophia Knight, Catuscia Palamidessi, Prakash Panangaden and Frank
Valencia, in Proceedings of CONCUR 2012, Lecture Notes In Computer
Science 7454, pp. 317332.

Minimization via duality by Nick Bezhanishvili, Clemens Kupke
and Prakash Panangaden, in Proceedings of Wollic 2012, Buenos Aires,
Argentina, Lecture Notes In Computer Science 7456, pp. 191205.

Taking it to the limit: approximate reasoning for Markov
processes by Kim G. Larsen, Radu Mardare and Prakash Panangaden,
in Proceedings of MFCS, Lecture Notes In Computer Science 7464,
pp. 681692.

Combining Epistemic Logic and HennessyMilner Logic by Sophia
Knight, Radu Mardare and Prakash Panangaden, in Dexter
Kozen's Festschrift published as Logic and Program Semantics, Lecture
Notes In Computer Science 7230, eds. Robert Constable and Alexandra
Silva, pp. 219243.
 Epistemic
strategies and games on concurrent processes by Sophia Knight,
Konstantinos Chatzikokolakis, Catuscia Palamidessi and Prakash
Panangaden, ACM Transactions on Computational Logic, 2012,
vol 13, number 4.
 Deep
Inference and Probabilistic Coherence Spaces, by Richard Blute,
Prakash Panangaden and Sergey Slavnov, Journal of Applied
Categorical Structures, 2012.
 Quantum
communication in Rindler spacetime by Kamil Bradler, Patrick
Hayden and Prakash Panangaden, Communications of
Mathematical Physics, 2012, Vol 312, number 2,
pp. 361398.
 Reconstruction
of spacetime geometry from causal structure and a measurement;
by Keye Martin and Prakash Panangaden, in Mathematical Foundations of
Information Flow, Proceedings of the 2008 Clifford Lectures,
Proceedings of Symposia in Applied Mathematics, AMS, volume 71,
pp. 213232, 2012.
2011
2010
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
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), 429451, 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, 173183.
 Bisimulation and Cocongruence for Probabilistic Systems by Vincent Danos, Josee Desharnais, Francois Laviolette and Prakash Panangaden. Information and Computation 204(4), 503523, 2006.
 Approximate Reasoning for Realtime Probabilistic Processes by Vineet Gupta, Radha Jagadeesan and Prakash Panangaden, Logical Methods in Computer Science, 2(1), paper 4, 2006.
 Representing
systems with hidden state. AAAI 2006.
2005
2004
 Metrics for Labelled Markov Processes, by Jos\'ee Desharnais, Vineet Gupta, Radhakrishnan Jagadeesan and Prakash Panangaden, Theoretical Computer Science, 318(3), pp. 323354, June 2004.
 A Relational Model for Nondeterministic Dataflow, by Thomas Hildebrandt, Prakash Panangaden and Glynn Winskel, Mathematical Structures in Computer Science, 14(5), pp. 613649, 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. 157203, Nov 2004.
 Approximate reasoning for realtime 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. 162169, 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. 477491
 Discrete Quantum Causal Dynamics by Richard Blute, Ivan T. Ivanov and Prakash Panangaden. International Journal of Theoretical Physics Volume 42, number 9, pages 20252041, Sept 2003.
 Approximating Continuous Markov Processes by Josee Desharnais, Vineet Gupta, Radha Jagadeesan and Prakash Panangaden, Information and Computation, 184(1), pp. 160200, July 2003
 Continuous
Stochastic Logic Characterizes Bisimulation for Continuoustime
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) 99115.
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. 163193, Dec, 2002.
2001
Measure and Probability for Concurrency Theorists, Prakash Panangaden, Theoretical Computer Science, 253, pp. 287309, 2001.
On the Expressive Power of Firstorder Boolean Functions in PCF, Riccardo Pucella and Prakash Panangaden, Theoretical Computer Science, 266, pp. 543567, 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. 95106.
Generating Irregular
Partitionable DataStructures, by Prakash Panangaden and Clark
Verbrugge, Theoretical Computer Science, 238, pp. 3180,
2000.
1999
The Category of Markov Kernels, Prakash Panangaden, ENTCS, Vol 22, 1999. 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: 13, 1999, pp. 347.
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.
