Amit Kumar Dhar

Available identifiers

zbMath Open dhar.amit-kumarMaRDI QIDQ780265

List of research outcomes

Publication	Date of Publication	Type
Graph coloring: a novel heuristic based on trailing path-properties, perspective and applications in structured networks	2020-07-15	Paper
Edge exploration of a graph by mobile agent	2020-05-13	Paper
Maximum independent and disjoint coverage	2020-04-27	Paper
Maximum independent and disjoint coverage	2019-10-15	Paper
Equivalence between model-checking flat counter systems and Presburger arithmetic	2018-06-05	Paper
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic	2015-10-28	Paper
Taming past LTL and flat counter systems	2015-06-01	Paper
On the Complexity of Verifying Regular Properties on Flat Counter Systems,	2013-08-07	Paper
Taming Past LTL and Flat Counter Systems	2012-09-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Amit Kumar Dhar