| |
| 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 | 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] |