Ministry of Education
Amit Kumar Dhar
VIDWAN ID: 97782

Dr Amit Kumar Dhar

Male Doctor of Philosophy
Assistant Professor | Department of Computer Science and Engineering
Indian Institute of Technology Bhilai
Chhattisgarh
Expertise: Computer Science Software Engineering
Scopus 55305520100 Google Scholar AWtUkCgAAAAJ
View older version My Dashboard
28 Publications
0 Projects
233 Scopus Citations
194 CrossRef
10 Years 9 Months Total Experience
Publications
28 Total
Articles
17
Proceedings
11
Activity

No publication activity to display.

Scopus Scopus
233 Citations
8 h-index
CrossRef CrossRef
194 Citations
6 h-index
Google Scholar Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Personal Details

Doctor of Philosophy
2014
N/A
Assistant Professor
Jun 2018 – Present
Indian Institute of Technology Bhilai | Department of Computer Science and Engineering
Assistant Professor
Dec 2015 – Jun 2018
Indian Institute of Information Technology, Allahabad | Department of Information Technology
Engineering and Technology
Computer Science Software Engineering

Related Profiles

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Taming Past LTL and Flat Counter Systems

Journal Article
Year: 2013. Pages: 179-193 .
Authors: Demri, Stéphane; Dhar, Amit Kumar; sangnier, Arnaud
DOI 10.1007/978-3-642-31365-3_16 Crossref Crossref: 7 Scopus Scopus: 9

On the complexity of verifying regular properties on flat counter systems

Conference Paper
Year: 2013. Volume: 7966 LNCS , Issue: PART 2 , Pages: 162-173 .
Authors: Stéphane Demri; Amit Kumar Dhar; Arnaud Sangnier
DOI 10.1007/978-3-642-39212-2_17 Crossref Crossref: 6 Scopus Scopus: 9

Equivalence between model-checking flat counter systems and presburger arithmeti

Journal Article
Year: 2014. Volume: 8762 , Pages: 85-97 .
Authors: Stéphane Demri; Amit Kumar Dhar; Arnaud Sangnier
DOI 10.1007/978-3-319-11439-2_7 Crossref Crossref: 2 Scopus Scopus: 6

Collision-free exploration by mobile agents using pebbles

Journal Article
Information and Computation. Year: 2025. Volume: 307 .
Authors: Sajal K. Das; Amit Kumar Dhar; Barun Gorain; Madhuri Mahawar
DOI 10.1016/j.ic.2025.105380

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

Journal Article
Computer Networks. Year: 2023. Volume: 222 , Pages: 109539 .
Authors: Seth, Abhay Deep; Biswas, Santosh; Dhar, Amit Kumar
DOI 10.1016/J.COMNET.2022.109539 Crossref Crossref: 6 Scopus Scopus: 6

Edge exploration of anonymous graph by mobile agent with external help

Journal Article
Computing. Year: 2023. Volume: 105 , Issue: 2 , Pages: 483-506 .
Authors: Dhar, Amit Kumar; Gorain, Barun; Mondal, Kaushik; Patra, Shaswati; Singh, Rishi Ranjan
DOI 10.1007/S00607-022-01136-8 Crossref Crossref: 3 Scopus Scopus: 3

Efficient energy distribution in a smart grid using multi-player games

Open Access
Conference Paper
Electronic Proceedings in Theoretical Computer Science. Year: 2016. Volume: 220 , Pages: 1-12 .
Authors: Thomas Brihaye; Amit Kumar Dhar; Gilles Geeraerts; Axel Haddad; Benjamin Monmege
DOI 10.4204/EPTCS.220.1 Crossref Crossref: 2 Scopus Scopus: 2

Semi-automatic terminology ontology learning based on topic modeling

Journal Article
Engineering Applications of Artificial Intelligence. Year: 2017. Volume: 63 , Pages: 108-125 .
Authors: Monika Rani; Amit Kumar Dhar; O.P. Vyas
DOI 10.1016/j.engappai.2017.05.006 Crossref Crossref: 61 Scopus Scopus: 68
Showing 1 to 8 of 28 publications