 | 2011 |
| 8 |  | Fatemeh Ghassemi,
Mahmoud Talebi,
Ali Movaghar,
Wan Fokkink:
Stochastic Restricted Broadcast Process Theory.
EPEW 2011: 72-86 |
| 7 |  | Fatemeh Ghassemi,
Wan Fokkink,
Ali Movaghar:
Verification of mobile ad hoc networks: An algebraic approach.
Theor. Comput. Sci. 412(28): 3262-3282 (2011) |
| 2010 |
| 6 |  | Fatemeh Ghassemi,
Ali Movaghar,
Wan Fokkink:
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols.
ACSD 2010: 85-92 |
| 5 |  | Fatemeh Ghassemi,
Wan Fokkink,
Ali Movaghar:
Equational Reasoning on Mobile Ad Hoc Networks.
Fundam. Inform. 105(4): 375-415 (2010) |
| 2009 |
| 4 |  | Fatemeh Ghassemi,
Wan Fokkink,
Ali Movaghar:
Equational Reasoning on Ad Hoc Networks.
FSEN 2009: 113-128 |
| 2008 |
| 3 |  | Fatemeh Ghassemi,
Wan Fokkink,
Ali Movaghar:
Restricted Broadcast Process Theory.
SEFM 2008: 345-354 |
| 2006 |
| 2 |  | Fatemeh Ghassemi,
Naser Nematbakhsh,
Behrouz Tork Ladani,
Marjan Sirjani:
Specification and Implementation of Multi-Agent Organizations.
WEBIST (1) 2006: 447-453 |
| 1 |  | Fatemeh Ghassemi,
Samira Tasharofi,
Marjan Sirjani:
Automated Mapping of Reo Circuits to Constraint Automata.
Electr. Notes Theor. Comput. Sci. 159: 99-115 (2006) |