Ministry of Education
Vidvan Image

Dr Amit Kumar Dhar

vidwan id: 97782
Male

Assistant Professor, Department of Computer Science and Engineering
Indian Institute of Technology, Bhilai

Google Scholar Icon 55305520100 Google Scholar Icon AWtUkCgAAAAJ

Expertise

  • Computer Science Software Engineering

Publications

Total Articles 27
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 212
h-index 7

CrossRef

CrossRef Icon
Citations 167
h-index 6
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.

Bio

Formal Methods, Model-Checking, Applied formal verification, Algorithms and Complexity, Formal Methods, ·Temporal Logics, SMT Solvers

Personal Details

  • Male
  • Assistant Professor , Indian Institute of Technology, Bhilai
  • Indian Institute of Technology Bhilai, GEC Campus, Sejbahar, Raipur
Post doctorate Fellow
Universite libre de Bruxelles 2015
Ph.D
Other Institute 2014
Assistant Professor Nov -0001 – 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

Related Profiles

Experts (10184+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

DEEPAK

Mr DEEPAK B N

N/A

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Anjali

Dr Anjali Jadhav

Doctor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (77+)

View All
Avishek

Dr Avishek Adhikary

Assistant Professor

Arup

Dr Arup Mukherjee

Assistant Professor

Avijit

Dr Avijit Pal

Assistant Professor

Avijit

Dr Avijit Saha

Assistant Professor

Asrifa

Dr Asrifa Sultana

Assistant Professor

Arun Kumar

Dr Arun Kumar Upadhyay

Assistant Professor

Ashish Kumar

Dr Ashish Kumar Sahu

Assistant Professor

Arvind

Dr Arvind Singh

Assistant Professor

Arzad Alam

Dr Arzad Alam Kherani

Associate Professor

Ashutosh

Dr Ashutosh Kumar

Assistant Professor (Grade-I)

Co-Authors (12)

Arzad Alam

Dr Arzad Alam Kherani

Indian Institute of Technology, Bhilai

Barun

Dr Barun Gorain

Indian Institute of Technology, Bhilai

Dinesh Kumar

Prof Dinesh Kumar Vishwakarma

Delhi Technological University

D

Dr D Manjunath

Indian Institute of Technology Bombay

Jagpreet

Dr Jagpreet Singh

Indian Institute of Technology Ropar

Om Prakash

Prof Om Prakash Vyas

Indian Institute of Information Technology, Allahabad

Raghunath Reddy

Dr Raghunath Reddy Madireddy

Birla Institute of Technology and Science

Rishi Ranjan

Dr Rishi Ranjan Singh

Indian Institute of Technology, Bhilai

Santosh

Prof Santosh Biswas

Indian Institute of Technology, Bhilai

Shaswati

Dr Shaswati Patra

Kalinga Institute of Industrial Technology, Bhubaneswar

Sitangshu

Dr Sitangshu Bhattacharya

Indian Institute of Information Technology, Allahabad

Supantha

Dr Supantha Pandit

Dhirubhai Ambani Institute of Information & Communication Technology (DAIICT), Gandhinagar

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

Sweep coverage with faulty Mobile sensors

Open Access
Article
International Journal of Parallel Emergent and Distributed Systems. Year: 2025.
Authors: Dhar A.K.;Gorain B.;Mahawar M.
DOI 10.1080/17445760.2025.2508163

Collision-free Exploration by Mobile Agents Using Pebbles

Open Access
Conference Paper
Year: 2025. Pages: 161-170 .
Authors: Das S.K.;Dhar A.K.;Gorain B.;Mahawar M.
DOI 10.1145/3700838.3700863

Edge exploration of anonymous graph by mobile agent with external help

Open Access
Article
Year: 2023. Volume: 105 , Issue: 2 , Pages: 483-506 .
Authors: Dhar A.K.;Gorain B.;Mondal K.;Patra S.;Singh R.R.
DOI 10.1007/s00607-022-01136-8
1 1

Sweep Coverage with Faults

Open Access
Conference Paper
Year: 2023.
Authors: Dhar A.K.;Gorain B.;Mahawar M.
DOI 10.1109/RAIT57693.2023.10126982
2

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

Open Access
Article
Computer Networks. Year: 2023. Volume: 222 .
Authors: Seth A.D.;Biswas S.;Dhar A.K.
DOI 10.1016/j.comnet.2022.109539
6 6

LDES: detector design for version number attack detection using linear temporal logic based on discrete event system

Open Access
Article
International Journal of Information Security. Year: 2023. Volume: 22 , Issue: 4 , Pages: 961-985 .
Authors: Seth A.D.;Biswas S.;Dhar A.K.
DOI 10.1007/s10207-023-00665-3
4 7

Diagnoser design strategy for discrete event system: Case study of neutralization system

Open Access
Article
Year: 2022. Volume: 4 , Issue: 4 .
Authors: Seth A.D.;Biswas S.;Dhar A.K.
DOI 10.1002/adc2.114
1 2

On Modeling of Interaction-Based Spread of Communicable Diseases

Open Access
Conference Paper
Year: 2021. Volume: 12949 LNCS , Pages: 576-591 .
Authors: Kherani A.A.;Kherani N.A.;Singh R.R.;Dhar A.K.;Manjunath D.
DOI 10.1007/978-3-030-86653-2_42
2 1