Shahid Jabbar

According to our database, Shahid Jabbar authored at least 20 papers between 2001 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Disk-Based Search.

Stefan Edelkamp, Shahid Jabbar

Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

2008

External memory algorithms for state space exploration in model checking and action planning.

Shahid Jabbar

PhD thesis, 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

Scaling Search with Pattern Databases.

Stefan Edelkamp, Shahid Jabbar, Peter Kissmann

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2007

External Directed Search.

Shahid Jabbar

Künstliche Intell., 2007

Distributed Verification of Multi-threaded C++ Programs.

Stefan Edelkamp, Shahid Jabbar, Damian Sulewski

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 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

Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

External Memory Value Iteration.

Stefan Edelkamp, Shahid Jabbar, Blai Bonet

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006

Parallel External Directed Model Checking with Linear I/O.

Shahid Jabbar, Stefan Edelkamp

Proceedings of the Verification, 2006

Large-Scale Directed Model Checking LTL.

Stefan Edelkamp, Shahid Jabbar

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Real-Time Model Checking on Secondary Storage.

Stefan Edelkamp, Shahid Jabbar

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

Heuristic Search for the Analysis of Graph Transition Systems.

Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente

Proceedings of the Graph Transformations, Third International Conference, 2006

Cost-Optimal External Planning.

Stefan Edelkamp, Shahid Jabbar

Proceedings of the Proceedings, 2006

2005

Geometric travel planning.

Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm

IEEE Trans. Intell. Transp. Syst., 2005

Action Planning for Directed Model Checking of Petri Nets.

Stefan Edelkamp, Shahid Jabbar

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

I/O Efficient Directed Model Checking.

Shahid Jabbar, Stefan Edelkamp

Proceedings of the Verification, 2005

Cost-Algebraic Heuristic Search.

Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente

Proceedings of the Proceedings, 2005

2004

External A*.

Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl

Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

2003

Accelerating Heuristic Search in Spatial Domains.

Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm

Proceedings of the Proceedings Workshop Planen und Konfigurieren (PuK-2003), 2003

2001

A generalized methodology and framework for the validation and verification of multi-agent systems.

Shahid Jabbar, Abbas K. Zaidi

Proceedings of the IEEE International Conference on Systems, 2001