According to our database1, Amit Gurung authored at least 9 papers between 2015 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2019
Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the Hardware and Software: Verification and Testing, 2015