Devendra Kumar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1989–1997
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | COMPSAC | A Semiformal Correctness Proof of a Network Broadcast Algorithm. | Devendra Kumar, S. Sitharama Iyengar |
| 1997 | COMPSAC | Faster Simulation of Timed Petri Nets Via Distributed Simulation. | Devendra Kumar, Amit Kohli, Venkatasubramaniam Narayanswamy |
| 1990 | WSC | An approach towards distributed simulation of timed petri nets. | Devendra Kumar, Saad Harous |
| 1989 | ICPP | An Approximate Method to Predict Performance of a Distributed Simulation Scheme. | Devendra Kumar |