Proving pointer programs in higher-order logic. - Farhad Mehta; Tobias Nipkow (Inf. Comput., 2005)

Supporting Proof in a Reactive Development Environment. - Farhad Mehta (SEFM, 2007)

Efficient Well-Definedness Checking. - Ádám Darvas; Farhad Mehta; Arsenii Rudich (IJCAR, 2008)

A Practical Approach to Partiality - A Proof Based Approach. - Farhad Mehta (ICFEM, 2008)

Proofs for the working engineer. - Farhad Mehta (2008)

Rodin: an open toolset for modelling and reasoning in Event-B. - Jean-Raymond Abrial; Michael J. Butler; Stefan Hallerstede; Thai Son Hoang; Farhad Mehta; Laurent Voisin (Int. J. Softw. Tools Technol. Transf., 2010)

Scaps: type-directed API search for Scala. - Lukas Wegmann; Farhad Mehta; Peter Sommerlad; Mirko Stocker (SCALA@SPLASH, 2016)

CodePanorama: a language agnostic tool for visual code inspection. - Marc Etter; Farhad Mehta (ICPC, 2022)

Using Functional Reactive Programming for Robotic Art: An Experience Report. - Eliane Irène Schmidli; Farhad Mehta (FARM, 2024)

Demo: The Fun of Robotic Artwork. - Eliane Irène Schmidli; Farhad Mehta (FARM, 2024)

Towards Type-Directed API Search for Mainstream Languages. - Marc Etter; Farhad Mehta (TyDe@ICFP, 2024)