Amit Gurung
Orcid: 0000-0001-9823-710X
According to our database1,
Amit Gurung
authored at least 13 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
1
2
2
2
1
2
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
2021
IEEE Embed. Syst. Lett., 2021
2019
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
2016
An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes.
CoRR, 2016
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the Hardware and Software: Verification and Testing, 2015