Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912352268> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2912352268 abstract "Quantum Hoare logic allows us to reason about quantum programs. We present an extension of quantum Hoare logic that introduces “ghost variables” to extend the expressive power of pre-/postconditions. Ghost variables are variables that do not actually occur in the program and are allowed to have arbitrary quantum states (in a sense, they are existentially quantified), and be entangled with program variables. Ghost variables allow us to express properties such as the distribution of a program variable or the fact that a variable has classical content. And as a case study, we show how quantum Hoare logic with ghost variables can be used to prove the security of the quantum one-time pad." @default.
- W2912352268 created "2019-02-21" @default.
- W2912352268 creator A5031883158 @default.
- W2912352268 date "2019-06-01" @default.
- W2912352268 modified "2023-09-23" @default.
- W2912352268 title "Quantum Hoare Logic with Ghost Variables" @default.
- W2912352268 cites W1492999010 @default.
- W2912352268 cites W1498858133 @default.
- W2912352268 cites W1579441434 @default.
- W2912352268 cites W1982800675 @default.
- W2912352268 cites W2041467928 @default.
- W2912352268 cites W2043414726 @default.
- W2912352268 cites W2044357043 @default.
- W2912352268 cites W2044912742 @default.
- W2912352268 cites W2066210260 @default.
- W2912352268 cites W2084652510 @default.
- W2912352268 cites W2119029543 @default.
- W2912352268 cites W2121087903 @default.
- W2912352268 cites W2137147061 @default.
- W2912352268 cites W2149996206 @default.
- W2912352268 cites W2155544688 @default.
- W2912352268 cites W2571169473 @default.
- W2912352268 cites W2598985404 @default.
- W2912352268 cites W2912352268 @default.
- W2912352268 cites W2950993906 @default.
- W2912352268 cites W2987907651 @default.
- W2912352268 cites W3126077699 @default.
- W2912352268 cites W3126996113 @default.
- W2912352268 doi "https://doi.org/10.1109/lics.2019.8785779" @default.
- W2912352268 hasPublicationYear "2019" @default.
- W2912352268 type Work @default.
- W2912352268 sameAs 2912352268 @default.
- W2912352268 citedByCount "21" @default.
- W2912352268 countsByYear W29123522682018 @default.
- W2912352268 countsByYear W29123522682019 @default.
- W2912352268 countsByYear W29123522682020 @default.
- W2912352268 countsByYear W29123522682021 @default.
- W2912352268 countsByYear W29123522682022 @default.
- W2912352268 countsByYear W29123522682023 @default.
- W2912352268 crossrefType "proceedings-article" @default.
- W2912352268 hasAuthorship W2912352268A5031883158 @default.
- W2912352268 hasBestOaLocation W29123522682 @default.
- W2912352268 hasConcept C104949639 @default.
- W2912352268 hasConcept C121332964 @default.
- W2912352268 hasConcept C137002209 @default.
- W2912352268 hasConcept C169460222 @default.
- W2912352268 hasConcept C173856430 @default.
- W2912352268 hasConcept C199360897 @default.
- W2912352268 hasConcept C2778029271 @default.
- W2912352268 hasConcept C41008148 @default.
- W2912352268 hasConcept C55439883 @default.
- W2912352268 hasConcept C58053490 @default.
- W2912352268 hasConcept C62520636 @default.
- W2912352268 hasConcept C80444323 @default.
- W2912352268 hasConcept C84114770 @default.
- W2912352268 hasConceptScore W2912352268C104949639 @default.
- W2912352268 hasConceptScore W2912352268C121332964 @default.
- W2912352268 hasConceptScore W2912352268C137002209 @default.
- W2912352268 hasConceptScore W2912352268C169460222 @default.
- W2912352268 hasConceptScore W2912352268C173856430 @default.
- W2912352268 hasConceptScore W2912352268C199360897 @default.
- W2912352268 hasConceptScore W2912352268C2778029271 @default.
- W2912352268 hasConceptScore W2912352268C41008148 @default.
- W2912352268 hasConceptScore W2912352268C55439883 @default.
- W2912352268 hasConceptScore W2912352268C58053490 @default.
- W2912352268 hasConceptScore W2912352268C62520636 @default.
- W2912352268 hasConceptScore W2912352268C80444323 @default.
- W2912352268 hasConceptScore W2912352268C84114770 @default.
- W2912352268 hasLocation W29123522681 @default.
- W2912352268 hasLocation W29123522682 @default.
- W2912352268 hasOpenAccess W2912352268 @default.
- W2912352268 hasPrimaryLocation W29123522681 @default.
- W2912352268 hasRelatedWork W183428347 @default.
- W2912352268 hasRelatedWork W2085253283 @default.
- W2912352268 hasRelatedWork W2117210984 @default.
- W2912352268 hasRelatedWork W2165970356 @default.
- W2912352268 hasRelatedWork W2256268268 @default.
- W2912352268 hasRelatedWork W2347161843 @default.
- W2912352268 hasRelatedWork W3148010226 @default.
- W2912352268 hasRelatedWork W4250918063 @default.
- W2912352268 hasRelatedWork W4297797338 @default.
- W2912352268 hasRelatedWork W2464808821 @default.
- W2912352268 isParatext "false" @default.
- W2912352268 isRetracted "false" @default.
- W2912352268 magId "2912352268" @default.
- W2912352268 workType "article" @default.