According to our database1, Hamed Ladan authored at least 3 papers between 2012 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2016
Proceedings of the Model Checking Software - 20th International Symposium, 2013
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012