Ammar Mohammed Vis

List of publications from the DBLP Bibliography Server - FAQ

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

* 2009

3 EE Ammar Mohammed, Christian Schwarz: HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata. KI 2009: 695-702

2 Ammar Mohammed, Ulrich Furbach: From Reactive to Deliberative Multi-agent Planning. MSVVEIS 2009: 67-75

2008

1 Ammar Mohammed, Ulrich Furbach: Modeling Multi-agent Logistic Process System using Hybrid Automata. MSVVEIS 2008: 141-149

*	2009
3	EE	Ammar Mohammed, Christian Schwarz: HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata. KI 2009: 695-702
2		Ammar Mohammed, Ulrich Furbach: From Reactive to Deliberative Multi-agent Planning. MSVVEIS 2009: 67-75
	2008
1		Ammar Mohammed, Ulrich Furbach: Modeling Multi-agent Logistic Process System using Hybrid Automata. MSVVEIS 2008: 141-149

Coauthor Index

1 Ulrich Furbach [1] [2]

2 Christian Schwarz [3]

Colors in the list of coauthors