Author Info
Name
Affiliation
Papers
AMIT KUMAR DHAR
LIAFA, Univ Paris Diderot, Sorbonne Paris Cité, CNRS, France
7
Collaborators
Citations 
PageRank 
14
17
2.71
Referers 
Referees 
References 
34
220
113
Search Limit
100220
Title
Citations
PageRank
Year
Maximum independent and disjoint coverage00.342020
Maximum Independent and Disjoint Coverage.00.342019
Semi-automatic terminology ontology learning based on topic modeling.80.512017
Efficient Energy Distribution In A Smart Grid Using Multi-Player Games00.342016
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic.30.392014
On the complexity of verifying regular properties on flat counter systems,10.352013
Taming past LTL and flat counter systems50.442012