Prakash Panangaden

103 papers and 1.8k indexed citations i.

Prakash Panangaden has authored 103 papers that have received a total of 1.8k indexed citations. This includes 69 papers in Artificial Intelligence, 58 papers in Computational Theory and Mathematics and 14 papers in Atomic and Molecular Physics, and Optics. The topics of these papers are Formal Methods in Verification (42 papers), Logic, Reasoning, and Knowledge (28 papers) and Logic, programming, and type systems (27 papers). Prakash Panangaden is often cited by papers focused on Formal Methods in Verification (42 papers), Logic, Reasoning, and Knowledge (28 papers) and Logic, programming, and type systems (27 papers) and collaborates with scholars based in Canada, United States and United Kingdom. Prakash Panangaden's co-authors include Josée Desharnais, Radha Jagadeesan, Doina Precup, Vincent Danos and Richard Blute and has published in prestigious journals such as Physical Review A, Journal of High Energy Physics and Communications in Mathematical Physics.