Ajith K. John

According to our database, Ajith K. John authored at least 9 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Expertise Identification Using Transformers.

Sreekanth T. M, Ajith K. John, Rohitashva Sharma, Prathamesh Berde, C. S. R. C. Murthy

Proceedings of the 7th Joint International Conference on Data Science & Management of Data (11th ACM IKDD CODS and 29th COMAD), 2024

2023

Assertion Based Verification using Yosys: A Case Study from Nuclear Domain.

Shubam Gupta, Ajith K. John, Mohit Kalra

Proceedings of the 16th Innovations in Software Engineering Conference, 2023

2017

Towards Parallel Boolean Functional Synthesis.

S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

A layered algorithm for quantifier elimination from linear modular constraints.

Ajith K. John, Supratik Chakraborty

Formal Methods Syst. Des., 2016

2015

Skolem Functions for Factored Formulas.

Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014

Quantifier Elimination for Linear Modular Constraints.

Ajith K. John, Supratik Chakraborty

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors.

Ajith K. John, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2011

A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations.

Ajith K. John, Supratik Chakraborty

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2007

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.

Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh

Proceedings of the Computer Safety, 2007