Shahid Jabbar Vis

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

Coauthor Index

1	Blai Bonet	[13]
2	Stefan Edelkamp	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16]
3	Peter Kissmann	[16]
4	Alberto Lluch-Lafuente	[5] [10]
5	Dino Midzic	[14]
6	Daniel Rikowski	[14]
7	Stefan Schrödl	[2]
8	Damian Sulewski	[14] [15]
9	Thomas Willhalm	[1] [3]