Shahid Jabbar - RankMe

20 papers A* 3B 4Misc 1Journal 3Unranked 7

Year	Rank	Type	Title / Venue / Authors
2009	—	`ch.`	Disk-Based Search. Encyclopedia of Artificial Intelligence Stefan Edelkamp, Shahid Jabbar
2008	J	`jnl`	External Memory Search for Verification of Multi-threaded C++ Programs. Künstliche Intell. Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski
2008	—	`—`	External memory algorithms for state space exploration in model checking and action planning. Shahid Jabbar
2008	—	`conf`	Scaling Search with Pattern Databases. MoChArt Stefan Edelkamp, Shahid Jabbar, Peter Kissmann
2007	—	`conf`	Distributed Verification of Multi-threaded C++ Programs. PDMC@CAV Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
2007	J	`jnl`	External Directed Search. Künstliche Intell. Shahid Jabbar
2007	A*	`conf`	External Memory Value Iteration. ICAPS Stefan Edelkamp, Shahid Jabbar, Blai Bonet
2007	—	`conf`	On Constructing a Base Map for Collaborative Map Generation and its Application in Urban Mobility Planning. ITSC Maik Drozdzynski, Stefan Edelkamp, Andreas Gaubatz, Shahid Jabbar, Miguel Liebe
2006	A*	`conf`	Cost-Optimal External Planning. AAAI Stefan Edelkamp, Shahid Jabbar
2006	B	`conf`	Heuristic Search for the Analysis of Graph Transition Systems. ICGT Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
2006	—	`conf`	Large-Scale Directed Model Checking LTL. SPIN Stefan Edelkamp, Shahid Jabbar
2006	B	`conf`	Parallel External Directed Model Checking with Linear I/O. VMCAI Shahid Jabbar, Stefan Edelkamp
2006	—	`conf`	Real-Time Model Checking on Secondary Storage. MoChArt Stefan Edelkamp, Shahid Jabbar
2005	—	`conf`	Action Planning for Directed Model Checking of Petri Nets. MoChArt@CONCUR/SPIN Stefan Edelkamp, Shahid Jabbar
2005	A*	`conf`	Cost-Algebraic Heuristic Search. AAAI Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
2005	J	`jnl`	Geometric travel planning. IEEE Trans. Intell. Transp. Syst. Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm
2005	B	`conf`	I/O Efficient Directed Model Checking. VMCAI Shahid Jabbar, Stefan Edelkamp
2004	Misc	`conf`	External A*. KI Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl
2003	—	`conf`	Accelerating Heuristic Search in Spatial Domains. PuK Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm
2001	B	`conf`	A generalized methodology and framework for the validation and verification of multi-agent systems. SMC Shahid Jabbar, Abbas K. Zaidi