Formalization of Quantum Protocols using Coq

by Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
Published 2015-11-01

Formal Analysis of Quantum Systems using Process Calculus

by Timothy A.S. Davidson, Simon J. Gay, Rajagopal Nagarajan
Published 2011-07-01

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus

by Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor
Published 2012-10-01

Analytic Hierarchy Process Based Land Suitability for Organic Farming in the Arid Region

by Pandian Mangan, Dinagarapandi Pandi, Mohd Anul Haq, Aniruddha Sinha, Rajagopal Nagarajan, Twinkle Dasani, Ismail Keshta, Mohammed Alshehri
Published 2022-04-01