Zarrin Langari

	2009
4		Zarrin Langari, Richard J. Trefler: Application of Graph Transformation in Verification of Dynamic Systems. IFM 2009: 261-276
	2006
3		Zarrin Langari, Richard J. Trefler: Formal Modeling of Communication Protocols by Graph Transformation. FM 2006: 348-363
	2005
2		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

Coauthor Index

1	Anne Banks Pidduck	[2]
2	Frank Wm. Tompa	[1]
3	Richard J. Trefler	[3] [4]

Colors in the list of coauthors