Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
Quantum state verification (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/207)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article
Why quantum state verification cannot be both efficient and secure : a categorical approach
Wiesner, Fabian
;
Chaoui, Ziad
;
Kessler, Diana-Maria
;
Pappa, Anna
;
Karvonen, Martti
arXiv.org
2024
/
36 p
https://doi.org/10.48550/arXiv.2411.04767
journal article
Related publications
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
Number of records 1, displaying
1 - 1
keyword
207
1.
Quantum state verification
2.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3.
ameliorated quantum class topper optimization (A-QCTO)
4.
external quantum efficiency
5.
parabolic quantum well
6.
parabolic quantum wells
7.
polynomial multiplication; post-quantum cryptography
8.
post-quantum
9.
post-quantum cryptography
10.
post-quantum one-way functions
11.
post-quantum security
12.
quantum algorithm
13.
quantum attack
14.
quantum chemical calculations
15.
quantum communication
16.
quantum communication chanell
17.
quantum computing
18.
quantum cryptography
19.
quantum detectors
20.
quantum dots (QDs)
21.
quantum efficiency
22.
quantum groups
23.
quantum grover
24.
quantum internet
25.
quantum logic
26.
quantum matrix spaces
27.
quantum noise
28.
quantum structures
29.
quantum tunneling
30.
quantum well
31.
quantum wells
32.
quantum-enhanced secure and energy-efficient routing (QSEER) protocol
33.
quantum-inspired algorithms
34.
quantum-inspired clustering scheme (QICS)
35.
assertion-based verification
36.
Automata, Formal Verification
37.
Automatic Security Verification
38.
automatic speaker verification
39.
compliance verification
40.
compositional verification
41.
constraint random verification
42.
deductive verification
43.
extra-functional verification
44.
forecast verification
45.
formal verification
46.
functional verification
47.
grid verification
48.
Hardware Verification
49.
model verification
50.
model-based verification
51.
power verification
52.
program verification
53.
reliability verification
54.
RISC-V Security Verification
55.
security verification
56.
simple payment verification (SVP)
57.
simulation-based verification
58.
speaker verification
59.
timing verification
60.
validation and verification
61.
verification
62.
verification and validation
63.
verification by model checking
64.
verification methods
65.
act of state
66.
Algorithmic State Machine - ASM
67.
Algorithmic State Machines (ASMs)
68.
all solid-state batteries
69.
Arab state
70.
covalent self-assembly in solid state
71.
current state capability quantitative estimates
72.
digital state
73.
entrepreneurial state
74.
e-state system
75.
EU state aid
76.
Final state
77.
finite state machine
78.
Finite State Machine - FSM
79.
finite-state machines
80.
flag state control
81.
functional state of the muscles -tiredness
82.
good life in the good state
83.
HATEOAS (Hypermedia as the Engine of Application State)
84.
H-detected solid-state NMR
85.
hierarchical finite state machine
86.
Initial state
87.
Islamic State
88.
liquid-state sintering
89.
mental state
90.
minimal state space realization
91.
Neo-Weberian State
92.
parametrised state transformation
93.
parametrized state transformation
94.
partner state
95.
physiological state
96.
port state control
97.
process state classification
98.
quasi steady state (QSS) analysis
99.
reader and writer and state monads
100.
recent state
101.
renewable electricity state subsidies
102.
representing the state
103.
REST (Representational State Transfer)
104.
sea state
105.
second state transients
106.
small state
107.
small state governance
108.
solid state circuit breakers (SSCBs)
109.
solid state detectors
110.
solid state diffusion
111.
solid state nuclear magnetic resonance
112.
solid state reaction
113.
solid state transformer
114.
solid-state
115.
solid-state 35Cl NMR
116.
solid-state batteries
117.
solid-state circuit breaker
118.
solid-state circuit breaker (SSCB)
119.
solid-state circuit breakers (SSCBs)
120.
solid-state electrolyte
121.
solid‐state electrolyte
122.
solid-state electrolytes
123.
solid-state fermentation
124.
solid-state fermentations
125.
solid-state fluoride electrolyte
126.
solid-state NMR
127.
solid-state NMR spectroscopy
128.
solid-state pH electrodes
129.
solid-state reactions
130.
solid-state sintering
131.
solid-state transformer
132.
solid-state transformers
133.
state
134.
state aid
135.
state aid regulations
136.
State Aid Temporary Framework
137.
state and governance traditions
138.
state and output transformations
139.
state assignment
140.
state audit institution
141.
state capacity
142.
state complexity
143.
state equations
144.
state equivalence
145.
State estimation
146.
state feedback
147.
state feedback linearization
148.
state financing
149.
state fire and rescue service (SFRS)
150.
state fleets
151.
state institutions
152.
state intervention
153.
state linearizability
154.
state machine
155.
state mindfulness
156.
state monads
157.
state morals
158.
state of change
159.
state of charge
160.
state of charge (SOC)
161.
state of health
162.
state of the art
163.
state of the art research
164.
state of the brain
165.
state of the ocean
166.
state owned enterprises
167.
state policy
168.
state socialism
169.
state sovereignt
170.
state sovereignty
171.
state space methods
172.
state space realization
173.
state support
174.
state support of religion
175.
State Theory
176.
state variable
177.
state-citizen
178.
state-feedback control
179.
state-of-the-art
180.
state-owned enterprises of Ukraine
181.
state-separating proofs
182.
State-space
183.
state-space interpolation
184.
state‐space method
185.
state-space models
186.
state-space realization
187.
state-spacerealization
188.
steady state
189.
steady state analysis
190.
steady state response
191.
Steady-state
192.
steady-state analysis
193.
steady-state flow rheology
194.
steady-state forced vibrations
195.
steady‐state growth space analysis
196.
stedy-state analysis
197.
Sumy State University
198.
technical state index
199.
the state of the economy
200.
transient state
201.
U.S. state budgeting
202.
Ultimate limit state
203.
university-industry-state relations
204.
university-industry-state relations
205.
welfare state
206.
world state
207.
1H solid-state NMR
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT