Abhishek Kr Singh
Abhishek Kr Singh
STCS, TIFR Mumbai
Verified email at tifr.res.in - Homepage
Title
Cited by
Cited by
Year
A high performance modified SPIHT for scalable image compression
B Mohanty, A Singh, S Mahapatra
International Journal of Image processing (IJIP) 5 (4), 390-402, 2011
132011
A constructive formalization of the weak perfect graph theorem
AK Singh, R Natarajan
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
32020
Formalization of some central theorems in combinatorics of finite sets
AK Singh
International Conference on Logic for Programming, Artificial Intelligence …, 2017
32017
Formally verified trades in financial markets
S Sarswat, AK Singh
International Conference on Formal Engineering Methods, 217-232, 2020
22020
Towards a Constructive Formalization of Perfect Graph Theorems
AK Singh, R Natarajan
Logic and Its Applications, 8th Indian Conference, ICLA 2019, Delhi, India …, 2019
22019
Separation Logic to Meliorate Software Testing and Validation
AK Singh, R Natarajan
Trends in Software Testing, 89-109, 2017
1*2017
Verified Double Sided Auctions for Financial Markets
R Natarajan, S Sarswat, AK Singh
arXiv preprint arXiv:2104.08437, 2021
2021
Formal verification of trading in financial markets
S Sarswat, AK Singh
arXiv preprint arXiv:1907.07885, 2019
2019
Towards formalizing finite set Combinatorics in Type theory
R Natarajan, AK Singh
Handbook of the 6th World Congress and School on Universal Logic, 537, 2018
2018
Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem
AK Singh
arXiv preprint arXiv:1703.06133, 2017
2017
Interactive Theorem Proving in Coq and the Curry-Howard Isomorphism
AK Singh
2015
Fixed context resolution scalable SPIHT: a novel extension
A. Singh, B. Mohanty, P. Verma and S. Mahapatra
Proc. of International conference on Communication, Computation, Control and …, 2010
2010
Wavelet Based Embedded Coding for Images (A novel extension of SPIHT and SPECK)
AK Singh
Indian Institute of Technology, Kharagpur, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–13