Zarrin Langari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2001–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IGARSS | 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 |
| 2013 | ICSE | Safety cases: a review of challenges. | Zarrin Langari, Tom Maibaum |
| 2009 | IFM | Application of Graph Transformation in Verification of Dynamic Systems. | Zarrin Langari, Richard J. Trefler |
| 2006 | FM | Formal Modeling of Communication Protocols by Graph Transformation. | Zarrin Langari, Richard J. Trefler |
| 2005 | ICSE | Quality, cleanroom and formal methods. | Zarrin Langari, Anne Banks Pidduck |
| 2001 | ICDM | Subject Classification in the Oxford English Dictionary. | Zarrin Langari, Frank Wm. Tompa |