A. K. Dhar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Collision-free exploration by mobile agents using pebbles Information and Computation	2025-12-15	Paper
Edge exploration of anonymous graph by mobile agent with external help Computing	2023-03-24	Paper
Graph coloring: a novel heuristic based on trailing path-properties, perspective and applications in structured networks Soft Computing	2020-07-15	Paper
Edge exploration of a graph by mobile agent	2020-05-13	Paper
Maximum independent and disjoint coverage Journal of Combinatorial Optimization	2020-04-27	Paper
Maximum independent and disjoint coverage Lecture Notes in Computer Science	2019-10-15	Paper
Equivalence between model-checking flat counter systems and Presburger arithmetic Theoretical Computer Science	2018-06-05	Paper
Equivalence between model-checking flat counter systems and Presburger arithmetic Lecture Notes in Computer Science	2015-10-28	Paper
Taming past LTL and flat counter systems Information and Computation	2015-06-01	Paper
On the Complexity of Verifying Regular Properties on Flat Counter Systems, Automata, Languages, and Programming	2013-08-07	Paper
Taming past LTL and flat counter systems Automated Reasoning	2012-09-05	Paper
The effect of randomness on stability of surface gravity waves from fourth-order nonlinear evolution equation International Journal of Applied Mechanics and Engineering	2001-01-01	Paper

Research outcomes over time

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