Semi-automatic terminology ontology learning based on topic modeling M Rani, AK Dhar, OP Vyas Engineering Applications of Artificial Intelligence 63, 108-125, 2017 | 88 | 2017 |
Taming past LTL and flat counter systems S Demri, AK Dhar, A Sangnier Information and Computation 242, 306-339, 2015 | 26 | 2015 |
Exciton-phonon coupling and band-gap renormalization in monolayer H Mishra, A Bose, A Dhar, S Bhattacharya Physical Review B 98 (4), 045143, 2018 | 25 | 2018 |
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 | 14 | 2019 |
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 | 14 | 2013 |
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 | 13 | 2020 |
Equivalence between model-checking flat counter systems and Presburger arithmetic S Demri, AK Dhar, A Sangnier International Workshop on Reachability Problems, 85-97, 2014 | 8 | 2014 |
Algorithms for model-checking flat counter systems AK Dhar Paris 7, 2014 | 7 | 2014 |
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 | 6 | 2023 |
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 | 6 | 2019 |
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 | 6 | 2016 |
Maximum independent and disjoint coverage AK Dhar, RR Madireddy, S Pandit, J Singh Journal of Combinatorial Optimization 39 (4), 1017-1037, 2020 | 5 | 2020 |
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 | 5 | 2020 |
Equivalence between model-checking flat counter systems and Presburger arithmetic S Demri, AK Dhar, A Sangnier Theoretical Computer Science 735, 2-23, 2018 | 5 | 2018 |
Mitigation Technique against Network Isolation Attack on RPL in 6LoWPAN Network AD Seth, S Biswas, AK Dhar TENCON 2021-2021 IEEE Region 10 Conference (TENCON), 68-73, 2021 | 4 | 2021 |
DADCNF: Diagnoser design for duplicate address detection threat using conjunctive Normal form AD Seth, S Biswas, AK Dhar Computer Networks 222, 109539, 2023 | 3 | 2023 |
On modeling of interaction-based spread of communicable diseases AA Kherani, NA Kherani, RR Singh, AK Dhar, D Manjunath Computational Science and Its Applications–ICCSA 2021: 21st International …, 2021 | 3 | 2021 |
Diagnoser design strategy for discrete event system: Case study of neutralization system AD Seth, S Biswas, AK Dhar Advanced Control for Applications: Engineering and Industrial Systems 4 (4 …, 2022 | 2 | 2022 |
Edge exploration of a graph by mobile agent AK Dhar, B Gorain, K Mondal, S Patra, RR Singh International Conference on Combinatorial Optimization and Applications, 142-154, 2019 | 2 | 2019 |
Sweep Coverage with Faults AK Dhar, B Gorain, M Mahawar 2023 5th International Conference on Recent Advances in Information …, 2023 | 1 | 2023 |