Prakash Panangaden, PhD

1980 Physics University of Wisconsin-Milwaukee, Milwaukee, WI 
 1996- Computer Science McGill University, Montreal, QC, Canada 
"Prakash Panangaden"


Sign in to add mentor
Leonard Emanuel Parker grad student 1980 UW-Milwaukee
 (Quantum Field Theory in Curved Spacetime)


Sign in to add trainee
Charles Elkan grad student 1990 Cornell
Josee Desharnais grad student 2000 McGill
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Hasuo I, Panangaden P. (2016) Special Issue on Quantum Physics and Logic New Generation Computing. 34: 1-2
Bədescu C, Panangaden P. (2015) Quantum alternation: Prospects and problems Electronic Proceedings in Theoretical Computer Science, Eptcs. 195: 33-42
Balle B, Panangaden P, Precup D. (2015) A canonical form for weighted automata and applications to approximate minimization Proceedings - Symposium On Logic in Computer Science. 2015: 701-712
Mahmoud MY, Panangaden P, Tahar S. (2015) On the formal verification of optical quantum gates in HOL Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9128: 198-211
Farooqui A, Kamran N, Panangaden P. (2014) An exact expression for photon polarization in Kerr geometry Advances in Theoretical and Mathematical Physics. 18: 659-686
Chaput P, Danos V, Panangaden P, et al. (2014) Approximating markov processes by averaging Journal of the Acm. 61
Cave A, Ferreira F, Panangaden P, et al. (2014) Fair reactive programming Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 361-372
Bonchi F, Bonsangue MM, Hansen HH, et al. (2014) Algebra-Coalgebra duality in brzozowski's minimization algorithm Acm Transactions On Computational Logic. 15
Panangaden P. (2014) Causality in physics and computation Theoretical Computer Science. 546: 10-16
Kozen D, Mardare R, Panangaden P. (2014) A metrized duality theorem for markov processes Electronic Notes in Theoretical Computer Science. 308: 211-227
See more...