Follow
Amit Kumar Dhar
Amit Kumar Dhar
Assistant Professor
Verified email at iitbhilai.ac.in
Title
Cited by
Cited by
Year
Semi-automatic terminology ontology learning based on topic modeling
M Rani, AK Dhar, OP Vyas
Engineering Applications of Artificial Intelligence 63, 108-125, 2017
862017
Selection of a monoclonal antibody to detect PVYN and its use in ELISA and DIBA assays
RP Singh, A Boucher, TH Somerville, AK Dhar
Canadian journal of plant pathology 15 (4), 293-300, 1993
521993
Taming past LTL and flat counter systems
S Demri, AK Dhar, A Sangnier
Information and Computation 242, 306-339, 2015
262015
Exciton-phonon coupling and band-gap renormalization in monolayer WSe2
H Mishra, A Bose, A Dhar, S Bhattacharya
Physical Review B 98 (4), 045143, 2018
252018
Detection and management of plant viroids
RP Singh, AK Dhar
Plant virus disease control, 428-447, 1998
221998
Improvement in the sensitivity of PVYN detection by increasing the cDNA probe size
AK Dhar, RP Singh
Journal of virological Methods 50 (1-3), 197-210, 1994
211994
Evil twin attack detection using discrete event systems in IEEE 802.11 wi-fi networks
NS Selvarathinam, AK Dhar, S Biswas
2019 27th Mediterranean Conference on Control and Automation (MED), 316-321, 2019
142019
On the complexity of verifying regular properties on flat counter systems
S Demri, AK Dhar, A Sangnier
International Colloquium on Automata, Languages, and Programming, 162-173, 2013
142013
Detection and verification of decreased rank attack using round-trip times in RPL-based 6LoWPAN networks
AD Seth, S Biswas, AK Dhar
2020 IEEE International Conference on Advanced Networks and …, 2020
122020
Molecular cloning and sequencing of the capsid and the nuclear inclusion protein genes of a North American PVYN isolate
AK Dhar, RP Singh, A Boucher
Canadian journal of microbiology 40 (9), 798-804, 1994
101994
Equivalence between model-checking flat counter systems and Presburger arithmetic
S Demri, AK Dhar, A Sangnier
International Workshop on Reachability Problems, 85-97, 2014
82014
Algorithms for model-checking flat counter systems
AK Dhar
Paris 7, 2014
72014
Efficient energy distribution in a smart grid using multi-player games
T Brihaye, AK Dhar, G Geeraerts, A Haddad, B Monmege
arXiv preprint arXiv:1608.00652, 2016
62016
Molecular characterization of coat protein genes of serologically distinct isolates of potato virus Y necrotic strain
AK Dhar, RP Singh
Canadian journal of microbiology 43 (7), 677-683, 1997
61997
Maximum independent and disjoint coverage
AK Dhar, RR Madireddy, S Pandit, J Singh
Journal of Combinatorial Optimization 39 (4), 1017-1037, 2020
52020
Graph coloring: a novel heuristic based on trailing path—properties, perspective and applications in structured networks
A Bandyopadhyay, AK Dhar, S Basu
Soft Computing 24 (1), 603-625, 2020
52020
De-authentication attack detection using discrete event systems in 802.11 wi-fi networks
AD Seth, S Biswas, AK Dhar
2019 IEEE international conference on advanced networks and …, 2019
52019
Equivalence between model-checking flat counter systems and Presburger arithmetic
S Demri, AK Dhar, A Sangnier
Theoretical Computer Science 735, 2-23, 2018
52018
Geminiviruses In
AK Dhar, RP Singh
Sing, RP, US Sing and K. Kahmoto. Pathogenesis and host specificity in plant …, 1996
51996
LDES: Detector design for version number attack detection using linear temporal logic based on discrete event system
AD Seth, S Biswas, AK Dhar
International Journal of Information Security 22 (4), 961-985, 2023
42023
The system can't perform the operation now. Try again later.
Articles 1–20