Subject Classification in the Oxford English Dictionary. - Zarrin Langari; Frank Wm. Tompa (ICDM, 2001)

Quality, cleanroom and formal methods. - Zarrin Langari; Anne Banks Pidduck (ACM SIGSOFT Softw. Eng. Notes, 2005)

Formal Modeling of Communication Protocols by Graph Transformation. - Zarrin Langari; Richard J. Trefler (FM, 2006)

Application of Graph Transformation in Verification of Dynamic Systems. - Zarrin Langari; Richard J. Trefler (IFM, 2009)

Modelling and Analysis using Graph Transformation Systems. - Zarrin Langari (2010)

Symmetry for the Analysis of Dynamic Systems. - Zarrin Langari; Richard J. Trefler (NASA Formal Methods, 2011)

Safety cases: a review of challenges. - Zarrin Langari; Tom Maibaum (ASSURE@ICSE, 2013)

An Exploration of Voxel/Connection and Image Segmentation Approaches to Derive High Resolution Rasters of Manning's n. - Heather McGrath; Mathieu Turgeon-Pelchat; Hospice Houngbo; Lingjun Zhou; Zarrin Langari (IGARSS, 2024)