An automated deductive verification framework for circuit-building quantum programs (Q2233453): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3136504866
@@ Property / OpenAlex ID: W3136504866 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05841
@@ Property / arXiv ID: 2003.05841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3385623
@@ Property / cites work: Q3385623 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified compilation of space-efficient reversible circuits
+Normal rank
@@ Property / cites work @@
+Q3522431
@@ Property / cites work: Q3522431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015189
@@ Property / cites work: Q5015189 / rank @@
+Normal rank
@@ Property / cites work @@
+How to Verify a Quantum Computation
@@ Property / cites work: How to Verify a Quantum Computation / rank @@
+Normal rank
@@ Property / cites work @@
+An automated deductive verification framework for circuit-building quantum programs
+Normal rank
@@ Property / cites work @@
+Quantum algorithms revisited
@@ Property / cites work: Quantum algorithms revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Picturing Quantum Processes
@@ Property / cites work: Picturing Quantum Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3385629
@@ Property / cites work: Q3385629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3002797
@@ Property / cites work: Q3002797 / rank @@
+Normal rank
@@ Property / cites work @@
+A Quantum Adiabatic Evolution Algorithm Applied to Random Instances of an NP-Complete Problem
+Normal rank
@@ Property / cites work @@
+Why3 — Where Programs Meet Provers
@@ Property / cites work: Why3 — Where Programs Meet Provers / rank @@
+Normal rank
@@ Property / cites work @@
+The spirit of ghost code
@@ Property / cites work: The spirit of ghost code / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of quantum computation: an overview of existing approaches
+Normal rank
@@ Property / cites work @@
+An Introduction to Quantum Programming in Quipper
@@ Property / cites work: An Introduction to Quantum Programming in Quipper / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228473
@@ Property / cites work: Q4228473 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantomatic: A Proof Assistant for Diagrammatic Reasoning
+Normal rank
@@ Property / cites work @@
+Quantum implicit computational complexity
@@ Property / cites work: Quantum implicit computational complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+QPCF: higher-order languages and quantum circuits
@@ Property / cites work: QPCF: higher-order languages and quantum circuits / rank @@
+Normal rank
@@ Property / cites work @@
+REVS: a tool for space-optimized reversible circuit synthesis
+Normal rank
@@ Property / cites work @@
+QWIRE: a core language for quantum circuits
@@ Property / cites work: QWIRE: a core language for quantum circuits / rank @@
+Normal rank
@@ Property / cites work @@
+Q3385643
@@ Property / cites work: Q3385643 / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank
@@ Property / cites work @@
+Toward automatic verification of quantum programs
@@ Property / cites work: Toward automatic verification of quantum programs / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking Linear-Time Properties of Quantum Systems
+Normal rank
@@ Property / cites work @@
+Invariants of quantum programs: characterisations and generation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2233453