Amit Kumar Dhar

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 19

Top Topics

Ontology Learning

Attack Detection

Top Venues

J. Comb. Optim.

Publications

Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar
DADCNF: Diagnoser design for Duplicate Address Detection threat using Conjunctive Normal Form. Comput. Networks 222 (2023)
Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar
LDES: detector design for version number attack detection using linear temporal logic based on discrete event system. Int. J. Inf. Sec. 22 (4) (2023)
Amit Kumar Dhar, Barun Gorain, Kaushik Mondal, Shaswati Patra, Rishi Ranjan Singh
Edge exploration of anonymous graph by mobile agent with external help. Computing 105 (2) (2023)
Amit Kumar Dhar, Barun Gorain, Madhuri Mahawar
Sweep Coverage with Faults. RAIT (2023)
Arzad A. Kherani, Nomaan A. Kherani, Rishi Ranjan Singh, Amit Kumar Dhar, D. Manjunath
On Modeling of Interaction-Based Spread of Communicable Diseases. ICCSA (1) (2021)
Rishi Ranjan Singh, Amit Kumar Dhar, Arzad Alam Kherani, Naveen Varghese Jacob, Ashitabh Misra, Devansh Bajpai
Network Based Framework to Compare Vaccination Strategies. CSoNet (2021)
Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar
Mitigation Technique against Network Isolation Attack on RPL in 6LoWPAN Network. TENCON (2021)
Abhirup Bandyopadhyay, Amit Kumar Dhar, Sankar Basu
Graph coloring: a novel heuristic based on trailing path - properties, perspective and applications in structured networks. Soft Comput. 24 (1) (2020)
Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar
Detection and Verification of Decreased Rank Attack using Round-Trip Times in RPL-Based 6LoWPAN Networks. IEEE ANTS (2020)
Amit Kumar Dhar, Shivam Sharma, Rishi Ranjan Singh
Network Based Comparison of Indian Railways and Airways. CSoNet (2020)
Amit Kumar Dhar, Raghunath Reddy Madireddy, Supantha Pandit, Jagpreet Singh
Maximum independent and disjoint coverage. J. Comb. Optim. 39 (4) (2020)
Amit Kumar Dhar, Raghunath Reddy Madireddy, Supantha Pandit, Jagpreet Singh
Maximum Independent and Disjoint Coverage. TAMC (2019)
Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar
De-Authentication Attack Detection using Discrete Event Systems in 802.11 Wi-Fi Networks. ANTS (2019)
Nirmal S. Selvarathinam, Amit Kumar Dhar, Santosh Biswas
Evil Twin Attack Detection using Discrete Event Systems in IEEE 802.11 Wi-Fi Networks. MED (2019)
Amit Kumar Dhar, Barun Gorain, Kaushik Mondal, Shaswati Patra, Rishi Ranjan Singh
Edge Exploration of a Graph by Mobile Agent. COCOA (2019)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Equivalence between model-checking flat counter systems and Presburger arithmetic. Theor. Comput. Sci. 735 (2018)
Monika Rani, Amit Kumar Dhar, O. P. Vyas
Semi-automatic terminology ontology learning based on topic modeling. Eng. Appl. Artif. Intell. 63 (2017)
Monika Rani, Amit Kumar Dhar, O. P. Vyas
Semi-Automatic Terminology Ontology Learning Based on Topic Modeling. CoRR (2017)
Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege
Efficient Energy Distribution in a Smart Grid using Multi-Player Games. Cassting/SynCoP (2016)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Taming past LTL and flat counter systems. Inf. Comput. 242 (2015)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic. RP (2014)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
On the Complexity of Verifying Regular Properties on Flat Counter Systems CoRR (2013)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
On the Complexity of Verifying Regular Properties on Flat Counter Systems, . ICALP (2) (2013)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Taming Past LTL and Flat Counter Systems. IJCAR (2012)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Taming Past LTL and Flat Counter Systems CoRR (2012)