Amit Kumar Dhar

According to our database, Amit Kumar Dhar authored at least 20 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Collision-free Exploration by Mobile Agents Using Pebbles.

Sajal K. Das, Amit Kumar Dhar, Barun Gorain, Madhuri Mahawar

CoRR, 2024

2023

Edge exploration of anonymous graph by mobile agent with external help.

Amit Kumar Dhar, Barun Gorain, Kaushik Mondal, Shaswati Patra, Rishi Ranjan Singh

Computing, February, 2023

DADCNF: Diagnoser design for Duplicate Address Detection threat using Conjunctive Normal Form.

Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar

Comput. Networks, February, 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

Sweep Coverage with Faults.

Amit Kumar Dhar, Barun Gorain, Madhuri Mahawar

Proceedings of the 5th International Conference on Recent Advances in Information Technology, 2023

2021

Mitigation Technique against Network Isolation Attack on RPL in 6LoWPAN Network.

Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar

Proceedings of the IEEE Region 10 Conference, 2021

On Modeling of Interaction-Based Spread of Communicable Diseases.

Arzad Alam Kherani, Nomaan A. Kherani, Rishi Ranjan Singh, Amit Kumar Dhar, D. Manjunath

Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

Network Based Framework to Compare Vaccination Strategies.

Rishi Ranjan Singh, Amit Kumar Dhar, Arzad Alam Kherani, Naveen Varghese Jacob, Ashitabh Misra, Devansh Bajpai

Proceedings of the Computational Data and Social Networks - 10th International Conference, 2021

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

Maximum independent and disjoint coverage.

Amit Kumar Dhar, Raghunath Reddy Madireddy, Supantha Pandit, Jagpreet Singh

J. Comb. Optim., 2020

Network Based Comparison of Indian Railways and Airways.

Amit Kumar Dhar, Shivam Sharma, Rishi Ranjan Singh

Proceedings of the Computational Data and Social Networks - 9th International Conference, 2020

Detection and Verification of Decreased Rank Attack using Round-Trip Times in RPL-Based 6LoWPAN Networks.

Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar

Proceedings of the 14th IEEE International Conference on Advanced Networks and Telecommunications Systems, 2020

2019

Evil Twin Attack Detection using Discrete Event Systems in IEEE 802.11 Wi-Fi Networks.

Nirmal S. Selvarathinam, Amit Kumar Dhar, Santosh Biswas

Proceedings of the 27th Mediterranean Conference on Control and Automation, 2019

Edge Exploration of a Graph by Mobile Agent.

Amit Kumar Dhar, Barun Gorain, Kaushik Mondal, Shaswati Patra, Rishi Ranjan Singh

Proceedings of the Combinatorial Optimization and Applications, 2019

De-Authentication Attack Detection using Discrete Event Systems in 802.11 Wi-Fi Networks.

Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar

Proceedings of the 2019 IEEE International Conference on Advanced Networks and Telecommunications Systems, 2019

2018

Equivalence between model-checking flat counter systems and Presburger arithmetic.

Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier

Theor. Comput. Sci., 2018

2017

Semi-automatic terminology ontology learning based on topic modeling.

Monika Rani, Amit Kumar Dhar, O. P. Vyas

Eng. Appl. Artif. Intell., 2017

2016

Efficient Energy Distribution in a Smart Grid using Multi-Player Games.

Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege

Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016

2015

Taming past LTL and flat counter systems.

Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier

Inf. Comput., 2015

2013

On the Complexity of Verifying Regular Properties on Flat Counter Systems, .

Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013