Shahid Jabbar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2001–2006
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | AAAI | Cost-Optimal External Planning. | Stefan Edelkamp, Shahid Jabbar |
| 2006 | VMCAI | Parallel External Directed Model Checking with Linear I/O. | Shahid Jabbar, Stefan Edelkamp |
| 2005 | AAAI | Cost-Algebraic Heuristic Search. | Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente |
| 2005 | VMCAI | I/O Efficient Directed Model Checking. | Shahid Jabbar, Stefan Edelkamp |
| 2004 | KI | External A*. | Stefan Edelkamp, Shahid Jabbar, Stefan Schrdl |
| 2001 | SMC | A generalized methodology and framework for the validation and verification of multi-agent systems. | Shahid Jabbar, Abbas K. Zaidi |