Shahid Jabbar (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

16		Stefan Edelkamp, Shahid Jabbar, Peter Kissmann: Scaling Search with Pattern Databases. MoChArt 2008: 49-64
15		Stefan Edelkamp, Shahid Jabbar, Damian Sulewski: Distributed Verification of Multi-threaded C++ Programs. Electr. Notes Theor. Comput. Sci. 198(1): 33-46 (2008)
14		Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski: External Memory Search for Verification of Multi-threaded C++ Programs. KI 22(2): 44-50 (2008)
13		Stefan Edelkamp, Shahid Jabbar, Blai Bonet: External Memory Value Iteration. ICAPS 2007: 128-135
11		Stefan Edelkamp, Shahid Jabbar: Cost-Optimal External Planning. AAAI 2006
10		Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Heuristic Search for the Analysis of Graph Transition Systems. ICGT 2006: 414-429
9		Stefan Edelkamp, Shahid Jabbar: Real-Time Model Checking on Secondary Storage. MoChArt 2006: 67-83
8		Stefan Edelkamp, Shahid Jabbar: Large-Scale Directed Model Checking LTL. SPIN 2006: 1-18
7		Shahid Jabbar, Stefan Edelkamp: Parallel External Directed Model Checking with Linear I/O. VMCAI 2006: 237-251
6		Stefan Edelkamp, Shahid Jabbar: Action Planning for Directed Model Checking of Petri Nets. Electr. Notes Theor. Comput. Sci. 149(2): 3-18 (2006)
5		Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Cost-Algebraic Heuristic Search. AAAI 2005: 1362-1367
4		Shahid Jabbar, Stefan Edelkamp: I/O Efficient Directed Model Checking. VMCAI 2005: 313-329
3		Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm: Geometric travel planning. IEEE Transactions on Intelligent Transportation Systems 6(1): 5-16 (2005)
2		Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl: External A*. KI 2004: 226-240
1		Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm: Accelerating Heuristic Search in Spatial Domains. PuK 2003

Selection of 15 from 16 records - Shahid Jabbar has 9 coauthors