Ajith K. John

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 4

Top Topics

Parallel Implementation

Quantifier Elimination

Identification Rate

First Order Logic

Top Venues

Formal Methods Syst. Des.

Publications

Sreekanth T. M, Ajith K. John, Rohitashva Sharma, Prathamesh Berde, C. S. R. C. Murthy
Expertise Identification Using Transformers. COMAD/CODS (2024)
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
Towards Parallel Boolean Functional Synthesis. TACAS (1) (2017)
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
Towards Parallel Boolean Functional Synthesis. CoRR (2017)
Ajith K. John, Supratik Chakraborty
A layered algorithm for quantifier elimination from linear modular constraints. Formal Methods Syst. Des. 49 (3) (2016)
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
Skolem Functions for Factored Formulas. FMCAD (2015)
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
Skolem Functions for Factored Formulas. CoRR (2015)
Ajith K. John, Supratik Chakraborty
Quantifier Elimination for Linear Modular Constraints. ICMS (2014)
Ajith K. John, Supratik Chakraborty
Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors. TACAS (2013)
Ajith K. John, Supratik Chakraborty
A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations. CAV (2011)
Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. SAFECOMP (2007)