Kiran Adhikari

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 3

Top Topics

Iterative Algorithms

Lognormal Distribution

High Computational Complexity

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Kiran Adhikari, Sayantan Choudhury, Sourabh Kumar, Saptarshi Mandal, Nilesh Pandey, Abhishek Roy, Soumya Sarkar, Partha Sarker, Saadat Salman Shariff
Circuit Complexity in Z2 EEFT. Symmetry 15 (1) (2023)
Kiran Adhikari, Sayantan Choudhury, Hardey N. Pandya, Rohan Srivastava
Primordial Gravitational Wave Circuit Complexity. Symmetry 15 (3) (2023)
Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang
Verifying a quantitative relaxation of linearizability via refinement. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang
Verifying a Quantitative Relaxation of Linearizability via Refinement. SPIN (2013)