Ajith John

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (4)

• Expertise Identification Using Transformers
  2024 DOI: 10.1145/3632410.3632454
  +Save
• Assertion Based Verification using Yosys: A Case Study from Nuclear Domain
  2023 DOI: 10.1145/3578527.3578540
  +Save
• Qualification of Hardware Description Language Designs for Safety Critical Applications in Nuclear Power Plants
  IEEE Transactions on Nuclear Science 2020 DOI: 10.1109/TNS.2020.2972903
  +Save
• A layered algorithm for quantifier elimination from linear modular constraints
  Formal Methods in System Design 2016 DOI: 10.1007/s10703-016-0260-9
  +Save