Ajith K. John
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | COMAD | Expertise Identification Using Transformers. | Sreekanth T. M, Ajith K. John, Rohitashva Sharma, Prathamesh Berde, C. S. R. C. Murthy |
| 2017 | TACAS | Towards Parallel Boolean Functional Synthesis. | S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah |
| 2015 | FMCAD | Skolem Functions for Factored Formulas. | Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay |
| 2013 | TACAS | Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors. | Ajith K. John, Supratik Chakraborty |
| 2011 | CAV | A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations. | Ajith K. John, Supratik Chakraborty |
| 2007 | SAFECOMP | Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. | Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh |