Kinnari Dave

According to our database¹, Kinnari Dave authored at least 5 papers between 2021 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2025

A programming language combining quantum and classical control.

[BibT_eX]

[DOI]

CoRR, November, 2025

Combining quantum and classical control: syntax, semantics and adequacy.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2025

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation.

[BibT_eX]

[DOI]

Kinnari Dave

Alejandro Díaz-Caro

Vladimir Zamdzhiev

Proceedings of the Programming Languages and Systems - 23rd Asian Symposium, 2025

2024

Foundational Verification of Smart Contracts through Verified Compilation.

[BibT_eX]

[DOI]

CoRR, 2024

2021

Towards Verified Price Oracles for Decentralized Exchange Protocols.

[BibT_eX]

[DOI]

Kinnari Dave

Vilhelm Sjöberg

Xinyuan Sun

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

Kinnari Dave

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...