Shahid Jabbar

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

Dortmund University of Technology (PHD)

Education History

Dortmund University of Technology

PHD

Publications

Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
Distributed Verification of Multi-threaded C++ Programs. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski
External Memory Search for Verification of Multi-threaded C++ Programs. Künstliche Intell. 22 (2) (2008)
Stefan Edelkamp, Shahid Jabbar, Peter Kissmann
Scaling Search with Pattern Databases. MoChArt (2008)
Shahid Jabbar
External Directed Search. Künstliche Intell. 21 (1) (2007)
Maik Drozdzynski, Stefan Edelkamp, Andreas Gaubatz, Shahid Jabbar, Miguel Liebe
On Constructing a Base Map for Collaborative Map Generation and its Application in Urban Mobility Planning. ITSC (2007)
Stefan Edelkamp, Shahid Jabbar, Blai Bonet
External Memory Value Iteration. ICAPS (2007)
Stefan Edelkamp, Shahid Jabbar
Real-Time Model Checking on Secondary Storage. MoChArt (2006)
Shahid Jabbar, Stefan Edelkamp
Parallel External Directed Model Checking with Linear I/O. VMCAI (2006)
Stefan Edelkamp, Shahid Jabbar
Action Planning for Directed Model Checking of Petri Nets. Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
Heuristic Search for the Analysis of Graph Transition Systems. ICGT (2006)
Stefan Edelkamp, Shahid Jabbar
Cost-Optimal External Planning. AAAI (2006)
Stefan Edelkamp, Shahid Jabbar
Large-Scale Directed Model Checking LTL. SPIN (2006)
Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm
Geometric travel planning. IEEE Trans. Intell. Transp. Syst. 6 (1) (2005)
Shahid Jabbar, Stefan Edelkamp
I/O Efficient Directed Model Checking. VMCAI (2005)
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
Cost-Algebraic Heuristic Search. AAAI (2005)
Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl
External A*. KI (2004)
Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm
Accelerating Heuristic Search in Spatial Domains. PuK (2003)
Shahid Jabbar, Abbas K. Zaidi
A generalized methodology and framework for the validation and verification of multi-agent systems. SMC (2001)

Shahid Jabbar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Shahid Jabbar