On the Complexity of Verifying Regular Properties on Flat Counter Systems, . - Stéphane Demri; Amit Kumar Dhar; Arnaud Sangnier (ICALP (2), 2013)

Taming past LTL and flat counter systems. - Stéphane Demri; Amit Kumar Dhar; Arnaud Sangnier (Inf. Comput., 2015)

Efficient Energy Distribution in a Smart Grid using Multi-Player Games. - Thomas Brihaye; Amit Kumar Dhar; Gilles Geeraerts; Axel Haddad; Benjamin Monmege (Cassting/SynCoP, 2016)

Semi-automatic terminology ontology learning based on topic modeling. - Monika Rani; Amit Kumar Dhar; O. P. Vyas 001 (Eng. Appl. Artif. Intell., 2017)

Equivalence between model-checking flat counter systems and Presburger arithmetic. - Stéphane Demri; Amit Kumar Dhar; Arnaud Sangnier (Theor. Comput. Sci., 2018)

De-Authentication Attack Detection using Discrete Event Systems in 802.11 Wi-Fi Networks. - Abhay Deep Seth; Santosh Biswas; Amit Kumar Dhar (ANTS, 2019)

Edge Exploration of a Graph by Mobile Agent. - Amit Kumar Dhar; Barun Gorain; Kaushik Mondal 001; Shaswati Patra; Rishi Ranjan Singh (COCOA, 2019)

Evil Twin Attack Detection using Discrete Event Systems in IEEE 802.11 Wi-Fi Networks. - Nirmal S. Selvarathinam; Amit Kumar Dhar; Santosh Biswas (MED, 2019)

Detection and Verification of Decreased Rank Attack using Round-Trip Times in RPL-Based 6LoWPAN Networks. - Abhay Deep Seth; Santosh Biswas; Amit Kumar Dhar (IEEE ANTS, 2020)

Network Based Comparison of Indian Railways and Airways. - Amit Kumar Dhar; Shivam Sharma; Rishi Ranjan Singh (CSoNet, 2020)

Maximum independent and disjoint coverage. - Amit Kumar Dhar; Raghunath Reddy Madireddy; Supantha Pandit; Jagpreet Singh (J. Comb. Optim., 2020)

Graph coloring: a novel heuristic based on trailing path - properties, perspective and applications in structured networks. - Abhirup Bandyopadhyay; Amit Kumar Dhar; Sankar Basu (Soft Comput., 2020)

Network Based Framework to Compare Vaccination Strategies. - Rishi Ranjan Singh; Amit Kumar Dhar; Arzad Alam Kherani; Naveen Varghese Jacob; Ashitabh Misra; Devansh Bajpai (CSoNet, 2021)

On Modeling of Interaction-Based Spread of Communicable Diseases. - Arzad Alam Kherani; Nomaan A. Kherani; Rishi Ranjan Singh; Amit Kumar Dhar; D. Manjunath (ICCSA (1), 2021)

Mitigation Technique against Network Isolation Attack on RPL in 6LoWPAN Network. - Abhay Deep Seth; Santosh Biswas; Amit Kumar Dhar (TENCON, 2021)

Sweep Coverage with Faults. - Amit Kumar Dhar; Barun Gorain; Madhuri Mahawar (RAIT, 2023)

LDES: detector design for version number attack detection using linear temporal logic based on discrete event system. - Abhay Deep Seth; Santosh Biswas; Amit Kumar Dhar (Int. J. Inf. Sec., 2023)

DADCNF: Diagnoser design for Duplicate Address Detection threat using Conjunctive Normal Form. - Abhay Deep Seth; Santosh Biswas; Amit Kumar Dhar (Comput. Networks, 2023)

Edge exploration of anonymous graph by mobile agent with external help. - Amit Kumar Dhar; Barun Gorain; Kaushik Mondal 001; Shaswati Patra; Rishi Ranjan Singh (Computing, 2023)

Collision-free Exploration by Mobile Agents Using Pebbles. - Sajal K. Das 001; Amit Kumar Dhar; Barun Gorain; Madhuri Mahawar (ICDCN, 2025)

OpenIoT-Lab1: an Open Source cost-efficient sensor based Fog-IoT Testbed: An initial prototype. - Sahil Kumar; Jagpreet Singh; Amit Kumar Dhar; Vishal Krishna Singh (SenSys, 2025)