☰

Prakash Panangaden, PhD - Publications

Affiliations: 
1980 Physics University of Wisconsin-Milwaukee, Milwaukee, WI 
 1996- Computer Science McGill University, Montreal, QC, Canada 
Tree Info Similar researchers PubMed Report error

38 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Balle B, Panangaden P, Precup D. Singular value automata and approximate minimization Mathematical Structures in Computer Science. 29: 1444-1478. DOI: 10.1017/S0960129519000094  0.307
2019 Clerc F, Fijalkow N, Klin B, Panangaden P. Expressiveness of probabilistic modal logics: A gradual approach Information & Computation. 267: 145-163. DOI: 10.1016/J.Ic.2019.04.002  0.397
2019 Chen L, Clerc F, Panangaden P. Bisimulation for Feller-Dynkin Processes Electronic Notes in Theoretical Computer Science. 347: 45-63. DOI: 10.1016/J.Entcs.2019.09.004  0.37
2018 Gagné N, Panangaden P. A Categorical Characterization of Relative Entropy on Standard Borel Spaces Electronic Notes in Theoretical Computer Science. 336: 135-153. DOI: 10.1016/J.Entcs.2018.03.020  0.352
2014 Chaput P, Danos V, Panangaden P, Plotkin G. Approximating markov processes by averaging Journal of the Acm. 61. DOI: 10.1145/2537948  0.489
2014 Kozen D, Mardare R, Panangaden P. A metrized duality theorem for markov processes Electronic Notes in Theoretical Computer Science. 308: 211-227. DOI: 10.1016/J.Entcs.2014.10.012  0.474
2012 Blute R, Panangaden P, Slavnov S. Deep inference and probabilistic coherence spaces Applied Categorical Structures. 20: 209-228. DOI: 10.1007/S10485-010-9241-0  0.385
2011 Ferns N, Panangaden P, Precup D. Bisimulation metrics for continuous Markov decision processes Siam Journal On Computing. 40: 1662-1714. DOI: 10.1137/10080484X  0.397
2011 Blute R, Panangaden P. Proof nets as formal feynman diagrams Lecture Notes in Physics. 813: 437-466. DOI: 10.1007/978-3-642-12821-9_7  0.355
2010 Desharnais J, Gupta V, Jagadeesan R, Panangaden P. Weak bisimulation is sound and complete for pCTL* Information and Computation. 208: 203-219. DOI: 10.1016/J.Ic.2009.11.002  0.634
2009 Chaput P, Danos V, Panangaden P, Plotkin G. Approximating labelled markov processes again! Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5728: 145-156. DOI: 10.1007/978-3-642-03741-2_11  0.3
2008 Martin K, Panangaden P. A Technique for Verifying Measurements Electronic Notes in Theoretical Computer Science. 218: 261-273. DOI: 10.1016/J.Entcs.2008.10.016  0.302
2007 Danos V, Kashefi E, Panangaden P. The measurement calculus Journal of the Acm. 54. DOI: 10.1145/1219092.1219096  0.342
2007 Blute R, Panangaden P, Pronk D. Conformal Field Theory as a Nuclear Functor Electronic Notes in Theoretical Computer Science. 172: 101-132. DOI: 10.1016/J.Entcs.2007.02.005  0.348
2007 Danos V, D'Hondt E, Kashefi E, Panangaden P. Distributed Measurement-based Quantum Computation Electronic Notes in Theoretical Computer Science. 170: 73-94. DOI: 10.1016/J.Entcs.2006.12.012  0.331
2006 D'Hondt E, Panangaden P. Quantum weakest preconditions Mathematical Structures in Computer Science. 16: 429-451. DOI: 10.1017/S0960129506005251  0.321
2006 Danos V, Desharnais J, Laviolette F, Panangaden P. Bisimulation and cocongruence for probabilistic systems Information and Computation. 204: 503-523. DOI: 10.1016/J.Ic.2005.02.004  0.639
2006 Martin K, Panangaden P. A domain of spacetime intervals in general relativity Communications in Mathematical Physics. 267: 563-586. DOI: 10.1007/S00220-006-0066-5  0.311
2005 Danos V, Kashefi E, Panangaden P. Parsimonious and robust realizations of unitary maps in the one-way model Physical Review a - Atomic, Molecular, and Optical Physics. 72. DOI: 10.1103/Physreva.72.064301  0.316
2004 Gupta V, Jagadeesan R, Panangaden P. Approximate reasoning for real-time probabilistic processes Proceedings - First International Conference On the Quantitative Evaluation of Systems, Qest 2004. 304-313. DOI: 10.2168/Lmcs-2(1:4)2006  0.442
2004 Desharnais J, Gupta V, Jagadeesan R, Panangaden P. Metrics for labelled Markov processes Theoretical Computer Science. 318: 323-354. DOI: 10.1016/J.Tcs.2003.09.013  0.643
2004 Danos V, Desharnais J, Panangaden P. Labelled Markov Processes: Stronger and faster approximations Electronic Notes in Theoretical Computer Science. 87: 157-203. DOI: 10.1016/J.Entcs.2004.09.018  0.622
2004 Desharnais J, Panangaden P. Electronic Notes in Theoretical Computer Science: Preface Electronic Notes in Theoretical Computer Science. 87: 1-3. DOI: 10.1016/j.entcs.2004.09.016  0.481
2003 Blute RF, Ivanov IT, Panangaden P. Discrete quantum causal dynamics International Journal of Theoretical Physics. 42: 2025-2041. DOI: 10.1023/A:1027335119549  0.329
2003 Desharnais J, Panangaden P. Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes Journal of Logic and Algebraic Programming. 56: 99-115. DOI: 10.1016/S1567-8326(02)00068-1  0.633
2003 Danos V, Desharnais J, Panangaden P. Conditional expectation and the approximation of labelled Markov processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2761: 477-491.  0.59
2002 Desharnais J, Edalat A, Panangaden P. Bisimulation for labelled Markov processes Information and Computation. 179: 163-193. DOI: 10.7146/Brics.V4I4.18783  0.674
2002 Desharnais J, Jagadeesan R, Gupta V, Panangaden P. The metric analogue of weak bisimulation for probabilistic processes Proceedings - Symposium On Logic in Computer Science. 413-422.  0.59
2000 Desharnais J, Jagadeesan R, Gupta V, Panangaden P. Approximating labeled Markov processes Proceedings - Symposium On Logic in Computer Science. 95-106. DOI: 10.1016/S0890-5401(03)00051-8  0.658
2000 Panangaden P. Measure and probability for concurrency theorists Theoretical Computer Science. 253: 287-309. DOI: 10.1016/S0304-3975(00)00096-7  0.35
1999 Panangaden P. The category of Markov kernels Electronic Notes in Theoretical Computer Science. 22: 171-187. DOI: 10.1016/S1571-0661(05)80602-4  0.362
1999 Abramsky S, Blute R, Panangaden P. Nuclear and trace ideals in tensored *-categories Journal of Pure and Applied Algebra. 143: 3-47. DOI: 10.1016/S0022-4049(98)00106-6  0.342
1999 Desharnais J, Gupta V, Jagadeesan R, Panangaden P. Metrics for Labeled Markov systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1664: 258-273.  0.563
1998 Hildebrandt T, Panangaden P, Winskel G. A relational model of non-deterministic dataflow Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1466: 613-628. DOI: 10.1017/S0960129504004293  0.323
1997 Hildebrandt TT, Panangaden P, Winskel G. Relational Semantics of Non-Deterministic Dataflow Brics Report Series. 4. DOI: 10.7146/Brics.V4I36.18962  0.332
1992 Panangaden P, Taylor K. Concurrent common knowledge: defining agreement for asynchronous systems Distributed Computing. 6: 73-93. DOI: 10.1007/Bf02252679  0.329
1981 Panangaden P. One-loop renormalization of quantum electrodynamics in curved spacetime Physical Review D. 23: 1735-1746. DOI: 10.1103/Physrevd.23.1735  0.366
1980 Bunch TS, Panangaden P, Parker L. On renormalisation of λϕ4 field theory in curved space–time: I Journal of Physics a: Mathematical and General. 13: 901-918. DOI: 10.1088/0305-4470/13/3/022  0.451
Show low-probability matches.