Concepedia

Arindam Das

AD

Statistics

Publications

3

Citations

43

H-Index

3

Active since

2005

Affiliations

Indian Institute of Technology Kharagpur(Current)

Arindam Das is an author at Indian Institute of Technology Kharagpur specializing in engineering, formal methods, and formal specification.

ORCID

Top concepts

Publications per year

2005–2016

3

Publications

3

High dielectric permittivity in semiconducting Pr0.6Ca0.4MnO3 filled polyvinylidene fluoride nanocomposites with low percolation threshold

K. Devi Chandrasekhar, A. Venimadhav, Arindam Das · Applied Physics Letters · 2009 · 18 citations

, , +15

Formal verification coverage: computing the coverage gap between temporal specifications

Arindam Das, Parthiba Basu, Ansuman Banerjee et al. · 2005 · 13 citations

, , +19

Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic

Shiladitya Ghosh, Arindam Das, Nirvik Basak et al. · IEEE Transactions on Intelligent Transportation Systems · 2016 · 12 citations

, , +23

1–3 of 3