Amit Kumar Dhar

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