Abhishek Dhama
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2005–2010
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SSS | A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. | Abhishek Dhama, Oliver E. Theel |
| 2009 | SSS | Dependability Engineering of Silent Self-stabilizing Systems. | Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker |
| 2006 | ICPADS | Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. | Abhishek Dhama, Jens Oehlerking, Oliver E. Theel |
| 2006 | SSS | Reliability and Availability Analysis of Self-stabilizing Systems. | Abhishek Dhama, Oliver E. Theel, Timo Warns |
| 2005 | SSS | Towards Automatic Convergence Verification of Self-stabilizing Algorithms. | Jens Oehlerking, Abhishek Dhama, Oliver E. Theel |