Ekanshdeep Gupta

According to our database1, Ekanshdeep Gupta authored at least 2 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2019
2020
2021
2022
2023
2024
0
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Arithmetizing Shape Analysis.
CoRR, 2024

2019
The Well Structured Problem for Presburger Counter Machines.
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019


  Loading...