Verifying a quantitative relaxation of linearizability via refinement. - Kiran Adhikari; James Street; Chao Wang 001; Yang Liu 003; Shao Jie Zhang (Int. J. Softw. Tools Technol. Transf., 2016)

Circuit Complexity in Z2 EEFT. - Kiran Adhikari; Sayantan Choudhury; Sourabh Kumar; Saptarshi Mandal; Nilesh Pandey; Abhishek Roy; Soumya Sarkar; Partha Sarker; Saadat Salman Shariff (Symmetry, 2023)

Primordial Gravitational Wave Circuit Complexity. - Kiran Adhikari; Sayantan Choudhury; Hardey N. Pandya; Rohan Srivastava (Symmetry, 2023)

Quantum Optimization of Coherent Chaotic Systems: A Case for Buses of Kathmandu. - Kiran Adhikari; Christian Deppe; Aman Ganeju; Iva Kumari Lamichhane; Rohit Bhattarai; Manghang Limbu; Nishma Bhattarai (Information Theory and Related Fields, 2025)