 | 2009 |
|---|
| 6 |       | Divakar Yadav,
Michael Butler:
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.
Methods, Models and Tools for Fault Tolerance 2009: 152-176 |
| 2008 |
|---|
| 5 | | Michael Butler,
Divakar Yadav:
An incremental development of the Mondex system in Event-B.
Formal Asp. Comput. 20(1): 61-77 (2008) |
| 2007 |
|---|
| 4 |  | Divakar Yadav,
A. K. Sharma,
J. P. Gupta:
Optical character recognition for printed hindi text in devnagari using soft-computing technique.
Artificial Intelligence and Applications 2007: 118-124 |
| 3 | | Divakar Yadav,
A. K. Sharma,
J. P. Gupta,
N. Garg,
A. Mahajan:
Architecture for Parallel Crawling and Algorithm for Change Detection in Web Pages.
ICIT 2007: 258-264 |
| 2 | | Divakar Yadav,
A. K. Sharma,
J. P. Gupta:
Change Detection in Web Pages.
ICIT 2007: 265-270 |
| 2006 |
|---|
| 1 | | Divakar Yadav,
Michael Butler:
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.
RODIN Book 2006: 343-363 |
