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
132020
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
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
62023
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
62019
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
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
The system can't perform the operation now. Try again later.
Articles 1–20