Computer Science

Computer Science:

CS1. Radhakrishnan Balu, Dale Shires, and Raju Namburu, “A quantum algorithm for uniform sampling of models of propositional logic based on quantum probability,” J. Defense Modeling and Simulation (2016).

CS2. Radhakrishnan Balu, “Quantum probabilistic logic programming,” Proc. SPIE-DSS, quantum information and computation, Baltimore MD (2015).

CS3. Radhakrishnan Balu, “Formal verification of communication protocols using quantized Horn clauses,” Proc. SPIE-DSS, quantum information and computation, Baltimore MD (2016).