| |
| 2009 | ||
|---|---|---|
| 4 | EE | Zarrin Langari, Richard J. Trefler: Application of Graph Transformation in Verification of Dynamic Systems. IFM 2009: 261-276 |
| 2006 | ||
| 3 | EE | Zarrin Langari, Richard J. Trefler: Formal Modeling of Communication Protocols by Graph Transformation. FM 2006: 348-363 |
| 2005 | ||
| 2 | EE | Zarrin Langari, Anne Banks Pidduck: Quality, cleanroom and formal methods. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| 2001 | ||
| 1 | EE | Zarrin Langari, Frank Wm. Tompa: Subject Classification in the Oxford English Dictionary. ICDM 2001: 329-336 |
| 1 | Anne Banks Pidduck | [2] |
| 2 | Frank Wm. Tompa | [1] |
| 3 | Richard J. Trefler | [3] [4] |