Shahid Jabbar

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Disk-Based Search.
Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

2008
External memory algorithms for state space exploration in model checking and action planning.
PhD thesis, 2008

External Memory Search for Verification of Multi-threaded C++ Programs.
Künstliche Intell., 2008

Distributed Verification of Multi-threaded C++ Programs.
Electron. Notes Theor. Comput. Sci., 2008

Scaling Search with Pattern Databases.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2007
External Directed Search.
Künstliche Intell., 2007

On Constructing a Base Map for Collaborative Map Generation and its Application in Urban Mobility Planning.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

External Memory Value Iteration.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006
Action Planning for Directed Model Checking of Petri Nets.
Electron. Notes Theor. Comput. Sci., 2006

Parallel External Directed Model Checking with Linear I/O.
Proceedings of the Verification, 2006

Large-Scale Directed Model Checking LTL.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Real-Time Model Checking on Secondary Storage.
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

Heuristic Search for the Analysis of Graph Transition Systems.
Proceedings of the Graph Transformations, Third International Conference, 2006

Cost-Optimal External Planning.
Proceedings of the Proceedings, 2006

2005
Geometric travel planning.
IEEE Trans. Intell. Transp. Syst., 2005

I/O Efficient Directed Model Checking.
Proceedings of the Verification, 2005

Cost-Algebraic Heuristic Search.
Proceedings of the Proceedings, 2005

2004
External A*.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

2003
Accelerating Heuristic Search in Spatial Domains.
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.
Proceedings of the IEEE International Conference on Systems, 2001


  Loading...