A. K. Dhar

From MaRDI portal
Person:780265

Available identifiers

zbMath Open dhar.amit-kumarMaRDI QIDQ780265

List of research outcomes





PublicationDate of PublicationType
Edge exploration of anonymous graph by mobile agent with external help2023-03-24Paper
Graph coloring: a novel heuristic based on trailing path-properties, perspective and applications in structured networks2020-07-15Paper
Edge exploration of a graph by mobile agent2020-05-13Paper
Maximum independent and disjoint coverage2020-04-27Paper
Maximum independent and disjoint coverage2019-10-15Paper
Equivalence between model-checking flat counter systems and Presburger arithmetic2018-06-05Paper
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic2015-10-28Paper
Taming past LTL and flat counter systems2015-06-01Paper
On the Complexity of Verifying Regular Properties on Flat Counter Systems,2013-08-07Paper
Taming Past LTL and Flat Counter Systems2012-09-05Paper
The effect of randomness on stability of surface gravity waves from fourth-order nonlinear evolution equation2001-01-01Paper

Research outcomes over time

This page was built for person: A. K. Dhar

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:780265&oldid=7538354"
Powered by MediaWiki