Amit Kumar Dhar
Amit Kumar Dhar
Assistant Professor
Verified email at iitbhilai.ac.in
Title
Cited by
Cited by
Year
Semi-automatic terminology ontology learning based on topic modeling
M Rani, AK Dhar, OP Vyas
Engineering Applications of Artificial Intelligence 63, 108-125, 2017
432017
Taming past LTL and flat counter systems
S Demri, AK Dhar, A Sangnier
Information and Computation 242, 306-339, 2015
252015
Exciton-phonon coupling and band-gap renormalization in monolayer WSe2
H Mishra, A Bose, A Dhar, S Bhattacharya
Physical Review B 98 (4), 045143, 2018
132018
On the complexity of verifying regular properties on flat counter systems
S Demri, AK Dhar, A Sangnier
International Colloquium on Automata, Languages, and Programming, 162-173, 2013
132013
Equivalence between model-checking flat counter systems and Presburger arithmetic
S Demri, AK Dhar, A Sangnier
International Workshop on Reachability Problems, 85-97, 2014
72014
Algorithms for model-checking flat counter systems
AK Dhar
Paris 7, 2014
62014
Equivalence between model-checking flat counter systems and Presburger arithmetic
S Demri, AK Dhar, A Sangnier
Theoretical Computer Science 735, 2-23, 2018
32018
Efficient Energy Distribution in a Smart Grid using Multi-Player Games
T Brihaye, AK Dhar, G Geeraerts, A Haddad, B Monmege
arXiv preprint arXiv:1608.00652, 2016
32016
Model Checking Flat Counter Systems
AK Dhar
Modeling and Verifying Parallel Processes, 85, 2012
2012
Counter Systems with Presburger-definable Reachability Sets: Decidability and Complexity
AK Dhar
2011
The system can't perform the operation now. Try again later.
Articles 1–10