Shahid Jabbar
According to our database1,
Shahid Jabbar
authored at least 20 papers
between 2001 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
2001
2002
2003
2004
2005
2006
2007
2008
2009
0
1
2
3
4
5
6
1
1
1
1
1
3
5
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
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
Künstliche Intell., 2008
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008
2007
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.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007
2006
Proceedings of the Verification, 2006
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
2005
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005
2004
2003
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