Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems [ 2013-01-01 - 2017-06-30 ]

Related Publications

• Associated with A Theorem Prover for Quantum Hoare Logic and Its Applications
  handle : 10453/117699
  
• Associated with A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm
  handle : 10453/41865
  
• Associated with Debugging quantum processes using monitoring measurements
  handle : 10453/167292
  
• Associated with Five two-qubit gates are necessary for implementing the Toffoli gate
  handle : 10453/34602
  
• Associated with Five two-qubit gates are necessary for implementing the Toffoli gate
  handle : 10453/28120
  
Show all 16 related publications
• Associated with Model checking probabilistic epistemic logic for probabilistic multiagent systems
  handle : 10453/134188
  
• Associated with Model checking quantum Markov chains
  handle : 10453/23745
  
• Associated with Model-checking linear-time properties of quantum systems
  handle : 10453/34576
  
• Associated with On hybrid models of quantum finite automata
  handle : 10453/41867
  
• Associated with Precisely deciding CSL formulas through approximate model checking for CTMCs
  handle : 10453/125311
  
• Associated with ProEva: Runtime proactive performance evaluation based on continuous-time markov chains
  handle : 10453/127384
  
• Associated with Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties
  handle : 10453/41864
  
• Associated with Quantum Recursion and Second Quantisation
  handle : 10453/117697
  
• Associated with Toward Automatic Verification of Quantum Cryptographic Protocols.
  handle : 10453/64410
  
• Associated with Toward automatic verification of quantum cryptographic protocols
  handle : 10453/41921
  
• Associated with When equivalence and bisimulation join forces in probabilistic automata
  handle : 10453/34572
  
Show less related publications