‪Bhakti Shah‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2021
Citations	17	17
h-index	3	3
i10-index	1	1

0

10

5

20232024202520261 5 10 1

Bhakti Shah

Bhakti Shah

PhD Student, University of St. Andrews

Verified email at st-andrews.ac.uk - Homepage

programming languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
VyZX: Formal Verification of a Graphical Quantum Language A Lehmann, B Caldwell, B Shah, R Rand arXiv preprint arXiv:2311.11571, 2023	10	2023
How we built Cedar: A verification-guided approach C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, J Kastner, ... Companion Proceedings of the 32nd ACM International Conference on the …, 2024	4	2024
ViCAR: Visualizing Categories with Automated Rewriting in Coq B Shah, W Spencer, L Zielinski, B Caldwell, A Lehmann, R Rand arXiv preprint arXiv:2404.08163, 2024	3	2024
Imperative Syntax for Dependent Types B SHAH, E BRADY
Integrating Dependency Building with Document Checking in Coq EJG Arias, B Shah
VyZX: Formal Verification of a Graphical Quantum Language with automated structural rewrites A LEHMANN, BEN CALDWELL, B SHAH, R RAND
Visualizing Graphical Proofs in Coq B SHAH
A Lean Formalization of Cedar B SHAH

The system can't perform the operation now. Try again later.

Articles 1–8