Kinnari Dave
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | APLAS | IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. | Kinnari Dave, Alejandro Daz-Caro, Vladimir Zamdzhiev |
| 2025 | FOSSACS | Combining quantum and classical control: syntax, semantics and adequacy. | Kinnari Dave, Louis Lemonnier, Romain Pchoux, Vladimir Zamdzhiev |
| 2021 | CAV | Towards Verified Price Oracles for Decentralized Exchange Protocols. | Kinnari Dave, Vilhelm Sjberg, Xinyuan Sun |