default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAmit Kumar Dhar
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i4]Sajal K. Das, Amit Kumar Dhar, Barun Gorain, Madhuri Mahawar:
Collision-free Exploration by Mobile Agents Using Pebbles. CoRR abs/2410.17542 (2024)- 2023
- [j8]Abhay Deep Seth
, Santosh Biswas, Amit Kumar Dhar:
DADCNF: Diagnoser design for Duplicate Address Detection threat using Conjunctive Normal Form. Comput. Networks 222: 109539 (2023) - [j7]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): 483-506 (2023) - [j6]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): 961-985 (2023) - [c14]Amit Kumar Dhar, Barun Gorain, Madhuri Mahawar:
Sweep Coverage with Faults. RAIT 2023: 1-6 - 2021
- [c13]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: 218-230 - [c12]Arzad Alam Kherani, Nomaan A. Kherani, Rishi Ranjan Singh, Amit Kumar Dhar, D. Manjunath:
On Modeling of Interaction-Based Spread of Communicable Diseases. ICCSA (1) 2021: 576-591 - [c11]Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar:
Mitigation Technique against Network Isolation Attack on RPL in 6LoWPAN Network. TENCON 2021: 68-73 - 2020
- [j5]Amit Kumar Dhar, Raghunath Reddy Madireddy, Supantha Pandit, Jagpreet Singh:
Maximum independent and disjoint coverage. J. Comb. Optim. 39(4): 1017-1037 (2020) - [j4]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): 603-625 (2020) - [c10]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: 1-6 - [c9]Amit Kumar Dhar, Shivam Sharma, Rishi Ranjan Singh:
Network Based Comparison of Indian Railways and Airways. CSoNet 2020: 100-112
2010 – 2019
- 2019
- [c8]Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar:
De-Authentication Attack Detection using Discrete Event Systems in 802.11 Wi-Fi Networks. ANTS 2019: 1-6 - [c7]Amit Kumar Dhar, Barun Gorain, Kaushik Mondal, Shaswati Patra, Rishi Ranjan Singh:
Edge Exploration of a Graph by Mobile Agent. COCOA 2019: 142-154 - [c6]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: 316-321 - [c5]Amit Kumar Dhar, Raghunath Reddy Madireddy, Supantha Pandit, Jagpreet Singh:
Maximum Independent and Disjoint Coverage. TAMC 2019: 134-153 - 2018
- [j3]Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Equivalence between model-checking flat counter systems and Presburger arithmetic. Theor. Comput. Sci. 735: 2-23 (2018) - 2017
- [j2]Monika Rani, Amit Kumar Dhar, O. P. Vyas:
Semi-automatic terminology ontology learning based on topic modeling. Eng. Appl. Artif. Intell. 63: 108-125 (2017) - [i3]Monika Rani, Amit Kumar Dhar, O. P. Vyas:
Semi-Automatic Terminology Ontology Learning Based on Topic Modeling. CoRR abs/1709.01991 (2017) - 2016
- [c4]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: 1-12 - 2015
- [j1]Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Taming past LTL and flat counter systems. Inf. Comput. 242: 306-339 (2015) - 2014
- [c3]Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic. RP 2014: 85-97 - 2013
- [c2]Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
On the Complexity of Verifying Regular Properties on Flat Counter Systems, . ICALP (2) 2013: 162-173 - [i2]Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
On the Complexity of Verifying Regular Properties on Flat Counter Systems. CoRR abs/1304.6301 (2013) - 2012
- [c1]Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Taming Past LTL and Flat Counter Systems. IJCAR 2012: 179-193 - [i1]Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Taming Past LTL and Flat Counter Systems. CoRR abs/1205.6584 (2012)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-22 19:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
