Publications

• Symmetry for The Analysis of Dynamic Systems
  NASA Formal Methods 2011 ( NFM 2011)
  Zarrin Langari and Richard Trefler. 


• Application of Graph Transformation in Verification of Dynamic Systems
  Integrated Formal Methods 2009 (IFM 2009)
  Zarrin Langari and Richard Trefler.
  


• Formal Modeling of Communication Protocols by Graph Transformation
  Formal Methods Conference (2006) (FM 2006)
  Lecture Notes in Computer Science 4085, 348-363
  Zarrin Langari and Richard Trefler.
  


• Quality, Cleanroom and Formal Methods
  ACM SIGSOFT Software Engineering Notes, Volume 30, Issue 4, 2005
  Zarrin Langari and Anne Banks Pidduck..
  


• Subject Classification in the Oxford English Dictionary
  IEEE International Conference on Data Mining, 329-336. (ICDM 2001)
  Zarrin Langari and Frank Wm Tompa.
  


• Classification of Dictionary Senses -Experiments with the OED
  Poster at CITO’s Knowledge Network Conference, Ottawa (2001).
  Zarrin Langari and Frank Wm Tompa.

Thesis