References in zbMATH (referenced in 75 articles )

Showing results 1 to 20 of 75.
Sorted by year (citations)

1 2 3 4 next

  1. Amy, Matthew: Sized types for low-level quantum metaprogramming (2019)
  2. Clairambault, Pierre; de Visme, Marc; Winskel, Glynn: Concurrent quantum strategies (2019)
  3. Paolini, Luca; Piccolo, Mauro; Zorzi, Margherita: QPCF: higher-order languages and quantum circuits (2019)
  4. Stonyakin, Fedor Sergeevich: Hahn-Banach type theorems on functional separation for convex ordered normed cones (2019)
  5. Ying, Mingsheng: Toward automatic verification of quantum programs (2019)
  6. Stonyakin, F. S.: A sublinear analog of the Banach-Mazur theorem in separated convex cones with norm (2018)
  7. Ying, Shenggang; Ying, Mingsheng: Reachability analysis of quantum Markov decision processes (2018)
  8. Ameen, El-Mahdy M.; Ali, Hesham A.; Salem, Mofreh M.; Badawy, Mahmoud: Towards implementation of a generalized architecture for high-level quantum programming language (2017)
  9. Hasuo, Ichiro; Hoshino, Naohiko: Semantics of higher-order quantum computation via geometry of interaction (2017)
  10. Scherer, Artur; Valiron, Benoît; Mau, Siun-Chuon; Alexander, Scott; van den Berg, Eric; Chapuran, Thomas E.: Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target (2017)
  11. Stevens, Kelly E.; Amini, Jason M.; Doret, S. Charles; Mohler, Greg; Volin, Curtis; Harter, Alexa W.: Automating quantum experiment control. From circuit compilation to ion routing (2017)
  12. Chiribella, Giulio; Ebler, Daniel: Optimal quantum networks and one-shot entropies (2016)
  13. Cho, Kenta: Semantics for a quantum programming language by operator algebras (2016)
  14. Coecke, Bob; Heunen, Chris: Pictures of complete positivity in arbitrary dimension (2016)
  15. Kubota, Takahiro; Kakutani, Yoshihiko; Kato, Go; Kawano, Yasuhito; Sakurada, Hideki: Semi-automated verification of security proofs of quantum cryptographic protocols (2016)
  16. Stonyakin, Fedor Sergeevich: An analogue of the Hahn-Banach theorem for functionals on abstract convex cones (2016)
  17. Li, Lvzhou; Feng, Yuan: Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties (2015)
  18. Li, Lvzhou; Feng, Yuan: On hybrid models of quantum finite automata (2015)
  19. Rennela, Mathys; Staton, Sam: Complete positivity and natural representation of quantum computations (2015)
  20. Adams, Robin: QPEL: quantum program and effect language (2014)

1 2 3 4 next