Q5111649 (Q5111649): Difference between revisions

@@ Property / cites work @@
+Equivalence Checking of Quantum Protocols
@@ Property / cites work: Equivalence Checking of Quantum Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRUCTURES OF STATE SPACE CONCERNING QUANTUM DYNAMICAL SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+Quantum cryptography using any two nonorthogonal states
+Normal rank
@@ Property / cites work @@
+Quantum cryptography: public key distribution and coin tossing
+Normal rank
@@ Property / cites work @@
+Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative verification of implantable cardiac pacemakers over hybrid heart models
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking quantum Markov chains
@@ Property / cites work: Model checking quantum Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3560846
@@ Property / cites work: Q3560846 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Markov chains
@@ Property / cites work: Quantum Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
+Normal rank
@@ Property / cites work @@
+Q3753490
@@ Property / cites work: Q3753490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+Tighter Bounds for the Determinisation of Büchi Automata
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking Linear-Time Properties of Quantum Systems
+Normal rank
@@ Property / cites work @@
+Reachability Probabilities of Quantum Markov Chains
+Normal rank