Farhad Mehta

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 5

Top Topics

Robot Programming

Functional Language

Search Efficiency

Visual Representations

Top Venues

Publications

Eliane Irène Schmidli, Farhad Mehta
Demo: The Fun of Robotic Artwork. FARM (2024)
Eliane Irène Schmidli, Farhad Mehta
Using Functional Reactive Programming for Robotic Art: An Experience Report. FARM (2024)
Marc Etter, Farhad Mehta
Towards Type-Directed API Search for Mainstream Languages. TyDe@ICFP (2024)
Marc Etter, Farhad Mehta
CodePanorama: a language agnostic tool for visual code inspection. ICPC (2022)
Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker
Scaps: type-directed API search for Scala. SCALA@SPLASH (2016)
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin
Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12 (6) (2010)
Farhad Mehta
A Practical Approach to Partiality - A Proof Based Approach. ICFEM (2008)
Ádám Darvas, Farhad Mehta, Arsenii Rudich
Efficient Well-Definedness Checking. IJCAR (2008)
Farhad Mehta
Supporting Proof in a Reactive Development Environment. SEFM (2007)
Farhad Mehta, Tobias Nipkow
Proving pointer programs in higher-order logic. Inf. Comput. 199 (1-2) (2005)
Farhad Mehta, Tobias Nipkow
Proving Pointer Programs in Higher-Order Logic. CADE (2003)