Kartik Singhal
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Q\# as a quantum algorithmic language | 2025-08-19 | Paper |
| Gottesman types for quantum programs | 2024-11-28 | Paper |
| Quantum Hoare type theory: extended abstract | 2024-11-28 | Paper |
| Robust trajectory tracking control of non-holonomic wheeled mobile robots using an adaptive fractional order parallel fuzzy PID controller Journal of the Franklin Institute | 2022-06-24 | Paper |
Research outcomes over time
This page was built for person: Kartik Singhal
