Prakash Panangaden
McGill University(CA)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Quantum Mechanics and Applications, Quantum Computing Algorithms and Architecture
Most-Cited Works
- Implementing Mathematics with The Nuprl Proof Development System(1986)
- → The semantic foundations of concurrent constraint programming(1991)381 cited
- → Metrics for labelled Markov processes(2003)307 cited
- → Labelled Markov Processes(2009)216 cited
- → Anonymity protocols as noisy channels(2007)198 cited
- → The measurement calculus(2007)184 cited
- → Scaling behavior of interacting quantum fields in curved spacetime(1982)178 cited