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 | 14 | 2011 |
A constructive formalization of the weak perfect graph theorem AK Singh, R Natarajan Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020 | 8 | 2020 |
Towards a Constructive Formalization of Perfect Graph Theorems AK Singh, R Natarajan Logic and Its Applications, 8th Indian Conference, ICLA 2019, Delhi, India …, 2019 | 6 | 2019 |
An Operational Approach to Library Abstraction under Relaxed Memory Concurrency AK Singh, O Lahav Proceedings of the ACM on Programming Languages 7 (POPL), 1542-1572, 2023 | 4* | 2023 |
Formally verified trades in financial markets S Sarswat, AK Singh Formal Methods and Software Engineering: 22nd International Conference on …, 2020 | 3 | 2020 |
Formalization of some central theorems in combinatorics of finite sets AK Singh International Conference on Logic for Programming, Artificial Intelligence …, 2017 | 3 | 2017 |
Verified double sided auctions for financial markets R Natarajan, S Sarswat, AK Singh arXiv preprint arXiv:2104.08437, 2021 | 2 | 2021 |
Separation Logic to Meliorate Software Testing and Validation AK Singh, R Natarajan Trends in Software Testing, 89-109, 2017 | 1* | 2017 |
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 |
Wavelet Based Embedded Coding for Images (A novel extension of SPIHT and SPECK) AK Singh Indian Institute of Technology, Kharagpur, 2009 | | 2009 |