A generalized methodology and framework for the validation and verification of multi-agent systems. - Shahid Jabbar; Abbas K. Zaidi (SMC, 2001)

Accelerating Heuristic Search in Spatial Domains. - Stefan Edelkamp; Shahid Jabbar; Thomas Willhalm (PuK, 2003)

External A*. - Stefan Edelkamp; Shahid Jabbar; Stefan Schrödl (KI, 2004)

Cost-Algebraic Heuristic Search. - Stefan Edelkamp; Shahid Jabbar; Alberto Lluch-Lafuente (AAAI, 2005)

I/O Efficient Directed Model Checking. - Shahid Jabbar; Stefan Edelkamp (VMCAI, 2005)

Action Planning for Directed Model Checking of Petri Nets. - Stefan Edelkamp; Shahid Jabbar (MoChArt@CONCUR/SPIN, 2005)

Geometric travel planning. - Stefan Edelkamp; Shahid Jabbar; Thomas Willhalm (IEEE Trans. Intell. Transp. Syst., 2005)

Cost-Optimal External Planning. - Stefan Edelkamp; Shahid Jabbar (AAAI, 2006)

Heuristic Search for the Analysis of Graph Transition Systems. - Stefan Edelkamp; Shahid Jabbar; Alberto Lluch-Lafuente (ICGT, 2006)

Real-Time Model Checking on Secondary Storage. - Stefan Edelkamp; Shahid Jabbar (MoChArt, 2006)

Large-Scale Directed Model Checking LTL. - Stefan Edelkamp; Shahid Jabbar (SPIN, 2006)

Parallel External Directed Model Checking with Linear I/O. - Shahid Jabbar; Stefan Edelkamp (VMCAI, 2006)

External Memory Value Iteration. - Stefan Edelkamp; Shahid Jabbar; Blai Bonet (ICAPS, 2007)

On Constructing a Base Map for Collaborative Map Generation and its Application in Urban Mobility Planning. - Maik Drozdzynski; Stefan Edelkamp; Andreas Gaubatz; Shahid Jabbar; Miguel Liebe (ITSC, 2007)

Distributed Verification of Multi-threaded C++ Programs. - Stefan Edelkamp; Shahid Jabbar; Damian Sulewski (PDMC@CAV, 2007)

External Directed Search. - Shahid Jabbar (Künstliche Intell., 2007)

Scaling Search with Pattern Databases. - Stefan Edelkamp; Shahid Jabbar; Peter Kissmann (MoChArt, 2008)

External Memory Search for Verification of Multi-threaded C++ Programs. - Stefan Edelkamp; Shahid Jabbar; Dino Midzic; Daniel Rikowski; Damian Sulewski (Künstliche Intell., 2008)

External memory algorithms for state space exploration in model checking and action planning. - Shahid Jabbar (2008)

Disk-Based Search. - Stefan Edelkamp; Shahid Jabbar (Encyclopedia of Artificial Intelligence, 2009)