Skip to content
Descubridor Institucional UMAR
Inicio
Búsqueda avanzada
Explorar
Inicio
Búsqueda avanzada
Explorar
Login
Language
English
Deutsch
Español
Français
Italiano
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Formal Verification of Quantum Circuits Performance Analysis Across Algorithmic and Protocol-Based Implementations
Formal Verification of Quantum Circuits Performance Analysis Across Algorithmic and Protocol-Based Implementations
Fuente:
Zenodo
Saved in:
Bibliographic Details
Main Author:
Hasnain, Muhammad
Format:
Recurso digital
Published:
Zenodo
2026
Online Access:
Acceder al recurso
Tags:
Add Tag
No Tags, Be the first to tag this record!
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Holdings
Description
Comments
Similar Items
Staff View
Internet
https://doi.org/10.5281/zenodo.18171331
Similar Items
Formal Verification of Variational Quantum Circuits
by: Assolini, Nicola, et al.
Published: (2025)
Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)
ProVerif Scripts for the Formal Analysis of our Protocol
by: AdilKhan000
Published: (2025)
Evaluation and Implementation of Machine Learning Algorithms to Predict Early Detection of Kidney and Heart Disease in Diabetic Patients
by: Hasnain, Syed Ibad
Published: (2025)
Circuit Implementation and Analysis of a Quantum-Walk Based Search Complement Algorithm
by: Wing-Bocanegra, Allan, et al.
Published: (2024)