Kiran Gopinathan
Orcid: 0000-0002-1877-9871
According to our database1,
Kiran Gopinathan
authored at least 8 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proc. ACM Program. Lang., October, 2023
Proc. ACM Program. Lang., October, 2023
2022
2021
Proc. ACM Program. Lang., 2021
2020
Certifying Certainty and Uncertainty in Approximate Membership Query Structures - Extended Version.
CoRR, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2018
Proceedings of the 4th International Conference on Information and Communication Technologies for Ageing Well and e-Health, 2018